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-4244539-1500689934/watcher-4244539-1500689934 -o /tmp/evaluation-result-4244539-1500689934/solver-4244539-1500689934 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16359 --watchdog 2560 bin/concrete HOME/instance-4244539-1500689934.xml
pid=18168
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.35 1.34 1.45 3/261 18171
/proc/meminfo: memFree=29881524/32770624 swapFree=5912/89148
[pid=18171] ppid=18168 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (bash) S 18168 18171 16327 0 -1 4202496 687 1534 0 0 0 0 0 0 20 0 1 0 4263019 9736192 351 33554432000 4194304 5098028 140731385571904 140731385569544 140352038804480 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29241344 140731385574670 140731385574755 140731385574755 140731385577454 0
/proc/18171/statm: 2377 351 278 221 0 86 0
[startup+0.100126 s]
/proc/loadavg: 1.35 1.34 1.45 3/261 18171
/proc/meminfo: memFree=29881524/32770624 swapFree=5912/89148
[pid=18171] ppid=18168 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (bash) S 18168 18171 16327 0 -1 4202496 881 6422 0 0 0 0 0 1 20 0 1 0 4263019 9871360 378 33554432000 4194304 5098028 140731385571904 140731385565912 140352038804480 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 29241344 140731385574670 140731385574755 140731385574755 140731385577454 0
/proc/18171/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200307 s]
/proc/loadavg: 1.35 1.34 1.45 3/261 18171
/proc/meminfo: memFree=29881524/32770624 swapFree=5912/89148
[pid=18171] ppid=18168 vsize=10835244 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 5359 12681 0 0 7 2 7 3 20 0 19 0 4263019 11095289856 5641 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2708811 5641 2587 1 0 2697249 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10835244
[startup+0.300331 s]
/proc/loadavg: 1.35 1.34 1.45 3/261 18171
/proc/meminfo: memFree=29881524/32770624 swapFree=5912/89148
[pid=18171] ppid=18168 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 9376 12681 0 0 22 3 7 3 20 0 20 0 4263019 11164049408 10439 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2725598 10439 3003 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392
[startup+0.700222 s]
/proc/loadavg: 1.35 1.34 1.45 3/261 18171
/proc/meminfo: memFree=29881524/32770624 swapFree=5912/89148
[pid=18171] ppid=18168 vsize=10902720 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 13064 12681 0 0 83 6 7 3 20 0 20 0 4263019 11164385280 16394 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2725680 16394 3231 1 0 2713890 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10902720
[startup+1.50159 s]
/proc/loadavg: 1.35 1.34 1.45 3/281 18244
/proc/meminfo: memFree=29774092/32770624 swapFree=5912/89516
[pid=18171] ppid=18168 vsize=10915392 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 27535 12681 0 0 204 17 7 3 20 0 20 0 4263019 11177361408 44614 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2728848 44614 3408 1 0 2716962 0
[pid=18171/tid=18226] ppid=18168 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) R 18168 18171 16327 0 -1 4202560 19542 12681 0 0 124 7 7 3 20 0 20 0 4263031 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429876980704 140429856834910 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) S 18168 18171 16327 0 -1 1077944384 47 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429798828816 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) S 18168 18171 16327 0 -1 1077944384 34 12681 0 0 0 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429797776272 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) S 18168 18171 16327 0 -1 1077944384 28 12681 0 0 0 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429796723728 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) S 18168 18171 16327 0 -1 1077944384 19 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429795671184 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) S 18168 18171 16327 0 -1 1077944384 27 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429475440912 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) S 18168 18171 16327 0 -1 1077944384 26 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429474388368 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) S 18168 18171 16327 0 -1 1077944384 143 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429473335824 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) S 18168 18171 16327 0 -1 1077944384 23 12681 0 0 1 0 7 3 20 0 20 0 4263032 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429472283280 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=10915392 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 1302 12681 0 0 1 0 7 3 20 0 20 0 4263034 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429078878704 140429872765570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 56 12681 0 0 0 0 7 3 20 0 20 0 4263035 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429077824992 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 44 12681 0 0 0 0 7 3 20 0 20 0 4263035 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 1 12681 0 0 0 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) S 18168 18171 16327 0 -1 1077944384 881 12681 0 0 12 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429074667504 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=10915392 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) S 18168 18171 16327 0 -1 1077944384 1298 12681 0 0 17 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429073614960 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=10915392 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) S 18168 18171 16327 0 -1 1077944384 440 12681 0 0 10 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429072562416 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=10915392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 1486 12681 0 0 27 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 6 12681 0 0 0 0 7 3 20 0 20 0 4263039 11177361408 44614 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392
[startup+3.10104 s]
/proc/loadavg: 1.35 1.34 1.45 6/281 18244
/proc/meminfo: memFree=29699420/32770624 swapFree=5912/89520
[pid=18171] ppid=18168 vsize=10925820 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 44364 12681 0 0 676 24 7 3 20 0 20 0 4263019 11188039680 57973 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2731455 57973 3475 1 0 2719010 0
[pid=18171/tid=18226] ppid=18168 vsize=10925820 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) R 18168 18171 16327 0 -1 4202560 25089 12681 0 0 281 9 7 3 20 0 20 0 4263031 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429876985424 140429485398863 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) S 18168 18171 16327 0 -1 1077944384 47 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429798828816 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) S 18168 18171 16327 0 -1 1077944384 34 12681 0 0 0 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429797776272 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) S 18168 18171 16327 0 -1 1077944384 28 12681 0 0 0 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429796723728 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) S 18168 18171 16327 0 -1 1077944384 19 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429795671184 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) S 18168 18171 16327 0 -1 1077944384 27 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429475440912 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) S 18168 18171 16327 0 -1 1077944384 26 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429474388368 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) S 18168 18171 16327 0 -1 1077944384 143 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429473335824 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) S 18168 18171 16327 0 -1 1077944384 23 12681 0 0 1 0 7 3 20 0 20 0 4263032 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429472283280 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 1317 12681 0 0 1 0 7 3 20 0 20 0 4263034 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429078878704 140429872765570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 56 12681 0 0 0 0 7 3 20 0 20 0 4263035 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429077824992 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 44 12681 0 0 0 0 7 3 20 0 20 0 4263035 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 1 12681 0 0 0 0 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=10925820 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) R 18168 18171 16327 0 -1 4202560 2237 12681 0 0 73 1 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429074648520 140429852595141 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=10925820 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) R 18168 18171 16327 0 -1 4202560 5053 12681 0 0 110 2 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429073596368 140429853457635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=10925820 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) R 18168 18171 16327 0 -1 4202560 2615 12681 0 0 75 1 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429072547728 140429852174556 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=10925820 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 5473 12681 0 0 121 2 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 8 12681 0 0 0 0 7 3 20 0 20 0 4263039 11188039680 57973 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 10925820
[startup+6.30117 s]
/proc/loadavg: 1.64 1.40 1.47 3/281 18244
/proc/meminfo: memFree=29499076/32770624 swapFree=5912/89520
[pid=18171] ppid=18168 vsize=10927868 CPUtime=18.57 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 77264 12681 0 0 1759 88 7 3 20 0 20 0 4263019 11190136832 112310 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2731967 112310 3498 1 0 2719522 0
[pid=18171/tid=18226] ppid=18168 vsize=10927868 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) R 18168 18171 16327 0 -1 4202560 29318 12681 0 0 572 11 7 3 20 0 20 0 4263031 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429876985656 140429477198985 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=10927868 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) S 18168 18171 16327 0 -1 1077944384 181 12681 0 0 15 8 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429798828816 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=10927868 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) S 18168 18171 16327 0 -1 1077944384 167 12681 0 0 13 7 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429797776272 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=10927868 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) S 18168 18171 16327 0 -1 1077944384 148 12681 0 0 13 6 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429796723728 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=10927868 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) S 18168 18171 16327 0 -1 1077944384 503 12681 0 0 15 6 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429795671184 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=10927868 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) S 18168 18171 16327 0 -1 1077944384 206 12681 0 0 14 8 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429475440912 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=10927868 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) S 18168 18171 16327 0 -1 1077944384 200 12681 0 0 14 7 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429474388368 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=10927868 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) S 18168 18171 16327 0 -1 1077944384 302 12681 0 0 14 8 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429473335824 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=10927868 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) S 18168 18171 16327 0 -1 1077944384 1294 12681 0 0 15 8 7 3 20 0 20 0 4263032 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429472283280 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 5405 12681 0 0 5 0 7 3 20 0 20 0 4263034 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429078878704 140429872765570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 63 12681 0 0 0 0 7 3 20 0 20 0 4263035 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429077824992 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 57 12681 0 0 0 0 7 3 20 0 20 0 4263035 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 1 12681 0 0 0 0 7 3 20 0 20 0 4263039 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=10927868 CPUtime=2.93 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) R 18168 18171 16327 0 -1 4202560 7972 12681 0 0 281 2 7 3 20 0 20 0 4263039 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429074654320 140429857862090 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=10927868 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) R 18168 18171 16327 0 -1 4202560 11144 12681 0 0 322 3 7 3 20 0 20 0 4263039 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429073597744 140429857863978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=10927868 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) R 18168 18171 16327 0 -1 4202560 7743 12681 0 0 267 2 7 3 20 0 20 0 4263039 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429072561520 140429856746402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=10927868 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 10183 12681 0 0 190 3 7 3 20 0 20 0 4263039 11190136832 112310 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 20796 12681 0 0 260 5 7 3 20 0 20 0 4263039 11261440000 508616 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 20 0 4263039 11261440000 508616 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 1935 12681 0 0 52 72 7 3 20 0 20 0 4263039 11261440000 508616 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 2343.5
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2317.2 s]
/proc/loadavg: 1.37 1.35 1.43 3/281 18454
/proc/meminfo: memFree=27752236/32770624 swapFree=5912/91872
[pid=18171] ppid=18168 vsize=10997500 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 351400 12681 0 0 239459 534 7 3 20 0 20 0 4263019 11261440000 508940 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2749375 508940 3516 1 0 2736930 0
[pid=18171/tid=18226] ppid=18168 vsize=10997500 CPUtime=2296.53 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) R 18168 18171 16327 0 -1 4202560 122340 12681 0 0 229582 61 7 3 20 0 20 0 4263031 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429876988384 140429484458124 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=10997500 CPUtime=9.91 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) S 18168 18171 16327 0 -1 1077944384 10343 12681 0 0 935 46 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429798828816 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=10997500 CPUtime=9.84 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) S 18168 18171 16327 0 -1 1077944384 20966 12681 0 0 926 48 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429797776272 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=10997500 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) S 18168 18171 16327 0 -1 1077944384 10466 12681 0 0 920 49 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429796723728 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=10997500 CPUtime=9.94 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) S 18168 18171 16327 0 -1 1077944384 18453 12681 0 0 934 50 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429795671184 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=10997500 CPUtime=9.93 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) S 18168 18171 16327 0 -1 1077944384 15102 12681 0 0 935 48 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429475440912 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=10997500 CPUtime=9.91 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) S 18168 18171 16327 0 -1 1077944384 16503 12681 0 0 938 43 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429474388368 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=10997500 CPUtime=9.9 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) S 18168 18171 16327 0 -1 1077944384 21740 12681 0 0 930 50 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429473335824 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=10997500 CPUtime=9.86 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) S 18168 18171 16327 0 -1 1077944384 17000 12681 0 0 927 49 7 3 20 0 20 0 4263032 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429472283280 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=10997500 CPUtime=6.85 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 27403 12681 0 0 634 41 7 3 20 0 20 0 4263034 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429078878704 140429872765570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 64 12681 0 0 0 0 7 3 20 0 20 0 4263035 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429077825056 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 57 12681 0 0 0 0 7 3 20 0 20 0 4263035 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 1 12681 0 0 0 0 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=10997500 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) S 18168 18171 16327 0 -1 1077944384 12020 12681 0 0 456 4 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429074667504 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=10997500 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) S 18168 18171 16327 0 -1 1077944384 17539 12681 0 0 479 6 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429073614960 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=10997500 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) S 18168 18171 16327 0 -1 1077944384 16516 12681 0 0 489 4 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429072562416 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=10997500 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 20798 12681 0 0 260 5 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=10997500 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 1956 12681 0 0 54 74 7 3 20 0 20 0 4263039 11261440000 508940 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 2400.03
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 18171 sig 9
??? kill -18171 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2317.6 s]
/proc/loadavg: 1.37 1.35 1.43 3/281 18454
/proc/meminfo: memFree=27752236/32770624 swapFree=5912/91872
[pid=18171] ppid=18168 vsize=11130628 CPUtime=2402.57 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 365035 12681 0 0 239710 537 7 3 20 0 22 0 4263019 11397763072 511279 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2782657 511279 3516 1 0 2770212 0
[pid=18171/tid=18226] ppid=18168 vsize=11130628 CPUtime=2296.54 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) S 18168 18171 16327 0 -1 1077944384 123460 12681 0 0 229583 61 7 3 20 0 22 0 4263031 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429876991968 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=11130628 CPUtime=10.21 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) R 18168 18171 16327 0 -1 4202560 10373 12681 0 0 965 46 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429798829016 140429865382631 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=11130628 CPUtime=10.15 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) R 18168 18171 16327 0 -1 4202560 21007 12681 0 0 957 48 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429797776160 140429865382631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=11130628 CPUtime=10.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) R 18168 18171 16327 0 -1 4202560 10533 12681 0 0 951 49 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429796723928 140429865382631 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=11130628 CPUtime=10.25 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) R 18168 18171 16327 0 -1 4202560 18477 12681 0 0 965 50 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429795671304 140429856137456 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=11130628 CPUtime=10.25 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) R 18168 18171 16327 0 -1 4202560 15165 12681 0 0 967 48 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429475441112 140429865382631 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=11130628 CPUtime=10.24 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) R 18168 18171 16327 0 -1 4202560 16553 12681 0 0 970 44 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429474388568 140429865382631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=11130628 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) R 18168 18171 16327 0 -1 4202560 21756 12681 0 0 961 51 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429473336024 140429857211993 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=11130628 CPUtime=10.15 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) R 18168 18171 16327 0 -1 4202560 17013 12681 0 0 956 49 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429472283480 140429865382631 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=11130628 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 39035 12681 0 0 640 42 7 3 20 0 22 0 4263034 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429078877328 140429872764629 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 65 12681 0 0 0 0 7 3 20 0 22 0 4263035 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429077824656 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 57 12681 0 0 0 0 7 3 20 0 22 0 4263035 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 223 12681 0 0 0 0 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=11130628 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) S 18168 18171 16327 0 -1 1077944384 12020 12681 0 0 456 4 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429074667552 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=11130628 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) S 18168 18171 16327 0 -1 1077944384 17539 12681 0 0 479 6 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429073614960 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=11130628 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) S 18168 18171 16327 0 -1 1077944384 16517 12681 0 0 489 4 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429072562176 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=11130628 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 20798 12681 0 0 260 5 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 1956 12681 0 0 54 74 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 2402.57
Current children cumulated vsize (KiB) 11130628
[startup+2317.7 s]
/proc/loadavg: 1.37 1.35 1.43 3/283 18457
/proc/meminfo: memFree=27742516/32770624 swapFree=5912/91900
[pid=18171] ppid=18168 vsize=11130628 CPUtime=2403.14 cores=1,3,5,7,9,11,13,15
/proc/18171/stat : 18171 (java) S 18168 18171 16327 0 -1 1077944320 365057 12681 0 0 239767 537 7 3 20 0 22 0 4263019 11397763072 511279 33554432000 4194304 4196468 140724203337088 140724203319632 140429872754423 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
/proc/18171/statm: 2782657 511279 3516 1 0 2770212 0
[pid=18171/tid=18226] ppid=18168 vsize=11130628 CPUtime=2296.54 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18226/stat : 18226 (java) S 18168 18171 16327 0 -1 1077944384 123460 12681 0 0 229583 61 7 3 20 0 22 0 4263031 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429876991968 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18227] ppid=18168 vsize=11130628 CPUtime=10.28 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18227/stat : 18227 (java) R 18168 18171 16327 0 -1 4202560 10376 12681 0 0 972 46 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429798829016 140429857751031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18228] ppid=18168 vsize=11130628 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18228/stat : 18228 (java) R 18168 18171 16327 0 -1 4202560 21007 12681 0 0 964 48 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429797776472 140429857453168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18229] ppid=18168 vsize=11130628 CPUtime=10.17 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18229/stat : 18229 (java) R 18168 18171 16327 0 -1 4202560 10535 12681 0 0 958 49 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429796723928 140429854364178 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18230] ppid=18168 vsize=11130628 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18230/stat : 18230 (java) R 18168 18171 16327 0 -1 4202560 18478 12681 0 0 972 50 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429795671384 140429854364056 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18231] ppid=18168 vsize=11130628 CPUtime=10.31 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18231/stat : 18231 (java) R 18168 18171 16327 0 -1 4202560 15166 12681 0 0 973 48 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429475441112 140429854364032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18232] ppid=18168 vsize=11130628 CPUtime=10.31 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18232/stat : 18232 (java) R 18168 18171 16327 0 -1 4202560 16557 12681 0 0 977 44 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429474388568 140429857453203 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18233] ppid=18168 vsize=11130628 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18233/stat : 18233 (java) R 18168 18171 16327 0 -1 4202560 21756 12681 0 0 968 51 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429473336024 140429857751096 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18234] ppid=18168 vsize=11130628 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18234/stat : 18234 (java) R 18168 18171 16327 0 -1 4202560 17022 12681 0 0 961 49 7 3 20 0 22 0 4263032 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429472283280 140429854364211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18235] ppid=18168 vsize=11130628 CPUtime=6.96 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18235/stat : 18235 (java) S 18168 18171 16327 0 -1 1077944384 39035 12681 0 0 644 42 7 3 20 0 22 0 4263034 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429078877328 140429872764629 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18236] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18236/stat : 18236 (java) S 18168 18171 16327 0 -1 1077944384 65 12681 0 0 0 0 7 3 20 0 22 0 4263035 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429077824960 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18237] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18237/stat : 18237 (java) S 18168 18171 16327 0 -1 1077944384 57 12681 0 0 0 0 7 3 20 0 22 0 4263035 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429076772352 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18238] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18238/stat : 18238 (java) S 18168 18171 16327 0 -1 1077944384 223 12681 0 0 0 0 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429075720912 140429872773019 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18239] ppid=18168 vsize=11130628 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18239/stat : 18239 (java) S 18168 18171 16327 0 -1 1077944384 12021 12681 0 0 456 4 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429074667264 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18240] ppid=18168 vsize=11130628 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18240/stat : 18240 (java) S 18168 18171 16327 0 -1 1077944384 17539 12681 0 0 479 6 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429073614960 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18241] ppid=18168 vsize=11130628 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18241/stat : 18241 (java) S 18168 18171 16327 0 -1 1077944384 16517 12681 0 0 489 4 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429072562416 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18242] ppid=18168 vsize=11130628 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18242/stat : 18242 (java) S 18168 18171 16327 0 -1 1077944384 20798 12681 0 0 260 5 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429071509872 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18243] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18243/stat : 18243 (java) S 18168 18171 16327 0 -1 1077944384 3 12681 0 0 0 0 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429070457568 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18244] ppid=18168 vsize=11130628 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18244/stat : 18244 (java) S 18168 18171 16327 0 -1 1077944384 1956 12681 0 0 54 74 7 3 20 0 22 0 4263039 11397763072 511279 33554432000 4194304 4196468 140724203337088 140429069405104 140429872765570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18455] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18455/stat : 18455 (java) S 18168 18171 16327 0 -1 1077944384 323 12681 0 0 0 0 7 3 20 0 22 0 4494740 11397763072 511279 33554432000 4194304 4196468 140724203337088 140428969931504 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
[pid=18171/tid=18456] ppid=18168 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/18171/task/18456/stat : 18456 (java) S 18168 18171 16327 0 -1 1077944384 31 12681 0 0 0 0 7 3 20 0 22 0 4494740 11397763072 511279 33554432000 4194304 4196468 140724203337088 140428968879680 140429872764629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10604544 140724203342529 140724203345303 140724203345303 140724203347919 0
Current children cumulated CPU time (s) 2403.14
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2317.81
CPU time (s): 2403.61
CPU user time (s): 2398.18
CPU system time (s): 5.43745
CPU usage (%): 103.702
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.18
system time used= 5.43745
maximum resident set size= 2275004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283791
involuntary context switches= 181043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5057 second user time and 21.0607 second system time
The end