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-4085132-1465335388/watcher-4085132-1465335388 -o /tmp/evaluation-result-4085132-1465335388/solver-4085132-1465335388 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23538 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085132-1465335388.opb
pid=26243
running on 4 cores: 1,3,5,7
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.00 2.01 2.00 3/194 26246
/proc/meminfo: memFree=30313460/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 115474193 98570240 977 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 24065 977 743 9 0 16771 0
[pid=26246/tid=26247] ppid=26243 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 115474193 98570240 978 33554432000 1073741824 1073778376 140736220391424 140411532553768 249650038144 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100209 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 26246
/proc/meminfo: memFree=30313460/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 4521 0 1 0 9 2 0 0 20 0 18 0 115474193 9787879424 6150 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 6150 2157 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2376 0 1 0 6 2 0 0 20 0 18 0 115474193 9787879424 6150 33554432000 1073741824 1073778376 140736220391424 140411532557216 249653421325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200383 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 26246
/proc/meminfo: memFree=30313460/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 5320 0 1 0 30 2 0 0 20 0 18 0 115474193 9787879424 8640 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 8640 2227 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2395 0 1 0 16 2 0 0 20 0 18 0 115474193 9787879424 8640 33554432000 1073741824 1073778376 140736220391424 140411532549664 140411356116540 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9558476
[startup+0.300382 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 26246
/proc/meminfo: memFree=30313460/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 5566 0 1 0 44 3 0 0 20 0 18 0 115474193 9787879424 15292 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 15292 2231 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2408 0 1 0 25 3 0 0 20 0 18 0 115474193 9787879424 15292 33554432000 1073741824 1073778376 140736220391424 140411532549664 140411356518560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 2.00 3/194 26246
/proc/meminfo: memFree=30313460/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=1.19 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 6320 0 1 0 108 11 0 0 20 0 18 0 115474193 9787879424 53732 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 53732 2252 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) S 26243 26246 27127 0 -1 4202560 2458 0 1 0 56 5 0 0 20 0 18 0 115474193 9787879424 53732 33554432000 1073741824 1073778376 140736220391424 140411532556232 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9558476
[startup+1.50085 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 26264
/proc/meminfo: memFree=30083840/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=2.58 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 12198 0 1 0 236 22 0 0 20 0 18 0 115474193 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 96538 2271 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=1.33 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2520 0 1 0 127 6 0 0 20 0 18 0 115474193 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411532550272 249653421325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 149 0 0 0 8 4 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 113 0 0 0 4 2 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 35 0 0 0 4 1 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 128 0 0 0 3 2 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 41 0 0 0 4 2 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 120 0 0 0 4 1 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 18 0 115474194 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 115474195 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 115474196 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 115474196 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 2814 0 0 0 30 0 0 0 20 0 18 0 115474198 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4783 0 0 0 33 1 0 0 20 0 18 0 115474198 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 96538 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 9558476
[startup+3.10083 s]
/proc/loadavg: 2.00 2.01 2.00 3/212 26264
/proc/meminfo: memFree=29903928/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9558476 CPUtime=4.38 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 12622 0 1 0 408 30 0 0 20 0 18 0 115474193 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2389619 154157 2272 9 0 2380296 0
[pid=26246/tid=26247] ppid=26243 vsize=9558476 CPUtime=2.88 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2796 0 1 0 279 9 0 0 20 0 18 0 115474193 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411532550128 249653421325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 173 0 0 0 11 5 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 116 0 0 0 5 2 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 144 0 0 0 5 2 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 80 0 0 0 5 2 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 127 0 0 0 5 2 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 18 0 115474194 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 115474195 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 115474196 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 115474196 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9558476 CPUtime=0.34 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 2829 0 0 0 34 0 0 0 20 0 18 0 115474198 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4806 0 0 0 37 2 0 0 20 0 18 0 115474198 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 115474198 9787879424 154157 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9558476
[startup+6.30084 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 26265
/proc/meminfo: memFree=29641776/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9625040 CPUtime=8.26 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 13800 0 1 0 790 36 0 0 20 0 19 0 115474193 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2406260 169543 2281 9 0 2396937 0
[pid=26246/tid=26247] ppid=26243 vsize=9625040 CPUtime=6 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 2813 0 1 0 590 10 0 0 20 0 19 0 115474193 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411532556640 140411356895227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 178 0 0 0 12 5 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 122 0 0 0 6 2 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 62 0 0 0 11 3 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 152 0 0 0 6 3 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 107 0 0 0 10 4 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 139 0 0 0 8 3 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 49 0 0 0 6 3 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 115474194 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 485 0 0 0 0 0 0 0 20 0 19 0 115474195 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 3583 0 0 0 66 0 0 0 20 0 19 0 115474198 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4814 0 0 0 54 2 0 0 20 0 19 0 115474198 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 169543 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=26246/tid=26258] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 3602 0 0 0 78 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4835 0 0 0 59 2 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 95 0 0 0 33 45 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26265] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26265/stat : 26265 (java) S 26243 26246 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115474590 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411347624872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1668.18
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/213 26407
/proc/meminfo: memFree=28668512/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9625040 CPUtime=1728.19 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 258473 0 1 0 172567 252 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2406260 435221 2295 9 0 2396937 0
[pid=26246/tid=26247] ppid=26243 vsize=9625040 CPUtime=1717.4 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 3499 0 1 0 171699 41 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411532557520 140411356888247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 21082 0 0 0 52 22 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 27211 0 0 0 48 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 29113 0 0 0 51 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 27327 0 0 0 44 19 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 21565 0 0 0 56 30 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 21787 0 0 0 40 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 28301 0 0 0 40 24 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 23768 0 0 0 39 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 45025 0 0 0 326 14 0 0 20 0 19 0 115474195 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 3602 0 0 0 78 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4835 0 0 0 59 2 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 99 0 0 0 34 47 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26265] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26265/stat : 26265 (java) S 26243 26246 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115474590 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411347624872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1728.19
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/213 26408
/proc/meminfo: memFree=28681544/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9625040 CPUtime=1788.2 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 258480 0 1 0 178567 253 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2406260 435221 2295 9 0 2396937 0
[pid=26246/tid=26247] ppid=26243 vsize=9625040 CPUtime=1777.4 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 3500 0 1 0 177698 42 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411532558536 140411357050984 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 21082 0 0 0 52 22 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 27211 0 0 0 48 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 29113 0 0 0 51 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 27327 0 0 0 44 19 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 21565 0 0 0 56 30 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 21787 0 0 0 40 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 28301 0 0 0 40 24 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 23768 0 0 0 39 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 45026 0 0 0 326 14 0 0 20 0 19 0 115474195 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 3602 0 0 0 78 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4836 0 0 0 59 2 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 103 0 0 0 36 48 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26265] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26265/stat : 26265 (java) S 26243 26246 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115474590 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411347624872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.1 s]
/proc/loadavg: 2.00 2.04 2.00 3/213 26409
/proc/meminfo: memFree=28681088/32872528 swapFree=10608/190480
[pid=26246] ppid=26243 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/26246/stat : 26246 (java) S 26243 26246 27127 0 -1 4202496 258480 0 1 0 179747 253 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140736220382560 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26246/statm: 2406260 435221 2295 9 0 2396937 0
[pid=26246/tid=26247] ppid=26243 vsize=9625040 CPUtime=1789.2 cores=1,3,5,7
/proc/26246/task/26247/stat : 26247 (java) R 26243 26246 27127 0 -1 4202560 3500 0 1 0 178878 42 0 0 20 0 19 0 115474193 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411532558536 140411356895104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26249] ppid=26243 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26246/task/26249/stat : 26249 (java) S 26243 26246 27127 0 -1 4202560 21082 0 0 0 52 22 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411494050088 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26250] ppid=26243 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/26246/task/26250/stat : 26250 (java) S 26243 26246 27127 0 -1 4202560 27211 0 0 0 48 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411492997288 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26251] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26251/stat : 26251 (java) S 26243 26246 27127 0 -1 4202560 29113 0 0 0 51 27 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411491945000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26246/tid=26252] ppid=26243 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/26246/task/26252/stat : 26252 (java) S 26243 26246 27127 0 -1 4202560 27327 0 0 0 44 19 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411490892200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26253] ppid=26243 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/26246/task/26253/stat : 26253 (java) S 26243 26246 27127 0 -1 4202560 21565 0 0 0 56 30 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411489839912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26254] ppid=26243 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/26246/task/26254/stat : 26254 (java) S 26243 26246 27127 0 -1 4202560 21787 0 0 0 40 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411488787112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26255] ppid=26243 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/26246/task/26255/stat : 26255 (java) S 26243 26246 27127 0 -1 4202560 28301 0 0 0 40 24 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411487734824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26256] ppid=26243 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/26246/task/26256/stat : 26256 (java) S 26243 26246 27127 0 -1 4202560 23768 0 0 0 39 17 0 0 20 0 19 0 115474194 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411486682024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26257] ppid=26243 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/26246/task/26257/stat : 26257 (java) S 26243 26246 27127 0 -1 4202560 45026 0 0 0 326 14 0 0 20 0 19 0 115474195 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411356047592 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26258] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26258/stat : 26258 (java) S 26243 26246 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411354993656 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26259] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26259/stat : 26259 (java) S 26243 26246 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115474196 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411353941256 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26260] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26260/stat : 26260 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411352889744 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26246/tid=26261] ppid=26243 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/26246/task/26261/stat : 26261 (java) S 26243 26246 27127 0 -1 4202560 3602 0 0 0 78 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411351837368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26262] ppid=26243 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/26246/task/26262/stat : 26262 (java) S 26243 26246 27127 0 -1 4202560 4836 0 0 0 59 2 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411350784568 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26263] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26263/stat : 26263 (java) S 26243 26246 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411349732472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26246/tid=26264] ppid=26243 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/26246/task/26264/stat : 26264 (java) S 26243 26246 27127 0 -1 4202560 103 0 0 0 36 48 0 0 20 0 19 0 115474198 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411348679880 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26246/tid=26265] ppid=26243 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26246/task/26265/stat : 26265 (java) S 26243 26246 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115474590 9856040960 435221 33554432000 1073741824 1073778376 140736220391424 140411347624872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 26246 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.15
CPU time (s): 1800.71
CPU user time (s): 1797.67
CPU system time (s): 3.04354
CPU usage (%): 100.366
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.67
system time used= 3.04354
maximum resident set size= 2497776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258516
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54207
involuntary context switches= 4184
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2401 second user time and 17.0874 second system time
The end