runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463352-1307174562/watcher-3463352-1307174562 -o /tmp/evaluation-result-3463352-1307174562/solver-3463352-1307174562 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463352-1307174562.opb
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: 1.79 1.96 1.98 2/521 31395
/proc/meminfo: memFree=21540720/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/31395/stat : 31395 (runsolver) R 31393 31395 30263 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 809871709 12079104 51 33554432000 4194304 5432328 140737320444528 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/31395/statm: 2949 51 31 303 0 2643 0
[startup+0.0425009 s]
/proc/loadavg: 1.79 1.96 1.98 2/521 31395
/proc/meminfo: memFree=21540720/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=11328 CPUtime=0.02 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 448 0 0 0 2 0 0 0 25 0 1 0 809871709 11599872 382 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 2832 382 192 642 0 2188 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11328
[startup+0.100492 s]
/proc/loadavg: 1.79 1.96 1.98 2/521 31395
/proc/meminfo: memFree=21540720/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=11572 CPUtime=0.07 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 509 0 0 0 7 0 0 0 25 0 1 0 809871709 11849728 443 33554432000 134512640 137138936 4288626496 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 2893 443 192 642 0 2249 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11572
[startup+0.300455 s]
/proc/loadavg: 1.79 1.96 1.98 2/521 31395
/proc/meminfo: memFree=21540720/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=12320 CPUtime=0.27 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 698 0 0 0 27 0 0 0 25 0 1 0 809871709 12615680 632 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3080 632 192 642 0 2436 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 12320
[startup+0.700382 s]
/proc/loadavg: 1.79 1.96 1.98 2/521 31395
/proc/meminfo: memFree=21540720/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=13300 CPUtime=0.67 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 955 0 0 0 67 0 0 0 25 0 1 0 809871709 13619200 889 33554432000 134512640 137138936 4288626496 18446744073709551615 134575626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3325 889 192 642 0 2681 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13300
[startup+1.50023 s]
/proc/loadavg: 1.79 1.96 1.98 3/522 31396
/proc/meminfo: memFree=21537116/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=13432 CPUtime=1.47 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 988 0 0 0 147 0 0 0 25 0 1 0 809871709 13754368 922 33554432000 134512640 137138936 4288626496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3358 922 192 642 0 2714 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13432
[startup+3.10094 s]
/proc/loadavg: 1.79 1.96 1.98 3/522 31396
/proc/meminfo: memFree=21536136/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=13928 CPUtime=3.07 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 1106 0 0 0 306 1 0 0 25 0 1 0 809871709 14262272 1040 33554432000 134512640 137138936 4288626496 18446744073709551615 134607609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3482 1040 192 642 0 2838 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13928
[startup+6.30035 s]
/proc/loadavg: 1.81 1.96 1.98 3/522 31396
/proc/meminfo: memFree=21535272/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=14540 CPUtime=6.27 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 1262 0 0 0 625 2 0 0 25 0 1 0 809871709 14888960 1196 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3635 1196 192 642 0 2991 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14540
[startup+12.7002 s]
/proc/loadavg: 1.83 1.96 1.98 3/522 31423
/proc/meminfo: memFree=21539572/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=15136 CPUtime=12.67 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 1424 0 0 0 1263 4 0 0 25 0 1 0 809871709 15499264 1358 33554432000 134512640 137138936 4288626496 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3784 1358 192 642 0 3140 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15136
[startup+25.5008 s]
/proc/loadavg: 1.93 1.98 1.99 3/522 31424
/proc/meminfo: memFree=21533492/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=15624 CPUtime=25.47 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 1524 0 0 0 2539 8 0 0 25 0 1 0 809871709 15998976 1458 33554432000 134512640 137138936 4288626496 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 3906 1458 192 642 0 3262 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 15624
[startup+51.1001 s]
/proc/loadavg: 1.95 1.98 1.99 3/522 31424
/proc/meminfo: memFree=21529916/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=17560 CPUtime=51.07 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2028 0 0 0 5089 18 0 0 25 0 1 0 809871709 17981440 1962 33554432000 134512640 137138936 4288626496 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4390 1962 192 642 0 3746 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17560
[startup+102.319 s]
/proc/loadavg: 1.98 1.98 1.99 3/522 31426
/proc/meminfo: memFree=21528168/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=17688 CPUtime=102.3 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2052 0 0 0 10193 37 0 0 25 0 1 0 809871709 18112512 1986 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4422 1986 192 642 0 3778 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17688
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/522 31427
/proc/meminfo: memFree=21526388/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=18308 CPUtime=162.27 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2214 0 0 0 16173 54 0 0 25 0 1 0 809871709 18747392 2148 33554432000 134512640 137138936 4288626496 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4577 2148 192 642 0 3933 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18308
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/522 31429
/proc/meminfo: memFree=21526980/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=18916 CPUtime=222.28 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2370 0 0 0 22157 71 0 0 25 0 1 0 809871709 19369984 2304 33554432000 134512640 137138936 4288626496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4729 2304 192 642 0 4085 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 18916
[startup+282.301 s]
/proc/loadavg: 2.09 2.01 2.00 3/522 31430
/proc/meminfo: memFree=21527076/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=19640 CPUtime=282.28 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2532 0 0 0 28143 85 0 0 25 0 1 0 809871709 20111360 2466 33554432000 134512640 137138936 4288626496 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4910 2466 192 642 0 4266 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 19640
[startup+342.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/522 31432
/proc/meminfo: memFree=21525932/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=19948 CPUtime=342.28 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2611 0 0 0 34130 98 0 0 25 0 1 0 809871709 20426752 2545 33554432000 134512640 137138936 4288626496 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 4987 2545 192 642 0 4343 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 19948
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/522 31434
/proc/meminfo: memFree=21525536/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=20044 CPUtime=402.28 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2640 0 0 0 40118 110 0 0 25 0 1 0 809871709 20525056 2574 33554432000 134512640 137138936 4288626496 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5011 2574 192 642 0 4367 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 20044
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/522 31435
/proc/meminfo: memFree=21524264/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=20160 CPUtime=462.29 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 2669 0 0 0 46106 123 0 0 25 0 1 0 809871709 20643840 2603 33554432000 134512640 137138936 4288626496 18446744073709551615 134551141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5040 2603 192 642 0 4396 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 20160
[startup+522.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/522 31437
/proc/meminfo: memFree=21522752/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21464 CPUtime=522.28 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3005 0 0 0 52092 136 0 0 25 0 1 0 809871709 21979136 2939 33554432000 134512640 137138936 4288626496 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5366 2939 192 642 0 4722 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 21464
[startup+582.301 s]
/proc/loadavg: 2.10 2.03 2.00 3/522 31438
/proc/meminfo: memFree=21522968/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21712 CPUtime=582.29 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3061 0 0 0 58082 147 0 0 25 0 1 0 809871709 22233088 2995 33554432000 134512640 137138936 4288626496 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5428 2995 192 642 0 4784 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 21712
[startup+642.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/522 31440
/proc/meminfo: memFree=21522684/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21712 CPUtime=642.31 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3061 0 0 0 64072 159 0 0 25 0 1 0 809871709 22233088 2995 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5428 2995 192 642 0 4784 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 21712
[startup+702.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 31442
/proc/meminfo: memFree=21521396/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22012 CPUtime=702.29 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3128 0 0 0 70057 172 0 0 25 0 1 0 809871709 22540288 3062 33554432000 134512640 137138936 4288626496 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5503 3062 192 642 0 4859 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 22012
[startup+762.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 31443
/proc/meminfo: memFree=21522104/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21984 CPUtime=762.31 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3128 0 0 0 76045 186 0 0 25 0 1 0 809871709 22511616 3062 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5496 3062 192 642 0 4852 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 21984
[startup+822.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/522 31445
/proc/meminfo: memFree=21521700/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21976 CPUtime=822.3 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3135 0 0 0 82028 202 0 0 25 0 1 0 809871709 22503424 3069 33554432000 134512640 137138936 4288626496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5494 3069 192 642 0 4850 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 21976
[startup+882.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/522 31446
/proc/meminfo: memFree=21521048/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21976 CPUtime=882.3 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3135 0 0 0 88014 216 0 0 25 0 1 0 809871709 22503424 3069 33554432000 134512640 137138936 4288626496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5494 3069 192 642 0 4850 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 21976
[startup+942.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/522 31448
/proc/meminfo: memFree=21520752/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=21976 CPUtime=942.31 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3135 0 0 0 94002 229 0 0 25 0 1 0 809871709 22503424 3069 33554432000 134512640 137138936 4288626496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5494 3069 192 642 0 4850 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 21976
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/522 31450
/proc/meminfo: memFree=21520844/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22424 CPUtime=1002.3 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3243 0 0 0 99988 242 0 0 25 0 1 0 809871709 22962176 3177 33554432000 134512640 137138936 4288626496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5606 3177 192 642 0 4962 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 22424
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 31451
/proc/meminfo: memFree=21520820/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22424 CPUtime=1062.3 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3243 0 0 0 105977 253 0 0 25 0 1 0 809871709 22962176 3177 33554432000 134512640 137138936 4288626496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5606 3177 192 642 0 4962 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 22424
Solver just ended. Dumping a history of the last processes samples
[startup+1063.1 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 31451
/proc/meminfo: memFree=21521064/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22424 CPUtime=1063.11 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3243 0 0 0 106057 254 0 0 25 0 1 0 809871709 22962176 3177 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5606 3177 192 642 0 4962 0
Current children cumulated CPU time (s) 1063.11
Current children cumulated vsize (KiB) 22424
[startup+1063.5 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 31451
/proc/meminfo: memFree=21521064/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22424 CPUtime=1063.51 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3243 0 0 0 106097 254 0 0 25 0 1 0 809871709 22962176 3177 33554432000 134512640 137138936 4288626496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5606 3177 192 642 0 4962 0
Current children cumulated CPU time (s) 1063.51
Current children cumulated vsize (KiB) 22424
[startup+1063.6 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 31451
/proc/meminfo: memFree=21521064/32951124 swapFree=58800704/67111528
[pid=31395] ppid=31393 vsize=22424 CPUtime=1063.63 cores=1,3,5,7
/proc/31395/stat : 31395 (bsolo) R 31393 31395 30263 0 -1 4202496 3243 0 0 0 106109 254 0 0 25 0 1 0 809871709 22962176 3177 33554432000 134512640 137138936 4288626496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31395/statm: 5606 3177 192 642 0 4962 0
Current children cumulated CPU time (s) 1063.63
Current children cumulated vsize (KiB) 22424
Child status: 0
Real time (s): 1063.69
CPU time (s): 1063.7
CPU user time (s): 1061.16
CPU system time (s): 2.54061
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 22424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1061.16
system time used= 2.54061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1635
runsolver used 5.18421 second user time and 12.6101 second system time
The end