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-3741705-1338759000/watcher-3741705-1338759000 -o /tmp/evaluation-result-3741705-1338759000/solver-3741705-1338759000 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741705-1338759000.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.94 3.96 3.84 4/198 32454
/proc/meminfo: memFree=22904212/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/32454/stat : 32454 (runsolver) D 32452 32454 30010 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 342027940 12095488 55 33554432000 4194304 5436572 140737098349472 140737098345352 5057063 0 0 4096 24578 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2953 55 36 304 0 2645 0
[startup+0.0390909 s]
/proc/loadavg: 3.94 3.96 3.84 4/198 32454
/proc/meminfo: memFree=22904212/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11044572 CPUtime=0.01 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 4065 0 1 0 1 0 0 0 20 0 10 0 342027940 11309641728 10896 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2761143 10896 1536 9 0 2751844 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11044572
[startup+0.100198 s]
/proc/loadavg: 3.94 3.96 3.84 4/198 32454
/proc/meminfo: memFree=22904212/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 4756 0 1 0 6 1 0 0 20 0 18 0 342027940 11864465408 12607 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 12610 1939 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.30024 s]
/proc/loadavg: 3.94 3.96 3.84 4/198 32454
/proc/meminfo: memFree=22904212/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=0.45 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 7226 0 1 0 43 2 0 0 20 0 18 0 342027940 11864465408 42529 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 42529 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392
[startup+0.700243 s]
/proc/loadavg: 3.94 3.96 3.84 4/198 32454
/proc/meminfo: memFree=22904212/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=0.86 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 7293 0 1 0 82 4 0 0 20 0 18 0 342027940 11864465408 66613 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 66613 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 11586392
[startup+1.50068 s]
/proc/loadavg: 3.94 3.96 3.84 4/216 32472
/proc/meminfo: memFree=22579640/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=1.67 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 7388 0 1 0 159 8 0 0 20 0 18 0 342027940 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 115253 2223 9 0 2887285 0
[pid=32454/tid=32456] ppid=32452 vsize=11586392 CPUtime=1.46 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) R 32452 32454 30010 0 -1 4202560 3617 0 1 0 138 8 0 0 20 0 18 0 342027942 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719503982512 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 1180 0 0 0 9 0 0 0 20 0 18 0 342027948 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 1406 0 0 0 7 0 0 0 20 0 18 0 342027948 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 115253 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 11586392
[startup+3.10068 s]
/proc/loadavg: 3.94 3.96 3.84 4/216 32472
/proc/meminfo: memFree=22316956/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=3.27 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 7578 0 1 0 312 15 0 0 20 0 18 0 342027940 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 210489 2227 9 0 2887285 0
[pid=32454/tid=32456] ppid=32452 vsize=11586392 CPUtime=3.06 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) R 32452 32454 30010 0 -1 4202560 3803 0 1 0 291 15 0 0 20 0 18 0 342027942 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719503982512 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 1184 0 0 0 9 0 0 0 20 0 18 0 342027948 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 1406 0 0 0 7 0 0 0 20 0 18 0 342027948 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 210489 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 11586392
[startup+6.30072 s]
/proc/loadavg: 3.95 3.96 3.84 4/216 32472
/proc/meminfo: memFree=21503900/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=6.67 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 10354 0 1 0 629 38 0 0 20 0 18 0 342027940 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 611047 2230 9 0 2887285 0
[pid=32454/tid=32456] ppid=32452 vsize=11586392 CPUtime=6.26 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) R 32452 32454 30010 0 -1 4202560 4586 0 1 0 588 38 0 0 20 0 18 0 342027942 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719503982720 271790957837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342027944 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 342027945 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11586392 CPUtime=0.21 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 2689 0 0 0 21 0 0 0 20 0 18 0 342027948 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11586392 CPUtime=0.16 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 1892 0 0 0 16 0 0 0 20 0 18 0 342027948 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 342027948 11864465408 611047 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 11586392
[startup+12.7007 s]
/proc/loadavg: 3.87 3.94 3.83 4/216 32472
/proc/meminfo: memFree=19155132/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11586392 CPUtime=16.6 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 12766 0 1 0 1503 157 0 0 20 0 18 0 342027940 11864465408 939213 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2896598 939213 2244 9 0 2887285 0
[pid=32454/tid=32456] ppid=32452 vsize=11586392 CPUtime=11.48 cores=1,3,5,7
################
# More data... #
################
[pid=32454/tid=32475] ppid=32452 vsize=11852648 CPUtime=708.96 cores=1,3,5,7
/proc/32454/task/32475/stat : 32475 (java) R 32452 32454 30010 0 -1 4202560 72 0 0 0 70886 10 0 0 20 0 22 0 342033250 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719311921448 140719444571478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32476] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32476/stat : 32476 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033317 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719310869672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32477] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32477/stat : 32477 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033323 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719309816872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1493.18
Current children cumulated vsize (KiB) 11852648
[startup+822.301 s]
/proc/loadavg: 4.10 3.98 3.89 5/219 32575
/proc/meminfo: memFree=17499208/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11852648 CPUtime=1613.15 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 30970 0 1 0 160982 333 0 0 20 0 22 0 342027940 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2963162 1364070 2267 9 0 2953849 0
[pid=32454/tid=32456] ppid=32452 vsize=11852648 CPUtime=46.48 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) S 32452 32454 30010 0 -1 4202560 4714 0 1 0 4597 51 0 0 20 0 22 0 342027942 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719503991960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11852648 CPUtime=3.61 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1266 0 0 0 323 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11852648 CPUtime=3.17 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1086 0 0 0 284 33 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11852648 CPUtime=3.23 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1280 0 0 0 296 27 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11852648 CPUtime=3.33 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1304 0 0 0 297 36 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1165 0 0 0 276 31 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11852648 CPUtime=3.27 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 945 0 0 0 295 32 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11852648 CPUtime=3.29 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 861 0 0 0 294 35 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11852648 CPUtime=3.64 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 1154 0 0 0 326 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 19 0 0 0 0 3 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 10418 0 0 0 98 2 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 5416 0 0 0 98 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11852648 CPUtime=0.37 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 48 0 0 0 18 19 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32474] ppid=32452 vsize=11852648 CPUtime=769 cores=1,3,5,7
/proc/32454/task/32474/stat : 32474 (java) R 32452 32454 30010 0 -1 4202560 34 0 0 0 76889 11 0 0 20 0 22 0 342033249 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719312971872 140719444477483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32475] ppid=32452 vsize=11852648 CPUtime=768.95 cores=1,3,5,7
/proc/32454/task/32475/stat : 32475 (java) R 32452 32454 30010 0 -1 4202560 72 0 0 0 76884 11 0 0 20 0 22 0 342033250 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719311921448 140719444571408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32476] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32476/stat : 32476 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033317 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719310869672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32477] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32477/stat : 32477 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033323 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719309816872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1613.15
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 4.04 3.98 3.90 5/219 32575
/proc/meminfo: memFree=17489160/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11852648 CPUtime=1733.15 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 30975 0 1 0 172981 334 0 0 20 0 22 0 342027940 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2963162 1364070 2267 9 0 2953849 0
[pid=32454/tid=32456] ppid=32452 vsize=11852648 CPUtime=46.48 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) S 32452 32454 30010 0 -1 4202560 4714 0 1 0 4597 51 0 0 20 0 22 0 342027942 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719503991960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11852648 CPUtime=3.61 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1266 0 0 0 323 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11852648 CPUtime=3.17 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1086 0 0 0 284 33 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11852648 CPUtime=3.23 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1280 0 0 0 296 27 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11852648 CPUtime=3.33 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1304 0 0 0 297 36 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1165 0 0 0 276 31 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11852648 CPUtime=3.27 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 945 0 0 0 295 32 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11852648 CPUtime=3.29 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 861 0 0 0 294 35 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11852648 CPUtime=3.64 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 1154 0 0 0 326 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 19 0 0 0 0 3 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 10418 0 0 0 98 2 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 5417 0 0 0 98 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 52 0 0 0 19 21 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32474] ppid=32452 vsize=11852648 CPUtime=829.01 cores=1,3,5,7
/proc/32454/task/32474/stat : 32474 (java) R 32452 32454 30010 0 -1 4202560 34 0 0 0 82889 12 0 0 20 0 22 0 342033249 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719312974200 140719444477505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32475] ppid=32452 vsize=11852648 CPUtime=828.95 cores=1,3,5,7
/proc/32454/task/32475/stat : 32475 (java) R 32452 32454 30010 0 -1 4202560 72 0 0 0 82883 12 0 0 20 0 22 0 342033250 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719311921448 140719444571359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32476] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32476/stat : 32476 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033317 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719310869672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32477] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32477/stat : 32477 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033323 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719309816872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1733.15
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+915.801 s]
/proc/loadavg: 4.02 3.98 3.90 5/219 32575
/proc/meminfo: memFree=17478796/32873648 swapFree=6852/6852
[pid=32454] ppid=32452 vsize=11852648 CPUtime=1800.16 cores=1,3,5,7
/proc/32454/stat : 32454 (java) S 32452 32454 30010 0 -1 4202496 30977 0 1 0 179682 334 0 0 20 0 22 0 342027940 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140736791332736 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/32454/statm: 2963162 1364070 2267 9 0 2953849 0
[pid=32454/tid=32456] ppid=32452 vsize=11852648 CPUtime=46.48 cores=1,3,5,7
/proc/32454/task/32456/stat : 32456 (java) S 32452 32454 30010 0 -1 4202560 4714 0 1 0 4597 51 0 0 20 0 22 0 342027942 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719503991960 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32457] ppid=32452 vsize=11852648 CPUtime=3.61 cores=1,3,5,7
/proc/32454/task/32457/stat : 32457 (java) S 32452 32454 30010 0 -1 4202560 1266 0 0 0 323 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719442721064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32458] ppid=32452 vsize=11852648 CPUtime=3.17 cores=1,3,5,7
/proc/32454/task/32458/stat : 32458 (java) S 32452 32454 30010 0 -1 4202560 1086 0 0 0 284 33 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719441668264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32459] ppid=32452 vsize=11852648 CPUtime=3.23 cores=1,3,5,7
/proc/32454/task/32459/stat : 32459 (java) S 32452 32454 30010 0 -1 4202560 1280 0 0 0 296 27 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719440615976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32460] ppid=32452 vsize=11852648 CPUtime=3.33 cores=1,3,5,7
/proc/32454/task/32460/stat : 32460 (java) S 32452 32454 30010 0 -1 4202560 1304 0 0 0 297 36 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719439563176 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32461] ppid=32452 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/32454/task/32461/stat : 32461 (java) S 32452 32454 30010 0 -1 4202560 1165 0 0 0 276 31 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719438510888 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32462] ppid=32452 vsize=11852648 CPUtime=3.27 cores=1,3,5,7
/proc/32454/task/32462/stat : 32462 (java) S 32452 32454 30010 0 -1 4202560 945 0 0 0 295 32 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719437458088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32463] ppid=32452 vsize=11852648 CPUtime=3.29 cores=1,3,5,7
/proc/32454/task/32463/stat : 32463 (java) S 32452 32454 30010 0 -1 4202560 861 0 0 0 294 35 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719334648872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32464] ppid=32452 vsize=11852648 CPUtime=3.64 cores=1,3,5,7
/proc/32454/task/32464/stat : 32464 (java) S 32452 32454 30010 0 -1 4202560 1154 0 0 0 326 38 0 0 20 0 22 0 342027944 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719333596072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32465] ppid=32452 vsize=11852648 CPUtime=0.03 cores=1,3,5,7
/proc/32454/task/32465/stat : 32465 (java) S 32452 32454 30010 0 -1 4202560 19 0 0 0 0 3 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719321397480 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32466] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32466/stat : 32466 (java) S 32452 32454 30010 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719320343544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32467] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32467/stat : 32467 (java) S 32452 32454 30010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342027945 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719319291144 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32468] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32468/stat : 32468 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719318239632 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32469] ppid=32452 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/32454/task/32469/stat : 32469 (java) S 32452 32454 30010 0 -1 4202560 10418 0 0 0 98 2 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719317187256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32470] ppid=32452 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/32454/task/32470/stat : 32470 (java) S 32452 32454 30010 0 -1 4202560 5417 0 0 0 98 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719316134456 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=32454/tid=32471] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32471/stat : 32471 (java) S 32452 32454 30010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719315082360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32472] ppid=32452 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/32454/task/32472/stat : 32472 (java) S 32452 32454 30010 0 -1 4202560 54 0 0 0 21 22 0 0 20 0 22 0 342027948 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719314029768 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=32454/tid=32474] ppid=32452 vsize=11852648 CPUtime=862.52 cores=1,3,5,7
/proc/32454/task/32474/stat : 32474 (java) R 32452 32454 30010 0 -1 4202560 34 0 0 0 86239 13 0 0 20 0 22 0 342033249 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719312974200 140719444477505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=32454/tid=32475] ppid=32452 vsize=11852648 CPUtime=862.46 cores=1,3,5,7
/proc/32454/task/32475/stat : 32475 (java) R 32452 32454 30010 0 -1 4202560 72 0 0 0 86233 13 0 0 20 0 22 0 342033250 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719311921448 140719444571508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32476] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32476/stat : 32476 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033317 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719310869672 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=32454/tid=32477] ppid=32452 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/32454/task/32477/stat : 32477 (java) S 32452 32454 30010 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342033323 12137111552 1364070 33554432000 1073741824 1073778376 140736791341600 140719309816872 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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): 915.834
CPU time (s): 1800.82
CPU user time (s): 1796.92
CPU system time (s): 3.90141
CPU usage (%): 196.632
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.92
system time used= 3.90141
maximum resident set size= 5456396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31008
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22208
involuntary context switches= 15773
runsolver used 3.9714 second user time and 8.11377 second system time
The end