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-3458193-1307158335/watcher-3458193-1307158335 -o /tmp/evaluation-result-3458193-1307158335/solver-3458193-1307158335 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458193-1307158335.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32143
/proc/meminfo: memFree=20290352/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 5510 0 1 0 0 0 0 0 25 0 2 0 827433205 13850947584 5213 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3381579 5226 917 9 0 3372735 0
[pid=32143/tid=32144] ppid=32141 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 4902 0 1 0 0 0 0 0 25 0 2 0 827433206 13850947584 5719 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.086539 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32143
/proc/meminfo: memFree=20290352/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13555088 CPUtime=0.07 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 14538 0 1 0 5 2 0 0 25 0 18 0 827433205 13880410112 14237 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3388772 14237 1755 9 0 3379506 0
[pid=32143/tid=32144] ppid=32141 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 13365 0 1 0 5 1 0 0 25 0 18 0 827433206 13880410112 14237 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 47261775635423 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.100469 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32143
/proc/meminfo: memFree=20290352/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13621636 CPUtime=0.1 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 15518 0 1 0 8 2 0 0 25 0 18 0 827433205 13948555264 15176 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3405409 15176 2092 9 0 3396143 0
[pid=32143/tid=32144] ppid=32141 vsize=13621636 CPUtime=0.08 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 13562 0 1 0 6 2 0 0 18 0 18 0 827433206 13948555264 15176 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274473628705 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621636
[startup+0.300414 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32143
/proc/meminfo: memFree=20290352/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625488 CPUtime=0.53 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 18554 0 1 0 51 2 0 0 25 0 19 0 827433205 13952499712 17577 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406372 17577 2214 9 0 3397106 0
[pid=32143/tid=32144] ppid=32141 vsize=13625488 CPUtime=0.28 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 14417 0 1 0 26 2 0 0 19 0 19 0 827433206 13952499712 17577 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 47261773433921 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625488
[startup+0.700339 s]
/proc/loadavg: 1.98 2.00 1.91 2/491 32143
/proc/meminfo: memFree=20290352/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625488 CPUtime=1.02 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 19059 0 1 0 100 2 0 0 25 0 19 0 827433205 13952499712 18082 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406372 18082 2216 9 0 3397106 0
[pid=32143/tid=32144] ppid=32141 vsize=13625488 CPUtime=0.68 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 14903 0 1 0 66 2 0 0 19 0 19 0 827433206 13952499712 18082 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505545127 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 13625488
[startup+1.5012 s]
/proc/loadavg: 1.98 2.00 1.91 3/510 32163
/proc/meminfo: memFree=20221840/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625632 CPUtime=1.91 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 20688 0 1 0 188 3 0 0 25 0 19 0 827433205 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406408 19703 2248 9 0 3397142 0
[pid=32143/tid=32144] ppid=32141 vsize=13625632 CPUtime=1.43 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 14941 0 1 0 141 2 0 0 20 0 19 0 827433206 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505532970 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 312 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 225 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625632 CPUtime=0.02 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 679 0 0 0 2 0 0 0 15 0 19 0 827433209 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625632 CPUtime=0.25 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 1227 0 0 0 25 0 0 0 17 0 19 0 827433212 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625632 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1817 0 0 0 17 0 0 0 15 0 19 0 827433212 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433212 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952647168 19703 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13625632
[startup+3.10092 s]
/proc/loadavg: 1.98 2.00 1.91 3/510 32163
/proc/meminfo: memFree=20218096/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625632 CPUtime=3.52 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 20951 0 1 0 349 3 0 0 25 0 19 0 827433205 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406408 19965 2249 9 0 3397142 0
[pid=32143/tid=32144] ppid=32141 vsize=13625632 CPUtime=3.01 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 14943 0 1 0 299 2 0 0 25 0 19 0 827433206 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505766828 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 315 0 0 0 0 0 0 0 16 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 225 0 0 0 0 0 0 0 16 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 827433208 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625632 CPUtime=0.04 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 925 0 0 0 4 0 0 0 15 0 19 0 827433209 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625632 CPUtime=0.27 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) R 32141 32143 27375 0 -1 4202560 1230 0 0 0 27 0 0 0 15 0 19 0 827433212 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 47261776153893 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625632 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1817 0 0 0 17 0 0 0 15 0 19 0 827433212 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827433212 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625632 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952647168 19965 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 13625632
[startup+6.30141 s]
/proc/loadavg: 1.98 2.00 1.91 2/487 32181
/proc/meminfo: memFree=20311532/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625168 CPUtime=6.75 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 22057 0 1 0 672 3 0 0 25 0 19 0 827433205 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406292 20999 2249 9 0 3397026 0
[pid=32143/tid=32144] ppid=32141 vsize=13625168 CPUtime=6.14 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 14946 0 1 0 612 2 0 0 25 0 19 0 827433206 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505766477 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 108 0 0 0 0 0 0 0 16 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 827433208 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625168 CPUtime=0.09 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 1662 0 0 0 9 0 0 0 15 0 19 0 827433209 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625168 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625168 CPUtime=0.29 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 1241 0 0 0 29 0 0 0 15 0 19 0 827433212 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625168 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1817 0 0 0 17 0 0 0 16 0 19 0 827433212 13952172032 20999 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 471 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 194 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 57 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 35 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 174 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 192 0 0 0 14 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625416 CPUtime=6.8 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 5877 0 0 0 678 2 0 0 15 0 19 0 827433209 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625416 CPUtime=0.7 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 8366 0 0 0 70 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625416 CPUtime=0.26 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1846 0 0 0 26 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 283.83
Current children cumulated vsize (KiB) 13625416
Solver just ended. Dumping a history of the last processes samples
[startup+283.101 s]
/proc/loadavg: 2.04 2.02 1.92 3/510 32550
/proc/meminfo: memFree=20193864/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625416 CPUtime=284.63 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 34066 0 1 0 28452 11 0 0 25 0 19 0 827433205 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406354 27892 2250 9 0 3397088 0
[pid=32143/tid=32144] ppid=32141 vsize=13625416 CPUtime=275.45 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 15250 0 1 0 27542 3 0 0 25 0 19 0 827433206 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505587663 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 345 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 471 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 194 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 57 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 35 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 174 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 96 0 0 0 14 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 192 0 0 0 14 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625416 CPUtime=6.82 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 5877 0 0 0 680 2 0 0 15 0 19 0 827433209 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625416 CPUtime=0.7 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 8366 0 0 0 70 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625416 CPUtime=0.26 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1846 0 0 0 26 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 284.63
Current children cumulated vsize (KiB) 13625416
[startup+283.501 s]
/proc/loadavg: 2.04 2.02 1.92 3/510 32550
/proc/meminfo: memFree=20193864/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625416 CPUtime=285.03 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 34066 0 1 0 28492 11 0 0 25 0 19 0 827433205 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406354 27892 2250 9 0 3397088 0
[pid=32143/tid=32144] ppid=32141 vsize=13625416 CPUtime=275.85 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 15250 0 1 0 27582 3 0 0 25 0 19 0 827433206 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505840900 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 345 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 471 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 194 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 57 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 35 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 174 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 96 0 0 0 14 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 192 0 0 0 14 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625416 CPUtime=6.82 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 5877 0 0 0 680 2 0 0 15 0 19 0 827433209 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625416 CPUtime=0.7 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 8366 0 0 0 70 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625416 CPUtime=0.26 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1846 0 0 0 26 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 285.03
Current children cumulated vsize (KiB) 13625416
[startup+283.9 s]
/proc/loadavg: 2.04 2.02 1.92 3/510 32550
/proc/meminfo: memFree=20193616/32950928 swapFree=61858088/67111528
[pid=32143] ppid=32141 vsize=13625416 CPUtime=285.44 cores=1,3,5,7
/proc/32143/stat : 32143 (java) S 32141 32143 27375 0 -1 4202496 34067 0 1 0 28533 11 0 0 25 0 19 0 827433205 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/32143/statm: 3406354 27892 2250 9 0 3397088 0
[pid=32143/tid=32144] ppid=32141 vsize=13625416 CPUtime=276.22 cores=1,3,5,7
/proc/32143/task/32144/stat : 32144 (java) R 32141 32143 27375 0 -1 4202560 15251 0 1 0 27619 3 0 0 25 0 19 0 827433206 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 46912505587136 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32143/tid=32147] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32147/stat : 32147 (java) S 32141 32143 27375 0 -1 4202560 345 0 0 0 16 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32148] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32148/stat : 32148 (java) S 32141 32143 27375 0 -1 4202560 471 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32149] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32149/stat : 32149 (java) S 32141 32143 27375 0 -1 4202560 194 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32150] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32150/stat : 32150 (java) S 32141 32143 27375 0 -1 4202560 57 0 0 0 17 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32151] ppid=32141 vsize=13625416 CPUtime=0.17 cores=1,3,5,7
/proc/32143/task/32151/stat : 32151 (java) S 32141 32143 27375 0 -1 4202560 35 0 0 0 17 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32152] ppid=32141 vsize=13625416 CPUtime=0.16 cores=1,3,5,7
/proc/32143/task/32152/stat : 32152 (java) S 32141 32143 27375 0 -1 4202560 174 0 0 0 16 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32153] ppid=32141 vsize=13625416 CPUtime=0.14 cores=1,3,5,7
/proc/32143/task/32153/stat : 32153 (java) S 32141 32143 27375 0 -1 4202560 96 0 0 0 14 0 0 0 15 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 3 0 0 0
[pid=32143/tid=32154] ppid=32141 vsize=13625416 CPUtime=0.15 cores=1,3,5,7
/proc/32143/task/32154/stat : 32154 (java) S 32141 32143 27375 0 -1 4202560 192 0 0 0 15 0 0 0 16 0 19 0 827433208 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32155] ppid=32141 vsize=13625416 CPUtime=6.85 cores=1,3,5,7
/proc/32143/task/32155/stat : 32155 (java) S 32141 32143 27375 0 -1 4202560 5877 0 0 0 683 2 0 0 15 0 19 0 827433209 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 0 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32156] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32156/stat : 32156 (java) S 32141 32143 27375 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32157] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32157/stat : 32157 (java) S 32141 32143 27375 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 827433210 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32158] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32158/stat : 32158 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485791153 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32159] ppid=32141 vsize=13625416 CPUtime=0.7 cores=1,3,5,7
/proc/32143/task/32159/stat : 32159 (java) S 32141 32143 27375 0 -1 4202560 8366 0 0 0 70 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32160] ppid=32141 vsize=13625416 CPUtime=0.26 cores=1,3,5,7
/proc/32143/task/32160/stat : 32160 (java) S 32141 32143 27375 0 -1 4202560 1846 0 0 0 26 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
[pid=32143/tid=32161] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32161/stat : 32161 (java) S 32141 32143 27375 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485783449 0 4 0 16800975 18446604469554275584 0 0 -1 1 0 0 0
[pid=32143/tid=32162] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32162/stat : 32162 (java) S 32141 32143 27375 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827433212 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 5 0 0 0
[pid=32143/tid=32163] ppid=32141 vsize=13625416 CPUtime=0 cores=1,3,5,7
/proc/32143/task/32163/stat : 32163 (java) S 32141 32143 27375 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827433226 13952425984 27892 33554432000 1073741824 1073778376 140736139655248 18446744073709551615 274485784064 0 4 0 16800975 18446604469554275584 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 285.44
Current children cumulated vsize (KiB) 13625416
Child status: 30
Real time (s): 283.926
CPU time (s): 285.473
CPU user time (s): 285.35
CPU system time (s): 0.122981
CPU usage (%): 100.545
Max. virtual memory (cumulated for all children) (KiB): 13625632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.35
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34088
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= 13346
involuntary context switches= 10190
runsolver used 1.3078 second user time and 3.12453 second system time
The end