runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736742-1338752036/watcher-3736742-1338752036 -o /tmp/evaluation-result-3736742-1338752036/solver-3736742-1338752036 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3736742-1338752036.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.96 3.82 4/197 18393
/proc/meminfo: memFree=26487496/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18393/stat : 18393 (java6) D 18391 18393 17435 0 -1 4202496 82 0 0 0 0 0 0 0 20 0 1 0 341329672 278528 34 33554432000 1073741824 1073778376 140736708272096 140736708269272 266426477863 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/18393/statm: 68 34 25 9 0 25 0
[startup+0.0286531 s]
/proc/loadavg: 4.00 3.96 3.82 4/197 18393
/proc/meminfo: memFree=26487496/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=1623620 CPUtime=0 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 2622 0 1 0 0 0 0 0 20 0 2 0 341329672 1662586880 2301 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 405905 2316 942 9 0 397014 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1623620
[startup+0.100163 s]
/proc/loadavg: 4.00 3.96 3.82 4/197 18393
/proc/meminfo: memFree=26487496/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 4559 0 1 0 7 1 0 0 20 0 18 0 341329672 2764726272 5753 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 5753 2036 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300159 s]
/proc/loadavg: 4.00 3.96 3.82 4/197 18393
/proc/meminfo: memFree=26487496/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=0.44 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 5719 0 1 0 43 1 0 0 20 0 18 0 341329672 2764726272 7597 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 7597 2219 9 0 665676 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2699928
[startup+0.70016 s]
/proc/loadavg: 4.00 3.96 3.82 4/197 18393
/proc/meminfo: memFree=26487496/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=1.17 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 13334 0 1 0 115 2 0 0 20 0 18 0 341329672 2764726272 14725 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 14725 2233 9 0 665676 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 2699928
[startup+1.50051 s]
/proc/loadavg: 3.92 3.94 3.82 3/215 18411
/proc/meminfo: memFree=26436464/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=2.13 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 13516 0 1 0 210 3 0 0 20 0 18 0 341329672 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 16484 2237 9 0 665676 0
[pid=18393/tid=18395] ppid=18391 vsize=2699928 CPUtime=1.46 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) R 18391 18393 17435 0 -1 4202560 2855 0 1 0 144 2 0 0 20 0 18 0 341329673 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666699532616 139666639644352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329678 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2699928 CPUtime=0.44 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6848 0 0 0 42 2 0 0 20 0 18 0 341329679 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2699928 CPUtime=0.2 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 2624 0 0 0 20 0 0 0 20 0 18 0 341329679 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 16484 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 2699928
[startup+3.10067 s]
/proc/loadavg: 3.92 3.94 3.82 4/215 18411
/proc/meminfo: memFree=26424176/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=3.82 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 13573 0 1 0 379 3 0 0 20 0 18 0 341329672 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 19605 2238 9 0 665676 0
[pid=18393/tid=18395] ppid=18391 vsize=2699928 CPUtime=3.06 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) R 18391 18393 17435 0 -1 4202560 2862 0 1 0 304 2 0 0 20 0 18 0 341329673 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666699532648 139666639644152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329678 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6860 0 0 0 48 2 0 0 20 0 18 0 341329679 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2699928 CPUtime=0.23 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 2662 0 0 0 23 0 0 0 20 0 18 0 341329679 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 19605 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 2699928
[startup+6.30064 s]
/proc/loadavg: 3.92 3.94 3.82 4/215 18411
/proc/meminfo: memFree=26408000/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2699928 CPUtime=7.02 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 13583 0 1 0 699 3 0 0 20 0 18 0 341329672 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 674982 23047 2239 9 0 665676 0
[pid=18393/tid=18395] ppid=18391 vsize=2699928 CPUtime=6.26 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) R 18391 18393 17435 0 -1 4202560 2871 0 1 0 624 2 0 0 20 0 18 0 341329673 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666699526048 139666639644352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329674 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341329676 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329678 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6860 0 0 0 48 2 0 0 20 0 18 0 341329679 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2699928 CPUtime=0.23 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 2662 0 0 0 23 0 0 0 20 0 18 0 341329679 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341329679 2764726272 23047 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 2699928
[startup+12.7007 s]
/proc/loadavg: 3.85 3.93 3.81 5/219 18423
/proc/meminfo: memFree=26045692/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2966184 CPUtime=14.05 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 20753 0 1 0 1381 24 0 0 20 0 22 0 341329672 3037372416 122719 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 741546 122719 2285 9 0 732240 0
[pid=18393/tid=18395] ppid=18391 vsize=2966184 CPUtime=6.56 cores=1,3,5,7
################
# More data... #
################
[pid=18393/tid=18415] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18415/stat : 18415 (java) S 18391 18393 17435 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 217633 33554432000 1073741824 1073778376 140735800560848 139666534974888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18431] ppid=18391 vsize=2966184 CPUtime=736.99 cores=1,3,5,7
/proc/18393/task/18431/stat : 18431 (java) R 18391 18393 17435 0 -1 4202560 500 0 0 0 73684 15 0 0 20 0 22 0 341334644 3037372416 217633 33554432000 1073741824 1073778376 140735800560848 139666538130512 139666640178500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18432] ppid=18391 vsize=2966184 CPUtime=737.12 cores=1,3,5,7
/proc/18393/task/18432/stat : 18432 (java) R 18391 18393 17435 0 -1 4202560 564 0 0 0 73697 15 0 0 20 0 22 0 341334644 3037372416 217633 33554432000 1073741824 1073778376 140735800560848 139666537078384 139666640102775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1633.5
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.41 4.04 3.89 4/219 18506
/proc/meminfo: memFree=25453244/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2966184 CPUtime=1753.76 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 25344 0 1 0 175205 171 0 0 20 0 22 0 341329672 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 741546 218657 2288 9 0 732240 0
[pid=18393/tid=18395] ppid=18391 vsize=2966184 CPUtime=6.6 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) S 18391 18393 17435 0 -1 4202560 2909 0 1 0 657 3 0 0 20 0 22 0 341329673 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666699535496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2966184 CPUtime=7.34 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 341 0 0 0 725 9 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2966184 CPUtime=7.31 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 335 0 0 0 722 9 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2966184 CPUtime=7.61 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 340 0 0 0 753 8 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2966184 CPUtime=7.44 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 350 0 0 0 735 9 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2966184 CPUtime=7.49 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 324 0 0 0 741 8 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2966184 CPUtime=7.61 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 341 0 0 0 751 10 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2966184 CPUtime=7.6 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 339 0 0 0 752 8 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2966184 CPUtime=7.53 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 338 0 0 0 744 9 0 0 20 0 22 0 341329674 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2966184 CPUtime=23.12 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 443 0 0 0 2256 56 0 0 20 0 22 0 341329676 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329678 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2966184 CPUtime=1.24 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6996 0 0 0 122 2 0 0 20 0 22 0 341329679 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2966184 CPUtime=1.41 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 9522 0 0 0 139 2 0 0 20 0 22 0 341329679 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329679 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2966184 CPUtime=0.34 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 51 0 0 0 12 22 0 0 20 0 22 0 341329679 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18414] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18414/stat : 18414 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666536027432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18415] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18415/stat : 18415 (java) S 18391 18393 17435 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666534974888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18431] ppid=18391 vsize=2966184 CPUtime=794.27 cores=1,3,5,7
/proc/18393/task/18431/stat : 18431 (java) R 18391 18393 17435 0 -1 4202560 530 0 0 0 79411 16 0 0 20 0 22 0 341334644 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666538130288 139666640096208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18432] ppid=18391 vsize=2966184 CPUtime=794.39 cores=1,3,5,7
/proc/18393/task/18432/stat : 18432 (java) R 18391 18393 17435 0 -1 4202560 610 0 0 0 79423 16 0 0 20 0 22 0 341334644 3037372416 218657 33554432000 1073741824 1073778376 140735800560848 139666537078464 139666640028695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1753.76
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+905.701 s]
/proc/loadavg: 4.29 4.04 3.89 5/219 18506
/proc/meminfo: memFree=25447104/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2966184 CPUtime=1800.17 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 25385 0 1 0 179841 176 0 0 20 0 22 0 341329672 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 741546 219169 2288 9 0 732240 0
[pid=18393/tid=18395] ppid=18391 vsize=2966184 CPUtime=6.6 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) S 18391 18393 17435 0 -1 4202560 2910 0 1 0 657 3 0 0 20 0 22 0 341329673 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666699535496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2966184 CPUtime=7.54 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 341 0 0 0 745 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2966184 CPUtime=7.53 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 336 0 0 0 744 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 340 0 0 0 773 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2966184 CPUtime=7.64 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 350 0 0 0 754 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2966184 CPUtime=7.7 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 325 0 0 0 762 8 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2966184 CPUtime=7.81 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 342 0 0 0 771 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 339 0 0 0 774 8 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 339 0 0 0 759 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2966184 CPUtime=24.2 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 445 0 0 0 2362 58 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329678 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2966184 CPUtime=1.24 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6996 0 0 0 122 2 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2966184 CPUtime=1.41 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 9522 0 0 0 139 2 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 53 0 0 0 12 23 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18414] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18414/stat : 18414 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666536027432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18415] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18415/stat : 18415 (java) S 18391 18393 17435 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666534974888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18431] ppid=18391 vsize=2966184 CPUtime=816.13 cores=1,3,5,7
/proc/18393/task/18431/stat : 18431 (java) R 18391 18393 17435 0 -1 4202560 546 0 0 0 81597 16 0 0 20 0 22 0 341334644 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666538131280 139666640216924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18432] ppid=18391 vsize=2966184 CPUtime=816.24 cores=1,3,5,7
/proc/18393/task/18432/stat : 18432 (java) R 18391 18393 17435 0 -1 4202560 626 0 0 0 81608 16 0 0 20 0 22 0 341334644 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666537077552 139666640270344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+905.701 s]
/proc/loadavg: 4.29 4.04 3.89 5/219 18506
/proc/meminfo: memFree=25447104/32873648 swapFree=6860/6860
[pid=18393] ppid=18391 vsize=2966184 CPUtime=1800.17 cores=1,3,5,7
/proc/18393/stat : 18393 (java) S 18391 18393 17435 0 -1 4202496 25385 0 1 0 179841 176 0 0 20 0 22 0 341329672 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 140735800551984 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18393/statm: 741546 219169 2288 9 0 732240 0
[pid=18393/tid=18395] ppid=18391 vsize=2966184 CPUtime=6.6 cores=1,3,5,7
/proc/18393/task/18395/stat : 18395 (java) S 18391 18393 17435 0 -1 4202560 2910 0 1 0 657 3 0 0 20 0 22 0 341329673 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666699535496 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18396] ppid=18391 vsize=2966184 CPUtime=7.54 cores=1,3,5,7
/proc/18393/task/18396/stat : 18396 (java) S 18391 18393 17435 0 -1 4202560 341 0 0 0 745 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666633485224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18397] ppid=18391 vsize=2966184 CPUtime=7.53 cores=1,3,5,7
/proc/18393/task/18397/stat : 18397 (java) S 18391 18393 17435 0 -1 4202560 336 0 0 0 744 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666565098536 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18398] ppid=18391 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/18393/task/18398/stat : 18398 (java) S 18391 18393 17435 0 -1 4202560 340 0 0 0 773 9 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666564045480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18399] ppid=18391 vsize=2966184 CPUtime=7.64 cores=1,3,5,7
/proc/18393/task/18399/stat : 18399 (java) S 18391 18393 17435 0 -1 4202560 350 0 0 0 754 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666562992936 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18400] ppid=18391 vsize=2966184 CPUtime=7.7 cores=1,3,5,7
/proc/18393/task/18400/stat : 18400 (java) S 18391 18393 17435 0 -1 4202560 325 0 0 0 762 8 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666561939880 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18401] ppid=18391 vsize=2966184 CPUtime=7.81 cores=1,3,5,7
/proc/18393/task/18401/stat : 18401 (java) S 18391 18393 17435 0 -1 4202560 342 0 0 0 771 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666560887336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18402] ppid=18391 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/18393/task/18402/stat : 18402 (java) S 18391 18393 17435 0 -1 4202560 339 0 0 0 774 8 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666559834280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18403] ppid=18391 vsize=2966184 CPUtime=7.69 cores=1,3,5,7
/proc/18393/task/18403/stat : 18403 (java) S 18391 18393 17435 0 -1 4202560 339 0 0 0 759 10 0 0 20 0 22 0 341329674 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666558781736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18404] ppid=18391 vsize=2966184 CPUtime=24.2 cores=1,3,5,7
/proc/18393/task/18404/stat : 18404 (java) S 18391 18393 17435 0 -1 4202560 445 0 0 0 2362 58 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666546584424 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18405] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18405/stat : 18405 (java) S 18391 18393 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666545530744 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18406] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18406/stat : 18406 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341329676 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666544477576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18407] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18407/stat : 18407 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329678 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666543426320 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18393/tid=18408] ppid=18391 vsize=2966184 CPUtime=1.24 cores=1,3,5,7
/proc/18393/task/18408/stat : 18408 (java) S 18391 18393 17435 0 -1 4202560 6996 0 0 0 122 2 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666542373176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18409] ppid=18391 vsize=2966184 CPUtime=1.41 cores=1,3,5,7
/proc/18393/task/18409/stat : 18409 (java) S 18391 18393 17435 0 -1 4202560 9522 0 0 0 139 2 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666541320632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18393/tid=18410] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18410/stat : 18410 (java) S 18391 18393 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666540267768 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18411] ppid=18391 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/18393/task/18411/stat : 18411 (java) S 18391 18393 17435 0 -1 4202560 53 0 0 0 12 23 0 0 20 0 22 0 341329679 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666539215432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18414] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18414/stat : 18414 (java) S 18391 18393 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666536027432 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18415] ppid=18391 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18393/task/18415/stat : 18415 (java) S 18391 18393 17435 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341330331 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666534974888 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18393/tid=18431] ppid=18391 vsize=2966184 CPUtime=816.13 cores=1,3,5,7
/proc/18393/task/18431/stat : 18431 (java) R 18391 18393 17435 0 -1 4202560 546 0 0 0 81597 16 0 0 20 0 22 0 341334644 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666538131280 139666640216924 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18393/tid=18432] ppid=18391 vsize=2966184 CPUtime=816.24 cores=1,3,5,7
/proc/18393/task/18432/stat : 18432 (java) R 18391 18393 17435 0 -1 4202560 626 0 0 0 81608 16 0 0 20 0 22 0 341334644 3037372416 219169 33554432000 1073741824 1073778376 140735800560848 139666537077552 139666640270344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 2966184
Child status: 143
Real time (s): 905.727
CPU time (s): 1800.93
CPU user time (s): 1798.69
CPU system time (s): 2.24366
CPU usage (%): 198.839
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 2.24366
maximum resident set size= 876788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25414
page faults= 1
swaps= 0
block input operations= 8
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55824
involuntary context switches= 103281
runsolver used 3.41148 second user time and 8.10277 second system time
The end