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-3453587-1307195796/watcher-3453587-1307195796 -o /tmp/evaluation-result-3453587-1307195796/solver-3453587-1307195796 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453587-1307195796.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.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 1777 0 1 0 0 0 0 0 20 0 2 0 831178368 10681323520 1481 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2607745 1495 906 9 0 2598901 0
[pid=26492/tid=26496] ppid=26489 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) R 26489 26492 26457 0 -1 4202560 3525 0 1 0 0 0 0 0 21 0 2 0 831178369 10694979584 4340 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.107798 s]
/proc/loadavg: 1.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10539636 CPUtime=0.1 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 12972 0 1 0 8 2 0 0 20 0 18 0 831178368 10792587264 12670 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2634909 12671 2092 9 0 2625643 0
[pid=26492/tid=26496] ppid=26489 vsize=10539636 CPUtime=0.08 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) R 26489 26492 26457 0 -1 4202560 11179 0 1 0 7 1 0 0 21 0 18 0 831178369 10792587264 12672 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235594527777 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539636
[startup+0.205427 s]
/proc/loadavg: 1.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10540064 CPUtime=0.24 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 13919 0 1 0 22 2 0 0 20 0 18 0 831178368 10793025536 13617 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2635016 13618 2180 9 0 2625750 0
[pid=26492/tid=26496] ppid=26489 vsize=10540064 CPUtime=0.17 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) R 26489 26492 26457 0 -1 4202560 11942 0 1 0 16 1 0 0 21 0 18 0 831178369 10793025536 13618 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 47822667273864 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10540064
[startup+0.300764 s]
/proc/loadavg: 1.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10543168 CPUtime=0.47 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 16528 0 1 0 45 2 0 0 20 0 18 0 831178368 10796204032 15755 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2635792 15755 2211 9 0 2626526 0
[pid=26492/tid=26496] ppid=26489 vsize=10543168 CPUtime=0.28 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) R 26489 26492 26457 0 -1 4202560 13019 0 1 0 26 2 0 0 21 0 18 0 831178369 10796204032 15755 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 47822669380723 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543168
[startup+0.700696 s]
/proc/loadavg: 1.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10552480 CPUtime=1.91 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 27526 0 1 0 187 4 0 0 20 0 22 0 831178368 10805739520 23066 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2638120 23067 2234 9 0 2628854 0
[pid=26492/tid=26496] ppid=26489 vsize=10552480 CPUtime=0.3 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) S 26489 26492 26457 0 -1 4202560 13535 0 1 0 28 2 0 0 22 0 22 0 831178369 10805739520 23067 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10552480
Solver just ended. Dumping a history of the last processes samples
[startup+0.80068 s]
/proc/loadavg: 1.67 2.71 3.26 4/445 26494
/proc/meminfo: memFree=31302632/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10559696 CPUtime=2.32 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 32282 0 1 0 227 5 0 0 20 0 22 0 831178368 10813128704 27797 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2639924 27797 2235 9 0 2630658 0
[pid=26492/tid=26496] ppid=26489 vsize=10559696 CPUtime=0.3 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) S 26489 26492 26457 0 -1 4202560 13535 0 1 0 28 2 0 0 22 0 22 0 831178369 10813128704 27797 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10559696
[startup+1.2176 s]
/proc/loadavg: 1.67 2.71 3.26 2/474 26578
/proc/meminfo: memFree=31131972/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10557380 CPUtime=3.31 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 42983 0 1 0 325 6 0 0 20 0 19 0 831178368 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2639345 35646 2241 9 0 2630079 0
[pid=26492/tid=26496] ppid=26489 vsize=10557380 CPUtime=0.3 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) S 26489 26492 26457 0 -1 4202560 13535 0 1 0 28 2 0 0 17 0 19 0 831178369 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
[pid=26492/tid=26501] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26501/stat : 26501 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26502] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26502/stat : 26502 (java) S 26489 26492 26457 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26504] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26504/stat : 26504 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26505] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26505/stat : 26505 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26507] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26507/stat : 26507 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26508] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26508/stat : 26508 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26510] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26510/stat : 26510 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26512] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26512/stat : 26512 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26519] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26519/stat : 26519 (java) S 26489 26492 26457 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 0 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26520] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26520/stat : 26520 (java) S 26489 26492 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26522] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26522/stat : 26522 (java) S 26489 26492 26457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26524] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26524/stat : 26524 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606690225 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26525] ppid=26489 vsize=10557380 CPUtime=0.77 cores=1,3,5,7
/proc/26492/task/26525/stat : 26525 (java) S 26489 26492 26457 0 -1 4202560 7764 0 0 0 77 0 0 0 19 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 1 0 0 0
[pid=26492/tid=26528] ppid=26489 vsize=10557380 CPUtime=0.81 cores=1,3,5,7
/proc/26492/task/26528/stat : 26528 (java) S 26489 26492 26457 0 -1 4202560 7051 0 0 0 80 1 0 0 17 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26529] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26529/stat : 26529 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26531] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26531/stat : 26531 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
[pid=26492/tid=26537] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26537/stat : 26537 (java) S 26489 26492 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831178401 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 10557380
[startup+1.30159 s]
/proc/loadavg: 1.67 2.71 3.26 2/474 26578
/proc/meminfo: memFree=31131972/32950928 swapFree=34365992/67111528
[pid=26492] ppid=26489 vsize=10557380 CPUtime=3.31 cores=1,3,5,7
/proc/26492/stat : 26492 (java) S 26489 26492 26457 0 -1 4202496 42983 0 1 0 325 6 0 0 20 0 19 0 831178368 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/26492/statm: 2639345 35646 2241 9 0 2630079 0
[pid=26492/tid=26496] ppid=26489 vsize=10557380 CPUtime=0.3 cores=1,3,5,7
/proc/26492/task/26496/stat : 26496 (java) S 26489 26492 26457 0 -1 4202560 13535 0 1 0 28 2 0 0 17 0 19 0 831178369 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
[pid=26492/tid=26501] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26501/stat : 26501 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26502] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26502/stat : 26502 (java) S 26489 26492 26457 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26504] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26504/stat : 26504 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26505] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26505/stat : 26505 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26507] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26507/stat : 26507 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26508] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26508/stat : 26508 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26510] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26510/stat : 26510 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26512] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26512/stat : 26512 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831178371 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26519] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26519/stat : 26519 (java) S 26489 26492 26457 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 0 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26520] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26520/stat : 26520 (java) S 26489 26492 26457 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26522] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26522/stat : 26522 (java) S 26489 26492 26457 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831178372 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 5 0 0 0
[pid=26492/tid=26524] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26524/stat : 26524 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606690225 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26525] ppid=26489 vsize=10557380 CPUtime=0.77 cores=1,3,5,7
/proc/26492/task/26525/stat : 26525 (java) S 26489 26492 26457 0 -1 4202560 7764 0 0 0 77 0 0 0 19 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 1 0 0 0
[pid=26492/tid=26528] ppid=26489 vsize=10557380 CPUtime=0.81 cores=1,3,5,7
/proc/26492/task/26528/stat : 26528 (java) S 26489 26492 26457 0 -1 4202560 7051 0 0 0 80 1 0 0 17 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26529] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26529/stat : 26529 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606682521 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
[pid=26492/tid=26531] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26531/stat : 26531 (java) S 26489 26492 26457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831178374 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 7 0 0 0
[pid=26492/tid=26537] ppid=26489 vsize=10557380 CPUtime=0 cores=1,3,5,7
/proc/26492/task/26537/stat : 26537 (java) S 26489 26492 26457 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831178401 10810757120 35646 33554432000 1073741824 1073778376 140734573548048 18446744073709551615 235606683136 0 4 0 16800975 18446604464813177536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.31
Current children cumulated vsize (KiB) 10557380
Child status: 10
Real time (s): 1.3373
CPU time (s): 3.33249
CPU user time (s): 3.2605
CPU system time (s): 0.071989
CPU usage (%): 249.195
Max. virtual memory (cumulated for all children) (KiB): 10560456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2605
system time used= 0.071989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43000
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= 497
involuntary context switches= 102
runsolver used 0.008998 second user time and 0.024996 second system time
The end