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-3459065-1307154877/watcher-3459065-1307154877 -o /tmp/evaluation-result-3459065-1307154877/solver-3459065-1307154877 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459065-1307154877.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: 2.11 2.04 2.01 2/433 6067
/proc/meminfo: memFree=25894780/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=36924 CPUtime=0 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 283097124 37810176 1072 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 9231 1072 833 9 0 387 0
[pid=6067/tid=6068] ppid=6065 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 5208 0 1 0 0 0 0 0 25 0 2 0 283097125 13850947584 6023 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0956349 s]
/proc/loadavg: 2.11 2.04 2.01 2/433 6067
/proc/meminfo: memFree=25894780/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13621360 CPUtime=0.1 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 15267 0 1 0 8 2 0 0 25 0 18 0 283097124 13948272640 14964 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3405340 14964 2088 9 0 3396074 0
[pid=6067/tid=6068] ppid=6065 vsize=13621360 CPUtime=0.07 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 13551 0 1 0 6 1 0 0 18 0 18 0 283097125 13948272640 14964 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 47839572108341 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) 13621360
[startup+0.102057 s]
/proc/loadavg: 2.11 2.04 2.01 2/433 6067
/proc/meminfo: memFree=25894780/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13621360 CPUtime=0.1 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 15418 0 1 0 8 2 0 0 25 0 18 0 283097124 13948272640 15115 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3405340 15115 2090 9 0 3396074 0
[pid=6067/tid=6068] ppid=6065 vsize=13621360 CPUtime=0.08 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) D 6065 6067 2869 0 -1 4202560 13675 0 1 0 7 1 0 0 18 0 18 0 283097125 13948272640 15115 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 47839573404468 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) 13621360
[startup+0.300603 s]
/proc/loadavg: 2.11 2.04 2.01 2/433 6067
/proc/meminfo: memFree=25894780/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13623296 CPUtime=0.48 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 18568 0 1 0 46 2 0 0 25 0 18 0 283097124 13950255104 17739 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3405824 17740 2201 9 0 3396558 0
[pid=6067/tid=6068] ppid=6065 vsize=13623296 CPUtime=0.28 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 15518 0 1 0 26 2 0 0 18 0 18 0 283097125 13950255104 17740 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505549534 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623296
[startup+0.700604 s]
/proc/loadavg: 2.11 2.04 2.01 2/433 6067
/proc/meminfo: memFree=25894780/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13633020 CPUtime=1.54 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 29821 0 1 0 151 3 0 0 25 0 19 0 283097124 13960212480 26297 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408255 26297 2228 9 0 3398989 0
[pid=6067/tid=6068] ppid=6065 vsize=13633020 CPUtime=0.68 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 17561 0 1 0 66 2 0 0 19 0 19 0 283097125 13960212480 26297 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505681793 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 13633020
[startup+1.50151 s]
/proc/loadavg: 2.11 2.04 2.01 3/452 6086
/proc/meminfo: memFree=25792708/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13633020 CPUtime=2.36 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 32760 0 1 0 233 3 0 0 25 0 19 0 283097124 13960212480 29235 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408255 29235 2230 9 0 3398989 0
[pid=6067/tid=6068] ppid=6065 vsize=13633020 CPUtime=1.48 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 20476 0 1 0 146 2 0 0 20 0 19 0 283097125 13960212480 29235 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505676882 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29235 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29235 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29236 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29236 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29237 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29237 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 283097128 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 283097128 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 283097128 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13960212480 29238 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13633020 CPUtime=0.43 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3507 0 0 0 43 0 0 0 18 0 19 0 283097130 13960212480 29239 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13633020 CPUtime=0.43 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7618 0 0 0 43 0 0 0 18 0 19 0 283097130 13960212480 29240 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13960212480 29241 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 283097130 13960212480 29241 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13633020 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13960212480 29241 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 13633020
[startup+3.10118 s]
/proc/loadavg: 2.11 2.04 2.01 3/452 6086
/proc/meminfo: memFree=25771256/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13634132 CPUtime=3.99 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 38937 0 1 0 395 4 0 0 25 0 19 0 283097124 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408533 35412 2233 9 0 3399267 0
[pid=6067/tid=6068] ppid=6065 vsize=13634132 CPUtime=3.08 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 26429 0 1 0 305 3 0 0 25 0 19 0 283097125 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505701160 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 283097128 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 283097128 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.46 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3731 0 0 0 46 0 0 0 16 0 19 0 283097130 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.43 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7618 0 0 0 43 0 0 0 18 0 19 0 283097130 13961351168 35412 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 35413 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 283097130 13961351168 35413 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13961351168 35413 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 13634132
[startup+6.30061 s]
/proc/loadavg: 2.10 2.04 2.01 3/452 6086
/proc/meminfo: memFree=25729400/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13634132 CPUtime=7.21 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 47560 0 1 0 716 5 0 0 25 0 19 0 283097124 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408533 41420 2235 9 0 3399267 0
[pid=6067/tid=6068] ppid=6065 vsize=13634132 CPUtime=6.28 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 35050 0 1 0 625 3 0 0 25 0 19 0 283097125 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505676882 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097127 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 283097128 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 283097128 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 283097128 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.47 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3732 0 0 0 47 0 0 0 15 0 19 0 283097130 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.43 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7618 0 0 0 43 0 0 0 18 0 19 0 283097130 13961351168 41420 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 310 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 1 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 2596 0 0 0 19 0 0 0 15 0 19 0 283097127 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0.17 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1779 0 0 0 17 0 0 0 15 0 19 0 283097127 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=2.72 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 6210 0 0 0 270 2 0 0 15 0 19 0 283097128 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.57 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3756 0 0 0 57 0 0 0 15 0 19 0 283097130 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.53 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7644 0 0 0 53 0 0 0 15 0 19 0 283097130 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 283097130 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13961351168 85726 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1664.44
Current children cumulated vsize (KiB) 13634132
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/452 6148
/proc/meminfo: memFree=24118704/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13634132 CPUtime=1724.47 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 92206 0 1 0 172432 15 0 0 25 0 19 0 283097124 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408533 85737 2261 9 0 3399267 0
[pid=6067/tid=6068] ppid=6065 vsize=13634132 CPUtime=1718.9 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 57658 0 1 0 171883 7 0 0 25 0 19 0 283097125 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505757352 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13634132 CPUtime=0.17 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 2288 0 0 0 17 0 0 0 15 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1938 0 0 0 22 0 0 0 15 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 2232 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 4337 0 0 0 22 0 0 0 15 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 200 0 0 0 19 0 0 0 15 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 316 0 0 0 18 0 0 0 16 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 1 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0.2 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 2596 0 0 0 20 0 0 0 16 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1779 0 0 0 18 0 0 0 16 0 19 0 283097127 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 1 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=2.82 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 6212 0 0 0 280 2 0 0 15 0 19 0 283097128 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.57 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3756 0 0 0 57 0 0 0 15 0 19 0 283097130 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.53 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7644 0 0 0 53 0 0 0 15 0 19 0 283097130 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 283097130 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13961351168 85737 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1724.47
Current children cumulated vsize (KiB) 13634132
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/452 6150
/proc/meminfo: memFree=24117688/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13634132 CPUtime=1784.5 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 92218 0 1 0 178435 15 0 0 25 0 19 0 283097124 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408533 85738 2261 9 0 3399267 0
[pid=6067/tid=6068] ppid=6065 vsize=13634132 CPUtime=1778.76 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 57663 0 1 0 177869 7 0 0 25 0 19 0 283097125 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505668227 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 2288 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1938 0 0 0 22 0 0 0 16 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 2232 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 4337 0 0 0 22 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13634132 CPUtime=0.2 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 200 0 0 0 20 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 316 0 0 0 19 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0.2 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 2596 0 0 0 20 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1780 0 0 0 19 0 0 0 16 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 1 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=2.95 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 6216 0 0 0 293 2 0 0 15 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.57 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3756 0 0 0 57 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.53 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7644 0 0 0 53 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (KiB) 13634132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.01 2.03 2.00 2/432 6153
/proc/meminfo: memFree=25727228/32950928 swapFree=52006644/67111528
[pid=6067] ppid=6065 vsize=13634132 CPUtime=1800.01 cores=1,3,5,7
/proc/6067/stat : 6067 (java) S 6065 6067 2869 0 -1 4202496 92223 0 1 0 179986 15 0 0 25 0 19 0 283097124 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6067/statm: 3408533 85738 2261 9 0 3399267 0
[pid=6067/tid=6068] ppid=6065 vsize=13634132 CPUtime=1794.25 cores=1,3,5,7
/proc/6067/task/6068/stat : 6068 (java) R 6065 6067 2869 0 -1 4202560 57664 0 1 0 179418 7 0 0 25 0 19 0 283097125 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 46912505568439 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6067/tid=6070] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6070/stat : 6070 (java) S 6065 6067 2869 0 -1 4202560 2288 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6071] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6071/stat : 6071 (java) S 6065 6067 2869 0 -1 4202560 1938 0 0 0 22 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6072] ppid=6065 vsize=13634132 CPUtime=0.18 cores=1,3,5,7
/proc/6067/task/6072/stat : 6072 (java) S 6065 6067 2869 0 -1 4202560 2232 0 0 0 18 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6073] ppid=6065 vsize=13634132 CPUtime=0.22 cores=1,3,5,7
/proc/6067/task/6073/stat : 6073 (java) S 6065 6067 2869 0 -1 4202560 4337 0 0 0 22 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6074] ppid=6065 vsize=13634132 CPUtime=0.2 cores=1,3,5,7
/proc/6067/task/6074/stat : 6074 (java) S 6065 6067 2869 0 -1 4202560 200 0 0 0 20 0 0 0 16 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6075] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6075/stat : 6075 (java) S 6065 6067 2869 0 -1 4202560 316 0 0 0 19 0 0 0 15 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6076] ppid=6065 vsize=13634132 CPUtime=0.2 cores=1,3,5,7
/proc/6067/task/6076/stat : 6076 (java) S 6065 6067 2869 0 -1 4202560 2596 0 0 0 20 0 0 0 16 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6077] ppid=6065 vsize=13634132 CPUtime=0.19 cores=1,3,5,7
/proc/6067/task/6077/stat : 6077 (java) S 6065 6067 2869 0 -1 4202560 1780 0 0 0 19 0 0 0 16 0 19 0 283097127 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 1 0 0 0
[pid=6067/tid=6078] ppid=6065 vsize=13634132 CPUtime=2.98 cores=1,3,5,7
/proc/6067/task/6078/stat : 6078 (java) S 6065 6067 2869 0 -1 4202560 6218 0 0 0 295 3 0 0 15 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 0 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6079] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6079/stat : 6079 (java) S 6065 6067 2869 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6080] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6080/stat : 6080 (java) S 6065 6067 2869 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 283097128 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6081] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6081/stat : 6081 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892388785 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6082] ppid=6065 vsize=13634132 CPUtime=0.57 cores=1,3,5,7
/proc/6067/task/6082/stat : 6082 (java) S 6065 6067 2869 0 -1 4202560 3756 0 0 0 57 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 7 0 0 0
[pid=6067/tid=6083] ppid=6065 vsize=13634132 CPUtime=0.53 cores=1,3,5,7
/proc/6067/task/6083/stat : 6083 (java) S 6065 6067 2869 0 -1 4202560 7644 0 0 0 53 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6084] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6084/stat : 6084 (java) S 6065 6067 2869 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381081 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
[pid=6067/tid=6085] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6085/stat : 6085 (java) S 6065 6067 2869 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 283097130 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 3 0 0 0
[pid=6067/tid=6086] ppid=6065 vsize=13634132 CPUtime=0 cores=1,3,5,7
/proc/6067/task/6086/stat : 6086 (java) S 6065 6067 2869 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 283097161 13961351168 85738 33554432000 1073741824 1073778376 140735287812528 18446744073709551615 218892381696 0 4 0 16800975 18446604459441221696 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13634132
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): 1797.85
CPU time (s): 1800.08
CPU user time (s): 1799.91
CPU system time (s): 0.172973
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 13634132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92261
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= 40487
involuntary context switches= 7647
runsolver used 7.34888 second user time and 17.2064 second system time
The end