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-3687861-1337877269/watcher-3687861-1337877269 -o /tmp/evaluation-result-3687861-1337877269/solver-3687861-1337877269 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687861-1337877269.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.00 3/194 22191
/proc/meminfo: memFree=28959080/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/22191/stat : 22191 (java) R 22189 22191 21479 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 253853669 278528 33 33554432000 1073741824 1073778376 140736762839904 140734332427288 271778409767 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 68 33 25 9 0 25 0
[startup+0.021236 s]
/proc/loadavg: 2.04 2.04 2.00 3/194 22191
/proc/meminfo: memFree=28959080/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=8949240 CPUtime=0 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 2024 0 1 0 0 0 0 0 20 0 10 0 253853669 9164021760 1704 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2253694 1709 954 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8949240
[startup+0.100187 s]
/proc/loadavg: 2.04 2.04 2.00 3/194 22191
/proc/meminfo: memFree=28959080/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 4267 0 1 0 8 1 0 0 20 0 18 0 253853669 9787813888 5462 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2389603 5462 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300162 s]
/proc/loadavg: 2.04 2.04 2.00 3/194 22191
/proc/meminfo: memFree=28959080/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9558412 CPUtime=0.44 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 5273 0 1 0 43 1 0 0 20 0 18 0 253853669 9787813888 7722 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2389603 7722 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700284 s]
/proc/loadavg: 2.04 2.04 2.00 3/194 22191
/proc/meminfo: memFree=28959080/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 8881 0 1 0 139 3 0 0 20 0 19 0 253853669 9855975424 16290 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 16290 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9624976
[startup+1.50069 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22210
/proc/meminfo: memFree=28894564/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=2.35 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 9103 0 1 0 232 3 0 0 20 0 19 0 253853669 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 23000 2280 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2484 0 1 0 143 1 0 0 20 0 19 0 253853670 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423292629352 140423165835172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1822 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3538 0 0 0 46 0 0 0 20 0 19 0 253853675 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 23000 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9624976
[startup+3.10066 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22210
/proc/meminfo: memFree=28859120/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=4.03 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 9404 0 1 0 398 5 0 0 20 0 19 0 253853669 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 29670 2281 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=2.99 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2485 0 1 0 297 2 0 0 20 0 19 0 253853670 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423292629280 140423165815261 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 19 0 253853672 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3797 0 0 0 50 0 0 0 20 0 19 0 253853675 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 29670 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9624976
[startup+6.3007 s]
/proc/loadavg: 2.03 2.04 2.00 3/213 22210
/proc/meminfo: memFree=28833924/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=7.27 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 9448 0 1 0 720 7 0 0 20 0 19 0 253853669 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 36243 2281 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=6.12 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2489 0 1 0 610 2 0 0 20 0 19 0 253853670 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423292629280 140423165885726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253853671 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 45 0 0 0 10 0 0 0 20 0 19 0 253853672 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3797 0 0 0 50 0 0 0 20 0 19 0 253853675 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 36243 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 184 0 0 0 138 6 0 0 20 0 19 0 253853671 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 409 0 0 0 142 5 0 0 20 0 19 0 253853671 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 263 0 0 0 135 7 0 0 20 0 19 0 253853671 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=4.36 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 593 0 0 0 432 4 0 0 20 0 19 0 253853672 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3800 0 0 0 53 0 0 0 20 0 19 0 253853675 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 99 0 0 0 41 34 0 0 20 0 19 0 253853675 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 109000 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1731.42
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 22307
/proc/meminfo: memFree=28065712/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=1791.99 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 13401 0 1 0 179118 81 0 0 20 0 19 0 253853669 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 109242 2282 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=1774.27 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2763 0 1 0 177394 33 0 0 20 0 19 0 253853670 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423292628336 140423165834965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=1.56 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 445 0 0 0 149 7 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 386 0 0 0 139 6 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 287 0 0 0 137 5 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=1.51 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 327 0 0 0 145 6 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=1.52 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 726 0 0 0 145 7 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 186 0 0 0 147 6 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 508 0 0 0 153 6 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 263 0 0 0 148 7 0 0 20 0 19 0 253853671 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=4.49 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 598 0 0 0 444 5 0 0 20 0 19 0 253853672 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3800 0 0 0 53 0 0 0 20 0 19 0 253853675 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 103 0 0 0 44 35 0 0 20 0 19 0 253853675 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 109242 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 22307
/proc/meminfo: memFree=28079856/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 13774 0 1 0 179929 81 0 0 20 0 19 0 253853669 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 109611 2282 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=1782.23 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2767 0 1 0 178189 34 0 0 20 0 19 0 253853670 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423292628336 140423165885726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=1.56 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 445 0 0 0 149 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 435 0 0 0 142 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 547 0 0 0 139 5 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 327 0 0 0 147 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 726 0 0 0 146 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 233 0 0 0 149 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=1.6 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 508 0 0 0 154 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 276 0 0 0 150 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=4.5 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 598 0 0 0 445 5 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3800 0 0 0 53 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 103 0 0 0 44 35 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 22307
/proc/meminfo: memFree=28079856/32873648 swapFree=6844/6844
[pid=22191] ppid=22189 vsize=9624976 CPUtime=1800.1 cores=0,2,4,6
/proc/22191/stat : 22191 (java) S 22189 22191 21479 0 -1 4202496 13774 0 1 0 179929 81 0 0 20 0 19 0 253853669 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140736762831040 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22191/statm: 2406244 109611 2282 9 0 2396937 0
[pid=22191/tid=22193] ppid=22189 vsize=9624976 CPUtime=1782.23 cores=0,2,4,6
/proc/22191/task/22193/stat : 22193 (java) R 22189 22191 21479 0 -1 4202560 2767 0 1 0 178189 34 0 0 20 0 19 0 253853670 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423292628336 140423165885726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22194] ppid=22189 vsize=9624976 CPUtime=1.56 cores=0,2,4,6
/proc/22191/task/22194/stat : 22194 (java) S 22189 22191 21479 0 -1 4202560 445 0 0 0 149 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423136540840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22195] ppid=22189 vsize=9624976 CPUtime=1.48 cores=0,2,4,6
/proc/22191/task/22195/stat : 22195 (java) S 22189 22191 21479 0 -1 4202560 435 0 0 0 142 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423135488296 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22196] ppid=22189 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/22191/task/22196/stat : 22196 (java) S 22189 22191 21479 0 -1 4202560 547 0 0 0 139 5 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423134435752 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22197] ppid=22189 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22191/task/22197/stat : 22197 (java) S 22189 22191 21479 0 -1 4202560 327 0 0 0 147 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423133383208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22198] ppid=22189 vsize=9624976 CPUtime=1.53 cores=0,2,4,6
/proc/22191/task/22198/stat : 22198 (java) S 22189 22191 21479 0 -1 4202560 726 0 0 0 146 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423132330664 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22199] ppid=22189 vsize=9624976 CPUtime=1.55 cores=0,2,4,6
/proc/22191/task/22199/stat : 22199 (java) S 22189 22191 21479 0 -1 4202560 233 0 0 0 149 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423131278120 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22200] ppid=22189 vsize=9624976 CPUtime=1.6 cores=0,2,4,6
/proc/22191/task/22200/stat : 22200 (java) S 22189 22191 21479 0 -1 4202560 508 0 0 0 154 6 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423130225576 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22201] ppid=22189 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/22191/task/22201/stat : 22201 (java) S 22189 22191 21479 0 -1 4202560 276 0 0 0 150 7 0 0 20 0 19 0 253853671 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423129173032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22202] ppid=22189 vsize=9624976 CPUtime=4.5 cores=0,2,4,6
/proc/22191/task/22202/stat : 22202 (java) S 22189 22191 21479 0 -1 4202560 598 0 0 0 445 5 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423116761192 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22203] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22203/stat : 22203 (java) S 22189 22191 21479 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423115707512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22204] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22204/stat : 22204 (java) S 22189 22191 21479 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253853672 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423114654856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22205] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22205/stat : 22205 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423113603600 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22206] ppid=22189 vsize=9624976 CPUtime=0.38 cores=0,2,4,6
/proc/22191/task/22206/stat : 22206 (java) S 22189 22191 21479 0 -1 4202560 1823 0 0 0 38 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423112550968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22191/tid=22207] ppid=22189 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/22191/task/22207/stat : 22207 (java) S 22189 22191 21479 0 -1 4202560 3800 0 0 0 53 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423111498424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22191/tid=22208] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22208/stat : 22208 (java) S 22189 22191 21479 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423110446072 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22191/tid=22209] ppid=22189 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/22191/task/22209/stat : 22209 (java) S 22189 22191 21479 0 -1 4202560 103 0 0 0 44 35 0 0 20 0 19 0 253853675 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423109393736 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22191/tid=22210] ppid=22189 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/22191/task/22210/stat : 22210 (java) S 22189 22191 21479 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253853713 9855975424 109611 33554432000 1073741824 1073778376 140736762839904 140423108338472 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1790.36
CPU time (s): 1801.1
CPU user time (s): 1799.72
CPU system time (s): 1.38479
CPU usage (%): 100.6
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 1.38479
maximum resident set size= 615836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13837
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45368
involuntary context switches= 26945
runsolver used 6.60999 second user time and 14.2938 second system time
The end