runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247218-1500728212/watcher-4247218-1500728212 -o /tmp/evaluation-result-4247218-1500728212/solver-4247218-1500728212 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500718419-12025 --watchdog 2560 bin/concrete HOME/instance-4247218-1500728212.xml
pid=14339
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.37 1.46 3/261 14342
/proc/meminfo: memFree=27263164/32770624 swapFree=6384/332712
[pid=14342] ppid=14339 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (bash) S 14339 14342 11993 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 8088843 9736192 351 33554432000 4194304 5098028 140732400284832 140732400282472 139676850428928 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 30715904 140732400293134 140732400293219 140732400293219 140732400295918 0
/proc/14342/statm: 2377 351 278 221 0 86 0
[startup+0.100108 s]
/proc/loadavg: 1.48 1.37 1.46 3/261 14342
/proc/meminfo: memFree=27263164/32770624 swapFree=6384/332712
[pid=14342] ppid=14339 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (bash) S 14339 14342 11993 0 -1 4202496 884 6413 0 0 0 0 0 1 20 0 1 0 8088843 9871360 378 33554432000 4194304 5098028 140732400284832 140732400278840 139676850428928 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 30715904 140732400293134 140732400293219 140732400293219 140732400295918 0
/proc/14342/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200347 s]
/proc/loadavg: 1.48 1.37 1.46 3/261 14342
/proc/meminfo: memFree=27263164/32770624 swapFree=6384/332712
[pid=14342] ppid=14339 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 4641 12623 0 0 5 1 9 4 20 0 13 0 8088843 10686320640 5009 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2608965 5009 2127 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300281 s]
/proc/loadavg: 1.48 1.37 1.46 3/261 14342
/proc/meminfo: memFree=27263164/32770624 swapFree=6384/332712
[pid=14342] ppid=14339 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 6520 12623 0 0 22 1 9 4 20 0 20 0 8088843 11164049408 8274 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2725598 8274 2944 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392
[startup+0.700232 s]
/proc/loadavg: 1.48 1.37 1.46 3/261 14342
/proc/meminfo: memFree=27263164/32770624 swapFree=6384/332712
[pid=14342] ppid=14339 vsize=10902720 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 11674 12623 0 0 73 4 9 4 20 0 20 0 8088843 11164385280 14972 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2725680 14972 3114 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720
[startup+1.5008 s]
/proc/loadavg: 1.48 1.37 1.46 3/281 14415
/proc/meminfo: memFree=27167504/32770624 swapFree=6384/332784
[pid=14342] ppid=14339 vsize=10913344 CPUtime=2.1 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 24433 12623 0 0 189 8 9 4 20 0 20 0 8088843 11175264256 33481 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2728336 33481 3372 1 0 2716450 0
[pid=14342/tid=14397] ppid=14339 vsize=10913344 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 18602 12623 0 0 129 5 9 4 20 0 20 0 8088857 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178565704432 140178543047478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 2 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 2 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088858 11175264256 33481 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 5 12623 0 0 0 0 9 4 20 0 20 0 8088860 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 33 12623 0 0 0 0 9 4 20 0 20 0 8088861 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177900852000 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 21 12623 0 0 0 0 9 4 20 0 20 0 8088861 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177899799664 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) S 14339 14342 11993 0 -1 1077944384 600 12623 0 0 8 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177897695856 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) S 14339 14342 11993 0 -1 1077944384 1465 12623 0 0 14 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177896643056 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) S 14339 14342 11993 0 -1 1077944384 622 12623 0 0 12 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177895590768 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 930 12623 0 0 23 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14414/stat : 14414 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 20 0 8088866 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177893484896 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14415] ppid=14339 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14415/stat : 14415 (java) S 14339 14342 11993 0 -1 1077944384 6 12623 0 0 0 0 9 4 20 0 20 0 8088867 11175264256 33481 33554432000 4194304 4196468 140724843827632 140177892432176 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10913344
[startup+3.10101 s]
/proc/loadavg: 1.48 1.37 1.46 5/281 14415
/proc/meminfo: memFree=27091808/32770624 swapFree=6384/332784
[pid=14342] ppid=14339 vsize=10923772 CPUtime=7.12 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 40159 12623 0 0 658 41 9 4 20 0 20 0 8088843 11185942528 79634 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2730943 79634 3496 1 0 2718498 0
[pid=14342/tid=14397] ppid=14339 vsize=10923772 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 24381 12623 0 0 276 7 9 4 20 0 20 0 8088857 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178565714360 140178160765632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 126 12623 0 0 3 3 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 159 12623 0 0 3 2 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 103 12623 0 0 3 3 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 81 12623 0 0 3 3 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 108 12623 0 0 3 2 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 85 12623 0 0 3 3 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=10923772 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 110 12623 0 0 3 4 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=10923772 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 102 12623 0 0 2 2 9 4 20 0 20 0 8088858 11185942528 79634 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=10923772 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 1062 12623 0 0 2 0 9 4 20 0 20 0 8088860 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 55 12623 0 0 0 0 9 4 20 0 20 0 8088861 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177900852064 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 48 12623 0 0 0 0 9 4 20 0 20 0 8088861 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177899799680 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=10923772 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) R 14339 14342 11993 0 -1 4202560 1892 12623 0 0 74 1 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177897681920 140178541306073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=10923772 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) R 14339 14342 11993 0 -1 4202560 3259 12623 0 0 91 1 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177896629080 140178546597679 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=10923772 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) R 14339 14342 11993 0 -1 4202560 3688 12623 0 0 100 1 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177895578256 140178544981064 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=10923772 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 2756 12623 0 0 86 1 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14414/stat : 14414 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 20 0 8088866 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177893484896 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14415] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14415/stat : 14415 (java) S 14339 14342 11993 0 -1 1077944384 7 12623 0 0 0 0 9 4 20 0 20 0 8088867 11185942528 79634 33554432000 4194304 4196468 140724843827632 140177892432176 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 10923772
[startup+6.30092 s]
/proc/loadavg: 1.60 1.40 1.46 3/281 14415
/proc/meminfo: memFree=26711972/32770624 swapFree=6384/332788
[pid=14342] ppid=14339 vsize=10923772 CPUtime=15.31 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 46251 12623 0 0 1410 108 9 4 20 0 20 0 8088843 11185942528 172593 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2730943 172593 3507 1 0 2718498 0
[pid=14342/tid=14397] ppid=14339 vsize=10923772 CPUtime=5.68 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 25956 12623 0 0 544 11 9 4 20 0 20 0 8088857 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178565715456 140178164162276 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=10923772 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 190 12623 0 0 13 10 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=10923772 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 267 12623 0 0 16 10 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=10923772 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 207 12623 0 0 17 9 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=10923772 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 148 12623 0 0 14 11 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=10923772 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 203 12623 0 0 14 10 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=10923772 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 171 12623 0 0 12 11 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=10923772 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 204 12623 0 0 15 11 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=10923772 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 170 12623 0 0 12 10 9 4 20 0 20 0 8088858 11185942528 172593 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=10923772 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 1373 12623 0 0 3 0 9 4 20 0 20 0 8088860 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 55 12623 0 0 0 0 9 4 20 0 20 0 8088861 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177900852064 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 48 12623 0 0 0 0 9 4 20 0 20 0 8088861 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177899799680 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 1 12623 0 0 0 0 9 4 20 0 20 0 8088866 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=10923772 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) S 14339 14342 11993 0 -1 1077944384 3345 12623 0 0 185 2 9 4 20 0 20 0 8088866 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177897695856 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=10923772 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) S 14339 14342 11993 0 -1 1077944384 3773 12623 0 0 206 2 9 4 20 0 20 0 8088866 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177896643056 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=10923772 CPUtime=2.52 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) S 14339 14342 11993 0 -1 1077944384 4640 12623 0 0 238 1 9 4 20 0 20 0 8088866 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177895590768 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=10923772 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 3288 12623 0 0 115 2 9 4 20 0 20 0 8088866 11185942528 172593 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14342
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14342 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+1936 s]
/proc/loadavg: 1.43 1.68 1.67 3/283 14774
/proc/meminfo: memFree=26016448/32770624 swapFree=6384/334200
[pid=14342] ppid=14339 vsize=11060996 CPUtime=2401.77 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 638720 12623 0 0 239155 1009 9 4 20 0 22 0 8088843 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2765249 1064876 3513 1 0 2752804 0
[pid=14342/tid=14397] ppid=14339 vsize=11060996 CPUtime=1861.57 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 209305 12623 0 0 186080 64 9 4 20 0 22 0 8088857 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178565717520 140178153088544 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=11060996 CPUtime=64.19 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 27839 12623 0 0 6306 100 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=11060996 CPUtime=64.29 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 30082 12623 0 0 6312 104 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=11060996 CPUtime=64.12 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 34733 12623 0 0 6294 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=11060996 CPUtime=64.48 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 28124 12623 0 0 6332 103 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=11060996 CPUtime=64.51 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 31794 12623 0 0 6330 108 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=11060996 CPUtime=64.27 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 30072 12623 0 0 6304 110 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=11060996 CPUtime=64.11 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 34609 12623 0 0 6289 109 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=11060996 CPUtime=64.49 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 28794 12623 0 0 6331 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=11060996 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 111366 12623 0 0 374 21 9 4 20 0 22 0 8088860 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 61 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177900852064 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 52 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177899799680 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 216 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=11060996 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) S 14339 14342 11993 0 -1 1077944384 15832 12623 0 0 574 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177897695856 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=11060996 CPUtime=6.53 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) S 14339 14342 11993 0 -1 1077944384 18196 12623 0 0 636 4 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177896643056 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=11060996 CPUtime=6.67 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) S 14339 14342 11993 0 -1 1077944384 18221 12623 0 0 651 3 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177895590768 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=11060996 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 15092 12623 0 0 241 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14414/stat : 14414 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177893484896 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14415] ppid=14339 vsize=11060996 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14415/stat : 14415 (java) S 14339 14342 11993 0 -1 1077944384 1849 12623 0 0 69 77 9 4 20 0 22 0 8088867 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177892432176 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14772] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14772/stat : 14772 (java) S 14339 14342 11993 0 -1 1077944384 317 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177869144432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14773] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14773/stat : 14773 (java) S 14339 14342 11993 0 -1 1077944384 29 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177796228336 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
Current children cumulated CPU time (s) 2401.77
Current children cumulated vsize (KiB) 11060996
[startup+1936.4 s]
/proc/loadavg: 1.43 1.68 1.67 3/283 14774
/proc/meminfo: memFree=26016448/32770624 swapFree=6384/334200
[pid=14342] ppid=14339 vsize=11060996 CPUtime=2402.32 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 638745 12623 0 0 239210 1009 9 4 20 0 22 0 8088843 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2765249 1064876 3513 1 0 2752804 0
[pid=14342/tid=14397] ppid=14339 vsize=11060996 CPUtime=1861.94 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 209305 12623 0 0 186117 64 9 4 20 0 22 0 8088857 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178565717520 140178153088514 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=11060996 CPUtime=64.21 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 27839 12623 0 0 6308 100 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=11060996 CPUtime=64.31 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 30090 12623 0 0 6314 104 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=11060996 CPUtime=64.14 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 34733 12623 0 0 6296 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=11060996 CPUtime=64.5 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 28124 12623 0 0 6334 103 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=11060996 CPUtime=64.53 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 31795 12623 0 0 6332 108 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=11060996 CPUtime=64.29 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 30073 12623 0 0 6306 110 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=11060996 CPUtime=64.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 34618 12623 0 0 6291 109 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=11060996 CPUtime=64.52 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 28799 12623 0 0 6334 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=11060996 CPUtime=4.09 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 111366 12623 0 0 375 21 9 4 20 0 22 0 8088860 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 61 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177900852064 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 52 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177899799680 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 216 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=11060996 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) S 14339 14342 11993 0 -1 1077944384 15832 12623 0 0 574 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177897695856 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=11060996 CPUtime=6.53 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) S 14339 14342 11993 0 -1 1077944384 18196 12623 0 0 636 4 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177896643056 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=11060996 CPUtime=6.67 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) S 14339 14342 11993 0 -1 1077944384 18221 12623 0 0 651 3 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177895590768 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=11060996 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 15092 12623 0 0 241 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14414/stat : 14414 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177893484896 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14415] ppid=14339 vsize=11060996 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14415/stat : 14415 (java) S 14339 14342 11993 0 -1 1077944384 1849 12623 0 0 69 77 9 4 20 0 22 0 8088867 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177892432176 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14772] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14772/stat : 14772 (java) S 14339 14342 11993 0 -1 1077944384 317 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177869144432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14773] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14773/stat : 14773 (java) S 14339 14342 11993 0 -1 1077944384 30 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177796228336 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
Current children cumulated CPU time (s) 2402.32
Current children cumulated vsize (KiB) 11060996
[startup+1936.6 s]
/proc/loadavg: 1.43 1.68 1.67 3/283 14774
/proc/meminfo: memFree=26016448/32770624 swapFree=6384/334200
[pid=14342] ppid=14339 vsize=11060996 CPUtime=2402.52 cores=1,3,5,7,9,11,13,15
/proc/14342/stat : 14342 (java) S 14339 14342 11993 0 -1 1077944320 638745 12623 0 0 239230 1009 9 4 20 0 22 0 8088843 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140724843810176 140178561482487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
/proc/14342/statm: 2765249 1064876 3513 1 0 2752804 0
[pid=14342/tid=14397] ppid=14339 vsize=11060996 CPUtime=1862.14 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14397/stat : 14397 (java) R 14339 14342 11993 0 -1 4202560 209305 12623 0 0 186137 64 9 4 20 0 22 0 8088857 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178565717520 140178153088526 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14398] ppid=14339 vsize=11060996 CPUtime=64.21 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14398/stat : 14398 (java) S 14339 14342 11993 0 -1 1077944384 27839 12623 0 0 6308 100 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178487556496 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14399] ppid=14339 vsize=11060996 CPUtime=64.31 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14399/stat : 14399 (java) S 14339 14342 11993 0 -1 1077944384 30090 12623 0 0 6314 104 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178486503696 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14400] ppid=14339 vsize=11060996 CPUtime=64.14 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14400/stat : 14400 (java) S 14339 14342 11993 0 -1 1077944384 34733 12623 0 0 6296 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178485451408 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14401] ppid=14339 vsize=11060996 CPUtime=64.5 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14401/stat : 14401 (java) S 14339 14342 11993 0 -1 1077944384 28124 12623 0 0 6334 103 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178484398608 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14402] ppid=14339 vsize=11060996 CPUtime=64.53 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14402/stat : 14402 (java) S 14339 14342 11993 0 -1 1077944384 31795 12623 0 0 6332 108 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178483346320 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14403] ppid=14339 vsize=11060996 CPUtime=64.29 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14403/stat : 14403 (java) S 14339 14342 11993 0 -1 1077944384 30073 12623 0 0 6306 110 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178482293520 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14404] ppid=14339 vsize=11060996 CPUtime=64.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14404/stat : 14404 (java) S 14339 14342 11993 0 -1 1077944384 34618 12623 0 0 6291 109 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178481241232 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14405] ppid=14339 vsize=11060996 CPUtime=64.52 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14405/stat : 14405 (java) S 14339 14342 11993 0 -1 1077944384 28799 12623 0 0 6334 105 9 4 20 0 22 0 8088858 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140178480188432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14406] ppid=14339 vsize=11060996 CPUtime=4.09 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14406/stat : 14406 (java) S 14339 14342 11993 0 -1 1077944384 111366 12623 0 0 375 21 9 4 20 0 22 0 8088860 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177901906032 140178561493634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14407] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14407/stat : 14407 (java) S 14339 14342 11993 0 -1 1077944384 61 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177900852064 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14408] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14408/stat : 14408 (java) S 14339 14342 11993 0 -1 1077944384 52 12623 0 0 0 0 9 4 20 0 22 0 8088861 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177899799680 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14409] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14409/stat : 14409 (java) S 14339 14342 11993 0 -1 1077944384 216 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177898747984 140178561501083 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14410] ppid=14339 vsize=11060996 CPUtime=5.92 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14410/stat : 14410 (java) S 14339 14342 11993 0 -1 1077944384 15832 12623 0 0 574 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177897695856 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14411] ppid=14339 vsize=11060996 CPUtime=6.53 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14411/stat : 14411 (java) S 14339 14342 11993 0 -1 1077944384 18196 12623 0 0 636 4 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177896643056 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14412] ppid=14339 vsize=11060996 CPUtime=6.67 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14412/stat : 14412 (java) S 14339 14342 11993 0 -1 1077944384 18221 12623 0 0 651 3 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177895590768 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14413] ppid=14339 vsize=11060996 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14413/stat : 14413 (java) S 14339 14342 11993 0 -1 1077944384 15092 12623 0 0 241 5 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177894537968 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14414] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14414/stat : 14414 (java) S 14339 14342 11993 0 -1 1077944384 3 12623 0 0 0 0 9 4 20 0 22 0 8088866 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177893484896 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14415] ppid=14339 vsize=11060996 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14415/stat : 14415 (java) S 14339 14342 11993 0 -1 1077944384 1849 12623 0 0 69 77 9 4 20 0 22 0 8088867 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177892432176 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14772] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14772/stat : 14772 (java) S 14339 14342 11993 0 -1 1077944384 317 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177869144432 140178561492693 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
[pid=14342/tid=14773] ppid=14339 vsize=11060996 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/14342/task/14773/stat : 14773 (java) S 14339 14342 11993 0 -1 1077944384 30 12623 0 0 0 0 9 4 20 0 22 0 8282303 11326459904 1064876 33554432000 4194304 4196468 140724843827632 140177796228336 140178561493634 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 17166336 140724843829953 140724843832727 140724843832727 140724843835343 0
Current children cumulated CPU time (s) 2402.52
Current children cumulated vsize (KiB) 11060996
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1936.64
CPU time (s): 2402.57
CPU user time (s): 2392.4
CPU system time (s): 10.166
CPU usage (%): 124.059
Max. virtual memory (cumulated for all children) (KiB): 11060996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.4
system time used= 10.166
maximum resident set size= 4260516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 651372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145518
involuntary context switches= 192423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1681 second user time and 18.6822 second system time
The end