runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458016-1307164897/watcher-3458016-1307164897 -o /tmp/evaluation-result-3458016-1307164897/solver-3458016-1307164897 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458016-1307164897.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: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 1606 0 1 0 0 0 0 0 25 0 2 0 828088458 13833195520 1308 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3377245 1323 906 9 0 3368401 0
[pid=22462/tid=22464] ppid=22458 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 4100 0 1 0 0 0 0 0 25 0 2 0 828088459 13850947584 4916 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.116883 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13622412 CPUtime=0.13 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 15797 0 1 0 11 2 0 0 25 0 18 0 828088458 13949349888 15435 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3405603 15436 2124 9 0 3396337 0
[pid=22462/tid=22464] ppid=22458 vsize=13622412 CPUtime=0.09 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 13795 0 1 0 8 1 0 0 18 0 18 0 828088459 13949349888 15436 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071433859843 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622412
[startup+0.201527 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13622628 CPUtime=0.24 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 16449 0 1 0 22 2 0 0 25 0 18 0 828088458 13949571072 16087 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3405657 16087 2167 9 0 3396391 0
[pid=22462/tid=22464] ppid=22458 vsize=13622628 CPUtime=0.18 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 14340 0 1 0 17 1 0 0 18 0 18 0 828088459 13949571072 16087 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505200839 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13622628
[startup+0.306362 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13624792 CPUtime=0.46 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 19054 0 1 0 44 2 0 0 25 0 18 0 828088458 13951787008 18422 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3406198 18422 2211 9 0 3396932 0
[pid=22462/tid=22464] ppid=22458 vsize=13624792 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 15557 0 1 0 27 2 0 0 18 0 18 0 828088459 13951787008 18423 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071438355252 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624792
[startup+0.700559 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=1.48 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 29799 0 1 0 144 4 0 0 25 0 19 0 828088458 14029852672 25756 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 25756 2234 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=0.68 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 18008 0 1 0 66 2 0 0 19 0 19 0 828088459 14029852672 25756 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505680321 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13701028
[startup+1.50134 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31174360/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=2.39 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 31180 0 1 0 235 4 0 0 25 0 19 0 828088458 14029852672 27136 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 27136 2241 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=1.48 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 19322 0 1 0 146 2 0 0 20 0 19 0 828088459 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071438355283 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828088462 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828088463 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828088463 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.49 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5207 0 0 0 49 0 0 0 15 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.38 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5491 0 0 0 38 0 0 0 17 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13701028
[startup+3.10101 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31163200/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=4.03 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 35844 0 1 0 399 4 0 0 25 0 19 0 828088458 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 31796 2267 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=3.05 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20399 0 1 0 303 2 0 0 25 0 19 0 828088459 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505883710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 437 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 603 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 266 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0.02 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 1773 0 0 0 2 0 0 0 16 0 19 0 828088462 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.51 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5211 0 0 0 51 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.41 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5494 0 0 0 41 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13701028
[startup+6.30157 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31147632/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=7.27 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 39809 0 1 0 722 5 0 0 25 0 19 0 828088458 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 35592 2267 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=6.22 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20403 0 1 0 620 2 0 0 25 0 19 0 828088459 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 979 0 0 0 0 0 0 0 16 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 509 0 0 0 0 0 0 0 16 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 603 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1103 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0.04 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 3372 0 0 0 4 0 0 0 16 0 19 0 828088462 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.52 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5211 0 0 0 52 0 0 0 15 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.42 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5498 0 0 0 42 0 0 0 15 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 25 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.28 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 28 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.39 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6355 0 0 0 1137 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 13699040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22593
/proc/meminfo: memFree=30433800/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1784.69 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47477 0 1 0 178438 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1769.64 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20817 0 1 0 176940 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505680321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.68 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6357 0 0 0 1166 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.69
Current children cumulated vsize (KiB) 13699040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22594
/proc/meminfo: memFree=30434284/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1800.01 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47484 0 1 0 179970 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1784.87 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20820 0 1 0 178463 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.76 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6359 0 0 0 1174 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13699040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22594
/proc/meminfo: memFree=30434284/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1800.01 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47484 0 1 0 179970 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1784.87 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20820 0 1 0 178463 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.76 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6359 0 0 0 1174 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13699040
Child status: 143
Real time (s): 1797.64
CPU time (s): 1800.07
CPU user time (s): 1799.74
CPU system time (s): 0.32595
CPU usage (%): 100.135
Max. virtual memory (cumulated for all children) (KiB): 13767460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.32595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47521
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48709
involuntary context switches= 26542
runsolver used 8.5207 second user time and 18.1222 second system time
The end