runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710903-1338162288/watcher-3710903-1338162288 -o /tmp/evaluation-result-3710903-1338162288/solver-3710903-1338162288 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710903-1338162288.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.98 2.00 2.00 3/194 23417
/proc/meminfo: memFree=30972416/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23417/stat : 23417 (java) D 23415 23417 21838 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 282354663 9515008 182 33554432000 1073741824 1073778376 140736960859632 140736960850664 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23417/statm: 2323 182 140 9 0 71 0
[startup+0.100898 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 23417
/proc/meminfo: memFree=30972416/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 4299 0 1 0 9 1 0 0 20 0 18 0 282354663 9787842560 6016 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2389610 6016 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.200264 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 23417
/proc/meminfo: memFree=30972416/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9558440 CPUtime=0.25 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 4900 0 1 0 24 1 0 0 20 0 18 0 282354663 9787842560 7068 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2389610 7068 2204 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558440
[startup+0.300325 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 23417
/proc/meminfo: memFree=30972416/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 5551 0 1 0 47 2 0 0 20 0 18 0 282354663 9787842560 8439 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2389610 8439 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440
[startup+0.70029 s]
/proc/loadavg: 1.98 2.00 2.00 3/194 23417
/proc/meminfo: memFree=30972416/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=1.37 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 9478 0 1 0 134 3 0 0 20 0 19 0 282354663 9856004096 18245 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 18245 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625004
[startup+1.50068 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 23436
/proc/meminfo: memFree=30908024/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=2.22 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 9673 0 1 0 219 3 0 0 20 0 19 0 282354663 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 18298 2261 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2538 0 1 0 145 1 0 0 20 0 19 0 282354664 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682622265976 140682476637058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 3525 0 0 0 37 1 0 0 20 0 19 0 282354669 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2407 0 0 0 34 0 0 0 20 0 19 0 282354669 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 18298 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625004
[startup+3.10063 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 23436
/proc/meminfo: memFree=30888420/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=3.98 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 12770 0 1 0 394 4 0 0 20 0 19 0 282354663 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 23190 2286 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2542 0 1 0 303 2 0 0 20 0 19 0 282354664 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682622265856 140682476526541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 49 2 0 0 20 0 19 0 282354669 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2425 0 0 0 36 0 0 0 20 0 19 0 282354669 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 23190 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 9625004
[startup+6.30069 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 23436
/proc/meminfo: memFree=30886976/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=7.23 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 12791 0 1 0 718 5 0 0 20 0 19 0 282354663 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 23898 2286 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=6.22 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2544 0 1 0 620 2 0 0 20 0 19 0 282354664 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682622267944 140682476507725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 282354665 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 41 0 0 0 3 0 0 0 20 0 19 0 282354666 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 51 2 0 0 20 0 19 0 282354669 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2426 0 0 0 37 0 0 0 20 0 19 0 282354669 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 23898 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 191 0 0 0 36 0 0 0 20 0 19 0 282354665 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 109 0 0 0 34 0 0 0 20 0 19 0 282354665 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 138 0 0 0 32 0 0 0 20 0 19 0 282354665 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=3.24 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 170 0 0 0 322 2 0 0 20 0 19 0 282354666 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 51 2 0 0 20 0 19 0 282354669 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2857 0 0 0 42 2 0 0 20 0 19 0 282354669 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 95 0 0 0 11 15 0 0 20 0 19 0 282354669 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 44522 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.13
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/213 23533
/proc/meminfo: memFree=30795056/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=1725.21 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 14678 0 1 0 172493 28 0 0 20 0 19 0 282354663 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 44557 2287 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=1718.03 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2639 0 1 0 171773 30 0 0 20 0 19 0 282354664 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682622267696 140682476636432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 46 0 0 0 32 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 156 0 0 0 37 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 242 0 0 0 35 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 136 0 0 0 35 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 115 0 0 0 33 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 191 0 0 0 37 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 138 0 0 0 36 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 144 0 0 0 33 0 0 0 20 0 19 0 282354665 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=3.34 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 174 0 0 0 332 2 0 0 20 0 19 0 282354666 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 51 2 0 0 20 0 19 0 282354669 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2857 0 0 0 42 2 0 0 20 0 19 0 282354669 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 99 0 0 0 11 16 0 0 20 0 19 0 282354669 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 44557 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.21
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/213 23533
/proc/meminfo: memFree=30794936/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=1785.25 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 14706 0 1 0 178496 29 0 0 20 0 19 0 282354663 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 44578 2287 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=1777.97 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2640 0 1 0 177766 31 0 0 20 0 19 0 282354664 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682622267696 140682476636861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 46 0 0 0 32 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 156 0 0 0 37 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 242 0 0 0 36 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 136 0 0 0 35 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 136 0 0 0 34 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 191 0 0 0 38 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 138 0 0 0 36 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 144 0 0 0 33 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=3.4 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 176 0 0 0 338 2 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 51 2 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2857 0 0 0 42 2 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23533
/proc/meminfo: memFree=30794940/32873648 swapFree=7112/7112
[pid=23417] ppid=23415 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/23417/stat : 23417 (java) S 23415 23417 21838 0 -1 4202496 14709 0 1 0 179980 29 0 0 20 0 19 0 282354663 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140734458569840 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23417/statm: 2406251 44578 2287 9 0 2396937 0
[pid=23417/tid=23419] ppid=23415 vsize=9625004 CPUtime=1792.69 cores=1,3,5,7
/proc/23417/task/23419/stat : 23419 (java) R 23415 23417 21838 0 -1 4202560 2641 0 1 0 179238 31 0 0 20 0 19 0 282354664 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682622267696 140682476440047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23420] ppid=23415 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23417/task/23420/stat : 23420 (java) S 23415 23417 21838 0 -1 4202560 46 0 0 0 33 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682594720680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23421] ppid=23415 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23417/task/23421/stat : 23421 (java) S 23415 23417 21838 0 -1 4202560 156 0 0 0 38 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682464898088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23422] ppid=23415 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/23417/task/23422/stat : 23422 (java) S 23415 23417 21838 0 -1 4202560 242 0 0 0 36 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682463845032 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23423] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23423/stat : 23423 (java) S 23415 23417 21838 0 -1 4202560 136 0 0 0 37 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682462792488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23424] ppid=23415 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23417/task/23424/stat : 23424 (java) S 23415 23417 21838 0 -1 4202560 136 0 0 0 34 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682461739432 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23425] ppid=23415 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23417/task/23425/stat : 23425 (java) S 23415 23417 21838 0 -1 4202560 191 0 0 0 38 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682460686888 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23426] ppid=23415 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23417/task/23426/stat : 23426 (java) S 23415 23417 21838 0 -1 4202560 138 0 0 0 37 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682123536552 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23417/tid=23427] ppid=23415 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23417/task/23427/stat : 23427 (java) S 23415 23417 21838 0 -1 4202560 144 0 0 0 34 0 0 0 20 0 19 0 282354665 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682122484008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23428] ppid=23415 vsize=9625004 CPUtime=3.47 cores=1,3,5,7
/proc/23417/task/23428/stat : 23428 (java) S 23415 23417 21838 0 -1 4202560 178 0 0 0 345 2 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682110286696 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23429] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23429/stat : 23429 (java) S 23415 23417 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682109233016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23430] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23430/stat : 23430 (java) S 23415 23417 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282354666 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682108179848 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23431] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23431/stat : 23431 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682107128592 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23432] ppid=23415 vsize=9625004 CPUtime=0.53 cores=1,3,5,7
/proc/23417/task/23432/stat : 23432 (java) S 23415 23417 21838 0 -1 4202560 6554 0 0 0 51 2 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682106075448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23417/tid=23433] ppid=23415 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23417/task/23433/stat : 23433 (java) S 23415 23417 21838 0 -1 4202560 2857 0 0 0 42 2 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682105022904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23434] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23434/stat : 23434 (java) S 23415 23417 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682103970040 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23417/tid=23435] ppid=23415 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/23417/task/23435/stat : 23435 (java) S 23415 23417 21838 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 282354669 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682102917704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23417/tid=23436] ppid=23415 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23417/task/23436/stat : 23436 (java) S 23415 23417 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 282354706 9856004096 44578 33554432000 1073741824 1073778376 140734458578704 140682101863976 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
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.14
CPU time (s): 1800.63
CPU user time (s): 1799.96
CPU system time (s): 0.671897
CPU usage (%): 100.194
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.671897
maximum resident set size= 178428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14740
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40676
involuntary context switches= 20907
runsolver used 5.50016 second user time and 14.6338 second system time
The end