runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3688188-1337875796/watcher-3688188-1337875796 -o /tmp/evaluation-result-3688188-1337875796/solver-3688188-1337875796 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688188-1337875796.opb
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: 3.84 3.86 3.77 4/197 24100
/proc/meminfo: memFree=28124940/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 253705573 94019584 917 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 22954 917 697 9 0 16769 0
[pid=24100/tid=24101] ppid=24098 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) R 24098 24100 22184 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253705573 94019584 917 33554432000 1073741824 1073778376 140735534677104 140231449333288 226075176180 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.048195 s]
/proc/loadavg: 3.84 3.86 3.77 4/197 24100
/proc/meminfo: memFree=28124940/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 3085 0 1 0 3 0 0 0 20 0 13 0 253705573 9446973440 4293 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2306390 4294 1709 9 0 2297091 0
[pid=24100/tid=24101] ppid=24098 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) R 24098 24100 22184 0 -1 4202560 1904 0 1 0 2 0 0 0 20 0 13 0 253705573 9446973440 4294 33554432000 1073741824 1073778376 140735534677104 140231449335528 140231453349209 0 4 0 16800971 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100229 s]
/proc/loadavg: 3.84 3.86 3.77 4/197 24100
/proc/meminfo: memFree=28124940/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 4430 0 1 0 10 0 0 0 20 0 18 0 253705573 9787813888 6097 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2389603 6098 2138 9 0 2380296 0
[pid=24100/tid=24101] ppid=24098 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) R 24098 24100 22184 0 -1 4202560 2428 0 1 0 8 0 0 0 20 0 18 0 253705573 9787813888 6098 33554432000 1073741824 1073778376 140735534677104 140231449338616 226087724301 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) 9558412
[startup+0.300197 s]
/proc/loadavg: 3.84 3.86 3.77 4/197 24100
/proc/meminfo: memFree=28124940/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9558412 CPUtime=0.59 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 7832 0 1 0 58 1 0 0 20 0 18 0 253705573 9787813888 10648 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2389603 10648 2223 9 0 2380296 0
[pid=24100/tid=24101] ppid=24098 vsize=9558412 CPUtime=0.28 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) R 24098 24100 22184 0 -1 4202560 2445 0 1 0 28 0 0 0 20 0 18 0 253705573 9787813888 10648 33554432000 1073741824 1073778376 140735534677104 140231449338616 226087724301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412
[startup+0.70032 s]
/proc/loadavg: 3.84 3.86 3.77 4/197 24100
/proc/meminfo: memFree=28124940/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=1.09 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 15274 0 1 0 105 4 0 0 20 0 19 0 253705573 10060460032 19023 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 19023 2241 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2464 0 1 0 34 0 0 0 20 0 19 0 253705573 10060460032 19023 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 3.84 3.86 3.77 3/216 24125
/proc/meminfo: memFree=28052732/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=1.34 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 17272 0 1 0 127 7 0 0 20 0 19 0 253705573 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 21104 2248 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2465 0 1 0 35 0 0 0 20 0 19 0 253705573 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253705574 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253705575 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253705575 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253705575 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705578 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) S 24098 24100 22184 0 -1 4202560 5783 0 0 0 37 1 0 0 20 0 19 0 253705578 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230933183416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=0.43 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) S 24098 24100 22184 0 -1 4202560 7644 0 0 0 43 0 0 0 20 0 19 0 253705578 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230932130616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705578 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24118] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24118/stat : 24118 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253705578 10060460032 21104 33554432000 1073741824 1073778376 140735534677104 140230930025416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9824668
[startup+3.10064 s]
/proc/loadavg: 3.69 3.83 3.76 3/216 24131
/proc/meminfo: memFree=28039964/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=3.72 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 25080 0 1 0 362 10 0 0 20 0 22 0 253705573 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 42784 2285 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2467 0 1 0 36 0 0 0 20 0 22 0 253705573 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 22 0 253705575 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=0.87 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) R 24098 24100 22184 0 -1 4202560 12850 0 0 0 84 3 0 0 20 0 22 0 253705578 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230933183416 140231453194563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=0.93 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) R 24098 24100 22184 0 -1 4202560 8259 0 0 0 92 1 0 0 20 0 22 0 253705578 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230932121656 140231455298701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24118] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24118/stat : 24118 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230930025416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24131] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24131/stat : 24131 (java) S 24098 24100 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705761 10060460032 42784 33554432000 1073741824 1073778376 140735534677104 140230924617384 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9824668
[startup+6.30072 s]
/proc/loadavg: 3.69 3.83 3.76 5/220 24137
/proc/meminfo: memFree=27943244/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=10.35 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 26459 0 1 0 1023 12 0 0 20 0 22 0 253705573 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 49576 2285 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2468 0 1 0 36 0 0 0 20 0 22 0 253705573 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253705574 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 47 0 0 0 26 0 0 0 20 0 22 0 253705575 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=1.11 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) S 24098 24100 22184 0 -1 4202560 12851 0 0 0 108 3 0 0 20 0 22 0 253705578 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230933183416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) S 24098 24100 22184 0 -1 4202560 9598 0 0 0 112 2 0 0 20 0 22 0 253705578 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230932130616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 49576 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=24100/tid=24221] ppid=24098 vsize=9824668 CPUtime=227.34 cores=0,2,4,6
/proc/24100/task/24221/stat : 24221 (java) R 24098 24100 22184 0 -1 4202560 10 0 0 0 22731 3 0 0 20 0 22 0 253760966 10060460032 703498 33554432000 1073741824 1073778376 140735534677104 140230927915392 140231304264468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24222] ppid=24098 vsize=9824668 CPUtime=227.29 cores=0,2,4,6
/proc/24100/task/24222/stat : 24222 (java) R 24098 24100 22184 0 -1 4202560 18 0 0 0 22726 3 0 0 20 0 22 0 253760966 10060460032 703498 33554432000 1073741824 1073778376 140735534677104 140230925667488 140231303973823 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24223] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24223/stat : 24223 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253760966 10060460032 703498 33554432000 1073741824 1073778376 140735534677104 140230924617384 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1569.75
Current children cumulated vsize (KiB) 9824668
[startup+1002.3 s]
/proc/loadavg: 4.20 3.82 3.71 5/220 24478
/proc/meminfo: memFree=25556384/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=1674.35 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 48454 0 1 0 167276 159 0 0 20 0 22 0 253705573 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 727134 2287 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2634 0 1 0 40 2 0 0 20 0 22 0 253705573 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=3.52 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 635 0 0 0 344 8 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 732 0 0 0 351 7 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=3.62 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1071 0 0 0 355 7 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 1099 0 0 0 354 7 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=3.89 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 1440 0 0 0 382 7 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 1002 0 0 0 336 5 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=3.9 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1876 0 0 0 380 10 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 1085 0 0 0 348 7 0 0 20 0 22 0 253705574 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=339.07 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 10130 0 0 0 33869 38 0 0 20 0 22 0 253705575 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) S 24098 24100 22184 0 -1 4202560 12860 0 0 0 146 3 0 0 20 0 22 0 253705578 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230933183416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) S 24098 24100 22184 0 -1 4202560 10898 0 0 0 161 2 0 0 20 0 22 0 253705578 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230932130616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24118] ppid=24098 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/24100/task/24118/stat : 24118 (java) S 24098 24100 22184 0 -1 4202560 57 0 0 0 14 19 0 0 20 0 22 0 253705578 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230930025416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24134] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24134/stat : 24134 (java) S 24098 24100 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705811 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230928971048 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24221] ppid=24098 vsize=9824668 CPUtime=270.27 cores=0,2,4,6
/proc/24100/task/24221/stat : 24221 (java) R 24098 24100 22184 0 -1 4202560 14 0 0 0 27023 4 0 0 20 0 22 0 253760966 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230927917280 140231303930328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24222] ppid=24098 vsize=9824668 CPUtime=270.21 cores=0,2,4,6
/proc/24100/task/24222/stat : 24222 (java) R 24098 24100 22184 0 -1 4202560 22 0 0 0 27017 4 0 0 20 0 22 0 253760966 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230925666592 140231304110381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24223] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24223/stat : 24223 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253760966 10060460032 727134 33554432000 1073741824 1073778376 140735534677104 140230924617384 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1674.35
Current children cumulated vsize (KiB) 9824668
[startup+1062.3 s]
/proc/loadavg: 3.91 3.80 3.71 5/219 24478
/proc/meminfo: memFree=24541216/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=1781.01 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 48929 0 1 0 177935 166 0 0 20 0 22 0 253705573 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 749690 2287 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2638 0 1 0 40 2 0 0 20 0 22 0 253705573 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 644 0 0 0 370 9 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 738 0 0 0 372 7 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1078 0 0 0 375 8 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=3.87 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 1112 0 0 0 380 7 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=4.16 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 1448 0 0 0 408 8 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 1010 0 0 0 373 6 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=4.12 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1882 0 0 0 401 11 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=3.8 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 1107 0 0 0 373 7 0 0 20 0 22 0 253705574 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=353.38 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 10511 0 0 0 35298 40 0 0 20 0 22 0 253705575 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) S 24098 24100 22184 0 -1 4202560 12860 0 0 0 146 3 0 0 20 0 22 0 253705578 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230933183416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) S 24098 24100 22184 0 -1 4202560 10898 0 0 0 161 2 0 0 20 0 22 0 253705578 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230932130616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24118] ppid=24098 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/24100/task/24118/stat : 24118 (java) S 24098 24100 22184 0 -1 4202560 61 0 0 0 15 20 0 0 20 0 22 0 253705578 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230930025416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24134] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24134/stat : 24134 (java) S 24098 24100 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705811 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230928971048 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24221] ppid=24098 vsize=9824668 CPUtime=315.4 cores=0,2,4,6
/proc/24100/task/24221/stat : 24221 (java) R 24098 24100 22184 0 -1 4202560 15 0 0 0 31536 4 0 0 20 0 22 0 253760966 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230927917280 140231303721654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24222] ppid=24098 vsize=9824668 CPUtime=315.35 cores=0,2,4,6
/proc/24100/task/24222/stat : 24222 (java) R 24098 24100 22184 0 -1 4202560 28 0 0 0 31531 4 0 0 20 0 22 0 253760966 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230925666592 140231303972705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24223] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24223/stat : 24223 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253760966 10060460032 749690 33554432000 1073741824 1073778376 140735534677104 140230924617384 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1781.01
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1073.8 s]
/proc/loadavg: 3.85 3.79 3.71 5/219 24478
/proc/meminfo: memFree=24561320/32873648 swapFree=6864/6864
[pid=24100] ppid=24098 vsize=9824668 CPUtime=1800.01 cores=0,2,4,6
/proc/24100/stat : 24100 (java) S 24098 24100 22184 0 -1 4202496 49007 0 1 0 179835 166 0 0 20 0 22 0 253705573 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140735534668240 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24100/statm: 2456167 749694 2287 9 0 2446860 0
[pid=24100/tid=24101] ppid=24098 vsize=9824668 CPUtime=0.42 cores=0,2,4,6
/proc/24100/task/24101/stat : 24101 (java) S 24098 24100 22184 0 -1 4202560 2640 0 1 0 40 2 0 0 20 0 22 0 253705573 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231449338872 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24103] ppid=24098 vsize=9824668 CPUtime=3.84 cores=0,2,4,6
/proc/24100/task/24103/stat : 24103 (java) S 24098 24100 22184 0 -1 4202560 644 0 0 0 375 9 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231421790760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24104] ppid=24098 vsize=9824668 CPUtime=3.84 cores=0,2,4,6
/proc/24100/task/24104/stat : 24104 (java) S 24098 24100 22184 0 -1 4202560 738 0 0 0 377 7 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231292004776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24105] ppid=24098 vsize=9824668 CPUtime=3.86 cores=0,2,4,6
/proc/24100/task/24105/stat : 24105 (java) S 24098 24100 22184 0 -1 4202560 1078 0 0 0 378 8 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231290951976 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24106] ppid=24098 vsize=9824668 CPUtime=3.95 cores=0,2,4,6
/proc/24100/task/24106/stat : 24106 (java) S 24098 24100 22184 0 -1 4202560 1112 0 0 0 388 7 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231289899176 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24107] ppid=24098 vsize=9824668 CPUtime=4.21 cores=0,2,4,6
/proc/24100/task/24107/stat : 24107 (java) S 24098 24100 22184 0 -1 4202560 1448 0 0 0 413 8 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231288847400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24108] ppid=24098 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/24100/task/24108/stat : 24108 (java) S 24098 24100 22184 0 -1 4202560 1010 0 0 0 377 6 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140231287794600 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24109] ppid=24098 vsize=9824668 CPUtime=4.22 cores=0,2,4,6
/proc/24100/task/24109/stat : 24109 (java) S 24098 24100 22184 0 -1 4202560 1882 0 0 0 411 11 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230950644520 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24110] ppid=24098 vsize=9824668 CPUtime=3.83 cores=0,2,4,6
/proc/24100/task/24110/stat : 24110 (java) S 24098 24100 22184 0 -1 4202560 1107 0 0 0 376 7 0 0 20 0 22 0 253705574 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230949591720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24111] ppid=24098 vsize=9824668 CPUtime=357.56 cores=0,2,4,6
/proc/24100/task/24111/stat : 24111 (java) S 24098 24100 22184 0 -1 4202560 10587 0 0 0 35716 40 0 0 20 0 22 0 253705575 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230937393640 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24112] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24112/stat : 24112 (java) S 24098 24100 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230936339704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24113] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24113/stat : 24113 (java) S 24098 24100 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253705575 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230935286792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24114] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24114/stat : 24114 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230934235280 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24100/tid=24115] ppid=24098 vsize=9824668 CPUtime=1.49 cores=0,2,4,6
/proc/24100/task/24115/stat : 24115 (java) S 24098 24100 22184 0 -1 4202560 12860 0 0 0 146 3 0 0 20 0 22 0 253705578 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230933183416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24116] ppid=24098 vsize=9824668 CPUtime=1.63 cores=0,2,4,6
/proc/24100/task/24116/stat : 24116 (java) S 24098 24100 22184 0 -1 4202560 10898 0 0 0 161 2 0 0 20 0 22 0 253705578 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230932130616 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24117] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24117/stat : 24117 (java) S 24098 24100 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253705578 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230931078008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24118] ppid=24098 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/24100/task/24118/stat : 24118 (java) S 24098 24100 22184 0 -1 4202560 61 0 0 0 16 20 0 0 20 0 22 0 253705578 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230930025416 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24134] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24134/stat : 24134 (java) S 24098 24100 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253705811 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230928971048 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24100/tid=24221] ppid=24098 vsize=9824668 CPUtime=322.61 cores=0,2,4,6
/proc/24100/task/24221/stat : 24221 (java) R 24098 24100 22184 0 -1 4202560 15 0 0 0 32257 4 0 0 20 0 22 0 253760966 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230927917280 140231303709532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24100/tid=24222] ppid=24098 vsize=9824668 CPUtime=322.56 cores=0,2,4,6
/proc/24100/task/24222/stat : 24222 (java) R 24098 24100 22184 0 -1 4202560 28 0 0 0 32252 4 0 0 20 0 22 0 253760966 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230925666792 140231303972541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24100/tid=24223] ppid=24098 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/24100/task/24223/stat : 24223 (java) S 24098 24100 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253760966 10060460032 749694 33554432000 1073741824 1073778376 140735534677104 140230924617384 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1073.84
CPU time (s): 1800.38
CPU user time (s): 1798.44
CPU system time (s): 1.9417
CPU usage (%): 167.658
Max. virtual memory (cumulated for all children) (KiB): 9826260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.9417
maximum resident set size= 2999064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49038
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31561
involuntary context switches= 57873
runsolver used 6.03108 second user time and 7.2529 second system time
The end