runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3695449-1338080384/watcher-3695449-1338080384 -o /tmp/evaluation-result-3695449-1338080384/solver-3695449-1338080384 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695449-1338080384.opb 2116617510 HOME HOME
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: 2.06 2.02 2.00 4/179 15309
/proc/meminfo: memFree=28801952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[startup+0.0895739 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 15309
/proc/meminfo: memFree=28801952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 15309
/proc/meminfo: memFree=28801952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300246 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 15309
/proc/meminfo: memFree=28801952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 2.06 2.02 2.00 4/179 15309
/proc/meminfo: memFree=28801952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 15311
/proc/meminfo: memFree=28775352/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=67564 CPUtime=1.48 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 3504 0 0 0 147 1 0 0 20 0 1 0 274162781 69185536 8572 33554432000 4194304 5873084 140736160877600 140736160874264 4664957 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 16891 8572 146 410 0 16473 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 76712
[startup+3.10032 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 15311
/proc/meminfo: memFree=28750156/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=133100 CPUtime=3.08 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 4064 0 0 0 306 2 0 0 20 0 1 0 274162781 136294400 17276 33554432000 4194304 5873084 140736160877600 140736160873880 4327419 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 33275 17276 146 410 0 32857 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142248
[startup+6.30026 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 15311
/proc/meminfo: memFree=28671280/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=264172 CPUtime=6.28 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 4673 0 0 0 622 6 0 0 20 0 1 0 274162781 270512128 34684 33554432000 4194304 5873084 140736160877600 140736160874264 4391104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 66043 34684 146 410 0 65625 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 273320
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 15311
/proc/meminfo: memFree=28540212/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=526316 CPUtime=12.68 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 5379 0 0 0 1255 13 0 0 20 0 1 0 274162781 538947584 68988 33554432000 4194304 5873084 140736160877600 140736160874264 4664172 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 131579 68988 146 410 0 131161 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 535464
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 15317
/proc/meminfo: memFree=28287712/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=1050604 CPUtime=25.48 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 6279 0 0 0 2522 26 0 0 20 0 1 0 274162781 1075818496 137084 33554432000 4194304 5873084 140736160877600 140736160873880 4708095 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 262651 137084 146 410 0 262233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1059752
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 15317
/proc/meminfo: memFree=27749600/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=2099180 CPUtime=51.08 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 7565 0 0 0 5053 55 0 0 20 0 1 0 274162781 2149560320 271740 33554432000 4194304 5873084 140736160877600 140736160873880 4327370 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 524795 271740 146 410 0 524377 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2108328
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 15340
/proc/meminfo: memFree=26636272/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=4196332 CPUtime=102.28 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 9626 0 0 0 10121 107 0 0 20 0 1 0 274162781 4297043968 541052 33554432000 4194304 5873084 140736160877600 140736160873880 4779709 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 1049083 541052 146 410 0 1048665 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4205480
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 15343
/proc/meminfo: memFree=25397996/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=4196332 CPUtime=162.26 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 10247 0 0 0 16095 131 0 0 20 0 1 0 274162781 4297043968 859004 33554432000 4194304 5873084 140736160877600 140736160873880 4327264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 1049083 859004 146 410 0 1048665 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4205480
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15343
/proc/meminfo: memFree=24118776/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8390636 CPUtime=222.25 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 13416 0 0 0 22010 215 0 0 20 0 1 0 274162781 8592011264 1171324 33554432000 4194304 5873084 140736160877600 140736160873880 4394447 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2097659 1171324 146 410 0 2097241 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 8399784
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15343
/proc/meminfo: memFree=22854028/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8390636 CPUtime=282.24 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 14037 0 0 0 27987 237 0 0 20 0 1 0 274162781 8592011264 1489276 33554432000 4194304 5873084 140736160877600 140736160873880 4327059 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2097659 1489276 146 410 0 2097241 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8399784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15347
/proc/meminfo: memFree=21590064/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8390636 CPUtime=342.23 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 14654 0 0 0 33965 258 0 0 20 0 1 0 274162781 8592011264 1805180 33554432000 4194304 5873084 140736160877600 140736160873880 4779725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2097659 1805180 146 410 0 2097241 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 8399784
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 15347
/proc/meminfo: memFree=20398864/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.05 2.01 2.00 3/182 15347
/proc/meminfo: memFree=20389296/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=462.22 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 15616 0 0 0 45945 277 0 0 20 0 1 0 274162781 8659120128 2097412 33554432000 4194304 5873084 140736160877600 140736160873560 4779673 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2114043 2097412 189 410 0 2113625 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 8465320
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 15350
/proc/meminfo: memFree=20414812/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=522.21 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 15616 0 0 0 51944 277 0 0 20 0 1 0 274162781 8659120128 2097412 33554432000 4194304 5873084 140736160877600 140736160873560 4327419 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2114043 2097412 189 410 0 2113625 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 8465320
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 15410
/proc/meminfo: memFree=20453212/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=582.2 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) R 15309 15309 9863 0 -1 4202496 15616 0 0 0 57943 277 0 0 20 0 1 0 274162781 8659120128 2097412 33554432000 4194304 5873084 140736160877600 140736160873560 4327264 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2114043 2097412 189 410 0 2113625 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 8465320
[startup+642.3 s]
/proc/loadavg: 3.23 2.29 2.09 3/184 15415
/proc/meminfo: memFree=12989468/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=616.11 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 484 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 616.11
Current children cumulated vsize (KiB) 8465320
[startup+702.3 s]
/proc/loadavg: 4.21 2.73 2.26 3/183 15415
/proc/meminfo: memFree=9370952/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=617.13 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 586 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 617.13
Current children cumulated vsize (KiB) 8465320
[startup+762.3 s]
/proc/loadavg: 4.60 3.11 2.42 3/183 15418
/proc/meminfo: memFree=6023916/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=618.03 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 676 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 618.03
Current children cumulated vsize (KiB) 8465320
[startup+822.3 s]
/proc/loadavg: 4.70 3.40 2.56 2/183 15418
/proc/meminfo: memFree=5150676/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=618.19 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 692 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 618.19
Current children cumulated vsize (KiB) 8465320
heavy processes:
%CPU=13 pid=15412 uid=0 cmd=
[startup+882.3 s]
/proc/loadavg: 4.74 3.65 2.69 2/183 15418
/proc/meminfo: memFree=5418240/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=618.19 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 692 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 618.19
Current children cumulated vsize (KiB) 8465320
heavy processes:
%CPU=10 pid=15412 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 15310 6 506 18446744073709551615
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (618.19 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (618.19 s) to the 'lost time'.
[startup+882.5 s]
/proc/loadavg: 4.74 3.65 2.69 2/183 15418
/proc/meminfo: memFree=5416476/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=618.19 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 692 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 618.19
Current children cumulated vsize (KiB) 8465320
[startup+882.6 s]
/proc/loadavg: 4.74 3.65 2.69 4/184 15419
/proc/meminfo: memFree=12060144/32873844 swapFree=7612/7612
[pid=15309] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/15309/stat : -- couldn't open stat file --/proc/15309/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+882.5 s]
/proc/loadavg: 4.74 3.65 2.69 2/183 15418
/proc/meminfo: memFree=5416476/32873844 swapFree=7612/7612
[pid=15309] ppid=15307 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15309/stat : 15309 (runPb2satCp2.sh) S 15307 15309 9863 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274162781 9367552 275 33554432000 4194304 5064252 140734018593968 140734018592880 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15309/statm: 2287 275 233 213 0 72 0
[pid=15310] ppid=15309 vsize=8456172 CPUtime=618.19 cores=1,3,5,7
/proc/15310/stat : 15310 (pb2sat) S 15309 15309 9863 0 -1 4204032 15965 0 0 0 61127 692 0 0 20 0 1 0 274162781 8659120128 2097628 33554432000 4194304 5873084 140736160877600 140736160874472 5183237 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15310/statm: 2114043 2097628 209 410 0 2113625 0
Current children cumulated CPU time (s) 618.19
Current children cumulated vsize (KiB) 8465320
[startup+882.6 s]
/proc/loadavg: 4.74 3.65 2.69 4/184 15419
/proc/meminfo: memFree=12060144/32873844 swapFree=7612/7612
[pid=15309] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/15309/stat : -- couldn't open stat file --/proc/15309/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15309 and gives
# childrusage.ru_utime.tv_sec=611
# childrusage.ru_utime.tv_usec=274072
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=948943
# CPU time returned by wait4() is 618.223
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 618.19
# lost CPU user time (s): 611.27
# lost CPU system time (s): 6.92
Real time (s): 882.607
CPU time (s): 618.19
CPU user time (s): 611.27
CPU system time (s): 6.92
CPU usage (%): 70.0414
Max. virtual memory (cumulated for all children) (KiB): 12594088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 611.274
system time used= 6.94894
maximum resident set size= 8390560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1724955
involuntary context switches= 699
runsolver used 1.51477 second user time and 3.9394 second system time
The end