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-3455506-1307197030/watcher-3455506-1307197030 -o /tmp/evaluation-result-3455506-1307197030/solver-3455506-1307197030 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455506-1307197030.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: 3.32 3.38 3.47 3/467 27485
/proc/meminfo: memFree=27711372/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 4683 0 1 0 0 0 0 0 25 0 2 0 831301774 10694979584 4385 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2611079 4398 917 9 0 2602235 0
[pid=27485/tid=27486] ppid=27483 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) R 27483 27485 26457 0 -1 4202560 6233 0 1 0 0 0 0 0 25 0 2 0 831301774 10694979584 7049 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0645301 s]
/proc/loadavg: 3.32 3.38 3.47 3/467 27485
/proc/meminfo: memFree=27711372/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 11756 0 1 0 4 1 0 0 25 0 18 0 831301774 10724302848 11452 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2618238 11452 1741 9 0 2608972 0
[pid=27485/tid=27486] ppid=27483 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) R 27483 27485 26457 0 -1 4202560 10580 0 1 0 4 1 0 0 25 0 18 0 831301774 10724302848 11452 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 47825038927443 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.108571 s]
/proc/loadavg: 3.32 3.38 3.47 3/467 27485
/proc/meminfo: memFree=27711372/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10539964 CPUtime=0.12 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 13226 0 1 0 11 1 0 0 25 0 18 0 831301774 10792923136 12893 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2634991 12893 2123 9 0 2625725 0
[pid=27485/tid=27486] ppid=27483 vsize=10539964 CPUtime=0.09 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) R 27483 27485 26457 0 -1 4202560 11253 0 1 0 8 1 0 0 18 0 18 0 831301774 10792923136 12893 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 46912505177435 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539964
[startup+0.300491 s]
/proc/loadavg: 3.32 3.38 3.47 3/467 27485
/proc/meminfo: memFree=27711372/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10542980 CPUtime=0.49 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 16909 0 1 0 48 1 0 0 25 0 18 0 831301774 10796011520 16167 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2635745 16167 2201 9 0 2626479 0
[pid=27485/tid=27486] ppid=27483 vsize=10542980 CPUtime=0.28 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) R 27483 27485 26457 0 -1 4202560 13345 0 1 0 27 1 0 0 18 0 18 0 831301774 10796011520 16170 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 46912505567643 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542980
[startup+0.700419 s]
/proc/loadavg: 3.32 3.38 3.47 3/467 27485
/proc/meminfo: memFree=27711372/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10551652 CPUtime=1.55 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 43957 0 1 0 151 4 0 0 25 0 18 0 831301774 10804891648 39007 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2637913 39010 2225 9 0 2628647 0
[pid=27485/tid=27486] ppid=27483 vsize=10551652 CPUtime=0.68 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) R 27483 27485 26457 0 -1 4202560 31724 0 1 0 66 2 0 0 18 0 18 0 831301774 10804891648 39012 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 46912505589212 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10551652
Solver just ended. Dumping a history of the last processes samples
[startup+1.11734 s]
/proc/loadavg: 3.32 3.38 3.47 3/485 27505
/proc/meminfo: memFree=27504728/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10553708 CPUtime=1.98 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 58464 0 1 0 193 5 0 0 25 0 18 0 831301774 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2638427 53514 2234 9 0 2629161 0
[pid=27485/tid=27486] ppid=27483 vsize=10553708 CPUtime=0.84 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) S 27483 27485 26457 0 -1 4202560 45770 0 1 0 81 3 0 0 20 0 18 0 831301774 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 4 0 16800975 18446604469036917056 0 0 -1 1 0 0 0
[pid=27485/tid=27488] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27488/stat : 27488 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27489] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27489/stat : 27489 (java) S 27483 27485 26457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27490] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27490/stat : 27490 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27491] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27491/stat : 27491 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27492] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27492/stat : 27492 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27493] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27493/stat : 27493 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27494] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27494/stat : 27494 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27495] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27495/stat : 27495 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27496] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27496/stat : 27496 (java) S 27483 27485 26457 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 0 0 16800975 18446604469036917056 0 0 -1 3 0 0 0
[pid=27485/tid=27497] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27497/stat : 27497 (java) S 27483 27485 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 3 0 0 0
[pid=27485/tid=27498] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27498/stat : 27498 (java) S 27483 27485 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27499] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27499/stat : 27499 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301779 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606690225 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27500] ppid=27483 vsize=10553708 CPUtime=0.49 cores=1,3,5,7
/proc/27485/task/27500/stat : 27500 (java) S 27483 27485 26457 0 -1 4202560 4852 0 0 0 49 0 0 0 24 0 18 0 831301779 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 5 0 0 0
[pid=27485/tid=27501] ppid=27483 vsize=10553708 CPUtime=0.51 cores=1,3,5,7
/proc/27485/task/27501/stat : 27501 (java) S 27483 27485 26457 0 -1 4202560 6260 0 0 0 51 0 0 0 24 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27502] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27502/stat : 27502 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27503] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27503/stat : 27503 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 4 0 16800975 18446604469036917056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10553708
[startup+1.30131 s]
/proc/loadavg: 3.32 3.38 3.47 3/485 27505
/proc/meminfo: memFree=27504728/32950928 swapFree=34365992/67111528
[pid=27485] ppid=27483 vsize=10553708 CPUtime=1.98 cores=1,3,5,7
/proc/27485/stat : 27485 (java) S 27483 27485 26457 0 -1 4202496 58464 0 1 0 193 5 0 0 25 0 18 0 831301774 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27485/statm: 2638427 53514 2234 9 0 2629161 0
[pid=27485/tid=27486] ppid=27483 vsize=10553708 CPUtime=0.84 cores=1,3,5,7
/proc/27485/task/27486/stat : 27486 (java) S 27483 27485 26457 0 -1 4202560 45770 0 1 0 81 3 0 0 20 0 18 0 831301774 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 4 0 16800975 18446604469036917056 0 0 -1 1 0 0 0
[pid=27485/tid=27488] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27488/stat : 27488 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27489] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27489/stat : 27489 (java) S 27483 27485 26457 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27490] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27490/stat : 27490 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27491] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27491/stat : 27491 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27492] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27492/stat : 27492 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27493] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27493/stat : 27493 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27494] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27494/stat : 27494 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27495] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27495/stat : 27495 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301776 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27496] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27496/stat : 27496 (java) S 27483 27485 26457 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 0 0 16800975 18446604469036917056 0 0 -1 3 0 0 0
[pid=27485/tid=27497] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27497/stat : 27497 (java) S 27483 27485 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 3 0 0 0
[pid=27485/tid=27498] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27498/stat : 27498 (java) S 27483 27485 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 831301777 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27499] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27499/stat : 27499 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301779 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606690225 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27500] ppid=27483 vsize=10553708 CPUtime=0.49 cores=1,3,5,7
/proc/27485/task/27500/stat : 27500 (java) S 27483 27485 26457 0 -1 4202560 4852 0 0 0 49 0 0 0 24 0 18 0 831301779 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 5 0 0 0
[pid=27485/tid=27501] ppid=27483 vsize=10553708 CPUtime=0.51 cores=1,3,5,7
/proc/27485/task/27501/stat : 27501 (java) S 27483 27485 26457 0 -1 4202560 6260 0 0 0 51 0 0 0 24 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27502] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27502/stat : 27502 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606682521 0 4 0 16800975 18446604469036917056 0 0 -1 7 0 0 0
[pid=27485/tid=27503] ppid=27483 vsize=10553708 CPUtime=0 cores=1,3,5,7
/proc/27485/task/27503/stat : 27503 (java) S 27483 27485 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 831301780 10806996992 53514 33554432000 1073741824 1073778376 140733800931984 18446744073709551615 235606683136 0 4 0 16800975 18446604469036917056 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10553708
Child status: 20
Real time (s): 1.3788
CPU time (s): 1.99869
CPU user time (s): 1.9347
CPU system time (s): 0.06399
CPU usage (%): 144.959
Max. virtual memory (cumulated for all children) (KiB): 10553708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.93471
system time used= 0.06399
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58481
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= 268
involuntary context switches= 21
runsolver used 0.012998 second user time and 0.021996 second system time
The end