runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455309-1307192652/watcher-3455309-1307192652 -o /tmp/evaluation-result-3455309-1307192652/solver-3455309-1307192652 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455309-1307192652.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.97 3.96 3.84 3/596 2143
/proc/meminfo: memFree=19970244/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=3528 CPUtime=0 cores=0,2,4,6
/proc/2143/stat : 2143 (java) R 2141 2143 30921 0 -1 4194304 282 0 0 0 0 0 0 0 25 0 1 0 830862975 3612672 45 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212682752103 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2143/statm: 882 45 35 9 0 27 0
[pid=2143/tid=2144] ppid=2141 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) R 2141 2143 30921 0 -1 4202560 6617 0 1 0 0 1 0 0 25 0 2 0 830862976 10694979584 7433 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0594059 s]
/proc/loadavg: 3.97 3.96 3.84 3/596 2143
/proc/meminfo: memFree=19970244/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 11504 0 1 0 3 1 0 0 25 0 13 0 830862975 10718838784 11200 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2616904 11200 1685 9 0 2607652 0
[pid=2143/tid=2144] ppid=2141 vsize=10467616 CPUtime=0.04 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) R 2141 2143 30921 0 -1 4202560 10355 0 1 0 3 1 0 0 25 0 13 0 830862976 10718838784 11200 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 47672925319983 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616
[startup+0.100359 s]
/proc/loadavg: 3.97 3.96 3.84 3/596 2143
/proc/meminfo: memFree=19970244/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10539996 CPUtime=0.1 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 12993 0 1 0 8 2 0 0 25 0 18 0 830862975 10792955904 12689 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2634999 12689 2093 9 0 2625733 0
[pid=2143/tid=2144] ppid=2141 vsize=10539996 CPUtime=0.07 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) R 2141 2143 30921 0 -1 4202560 11085 0 1 0 6 1 0 0 18 0 18 0 830862976 10792955904 12689 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 47672925421734 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539996
[startup+0.743235 s]
/proc/loadavg: 3.97 3.96 3.84 3/596 2143
/proc/meminfo: memFree=19970244/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555600 CPUtime=1.9 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 31787 0 1 0 186 4 0 0 25 0 22 0 830862975 10808934400 27072 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638900 27074 2230 9 0 2629634 0
[pid=2143/tid=2144] ppid=2141 vsize=10555600 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14419 0 1 0 34 2 0 0 19 0 22 0 830862976 10808934400 27075 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10555600
[startup+0.805238 s]
/proc/loadavg: 3.97 3.96 3.84 3/596 2143
/proc/meminfo: memFree=19970244/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555600 CPUtime=2.13 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 35536 0 1 0 208 5 0 0 25 0 19 0 830862975 10808934400 29966 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638900 29966 2235 9 0 2629634 0
[pid=2143/tid=2144] ppid=2141 vsize=10555600 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14419 0 1 0 34 2 0 0 19 0 19 0 830862976 10808934400 29966 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10555600
[startup+1.52316 s]
/proc/loadavg: 3.97 3.96 3.84 5/618 2171
/proc/meminfo: memFree=19843360/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555600 CPUtime=2.59 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 46074 0 1 0 253 6 0 0 25 0 19 0 830862975 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638900 36808 2237 9 0 2629634 0
[pid=2143/tid=2144] ppid=2141 vsize=10555600 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14425 0 1 0 34 2 0 0 16 0 19 0 830862976 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830862978 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 0 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830862979 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830862979 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555600 CPUtime=0.7 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 5755 0 0 0 70 0 0 0 15 0 19 0 830862981 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555600 CPUtime=0.74 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10033 0 0 0 73 1 0 0 15 0 19 0 830862981 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2160] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2160/stat : 2160 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2161] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2161/stat : 2161 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830862981 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2168] ppid=2141 vsize=10555600 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2168/stat : 2168 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830863064 10808934400 36808 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10555600
[startup+3.10087 s]
/proc/loadavg: 3.97 3.96 3.84 4/615 2177
/proc/meminfo: memFree=19788432/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555296 CPUtime=3.23 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 64687 0 1 0 315 8 0 0 25 0 19 0 830862975 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638824 54439 2237 9 0 2629558 0
[pid=2143/tid=2144] ppid=2141 vsize=10555296 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14431 0 1 0 34 2 0 0 16 0 19 0 830862976 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862977 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830862978 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 0 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830862979 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830862979 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555296 CPUtime=0.87 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 6629 0 0 0 87 0 0 0 15 0 19 0 830862981 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555296 CPUtime=0.78 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10037 0 0 0 77 1 0 0 15 0 19 0 830862981 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2160] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2160/stat : 2160 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2161] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2161/stat : 2161 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830862981 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2168] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2168/stat : 2168 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830863064 10808623104 54439 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 10555296
[startup+6.30122 s]
/proc/loadavg: 3.97 3.96 3.84 5/618 2192
/proc/meminfo: memFree=19217760/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555296 CPUtime=7.61 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 243580 0 1 0 731 30 0 0 25 0 22 0 830862975 10808623104 233191 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638824 233195 2265 9 0 2629558 0
[pid=2143/tid=2144] ppid=2141 vsize=10555296 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14438 0 1 0 34 2 0 0 15 0 22 0 830862976 10808623104 233197 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830862977 10808623104 233200 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830862977 10808623104 233202 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830862977 10808623104 233203 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830862977 10808623104 233206 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 126 0 0 0 0 0 0 0 17 0 22 0 830862977 10808623104 233208 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) S 2141 2143 30921 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 22 0 830862977 10808623104 233210 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) S 2141 2143 30921 0 -1 4202560 542 0 0 0 0 0 0 0 18 0 22 0 830862977 10808623104 233213 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) S 2141 2143 30921 0 -1 4202560 374 0 0 0 0 0 0 0 18 0 22 0 830862977 10808623104 233217 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555296 CPUtime=0.02 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 1383 0 0 0 2 0 0 0 15 0 22 0 830862978 10808623104 233219 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 0 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 233221 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 233223 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830862981 10808623104 233226 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555296 CPUtime=0.96 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 6643 0 0 0 96 0 0 0 16 0 22 0 830862981 10808623104 233227 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555296 CPUtime=0.96 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10066 0 0 0 95 1 0 0 15 0 22 0 830862981 10808623104 233228 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=2143/tid=2168] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2168/stat : 2168 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830863064 10808623104 233237 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2190] ppid=2141 vsize=10555296 CPUtime=1.83 cores=0,2,4,6
/proc/2143/task/2190/stat : 2190 (java) R 2141 2143 30921 0 -1 4202560 497 0 0 0 183 0 0 0 18 0 22 0 830863417 10808623104 233239 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 46912505911361 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2143/tid=2191] ppid=2141 vsize=10555296 CPUtime=1.83 cores=0,2,4,6
/proc/2143/task/2191/stat : 2191 (java) R 2141 2143 30921 0 -1 4202560 156985 0 0 0 164 19 0 0 20 0 22 0 830863417 10808623104 233242 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 46912505862183 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2143/tid=2192] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2192/stat : 2192 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830863417 10808623104 233245 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 10555296
Solver just ended. Dumping a history of the last processes samples
[startup+6.7012 s]
/proc/loadavg: 3.97 3.96 3.84 5/618 2192
/proc/meminfo: memFree=19217760/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555296 CPUtime=8.08 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 255742 0 1 0 776 32 0 0 25 0 19 0 830862975 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638824 245352 2265 9 0 2629558 0
[pid=2143/tid=2144] ppid=2141 vsize=10555296 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14438 0 1 0 34 2 0 0 15 0 19 0 830862976 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) S 2141 2143 30921 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) S 2141 2143 30921 0 -1 4202560 155 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 126 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) S 2141 2143 30921 0 -1 4202560 297 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) S 2141 2143 30921 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) S 2141 2143 30921 0 -1 4202560 374 0 0 0 0 0 0 0 16 0 19 0 830862977 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555296 CPUtime=0.04 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 1854 0 0 0 4 0 0 0 15 0 19 0 830862978 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 0 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 830862979 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 830862979 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555296 CPUtime=0.96 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 6643 0 0 0 96 0 0 0 16 0 19 0 830862981 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555296 CPUtime=0.96 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10066 0 0 0 95 1 0 0 15 0 19 0 830862981 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2160] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2160/stat : 2160 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830862981 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2161] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2161/stat : 2161 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830862981 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2192] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2192/stat : 2192 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830863417 10808623104 245352 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.08
Current children cumulated vsize (KiB) 10555296
[startup+8.3009 s]
/proc/loadavg: 3.97 3.96 3.84 5/618 2195
/proc/meminfo: memFree=18825556/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555296 CPUtime=10.81 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 297015 0 1 0 1043 38 0 0 25 0 22 0 830862975 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638824 286623 2265 9 0 2629558 0
[pid=2143/tid=2144] ppid=2141 vsize=10555296 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14438 0 1 0 34 2 0 0 15 0 22 0 830862976 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) S 2141 2143 30921 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) S 2141 2143 30921 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 130 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) S 2141 2143 30921 0 -1 4202560 297 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) S 2141 2143 30921 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) S 2141 2143 30921 0 -1 4202560 377 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555296 CPUtime=0.07 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 2299 0 0 0 7 0 0 0 15 0 22 0 830862978 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 0 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830862981 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555296 CPUtime=0.96 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 6643 0 0 0 96 0 0 0 15 0 22 0 830862981 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555296 CPUtime=0.98 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10070 0 0 0 97 1 0 0 15 0 22 0 830862981 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2160] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2160/stat : 2160 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830862981 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2161] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2161/stat : 2161 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830862981 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2192] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2192/stat : 2192 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830863417 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2193] ppid=2141 vsize=10555296 CPUtime=1.33 cores=0,2,4,6
/proc/2143/task/2193/stat : 2193 (java) R 2141 2143 30921 0 -1 4202560 1 0 0 0 133 0 0 0 18 0 22 0 830863668 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 46912505836679 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2143/tid=2194] ppid=2141 vsize=10555296 CPUtime=1.32 cores=0,2,4,6
/proc/2143/task/2194/stat : 2194 (java) R 2141 2143 30921 0 -1 4202560 40814 0 0 0 127 5 0 0 19 0 22 0 830863668 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 46912505533148 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2143/tid=2195] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2195/stat : 2195 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830863668 10808623104 286623 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 10555296
[startup+9.10071 s]
/proc/loadavg: 3.97 3.97 3.84 6/618 2195
/proc/meminfo: memFree=18825556/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=10555296 CPUtime=12.43 cores=0,2,4,6
/proc/2143/stat : 2143 (java) S 2141 2143 30921 0 -1 4202496 297019 0 1 0 1205 38 0 0 25 0 22 0 830862975 10808623104 286626 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 2638824 286626 2265 9 0 2629558 0
[pid=2143/tid=2144] ppid=2141 vsize=10555296 CPUtime=0.36 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) S 2141 2143 30921 0 -1 4202560 14438 0 1 0 34 2 0 0 15 0 22 0 830862976 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2146] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2146/stat : 2146 (java) R 2141 2143 30921 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2143/tid=2147] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2147/stat : 2147 (java) R 2141 2143 30921 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2143/tid=2148] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2148/stat : 2148 (java) R 2141 2143 30921 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2143/tid=2149] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2149/stat : 2149 (java) R 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2143/tid=2150] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2150/stat : 2150 (java) S 2141 2143 30921 0 -1 4202560 130 0 0 0 0 0 0 0 16 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
[pid=2143/tid=2151] ppid=2141 vsize=10555296 CPUtime=0.01 cores=0,2,4,6
/proc/2143/task/2151/stat : 2151 (java) R 2141 2143 30921 0 -1 4202560 298 0 0 0 1 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2143/tid=2152] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2152/stat : 2152 (java) R 2141 2143 30921 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2143/tid=2153] ppid=2141 vsize=10555296 CPUtime=0.01 cores=0,2,4,6
/proc/2143/task/2153/stat : 2153 (java) R 2141 2143 30921 0 -1 4202560 377 0 0 0 1 0 0 0 15 0 22 0 830862977 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2143/tid=2154] ppid=2141 vsize=10555296 CPUtime=0.07 cores=0,2,4,6
/proc/2143/task/2154/stat : 2154 (java) S 2141 2143 30921 0 -1 4202560 2299 0 0 0 7 0 0 0 15 0 22 0 830862978 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 0 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2155] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2155/stat : 2155 (java) S 2141 2143 30921 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2156] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2156/stat : 2156 (java) S 2141 2143 30921 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830862979 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2157] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2157/stat : 2157 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830862981 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699498929 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2158] ppid=2141 vsize=10555296 CPUtime=0.99 cores=0,2,4,6
/proc/2143/task/2158/stat : 2158 (java) S 2141 2143 30921 0 -1 4202560 6649 0 0 0 99 0 0 0 16 0 22 0 830862981 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 2 0 0 0
[pid=2143/tid=2159] ppid=2141 vsize=10555296 CPUtime=0.98 cores=0,2,4,6
/proc/2143/task/2159/stat : 2159 (java) S 2141 2143 30921 0 -1 4202560 10070 0 0 0 97 1 0 0 15 0 22 0 830862981 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2160] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2160/stat : 2160 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830862981 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2161] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2161/stat : 2161 (java) S 2141 2143 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830862981 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2192] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2192/stat : 2192 (java) S 2141 2143 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830863417 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 4 0 0 0
[pid=2143/tid=2193] ppid=2141 vsize=10555296 CPUtime=2.13 cores=0,2,4,6
/proc/2143/task/2193/stat : 2193 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 213 0 0 0 19 0 22 0 830863668 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2194] ppid=2141 vsize=10555296 CPUtime=2.11 cores=0,2,4,6
/proc/2143/task/2194/stat : 2194 (java) S 2141 2143 30921 0 -1 4202560 40815 0 0 0 206 5 0 0 20 0 22 0 830863668 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491225 0 4 0 16800975 18446604446017864832 0 0 -1 0 0 0 0
[pid=2143/tid=2195] ppid=2141 vsize=10555296 CPUtime=0 cores=0,2,4,6
/proc/2143/task/2195/stat : 2195 (java) S 2141 2143 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830863668 10808623104 286630 33554432000 1073741824 1073778376 140734935802864 18446744073709551615 212699491840 0 4 0 16800975 18446604446017864832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 10555296
[startup+9.50167 s]
/proc/loadavg: 3.97 3.97 3.84 6/618 2195
/proc/meminfo: memFree=18825556/32951124 swapFree=58940260/67111528
[pid=2143] ppid=2141 vsize=0 CPUtime=12.87 cores=0,2,4,6
/proc/2143/stat : 2143 (java) Z 2141 2143 30921 0 -1 4203548 301393 0 1 0 1247 40 0 0 18 0 2 0 830862975 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2143/statm: 0 0 0 0 0 0 0
[pid=2143/tid=2144] ppid=2141 vsize=0 CPUtime=0.41 cores=0,2,4,6
/proc/2143/task/2144/stat : 2144 (java) R 2141 2143 30921 0 -1 4203588 14441 0 1 0 37 4 0 0 17 0 2 0 830862976 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 9.5419
CPU time (s): 12.922
CPU user time (s): 12.4741
CPU system time (s): 0.447931
CPU usage (%): 135.424
Max. virtual memory (cumulated for all children) (KiB): 10558552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.4741
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301393
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 747
involuntary context switches= 533
runsolver used 0.058991 second user time and 0.135979 second system time
The end