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-4100117-1466211020/watcher-4100117-1466211020 -o /tmp/evaluation-result-4100117-1466211020/solver-4100117-1466211020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466206067-15564 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100117-1466211020.opb
pid=17382
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.18 2.17 3/194 17385
/proc/meminfo: memFree=26706796/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/17385/stat : 17385 (java) R 17382 17385 15548 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 23148466 278528 33 33554432000 1073741824 1073778376 140734557578480 140733735513336 229346733237 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 68 33 25 9 0 25 0
[startup+0.100186 s]
/proc/loadavg: 2.13 2.18 2.17 3/194 17385
/proc/meminfo: memFree=26706796/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 4403 0 1 0 8 1 0 0 20 0 18 0 23148466 9787879424 6031 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20022 s]
/proc/loadavg: 2.13 2.18 2.17 3/194 17385
/proc/meminfo: memFree=26706796/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 6826 0 1 0 27 1 0 0 20 0 18 0 23148466 9787879424 8295 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2389619 8295 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300218 s]
/proc/loadavg: 2.13 2.18 2.17 3/194 17385
/proc/meminfo: memFree=26706796/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9558476 CPUtime=0.59 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 8787 0 1 0 57 2 0 0 20 0 18 0 23148466 9787879424 11472 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2389619 11472 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476
[startup+0.700274 s]
/proc/loadavg: 2.13 2.18 2.17 3/194 17385
/proc/meminfo: memFree=26706796/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 10688 0 1 0 144 3 0 0 20 0 19 0 23148466 9856040960 22954 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 22954 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9625040
[startup+1.5008 s]
/proc/loadavg: 2.13 2.18 2.17 3/213 17404
/proc/meminfo: memFree=26612308/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 10721 0 1 0 231 3 0 0 20 0 19 0 23148466 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 28590 2260 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2451 0 1 0 144 2 0 0 20 0 19 0 23148467 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251854063872 140251704741575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23148469 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 2948 0 0 0 39 0 0 0 20 0 19 0 23148472 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 4044 0 0 0 45 0 0 0 20 0 19 0 23148472 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 28590 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.12 2.18 2.17 4/213 17404
/proc/meminfo: memFree=26579540/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 10904 0 1 0 408 3 0 0 20 0 19 0 23148466 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 38323 2265 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2471 0 1 0 304 2 0 0 20 0 19 0 23148467 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251854064016 140251704797272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23148469 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 3106 0 0 0 42 0 0 0 20 0 19 0 23148472 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 4049 0 0 0 59 0 0 0 20 0 19 0 23148472 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 38323 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.12 2.18 2.17 4/213 17405
/proc/meminfo: memFree=26521692/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=7.8 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 15788 0 1 0 774 6 0 0 20 0 19 0 23148466 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 48758 2279 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2484 0 1 0 622 3 0 0 20 0 19 0 23148467 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251854065992 140251704665687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23148468 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23148469 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 4090 0 0 0 51 0 0 0 20 0 19 0 23148472 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 7879 0 0 0 93 0 0 0 20 0 19 0 23148472 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 48758 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 4090 0 0 0 51 0 0 0 20 0 19 0 23148472 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 9400 0 0 0 137 2 0 0 20 0 19 0 23148472 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 94 0 0 0 21 25 0 0 20 0 19 0 23148472 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 95242 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.79
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.23 4/213 17736
/proc/meminfo: memFree=26242800/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=1728.9 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 20534 0 1 0 172807 83 0 0 20 0 19 0 23148466 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 94044 2288 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=1719.18 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2567 0 1 0 171885 33 0 0 20 0 19 0 23148467 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251854064896 140251704813601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0.81 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 331 0 0 0 73 8 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 503 0 0 0 79 8 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 332 0 0 0 81 5 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 262 0 0 0 71 7 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0.73 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 300 0 0 0 66 7 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 422 0 0 0 76 7 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 355 0 0 0 75 7 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 305 0 0 0 76 6 0 0 20 0 19 0 23148468 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=1.06 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 305 0 0 0 103 3 0 0 20 0 19 0 23148469 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 4090 0 0 0 51 0 0 0 20 0 19 0 23148472 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 9400 0 0 0 137 2 0 0 20 0 19 0 23148472 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 98 0 0 0 21 26 0 0 20 0 19 0 23148472 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 94044 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.9
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.22 2.23 2.22 4/214 17740
/proc/meminfo: memFree=26217476/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=1788.98 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 20779 0 1 0 178811 87 0 0 20 0 19 0 23148466 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 100361 2288 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=1779 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2569 0 1 0 177866 34 0 0 20 0 19 0 23148467 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251854064864 140251704558599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 375 0 0 0 74 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 534 0 0 0 80 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 337 0 0 0 82 5 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 268 0 0 0 72 7 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 303 0 0 0 67 7 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 484 0 0 0 78 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 423 0 0 0 76 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 306 0 0 0 78 6 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 324 0 0 0 115 3 0 0 20 0 19 0 23148469 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 4090 0 0 0 51 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 9400 0 0 0 137 2 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 102 0 0 0 22 27 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.98
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.4 s]
/proc/loadavg: 2.18 2.22 2.22 3/214 17740
/proc/meminfo: memFree=26217368/32872528 swapFree=1370848/1518016
[pid=17385] ppid=17382 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/17385/stat : 17385 (java) S 17382 17385 15548 0 -1 4202496 20779 0 1 0 179921 87 0 0 20 0 19 0 23148466 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140734557569616 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17385/statm: 2406260 100361 2288 9 0 2396937 0
[pid=17385/tid=17387] ppid=17382 vsize=9625040 CPUtime=1790.1 cores=0,2,4,6
/proc/17385/task/17387/stat : 17387 (java) R 17382 17385 15548 0 -1 4202560 2569 0 1 0 178976 34 0 0 20 0 19 0 23148467 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251854064864 140251704558501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17388] ppid=17382 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/17385/task/17388/stat : 17388 (java) S 17382 17385 15548 0 -1 4202560 375 0 0 0 74 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251826518952 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17389] ppid=17382 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/17385/task/17389/stat : 17389 (java) S 17382 17385 15548 0 -1 4202560 534 0 0 0 80 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251825466408 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17390] ppid=17382 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/17385/task/17390/stat : 17390 (java) S 17382 17385 15548 0 -1 4202560 337 0 0 0 82 5 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251824413352 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17391] ppid=17382 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/17385/task/17391/stat : 17391 (java) S 17382 17385 15548 0 -1 4202560 268 0 0 0 72 7 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251823360808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17392] ppid=17382 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/17385/task/17392/stat : 17392 (java) S 17382 17385 15548 0 -1 4202560 303 0 0 0 67 7 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251693099432 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17393] ppid=17382 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/17385/task/17393/stat : 17393 (java) S 17382 17385 15548 0 -1 4202560 484 0 0 0 78 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251692046888 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17394] ppid=17382 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/17385/task/17394/stat : 17394 (java) S 17382 17385 15548 0 -1 4202560 423 0 0 0 76 8 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251690993832 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17395] ppid=17382 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/17385/task/17395/stat : 17395 (java) S 17382 17385 15548 0 -1 4202560 306 0 0 0 78 6 0 0 20 0 19 0 23148468 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251689941288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17396] ppid=17382 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/17385/task/17396/stat : 17396 (java) S 17382 17385 15548 0 -1 4202560 324 0 0 0 115 3 0 0 20 0 19 0 23148469 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251207428968 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17385/tid=17397] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17397/stat : 17397 (java) S 17382 17385 15548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251206375288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17398] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17398/stat : 17398 (java) S 17382 17385 15548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23148470 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251205322120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17399] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17399/stat : 17399 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251204270864 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17400] ppid=17382 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/17385/task/17400/stat : 17400 (java) S 17382 17385 15548 0 -1 4202560 4090 0 0 0 51 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251203217720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17385/tid=17401] ppid=17382 vsize=9625040 CPUtime=1.39 cores=0,2,4,6
/proc/17385/task/17401/stat : 17401 (java) S 17382 17385 15548 0 -1 4202560 9400 0 0 0 137 2 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251202165176 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17402] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17402/stat : 17402 (java) S 17382 17385 15548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251201112312 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17385/tid=17403] ppid=17382 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/17385/task/17403/stat : 17403 (java) S 17382 17385 15548 0 -1 4202560 102 0 0 0 22 27 0 0 20 0 19 0 23148472 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251200059976 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17385/tid=17404] ppid=17382 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/17385/task/17404/stat : 17404 (java) S 17382 17385 15548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23148513 9856040960 100361 33554432000 1073741824 1073778376 140734557578480 140251199006248 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 17385 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1793.45
CPU time (s): 1800.7
CPU user time (s): 1799.33
CPU system time (s): 1.37379
CPU usage (%): 100.405
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.37379
maximum resident set size= 629940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20822
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40645
involuntary context switches= 22768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.99148 second user time and 13.5039 second system time
The end