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-4244160-1500681110/watcher-4244160-1500681110 -o /tmp/evaluation-result-4244160-1500681110/solver-4244160-1500681110 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500678446-13853 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244160-1500681110.xml
pid=14421
running on 8 cores: 0,2,4,6,8,10,12,14
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: 9.73 7.43 4.49 3/263 14424
/proc/meminfo: memFree=24350420/32770624 swapFree=5968/206800
[pid=14424] ppid=14421 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3377779 369864704 1935 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 90299 1935 1081 1 0 79210 0
[pid=14424/tid=14425] ppid=14421 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) S 14421 14424 13822 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3377780 369864704 1935 33554432000 4194304 4196468 140723917892688 140204358678944 140204354448002 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[startup+0.100158 s]
/proc/loadavg: 9.73 7.43 4.49 3/263 14424
/proc/meminfo: memFree=24350420/32770624 swapFree=5968/206800
[pid=14424] ppid=14421 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 4664 0 0 0 8 1 0 0 20 0 20 0 3377779 11162169344 5781 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725139 5781 2633 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900556 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 2746 0 0 0 7 0 0 0 20 0 20 0 3377780 11162169344 5781 33554432000 4194304 4196468 140723917892688 140204358679136 140204339808017 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200377 s]
/proc/loadavg: 9.73 7.43 4.49 3/263 14424
/proc/meminfo: memFree=24350420/32770624 swapFree=5968/206800
[pid=14424] ppid=14421 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 6897 0 0 0 23 3 0 0 20 0 20 0 3377779 11162169344 7706 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725139 7706 2853 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 4570 0 0 0 16 1 0 0 20 0 20 0 3377780 11162169344 7706 33554432000 4194304 4196468 140723917892688 140204358669008 140204354458781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300384 s]
/proc/loadavg: 9.73 7.43 4.49 3/263 14424
/proc/meminfo: memFree=24350420/32770624 swapFree=5968/206800
[pid=14424] ppid=14421 vsize=10900556 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 7789 0 0 0 37 3 0 0 20 0 20 0 3377779 11162169344 9460 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725139 9460 2917 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 5367 0 0 0 25 2 0 0 20 0 20 0 3377780 11162169344 9460 33554432000 4194304 4196468 140723917892688 140204358667248 140204354458781 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10900556
[startup+0.700284 s]
/proc/loadavg: 9.73 7.43 4.49 3/263 14424
/proc/meminfo: memFree=24350420/32770624 swapFree=5968/206800
[pid=14424] ppid=14421 vsize=10900632 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 12826 0 0 0 164 21 0 0 20 0 20 0 3377779 11162247168 52715 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 52715 3098 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 5906 0 0 0 59 4 0 0 20 0 20 0 3377780 11162247168 52715 33554432000 4194304 4196468 140723917892688 140204358633416 140203992348453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10900632
[startup+1.50191 s]
/proc/loadavg: 9.73 7.43 4.49 10/283 14444
/proc/meminfo: memFree=24037828/32770624 swapFree=5968/206836
[pid=14424] ppid=14421 vsize=10900632 CPUtime=5.26 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 14351 0 0 0 371 155 0 0 20 0 20 0 3377779 11162247168 144461 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 144461 3113 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) S 14421 14424 13822 0 -1 1077944384 5968 0 0 0 101 6 0 0 20 0 20 0 3377780 11162247168 144461 33554432000 4194304 4196468 140723917892688 140204358652064 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) R 14421 14424 13822 0 -1 4202560 198 0 0 0 21 17 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140204310990088 140204339480991 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) R 14421 14424 13822 0 -1 4202560 197 0 0 0 20 19 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140204309937288 140204339458976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) R 14421 14424 13822 0 -1 4202560 226 0 0 0 21 17 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203959180376 140204339458976 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) R 14421 14424 13822 0 -1 4202560 198 0 0 0 20 18 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203958127576 140204338885070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) R 14421 14424 13822 0 -1 4202560 174 0 0 0 20 17 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203957074776 140204339458865 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) R 14421 14424 13822 0 -1 4202560 186 0 0 0 20 18 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203956021896 140204339458976 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) R 14421 14424 13822 0 -1 4202560 195 0 0 0 20 18 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203954968864 140204339458976 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) R 14421 14424 13822 0 -1 4202560 193 0 0 0 20 18 0 0 20 0 20 0 3377781 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203953916376 140204339458979 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3377783 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203628914080 140204354447061 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203627861536 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203626808688 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14438/stat : 14438 (java) S 14421 14424 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3377788 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203625757008 140204354455451 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14439] ppid=14421 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14439/stat : 14439 (java) S 14421 14424 13822 0 -1 1077944384 1611 0 0 0 25 0 0 0 20 0 20 0 3377788 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203624704368 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) S 14421 14424 13822 0 -1 1077944384 1420 0 0 0 26 0 0 0 20 0 20 0 3377788 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203623651568 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) S 14421 14424 13822 0 -1 1077944384 1404 0 0 0 26 0 0 0 20 0 20 0 3377788 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203622598768 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 929 0 0 0 25 0 0 0 20 0 20 0 3377788 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 144461 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 5.26
Current children cumulated vsize (KiB) 10900632
[startup+3.10103 s]
/proc/loadavg: 9.73 7.43 4.49 10/283 14444
/proc/meminfo: memFree=23725676/32770624 swapFree=5968/206836
[pid=14424] ppid=14421 vsize=10900632 CPUtime=11.76 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 16973 0 0 0 942 234 0 0 20 0 20 0 3377779 11162247168 193358 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 193358 3129 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 5985 0 0 0 158 6 0 0 20 0 20 0 3377780 11162247168 193358 33554432000 4194304 4196468 140723917892688 140204358667752 140203992450058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) S 14421 14424 13822 0 -1 1077944384 328 0 0 0 79 28 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140204310989968 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) S 14421 14424 13822 0 -1 1077944384 435 0 0 0 78 29 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140204309937168 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) S 14421 14424 13822 0 -1 1077944384 548 0 0 0 80 28 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203959180176 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) S 14421 14424 13822 0 -1 1077944384 437 0 0 0 81 26 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203958127376 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) S 14421 14424 13822 0 -1 1077944384 480 0 0 0 79 28 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203957074576 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) S 14421 14424 13822 0 -1 1077944384 416 0 0 0 79 28 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203956021776 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) S 14421 14424 13822 0 -1 1077944384 404 0 0 0 79 29 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203954968976 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) S 14421 14424 13822 0 -1 1077944384 660 0 0 0 81 26 0 0 20 0 20 0 3377781 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203953916176 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 524 0 0 0 33 0 0 0 20 0 20 0 3377783 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203628915568 140204354448002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203627861536 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203626808688 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14438/stat : 14438 (java) S 14421 14424 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3377788 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203625757008 140204354455451 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14439] ppid=14421 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14439/stat : 14439 (java) R 14421 14424 13822 0 -1 4202560 1614 0 0 0 27 0 0 0 20 0 20 0 3377788 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203624686352 140204337966590 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) R 14421 14424 13822 0 -1 4202560 1427 0 0 0 28 0 0 0 20 0 20 0 3377788 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203623634240 140204337920340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) R 14421 14424 13822 0 -1 4202560 1406 0 0 0 28 0 0 0 20 0 20 0 3377788 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203622588240 140204338844065 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 941 0 0 0 25 0 0 0 20 0 20 0 3377788 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 193358 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 10900632
[startup+6.30098 s]
/proc/loadavg: 10.15 7.56 4.54 10/283 14444
/proc/meminfo: memFree=22983716/32770624 swapFree=5968/206848
[pid=14424] ppid=14421 vsize=10900632 CPUtime=26.68 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 25519 0 0 0 2172 496 0 0 20 0 20 0 3377779 11162247168 390862 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 390862 3137 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) R 14421 14424 13822 0 -1 4202560 7208 0 0 0 258 10 0 0 20 0 20 0 3377780 11162247168 390862 33554432000 4194304 4196468 140723917892688 140204358671824 140203992637796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) S 14421 14424 13822 0 -1 1077944384 2099 0 0 0 210 57 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140204310989968 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=2.69 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) S 14421 14424 13822 0 -1 1077944384 1008 0 0 0 206 63 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140204309937168 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) S 14421 14424 13822 0 -1 1077944384 1218 0 0 0 211 60 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203959180176 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=2.67 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) S 14421 14424 13822 0 -1 1077944384 933 0 0 0 209 58 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203958127376 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) S 14421 14424 13822 0 -1 1077944384 1035 0 0 0 208 60 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203957074576 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) S 14421 14424 13822 0 -1 1077944384 1000 0 0 0 209 59 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203956021776 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) S 14421 14424 13822 0 -1 1077944384 666 0 0 0 209 62 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203954968976 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) S 14421 14424 13822 0 -1 1077944384 1102 0 0 0 209 59 0 0 20 0 20 0 3377781 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203953916176 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 1719 0 0 0 84 0 0 0 20 0 20 0 3377783 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203628915568 140204354448002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203627861600 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 390862 33554432000 4194304 4196468 140723917892688 140203626808704 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) S 14421 14424 13822 0 -1 1077944384 2263 0 0 0 44 1 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203623651328 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) S 14421 14424 13822 0 -1 1077944384 2637 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203622598768 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 2084 0 0 0 29 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 2400.29
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14424
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14424 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+337.601 s]
/proc/loadavg: 12.70 11.02 6.91 17/281 14537
/proc/meminfo: memFree=16018344/32770624 swapFree=5968/206836
[pid=14424] ppid=14421 vsize=10900632 CPUtime=2411.43 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 189142 0 0 0 238538 2605 0 0 20 0 20 0 3377779 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 2081799 3139 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=14.67 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) S 14421 14424 13822 0 -1 1077944384 13714 0 0 0 1456 11 0 0 20 0 20 0 3377780 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204358671792 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=297.24 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) R 14421 14424 13822 0 -1 4202560 12183 0 0 0 29410 314 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204310989552 140204347065063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=297.25 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) R 14421 14424 13822 0 -1 4202560 13370 0 0 0 29419 306 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204309937064 140204337819890 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=296.63 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) R 14421 14424 13822 0 -1 4202560 10329 0 0 0 29368 295 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203959179760 140204347065063 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=296.57 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) R 14421 14424 13822 0 -1 4202560 11220 0 0 0 29316 341 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203958127264 140204339134468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=296.71 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) R 14421 14424 13822 0 -1 4202560 13198 0 0 0 29363 308 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203957074160 140204347065063 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=296.91 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) R 14421 14424 13822 0 -1 4202560 11332 0 0 0 29355 336 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203956021360 140204347065063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=296.97 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) R 14421 14424 13822 0 -1 4202560 14664 0 0 0 29373 324 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203954968560 140204347065063 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=296.08 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) R 14421 14424 13822 0 -1 4202560 12273 0 0 0 29255 353 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203953915760 140204347065063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=20.52 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 66214 0 0 0 2047 5 0 0 20 0 20 0 3377783 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203628913888 140204354447061 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203627861600 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203626808704 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14438/stat : 14438 (java) S 14421 14424 13822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203625756656 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14439] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14439/stat : 14439 (java) S 14421 14424 13822 0 -1 1077944384 2019 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203624704368 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) S 14421 14424 13822 0 -1 1077944384 2263 0 0 0 44 1 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203623651328 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) S 14421 14424 13822 0 -1 1077944384 2637 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203622598768 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 2084 0 0 0 29 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 2411.43
Current children cumulated vsize (KiB) 10900632
[startup+338.001 s]
/proc/loadavg: 12.70 11.02 6.91 17/281 14537
/proc/meminfo: memFree=15979184/32770624 swapFree=5968/206836
[pid=14424] ppid=14421 vsize=10900632 CPUtime=2414.52 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 189171 0 0 0 238847 2605 0 0 20 0 20 0 3377779 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 2081799 3139 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=14.67 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) S 14421 14424 13822 0 -1 1077944384 13714 0 0 0 1456 11 0 0 20 0 20 0 3377780 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204358671792 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=297.63 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) R 14421 14424 13822 0 -1 4202560 12183 0 0 0 29449 314 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204310989552 140204347065063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=297.63 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) R 14421 14424 13822 0 -1 4202560 13370 0 0 0 29457 306 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204309937064 140204347065063 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=297.02 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) R 14421 14424 13822 0 -1 4202560 10329 0 0 0 29407 295 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203959179760 140204347065063 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=296.97 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) R 14421 14424 13822 0 -1 4202560 11249 0 0 0 29356 341 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203958127264 140204338890873 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=297.09 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) R 14421 14424 13822 0 -1 4202560 13198 0 0 0 29401 308 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203957074160 140204347065063 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=297.3 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) R 14421 14424 13822 0 -1 4202560 11332 0 0 0 29394 336 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203956021360 140204347065063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=297.35 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) R 14421 14424 13822 0 -1 4202560 14664 0 0 0 29411 324 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203954968560 140204347065063 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=296.46 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) R 14421 14424 13822 0 -1 4202560 12273 0 0 0 29293 353 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203953916072 140204337819888 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=20.52 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 66214 0 0 0 2047 5 0 0 20 0 20 0 3377783 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203628913888 140204354447061 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203627861600 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203626808704 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14438/stat : 14438 (java) S 14421 14424 13822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203625756656 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14439] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14439/stat : 14439 (java) S 14421 14424 13822 0 -1 1077944384 2019 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203624704368 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) S 14421 14424 13822 0 -1 1077944384 2263 0 0 0 44 1 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203623651328 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) S 14421 14424 13822 0 -1 1077944384 2637 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203622598768 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 2084 0 0 0 29 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 2414.52
Current children cumulated vsize (KiB) 10900632
[startup+338.201 s]
/proc/loadavg: 12.70 11.02 6.91 17/281 14537
/proc/meminfo: memFree=15979184/32770624 swapFree=5968/206836
[pid=14424] ppid=14421 vsize=10900632 CPUtime=2416.07 cores=0,2,4,6,8,10,12,14
/proc/14424/stat : 14424 (java) S 14421 14424 13822 0 -1 1077944320 189171 0 0 0 239001 2606 0 0 20 0 20 0 3377779 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140723917875232 140204354436855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
/proc/14424/statm: 2725158 2081799 3139 1 0 2713552 0
[pid=14424/tid=14425] ppid=14421 vsize=10900632 CPUtime=14.67 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14425/stat : 14425 (java) S 14421 14424 13822 0 -1 1077944384 13714 0 0 0 1456 11 0 0 20 0 20 0 3377780 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204358671792 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14427] ppid=14421 vsize=10900632 CPUtime=297.82 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14427/stat : 14427 (java) R 14421 14424 13822 0 -1 4202560 12183 0 0 0 29468 314 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204310989864 140204347065063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14428] ppid=14421 vsize=10900632 CPUtime=297.81 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14428/stat : 14428 (java) R 14421 14424 13822 0 -1 4202560 13370 0 0 0 29475 306 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140204309936752 140204347065063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14429] ppid=14421 vsize=10900632 CPUtime=297.21 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14429/stat : 14429 (java) R 14421 14424 13822 0 -1 4202560 10329 0 0 0 29426 295 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203959180072 140204347065063 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14430] ppid=14421 vsize=10900632 CPUtime=297.17 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14430/stat : 14430 (java) R 14421 14424 13822 0 -1 4202560 11249 0 0 0 29376 341 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203958127264 140204336032672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14431] ppid=14421 vsize=10900632 CPUtime=297.29 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14431/stat : 14431 (java) R 14421 14424 13822 0 -1 4202560 13198 0 0 0 29421 308 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203957074472 140204347065063 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14432] ppid=14421 vsize=10900632 CPUtime=297.5 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14432/stat : 14432 (java) R 14421 14424 13822 0 -1 4202560 11332 0 0 0 29413 337 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203956021672 140204347065063 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14433] ppid=14421 vsize=10900632 CPUtime=297.55 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14433/stat : 14433 (java) R 14421 14424 13822 0 -1 4202560 14664 0 0 0 29431 324 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203954968872 140204347065063 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14434] ppid=14421 vsize=10900632 CPUtime=296.64 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14434/stat : 14434 (java) R 14421 14424 13822 0 -1 4202560 12273 0 0 0 29311 353 0 0 20 0 20 0 3377781 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203953916072 140204337819890 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14435] ppid=14421 vsize=10900632 CPUtime=20.52 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14435/stat : 14435 (java) S 14421 14424 13822 0 -1 1077944384 66214 0 0 0 2047 5 0 0 20 0 20 0 3377783 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203628913888 140204354447061 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14436] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14436/stat : 14436 (java) S 14421 14424 13822 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203627861600 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14437] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14437/stat : 14437 (java) S 14421 14424 13822 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3377784 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203626808704 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14438] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14438/stat : 14438 (java) S 14421 14424 13822 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203625756656 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14439] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14439/stat : 14439 (java) S 14421 14424 13822 0 -1 1077944384 2019 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203624704368 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14440] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14440/stat : 14440 (java) S 14421 14424 13822 0 -1 1077944384 2263 0 0 0 44 1 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203623651328 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14441] ppid=14421 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14441/stat : 14441 (java) S 14421 14424 13822 0 -1 1077944384 2637 0 0 0 45 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203622598768 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14442] ppid=14421 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14442/stat : 14442 (java) S 14421 14424 13822 0 -1 1077944384 2084 0 0 0 29 0 0 0 20 0 20 0 3377788 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203621545968 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14443] ppid=14421 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14443/stat : 14443 (java) S 14421 14424 13822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203620494432 140204354447061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
[pid=14424/tid=14444] ppid=14421 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14424/task/14444/stat : 14444 (java) S 14421 14424 13822 0 -1 1077944384 271 0 0 0 7 4 0 0 20 0 20 0 3377789 11162247168 2081799 33554432000 4194304 4196468 140723917892688 140203619441712 140204354448002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28520448 140723917894827 140723917894980 140723917894980 140723917897679 0
Current children cumulated CPU time (s) 2416.07
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 338.241
CPU time (s): 2416.16
CPU user time (s): 2390.05
CPU system time (s): 26.1025
CPU usage (%): 714.33
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.05
system time used= 26.1025
maximum resident set size= 8327520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42767
involuntary context switches= 195942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.85594 second user time and 3.58561 second system time
The end