runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/inescp-1.0/rand6d933e.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand6d933e.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand6d933e.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.09 1.10 0.89 2/38 27347 /proc/meminfo: memFree=458496/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=2372 CPUtime=0 /proc/27347/stat : 27347 (sh) D 27346 27345 24102 769 24102 4194304 229 0 0 0 0 0 0 0 25 0 1 0 525067995 2428928 209 1283457024 134512640 135191968 4290156208 18446744073709551615 4159609406 0 0 16781316 0 18446744071564252162 0 0 17 0 0 0 0 /proc/27347/statm: 593 209 174 166 0 25 0 [startup+0.205781 s] /proc/loadavg: 1.09 1.10 0.89 2/38 27347 /proc/meminfo: memFree=458496/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=864524 CPUtime=0.16 /proc/27347/stat : 27347 (java) S 27346 27345 24102 769 24102 4202496 4600 0 1 0 15 1 0 0 25 0 9 0 525067995 885272576 3673 1283457024 134512640 134550932 4294255040 18446744073709551615 4159526034 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27347/statm: 216131 3673 1892 10 0 210469 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 870912 [startup+0.305767 s] /proc/loadavg: 1.09 1.10 0.89 2/38 27347 /proc/meminfo: memFree=458496/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=864524 CPUtime=0.26 /proc/27347/stat : 27347 (java) S 27346 27345 24102 769 24102 4202496 4722 0 1 0 25 1 0 0 25 0 9 0 525067995 885272576 3795 1283457024 134512640 134550932 4294255040 18446744073709551615 4159526034 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27347/statm: 216131 3795 1892 10 0 210469 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 870912 [startup+0.405804 s] /proc/loadavg: 1.09 1.10 0.89 2/38 27347 /proc/meminfo: memFree=458496/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=864524 CPUtime=0.36 /proc/27347/stat : 27347 (java) S 27346 27345 24102 769 24102 4202496 5125 0 1 0 35 1 0 0 25 0 9 0 525067995 885272576 4198 1283457024 134512640 134550932 4294255040 18446744073709551615 4159526034 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27347/statm: 216131 4198 1892 10 0 210469 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 870912 [startup+0.705866 s] /proc/loadavg: 1.09 1.10 0.89 2/38 27347 /proc/meminfo: memFree=458496/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=864788 CPUtime=0.66 /proc/27347/stat : 27347 (java) S 27346 27345 24102 769 24102 4202496 8334 0 1 0 64 2 0 0 25 0 9 0 525067995 885542912 7220 1283457024 134512640 134550932 4294255040 18446744073709551615 4159526034 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27347/statm: 216197 7220 2715 10 0 210535 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 871176 [startup+1.50607 s] /proc/loadavg: 1.09 1.10 0.89 2/47 27356 /proc/meminfo: memFree=420760/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=0.01 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 749 0 0 0 1 0 0 0 25 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27347] ppid=27346 vsize=865488 CPUtime=1.45 /proc/27347/stat : 27347 (java) S 27346 27345 24102 769 24102 4202496 15583 0 1 0 137 8 0 0 25 0 9 0 525067995 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159526034 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27347/statm: 216372 14172 2715 10 0 210710 0 [pid=27347/tid=27349] ppid=27346 vsize=865488 CPUtime=0.88 /proc/27347/task/27349/stat : 27349 (java) R 27346 27345 24102 769 24102 4202560 3233 0 1 0 87 1 0 0 25 0 9 0 525067997 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159550151 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27347/tid=27350] ppid=27346 vsize=865488 CPUtime=0.5 /proc/27347/task/27350/stat : 27350 (java) S 27346 27345 24102 769 24102 4202560 10826 0 0 0 43 7 0 0 17 0 9 0 525067998 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159540232 0 0 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=27347/tid=27351] ppid=27346 vsize=865488 CPUtime=0 /proc/27347/task/27351/stat : 27351 (java) S 27346 27345 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525067998 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159539440 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=27347/tid=27352] ppid=27346 vsize=865488 CPUtime=0 /proc/27347/task/27352/stat : 27352 (java) S 27346 27345 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525067998 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159539440 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=27347/tid=27353] ppid=27346 vsize=865488 CPUtime=0 /proc/27347/task/27353/stat : 27353 (java) S 27346 27345 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525067999 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159547728 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=27347/tid=27354] ppid=27346 vsize=865488 CPUtime=0.06 /proc/27347/task/27354/stat : 27354 (java) R 27346 27345 24102 769 24102 4202560 407 0 0 0 6 0 0 0 16 0 9 0 525067999 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 102046932 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27347/tid=27355] ppid=27346 vsize=865488 CPUtime=0 /proc/27347/task/27355/stat : 27355 (java) S 27346 27345 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525067999 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159539440 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=27347/tid=27356] ppid=27346 vsize=865488 CPUtime=0 /proc/27347/task/27356/stat : 27356 (java) S 27346 27345 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 9 0 525067999 886259712 14172 1283457024 134512640 134550932 4294255040 18446744073709551615 4159540232 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 871876 [startup+3.10644 s] /proc/loadavg: 1.09 1.10 0.89 2/40 27361 /proc/meminfo: memFree=449952/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=2.18 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 807 18863 0 1 1 0 192 25 17 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27360] ppid=27346 vsize=2892 CPUtime=0 /proc/27360/stat : 27360 (sh) S 27346 27345 24102 769 24102 4194304 359 0 0 0 0 0 0 0 17 0 1 0 525068218 2961408 323 1283457024 134512640 135191968 4290334480 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27360/statm: 723 323 221 166 0 155 0 [pid=27361] ppid=27360 vsize=10012 CPUtime=0.86 /proc/27361/stat : 27361 (msuncore) R 27360 27345 24102 769 24102 4202496 14689 0 0 0 77 9 0 0 21 0 1 0 525068218 10252288 2279 1283457024 134512640 135858300 4294560576 18446744073709551615 135345610 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27361/statm: 2503 2279 133 329 0 2172 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 19292 Solver just ended. Dumping a history of the last processes samples [startup+3.30648 s] /proc/loadavg: 1.09 1.10 0.89 2/40 27361 /proc/meminfo: memFree=449952/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=2.18 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 807 18863 0 1 1 0 192 25 17 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27360] ppid=27346 vsize=2892 CPUtime=0 /proc/27360/stat : 27360 (sh) S 27346 27345 24102 769 24102 4194304 359 0 0 0 0 0 0 0 17 0 1 0 525068218 2961408 323 1283457024 134512640 135191968 4290334480 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27360/statm: 723 323 221 166 0 155 0 [pid=27361] ppid=27360 vsize=9748 CPUtime=1.06 /proc/27361/stat : 27361 (msuncore) R 27360 27345 24102 769 24102 4202496 16016 0 0 0 96 10 0 0 22 0 1 0 525068218 9981952 2236 1283457024 134512640 135858300 4294560576 18446744073709551615 134620075 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27361/statm: 2437 2236 133 329 0 2106 0 Current children cumulated CPU time (s) 3.24 Current children cumulated vsize (KiB) 19028 [startup+4.10669 s] /proc/loadavg: 1.16 1.11 0.89 2/40 27361 /proc/meminfo: memFree=438668/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=2.18 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 807 18863 0 1 1 0 192 25 17 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27360] ppid=27346 vsize=2892 CPUtime=0 /proc/27360/stat : 27360 (sh) S 27346 27345 24102 769 24102 4194304 359 0 0 0 0 0 0 0 17 0 1 0 525068218 2961408 323 1283457024 134512640 135191968 4290334480 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27360/statm: 723 323 221 166 0 155 0 [pid=27361] ppid=27360 vsize=25992 CPUtime=1.86 /proc/27361/stat : 27361 (msuncore) R 27360 27345 24102 769 24102 4202496 20549 0 0 0 174 12 0 0 25 0 1 0 525068218 26615808 6277 1283457024 134512640 135858300 4294560576 18446744073709551615 134658648 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27361/statm: 6498 6277 137 329 0 6167 0 Current children cumulated CPU time (s) 4.04 Current children cumulated vsize (KiB) 35272 [startup+4.50675 s] /proc/loadavg: 1.16 1.11 0.89 2/40 27361 /proc/meminfo: memFree=419324/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=4004 CPUtime=2.18 /proc/27346/stat : 27346 (cudf-solver.py) S 27345 27345 24102 769 24102 4202496 807 18863 0 1 1 0 192 25 17 0 1 0 525067995 4100096 644 1283457024 134512640 135539072 4287681600 18446744073709551615 4159003038 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27346/statm: 1001 644 348 251 0 302 0 [pid=27360] ppid=27346 vsize=2892 CPUtime=0 /proc/27360/stat : 27360 (sh) S 27346 27345 24102 769 24102 4194304 359 0 0 0 0 0 0 0 17 0 1 0 525068218 2961408 323 1283457024 134512640 135191968 4290334480 18446744073709551615 4159383966 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27360/statm: 723 323 221 166 0 155 0 [pid=27361] ppid=27360 vsize=25992 CPUtime=2.26 /proc/27361/stat : 27361 (msuncore) R 27360 27345 24102 769 24102 4202496 20549 0 0 0 214 12 0 0 25 0 1 0 525068218 26615808 6277 1283457024 134512640 135858300 4294560576 18446744073709551615 134666691 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27361/statm: 6498 6277 137 329 0 6167 0 Current children cumulated CPU time (s) 4.44 Current children cumulated vsize (KiB) 35272 [startup+4.92687 s] /proc/loadavg: 1.16 1.11 0.89 2/40 27361 /proc/meminfo: memFree=419324/1048576 swapFree=2095456/2097144 [pid=27345] ppid=27344 vsize=2384 CPUtime=0 /proc/27345/stat : 27345 (inescp-1.0) S 27344 27345 24102 769 24102 4194304 362 0 0 0 0 0 0 0 25 0 1 0 525067994 2441216 261 1283457024 134512640 135191968 4292516048 18446744073709551615 4159433118 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27345/statm: 596 261 222 166 0 28 0 [pid=27346] ppid=27345 vsize=6424 CPUtime=4.86 /proc/27346/stat : 27346 (cudf-solver.py) R 27345 27345 24102 769 24102 4202496 1529 39794 0 1 5 0 443 38 15 0 1 0 525067995 6578176 1209 1283457024 134512640 135539072 4287681600 18446744073709551615 134707728 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/27346/statm: 1606 1209 348 251 0 907 0 Current children cumulated CPU time (s) 4.86 Current children cumulated vsize (KiB) 8808 Child status: 0 Real time (s): 4.97986 CPU time (s): 4.92031 CPU user time (s): 4.52828 CPU system time (s): 0.392024 CPU usage (%): 98.8042 Max. virtual memory (cumulated for all children) (KiB): 871876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.52828 system time used= 0.392024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43027 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1170 involuntary context switches= 1341 runsolver used 0 second user time and 0 second system time The end