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-3741517-1338755351/watcher-3741517-1338755351 -o /tmp/evaluation-result-3741517-1338755351/solver-3741517-1338755351 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741517-1338755351.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: 3.61 3.69 3.71 4/197 31520
/proc/meminfo: memFree=26239080/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31520/stat : 31520 (java) D 31518 31520 30010 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 341661965 9515008 182 33554432000 1073741824 1073778376 140734240295088 140734240286120 271787572917 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/31520/statm: 2323 182 140 9 0 71 0
[startup+0.0879569 s]
/proc/loadavg: 3.61 3.69 3.71 4/197 31520
/proc/meminfo: memFree=26239080/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 3958 0 1 0 5 1 0 0 20 0 18 0 341661965 11864465408 12832 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 12832 1778 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.100322 s]
/proc/loadavg: 3.61 3.69 3.71 4/197 31520
/proc/meminfo: memFree=26239080/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 4348 0 1 0 7 1 0 0 20 0 18 0 341661965 11864465408 13216 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 13222 2008 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392
[startup+0.300307 s]
/proc/loadavg: 3.61 3.69 3.71 4/197 31520
/proc/meminfo: memFree=26239080/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 6032 0 1 0 43 2 0 0 20 0 18 0 341661965 11864465408 22040 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 22040 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.700315 s]
/proc/loadavg: 3.61 3.69 3.71 4/197 31520
/proc/meminfo: memFree=26239080/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=0.93 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 6373 0 1 0 85 8 0 0 20 0 18 0 341661965 11864465408 121403 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 121403 2227 9 0 2887285 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 11586392
[startup+1.50082 s]
/proc/loadavg: 3.61 3.69 3.71 4/215 31538
/proc/meminfo: memFree=24700412/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=1.91 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 7656 0 1 0 147 44 0 0 20 0 18 0 341661965 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 666212 2244 9 0 2887285 0
[pid=31520/tid=31522] ppid=31518 vsize=11586392 CPUtime=1.42 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) R 31518 31520 30010 0 -1 4202560 4109 0 1 0 103 39 0 0 20 0 18 0 341661966 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139745131460984 139745139227735 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 25 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11586392 CPUtime=0.01 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 341661968 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341661969 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11586392 CPUtime=0.11 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 1061 0 0 0 11 0 0 0 20 0 18 0 341661973 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11586392 CPUtime=0.15 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 1184 0 0 0 15 0 0 0 20 0 18 0 341661973 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 666212 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 11586392
[startup+3.10084 s]
/proc/loadavg: 3.61 3.69 3.71 4/215 31538
/proc/meminfo: memFree=23506432/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=3.96 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 10003 0 1 0 339 57 0 0 20 0 18 0 341661965 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 693475 2254 9 0 2887285 0
[pid=31520/tid=31522] ppid=31518 vsize=11586392 CPUtime=2.9 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) R 31518 31520 30010 0 -1 4202560 4111 0 1 0 251 39 0 0 20 0 18 0 341661966 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139745131454400 139745139227738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 60 0 0 0 7 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 42 0 0 0 5 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 40 0 0 0 4 3 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11586392 CPUtime=0.05 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 42 0 0 0 3 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 53 0 0 0 6 3 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11586392 CPUtime=0.05 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 40 0 0 0 5 2 0 0 20 0 18 0 341661968 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341661969 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11586392 CPUtime=0.11 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 1061 0 0 0 11 0 0 0 20 0 18 0 341661973 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11586392 CPUtime=0.24 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 3303 0 0 0 24 0 0 0 20 0 18 0 341661973 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 693475 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 11586392
[startup+6.30082 s]
/proc/loadavg: 3.56 3.68 3.71 4/215 31538
/proc/meminfo: memFree=22795548/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11586392 CPUtime=8.76 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 11672 0 1 0 780 96 0 0 20 0 18 0 341661965 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2896598 871207 2254 9 0 2887285 0
[pid=31520/tid=31522] ppid=31518 vsize=11586392 CPUtime=5.56 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) R 31518 31520 30010 0 -1 4202560 4305 0 1 0 511 45 0 0 20 0 18 0 341661966 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139745131454512 139745139227735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11586392 CPUtime=0.32 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 125 0 0 0 27 5 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11586392 CPUtime=0.31 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 126 0 0 0 25 6 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11586392 CPUtime=0.33 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 129 0 0 0 25 8 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11586392 CPUtime=0.41 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 148 0 0 0 33 8 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11586392 CPUtime=0.3 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 113 0 0 0 25 5 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11586392 CPUtime=0.36 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 490 0 0 0 29 7 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11586392 CPUtime=0.3 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 107 0 0 0 24 6 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11586392 CPUtime=0.29 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 457 0 0 0 23 6 0 0 20 0 18 0 341661968 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341661969 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 341661970 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11586392 CPUtime=0.15 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 1188 0 0 0 15 0 0 0 20 0 18 0 341661973 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 3303 0 0 0 27 0 0 0 20 0 18 0 341661973 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341661973 11864465408 871207 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.76
Current children cumulated vsize (KiB) 11586392
[startup+12.7006 s]
/proc/loadavg: 3.52 3.67 3.71 4/215 31538
/proc/meminfo: memFree=22662232/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11852648 CPUtime=17.69 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 25273 0 1 0 1664 105 0 0 20 0 22 0 341661965 12137111552 892481 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2963162 892481 2273 9 0 2953849 0
[pid=31520/tid=31522] ppid=31518 vsize=11852648 CPUtime=11.24 cores=1,3,5,7
################
# More data... #
################
[pid=31520/tid=31540] ppid=31518 vsize=11852648 CPUtime=745.06 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) R 31518 31520 30010 0 -1 4202560 103 0 0 0 74493 13 0 0 20 0 22 0 341663192 12137111552 1058818 33554432000 1073741824 1073778376 140737395586352 139744469011104 139744966305676 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058818 33554432000 1073741824 1073778376 140737395586352 139744467961256 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058818 33554432000 1073741824 1073778376 140737395586352 139744466908456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1518.05
Current children cumulated vsize (KiB) 11852648
[startup+822.301 s]
/proc/loadavg: 3.80 3.79 3.73 5/219 31614
/proc/meminfo: memFree=21281444/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11852648 CPUtime=1638.12 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 28822 0 1 0 163629 183 0 0 20 0 22 0 341661965 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2963162 1058822 2286 9 0 2953849 0
[pid=31520/tid=31522] ppid=31518 vsize=11852648 CPUtime=11.28 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) S 31518 31520 30010 0 -1 4202560 4333 0 1 0 1080 48 0 0 20 0 22 0 341661966 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139745131463832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 471 0 0 0 125 13 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 460 0 0 0 133 15 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 489 0 0 0 123 15 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 383 0 0 0 133 14 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 488 0 0 0 120 11 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 719 0 0 0 140 15 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 399 0 0 0 139 14 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11852648 CPUtime=1.27 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 579 0 0 0 113 14 0 0 20 0 22 0 341661968 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11852648 CPUtime=2.8 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 1905 0 0 0 273 7 0 0 20 0 22 0 341661969 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 7390 0 0 0 124 2 0 0 20 0 22 0 341661973 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 9765 0 0 0 134 2 0 0 20 0 22 0 341661973 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 47 0 0 0 14 20 0 0 20 0 22 0 341661973 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=11852648 CPUtime=804.99 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) R 31518 31520 30010 0 -1 4202560 101 0 0 0 80485 14 0 0 20 0 22 0 341663192 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744470064160 139744966121010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=11852648 CPUtime=804.97 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) R 31518 31520 30010 0 -1 4202560 106 0 0 0 80483 14 0 0 20 0 22 0 341663192 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744469012016 139744965785978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744467961256 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058822 33554432000 1073741824 1073778376 140737395586352 139744466908456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1638.12
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.85 3.81 3.74 5/219 31614
/proc/meminfo: memFree=21264568/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11852648 CPUtime=1758.15 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 28868 0 1 0 175630 185 0 0 20 0 22 0 341661965 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2963162 1058854 2286 9 0 2953849 0
[pid=31520/tid=31522] ppid=31518 vsize=11852648 CPUtime=11.28 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) S 31518 31520 30010 0 -1 4202560 4333 0 1 0 1080 48 0 0 20 0 22 0 341661966 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139745131463832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 474 0 0 0 126 13 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11852648 CPUtime=1.5 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 462 0 0 0 135 15 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 489 0 0 0 125 15 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11852648 CPUtime=1.49 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 399 0 0 0 135 14 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 488 0 0 0 122 12 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 719 0 0 0 141 15 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 410 0 0 0 141 14 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 579 0 0 0 115 14 0 0 20 0 22 0 341661968 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11852648 CPUtime=2.81 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 1909 0 0 0 273 8 0 0 20 0 22 0 341661969 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 7390 0 0 0 124 2 0 0 20 0 22 0 341661973 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 9765 0 0 0 134 2 0 0 20 0 22 0 341661973 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 341661973 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=11852648 CPUtime=864.92 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) R 31518 31520 30010 0 -1 4202560 106 0 0 0 86477 15 0 0 20 0 22 0 341663192 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744470064160 139744966120816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=11852648 CPUtime=864.92 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) R 31518 31520 30010 0 -1 4202560 107 0 0 0 86477 15 0 0 20 0 22 0 341663192 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744469011936 139744965589930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744467961256 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058854 33554432000 1073741824 1073778376 140737395586352 139744466908456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1758.15
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.201 s]
/proc/loadavg: 3.89 3.82 3.75 5/219 31614
/proc/meminfo: memFree=21256256/32873648 swapFree=6852/6852
[pid=31520] ppid=31518 vsize=11852648 CPUtime=1800.04 cores=1,3,5,7
/proc/31520/stat : 31520 (java) S 31518 31520 30010 0 -1 4202496 28883 0 1 0 179818 186 0 0 20 0 22 0 341661965 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 140737395577488 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31520/statm: 2963162 1058862 2286 9 0 2953849 0
[pid=31520/tid=31522] ppid=31518 vsize=11852648 CPUtime=11.28 cores=1,3,5,7
/proc/31520/task/31522/stat : 31522 (java) S 31518 31520 30010 0 -1 4202560 4333 0 1 0 1080 48 0 0 20 0 22 0 341661966 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139745131463832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31523] ppid=31518 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/31520/task/31523/stat : 31523 (java) S 31518 31520 30010 0 -1 4202560 474 0 0 0 128 13 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139745086217256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31524] ppid=31518 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/31520/task/31524/stat : 31524 (java) S 31518 31520 30010 0 -1 4202560 463 0 0 0 138 15 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139745085164456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31520/tid=31525] ppid=31518 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/31520/task/31525/stat : 31525 (java) S 31518 31520 30010 0 -1 4202560 489 0 0 0 129 15 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139745084111656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31526] ppid=31518 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/31520/task/31526/stat : 31526 (java) S 31518 31520 30010 0 -1 4202560 399 0 0 0 137 14 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744965028520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31527] ppid=31518 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/31520/task/31527/stat : 31527 (java) S 31518 31520 30010 0 -1 4202560 488 0 0 0 124 12 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744963975720 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31528] ppid=31518 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/31520/task/31528/stat : 31528 (java) S 31518 31520 30010 0 -1 4202560 719 0 0 0 142 15 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744962922920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31529] ppid=31518 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/31520/task/31529/stat : 31529 (java) S 31518 31520 30010 0 -1 4202560 417 0 0 0 143 14 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744961870120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31530] ppid=31518 vsize=11852648 CPUtime=1.31 cores=1,3,5,7
/proc/31520/task/31530/stat : 31530 (java) S 31518 31520 30010 0 -1 4202560 579 0 0 0 117 14 0 0 20 0 22 0 341661968 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744960817320 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31531] ppid=31518 vsize=11852648 CPUtime=2.81 cores=1,3,5,7
/proc/31520/task/31531/stat : 31531 (java) S 31518 31520 30010 0 -1 4202560 1911 0 0 0 273 8 0 0 20 0 22 0 341661969 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744478489576 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31532] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31532/stat : 31532 (java) S 31518 31520 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744477435640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31533] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31533/stat : 31533 (java) S 31518 31520 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341661970 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744476382728 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31534] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31534/stat : 31534 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744475331216 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31535] ppid=31518 vsize=11852648 CPUtime=1.26 cores=1,3,5,7
/proc/31520/task/31535/stat : 31535 (java) S 31518 31520 30010 0 -1 4202560 7390 0 0 0 124 2 0 0 20 0 22 0 341661973 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744474278328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31520/tid=31536] ppid=31518 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/31520/task/31536/stat : 31536 (java) S 31518 31520 30010 0 -1 4202560 9765 0 0 0 134 2 0 0 20 0 22 0 341661973 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744473225528 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31537] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31537/stat : 31537 (java) S 31518 31520 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341661973 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744472172920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31538] ppid=31518 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/31520/task/31538/stat : 31538 (java) S 31518 31520 30010 0 -1 4202560 53 0 0 0 15 21 0 0 20 0 22 0 341661973 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744471120328 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31539] ppid=31518 vsize=11852648 CPUtime=885.76 cores=1,3,5,7
/proc/31520/task/31539/stat : 31539 (java) R 31518 31520 30010 0 -1 4202560 109 0 0 0 88561 15 0 0 20 0 22 0 341663192 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744470065184 139744965531697 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31520/tid=31540] ppid=31518 vsize=11852648 CPUtime=885.77 cores=1,3,5,7
/proc/31520/task/31540/stat : 31540 (java) R 31518 31520 30010 0 -1 4202560 107 0 0 0 88562 15 0 0 20 0 22 0 341663192 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744469011104 139744966331643 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31541] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31541/stat : 31541 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744467961256 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31520/tid=31542] ppid=31518 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/31520/task/31542/stat : 31542 (java) S 31518 31520 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341663210 12137111552 1058862 33554432000 1073741824 1073778376 140737395586352 139744466908456 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 11852648
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): 903.242
CPU time (s): 1800.65
CPU user time (s): 1798.25
CPU system time (s): 2.40064
CPU usage (%): 199.354
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 2.40063
maximum resident set size= 4236940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28918
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25104
involuntary context switches= 28305
runsolver used 3.56046 second user time and 8.00478 second system time
The end