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-4247706-1500736197/watcher-4247706-1500736197 -o /tmp/evaluation-result-4247706-1500736197/solver-4247706-1500736197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4247706-1500736197.xml
pid=28073
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: 3.58 3.34 2.46 10/261 28076
/proc/meminfo: memFree=23464360/32770624 swapFree=5756/317548
[pid=28076] ppid=28073 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (bash) S 28073 28076 23034 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 8885047 9736192 350 33554432000 4194304 5098028 140725926251488 140725926249128 140073696009216 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 20115456 140725926257934 140725926258019 140725926258019 140725926260718 0
/proc/28076/statm: 2377 350 278 221 0 86 0
[startup+0.10008 s]
/proc/loadavg: 3.58 3.34 2.46 10/261 28076
/proc/meminfo: memFree=23464360/32770624 swapFree=5756/317548
[pid=28076] ppid=28073 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (bash) S 28073 28076 23034 0 -1 4202496 877 6420 0 0 0 0 0 1 20 0 1 0 8885047 9871360 377 33554432000 4194304 5098028 140725926251488 140725926245496 140073696009216 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 20115456 140725926257934 140725926258019 140725926258019 140725926260718 0
/proc/28076/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.20039 s]
/proc/loadavg: 3.58 3.34 2.46 10/261 28076
/proc/meminfo: memFree=23464360/32770624 swapFree=5756/317548
[pid=28076] ppid=28073 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 5003 12585 0 0 6 1 9 3 20 0 13 0 8885047 10686320640 5361 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2608965 5361 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300321 s]
/proc/loadavg: 3.58 3.34 2.46 10/261 28076
/proc/meminfo: memFree=23464360/32770624 swapFree=5756/317548
[pid=28076] ppid=28073 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 6957 12585 0 0 23 2 9 3 20 0 20 0 8885047 11164049408 8750 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2725598 8750 2993 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700212 s]
/proc/loadavg: 3.58 3.34 2.46 10/261 28076
/proc/meminfo: memFree=23464360/32770624 swapFree=5756/317548
[pid=28076] ppid=28073 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 12047 12585 0 0 73 4 9 3 20 0 20 0 8885047 11164385280 14857 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2725680 14857 3165 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720
[startup+1.50082 s]
/proc/loadavg: 3.58 3.34 2.46 12/281 28149
/proc/meminfo: memFree=23366228/32770624 swapFree=5756/317620
[pid=28076] ppid=28073 vsize=10913344 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 24477 12585 0 0 191 8 9 3 20 0 20 0 8885047 11175264256 34204 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2728336 34204 3370 1 0 2716450 0
[pid=28076/tid=28131] ppid=28073 vsize=10913344 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) R 28073 28076 23034 0 -1 4202560 19248 12585 0 0 130 5 9 3 20 0 20 0 8885060 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360099118816 140360078927205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 2 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 2 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 2 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 2 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885061 11175264256 34204 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) S 28073 28076 23034 0 -1 1077944384 5 12585 0 0 0 0 9 3 20 0 20 0 8885063 11175264256 34204 33554432000 4194304 4196468 140729050635680 140359435290992 140360094894722 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 33 12585 0 0 0 0 9 3 20 0 20 0 8885064 11175264256 34204 33554432000 4194304 4196468 140729050635680 140359434236960 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 21 12585 0 0 0 0 9 3 20 0 20 0 8885064 11175264256 34204 33554432000 4194304 4196468 140729050635680 140359433184112 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) S 28073 28076 23034 0 -1 1077944384 1050 12585 0 0 14 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359431080816 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) R 28073 28076 23034 0 -1 4202560 730 12585 0 0 11 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359430028312 140360078441649 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) S 28073 28076 23034 0 -1 1077944384 293 12585 0 0 10 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359428975216 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) R 28073 28076 23034 0 -1 4202560 946 12585 0 0 24 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359427922336 140360078964062 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 6 12585 0 0 0 0 9 3 20 0 20 0 8885068 11175264256 34214 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10913344
[startup+3.1008 s]
/proc/loadavg: 3.58 3.34 2.46 11/281 28149
/proc/meminfo: memFree=23291224/32770624 swapFree=5756/317620
[pid=28076] ppid=28073 vsize=10925820 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 45245 12585 0 0 534 20 9 3 20 0 20 0 8885047 11188039680 54239 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2731455 54239 3475 1 0 2719010 0
[pid=28076/tid=28131] ppid=28073 vsize=10925820 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) R 28073 28076 23034 0 -1 4202560 34554 12585 0 0 282 8 9 3 20 0 20 0 8885060 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360099110752 140360094895510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 39 12585 0 0 1 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 16 12585 0 0 1 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 24 12585 0 0 1 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 35 12585 0 0 0 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 147 12585 0 0 0 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 19 12585 0 0 0 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 39 12585 0 0 1 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 14 12585 0 0 0 0 9 3 20 0 20 0 8885061 11188039680 54239 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) S 28073 28076 23034 0 -1 1077944384 655 12585 0 0 2 0 9 3 20 0 20 0 8885063 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359435290992 140360094894722 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 56 12585 0 0 0 0 9 3 20 0 20 0 8885064 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359434236960 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 44 12585 0 0 0 0 9 3 20 0 20 0 8885064 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359433184112 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=10925820 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) R 28073 28076 23034 0 -1 4202560 2537 12585 0 0 56 1 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359431067360 140360079813045 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=10925820 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) R 28073 28076 23034 0 -1 4202560 1053 12585 0 0 39 1 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359430028016 140360080049120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10925820 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) R 28073 28076 23034 0 -1 4202560 747 12585 0 0 42 0 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359428965136 140360073119961 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10925820 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) R 28073 28076 23034 0 -1 4202560 3131 12585 0 0 102 1 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359427922416 140360094904922 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 7 12585 0 0 0 0 9 3 20 0 20 0 8885068 11188039680 54239 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10925820
[startup+6.30118 s]
/proc/loadavg: 4.01 3.44 2.50 14/283 28158
/proc/meminfo: memFree=23088924/32770624 swapFree=5756/317632
[pid=28076] ppid=28073 vsize=10997500 CPUtime=18.77 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 74523 12585 0 0 1830 35 9 3 20 0 20 0 8885047 11261440000 111420 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2749375 111420 3509 1 0 2736930 0
[pid=28076/tid=28131] ppid=28073 vsize=10997500 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) R 28073 28076 23034 0 -1 4202560 45939 12585 0 0 587 13 9 3 20 0 20 0 8885060 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360099114808 140359703548246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 116 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 32 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 66 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 48 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 214 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 116 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 66 12585 0 0 4 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 753 12585 0 0 5 1 9 3 20 0 20 0 8885061 11261440000 111420 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) S 28073 28076 23034 0 -1 1077944384 1593 12585 0 0 5 0 9 3 20 0 20 0 8885063 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359435290992 140360094894722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 56 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359434237088 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 45 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359433184128 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=10997500 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) R 28073 28076 23034 0 -1 4202560 8823 12585 0 0 339 2 9 3 20 0 20 0 8885068 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359431064336 140360074129418 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=10997500 CPUtime=3.29 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) R 28073 28076 23034 0 -1 4202560 5130 12585 0 0 315 2 9 3 20 0 20 0 8885068 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359430014080 140360078294470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10997500 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) R 28073 28076 23034 0 -1 4202560 3680 12585 0 0 308 1 9 3 20 0 20 0 8885068 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359428956320 140360076402906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10997500 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) S 28073 28076 23034 0 -1 1077944384 5705 12585 0 0 235 3 9 3 20 0 20 0 8885068 11261440000 111420 33554432000 4194304 4196468 140729050635680 140359427922416 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=28076/tid=28145] ppid=28073 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) S 28073 28076 23034 0 -1 1077944384 13119 12585 0 0 676 4 9 3 20 0 20 0 8885068 11261440000 224475 33554432000 4194304 4196468 140729050635680 140359430028016 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10997500 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) S 28073 28076 23034 0 -1 1077944384 7983 12585 0 0 668 4 9 3 20 0 20 0 8885068 11261440000 224475 33554432000 4194304 4196468 140729050635680 140359428975216 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10997500 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) S 28073 28076 23034 0 -1 1077944384 13894 12585 0 0 380 7 9 3 20 0 20 0 8885068 11261440000 224475 33554432000 4194304 4196468 140729050635680 140359427922416 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 224475 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=10997500 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 1778 12585 0 0 60 63 9 3 20 0 20 0 8885068 11261440000 224475 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 2286.36
Current children cumulated vsize (KiB) 10997500
[startup+2262.3 s]
/proc/loadavg: 1.34 1.41 1.57 3/281 28367
/proc/meminfo: memFree=30092900/32770624 swapFree=5756/318756
[pid=28076] ppid=28073 vsize=10997500 CPUtime=2348.05 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 213253 12585 0 0 234305 488 9 3 20 0 20 0 8885047 11261440000 224987 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2749375 224987 3514 1 0 2736930 0
[pid=28076/tid=28131] ppid=28073 vsize=10997500 CPUtime=2241.57 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) R 28073 28076 23034 0 -1 4202560 88797 12585 0 0 224095 50 9 3 20 0 20 0 8885060 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360099117872 140359702663324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=10997500 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 7265 12585 0 0 881 43 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=10997500 CPUtime=9.18 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 6863 12585 0 0 867 39 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=10997500 CPUtime=9.27 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 6885 12585 0 0 874 41 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=10997500 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 8186 12585 0 0 876 44 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=10997500 CPUtime=9.17 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 8483 12585 0 0 864 41 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=10997500 CPUtime=9.33 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 7741 12585 0 0 876 45 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=10997500 CPUtime=9.29 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 5334 12585 0 0 875 42 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=10997500 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 4540 12585 0 0 884 43 9 3 20 0 20 0 8885061 11261440000 224987 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) S 28073 28076 23034 0 -1 1077944384 14212 12585 0 0 648 53 9 3 20 0 20 0 8885063 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359435290992 140360094894722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 56 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359434237088 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 45 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359433184128 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=10997500 CPUtime=7.43 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) S 28073 28076 23034 0 -1 1077944384 15929 12585 0 0 726 5 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359431080816 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) S 28073 28076 23034 0 -1 1077944384 13121 12585 0 0 676 4 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359430028016 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10997500 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) S 28073 28076 23034 0 -1 1077944384 7985 12585 0 0 668 4 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359428975216 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10997500 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) S 28073 28076 23034 0 -1 1077944384 13896 12585 0 0 380 7 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359427922416 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=10997500 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 1784 12585 0 0 62 65 9 3 20 0 20 0 8885068 11261440000 224987 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 2348.05
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2312.9 s]
/proc/loadavg: 1.33 1.39 1.55 3/281 28368
/proc/meminfo: memFree=30078212/32770624 swapFree=5756/318780
[pid=28076] ppid=28073 vsize=10997500 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 213757 12585 0 0 239498 497 9 3 20 0 20 0 8885047 11261440000 224858 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2749375 224858 3514 1 0 2736930 0
[pid=28076/tid=28131] ppid=28073 vsize=10997500 CPUtime=2291.69 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) R 28073 28076 23034 0 -1 4202560 89136 12585 0 0 229107 50 9 3 20 0 20 0 8885060 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360099117632 140359703102806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=10997500 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 7274 12585 0 0 901 44 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=10997500 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 6870 12585 0 0 888 40 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=10997500 CPUtime=9.5 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 6894 12585 0 0 896 42 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=10997500 CPUtime=9.51 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 8192 12585 0 0 895 44 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=10997500 CPUtime=9.38 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 8493 12585 0 0 885 41 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=10997500 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 7752 12585 0 0 895 46 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=10997500 CPUtime=9.51 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 5384 12585 0 0 896 43 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=10997500 CPUtime=9.6 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 4549 12585 0 0 904 44 9 3 20 0 20 0 8885061 11261440000 224858 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=10997500 CPUtime=7.29 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) S 28073 28076 23034 0 -1 1077944384 14253 12585 0 0 663 54 9 3 20 0 20 0 8885063 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359435290992 140360094894722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 56 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359434237088 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 45 12585 0 0 0 0 9 3 20 0 20 0 8885064 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359433184128 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 1 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=10997500 CPUtime=7.43 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) S 28073 28076 23034 0 -1 1077944384 15929 12585 0 0 726 5 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359431080816 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) S 28073 28076 23034 0 -1 1077944384 13121 12585 0 0 676 4 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359430028016 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=10997500 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) S 28073 28076 23034 0 -1 1077944384 7985 12585 0 0 668 4 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359428975216 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=10997500 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) S 28073 28076 23034 0 -1 1077944384 13896 12585 0 0 380 7 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359427922416 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 1797 12585 0 0 64 66 9 3 20 0 20 0 8885068 11261440000 224858 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28076 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2313.2 s]
/proc/loadavg: 1.33 1.39 1.55 3/281 28368
/proc/meminfo: memFree=30078212/32770624 swapFree=5756/318780
[pid=28076] ppid=28073 vsize=11130628 CPUtime=2401.71 cores=1,3,5,7,9,11,13,15
/proc/28076/stat : 28076 (java) S 28073 28076 23034 0 -1 1077944320 220681 12585 0 0 239660 499 9 3 20 0 22 0 8885047 11397763072 227192 33554432000 4194304 4196468 140729050635680 140729050618224 140360094883575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
/proc/28076/statm: 2782657 227192 3514 1 0 2770212 0
[pid=28076/tid=28131] ppid=28073 vsize=11130628 CPUtime=2291.7 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28131/stat : 28131 (java) S 28073 28076 23034 0 -1 1077944384 89518 12585 0 0 229108 50 9 3 20 0 22 0 8885060 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360099121296 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28132] ppid=28073 vsize=11130628 CPUtime=9.78 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28132/stat : 28132 (java) S 28073 28076 23034 0 -1 1077944384 7281 12585 0 0 921 45 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360020957840 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28133] ppid=28073 vsize=11130628 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28133/stat : 28133 (java) S 28073 28076 23034 0 -1 1077944384 6876 12585 0 0 906 40 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360019905040 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28134] ppid=28073 vsize=11130628 CPUtime=9.7 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28134/stat : 28134 (java) S 28073 28076 23034 0 -1 1077944384 6904 12585 0 0 916 42 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360018852240 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28135] ppid=28073 vsize=11130628 CPUtime=9.7 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28135/stat : 28135 (java) S 28073 28076 23034 0 -1 1077944384 8207 12585 0 0 913 45 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360017799440 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28136] ppid=28073 vsize=11130628 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28136/stat : 28136 (java) S 28073 28076 23034 0 -1 1077944384 8526 12585 0 0 904 41 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360016747664 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28137] ppid=28073 vsize=11130628 CPUtime=9.73 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28137/stat : 28137 (java) S 28073 28076 23034 0 -1 1077944384 7760 12585 0 0 915 46 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360015694864 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28138] ppid=28073 vsize=11130628 CPUtime=9.7 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28138/stat : 28138 (java) S 28073 28076 23034 0 -1 1077944384 5397 12585 0 0 915 43 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360014642064 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28139] ppid=28073 vsize=11130628 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28139/stat : 28139 (java) S 28073 28076 23034 0 -1 1077944384 4560 12585 0 0 924 44 9 3 20 0 22 0 8885061 11397763072 227192 33554432000 4194304 4196468 140729050635680 140360013589264 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28140] ppid=28073 vsize=11130628 CPUtime=7.38 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28140/stat : 28140 (java) R 28073 28076 23034 0 -1 4202560 20456 12585 0 0 672 54 9 3 20 0 22 0 8885063 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359435289392 140360079074350 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28141] ppid=28073 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28141/stat : 28141 (java) S 28073 28076 23034 0 -1 1077944384 58 12585 0 0 0 0 9 3 20 0 22 0 8885064 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359434236992 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28142] ppid=28073 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28142/stat : 28142 (java) S 28073 28076 23034 0 -1 1077944384 45 12585 0 0 0 0 9 3 20 0 22 0 8885064 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359433184128 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28143] ppid=28073 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28143/stat : 28143 (java) S 28073 28076 23034 0 -1 1077944384 110 12585 0 0 0 0 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359432132432 140360094902171 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28144] ppid=28073 vsize=11130628 CPUtime=7.43 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28144/stat : 28144 (java) S 28073 28076 23034 0 -1 1077944384 15929 12585 0 0 726 5 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359431080816 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28145] ppid=28073 vsize=11130628 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28145/stat : 28145 (java) S 28073 28076 23034 0 -1 1077944384 13121 12585 0 0 676 4 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359430028016 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28146] ppid=28073 vsize=11130628 CPUtime=6.84 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28146/stat : 28146 (java) S 28073 28076 23034 0 -1 1077944384 7985 12585 0 0 668 4 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359428975216 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28147] ppid=28073 vsize=11130628 CPUtime=3.99 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28147/stat : 28147 (java) S 28073 28076 23034 0 -1 1077944384 13896 12585 0 0 380 7 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359427922416 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28148] ppid=28073 vsize=11130628 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28148/stat : 28148 (java) S 28073 28076 23034 0 -1 1077944384 3 12585 0 0 0 0 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359426869856 140360094893781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
[pid=28076/tid=28149] ppid=28073 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/28076/task/28149/stat : 28149 (java) S 28073 28076 23034 0 -1 1077944384 1797 12585 0 0 64 66 9 3 20 0 22 0 8885068 11397763072 227192 33554432000 4194304 4196468 140729050635680 140359425817136 140360094894722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36761600 140729050639041 140729050641815 140729050641815 140729050644431 0
Current children cumulated CPU time (s) 2401.71
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2313.29
CPU time (s): 2401.98
CPU user time (s): 2396.94
CPU system time (s): 5.04165
CPU usage (%): 103.834
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.94
system time used= 5.04164
maximum resident set size= 1734324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 309205
involuntary context switches= 185728
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1123 second user time and 21.4406 second system time
The end