runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313355-1304105310/watcher-3313355-1304105310 -o /tmp/evaluation-result-3313355-1304105310/solver-3313355-1304105310 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313355-1304105310.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.08 2.43 3.45 2/198 6353
/proc/meminfo: memFree=30627224/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 1369 0 0 0 0 0 0 0 23 0 2 0 522129652 24580096 850 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 6001 852 649 9 0 381 0
[pid=6353/tid=6354] ppid=6351 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 41 0 0 0 0 0 0 0 24 0 2 0 522129653 26714112 870 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210199724087 0 0 4096 0 0 0 0 -1 5 0 0 0
[startup+0.0408021 s]
/proc/loadavg: 2.08 2.43 3.45 2/198 6353
/proc/meminfo: memFree=30627224/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 3798 0 1 0 2 0 0 0 23 0 13 0 522129652 15978749952 3238 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3901062 3238 1683 9 0 3891810 0
[pid=6353/tid=6354] ppid=6351 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) S 6351 6353 5740 0 -1 4202560 2408 0 1 0 2 0 0 0 25 0 13 0 522129653 15978749952 3238 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210204645376 0 2147483391 0 16800971 18446744071699207358 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248
[startup+0.100794 s]
/proc/loadavg: 2.08 2.43 3.45 2/198 6353
/proc/meminfo: memFree=30627224/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15676804 CPUtime=0.1 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 5601 0 1 0 9 1 0 0 23 0 18 0 522129652 16053047296 5041 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3919201 5041 2117 9 0 3909920 0
[pid=6353/tid=6354] ppid=6351 vsize=15676804 CPUtime=0.08 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 3485 0 1 0 8 0 0 0 18 0 18 0 522129653 16053047296 5041 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676804
[startup+0.300761 s]
/proc/loadavg: 2.08 2.43 3.45 2/198 6353
/proc/meminfo: memFree=30627224/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15680648 CPUtime=0.51 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 15960 0 1 0 49 2 0 0 23 0 18 0 522129652 16056983552 14446 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3920162 14453 2206 9 0 3910881 0
[pid=6353/tid=6354] ppid=6351 vsize=15680648 CPUtime=0.28 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 10977 0 1 0 27 1 0 0 18 0 18 0 522129653 16056983552 14456 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 46912505365742 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680648
[startup+0.700696 s]
/proc/loadavg: 2.08 2.43 3.45 2/198 6353
/proc/meminfo: memFree=30627224/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15680648 CPUtime=0.92 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 42261 0 1 0 87 5 0 0 23 0 18 0 522129652 16056983552 40745 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3920162 40745 2222 9 0 3910881 0
[pid=6353/tid=6354] ppid=6351 vsize=15680648 CPUtime=0.68 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 35540 0 1 0 64 4 0 0 18 0 18 0 522129653 16056983552 40745 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680648
[startup+1.50156 s]
/proc/loadavg: 2.08 2.43 3.45 5/216 6371
/proc/meminfo: memFree=30440344/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15680648 CPUtime=1.75 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 53336 0 1 0 168 7 0 0 23 0 18 0 522129652 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3920162 51803 2222 9 0 3910881 0
[pid=6353/tid=6354] ppid=6351 vsize=15680648 CPUtime=1.47 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 43277 0 1 0 142 5 0 0 19 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 46912505626017 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6353/tid=6356] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6356/stat : 6356 (java) S 6351 6353 5740 0 -1 4202560 1318 0 0 0 0 0 0 0 16 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6357] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6357/stat : 6357 (java) S 6351 6353 5740 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6358] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6358/stat : 6358 (java) S 6351 6353 5740 0 -1 4202560 1612 0 0 0 0 0 0 0 16 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6359] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6359/stat : 6359 (java) S 6351 6353 5740 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6360] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6360/stat : 6360 (java) S 6351 6353 5740 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6361] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6361/stat : 6361 (java) S 6351 6353 5740 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6362] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6362/stat : 6362 (java) S 6351 6353 5740 0 -1 4202560 1341 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6363] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6363/stat : 6363 (java) S 6351 6353 5740 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6364] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6364/stat : 6364 (java) S 6351 6353 5740 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 522129654 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 0 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6365] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6365/stat : 6365 (java) S 6351 6353 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6366] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15680648 CPUtime=0.09 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1036 0 0 0 9 0 0 0 25 0 18 0 522129657 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15680648 CPUtime=0.13 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 2564 0 0 0 13 0 0 0 18 0 18 0 522129657 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522129657 16056983552 51803 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15680648
[startup+3.10129 s]
/proc/loadavg: 2.08 2.43 3.45 3/216 6371
/proc/meminfo: memFree=30300240/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15680648 CPUtime=3.4 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 139962 0 1 0 324 16 0 0 23 0 18 0 522129652 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3920162 138419 2240 9 0 3910881 0
[pid=6353/tid=6354] ppid=6351 vsize=15680648 CPUtime=3.06 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 126772 0 1 0 292 14 0 0 25 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6353/tid=6356] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6356/stat : 6356 (java) S 6351 6353 5740 0 -1 4202560 1329 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6357] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6357/stat : 6357 (java) S 6351 6353 5740 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6358] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6358/stat : 6358 (java) S 6351 6353 5740 0 -1 4202560 4185 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6359] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6359/stat : 6359 (java) S 6351 6353 5740 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6360] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6360/stat : 6360 (java) S 6351 6353 5740 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6361] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6361/stat : 6361 (java) S 6351 6353 5740 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6362] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6362/stat : 6362 (java) S 6351 6353 5740 0 -1 4202560 1342 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6363] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6363/stat : 6363 (java) S 6351 6353 5740 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 18 0 522129653 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6364] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6364/stat : 6364 (java) S 6351 6353 5740 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 18 0 522129654 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 0 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6365] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6365/stat : 6365 (java) S 6351 6353 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6366] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15680648 CPUtime=0.11 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1047 0 0 0 11 0 0 0 16 0 18 0 522129657 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15680648 CPUtime=0.15 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 2617 0 0 0 15 0 0 0 15 0 18 0 522129657 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522129657 16056983552 138419 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 15680648
[startup+6.30076 s]
/proc/loadavg: 2.08 2.42 3.44 3/216 6371
/proc/meminfo: memFree=30038248/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15680648 CPUtime=6.67 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 155614 0 1 0 648 19 0 0 23 0 18 0 522129652 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3920162 151409 2240 9 0 3910881 0
[pid=6353/tid=6354] ppid=6351 vsize=15680648 CPUtime=6.23 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) R 6351 6353 5740 0 -1 4202560 126779 0 1 0 607 16 0 0 25 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 46912505640315 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6353/tid=6356] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6356/stat : 6356 (java) S 6351 6353 5740 0 -1 4202560 1329 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6357] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6357/stat : 6357 (java) S 6351 6353 5740 0 -1 4202560 667 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6358] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6358/stat : 6358 (java) S 6351 6353 5740 0 -1 4202560 4185 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6359] ppid=6351 vsize=15680648 CPUtime=0.02 cores=1,3,5,7
/proc/6353/task/6359/stat : 6359 (java) S 6351 6353 5740 0 -1 4202560 5138 0 0 0 2 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6360] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6360/stat : 6360 (java) S 6351 6353 5740 0 -1 4202560 10255 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6361] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6361/stat : 6361 (java) S 6351 6353 5740 0 -1 4202560 312 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6362] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6362/stat : 6362 (java) S 6351 6353 5740 0 -1 4202560 1342 0 0 0 0 0 0 0 16 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6363] ppid=6351 vsize=15680648 CPUtime=0.01 cores=1,3,5,7
/proc/6353/task/6363/stat : 6363 (java) S 6351 6353 5740 0 -1 4202560 79 0 0 0 1 0 0 0 15 0 18 0 522129653 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6364] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6364/stat : 6364 (java) S 6351 6353 5740 0 -1 4202560 479 0 0 0 0 0 0 0 15 0 18 0 522129654 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 0 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6365] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6365/stat : 6365 (java) S 6351 6353 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6366] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522129654 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15680648 CPUtime=0.11 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1047 0 0 0 11 0 0 0 16 0 18 0 522129657 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15680648 CPUtime=0.15 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 2617 0 0 0 15 0 0 0 15 0 18 0 522129657 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522129657 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15680648 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522129657 16056983552 151409 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=6353/tid=6366] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15750296 CPUtime=0.77 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1137 0 0 0 77 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15750296 CPUtime=1.81 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 17396 0 0 0 179 2 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6372] ppid=6351 vsize=15750296 CPUtime=465.67 cores=1,3,5,7
/proc/6353/task/6372/stat : 6372 (java) S 6351 6353 5740 0 -1 4202560 20720 0 0 0 46564 3 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6373] ppid=6351 vsize=15750296 CPUtime=461.66 cores=1,3,5,7
/proc/6353/task/6373/stat : 6373 (java) S 6351 6353 5740 0 -1 4202560 428 0 0 0 46165 1 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6374] ppid=6351 vsize=15750296 CPUtime=507.38 cores=1,3,5,7
/proc/6353/task/6374/stat : 6374 (java) S 6351 6353 5740 0 -1 4202560 103369 0 0 0 50726 12 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6375] ppid=6351 vsize=15750296 CPUtime=462.66 cores=1,3,5,7
/proc/6353/task/6375/stat : 6375 (java) S 6351 6353 5740 0 -1 4202560 103259 0 0 0 46255 11 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2659.37
Current children cumulated vsize (KiB) 15750296
[startup+1242.3 s]
/proc/loadavg: 5.15 5.48 5.40 4/220 6408
/proc/meminfo: memFree=852680/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15750296 CPUtime=2719.39 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 4496386 0 1 0 271224 715 0 0 23 0 22 0 522129652 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3937574 3832556 2294 9 0 3928293 0
[pid=6353/tid=6354] ppid=6351 vsize=15750296 CPUtime=49.27 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) S 6351 6353 5740 0 -1 4202560 155608 0 1 0 4906 21 0 0 25 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6356] ppid=6351 vsize=15750296 CPUtime=14.92 cores=1,3,5,7
/proc/6353/task/6356/stat : 6356 (java) S 6351 6353 5740 0 -1 4202560 543282 0 0 0 1401 91 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6357] ppid=6351 vsize=15750296 CPUtime=15.2 cores=1,3,5,7
/proc/6353/task/6357/stat : 6357 (java) S 6351 6353 5740 0 -1 4202560 429314 0 0 0 1448 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6358] ppid=6351 vsize=15750296 CPUtime=15.25 cores=1,3,5,7
/proc/6353/task/6358/stat : 6358 (java) S 6351 6353 5740 0 -1 4202560 570835 0 0 0 1434 91 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6359] ppid=6351 vsize=15750296 CPUtime=14.69 cores=1,3,5,7
/proc/6353/task/6359/stat : 6359 (java) S 6351 6353 5740 0 -1 4202560 440980 0 0 0 1397 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6360] ppid=6351 vsize=15750296 CPUtime=14.41 cores=1,3,5,7
/proc/6353/task/6360/stat : 6360 (java) S 6351 6353 5740 0 -1 4202560 468785 0 0 0 1367 74 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6361] ppid=6351 vsize=15750296 CPUtime=14.41 cores=1,3,5,7
/proc/6353/task/6361/stat : 6361 (java) S 6351 6353 5740 0 -1 4202560 463916 0 0 0 1369 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6362] ppid=6351 vsize=15750296 CPUtime=13.91 cores=1,3,5,7
/proc/6353/task/6362/stat : 6362 (java) S 6351 6353 5740 0 -1 4202560 368335 0 0 0 1328 63 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6363] ppid=6351 vsize=15750296 CPUtime=16.32 cores=1,3,5,7
/proc/6353/task/6363/stat : 6363 (java) S 6351 6353 5740 0 -1 4202560 484534 0 0 0 1558 74 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6364] ppid=6351 vsize=15750296 CPUtime=650.87 cores=1,3,5,7
/proc/6353/task/6364/stat : 6364 (java) R 6351 6353 5740 0 -1 4202560 322937 0 0 0 65040 47 0 0 19 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 47625184681236 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=6353/tid=6365] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6365/stat : 6365 (java) S 6351 6353 5740 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6366] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15750296 CPUtime=0.77 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1137 0 0 0 77 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15750296 CPUtime=1.81 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 17396 0 0 0 179 2 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6372] ppid=6351 vsize=15750296 CPUtime=465.67 cores=1,3,5,7
/proc/6353/task/6372/stat : 6372 (java) S 6351 6353 5740 0 -1 4202560 20730 0 0 0 46564 3 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6373] ppid=6351 vsize=15750296 CPUtime=461.67 cores=1,3,5,7
/proc/6353/task/6373/stat : 6373 (java) S 6351 6353 5740 0 -1 4202560 472 0 0 0 46166 1 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6374] ppid=6351 vsize=15750296 CPUtime=507.38 cores=1,3,5,7
/proc/6353/task/6374/stat : 6374 (java) S 6351 6353 5740 0 -1 4202560 103408 0 0 0 50726 12 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6375] ppid=6351 vsize=15750296 CPUtime=462.68 cores=1,3,5,7
/proc/6353/task/6375/stat : 6375 (java) S 6351 6353 5740 0 -1 4202560 103259 0 0 0 46257 11 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2719.39
Current children cumulated vsize (KiB) 15750296
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.97 4.85 5.18 2/193 6430
/proc/meminfo: memFree=15888712/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=15750296 CPUtime=2777.12 cores=1,3,5,7
/proc/6353/stat : 6353 (java) S 6351 6353 5740 0 -1 4202496 4496484 0 1 0 276996 716 0 0 23 0 22 0 522129652 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 3937574 3832556 2294 9 0 3928293 0
[pid=6353/tid=6354] ppid=6351 vsize=15750296 CPUtime=49.27 cores=1,3,5,7
/proc/6353/task/6354/stat : 6354 (java) S 6351 6353 5740 0 -1 4202560 155608 0 1 0 4906 21 0 0 25 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6356] ppid=6351 vsize=15750296 CPUtime=14.92 cores=1,3,5,7
/proc/6353/task/6356/stat : 6356 (java) S 6351 6353 5740 0 -1 4202560 543282 0 0 0 1401 91 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6357] ppid=6351 vsize=15750296 CPUtime=15.2 cores=1,3,5,7
/proc/6353/task/6357/stat : 6357 (java) S 6351 6353 5740 0 -1 4202560 429314 0 0 0 1448 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6358] ppid=6351 vsize=15750296 CPUtime=15.25 cores=1,3,5,7
/proc/6353/task/6358/stat : 6358 (java) S 6351 6353 5740 0 -1 4202560 570835 0 0 0 1434 91 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6359] ppid=6351 vsize=15750296 CPUtime=14.69 cores=1,3,5,7
/proc/6353/task/6359/stat : 6359 (java) S 6351 6353 5740 0 -1 4202560 440980 0 0 0 1397 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6360] ppid=6351 vsize=15750296 CPUtime=14.41 cores=1,3,5,7
/proc/6353/task/6360/stat : 6360 (java) S 6351 6353 5740 0 -1 4202560 468785 0 0 0 1367 74 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6361] ppid=6351 vsize=15750296 CPUtime=14.41 cores=1,3,5,7
/proc/6353/task/6361/stat : 6361 (java) S 6351 6353 5740 0 -1 4202560 463916 0 0 0 1369 72 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6362] ppid=6351 vsize=15750296 CPUtime=13.91 cores=1,3,5,7
/proc/6353/task/6362/stat : 6362 (java) S 6351 6353 5740 0 -1 4202560 368335 0 0 0 1328 63 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6363] ppid=6351 vsize=15750296 CPUtime=16.32 cores=1,3,5,7
/proc/6353/task/6363/stat : 6363 (java) S 6351 6353 5740 0 -1 4202560 484534 0 0 0 1558 74 0 0 16 0 22 0 522129653 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6364] ppid=6351 vsize=15750296 CPUtime=708.56 cores=1,3,5,7
/proc/6353/task/6364/stat : 6364 (java) R 6351 6353 5740 0 -1 4202560 322939 0 0 0 70808 48 0 0 18 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 47625184680017 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6353/tid=6365] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6365/stat : 6365 (java) S 6351 6353 5740 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6366] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6366/stat : 6366 (java) S 6351 6353 5740 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522129654 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6367] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6367/stat : 6367 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216470961 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6368] ppid=6351 vsize=15750296 CPUtime=0.77 cores=1,3,5,7
/proc/6353/task/6368/stat : 6368 (java) S 6351 6353 5740 0 -1 4202560 1137 0 0 0 77 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6369] ppid=6351 vsize=15750296 CPUtime=1.81 cores=1,3,5,7
/proc/6353/task/6369/stat : 6369 (java) S 6351 6353 5740 0 -1 4202560 17396 0 0 0 179 2 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 7 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) S 6351 6353 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6371] ppid=6351 vsize=15750296 CPUtime=0 cores=1,3,5,7
/proc/6353/task/6371/stat : 6371 (java) S 6351 6353 5740 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 522129657 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463872 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
[pid=6353/tid=6372] ppid=6351 vsize=15750296 CPUtime=465.68 cores=1,3,5,7
/proc/6353/task/6372/stat : 6372 (java) S 6351 6353 5740 0 -1 4202560 20760 0 0 0 46565 3 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 3 0 0 0
[pid=6353/tid=6373] ppid=6351 vsize=15750296 CPUtime=461.67 cores=1,3,5,7
/proc/6353/task/6373/stat : 6373 (java) S 6351 6353 5740 0 -1 4202560 498 0 0 0 46166 1 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6374] ppid=6351 vsize=15750296 CPUtime=507.38 cores=1,3,5,7
/proc/6353/task/6374/stat : 6374 (java) S 6351 6353 5740 0 -1 4202560 103446 0 0 0 50726 12 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 1 0 0 0
[pid=6353/tid=6375] ppid=6351 vsize=15750296 CPUtime=462.7 cores=1,3,5,7
/proc/6353/task/6375/stat : 6375 (java) S 6351 6353 5740 0 -1 4202560 103259 0 0 0 46259 11 0 0 15 0 22 0 522130489 16128303104 3832556 33554432000 1073741824 1073778376 140735423674048 18446744073709551615 210216463257 0 4 0 16800975 18446604471126688704 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2777.12
Current children cumulated vsize (KiB) 15750296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6353
[startup+1302.3 s]
/proc/loadavg: 2.97 4.85 5.18 2/194 6431
/proc/meminfo: memFree=15888704/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=0 CPUtime=2779.41 cores=1,3,5,7
/proc/6353/stat : 6353 (java) Z 6351 6353 5740 0 -1 4203548 4496497 0 1 0 277197 744 0 0 18 0 2 0 522129652 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 0 0 0 0 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) R 6351 6353 5740 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 522129657 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2779.41
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 2.97 4.85 5.18 2/194 6431
/proc/meminfo: memFree=15888704/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=0 CPUtime=2779.51 cores=1,3,5,7
/proc/6353/stat : 6353 (java) Z 6351 6353 5740 0 -1 4203548 4496497 0 1 0 277197 754 0 0 18 0 2 0 522129652 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 0 0 0 0 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) R 6351 6353 5740 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 522129657 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2779.51
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 2.97 4.85 5.18 2/194 6431
/proc/meminfo: memFree=15888704/32951124 swapFree=67106928/67111528
[pid=6353] ppid=6351 vsize=0 CPUtime=2779.61 cores=1,3,5,7
/proc/6353/stat : 6353 (java) Z 6351 6353 5740 0 -1 4203548 4496497 0 1 0 277197 764 0 0 18 0 2 0 522129652 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6353/statm: 0 0 0 0 0 0 0
[pid=6353/tid=6370] ppid=6351 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6353/task/6370/stat : 6370 (java) R 6351 6353 5740 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 522129657 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2779.61
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2779.64
CPU user time (s): 2771.98
CPU system time (s): 7.66183
CPU usage (%): 213.405
Max. virtual memory (cumulated for all children) (KiB): 15750296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2771.98
system time used= 7.66183
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4496497
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= 51014
involuntary context switches= 57560
runsolver used 2.12568 second user time and 5.03623 second system time
The end