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-4116113-1466959611/watcher-4116113-1466959611 -o /tmp/evaluation-result-4116113-1466959611/solver-4116113-1466959611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23991 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116113-1466959611.opb
pid=24394
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.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 28998358 95129600 926 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 23225 926 703 9 0 16769 0
[pid=24397/tid=24406] ppid=24394 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 28998358 95129600 926 33554432000 1073741824 1073778376 140733942063376 140051997195816 248781040935 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100118 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 4406 0 1 0 9 1 0 0 20 0 18 0 28998358 9787879424 6033 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 6033 2137 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2375 0 1 0 7 0 0 0 20 0 18 0 28998358 9787879424 6033 33554432000 1073741824 1073778376 140733942063376 140051997199264 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200272 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 4954 0 1 0 26 1 0 0 20 0 18 0 28998358 9787879424 7002 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 7002 2216 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 28998358 9787879424 7002 33554432000 1073741824 1073778376 140733942063376 140051997186416 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300262 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 5787 0 1 0 49 1 0 0 20 0 18 0 28998358 9787879424 8988 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2389619 8988 2233 9 0 2380296 0
[pid=24397/tid=24406] ppid=24394 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2396 0 1 0 26 1 0 0 20 0 18 0 28998358 9787879424 8988 33554432000 1073741824 1073778376 140733942063376 140051997186416 140051853992956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700203 s]
/proc/loadavg: 2.34 2.28 2.22 4/177 24397
/proc/meminfo: memFree=30377420/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8169 0 1 0 127 2 0 0 20 0 19 0 28998358 9856040960 15095 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 15095 2263 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2419 0 1 0 66 1 0 0 20 0 19 0 28998358 9856040960 15095 33554432000 1073741824 1073778376 140733942063376 140051997201024 140051854395605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.34 2.28 2.22 5/213 24433
/proc/meminfo: memFree=30274828/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=2.21 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8751 0 1 0 219 2 0 0 20 0 19 0 28998358 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 15615 2270 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2421 0 1 0 146 2 0 0 20 0 19 0 28998358 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051997200872 140051854492860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 28 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3305 0 0 0 41 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 15615 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.34 2.28 2.22 3/212 24433
/proc/meminfo: memFree=30270368/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8753 0 1 0 383 2 0 0 20 0 19 0 28998358 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 16127 2270 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2423 0 1 0 305 2 0 0 20 0 19 0 28998358 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051997198816 140051854584210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3305 0 0 0 44 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 16127 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040
[startup+6.30076 s]
/proc/loadavg: 2.39 2.29 2.22 4/212 24433
/proc/meminfo: memFree=30254752/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 8758 0 1 0 704 3 0 0 20 0 19 0 28998358 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 17588 2271 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2427 0 1 0 625 2 0 0 20 0 19 0 28998358 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051997191872 140051854493054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28998359 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 28998360 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 17588 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
################
# More data... #
################
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.69 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 96 0 0 0 39 30 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.18
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.24 4/213 24499
/proc/meminfo: memFree=29708152/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1724.19 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10025 0 1 0 172374 45 0 0 20 0 19 0 28998358 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 76717 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1721.98 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2484 0 1 0 172168 30 0 0 20 0 19 0 28998358 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854493074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 388 0 0 0 9 3 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.1 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 15 0 0 0 10 0 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 34 0 0 0 13 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 51 0 0 0 11 1 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 125 0 0 0 10 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 144 0 0 0 12 3 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 142 0 0 0 11 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 19 0 28998359 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 100 0 0 0 41 31 0 0 20 0 19 0 28998363 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 76717 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.19
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.23 3/213 24500
/proc/meminfo: memFree=29695388/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1784.3 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10068 0 1 0 178382 48 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 79803 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1781.95 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2485 0 1 0 178164 31 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854137294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 404 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 39 0 0 0 14 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 53 0 0 0 12 1 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 127 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 149 0 0 0 15 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 143 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 32 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.74 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 104 0 0 0 42 32 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.3
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.19 2.24 2.23 3/213 24500
/proc/meminfo: memFree=29695516/32872528 swapFree=1392268/1580316
[pid=24397] ppid=24394 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/24397/stat : 24397 (java) S 24394 24397 23975 0 -1 4202496 10068 0 1 0 179952 48 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140733942054512 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24397/statm: 2406260 79803 2285 9 0 2396937 0
[pid=24397/tid=24406] ppid=24394 vsize=9625040 CPUtime=1797.65 cores=0,2,4,6
/proc/24397/task/24406/stat : 24406 (java) R 24394 24397 23975 0 -1 4202560 2485 0 1 0 179734 31 0 0 20 0 19 0 28998358 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051997191968 140051854521842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24408] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24408/stat : 24408 (java) S 24394 24397 23975 0 -1 4202560 404 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051975301544 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24410] ppid=24394 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/24397/task/24410/stat : 24410 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051974249000 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24411] ppid=24394 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/24397/task/24411/stat : 24411 (java) S 24394 24397 23975 0 -1 4202560 39 0 0 0 14 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051973195944 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24412] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24412/stat : 24412 (java) S 24394 24397 23975 0 -1 4202560 53 0 0 0 12 1 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051635759400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24413] ppid=24394 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/24397/task/24413/stat : 24413 (java) S 24394 24397 23975 0 -1 4202560 127 0 0 0 10 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051634707368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24414] ppid=24394 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/24397/task/24414/stat : 24414 (java) S 24394 24397 23975 0 -1 4202560 149 0 0 0 15 3 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051633654824 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24415] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24415/stat : 24415 (java) S 24394 24397 23975 0 -1 4202560 143 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051632601768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24397/tid=24416] ppid=24394 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/24397/task/24416/stat : 24416 (java) S 24394 24397 23975 0 -1 4202560 32 0 0 0 12 2 0 0 20 0 19 0 28998359 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051631549224 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24419] ppid=24394 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/24397/task/24419/stat : 24419 (java) S 24394 24397 23975 0 -1 4202560 58 0 0 0 1 1 0 0 20 0 19 0 28998360 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051619350888 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24420] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24420/stat : 24420 (java) S 24394 24397 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051618297208 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24421] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24421/stat : 24421 (java) S 24394 24397 23975 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 28998361 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051617244040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24427] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24427/stat : 24427 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051616192784 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24428] ppid=24394 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/24397/task/24428/stat : 24428 (java) S 24394 24397 23975 0 -1 4202560 1748 0 0 0 30 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051615140664 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24397/tid=24429] ppid=24394 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/24397/task/24429/stat : 24429 (java) S 24394 24397 23975 0 -1 4202560 3445 0 0 0 49 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051614088120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24430] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24430/stat : 24430 (java) S 24394 24397 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051613035256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24397/tid=24431] ppid=24394 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/24397/task/24431/stat : 24431 (java) S 24394 24397 23975 0 -1 4202560 104 0 0 0 43 32 0 0 20 0 19 0 28998363 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051611982920 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24397/tid=24433] ppid=24394 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/24397/task/24433/stat : 24433 (java) S 24394 24397 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 28998400 9856040960 79803 33554432000 1073741824 1073778376 140733942063376 140051610829864 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.04
CPU time (s): 1800.67
CPU user time (s): 1799.72
CPU system time (s): 0.951855
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.951855
maximum resident set size= 319528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10154
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38367
involuntary context switches= 4141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35473 second user time and 15.8316 second system time
The end