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-3457204-1307217675/watcher-3457204-1307217675 -o /tmp/evaluation-result-3457204-1307217675/solver-3457204-1307217675 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457204-1307217675.opb
running on 4 cores: 0,2,4,6
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.92 2.00 1.71 2/487 19413
/proc/meminfo: memFree=20396452/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/19413/stat : 19413 (java) R 19411 19413 19203 0 -1 4202496 1045 0 0 0 0 0 0 0 22 0 1 0 911998038 23580672 791 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 47404149374208 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/19413/statm: 5757 812 608 9 0 124 0
[pid=19413/tid=19414] ppid=19411 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 4799 0 1 0 0 0 0 0 23 0 2 0 911998039 10694979584 5615 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0847851 s]
/proc/loadavg: 1.92 2.00 1.71 2/487 19413
/proc/meminfo: memFree=20396452/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10538488 CPUtime=0.07 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 12192 0 1 0 6 1 0 0 22 0 18 0 911998038 10791411712 11890 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2634622 11890 1913 9 0 2625356 0
[pid=19413/tid=19414] ppid=19411 vsize=10538488 CPUtime=0.07 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 10819 0 1 0 6 1 0 0 22 0 18 0 911998039 10791411712 11890 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469891765 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538488
[startup+0.100811 s]
/proc/loadavg: 1.92 2.00 1.71 2/487 19413
/proc/meminfo: memFree=20396452/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10539704 CPUtime=0.1 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 12913 0 1 0 9 1 0 0 22 0 18 0 911998038 10792656896 12611 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2634926 12614 2092 9 0 2625660 0
[pid=19413/tid=19414] ppid=19411 vsize=10539704 CPUtime=0.08 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 11023 0 1 0 7 1 0 0 18 0 18 0 911998039 10792656896 12614 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 47404149679640 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539704
[startup+0.300775 s]
/proc/loadavg: 1.92 2.00 1.71 2/487 19413
/proc/meminfo: memFree=20396452/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10542028 CPUtime=0.45 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 15353 0 1 0 44 1 0 0 22 0 18 0 911998038 10795036672 14905 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2635507 14906 2199 9 0 2626241 0
[pid=19413/tid=19414] ppid=19411 vsize=10542028 CPUtime=0.28 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 12655 0 1 0 27 1 0 0 18 0 18 0 911998039 10795036672 14906 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542028
[startup+0.700667 s]
/proc/loadavg: 1.92 2.00 1.71 2/487 19413
/proc/meminfo: memFree=20396452/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10547344 CPUtime=1.37 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 32522 0 1 0 133 4 0 0 22 0 19 0 911998038 10800480256 29953 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2636836 29953 2234 9 0 2627570 0
[pid=19413/tid=19414] ppid=19411 vsize=10547344 CPUtime=0.67 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 25647 0 1 0 65 2 0 0 19 0 19 0 911998039 10800480256 29953 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 46912505666379 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10547344
Solver just ended. Dumping a history of the last processes samples
[startup+1.11868 s]
/proc/loadavg: 1.93 2.00 1.71 4/506 19432
/proc/meminfo: memFree=20234304/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10547044 CPUtime=2.1 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 54388 0 1 0 203 7 0 0 22 0 19 0 911998038 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2636761 49562 2236 9 0 2627495 0
[pid=19413/tid=19414] ppid=19411 vsize=10547044 CPUtime=1.09 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 45165 0 1 0 104 5 0 0 19 0 19 0 911998039 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 46912505798721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19413/tid=19416] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19416/stat : 19416 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19417] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19417/stat : 19417 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19418] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19418/stat : 19418 (java) S 19411 19413 19203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19419] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19419/stat : 19419 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19420] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19420/stat : 19420 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19421] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19421/stat : 19421 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19422] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19422/stat : 19422 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49562 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19423] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19423/stat : 19423 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 49577 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19424] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19424/stat : 19424 (java) S 19411 19413 19203 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 911998042 10800173056 49581 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 0 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19425] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19425/stat : 19425 (java) S 19411 19413 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 49583 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
[pid=19413/tid=19426] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19426/stat : 19426 (java) S 19411 19413 19203 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 49586 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19427] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19427/stat : 19427 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911998045 10800173056 49588 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469889457 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19428] ppid=19411 vsize=10547044 CPUtime=0.49 cores=0,2,4,6
/proc/19413/task/19428/stat : 19428 (java) S 19411 19413 19203 0 -1 4202560 4736 0 0 0 49 0 0 0 16 0 19 0 911998045 10800173056 49590 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19429] ppid=19411 vsize=10547044 CPUtime=0.48 cores=0,2,4,6
/proc/19413/task/19429/stat : 19429 (java) S 19411 19413 19203 0 -1 4202560 3326 0 0 0 48 0 0 0 15 0 19 0 911998045 10800173056 49592 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19430] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19430/stat : 19430 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911998045 10800173056 49594 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19431] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19431/stat : 19431 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911998045 10800173056 49596 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19432] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19432/stat : 19432 (java) S 19411 19413 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998093 10800173056 49598 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10547044
[startup+1.30162 s]
/proc/loadavg: 1.93 2.00 1.71 4/506 19432
/proc/meminfo: memFree=20234304/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10547044 CPUtime=2.28 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 66330 0 1 0 220 8 0 0 22 0 19 0 911998038 10800173056 61504 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2636761 61504 2236 9 0 2627495 0
[pid=19413/tid=19414] ppid=19411 vsize=10547044 CPUtime=1.27 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 57108 0 1 0 121 6 0 0 20 0 19 0 911998039 10800173056 61505 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 46912505874732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19413/tid=19416] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19416/stat : 19416 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911998041 10800173056 61505 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19417] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19417/stat : 19417 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61506 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19418] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19418/stat : 19418 (java) S 19411 19413 19203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61506 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19419] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19419/stat : 19419 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61507 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19420] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19420/stat : 19420 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61507 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19421] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19421/stat : 19421 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61507 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19422] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19422/stat : 19422 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61508 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19423] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19423/stat : 19423 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 61509 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19424] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19424/stat : 19424 (java) S 19411 19413 19203 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 911998042 10800173056 61509 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 0 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19425] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19425/stat : 19425 (java) S 19411 19413 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 61509 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
[pid=19413/tid=19426] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19426/stat : 19426 (java) S 19411 19413 19203 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 61511 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19427] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19427/stat : 19427 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911998045 10800173056 61516 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469889457 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19428] ppid=19411 vsize=10547044 CPUtime=0.49 cores=0,2,4,6
/proc/19413/task/19428/stat : 19428 (java) S 19411 19413 19203 0 -1 4202560 4736 0 0 0 49 0 0 0 15 0 19 0 911998045 10800173056 61519 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19429] ppid=19411 vsize=10547044 CPUtime=0.48 cores=0,2,4,6
/proc/19413/task/19429/stat : 19429 (java) S 19411 19413 19203 0 -1 4202560 3326 0 0 0 48 0 0 0 15 0 19 0 911998045 10800173056 61520 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19430] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19430/stat : 19430 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911998045 10800173056 61520 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19431] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19431/stat : 19431 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911998045 10800173056 61520 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19432] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19432/stat : 19432 (java) S 19411 19413 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998093 10800173056 61520 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10547044
[startup+1.40163 s]
/proc/loadavg: 1.93 2.00 1.71 4/506 19432
/proc/meminfo: memFree=20234304/32951124 swapFree=56297244/67111528
[pid=19413] ppid=19411 vsize=10547044 CPUtime=2.38 cores=0,2,4,6
/proc/19413/stat : 19413 (java) S 19411 19413 19203 0 -1 4202496 71912 0 1 0 229 9 0 0 22 0 19 0 911998038 10800173056 67086 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19413/statm: 2636761 67087 2236 9 0 2627495 0
[pid=19413/tid=19414] ppid=19411 vsize=10547044 CPUtime=1.38 cores=0,2,4,6
/proc/19413/task/19414/stat : 19414 (java) R 19411 19413 19203 0 -1 4202560 62690 0 1 0 131 7 0 0 20 0 19 0 911998039 10800173056 67087 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 46912506049203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19413/tid=19416] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19416/stat : 19416 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911998041 10800173056 67088 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19417] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19417/stat : 19417 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67088 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19418] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19418/stat : 19418 (java) S 19411 19413 19203 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67089 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19419] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19419/stat : 19419 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67089 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19420] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19420/stat : 19420 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67089 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19421] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19421/stat : 19421 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67090 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19422] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19422/stat : 19422 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67090 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19423] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19423/stat : 19423 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911998041 10800173056 67091 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19424] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19424/stat : 19424 (java) S 19411 19413 19203 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 911998042 10800173056 67091 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 0 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19425] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19425/stat : 19425 (java) S 19411 19413 19203 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 67091 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
[pid=19413/tid=19426] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19426/stat : 19426 (java) S 19411 19413 19203 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911998042 10800173056 67092 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19427] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19427/stat : 19427 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911998045 10800173056 67092 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469889457 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19428] ppid=19411 vsize=10547044 CPUtime=0.49 cores=0,2,4,6
/proc/19413/task/19428/stat : 19428 (java) S 19411 19413 19203 0 -1 4202560 4736 0 0 0 49 0 0 0 15 0 19 0 911998045 10800173056 67092 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19429] ppid=19411 vsize=10547044 CPUtime=0.48 cores=0,2,4,6
/proc/19413/task/19429/stat : 19429 (java) S 19411 19413 19203 0 -1 4202560 3326 0 0 0 48 0 0 0 15 0 19 0 911998045 10800173056 67093 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19430] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19430/stat : 19430 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911998045 10800173056 67093 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469881753 0 4 0 16800975 18446604444306371520 0 0 -1 6 0 0 0
[pid=19413/tid=19431] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19431/stat : 19431 (java) S 19411 19413 19203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911998045 10800173056 67094 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 2 0 0 0
[pid=19413/tid=19432] ppid=19411 vsize=10547044 CPUtime=0 cores=0,2,4,6
/proc/19413/task/19432/stat : 19432 (java) S 19411 19413 19203 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 911998093 10800173056 67094 33554432000 1073741824 1073778376 140733476984560 18446744073709551615 252469882368 0 4 0 16800975 18446604444306371520 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 10547044
Child status: 20
Real time (s): 1.41862
CPU time (s): 2.40863
CPU user time (s): 2.30465
CPU system time (s): 0.103984
CPU usage (%): 169.787
Max. virtual memory (cumulated for all children) (KiB): 10547344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.30465
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71981
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= 335
involuntary context switches= 27
runsolver used 0.012998 second user time and 0.023996 second system time
The end