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-3702906-1338065780/watcher-3702906-1338065780 -o /tmp/evaluation-result-3702906-1338065780/solver-3702906-1338065780 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702906-1338065780.opb 506656169 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: 1.85 1.97 1.99 3/177 5230
/proc/meminfo: memFree=21346484/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[startup+26.3426 s]
/proc/loadavg: 1.85 1.97 1.99 3/177 5230
/proc/meminfo: memFree=21346484/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
heavy processes:
[startup+44.5552 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=8219396 CPUtime=44.54 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 489848 0 0 0 4316 138 0 0 20 0 1 0 272703698 8416661504 1010165 33554432000 4194304 5992684 140736650416864 140736650408904 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 2054849 1010165 156 440 0 2054405 0
Current children cumulated CPU time (s) 44.54
Current children cumulated vsize (KiB) 8228544
[startup+44.6011 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=8219396 CPUtime=44.58 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 489915 0 0 0 4318 140 0 0 20 0 1 0 272703698 8416661504 1044469 33554432000 4194304 5992684 140736650416864 140736650408904 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 2054849 1044469 156 440 0 2054405 0
Current children cumulated CPU time (s) 44.58
Current children cumulated vsize (KiB) 8228544
[startup+47.7114 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=6227928 CPUtime=47.7 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 517345 0 0 0 4596 174 0 0 20 0 1 0 272703698 6377398272 1062699 33554432000 4194304 5992684 140736650416864 140736650409448 4570160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 1557139 1062701 156 440 0 1556695 0
Current children cumulated CPU time (s) 47.7
Current children cumulated vsize (KiB) 6237076
[startup+56.3252 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=6602536 CPUtime=56.31 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 611205 0 0 0 5436 195 0 0 20 0 1 0 272703698 6760996864 1262847 33554432000 4194304 5992684 140736650416864 140736650409448 4227912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 1650634 1262847 156 440 0 1650190 0
Current children cumulated CPU time (s) 56.31
Current children cumulated vsize (KiB) 6611684
[startup+120.011 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=9346172 CPUtime=119.98 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 2189379 0 0 0 11586 412 0 0 20 0 1 0 272703698 9570480128 2335673 33554432000 4194304 5992684 140736650416864 140736650412184 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 2336543 2335675 203 440 0 2336099 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (KiB) 9355320
[startup+151.385 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=10722428 CPUtime=151.35 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 3392489 0 0 0 14576 559 0 0 20 0 1 0 272703698 10979766272 2670647 33554432000 4194304 5992684 140736650416864 140736650412184 5044667 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 2680607 2670660 203 440 0 2680163 0
Current children cumulated CPU time (s) 151.35
Current children cumulated vsize (KiB) 10731576
[startup+186.385 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=12164220 CPUtime=186.35 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 4726664 0 0 0 17911 724 0 0 20 0 1 0 272703698 12456161280 3035562 33554432000 4194304 5992684 140736650416864 140736650412184 5044353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3041055 3035562 203 440 0 3040611 0
Current children cumulated CPU time (s) 186.35
Current children cumulated vsize (KiB) 12173368
[startup+221.554 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=13737084 CPUtime=221.51 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4202496 6033552 0 0 0 21270 881 0 0 20 0 1 0 272703698 14066774016 3422467 33554432000 4194304 5992684 140736650416864 140736650412184 4957942 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3434271 3422469 203 440 0 3433827 0
Current children cumulated CPU time (s) 221.51
Current children cumulated vsize (KiB) 13746232
[startup+229.131 s]
/proc/loadavg: 1.90 1.97 1.99 3/179 5232
/proc/meminfo: memFree=18994588/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=229.08 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) D 5230 5230 3390 0 -1 4203520 6311232 0 0 0 21994 914 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071579414880 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 229.08
Current children cumulated vsize (KiB) 14073912
[startup+234.244 s]
/proc/loadavg: 2.43 2.10 2.03 6/181 5237
/proc/meminfo: memFree=4476824/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=230.74 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1080 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 230.74
Current children cumulated vsize (KiB) 14073912
[startup+235.851 s]
/proc/loadavg: 2.43 2.10 2.03 6/181 5237
/proc/meminfo: memFree=4476824/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=231.1 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1116 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 231.1
Current children cumulated vsize (KiB) 14073912
[startup+236.487 s]
/proc/loadavg: 2.43 2.10 2.03 6/181 5237
/proc/meminfo: memFree=4476824/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=231.47 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1153 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 231.47
Current children cumulated vsize (KiB) 14073912
[startup+282.3 s]
/proc/loadavg: 4.08 2.59 2.20 2/181 5238
/proc/meminfo: memFree=186952/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=234.75 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1481 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 234.75
Current children cumulated vsize (KiB) 14073912
[startup+342.3 s]
/proc/loadavg: 4.84 3.10 2.40 4/181 5260
/proc/meminfo: memFree=181976/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=235.92 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1598 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 235.92
Current children cumulated vsize (KiB) 14073912
heavy processes:
%CPU=20 pid=5237 uid=0 cmd=
[startup+402.3 s]
/proc/loadavg: 4.75 3.38 2.54 2/180 5260
/proc/meminfo: memFree=227404/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
heavy processes:
%CPU=16 pid=5237 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 5231 6 506 18446744073709551615
[startup+462.3 s]
/proc/loadavg: 4.97 3.70 2.70 2/180 5261
/proc/meminfo: memFree=227000/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
heavy processes:
%CPU=12 pid=5237 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 5231 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+468.9 s]
/proc/loadavg: 4.98 3.74 2.72 2/180 5261
/proc/meminfo: memFree=375428/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
[startup+475.3 s]
/proc/loadavg: 4.82 3.73 2.72 2/180 5261
/proc/meminfo: memFree=380308/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
[startup+476.9 s]
/proc/loadavg: 4.82 3.73 2.72 2/180 5261
/proc/meminfo: memFree=380436/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
[startup+477.7 s]
/proc/loadavg: 4.82 3.73 2.72 2/180 5261
/proc/meminfo: memFree=380684/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=14064764 CPUtime=236.79 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) S 5230 5230 3390 0 -1 4204032 6311232 0 0 0 21994 1685 0 0 20 0 1 0 272703698 14402318336 3510010 33554432000 4194304 5992684 140736650416864 140736650412520 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 3516191 3510010 208 440 0 3515747 0
Current children cumulated CPU time (s) 236.79
Current children cumulated vsize (KiB) 14073912
[startup+478.507 s]
/proc/loadavg: 4.82 3.73 2.72 4/181 5262
/proc/meminfo: memFree=776120/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=0 CPUtime=236.91 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4204036 6311232 0 0 0 21994 1697 0 0 20 0 1 0 272703698 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 236.91
Current children cumulated vsize (KiB) 9148
[startup+478.9 s]
/proc/loadavg: 4.82 3.73 2.72 4/181 5262
/proc/meminfo: memFree=776120/32873844 swapFree=7112/7112
[pid=5230] ppid=5228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5230/stat : 5230 (npSolver-pbo-It) S 5228 5230 3390 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272703698 9367552 274 33554432000 4194304 5064252 140735326449232 140735326448144 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5230/statm: 2287 274 233 213 0 72 0
[pid=5231] ppid=5230 vsize=0 CPUtime=237.31 cores=1,3,5,7
/proc/5231/stat : 5231 (npSolver-pbo) R 5230 5230 3390 0 -1 4204036 6311232 0 0 0 21994 1737 0 0 20 0 1 0 272703698 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5231/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 237.31
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 478.97
CPU time (s): 237.393
CPU user time (s): 219.949
CPU system time (s): 17.4443
CPU usage (%): 49.5632
Max. virtual memory (cumulated for all children) (KiB): 14073912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.949
system time used= 17.4443
maximum resident set size= 14040304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6311606
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= 1816267
involuntary context switches= 415
runsolver used 0.386941 second user time and 1.04384 second system time
The end