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-3453989-1307194753/watcher-3453989-1307194753 -o /tmp/evaluation-result-3453989-1307194753/solver-3453989-1307194753 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453989-1307194753.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.97 2.70 3.32 2/488 23476
/proc/meminfo: memFree=21377160/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 3927 0 1 0 0 0 0 0 18 0 2 0 563666559 10694979584 3628 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2611079 3642 917 9 0 2602235 0
[pid=23476/tid=23478] ppid=23474 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 17058 0 -1 4202560 6767 0 1 0 0 0 0 0 19 0 2 0 563666560 10694979584 7583 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0902919 s]
/proc/loadavg: 1.97 2.70 3.32 2/488 23476
/proc/meminfo: memFree=21377160/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10540396 CPUtime=0.09 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 12811 0 1 0 8 1 0 0 18 0 18 0 563666559 10793365504 12507 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2635099 12507 2063 9 0 2625833 0
[pid=23476/tid=23478] ppid=23474 vsize=10540396 CPUtime=0.06 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 17058 0 -1 4202560 10950 0 1 0 6 0 0 0 18 0 18 0 563666560 10793365504 12507 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268660658021 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540396
[startup+0.100291 s]
/proc/loadavg: 1.97 2.70 3.32 2/488 23476
/proc/meminfo: memFree=21377160/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 13025 0 1 0 9 1 0 0 18 0 18 0 563666559 10793365504 12721 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2635099 12721 2093 9 0 2625833 0
[pid=23476/tid=23478] ppid=23474 vsize=10540396 CPUtime=0.07 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 17058 0 -1 4202560 11106 0 1 0 7 0 0 0 18 0 18 0 563666560 10793365504 12721 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268660323361 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.300251 s]
/proc/loadavg: 1.97 2.70 3.32 2/488 23476
/proc/meminfo: memFree=21377160/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10542444 CPUtime=0.46 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 15418 0 1 0 45 1 0 0 18 0 18 0 563666559 10795462656 15098 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2635611 15099 2208 9 0 2626345 0
[pid=23476/tid=23478] ppid=23474 vsize=10542444 CPUtime=0.28 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 17058 0 -1 4202560 12910 0 1 0 27 1 0 0 18 0 18 0 563666560 10795462656 15099 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912505590884 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10542444
[startup+0.700188 s]
/proc/loadavg: 1.97 2.70 3.32 2/488 23476
/proc/meminfo: memFree=21377160/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10558996 CPUtime=1.58 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 36109 0 1 0 155 3 0 0 18 0 18 0 563666559 10812411904 30499 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2639749 30502 2234 9 0 2630483 0
[pid=23476/tid=23478] ppid=23474 vsize=10558996 CPUtime=0.67 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) R 23474 23476 17058 0 -1 4202560 21596 0 1 0 65 2 0 0 18 0 18 0 563666560 10812411904 30503 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912505636689 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10558996
[startup+1.50101 s]
/proc/loadavg: 2.13 2.72 3.33 7/528 23522
/proc/meminfo: memFree=21163956/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=3.39 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 50356 0 1 0 334 5 0 0 18 0 22 0 563666559 10816622592 44744 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 44744 2247 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.84 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 30680 0 1 0 81 3 0 0 17 0 22 0 563666560 10816622592 44744 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 563666561 10816622592 44746 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44746 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44746 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44747 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44748 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44748 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 44748 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 563666561 10816622592 44749 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 563666562 10816622592 44749 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 563666563 10816622592 44749 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563666563 10816622592 44749 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 44750 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=0.96 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) R 23474 23476 17058 0 -1 4202560 6757 0 0 0 96 0 0 0 15 0 22 0 563666565 10816622592 44750 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46953034676543 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=0.94 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) R 23474 23476 17058 0 -1 4202560 7006 0 0 0 94 0 0 0 17 0 22 0 563666565 10816622592 44750 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46953036707039 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23476/tid=23510] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23510/stat : 23510 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666565 10816622592 44750 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23511] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23511/stat : 23511 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563666565 10816622592 44751 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23521] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23521/stat : 23521 (java) S 23474 23476 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 563666650 10816622592 44751 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10563108
[startup+3.10073 s]
/proc/loadavg: 2.13 2.72 3.33 3/525 23534
/proc/meminfo: memFree=21093548/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=4.84 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 72813 0 1 0 476 8 0 0 18 0 22 0 563666559 10816622592 67200 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 67200 2247 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.86 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 30956 0 1 0 83 3 0 0 16 0 22 0 563666560 10816622592 67200 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 563666561 10816622592 67200 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67200 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 563666561 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 563666562 10816622592 67201 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 563666563 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 563666563 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=1.14 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) S 23474 23476 17058 0 -1 4202560 6781 0 0 0 114 0 0 0 15 0 22 0 563666565 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=1.13 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) S 23474 23476 17058 0 -1 4202560 7032 0 0 0 113 0 0 0 15 0 22 0 563666565 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23510] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23510/stat : 23510 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666565 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23511] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23511/stat : 23511 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563666565 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23521] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23521/stat : 23521 (java) S 23474 23476 17058 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 563666650 10816622592 67202 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 10563108
[startup+6.30121 s]
/proc/loadavg: 2.13 2.72 3.33 9/531 23549
/proc/meminfo: memFree=20303212/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=10.39 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 163611 0 1 0 1020 19 0 0 18 0 22 0 563666559 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 157170 2273 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.87 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 31003 0 1 0 84 3 0 0 15 0 22 0 563666560 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=0.01 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 1859 0 0 0 1 0 0 0 16 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=0.01 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 2014 0 0 0 1 0 0 0 16 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=0.01 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 2371 0 0 0 1 0 0 0 18 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=0.04 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 4609 0 0 0 4 0 0 0 18 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=0.03 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 2876 0 0 0 3 0 0 0 18 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=0.03 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 4859 0 0 0 3 0 0 0 18 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 563666561 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=0.25 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 16931 0 0 0 24 1 0 0 15 0 22 0 563666562 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 563666563 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 563666563 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=1.23 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) S 23474 23476 17058 0 -1 4202560 6800 0 0 0 123 0 0 0 16 0 22 0 563666565 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=1.16 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) S 23474 23476 17058 0 -1 4202560 7037 0 0 0 116 0 0 0 15 0 22 0 563666565 10816622592 157170 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=23476/tid=23806] ppid=23474 vsize=10563108 CPUtime=472.85 cores=1,3,5,7
/proc/23476/task/23806/stat : 23806 (java) R 23474 23476 17058 0 -1 4202560 52 0 0 0 47285 0 0 0 25 0 22 0 563694379 10816622592 477651 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506334098 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23476/tid=23807] ppid=23474 vsize=10563108 CPUtime=472.88 cores=1,3,5,7
/proc/23476/task/23807/stat : 23807 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 47288 0 0 0 25 0 22 0 563694379 10816622592 477651 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506414641 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23476/tid=23808] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23808/stat : 23808 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 563694379 10816622592 477651 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1552.63
Current children cumulated vsize (KiB) 10563108
[startup+882.301 s]
/proc/loadavg: 3.54 3.56 3.52 5/531 23827
/proc/meminfo: memFree=18743264/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=1655.07 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 484437 0 1 0 165451 56 0 0 18 0 22 0 563666559 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 477676 2274 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.91 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 31055 0 1 0 88 3 0 0 15 0 22 0 563666560 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=1.84 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 8244 0 0 0 184 0 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=1.35 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 3550 0 0 0 135 0 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=1.4 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 5932 0 0 0 140 0 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=1.49 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 4458 0 0 0 149 0 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=1.43 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 8785 0 0 0 142 1 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=1.8 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 10239 0 0 0 179 1 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=1.9 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 8151 0 0 0 189 1 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=1.62 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 6738 0 0 0 161 1 0 0 16 0 22 0 563666561 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=109.53 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 184141 0 0 0 10936 17 0 0 15 0 22 0 563666562 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=1.62 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) S 23474 23476 17058 0 -1 4202560 6844 0 0 0 162 0 0 0 15 0 22 0 563666565 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=1.23 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) S 23474 23476 17058 0 -1 4202560 7037 0 0 0 123 0 0 0 16 0 22 0 563666565 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23510] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23510/stat : 23510 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666565 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23511] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23511/stat : 23511 (java) S 23474 23476 17058 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 563666565 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23612] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23612/stat : 23612 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563668660 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23824] ppid=23474 vsize=10563108 CPUtime=28.48 cores=1,3,5,7
/proc/23476/task/23824/stat : 23824 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 2848 0 0 0 24 0 22 0 563750400 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506342383 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23476/tid=23825] ppid=23474 vsize=10563108 CPUtime=28.48 cores=1,3,5,7
/proc/23476/task/23825/stat : 23825 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 2848 0 0 0 24 0 22 0 563750400 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506246843 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23476/tid=23826] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23826/stat : 23826 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563750400 10816622592 477676 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1655.07
Current children cumulated vsize (KiB) 10563108
[startup+942.301 s]
/proc/loadavg: 3.29 3.50 3.50 5/531 23829
/proc/meminfo: memFree=18729344/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=1761.86 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 484487 0 1 0 176130 56 0 0 18 0 22 0 563666559 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 477708 2274 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.91 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 31065 0 1 0 88 3 0 0 15 0 22 0 563666560 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=1.95 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 8244 0 0 0 195 0 0 0 15 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=1.46 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 3550 0 0 0 145 1 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=1.54 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 5939 0 0 0 154 0 0 0 15 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=1.69 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 4461 0 0 0 169 0 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=1.58 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 8787 0 0 0 157 1 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=2 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 10244 0 0 0 199 1 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=2.11 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 8157 0 0 0 210 1 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=1.81 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 6747 0 0 0 180 1 0 0 16 0 22 0 563666561 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=123.31 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 184146 0 0 0 12314 17 0 0 15 0 22 0 563666562 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=1.62 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) S 23474 23476 17058 0 -1 4202560 6844 0 0 0 162 0 0 0 15 0 22 0 563666565 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=1.23 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) S 23474 23476 17058 0 -1 4202560 7037 0 0 0 123 0 0 0 16 0 22 0 563666565 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23510] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23510/stat : 23510 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666565 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23511] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23511/stat : 23511 (java) S 23474 23476 17058 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 563666565 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23612] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23612/stat : 23612 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563668660 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23824] ppid=23474 vsize=10563108 CPUtime=74.34 cores=1,3,5,7
/proc/23476/task/23824/stat : 23824 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 7434 0 0 0 19 0 22 0 563750400 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506214016 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23476/tid=23825] ppid=23474 vsize=10563108 CPUtime=74.34 cores=1,3,5,7
/proc/23476/task/23825/stat : 23825 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 7434 0 0 0 19 0 22 0 563750400 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506250582 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23476/tid=23826] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23826/stat : 23826 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563750400 10816622592 477708 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1761.86
Current children cumulated vsize (KiB) 10563108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+962.601 s]
/proc/loadavg: 3.43 3.52 3.50 4/531 23830
/proc/meminfo: memFree=18725744/32951124 swapFree=46575304/67111528
[pid=23476] ppid=23474 vsize=10563108 CPUtime=1800.08 cores=1,3,5,7
/proc/23476/stat : 23476 (java) S 23474 23476 17058 0 -1 4202496 484518 0 1 0 179952 56 0 0 18 0 22 0 563666559 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23476/statm: 2640777 477737 2274 9 0 2631511 0
[pid=23476/tid=23478] ppid=23474 vsize=10563108 CPUtime=0.91 cores=1,3,5,7
/proc/23476/task/23478/stat : 23478 (java) S 23474 23476 17058 0 -1 4202560 31067 0 1 0 88 3 0 0 15 0 22 0 563666560 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23488] ppid=23474 vsize=10563108 CPUtime=2 cores=1,3,5,7
/proc/23476/task/23488/stat : 23488 (java) S 23474 23476 17058 0 -1 4202560 8257 0 0 0 200 0 0 0 16 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23489] ppid=23474 vsize=10563108 CPUtime=1.47 cores=1,3,5,7
/proc/23476/task/23489/stat : 23489 (java) S 23474 23476 17058 0 -1 4202560 3550 0 0 0 146 1 0 0 15 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23490] ppid=23474 vsize=10563108 CPUtime=1.58 cores=1,3,5,7
/proc/23476/task/23490/stat : 23490 (java) S 23474 23476 17058 0 -1 4202560 5943 0 0 0 158 0 0 0 15 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23491] ppid=23474 vsize=10563108 CPUtime=1.69 cores=1,3,5,7
/proc/23476/task/23491/stat : 23491 (java) S 23474 23476 17058 0 -1 4202560 4461 0 0 0 169 0 0 0 15 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23492] ppid=23474 vsize=10563108 CPUtime=1.62 cores=1,3,5,7
/proc/23476/task/23492/stat : 23492 (java) S 23474 23476 17058 0 -1 4202560 8787 0 0 0 161 1 0 0 16 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23493] ppid=23474 vsize=10563108 CPUtime=2.03 cores=1,3,5,7
/proc/23476/task/23493/stat : 23493 (java) S 23474 23476 17058 0 -1 4202560 10244 0 0 0 202 1 0 0 15 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23494] ppid=23474 vsize=10563108 CPUtime=2.18 cores=1,3,5,7
/proc/23476/task/23494/stat : 23494 (java) S 23474 23476 17058 0 -1 4202560 8157 0 0 0 217 1 0 0 16 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23495] ppid=23474 vsize=10563108 CPUtime=1.88 cores=1,3,5,7
/proc/23476/task/23495/stat : 23495 (java) S 23474 23476 17058 0 -1 4202560 6759 0 0 0 187 1 0 0 16 0 22 0 563666561 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23499] ppid=23474 vsize=10563108 CPUtime=125.86 cores=1,3,5,7
/proc/23476/task/23499/stat : 23499 (java) S 23474 23476 17058 0 -1 4202560 184146 0 0 0 12569 17 0 0 15 0 22 0 563666562 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 0 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23500] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23500/stat : 23500 (java) S 23474 23476 17058 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23501] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23501/stat : 23501 (java) S 23474 23476 17058 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 563666563 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23504] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23504/stat : 23504 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563666565 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672485809 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23505] ppid=23474 vsize=10563108 CPUtime=1.62 cores=1,3,5,7
/proc/23476/task/23505/stat : 23505 (java) S 23474 23476 17058 0 -1 4202560 6844 0 0 0 162 0 0 0 15 0 22 0 563666565 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 5 0 0 0
[pid=23476/tid=23509] ppid=23474 vsize=10563108 CPUtime=1.23 cores=1,3,5,7
/proc/23476/task/23509/stat : 23509 (java) S 23474 23476 17058 0 -1 4202560 7037 0 0 0 123 0 0 0 16 0 22 0 563666565 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23510] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23510/stat : 23510 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 563666565 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478105 0 4 0 16800975 18446604463507330240 0 0 -1 3 0 0 0
[pid=23476/tid=23511] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23511/stat : 23511 (java) S 23474 23476 17058 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 563666565 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
[pid=23476/tid=23612] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23612/stat : 23612 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 563668660 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 7 0 0 0
[pid=23476/tid=23824] ppid=23474 vsize=10563108 CPUtime=92.03 cores=1,3,5,7
/proc/23476/task/23824/stat : 23824 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 9203 0 0 0 25 0 22 0 563750400 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506415508 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23476/tid=23825] ppid=23474 vsize=10563108 CPUtime=92.04 cores=1,3,5,7
/proc/23476/task/23825/stat : 23825 (java) R 23474 23476 17058 0 -1 4202560 0 0 0 0 9204 0 0 0 25 0 22 0 563750400 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 46912506246748 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23476/tid=23826] ppid=23474 vsize=10563108 CPUtime=0 cores=1,3,5,7
/proc/23476/task/23826/stat : 23826 (java) S 23474 23476 17058 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 563750400 10816622592 477737 33554432000 1073741824 1073778376 140736338690656 18446744073709551615 268672478720 0 4 0 16800975 18446604463507330240 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10563108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 962.707
CPU time (s): 1800.22
CPU user time (s): 1799.58
CPU system time (s): 0.640902
CPU usage (%): 186.996
Max. virtual memory (cumulated for all children) (KiB): 10563108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.640902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484547
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= 26574
involuntary context switches= 20262
runsolver used 4.72328 second user time and 11.1003 second system time
The end