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-4243971-1500678353/watcher-4243971-1500678353 -o /tmp/evaluation-result-4243971-1500678353/solver-4243971-1500678353 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500674608-5767 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243971-1500678353.xml
pid=7194
running on 8 cores: 4-7,12-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: 8.41 5.66 3.89 3/262 7197
/proc/meminfo: memFree=31550908/32770624 swapFree=5804/176524
[pid=7197] ppid=7194 vsize=8354884 CPUtime=0 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 2239 0 0 0 0 0 0 0 20 0 6 0 3100589 8555401216 2507 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2088721 2507 1208 1 0 2077632 0
[pid=7197/tid=7198] ppid=7194 vsize=8685648 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 948 0 0 0 0 0 0 0 20 0 10 0 3100590 8894103552 2507 33554432000 4194304 4196468 140723258216032 139781952792680 139781948562838 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=8816720 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) D 7194 7197 2454 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3100591 9028321280 2507 33554432000 4194304 4196468 140723258216032 139781874624568 139781940778723 0 4 0 16784584 18446744071582151416 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=8816720 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) D 7194 7197 2454 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3100591 9028321280 2507 33554432000 4194304 4196468 140723258216032 139781873572024 139781940778723 0 4 0 16784584 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=8816720 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 3100591 9028321280 2507 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=9131088 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 3100591 9350234112 2507 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10195824 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 3100591 10440523776 2536 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10204016 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 3100591 10448912384 2536 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10204016 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 3100591 10448912384 2536 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10204852 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 3100591 10449768448 2536 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[startup+0.100063 s]
/proc/loadavg: 8.41 5.66 3.89 3/262 7197
/proc/meminfo: memFree=31550908/32770624 swapFree=5804/176524
[pid=7197] ppid=7194 vsize=10900556 CPUtime=0.1 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 4606 0 0 0 8 2 0 0 20 0 20 0 3100589 11162169344 6220 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2725139 6220 2625 1 0 2713552 0
[pid=7197/tid=7198] ppid=7194 vsize=10900556 CPUtime=0.08 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 2704 0 0 0 7 1 0 0 20 0 20 0 3100590 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781952793184 139781929945005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 6220 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556
[startup+0.200855 s]
/proc/loadavg: 8.41 5.66 3.89 3/262 7197
/proc/meminfo: memFree=31550908/32770624 swapFree=5804/176524
[pid=7197] ppid=7194 vsize=10900556 CPUtime=0.26 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 6836 0 0 0 23 3 0 0 20 0 20 0 3100589 11162169344 8687 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2725139 8687 2872 1 0 2713552 0
[pid=7197/tid=7198] ppid=7194 vsize=10900556 CPUtime=0.18 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 4423 0 0 0 16 2 0 0 20 0 20 0 3100590 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781952772208 139781948572829 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 8687 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.30061 s]
/proc/loadavg: 8.41 5.66 3.89 3/262 7197
/proc/meminfo: memFree=31550908/32770624 swapFree=5804/176524
[pid=7197] ppid=7194 vsize=10900556 CPUtime=0.43 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 8014 0 0 0 39 4 0 0 20 0 20 0 3100589 11162169344 10699 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2725139 10699 2989 1 0 2713552 0
[pid=7197/tid=7198] ppid=7194 vsize=10900556 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 4963 0 0 0 25 2 0 0 20 0 20 0 3100590 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781952783904 139781930970728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3100591 11162169344 10699 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.700686 s]
/proc/loadavg: 8.41 5.66 3.89 3/262 7197
/proc/meminfo: memFree=31550908/32770624 swapFree=5804/176524
[pid=7197] ppid=7194 vsize=10967196 CPUtime=1.65 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 12010 0 0 0 159 6 0 0 20 0 21 0 3100589 11230408704 17744 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2741799 17744 3074 1 0 2730193 0
[pid=7197/tid=7198] ppid=7194 vsize=10967196 CPUtime=0.68 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 5335 0 0 0 65 3 0 0 20 0 21 0 3100590 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781952787560 139781541820519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17744 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10967196
[startup+1.50082 s]
/proc/loadavg: 8.06 5.63 3.89 3/283 7218
/proc/meminfo: memFree=31491140/32770624 swapFree=5804/176560
[pid=7197] ppid=7194 vsize=10967196 CPUtime=2.47 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 12678 0 0 0 241 6 0 0 20 0 21 0 3100589 11230408704 17856 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2741799 17856 3078 1 0 2730193 0
[pid=7197/tid=7198] ppid=7194 vsize=10967196 CPUtime=1.47 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 5577 0 0 0 144 3 0 0 20 0 21 0 3100590 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781952789352 139781541664428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100591 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7208] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7208/stat : 7208 (java) S 7194 7197 2454 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 21 0 3100593 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781422872816 139781948562050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7209] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7209/stat : 7209 (java) S 7194 7197 2454 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 3100594 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781421819040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7210] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7210/stat : 7210 (java) S 7194 7197 2454 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3100594 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781420765936 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7211] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7211/stat : 7211 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781419714512 139781948569499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7212] ppid=7194 vsize=10967196 CPUtime=0.25 cores=4-7,12-15
/proc/7197/task/7212/stat : 7212 (java) S 7194 7197 2454 0 -1 1077944384 1678 0 0 0 25 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781418662640 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7213] ppid=7194 vsize=10967196 CPUtime=0.25 cores=4-7,12-15
/proc/7197/task/7213/stat : 7213 (java) S 7194 7197 2454 0 -1 1077944384 1290 0 0 0 25 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781417610096 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7214] ppid=7194 vsize=10967196 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7214/stat : 7214 (java) S 7194 7197 2454 0 -1 1077944384 1113 0 0 0 27 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781416557040 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7215] ppid=7194 vsize=10967196 CPUtime=0.17 cores=4-7,12-15
/proc/7197/task/7215/stat : 7215 (java) S 7194 7197 2454 0 -1 1077944384 1530 0 0 0 17 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781415504496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7216] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7216/stat : 7216 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100598 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781414451680 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7217] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7217/stat : 7217 (java) S 7194 7197 2454 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3100599 11230408704 17856 33554432000 4194304 4196468 140723258216032 139781413399216 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7218] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
################
# More data... #
################
[pid=7197/tid=7215] ppid=7194 vsize=10967196 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7215/stat : 7215 (java) S 7194 7197 2454 0 -1 1077944384 4079 0 0 0 26 1 0 0 20 0 21 0 3100598 11230408704 90670 33554432000 4194304 4196468 140723258216032 139781415504496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7216] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7216/stat : 7216 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100598 11230408704 90670 33554432000 4194304 4196468 140723258216032 139781414451680 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7217] ppid=7194 vsize=10967196 CPUtime=1.05 cores=4-7,12-15
/proc/7197/task/7217/stat : 7217 (java) S 7194 7197 2454 0 -1 1077944384 1793 0 0 0 48 57 0 0 20 0 21 0 3100599 11230408704 90670 33554432000 4194304 4196468 140723258216032 139781413399216 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7218] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7218/stat : 7218 (java) S 7194 7197 2454 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3100632 11230408704 90670 33554432000 4194304 4196468 140723258216032 139781412344496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 2367.21
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.11 s]
/proc/loadavg: 1.83 1.83 2.05 3/283 7376
/proc/meminfo: memFree=30072676/32770624 swapFree=5804/178856
[pid=7197] ppid=7194 vsize=10967196 CPUtime=2400.06 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 97283 0 0 0 239258 748 0 0 20 0 21 0 3100589 11230408704 73296 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2741799 73296 3151 1 0 2730193 0
[pid=7197/tid=7198] ppid=7194 vsize=10967196 CPUtime=2345.94 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 17274 0 0 0 234588 6 0 0 20 0 21 0 3100590 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781952789936 139781541796417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=10967196 CPUtime=6.09 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 3449 0 0 0 523 86 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=10967196 CPUtime=6.2 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 4064 0 0 0 533 87 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=10967196 CPUtime=6.07 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 4710 0 0 0 523 84 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=10967196 CPUtime=6.12 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 4738 0 0 0 523 89 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=10967196 CPUtime=6.11 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 5011 0 0 0 529 82 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=10967196 CPUtime=6.16 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 5007 0 0 0 533 83 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=10967196 CPUtime=6.02 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 4755 0 0 0 519 83 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=10967196 CPUtime=6.24 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3948 0 0 0 540 84 0 0 20 0 21 0 3100591 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7208] ppid=7194 vsize=10967196 CPUtime=0.69 cores=4-7,12-15
/proc/7197/task/7208/stat : 7208 (java) S 7194 7197 2454 0 -1 1077944384 17030 0 0 0 61 8 0 0 20 0 21 0 3100593 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781422872816 139781948562050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7209] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7209/stat : 7209 (java) S 7194 7197 2454 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 3100594 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781421819040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7210] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7210/stat : 7210 (java) S 7194 7197 2454 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 3100594 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781420765936 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7211] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7211/stat : 7211 (java) S 7194 7197 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781419714512 139781948569499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7212] ppid=7194 vsize=10967196 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7212/stat : 7212 (java) S 7194 7197 2454 0 -1 1077944384 5460 0 0 0 106 1 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781418662640 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7213] ppid=7194 vsize=10967196 CPUtime=0.88 cores=4-7,12-15
/proc/7197/task/7213/stat : 7213 (java) S 7194 7197 2454 0 -1 1077944384 9132 0 0 0 87 1 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781417610096 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7214] ppid=7194 vsize=10967196 CPUtime=0.96 cores=4-7,12-15
/proc/7197/task/7214/stat : 7214 (java) S 7194 7197 2454 0 -1 1077944384 5403 0 0 0 95 1 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781416557040 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7215] ppid=7194 vsize=10967196 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7215/stat : 7215 (java) S 7194 7197 2454 0 -1 1077944384 4079 0 0 0 26 1 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781415504496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7216] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7216/stat : 7216 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3100598 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781414451680 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7217] ppid=7194 vsize=10967196 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7217/stat : 7217 (java) S 7194 7197 2454 0 -1 1077944384 1795 0 0 0 49 58 0 0 20 0 21 0 3100599 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781413399216 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7218] ppid=7194 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7218/stat : 7218 (java) S 7194 7197 2454 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3100632 11230408704 73296 33554432000 4194304 4196468 140723258216032 139781412344496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10967196
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 7197 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.21 s]
/proc/loadavg: 1.83 1.83 2.05 3/283 7376
/proc/meminfo: memFree=30072676/32770624 swapFree=5804/178856
[pid=7197] ppid=7194 vsize=11166888 CPUtime=2400.16 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 97528 0 0 0 239268 748 0 0 20 0 22 0 3100589 11434893312 73312 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2791722 73312 3153 1 0 2780116 0
[pid=7197/tid=7198] ppid=7194 vsize=11166888 CPUtime=2346.04 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 17277 0 0 0 234598 6 0 0 20 0 22 0 3100590 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781952788088 139781542162466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=11166888 CPUtime=6.09 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 3449 0 0 0 523 86 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=11166888 CPUtime=6.2 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 4064 0 0 0 533 87 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=11166888 CPUtime=6.07 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 4710 0 0 0 523 84 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=11166888 CPUtime=6.12 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 4738 0 0 0 523 89 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=11166888 CPUtime=6.11 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 5011 0 0 0 529 82 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=11166888 CPUtime=6.16 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 5007 0 0 0 533 83 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=11166888 CPUtime=6.02 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 4755 0 0 0 519 83 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=11166888 CPUtime=6.24 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3948 0 0 0 540 84 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7208] ppid=7194 vsize=11166888 CPUtime=0.69 cores=4-7,12-15
/proc/7197/task/7208/stat : 7208 (java) S 7194 7197 2454 0 -1 1077944384 17030 0 0 0 61 8 0 0 20 0 22 0 3100593 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781422872816 139781948562050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7209] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7209/stat : 7209 (java) S 7194 7197 2454 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 3100594 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781421819040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7210] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7210/stat : 7210 (java) S 7194 7197 2454 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 3100594 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781420765936 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7211] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7211/stat : 7211 (java) S 7194 7197 2454 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781419714512 139781948569499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7212] ppid=7194 vsize=11166888 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7212/stat : 7212 (java) S 7194 7197 2454 0 -1 1077944384 5499 0 0 0 106 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781418662640 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7213] ppid=7194 vsize=11166888 CPUtime=0.89 cores=4-7,12-15
/proc/7197/task/7213/stat : 7213 (java) S 7194 7197 2454 0 -1 1077944384 9142 0 0 0 88 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781417610096 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7214] ppid=7194 vsize=11166888 CPUtime=0.96 cores=4-7,12-15
/proc/7197/task/7214/stat : 7214 (java) S 7194 7197 2454 0 -1 1077944384 5403 0 0 0 95 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781416557040 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7215] ppid=7194 vsize=11166888 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7215/stat : 7215 (java) S 7194 7197 2454 0 -1 1077944384 4123 0 0 0 26 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781415504496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7216] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7216/stat : 7216 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781414451680 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7217] ppid=7194 vsize=11166888 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7217/stat : 7217 (java) S 7194 7197 2454 0 -1 1077944384 1795 0 0 0 49 58 0 0 20 0 22 0 3100599 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781413399216 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 2400.16
Current children cumulated vsize (KiB) 11166888
[startup+2354.3 s]
/proc/loadavg: 1.83 1.83 2.05 3/283 7376
/proc/meminfo: memFree=30072676/32770624 swapFree=5804/178856
[pid=7197] ppid=7194 vsize=11166888 CPUtime=2400.26 cores=4-7,12-15
/proc/7197/stat : 7197 (java) S 7194 7197 2454 0 -1 1077944320 97528 0 0 0 239278 748 0 0 20 0 22 0 3100589 11434893312 73312 33554432000 4194304 4196468 140723258216032 140723258198576 139781948550903 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
/proc/7197/statm: 2791722 73312 3153 1 0 2780116 0
[pid=7197/tid=7198] ppid=7194 vsize=11166888 CPUtime=2346.14 cores=4-7,12-15
/proc/7197/task/7198/stat : 7198 (java) R 7194 7197 2454 0 -1 4202560 17277 0 0 0 234608 6 0 0 20 0 22 0 3100590 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781952788088 139781542162141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7199] ppid=7194 vsize=11166888 CPUtime=6.09 cores=4-7,12-15
/proc/7197/task/7199/stat : 7199 (java) S 7194 7197 2454 0 -1 1077944384 3449 0 0 0 523 86 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781874625040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7200] ppid=7194 vsize=11166888 CPUtime=6.2 cores=4-7,12-15
/proc/7197/task/7200/stat : 7200 (java) S 7194 7197 2454 0 -1 1077944384 4064 0 0 0 533 87 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781873572496 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7201] ppid=7194 vsize=11166888 CPUtime=6.07 cores=4-7,12-15
/proc/7197/task/7201/stat : 7201 (java) S 7194 7197 2454 0 -1 1077944384 4710 0 0 0 523 84 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781872519440 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7202] ppid=7194 vsize=11166888 CPUtime=6.12 cores=4-7,12-15
/proc/7197/task/7202/stat : 7202 (java) S 7194 7197 2454 0 -1 1077944384 4738 0 0 0 523 89 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781871466896 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7203] ppid=7194 vsize=11166888 CPUtime=6.11 cores=4-7,12-15
/proc/7197/task/7203/stat : 7203 (java) S 7194 7197 2454 0 -1 1077944384 5011 0 0 0 529 82 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781870414864 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7204] ppid=7194 vsize=11166888 CPUtime=6.16 cores=4-7,12-15
/proc/7197/task/7204/stat : 7204 (java) S 7194 7197 2454 0 -1 1077944384 5007 0 0 0 533 83 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781869362320 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7205] ppid=7194 vsize=11166888 CPUtime=6.02 cores=4-7,12-15
/proc/7197/task/7205/stat : 7205 (java) S 7194 7197 2454 0 -1 1077944384 4755 0 0 0 519 83 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781868309264 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7206] ppid=7194 vsize=11166888 CPUtime=6.24 cores=4-7,12-15
/proc/7197/task/7206/stat : 7206 (java) S 7194 7197 2454 0 -1 1077944384 3948 0 0 0 540 84 0 0 20 0 22 0 3100591 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781867256720 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7208] ppid=7194 vsize=11166888 CPUtime=0.69 cores=4-7,12-15
/proc/7197/task/7208/stat : 7208 (java) S 7194 7197 2454 0 -1 1077944384 17030 0 0 0 61 8 0 0 20 0 22 0 3100593 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781422872816 139781948562050 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7209] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7209/stat : 7209 (java) S 7194 7197 2454 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 3100594 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781421819040 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7210] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7210/stat : 7210 (java) S 7194 7197 2454 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 3100594 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781420765936 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7211] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7211/stat : 7211 (java) S 7194 7197 2454 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781419714512 139781948569499 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7212] ppid=7194 vsize=11166888 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7212/stat : 7212 (java) S 7194 7197 2454 0 -1 1077944384 5499 0 0 0 106 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781418662640 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7213] ppid=7194 vsize=11166888 CPUtime=0.89 cores=4-7,12-15
/proc/7197/task/7213/stat : 7213 (java) S 7194 7197 2454 0 -1 1077944384 9142 0 0 0 88 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781417610096 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7214] ppid=7194 vsize=11166888 CPUtime=0.96 cores=4-7,12-15
/proc/7197/task/7214/stat : 7214 (java) S 7194 7197 2454 0 -1 1077944384 5403 0 0 0 95 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781416557040 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7215] ppid=7194 vsize=11166888 CPUtime=0.27 cores=4-7,12-15
/proc/7197/task/7215/stat : 7215 (java) S 7194 7197 2454 0 -1 1077944384 4123 0 0 0 26 1 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781415504496 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7216] ppid=7194 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/7197/task/7216/stat : 7216 (java) S 7194 7197 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3100598 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781414451680 139781948561109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
[pid=7197/tid=7217] ppid=7194 vsize=11166888 CPUtime=1.07 cores=4-7,12-15
/proc/7197/task/7217/stat : 7217 (java) S 7194 7197 2454 0 -1 1077944384 1795 0 0 0 49 58 0 0 20 0 22 0 3100599 11434893312 73312 33554432000 4194304 4196468 140723258216032 139781413399216 139781948562050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14393344 140723258217643 140723258217796 140723258217796 140723258220495 0
Current children cumulated CPU time (s) 2400.26
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2354.35
CPU time (s): 2400.34
CPU user time (s): 2392.86
CPU system time (s): 7.48638
CPU usage (%): 101.954
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.86
system time used= 7.48638
maximum resident set size= 716660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65516
involuntary context switches= 124112
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5802 second user time and 19.3292 second system time
The end