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-4109668-1466343679/watcher-4109668-1466343679 -o /tmp/evaluation-result-4109668-1466343679/solver-4109668-1466343679 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466341819-12182 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109668-1466343679.wbo
pid=13377
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.45 2.35 1.99 3/194 13380
/proc/meminfo: memFree=29832224/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 1283 0 0 0 0 0 0 0 20 0 2 0 36416286 94019584 917 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 22954 917 697 9 0 16769 0
[pid=13380/tid=13381] ppid=13377 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 2 0 36416286 95129600 925 33554432000 1073741824 1073778376 140736379303088 140552774778408 217401309747 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100164 s]
/proc/loadavg: 2.45 2.35 1.99 3/194 13380
/proc/meminfo: memFree=29832224/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 4436 0 1 0 9 1 0 0 20 0 18 0 36416286 9787879424 6074 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2389619 6074 2140 9 0 2380296 0
[pid=13380/tid=13381] ppid=13377 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 36416286 9787879424 6074 33554432000 1073741824 1073778376 140736379303088 140552774781856 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200389 s]
/proc/loadavg: 2.45 2.35 1.99 3/194 13380
/proc/meminfo: memFree=29832224/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 4765 0 1 0 24 1 0 0 20 0 18 0 36416286 9787879424 6838 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2389619 6838 2212 9 0 2380296 0
[pid=13380/tid=13381] ppid=13377 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2396 0 1 0 17 0 0 0 20 0 18 0 36416286 9787879424 6838 33554432000 1073741824 1073778376 140736379303088 140552774783112 140552620641160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476
[startup+0.30045 s]
/proc/loadavg: 2.45 2.35 1.99 3/194 13380
/proc/meminfo: memFree=29832224/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 5932 0 1 0 47 1 0 0 20 0 18 0 36416286 9787879424 8402 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2389619 8402 2239 9 0 2380296 0
[pid=13380/tid=13381] ppid=13377 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2407 0 1 0 26 1 0 0 20 0 18 0 36416286 9787879424 8402 33554432000 1073741824 1073778376 140736379303088 140552774774768 217413903629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700335 s]
/proc/loadavg: 2.45 2.35 1.99 3/194 13380
/proc/meminfo: memFree=29832224/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=1.5 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 12346 0 1 0 148 2 0 0 20 0 19 0 36416286 9856040960 13257 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 13257 2260 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2415 0 1 0 66 1 0 0 20 0 19 0 36416286 9856040960 13257 33554432000 1073741824 1073778376 140736379303088 140552774783616 140552620840628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.45 2.35 1.99 3/213 13399
/proc/meminfo: memFree=29757200/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=2.49 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 12367 0 1 0 247 2 0 0 20 0 19 0 36416286 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 15321 2268 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2420 0 1 0 146 1 0 0 20 0 19 0 36416286 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552774783392 140552620808710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 3318 0 0 0 51 0 0 0 20 0 19 0 36416291 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) S 13377 13380 12165 0 -1 4202560 5352 0 0 0 47 0 0 0 20 0 19 0 36416291 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552122088248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 15321 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9625040
[startup+3.1009 s]
/proc/loadavg: 2.45 2.35 1.99 5/213 13399
/proc/meminfo: memFree=29742260/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=4.85 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 21328 0 1 0 481 4 0 0 20 0 19 0 36416286 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 22215 2270 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2427 0 1 0 305 1 0 0 20 0 19 0 36416286 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552774774480 140552620762228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 86 2 0 0 20 0 19 0 36416291 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) R 13377 13380 12165 0 -1 4202560 7770 0 0 0 85 2 0 0 20 0 19 0 36416291 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552122075816 140552781377989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 22215 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.85
Current children cumulated vsize (KiB) 9625040
[startup+6.30088 s]
/proc/loadavg: 2.41 2.35 1.99 3/213 13399
/proc/meminfo: memFree=29710672/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=8.07 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 21335 0 1 0 803 4 0 0 20 0 19 0 36416286 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 23476 2270 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2434 0 1 0 624 1 0 0 20 0 19 0 36416286 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552774783288 140552620797036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 86 2 0 0 20 0 19 0 36416291 9856040960 23476 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
################
# More data... #
################
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 87 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) S 13377 13380 12165 0 -1 4202560 7772 0 0 0 99 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552122088248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 37.91
Current children cumulated vsize (KiB) 9625040
[startup+36.8008 s]
/proc/loadavg: 2.31 2.33 2.00 3/213 13529
/proc/meminfo: memFree=29670296/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=38.71 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 21413 0 1 0 3865 6 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 45368 2284 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=36.67 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2487 0 1 0 3665 2 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552774781560 140552620762608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 87 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) S 13377 13380 12165 0 -1 4202560 7772 0 0 0 99 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552122088248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 38.71
Current children cumulated vsize (KiB) 9625040
[startup+37.2009 s]
/proc/loadavg: 2.31 2.33 2.00 3/213 13529
/proc/meminfo: memFree=29670296/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=39.11 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 21413 0 1 0 3905 6 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 45368 2284 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=37.07 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2487 0 1 0 3705 2 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552774774528 140552620797036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 87 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) S 13377 13380 12165 0 -1 4202560 7772 0 0 0 99 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552122088248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 39.11
Current children cumulated vsize (KiB) 9625040
[startup+37.3009 s]
/proc/loadavg: 2.31 2.33 2.00 3/213 13529
/proc/meminfo: memFree=29670296/32872528 swapFree=1534436/1655032
[pid=13380] ppid=13377 vsize=9625040 CPUtime=39.21 cores=1,3,5,7
/proc/13380/stat : 13380 (java) S 13377 13380 12165 0 -1 4202496 21413 0 1 0 3915 6 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140736379294224 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13380/statm: 2406260 45368 2284 9 0 2396937 0
[pid=13380/tid=13381] ppid=13377 vsize=9625040 CPUtime=37.17 cores=1,3,5,7
/proc/13380/task/13381/stat : 13381 (java) R 13377 13380 12165 0 -1 4202560 2487 0 1 0 3715 2 0 0 20 0 19 0 36416286 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552774774528 140552620838591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13383] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13383/stat : 13383 (java) S 13377 13380 12165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552747235880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13384] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13384/stat : 13384 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552746183080 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13385] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13385/stat : 13385 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552745130280 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13386] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13386/stat : 13386 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552744077480 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13387] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13387/stat : 13387 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552743025704 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13388] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13388/stat : 13388 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552741972904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13389] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13389/stat : 13389 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552740920104 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13380/tid=13390] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13390/stat : 13390 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416287 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552739867304 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13380/tid=13391] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13391/stat : 13391 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416288 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552127351272 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13392] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13392/stat : 13392 (java) S 13377 13380 12165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552126297336 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13393] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13393/stat : 13393 (java) S 13377 13380 12165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36416289 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552125244424 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13394] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13394/stat : 13394 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552124192912 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13395] ppid=13377 vsize=9625040 CPUtime=0.89 cores=1,3,5,7
/proc/13380/task/13395/stat : 13395 (java) S 13377 13380 12165 0 -1 4202560 9853 0 0 0 87 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552123141048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13396] ppid=13377 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/13380/task/13396/stat : 13396 (java) S 13377 13380 12165 0 -1 4202560 7772 0 0 0 99 2 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552122088248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13397] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13397/stat : 13397 (java) S 13377 13380 12165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552121035640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13380/tid=13398] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13398/stat : 13398 (java) S 13377 13380 12165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36416291 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552119983048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13380/tid=13399] ppid=13377 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/13380/task/13399/stat : 13399 (java) S 13377 13380 12165 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 36416317 9856040960 45368 33554432000 1073741824 1073778376 140736379303088 140552118928552 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 39.21
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13380 and gives
# childrusage.ru_utime.tv_sec=39
# childrusage.ru_utime.tv_usec=106054
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=90986
# CPU time returned by wait4() is 39.197
# while last known CPU time is 39.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 37.3796
CPU time (s): 39.21
CPU user time (s): 39.15
CPU system time (s): 0.06
CPU usage (%): 104.897
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.1061
system time used= 0.090986
maximum resident set size= 181528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21434
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1126
involuntary context switches= 141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.162975 second user time and 0.26296 second system time
The end