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-4249761-1500764528/watcher-4249761-1500764528 -o /tmp/evaluation-result-4249761-1500764528/solver-4249761-1500764528 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500752537-28233 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249761-1500764528.xml
pid=29866
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.24 2.07 2.06 2/265 29869
/proc/meminfo: memFree=31553104/32770624 swapFree=5688/316448
[pid=29869] ppid=29866 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 1622 0 0 0 0 0 0 0 20 0 2 0 11719990 112066560 1370 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 27360 1370 1039 1 0 16810 0
[pid=29869/tid=29870] ppid=29866 vsize=109440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) R 29866 29869 28202 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 2 0 11719991 112066560 1370 33554432000 4194304 4196468 140730392770864 140129698194640 140129686637101 0 4 0 16784584 18446744072101903908 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[startup+0.100105 s]
/proc/loadavg: 2.24 2.07 2.06 2/265 29869
/proc/meminfo: memFree=31553104/32770624 swapFree=5688/316448
[pid=29869] ppid=29866 vsize=10900580 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 4936 0 0 0 9 1 0 0 20 0 20 0 11719990 11162193920 6511 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2725145 6511 2637 1 0 2713552 0
[pid=29869/tid=29870] ppid=29866 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) R 29866 29869 28202 0 -1 4202560 3020 0 0 0 8 0 0 0 20 0 20 0 11719991 11162193920 6511 33554432000 4194304 4196468 140730392770864 140129698191088 140129693979805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200349 s]
/proc/loadavg: 2.24 2.07 2.06 2/265 29869
/proc/meminfo: memFree=31553104/32770624 swapFree=5688/316448
[pid=29869] ppid=29866 vsize=10900580 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 7652 0 0 0 27 2 0 0 20 0 20 0 11719990 11162193920 8999 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2725145 8999 2916 1 0 2713552 0
[pid=29869/tid=29870] ppid=29866 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) R 29866 29869 28202 0 -1 4202560 4829 0 0 0 17 1 0 0 20 0 20 0 11719991 11162193920 8999 33554432000 4194304 4196468 140730392770864 140129698175056 140129678038366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10900580
[startup+0.300357 s]
/proc/loadavg: 2.24 2.07 2.06 2/265 29869
/proc/meminfo: memFree=31553104/32770624 swapFree=5688/316448
[pid=29869] ppid=29866 vsize=10969228 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 8539 0 0 0 48 3 0 0 20 0 21 0 11719990 11232489472 13388 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2742307 13388 2992 1 0 2730193 0
[pid=29869/tid=29870] ppid=29866 vsize=10969228 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11232489472 13388 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10969228
[startup+0.700294 s]
/proc/loadavg: 2.24 2.07 2.06 2/265 29869
/proc/meminfo: memFree=31553104/32770624 swapFree=5688/316448
[pid=29869] ppid=29866 vsize=10971352 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 12921 0 0 0 158 5 0 0 20 0 21 0 11719990 11234664448 21681 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2742838 21681 3100 1 0 2730705 0
[pid=29869/tid=29870] ppid=29866 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11234664448 21681 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10971352
[startup+1.5012 s]
/proc/loadavg: 2.24 2.07 2.06 6/286 29890
/proc/meminfo: memFree=31445352/32770624 swapFree=5688/316832
[pid=29869] ppid=29866 vsize=10973400 CPUtime=4.72 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 22651 0 0 0 464 8 0 0 20 0 21 0 11719990 11236761600 32373 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2743350 32373 3129 1 0 2731217 0
[pid=29869/tid=29870] ppid=29866 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29872] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29872/stat : 29872 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129620032016 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29873] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29873/stat : 29873 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129618979472 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29874] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29874/stat : 29874 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129617926416 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29875] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29875/stat : 29875 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129297492368 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29876] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29876/stat : 29876 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129296440336 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29877] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29877/stat : 29877 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129295387792 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29878] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29878/stat : 29878 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129294334736 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29879] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29879/stat : 29879 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129293282192 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29880] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29880/stat : 29880 (java) S 29866 29869 28202 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129035041008 140129693969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29881] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29881/stat : 29881 (java) S 29866 29869 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129033987232 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29882] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29882/stat : 29882 (java) S 29866 29869 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11719995 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129032934128 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29883] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29883/stat : 29883 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129031882704 140129693976475 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29884] ppid=29866 vsize=10973400 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29884/stat : 29884 (java) S 29866 29869 28202 0 -1 1077944384 3374 0 0 0 84 0 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129030830832 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29885] ppid=29866 vsize=10973400 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29885/stat : 29885 (java) R 29866 29869 28202 0 -1 4202560 4078 0 0 0 92 0 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129029766848 140129677454667 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29886] ppid=29866 vsize=10973400 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29886/stat : 29886 (java) S 29866 29869 28202 0 -1 1077944384 2827 0 0 0 83 0 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129028725232 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29887] ppid=29866 vsize=10973400 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29887/stat : 29887 (java) S 29866 29869 28202 0 -1 1077944384 2390 0 0 0 59 1 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129027672688 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29888] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29888/stat : 29888 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129026619872 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29889] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29889/stat : 29889 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719999 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129025567408 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29890] ppid=29866 vsize=10973400 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29890/stat : 29890 (java) R 29866 29869 28202 0 -1 4202560 3405 0 0 0 118 3 0 0 20 0 21 0 11720018 11236761600 32373 33554432000 4194304 4196468 140730392770864 140129022375560 140129303775679 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 10973400
[startup+3.10084 s]
/proc/loadavg: 2.24 2.07 2.06 3/286 29890
/proc/meminfo: memFree=31435032/32770624 swapFree=5688/316832
[pid=29869] ppid=29866 vsize=10973400 CPUtime=6.53 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 23912 0 0 0 645 8 0 0 20 0 21 0 11719990 11236761600 32484 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2743350 32484 3130 1 0 2731217 0
[pid=29869/tid=29870] ppid=29866 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29872] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29872/stat : 29872 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129620032016 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29873] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29873/stat : 29873 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129618979472 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29874] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29874/stat : 29874 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129617926416 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29875] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29875/stat : 29875 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129297492368 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29876] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29876/stat : 29876 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129296440336 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29877] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29877/stat : 29877 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129295387792 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29878] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29878/stat : 29878 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129294334736 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29879] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29879/stat : 29879 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129293282192 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29880] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29880/stat : 29880 (java) S 29866 29869 28202 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129035041008 140129693969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29881] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29881/stat : 29881 (java) S 29866 29869 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129033987232 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29882] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29882/stat : 29882 (java) S 29866 29869 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11719995 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129032934128 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29883] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29883/stat : 29883 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129031882704 140129693976475 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29884] ppid=29866 vsize=10973400 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29884/stat : 29884 (java) S 29866 29869 28202 0 -1 1077944384 3385 0 0 0 85 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129030830832 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29885] ppid=29866 vsize=10973400 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29885/stat : 29885 (java) S 29866 29869 28202 0 -1 1077944384 4253 0 0 0 103 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129029778288 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29886] ppid=29866 vsize=10973400 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29886/stat : 29886 (java) S 29866 29869 28202 0 -1 1077944384 3043 0 0 0 90 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129028725232 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29887] ppid=29866 vsize=10973400 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29887/stat : 29887 (java) S 29866 29869 28202 0 -1 1077944384 2887 0 0 0 63 1 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129027672688 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29888] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29888/stat : 29888 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129026619872 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29889] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29889/stat : 29889 (java) S 29866 29869 28202 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 21 0 11719999 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129025567408 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29890] ppid=29866 vsize=10973400 CPUtime=2.81 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29890/stat : 29890 (java) R 29866 29869 28202 0 -1 4202560 3719 0 0 0 278 3 0 0 20 0 21 0 11720018 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129022374712 140129693969814 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 6.53
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29869 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20104 s]
/proc/loadavg: 2.24 2.07 2.06 3/286 29890
/proc/meminfo: memFree=31435032/32770624 swapFree=5688/316832
[pid=29869] ppid=29866 vsize=10973400 CPUtime=6.63 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 23912 0 0 0 655 8 0 0 20 0 21 0 11719990 11236761600 32484 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2743350 32484 3130 1 0 2731217 0
[pid=29869/tid=29870] ppid=29866 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29872] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29872/stat : 29872 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129620032016 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29873] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29873/stat : 29873 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129618979472 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29874] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29874/stat : 29874 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129617926416 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29875] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29875/stat : 29875 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129297492368 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29876] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29876/stat : 29876 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129296440336 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29877] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29877/stat : 29877 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129295387792 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29878] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29878/stat : 29878 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129294334736 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29879] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29879/stat : 29879 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129293282192 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29880] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29880/stat : 29880 (java) S 29866 29869 28202 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129035041008 140129693969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29881] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29881/stat : 29881 (java) S 29866 29869 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129033987232 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29882] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29882/stat : 29882 (java) S 29866 29869 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11719995 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129032934128 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29883] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29883/stat : 29883 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129031882704 140129693976475 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29884] ppid=29866 vsize=10973400 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29884/stat : 29884 (java) S 29866 29869 28202 0 -1 1077944384 3385 0 0 0 85 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129030830832 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29885] ppid=29866 vsize=10973400 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29885/stat : 29885 (java) S 29866 29869 28202 0 -1 1077944384 4253 0 0 0 103 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129029778288 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29886] ppid=29866 vsize=10973400 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29886/stat : 29886 (java) S 29866 29869 28202 0 -1 1077944384 3043 0 0 0 90 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129028725232 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29887] ppid=29866 vsize=10973400 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29887/stat : 29887 (java) S 29866 29869 28202 0 -1 1077944384 2887 0 0 0 63 1 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129027672688 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29888] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29888/stat : 29888 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129026619872 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29889] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29889/stat : 29889 (java) S 29866 29869 28202 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 21 0 11719999 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129025567408 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29890] ppid=29866 vsize=10973400 CPUtime=2.91 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29890/stat : 29890 (java) R 29866 29869 28202 0 -1 4202560 3719 0 0 0 288 3 0 0 20 0 21 0 11720018 11236761600 32484 33554432000 4194304 4196468 140730392770864 140129022375192 140129303416096 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 10973400
[startup+3.60076 s]
/proc/loadavg: 2.24 2.07 2.06 3/286 29890
/proc/meminfo: memFree=31434660/32770624 swapFree=5688/316824
[pid=29869] ppid=29866 vsize=10973400 CPUtime=7.32 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 24047 0 0 0 724 8 0 0 20 0 21 0 11719990 11236761600 32494 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2743350 32494 3130 1 0 2731217 0
[pid=29869/tid=29870] ppid=29866 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29872] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29872/stat : 29872 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129620032016 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29873] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29873/stat : 29873 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129618979472 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29874] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29874/stat : 29874 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129617926416 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29875] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29875/stat : 29875 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129297492368 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29876] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29876/stat : 29876 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129296440336 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29877] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29877/stat : 29877 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129295387792 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29878] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29878/stat : 29878 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129294334736 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29879] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29879/stat : 29879 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129293282192 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29880] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29880/stat : 29880 (java) S 29866 29869 28202 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129035041008 140129693969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29881] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29881/stat : 29881 (java) S 29866 29869 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129033987232 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29882] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29882/stat : 29882 (java) S 29866 29869 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11719995 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129032934128 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29883] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29883/stat : 29883 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129031882704 140129693976475 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29884] ppid=29866 vsize=10973400 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29884/stat : 29884 (java) S 29866 29869 28202 0 -1 1077944384 3385 0 0 0 85 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129030830832 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29885] ppid=29866 vsize=10973400 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29885/stat : 29885 (java) S 29866 29869 28202 0 -1 1077944384 4340 0 0 0 129 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129029778288 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29886] ppid=29866 vsize=10973400 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29886/stat : 29886 (java) S 29866 29869 28202 0 -1 1077944384 3060 0 0 0 92 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129028725232 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29887] ppid=29866 vsize=10973400 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29887/stat : 29887 (java) S 29866 29869 28202 0 -1 1077944384 2896 0 0 0 63 1 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129027672688 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29888] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29888/stat : 29888 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129026619872 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29889] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29889/stat : 29889 (java) S 29866 29869 28202 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 21 0 11719999 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129025567408 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29890] ppid=29866 vsize=10973400 CPUtime=3.31 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29890/stat : 29890 (java) R 29866 29869 28202 0 -1 4202560 3741 0 0 0 328 3 0 0 20 0 21 0 11720018 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129022374424 140129304207533 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 10973400
[startup+3.70084 s]
/proc/loadavg: 2.24 2.07 2.06 3/286 29890
/proc/meminfo: memFree=31434660/32770624 swapFree=5688/316824
[pid=29869] ppid=29866 vsize=10973400 CPUtime=7.42 cores=0,2,4,6,8,10,12,14
/proc/29869/stat : 29869 (java) S 29866 29869 28202 0 -1 1077944320 24049 0 0 0 734 8 0 0 20 0 21 0 11719990 11236761600 32494 33554432000 4194304 4196468 140730392770864 140730392753408 140129693957879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
/proc/29869/statm: 2743350 32494 3130 1 0 2731217 0
[pid=29869/tid=29870] ppid=29866 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29870/stat : 29870 (java) S 29866 29869 28202 0 -1 1077944384 5188 0 0 0 24 1 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129698200752 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29872] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29872/stat : 29872 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129620032016 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29873] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29873/stat : 29873 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129618979472 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29874] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29874/stat : 29874 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129617926416 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29875] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29875/stat : 29875 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129297492368 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29876] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29876/stat : 29876 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719991 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129296440336 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29877] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29877/stat : 29877 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129295387792 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29878] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29878/stat : 29878 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129294334736 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29879] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29879/stat : 29879 (java) S 29866 29869 28202 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 11719992 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129293282192 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29880] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29880/stat : 29880 (java) S 29866 29869 28202 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129035041008 140129693969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29881] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29881/stat : 29881 (java) S 29866 29869 28202 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 11719994 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129033987232 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29882] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29882/stat : 29882 (java) S 29866 29869 28202 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 11719995 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129032934128 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29883] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29883/stat : 29883 (java) S 29866 29869 28202 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129031882704 140129693976475 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29884] ppid=29866 vsize=10973400 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29884/stat : 29884 (java) S 29866 29869 28202 0 -1 1077944384 3385 0 0 0 85 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129030830832 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29885] ppid=29866 vsize=10973400 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29885/stat : 29885 (java) S 29866 29869 28202 0 -1 1077944384 4340 0 0 0 129 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129029778288 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29886] ppid=29866 vsize=10973400 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29886/stat : 29886 (java) S 29866 29869 28202 0 -1 1077944384 3062 0 0 0 92 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129028725232 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29887] ppid=29866 vsize=10973400 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29887/stat : 29887 (java) S 29866 29869 28202 0 -1 1077944384 2896 0 0 0 63 1 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129027672688 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29888] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29888/stat : 29888 (java) S 29866 29869 28202 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 11719998 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129026619872 140129693968085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29889] ppid=29866 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29889/stat : 29889 (java) S 29866 29869 28202 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 21 0 11719999 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129025567408 140129693969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
[pid=29869/tid=29890] ppid=29866 vsize=10973400 CPUtime=3.41 cores=0,2,4,6,8,10,12,14
/proc/29869/task/29890/stat : 29890 (java) R 29866 29869 28202 0 -1 4202560 3741 0 0 0 338 3 0 0 20 0 21 0 11720018 11236761600 32494 33554432000 4194304 4196468 140730392770864 140129022375032 140129304206079 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29257728 140730392777923 140730392778052 140730392778052 140730392780751 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 3.73436
CPU time (s): 7.45938
CPU user time (s): 7.37261
CPU system time (s): 0.086772
CPU usage (%): 199.75
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.37261
system time used= 0.086772
maximum resident set size= 132316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2959
involuntary context switches= 510
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02349 second user time and 0.03943 second system time
The end