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-4243631-1500674681/watcher-4243631-1500674681 -o /tmp/evaluation-result-4243631-1500674681/solver-4243631-1500674681 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500674681-12959 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243631-1500674681.xml
pid=12985
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: 1.95 2.01 2.04 5/248 12988
/proc/meminfo: memFree=32014560/32770624 swapFree=5944/202104
[pid=12988] ppid=12985 vsize=8352828 CPUtime=0 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 2233 0 0 0 0 0 0 0 20 0 4 0 2735245 8553295872 2461 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16784584 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2088207 2461 1197 1 0 2077118 0
[pid=12988/tid=12998] ppid=12985 vsize=8354884 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) S 12985 12988 9851 0 -1 1077944384 936 0 0 0 0 0 0 0 20 0 7 0 2735246 8555401216 2461 33554432000 4194304 4196468 140731146473376 140003049178832 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=8354884 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 7 0 2735246 8555401216 2461 33554432000 4194304 4196468 140731146473376 140002986941408 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=8355912 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 2735246 8556453888 2461 33554432000 4194304 4196468 140731146473376 140002985888608 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=8355912 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 2735246 8556453888 2461 33554432000 4194304 4196468 140731146473376 140002984835808 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=8355912 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 8 0 2735246 8556453888 2461 33554432000 4194304 4196468 140731146473376 140002983783008 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=8356940 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2735246 8557506560 2461 33554432000 4194304 4196468 140731146473376 140002647137760 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=8356940 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2735246 8557506560 2461 33554432000 4194304 4196468 140731146473376 140002646084960 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=8356940 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 9 0 2735247 8557506560 2461 33554432000 4194304 4196468 140731146473376 140002645032160 140003044947669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[startup+0.100126 s]
/proc/loadavg: 1.95 2.01 2.04 5/248 12988
/proc/meminfo: memFree=32014560/32770624 swapFree=5944/202104
[pid=12988] ppid=12985 vsize=10900556 CPUtime=0.09 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 4763 0 0 0 9 0 0 0 20 0 20 0 2735245 11162169344 6346 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725139 6346 2632 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900556 CPUtime=0.08 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 2842 0 0 0 8 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140003049179744 140003029073870 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735247 11162169344 6346 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.200681 s]
/proc/loadavg: 1.95 2.01 2.04 5/248 12988
/proc/meminfo: memFree=32014560/32770624 swapFree=5944/202104
[pid=12988] ppid=12985 vsize=10900556 CPUtime=0.26 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 7038 0 0 0 25 1 0 0 20 0 20 0 2735245 11162169344 8930 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725139 8930 2877 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900556 CPUtime=0.18 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 4686 0 0 0 17 1 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140003049158384 140003044949398 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735247 11162169344 8930 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.30056 s]
/proc/loadavg: 1.95 2.01 2.04 5/248 12988
/proc/meminfo: memFree=32014560/32770624 swapFree=5944/202104
[pid=12988] ppid=12985 vsize=10900556 CPUtime=0.44 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 9004 0 0 0 42 2 0 0 20 0 20 0 2735245 11162169344 11163 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725139 11163 2975 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900556 CPUtime=0.27 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 5397 0 0 0 26 1 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140003049168792 140003026872705 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10900556 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735247 11162169344 11163 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556
[startup+0.700581 s]
/proc/loadavg: 1.95 2.01 2.04 5/248 12988
/proc/meminfo: memFree=32014560/32770624 swapFree=5944/202104
[pid=12988] ppid=12985 vsize=10900632 CPUtime=2 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 12779 0 0 0 195 5 0 0 20 0 20 0 2735245 11162247168 36022 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725158 36022 3089 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900632 CPUtime=0.68 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 5912 0 0 0 65 3 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140003049174688 140003024662504 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735246 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2735247 11162247168 36022 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10900632
[startup+1.50119 s]
/proc/loadavg: 1.95 2.01 2.04 22/287 13027
/proc/meminfo: memFree=31538416/32770624 swapFree=5944/202448
[pid=12988] ppid=12985 vsize=10900632 CPUtime=4.89 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 20483 0 0 0 461 28 0 0 20 0 20 0 2735245 11162247168 85310 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725158 85310 3128 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900632 CPUtime=1.38 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 5967 0 0 0 134 4 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140003049170136 140003026859018 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10900632 CPUtime=0.04 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 88 0 0 0 2 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10900632 CPUtime=0.05 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 44 0 0 0 3 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10900632 CPUtime=0.06 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 54 0 0 0 4 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10900632 CPUtime=0.05 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 88 0 0 0 3 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10900632 CPUtime=0.06 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 46 0 0 0 4 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10900632 CPUtime=0.04 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 85 0 0 0 2 2 0 0 20 0 20 0 2735246 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10900632 CPUtime=0.05 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 80 0 0 0 3 2 0 0 20 0 20 0 2735247 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13006] ppid=12985 vsize=10900632 CPUtime=0.04 cores=4-7,12-15
/proc/12988/task/13006/stat : 13006 (java) S 12985 12988 9851 0 -1 1077944384 35 0 0 0 2 2 0 0 20 0 20 0 2735247 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002643979024 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13011] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13011/stat : 13011 (java) S 12985 12988 9851 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2735249 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002587928944 140003044948610 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13012] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13012/stat : 13012 (java) S 12985 12988 9851 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2735250 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002586874912 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13013] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13013/stat : 13013 (java) S 12985 12988 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2735250 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002585822064 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13021] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13021/stat : 13021 (java) S 12985 12988 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2735253 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002584770384 140003044956059 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13022] ppid=12985 vsize=10900632 CPUtime=0.87 cores=4-7,12-15
/proc/12988/task/13022/stat : 13022 (java) S 12985 12988 9851 0 -1 1077944384 3444 0 0 0 86 1 0 0 20 0 20 0 2735253 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002583718768 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13023] ppid=12985 vsize=10900632 CPUtime=0.9 cores=4-7,12-15
/proc/12988/task/13023/stat : 13023 (java) S 12985 12988 9851 0 -1 1077944384 4708 0 0 0 89 1 0 0 20 0 20 0 2735253 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002582665968 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13024] ppid=12985 vsize=10900632 CPUtime=0.89 cores=4-7,12-15
/proc/12988/task/13024/stat : 13024 (java) S 12985 12988 9851 0 -1 1077944384 2746 0 0 0 88 1 0 0 20 0 20 0 2735253 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002581613168 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13025] ppid=12985 vsize=10900632 CPUtime=0.34 cores=4-7,12-15
/proc/12988/task/13025/stat : 13025 (java) S 12985 12988 9851 0 -1 1077944384 1648 0 0 0 34 0 0 0 20 0 20 0 2735253 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002580560368 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13026] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13026/stat : 13026 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2735254 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002243635808 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13027] ppid=12985 vsize=10900632 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13027/stat : 13027 (java) S 12985 12988 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2735254 11162247168 85310 33554432000 4194304 4196468 140731146473376 140002242583088 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 10900632
[startup+3.1017 s]
/proc/loadavg: 1.95 2.01 2.04 4/287 13027
/proc/meminfo: memFree=30952340/32770624 swapFree=5944/202448
[pid=12988] ppid=12985 vsize=10900632 CPUtime=9.31 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 23548 0 0 0 773 158 0 0 20 0 20 0 2735245 11162247168 218785 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2725158 219297 3140 1 0 2713552 0
[pid=12988/tid=12998] ppid=12985 vsize=10900632 CPUtime=2.61 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) S 12985 12988 9851 0 -1 1077944384 6464 0 0 0 253 8 0 0 20 0 20 0 2735246 11162247168 219297 33554432000 4194304 4196468 140731146473376 140003049174816 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
################
# More data... #
################
[pid=12988/tid=13026] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13026/stat : 13026 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002243635808 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13027] ppid=12985 vsize=10967196 CPUtime=1.26 cores=4-7,12-15
/proc/12988/task/13027/stat : 13027 (java) S 12985 12988 9851 0 -1 1077944384 2330 0 0 0 58 68 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002242583088 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13028] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13028/stat : 13028 (java) S 12985 12988 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2735959 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002241528624 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 2300.69
Current children cumulated vsize (KiB) 10967196
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/287 13109
/proc/meminfo: memFree=22166456/32770624 swapFree=5944/204388
[pid=12988] ppid=12985 vsize=10967196 CPUtime=2360.69 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 485802 0 0 0 233873 2196 0 0 20 0 21 0 2735245 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2741799 1277204 3172 1 0 2730193 0
[pid=12988/tid=12998] ppid=12985 vsize=10967196 CPUtime=2245.53 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 204243 0 0 0 224519 34 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140003049176400 140002667923506 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10967196 CPUtime=13.51 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 25482 0 0 0 1079 272 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10967196 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 30181 0 0 0 1073 265 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10967196 CPUtime=13.42 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 25855 0 0 0 1073 269 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10967196 CPUtime=13.18 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 29510 0 0 0 1071 247 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10967196 CPUtime=13.16 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 30158 0 0 0 1070 246 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10967196 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 25230 0 0 0 1079 259 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10967196 CPUtime=13.46 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 28949 0 0 0 1083 263 0 0 20 0 21 0 2735247 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13006] ppid=12985 vsize=10967196 CPUtime=13.39 cores=4-7,12-15
/proc/12988/task/13006/stat : 13006 (java) S 12985 12988 9851 0 -1 1077944384 26874 0 0 0 1069 270 0 0 20 0 21 0 2735247 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002643979024 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13011] ppid=12985 vsize=10967196 CPUtime=1.79 cores=4-7,12-15
/proc/12988/task/13011/stat : 13011 (java) S 12985 12988 9851 0 -1 1077944384 20984 0 0 0 175 4 0 0 20 0 21 0 2735249 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002587928944 140003044948610 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 3 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13012] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13012/stat : 13012 (java) S 12985 12988 9851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 2735250 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002586874976 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13013] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13013/stat : 13013 (java) S 12985 12988 9851 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2735250 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002585822080 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13021] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13021/stat : 13021 (java) S 12985 12988 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002584770384 140003044956059 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13022] ppid=12985 vsize=10967196 CPUtime=1.73 cores=4-7,12-15
/proc/12988/task/13022/stat : 13022 (java) S 12985 12988 9851 0 -1 1077944384 9840 0 0 0 171 2 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002583718768 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13023] ppid=12985 vsize=10967196 CPUtime=1.47 cores=4-7,12-15
/proc/12988/task/13023/stat : 13023 (java) S 12985 12988 9851 0 -1 1077944384 11324 0 0 0 146 1 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002582665968 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13024] ppid=12985 vsize=10967196 CPUtime=1.42 cores=4-7,12-15
/proc/12988/task/13024/stat : 13024 (java) S 12985 12988 9851 0 -1 1077944384 7199 0 0 0 140 2 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002581613168 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13025] ppid=12985 vsize=10967196 CPUtime=0.47 cores=4-7,12-15
/proc/12988/task/13025/stat : 13025 (java) S 12985 12988 9851 0 -1 1077944384 6158 0 0 0 46 1 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002580560368 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13026] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13026/stat : 13026 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002243635808 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13027] ppid=12985 vsize=10967196 CPUtime=1.3 cores=4-7,12-15
/proc/12988/task/13027/stat : 13027 (java) S 12985 12988 9851 0 -1 1077944384 2404 0 0 0 60 70 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002242583088 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13028] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13028/stat : 13028 (java) S 12985 12988 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2735959 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002241528624 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 2360.69
Current children cumulated vsize (KiB) 10967196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2301.6 s]
/proc/loadavg: 2.01 2.03 2.05 3/264 13151
/proc/meminfo: memFree=26900768/32770624 swapFree=5944/204408
[pid=12988] ppid=12985 vsize=10967196 CPUtime=2400 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 487840 0 0 0 237802 2198 0 0 20 0 21 0 2735245 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2741799 1277204 3172 1 0 2730193 0
[pid=12988/tid=12998] ppid=12985 vsize=10967196 CPUtime=2284.8 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) R 12985 12988 9851 0 -1 4202560 206204 0 0 0 228446 34 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140003049176400 140002664200451 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=10967196 CPUtime=13.51 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 25482 0 0 0 1079 272 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=10967196 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 30181 0 0 0 1073 265 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=10967196 CPUtime=13.42 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 25855 0 0 0 1073 269 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=10967196 CPUtime=13.18 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 29510 0 0 0 1071 247 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=10967196 CPUtime=13.16 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 30158 0 0 0 1070 246 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=10967196 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 25230 0 0 0 1079 259 0 0 20 0 21 0 2735246 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=10967196 CPUtime=13.46 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 28949 0 0 0 1083 263 0 0 20 0 21 0 2735247 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13006] ppid=12985 vsize=10967196 CPUtime=13.39 cores=4-7,12-15
/proc/12988/task/13006/stat : 13006 (java) S 12985 12988 9851 0 -1 1077944384 26874 0 0 0 1069 270 0 0 20 0 21 0 2735247 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002643979024 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13011] ppid=12985 vsize=10967196 CPUtime=1.79 cores=4-7,12-15
/proc/12988/task/13011/stat : 13011 (java) S 12985 12988 9851 0 -1 1077944384 20993 0 0 0 175 4 0 0 20 0 21 0 2735249 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002587928944 140003044948610 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 3 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13012] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13012/stat : 13012 (java) S 12985 12988 9851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 2735250 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002586874976 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13013] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13013/stat : 13013 (java) S 12985 12988 9851 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 2735250 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002585822080 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13021] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13021/stat : 13021 (java) S 12985 12988 9851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002584770384 140003044956059 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13022] ppid=12985 vsize=10967196 CPUtime=1.73 cores=4-7,12-15
/proc/12988/task/13022/stat : 13022 (java) S 12985 12988 9851 0 -1 1077944384 9844 0 0 0 171 2 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002583718768 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13023] ppid=12985 vsize=10967196 CPUtime=1.47 cores=4-7,12-15
/proc/12988/task/13023/stat : 13023 (java) S 12985 12988 9851 0 -1 1077944384 11330 0 0 0 146 1 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002582665968 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13024] ppid=12985 vsize=10967196 CPUtime=1.42 cores=4-7,12-15
/proc/12988/task/13024/stat : 13024 (java) S 12985 12988 9851 0 -1 1077944384 7206 0 0 0 140 2 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002581613168 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13025] ppid=12985 vsize=10967196 CPUtime=0.47 cores=4-7,12-15
/proc/12988/task/13025/stat : 13025 (java) S 12985 12988 9851 0 -1 1077944384 6170 0 0 0 46 1 0 0 20 0 21 0 2735253 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002580560368 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13026] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13026/stat : 13026 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002243635808 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13027] ppid=12985 vsize=10967196 CPUtime=1.32 cores=4-7,12-15
/proc/12988/task/13027/stat : 13027 (java) S 12985 12988 9851 0 -1 1077944384 2443 0 0 0 61 71 0 0 20 0 21 0 2735254 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002242583088 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13028] ppid=12985 vsize=10967196 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13028/stat : 13028 (java) S 12985 12988 9851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2735959 11230408704 1277204 33554432000 4194304 4196468 140731146473376 140002241528624 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 2400
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 12988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2301.8 s]
/proc/loadavg: 2.01 2.03 2.05 3/264 13151
/proc/meminfo: memFree=26900768/32770624 swapFree=5944/204408
[pid=12988] ppid=12985 vsize=11166888 CPUtime=2400.03 cores=4-7,12-15
/proc/12988/stat : 12988 (java) S 12985 12988 9851 0 -1 1077944320 489206 0 0 0 237805 2198 0 0 20 0 22 0 2735245 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140731146455920 140003044937463 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
/proc/12988/statm: 2791722 1277291 3174 1 0 2780116 0
[pid=12988/tid=12998] ppid=12985 vsize=11166888 CPUtime=2284.83 cores=4-7,12-15
/proc/12988/task/12998/stat : 12998 (java) S 12985 12988 9851 0 -1 1077944384 206329 0 0 0 228449 34 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140003049180336 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=12999] ppid=12985 vsize=11166888 CPUtime=13.51 cores=4-7,12-15
/proc/12988/task/12999/stat : 12999 (java) S 12985 12988 9851 0 -1 1077944384 25482 0 0 0 1079 272 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002986941072 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13000] ppid=12985 vsize=11166888 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13000/stat : 13000 (java) S 12985 12988 9851 0 -1 1077944384 30181 0 0 0 1073 265 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002985888272 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13001] ppid=12985 vsize=11166888 CPUtime=13.42 cores=4-7,12-15
/proc/12988/task/13001/stat : 13001 (java) S 12985 12988 9851 0 -1 1077944384 25855 0 0 0 1073 269 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002984835472 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13002] ppid=12985 vsize=11166888 CPUtime=13.18 cores=4-7,12-15
/proc/12988/task/13002/stat : 13002 (java) S 12985 12988 9851 0 -1 1077944384 29510 0 0 0 1071 247 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002983782672 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13003] ppid=12985 vsize=11166888 CPUtime=13.16 cores=4-7,12-15
/proc/12988/task/13003/stat : 13003 (java) S 12985 12988 9851 0 -1 1077944384 30158 0 0 0 1070 246 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002647137424 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13004] ppid=12985 vsize=11166888 CPUtime=13.38 cores=4-7,12-15
/proc/12988/task/13004/stat : 13004 (java) S 12985 12988 9851 0 -1 1077944384 25230 0 0 0 1079 259 0 0 20 0 22 0 2735246 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002646084624 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13005] ppid=12985 vsize=11166888 CPUtime=13.46 cores=4-7,12-15
/proc/12988/task/13005/stat : 13005 (java) S 12985 12988 9851 0 -1 1077944384 28949 0 0 0 1083 263 0 0 20 0 22 0 2735247 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002645031824 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13006] ppid=12985 vsize=11166888 CPUtime=13.39 cores=4-7,12-15
/proc/12988/task/13006/stat : 13006 (java) S 12985 12988 9851 0 -1 1077944384 26874 0 0 0 1069 270 0 0 20 0 22 0 2735247 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002643979024 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13011] ppid=12985 vsize=11166888 CPUtime=1.79 cores=4-7,12-15
/proc/12988/task/13011/stat : 13011 (java) S 12985 12988 9851 0 -1 1077944384 21037 0 0 0 175 4 0 0 20 0 22 0 2735249 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002587928944 140003044948610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13012] ppid=12985 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13012/stat : 13012 (java) S 12985 12988 9851 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 22 0 2735250 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002586874976 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13013] ppid=12985 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13013/stat : 13013 (java) S 12985 12988 9851 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 22 0 2735250 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002585822080 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13021] ppid=12985 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13021/stat : 13021 (java) S 12985 12988 9851 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 22 0 2735253 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002584770384 140003044956059 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13022] ppid=12985 vsize=11166888 CPUtime=1.73 cores=4-7,12-15
/proc/12988/task/13022/stat : 13022 (java) S 12985 12988 9851 0 -1 1077944384 9844 0 0 0 171 2 0 0 20 0 22 0 2735253 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002583718768 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13023] ppid=12985 vsize=11166888 CPUtime=1.47 cores=4-7,12-15
/proc/12988/task/13023/stat : 13023 (java) S 12985 12988 9851 0 -1 1077944384 11330 0 0 0 146 1 0 0 20 0 22 0 2735253 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002582665968 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13024] ppid=12985 vsize=11166888 CPUtime=1.42 cores=4-7,12-15
/proc/12988/task/13024/stat : 13024 (java) S 12985 12988 9851 0 -1 1077944384 7206 0 0 0 140 2 0 0 20 0 22 0 2735253 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002581613168 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13025] ppid=12985 vsize=11166888 CPUtime=0.47 cores=4-7,12-15
/proc/12988/task/13025/stat : 13025 (java) S 12985 12988 9851 0 -1 1077944384 6760 0 0 0 46 1 0 0 20 0 22 0 2735253 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002580560368 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13026] ppid=12985 vsize=11166888 CPUtime=0 cores=4-7,12-15
/proc/12988/task/13026/stat : 13026 (java) S 12985 12988 9851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 2735254 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002243635808 140003044947669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
[pid=12988/tid=13027] ppid=12985 vsize=11166888 CPUtime=1.32 cores=4-7,12-15
/proc/12988/task/13027/stat : 13027 (java) S 12985 12988 9851 0 -1 1077944384 2443 0 0 0 61 71 0 0 20 0 22 0 2735254 11434893312 1277291 33554432000 4194304 4196468 140731146473376 140002242583088 140003044948610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16654336 140731146478763 140731146478916 140731146478916 140731146481615 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 11166888
Child status: 143
Real time (s): 2301.87
CPU time (s): 2400.11
CPU user time (s): 2378.1
CPU system time (s): 22.0183
CPU usage (%): 104.268
Max. virtual memory (cumulated for all children) (KiB): 11166888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2378.1
system time used= 22.0183
maximum resident set size= 5109456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58407
involuntary context switches= 123072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2541 second user time and 19.739 second system time
The end