runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3698146-1338068235/watcher-3698146-1338068235 -o /tmp/evaluation-result-3698146-1338068235/solver-3698146-1338068235 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698146-1338068235.opb 1548831838 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4496
/proc/meminfo: memFree=29236984/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[startup+0.033367 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4496
/proc/meminfo: memFree=29236984/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100181 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4496
/proc/meminfo: memFree=29236984/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300116 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4496
/proc/meminfo: memFree=29236984/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4496
/proc/meminfo: memFree=29236984/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4507
/proc/meminfo: memFree=29230440/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=8548 CPUtime=1.42 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 1987 0 0 0 142 0 0 0 20 0 1 0 272948935 8753152 1386 33554432000 4194304 5654031 140733784836048 140733784823864 4216494 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4507/statm: 2137 1386 152 357 0 1777 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 20600
[startup+3.10032 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4507
/proc/meminfo: memFree=29227100/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=17920 CPUtime=3.02 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 2400 0 0 0 302 0 0 0 20 0 1 0 272948935 18350080 3329 33554432000 4194304 5654031 140733784836048 140733784833928 4232994 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4507/statm: 4480 3329 152 357 0 4120 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 29972
[startup+6.30035 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4507
/proc/meminfo: memFree=29223752/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=12540 CPUtime=6.22 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 3773 0 0 0 622 0 0 0 20 0 1 0 272948935 12840960 2614 33554432000 4194304 5654031 140733784836048 140733784823864 4232896 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4507/statm: 3135 2614 152 357 0 2775 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 24592
[startup+12.7003 s]
/proc/loadavg: 2.21 2.05 2.01 3/181 4507
/proc/meminfo: memFree=29215320/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=22560 CPUtime=12.62 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 4559 0 0 0 1262 0 0 0 20 0 1 0 272948935 23101440 4412 33554432000 4194304 5654031 140733784836048 140733784833928 4232880 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4507/statm: 5640 4412 152 357 0 5280 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34612
[startup+25.5004 s]
/proc/loadavg: 2.18 2.05 2.01 3/181 4507
/proc/meminfo: memFree=29208312/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=26980 CPUtime=25.42 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5354 0 0 0 2542 0 0 0 20 0 1 0 272948935 27627520 6208 33554432000 4194304 5654031 140733784836048 140733784823864 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4507/statm: 6745 6208 152 357 0 6385 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39032
Solver just ended. Dumping a history of the last processes samples
[startup+31.907 s]
/proc/loadavg: 2.23 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29207940/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=26980 CPUtime=31.83 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5734 0 0 0 3182 1 0 0 20 0 1 0 272948935 27627520 6224 33554432000 4194304 5654031 140733784836048 140733784823864 4233440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 6745 6224 152 357 0 6385 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 39032
[startup+35.1004 s]
/proc/loadavg: 2.23 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29205892/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=38288 CPUtime=35.02 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5863 0 0 0 3501 1 0 0 20 0 1 0 272948935 39206912 6861 33554432000 4194304 5654031 140733784836048 140733784823864 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 9572 6861 152 357 0 9212 0
Current children cumulated CPU time (s) 35.06
Current children cumulated vsize (KiB) 50340
[startup+36.7004 s]
/proc/loadavg: 2.23 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29203348/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=38288 CPUtime=36.62 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5975 0 0 0 3661 1 0 0 20 0 1 0 272948935 39206912 7484 33554432000 4194304 5654031 140733784836048 140733784823864 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 9572 7484 152 357 0 9212 0
Current children cumulated CPU time (s) 36.66
Current children cumulated vsize (KiB) 50340
[startup+37.5004 s]
/proc/loadavg: 2.21 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29203348/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=38288 CPUtime=37.42 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5975 0 0 0 3741 1 0 0 20 0 1 0 272948935 39206912 7484 33554432000 4194304 5654031 140733784836048 140733784823864 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 9572 7484 152 357 0 9212 0
Current children cumulated CPU time (s) 37.46
Current children cumulated vsize (KiB) 50340
[startup+38.3004 s]
/proc/loadavg: 2.21 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29203348/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=38288 CPUtime=38.22 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5975 0 0 0 3821 1 0 0 20 0 1 0 272948935 39206912 7484 33554432000 4194304 5654031 140733784836048 140733784823864 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 9572 7484 152 357 0 9212 0
Current children cumulated CPU time (s) 38.26
Current children cumulated vsize (KiB) 50340
[startup+38.7004 s]
/proc/loadavg: 2.21 2.06 2.02 3/181 4507
/proc/meminfo: memFree=29203348/32873844 swapFree=7384/7384
[pid=4496] ppid=4494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4496/stat : 4496 (npSolver-pbo-It) S 4494 4496 1914 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272948929 9367552 274 33554432000 4194304 5064252 140734466626192 140734466625104 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4496/statm: 2287 274 233 213 0 72 0
[pid=4497] ppid=4496 vsize=2904 CPUtime=0.04 cores=1,3,5,7
/proc/4497/stat : 4497 (npSolver-pbo) S 4496 4496 1914 0 -1 4202496 748 4373 0 0 1 0 2 1 20 0 1 0 272948930 2973696 375 33554432000 4194304 5992684 140734387882704 140734387868536 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4497/statm: 726 375 181 440 0 282 0
[pid=4507] ppid=4497 vsize=38288 CPUtime=38.62 cores=1,3,5,7
/proc/4507/stat : 4507 (glucosInc) R 4497 4496 1914 0 -1 4202496 5975 0 0 0 3861 1 0 0 20 0 1 0 272948935 39206912 7484 33554432000 4194304 5654031 140733784836048 140733784823864 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4507/statm: 9572 7484 152 357 0 9212 0
Current children cumulated CPU time (s) 38.66
Current children cumulated vsize (KiB) 50340
Child status: 0
Real time (s): 38.7617
CPU time (s): 38.7501
CPU user time (s): 38.7151
CPU system time (s): 0.034994
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 50528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.7151
system time used= 0.034994
maximum resident set size= 34528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 145
runsolver used 0.12998 second user time and 0.32495 second system time
The end