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-4106807-1466278146/watcher-4106807-1466278146 -o /tmp/evaluation-result-4106807-1466278146/solver-4106807-1466278146 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466276358-12798 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106807-1466278146.opb
pid=12976
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.17 2.15 3/194 12979
/proc/meminfo: memFree=30101924/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12979/stat : 12979 (java) R 12976 12979 12782 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 29863194 9515008 151 33554432000 1073741824 1073778376 140734761628496 140734761625624 272886151939 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12979/statm: 2323 156 114 9 0 71 0
[startup+0.100062 s]
/proc/loadavg: 2.18 2.17 2.15 3/194 12979
/proc/meminfo: memFree=30101924/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 4272 0 1 0 7 1 0 0 20 0 18 0 29863194 9787879424 5398 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2389619 5404 2073 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.20025 s]
/proc/loadavg: 2.18 2.17 2.15 3/194 12979
/proc/meminfo: memFree=30101924/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 4622 0 1 0 20 1 0 0 20 0 18 0 29863194 9787879424 6729 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2389619 6729 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476
[startup+0.300216 s]
/proc/loadavg: 2.18 2.17 2.15 3/194 12979
/proc/meminfo: memFree=30101924/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 6102 0 1 0 42 1 0 0 20 0 18 0 29863194 9787879424 8801 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2389619 8801 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476
[startup+0.700186 s]
/proc/loadavg: 2.18 2.17 2.15 3/194 12979
/proc/meminfo: memFree=30101924/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=1.55 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 13910 0 1 0 152 3 0 0 20 0 19 0 29863194 9856040960 16899 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 16899 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9625040
[startup+1.50078 s]
/proc/loadavg: 2.18 2.17 2.15 3/213 12998
/proc/meminfo: memFree=30043316/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=2.44 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 13921 0 1 0 241 3 0 0 20 0 19 0 29863194 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 17931 2270 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2514 0 1 0 145 0 0 0 20 0 19 0 29863196 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309338178208 140309210114023 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29863198 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 5581 0 0 0 47 2 0 0 20 0 19 0 29863201 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4554 0 0 0 47 0 0 0 20 0 19 0 29863201 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863202 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 17931 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625040
[startup+3.10081 s]
/proc/loadavg: 2.18 2.17 2.15 2/190 13008
/proc/meminfo: memFree=30474824/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=4.48 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 16649 0 1 0 445 3 0 0 20 0 19 0 29863194 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 22249 2274 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2521 0 1 0 305 0 0 0 20 0 19 0 29863196 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309338175928 140309210529320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29863198 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=0.89 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) R 12976 12979 12782 0 -1 4202560 8300 0 0 0 87 2 0 0 20 0 19 0 29863201 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309158266504 140309342295468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 51 0 0 0 20 0 19 0 29863201 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863202 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 22249 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 9625040
[startup+6.3008 s]
/proc/loadavg: 2.25 2.18 2.15 3/213 13064
/proc/meminfo: memFree=30348080/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=8.26 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 19920 0 1 0 821 5 0 0 20 0 19 0 29863194 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 29763 2275 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2540 0 1 0 623 2 0 0 20 0 19 0 29863196 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309338169008 140309210579453 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29863197 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29863198 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 11551 0 0 0 143 3 0 0 20 0 19 0 29863201 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 52 0 0 0 20 0 19 0 29863201 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29863202 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 29763 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.26
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 11557 0 0 0 146 3 0 0 20 0 19 0 29863201 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 52 0 0 0 20 0 19 0 29863201 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 96 0 0 0 27 26 0 0 20 0 19 0 29863202 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 130966 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1679.92
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.22 2.24 2.18 3/213 13107
/proc/meminfo: memFree=29597316/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=1740.28 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 33872 0 1 0 173870 158 0 0 20 0 19 0 29863194 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 123139 2297 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=1710.04 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2888 0 1 0 170974 30 0 0 20 0 19 0 29863196 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309338176704 140309210632512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 2147 0 0 0 263 17 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 860 0 0 0 250 12 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=2.91 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1469 0 0 0 274 17 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=2.9 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1803 0 0 0 272 18 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1589 0 0 0 289 17 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1942 0 0 0 259 13 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1137 0 0 0 260 15 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=2.76 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 1550 0 0 0 260 16 0 0 20 0 19 0 29863197 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=5.53 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 1016 0 0 0 547 6 0 0 20 0 19 0 29863198 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 11557 0 0 0 146 3 0 0 20 0 19 0 29863201 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 52 0 0 0 20 0 19 0 29863201 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 100 0 0 0 28 27 0 0 20 0 19 0 29863202 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 123139 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1740.28
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1781.5 s]
/proc/loadavg: 2.11 2.20 2.18 3/213 13108
/proc/meminfo: memFree=29640908/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 33917 0 1 0 179848 159 0 0 20 0 19 0 29863194 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 121449 2297 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=1768.82 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2903 0 1 0 176851 31 0 0 20 0 19 0 29863196 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309338176704 140309210580897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 2147 0 0 0 271 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 872 0 0 0 260 12 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1469 0 0 0 286 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1803 0 0 0 284 18 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1589 0 0 0 299 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1942 0 0 0 270 13 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1137 0 0 0 270 15 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 1550 0 0 0 269 16 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=5.7 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 1031 0 0 0 564 6 0 0 20 0 19 0 29863198 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 11557 0 0 0 146 3 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 52 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 29863202 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040
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 12979 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1781.5 s]
/proc/loadavg: 2.11 2.20 2.18 3/213 13108
/proc/meminfo: memFree=29640908/32872528 swapFree=1244176/1391344
[pid=12979] ppid=12976 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/12979/stat : 12979 (java) S 12976 12979 12782 0 -1 4202496 33917 0 1 0 179848 159 0 0 20 0 19 0 29863194 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140734672834768 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12979/statm: 2406260 121449 2297 9 0 2396937 0
[pid=12979/tid=12981] ppid=12976 vsize=9625040 CPUtime=1768.82 cores=0,2,4,6
/proc/12979/task/12981/stat : 12981 (java) R 12976 12979 12782 0 -1 4202560 2903 0 1 0 176851 31 0 0 20 0 19 0 29863196 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309338176704 140309210580897 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12982] ppid=12976 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/12979/task/12982/stat : 12982 (java) S 12976 12979 12782 0 -1 4202560 2147 0 0 0 271 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309182270120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12983] ppid=12976 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/12979/task/12983/stat : 12983 (java) S 12976 12979 12782 0 -1 4202560 872 0 0 0 260 12 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309181217576 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12979/tid=12984] ppid=12976 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/12979/task/12984/stat : 12984 (java) S 12976 12979 12782 0 -1 4202560 1469 0 0 0 286 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309180165032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12979/tid=12985] ppid=12976 vsize=9625040 CPUtime=3.02 cores=0,2,4,6
/proc/12979/task/12985/stat : 12985 (java) S 12976 12979 12782 0 -1 4202560 1803 0 0 0 284 18 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309179112488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12986] ppid=12976 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/12979/task/12986/stat : 12986 (java) S 12976 12979 12782 0 -1 4202560 1589 0 0 0 299 17 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309178058920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12987] ppid=12976 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/12979/task/12987/stat : 12987 (java) S 12976 12979 12782 0 -1 4202560 1942 0 0 0 270 13 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309177006376 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12988] ppid=12976 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/12979/task/12988/stat : 12988 (java) S 12976 12979 12782 0 -1 4202560 1137 0 0 0 270 15 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309175953832 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12989] ppid=12976 vsize=9625040 CPUtime=2.85 cores=0,2,4,6
/proc/12979/task/12989/stat : 12989 (java) S 12976 12979 12782 0 -1 4202560 1550 0 0 0 269 16 0 0 20 0 19 0 29863197 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309174901288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12990] ppid=12976 vsize=9625040 CPUtime=5.7 cores=0,2,4,6
/proc/12979/task/12990/stat : 12990 (java) S 12976 12979 12782 0 -1 4202560 1031 0 0 0 564 6 0 0 20 0 19 0 29863198 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309162490472 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12991] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12991/stat : 12991 (java) S 12976 12979 12782 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309161436792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12992] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12992/stat : 12992 (java) S 12976 12979 12782 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29863199 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309160384136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12993] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12993/stat : 12993 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309159332880 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12994] ppid=12976 vsize=9625040 CPUtime=1.49 cores=0,2,4,6
/proc/12979/task/12994/stat : 12994 (java) S 12976 12979 12782 0 -1 4202560 11557 0 0 0 146 3 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309158279224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12995] ppid=12976 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/12979/task/12995/stat : 12995 (java) S 12976 12979 12782 0 -1 4202560 4555 0 0 0 52 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309157226680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12996] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12996/stat : 12996 (java) S 12976 12979 12782 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29863201 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309156174328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12979/tid=12997] ppid=12976 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12979/task/12997/stat : 12997 (java) S 12976 12979 12782 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 29863202 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309155121992 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12979/tid=12998] ppid=12976 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12979/task/12998/stat : 12998 (java) S 12976 12979 12782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29863234 9856040960 121449 33554432000 1073741824 1073778376 140734672843632 140309153969448 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1781.54
CPU time (s): 1800.76
CPU user time (s): 1798.69
CPU system time (s): 2.07568
CPU usage (%): 101.079
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 2.07568
maximum resident set size= 757464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33953
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48193
involuntary context switches= 50547
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92349 second user time and 13.8509 second system time
The end