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-4090742-1466073647/watcher-4090742-1466073647 -o /tmp/evaluation-result-4090742-1466073647/solver-4090742-1466073647 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466062117-9737 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090742-1466073647.wbo
pid=12098
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.01 2.07 2.04 3/197 12101
/proc/meminfo: memFree=31677492/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12101/stat : 12101 (java) D 12098 12101 9721 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 9410609 9515008 186 33554432000 1073741824 1073778376 140737421333072 140737421322136 206399696167 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2323 186 143 9 0 71 0
[startup+0.10009 s]
/proc/loadavg: 2.01 2.07 2.04 3/197 12101
/proc/meminfo: memFree=31677492/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 4395 0 1 0 8 1 0 0 20 0 18 0 9410609 9787879424 6029 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200272 s]
/proc/loadavg: 2.01 2.07 2.04 3/197 12101
/proc/meminfo: memFree=31677492/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 4664 0 1 0 22 1 0 0 20 0 18 0 9410609 9787879424 6750 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2389619 6750 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300212 s]
/proc/loadavg: 2.01 2.07 2.04 3/197 12101
/proc/meminfo: memFree=31677492/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 6596 0 1 0 44 2 0 0 20 0 19 0 9410609 9856040960 8466 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 8466 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625040
[startup+0.700217 s]
/proc/loadavg: 2.01 2.07 2.04 3/197 12101
/proc/meminfo: memFree=31677492/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 9108 0 1 0 109 2 0 0 20 0 19 0 9410609 9856040960 10253 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 10253 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040
[startup+1.50071 s]
/proc/loadavg: 2.01 2.07 2.04 3/216 12120
/proc/meminfo: memFree=31645276/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 9187 0 1 0 196 2 0 0 20 0 19 0 9410609 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 10772 2257 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2406 0 1 0 145 1 0 0 20 0 19 0 9410609 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139997236170088 139997093567129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 2342 0 0 0 21 0 0 0 20 0 19 0 9410615 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3167 0 0 0 27 0 0 0 20 0 19 0 9410615 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 10772 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.01 2.07 2.04 3/216 12120
/proc/meminfo: memFree=31642732/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 9769 0 1 0 364 3 0 0 20 0 19 0 9410609 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 11798 2259 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2409 0 1 0 305 1 0 0 20 0 19 0 9410609 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139997236169224 139997093566543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 2920 0 0 0 25 0 0 0 20 0 19 0 9410615 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3168 0 0 0 31 0 0 0 20 0 19 0 9410615 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 11798 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.01 2.07 2.04 3/216 12120
/proc/meminfo: memFree=31634184/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=6.87 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 9775 0 1 0 684 3 0 0 20 0 19 0 9410609 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 13198 2260 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2414 0 1 0 624 1 0 0 20 0 19 0 9410609 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139997236162240 139997093588287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 9410611 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 2920 0 0 0 25 0 0 0 20 0 19 0 9410615 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3168 0 0 0 31 0 0 0 20 0 19 0 9410615 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 13198 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 99583 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.26
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 1.94 1.99 1.99 3/216 12253
/proc/meminfo: memFree=31029272/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=1784.4 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 11606 0 1 0 178382 58 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 102550 2274 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=1776.98 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2486 0 1 0 177666 32 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997236169936 139997093588196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 56 0 0 0 12 2 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 83 0 0 0 22 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 375 0 0 0 23 4 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 97 0 0 0 18 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 246 0 0 0 27 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 245 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 142 0 0 0 21 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 77 0 0 0 0 1 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 3215 0 0 0 27 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3168 0 0 0 31 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 104 0 0 0 25 30 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/216 12253
/proc/meminfo: memFree=30954556/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 11606 0 1 0 179942 59 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 102550 2274 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=1792.54 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2486 0 1 0 179222 32 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997236162240 139997093501517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 56 0 0 0 12 2 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 83 0 0 0 22 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 375 0 0 0 23 4 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 97 0 0 0 18 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 246 0 0 0 27 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 245 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 142 0 0 0 21 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 77 0 0 0 0 1 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 3215 0 0 0 27 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3168 0 0 0 31 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 104 0 0 0 26 30 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 12101 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/216 12253
/proc/meminfo: memFree=30954556/32872528 swapFree=7268/7268
[pid=12101] ppid=12098 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/12101/stat : 12101 (java) S 12098 12101 9721 0 -1 4202496 11606 0 1 0 179942 59 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 140737421324208 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12101/statm: 2406260 102550 2274 9 0 2396937 0
[pid=12101/tid=12103] ppid=12098 vsize=9625040 CPUtime=1792.54 cores=0,2,4,6
/proc/12101/task/12103/stat : 12103 (java) R 12098 12101 9721 0 -1 4202560 2486 0 1 0 179222 32 0 0 20 0 19 0 9410609 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997236162240 139997093501517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12104] ppid=12098 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/12101/task/12104/stat : 12104 (java) S 12098 12101 9721 0 -1 4202560 56 0 0 0 12 2 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997214271912 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12105] ppid=12098 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/12101/task/12105/stat : 12105 (java) S 12098 12101 9721 0 -1 4202560 83 0 0 0 22 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997213219368 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12101/tid=12106] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12106/stat : 12106 (java) S 12098 12101 9721 0 -1 4202560 375 0 0 0 23 4 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139997212166312 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12107] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12107/stat : 12107 (java) S 12098 12101 9721 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996874926376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12108] ppid=12098 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/12101/task/12108/stat : 12108 (java) S 12098 12101 9721 0 -1 4202560 97 0 0 0 18 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996873874344 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12109] ppid=12098 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/12101/task/12109/stat : 12109 (java) S 12098 12101 9721 0 -1 4202560 246 0 0 0 27 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996872821800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12110] ppid=12098 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/12101/task/12110/stat : 12110 (java) S 12098 12101 9721 0 -1 4202560 245 0 0 0 16 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996871768744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12111] ppid=12098 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/12101/task/12111/stat : 12111 (java) S 12098 12101 9721 0 -1 4202560 142 0 0 0 21 3 0 0 20 0 19 0 9410611 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996870716200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12112] ppid=12098 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/12101/task/12112/stat : 12112 (java) S 12098 12101 9721 0 -1 4202560 77 0 0 0 0 1 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996858517864 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12113] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12113/stat : 12113 (java) S 12098 12101 9721 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996857464184 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12114] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12114/stat : 12114 (java) S 12098 12101 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 9410612 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996856411016 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12115] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12115/stat : 12115 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996855359760 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12116] ppid=12098 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/12101/task/12116/stat : 12116 (java) S 12098 12101 9721 0 -1 4202560 3215 0 0 0 27 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996854307640 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12101/tid=12117] ppid=12098 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/12101/task/12117/stat : 12117 (java) S 12098 12101 9721 0 -1 4202560 3168 0 0 0 31 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996853255096 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12118] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12118/stat : 12118 (java) S 12098 12101 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996852202232 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12101/tid=12119] ppid=12098 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/12101/task/12119/stat : 12119 (java) S 12098 12101 9721 0 -1 4202560 104 0 0 0 26 30 0 0 20 0 19 0 9410615 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996851149896 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12101/tid=12120] ppid=12098 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/12101/task/12120/stat : 12120 (java) S 12098 12101 9721 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 9410630 9856040960 102550 33554432000 1073741824 1073778376 140737421333072 139996849996840 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12101 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=818146
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=12846
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.94
CPU time (s): 1800.01
CPU user time (s): 1799.42
CPU system time (s): 0.59
CPU usage (%): 100.115
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 1.01285
maximum resident set size= 414752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11654
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38507
involuntary context switches= 14043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78251 second user time and 13.9429 second system time
The end