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-3715507-1338254754/watcher-3715507-1338254754 -o /tmp/evaluation-result-3715507-1338254754/solver-3715507-1338254754 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715507-1338254754.wbo 1706042017 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: 5.08 3.70 2.69 4/181 18210
/proc/meminfo: memFree=18610180/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[startup+0.0688339 s]
/proc/loadavg: 5.08 3.70 2.69 4/181 18210
/proc/meminfo: memFree=18610180/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 5.08 3.70 2.69 4/181 18210
/proc/meminfo: memFree=18610180/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300182 s]
/proc/loadavg: 5.08 3.70 2.69 4/181 18210
/proc/meminfo: memFree=18610180/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 5.08 3.70 2.69 4/181 18210
/proc/meminfo: memFree=18610180/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 5.08 3.70 2.69 4/183 18212
/proc/meminfo: memFree=24170444/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=35244 CPUtime=1.48 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) R 18210 18210 3996 0 -1 4202496 3083 0 0 0 147 1 0 0 20 0 1 0 291599989 36089856 5636 33554432000 4194304 5990268 140736058842864 140736058837976 5177776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 8811 5636 137 439 0 8368 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44392
[startup+3.10026 s]
/proc/loadavg: 5.08 3.70 2.69 3/182 18212
/proc/meminfo: memFree=27681140/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=101068 CPUtime=3.08 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) R 18210 18210 3996 0 -1 4202496 6240 0 0 0 305 3 0 0 20 0 1 0 291599989 103493632 22318 33554432000 4194304 5990268 140736058842864 140736058838744 4467418 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 25267 22318 142 439 0 24824 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 110216
[startup+6.30021 s]
/proc/loadavg: 4.99 3.70 2.70 3/182 18212
/proc/meminfo: memFree=27645172/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=119424 CPUtime=5.87 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4202496 6750 0 0 0 471 116 0 0 20 0 1 0 291599989 122290176 26915 33554432000 4194304 5990268 140736058842864 140736058836016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 29856 26915 150 439 0 29413 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 128572
[startup+12.7003 s]
/proc/loadavg: 4.75 3.68 2.69 3/184 18214
/proc/meminfo: memFree=27242952/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=119424 CPUtime=5.87 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4202496 6750 0 0 0 471 116 0 0 20 0 1 0 291599989 122290176 26915 33554432000 4194304 5990268 140736058842864 140736058836016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 29856 26915 150 439 0 29413 0
[pid=18213] ppid=18211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18213/stat : 18213 (cp2_pre.sh) S 18211 18210 3996 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 291600577 9367552 277 33554432000 4194304 5064252 140737468414384 140737468413088 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18213/statm: 2287 277 234 213 0 72 0
[pid=18214] ppid=18213 vsize=408488 CPUtime=6.8 cores=1,3,5,7
/proc/18214/stat : 18214 (coprocessor) R 18213 18210 3996 0 -1 4202496 41171 0 0 0 670 10 0 0 20 0 1 0 291600577 418291712 100547 33554432000 4194304 6586260 140733450642128 140733450637496 5599168 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/18214/statm: 102122 100547 188 584 0 101534 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 546208
[startup+25.5005 s]
/proc/loadavg: 4.21 3.61 2.69 3/184 18217
/proc/meminfo: memFree=27505408/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=119424 CPUtime=24.31 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4202496 6760 43684 0 0 471 116 1827 17 20 0 1 0 291599989 122290176 26916 33554432000 4194304 5990268 140736058842864 140736058837104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 29856 26916 151 439 0 29413 0
[pid=18216] ppid=18211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18216/stat : 18216 (satsolver.sh) S 18211 18210 3996 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291602422 9367552 267 33554432000 4194304 5064252 140735632505312 140735632504224 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18216/statm: 2287 267 226 213 0 72 0
[pid=18217] ppid=18216 vsize=156268 CPUtime=1.15 cores=1,3,5,7
/proc/18217/stat : 18217 (glucose) R 18216 18210 3996 0 -1 4202496 25209 0 0 0 109 6 0 0 20 0 1 0 291602423 160018432 35702 33554432000 4194304 5208918 140733284372256 140733284370216 4232820 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18217/statm: 39067 35702 103 248 0 38816 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 293988
[startup+51.1004 s]
/proc/loadavg: 3.45 3.48 2.67 3/181 18222
/proc/meminfo: memFree=25316832/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=3104332 CPUtime=50.76 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) R 18210 18210 3996 0 -1 4202496 207498 76440 0 0 2647 309 2087 33 20 0 1 0 291599989 3178835968 612084 33554432000 4194304 5990268 140736058842864 140736058835208 4604810 0 0 4096 0 0 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 776083 612084 179 439 0 775640 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 3113480
[startup+102.3 s]
/proc/loadavg: 2.63 3.25 2.63 3/181 18223
/proc/meminfo: memFree=21311124/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=9395788 CPUtime=101.96 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) R 18210 18210 3996 0 -1 4202496 213525 76440 0 0 7620 456 2087 33 20 0 1 0 291599989 9621286912 1601780 33554432000 4194304 5990268 140736058842864 140736058835208 4569535 0 0 4096 0 0 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2348947 1601780 179 439 0 2348504 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 9404936
[startup+162.3 s]
/proc/loadavg: 2.89 3.17 2.64 4/182 18224
/proc/meminfo: memFree=11985080/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=144.55 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 762 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 144.55
Current children cumulated vsize (KiB) 8577540
[startup+222.307 s]
/proc/loadavg: 4.57 3.59 2.81 2/182 18224
/proc/meminfo: memFree=8372780/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=146.17 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 924 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 146.17
Current children cumulated vsize (KiB) 8577540
heavy processes:
%CPU=24 pid=18224 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 5.24 3.95 2.98 2/183 18227
/proc/meminfo: memFree=4516744/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.09 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1116 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.09
Current children cumulated vsize (KiB) 8577540
heavy processes:
%CPU=20 pid=18224 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 18211 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 5.27 4.19 3.12 2/182 18227
/proc/meminfo: memFree=4095756/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
heavy processes:
%CPU=14 pid=18224 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 18211 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+359.1 s]
/proc/loadavg: 5.21 4.23 3.15 2/182 18228
/proc/meminfo: memFree=4095616/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+365.5 s]
/proc/loadavg: 5.18 4.25 3.17 2/183 18229
/proc/meminfo: memFree=4095964/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+368.7 s]
/proc/loadavg: 5.18 4.25 3.17 2/183 18229
/proc/meminfo: memFree=4096088/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+371.9 s]
/proc/loadavg: 5.16 4.26 3.18 2/183 18229
/proc/meminfo: memFree=4095576/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+373.5 s]
/proc/loadavg: 5.16 4.26 3.18 2/183 18229
/proc/meminfo: memFree=4095824/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+374.3 s]
/proc/loadavg: 5.15 4.28 3.19 2/183 18229
/proc/meminfo: memFree=4096320/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+374.7 s]
/proc/loadavg: 5.15 4.28 3.19 2/183 18229
/proc/meminfo: memFree=4096072/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=8568392 CPUtime=148.36 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) S 18210 18210 3996 0 -1 4204032 215317 76440 0 0 11573 1143 2087 33 20 0 1 0 291599989 8774033408 2122901 33554432000 4194304 5990268 140736058842864 140736058834824 5238773 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 2142098 2122901 232 439 0 2141655 0
Current children cumulated CPU time (s) 148.36
Current children cumulated vsize (KiB) 8577540
[startup+393.636 s]
/proc/loadavg: 5.15 4.28 3.19 2/183 18229
/proc/meminfo: memFree=4096072/32873648 swapFree=6612/6612
[pid=18210] ppid=18208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18210/stat : 18210 (npSolver-wbo-It) S 18208 18210 3996 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 291599989 9367552 275 33554432000 4194304 5064252 140734373573792 140734373572704 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18210/statm: 2287 275 233 213 0 72 0
[pid=18211] ppid=18210 vsize=0 CPUtime=148.37 cores=1,3,5,7
/proc/18211/stat : 18211 (npSolver-wbo) R 18210 18210 3996 0 -1 4204036 215317 76440 0 0 11573 1144 2087 33 20 0 1 0 291599989 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 11 0 0
/proc/18211/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 148.37
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 393.661
CPU time (s): 148.405
CPU user time (s): 136.606
CPU system time (s): 11.7992
CPU usage (%): 37.6988
Max. virtual memory (cumulated for all children) (KiB): 13599240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.606
system time used= 11.7992
maximum resident set size= 9382864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 180408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1776974
involuntary context switches= 279
runsolver used 0.789879 second user time and 1.71874 second system time
The end