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-3701288-1338070375/watcher-3701288-1338070375 -o /tmp/evaluation-result-3701288-1338070375/solver-3701288-1338070375 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701288-1338070375.opb 1258250374 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.61 4.69 3.22 2/183 7256
/proc/meminfo: memFree=18001224/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[startup+0.097136 s]
/proc/loadavg: 5.61 4.69 3.22 2/183 7256
/proc/meminfo: memFree=18001224/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100233 s]
/proc/loadavg: 5.61 4.69 3.22 2/183 7256
/proc/meminfo: memFree=18001224/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300181 s]
/proc/loadavg: 5.61 4.69 3.22 2/183 7256
/proc/meminfo: memFree=18001224/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700193 s]
/proc/loadavg: 5.61 4.69 3.22 2/183 7256
/proc/meminfo: memFree=18001224/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 5.61 4.69 3.22 3/184 7258
/proc/meminfo: memFree=17900448/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=36560 CPUtime=1.49 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4202496 3314 0 0 0 148 1 0 0 20 0 1 0 273162328 37437440 6304 33554432000 4194304 5992684 140736627890304 140736627884888 4768868 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7257/statm: 9140 6304 146 440 0 8696 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45708
[startup+3.10019 s]
/proc/loadavg: 5.61 4.69 3.22 3/184 7258
/proc/meminfo: memFree=17146036/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=69460 CPUtime=3.09 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4202496 3860 0 0 0 307 2 0 0 20 0 1 0 273162328 71127040 11944 33554432000 4194304 5992684 140736627890304 140736627886072 4768579 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7257/statm: 17365 11944 146 440 0 16921 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 78608
[startup+6.55701 s]
/proc/loadavg: 5.32 4.65 3.21 3/178 7288
/proc/meminfo: memFree=31346592/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=141256 CPUtime=6.55 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4202496 6073 0 0 0 650 5 0 0 20 0 1 0 273162328 144646144 26811 33554432000 4194304 5992684 140736627890304 140736627886904 4606711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7257/statm: 35314 26811 157 440 0 34870 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 150404
[startup+12.7003 s]
/proc/loadavg: 5.05 4.60 3.21 3/182 7299
/proc/meminfo: memFree=30368776/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=822260 CPUtime=12.68 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4202496 79340 0 0 0 1244 24 0 0 20 0 1 0 273162328 841994240 169382 33554432000 4194304 5992684 140736627890304 140736627882920 5044337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7257/statm: 205565 169382 157 440 0 205121 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 831408
[startup+25.5004 s]
/proc/loadavg: 4.38 4.47 3.19 3/182 7299
/proc/meminfo: memFree=27936860/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=1934456 CPUtime=25.48 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4202496 227411 0 0 0 2487 61 0 0 20 0 1 0 273162328 1980882944 469986 33554432000 4194304 5992684 140736627890304 140736627883496 5045108 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7257/statm: 483614 469986 157 440 0 483170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1943604
[startup+51.1003 s]
/proc/loadavg: 3.91 4.35 3.18 3/184 7301
/proc/meminfo: memFree=20966696/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3178096 CPUtime=31.87 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4202496 278386 0 0 0 2917 270 0 0 20 0 1 0 273162328 3254370304 567417 33554432000 4194304 5992684 140736627890304 140736627884336 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 213 0 0
/proc/7257/statm: 794524 567417 164 440 0 794080 0
[pid=7300] ppid=7257 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7300/stat : 7300 (cp2_pre.sh) S 7257 7256 3926 0 -1 4202496 610 0 0 0 0 1 0 0 20 0 1 0 273165729 9367552 277 33554432000 4194304 5064252 140733890192416 140733890191120 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7300/statm: 2287 277 234 213 0 72 0
[pid=7301] ppid=7300 vsize=3757076 CPUtime=17.04 cores=0,2,4,6
/proc/7301/stat : 7301 (coprocessor) R 7300 7256 3926 0 -1 4202496 53251 0 0 0 1616 88 0 0 20 0 1 0 273165732 3847245824 747007 33554432000 4194304 6586260 140735675448512 140735675444392 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/7301/statm: 939269 747007 158 584 0 938681 0
Current children cumulated CPU time (s) 48.92
Current children cumulated vsize (KiB) 6953468
[startup+102.307 s]
/proc/loadavg: 2.89 4.00 3.12 3/183 7301
/proc/meminfo: memFree=15450592/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3178096 CPUtime=31.87 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4202496 278386 0 0 0 2917 270 0 0 20 0 1 0 273162328 3254370304 567417 33554432000 4194304 5992684 140736627890304 140736627884336 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 213 0 0
/proc/7257/statm: 794524 567417 164 440 0 794080 0
[pid=7300] ppid=7257 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/7300/stat : 7300 (cp2_pre.sh) S 7257 7256 3926 0 -1 4202496 610 0 0 0 0 1 0 0 20 0 1 0 273165729 9367552 277 33554432000 4194304 5064252 140733890192416 140733890191120 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/7300/statm: 2287 277 234 213 0 72 0
[pid=7301] ppid=7300 vsize=3757076 CPUtime=67.64 cores=0,2,4,6
/proc/7301/stat : 7301 (coprocessor) R 7300 7256 3926 0 -1 4202496 53251 0 0 0 6458 306 0 0 20 0 1 0 273165732 3847245824 747007 33554432000 4194304 6586260 140735675448512 140735675444264 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 60 0 0
/proc/7301/statm: 939269 747007 158 584 0 938681 0
Current children cumulated CPU time (s) 99.52
Current children cumulated vsize (KiB) 6953468
[startup+162.3 s]
/proc/loadavg: 3.26 3.85 3.12 2/182 7309
/proc/meminfo: memFree=11847776/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+222.3 s]
/proc/loadavg: 4.17 4.02 3.22 1/183 7311
/proc/meminfo: memFree=4557524/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
heavy processes:
%CPU=11 pid=7309 uid=0 cmd=
%CPU=37 pid=7310 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 7298 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 3.99 4.00 3.26 1/184 7312
/proc/meminfo: memFree=1402616/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
heavy processes:
%CPU=18 pid=7310 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 7298 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.44 4.12 3.35 1/184 7312
/proc/meminfo: memFree=182416/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
heavy processes:
%CPU=12 pid=7310 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 7298 6 506 18446744073709551615
[startup+402.307 s]
/proc/loadavg: 4.82 4.29 3.45 1/184 7312
/proc/meminfo: memFree=322976/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+414.7 s]
/proc/loadavg: 4.93 4.34 3.48 1/184 7312
/proc/meminfo: memFree=330292/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+421.1 s]
/proc/loadavg: 4.93 4.35 3.49 1/184 7312
/proc/meminfo: memFree=334136/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+422.7 s]
/proc/loadavg: 4.93 4.35 3.49 1/184 7312
/proc/meminfo: memFree=334508/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+423.5 s]
/proc/loadavg: 4.86 4.34 3.49 1/184 7312
/proc/meminfo: memFree=334756/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+423.9 s]
/proc/loadavg: 4.86 4.34 3.49 1/184 7312
/proc/meminfo: memFree=334756/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=3377836 CPUtime=136.32 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) S 7256 7256 3926 0 -1 4204032 284320 556377 0 1 3032 547 9455 598 20 0 1 0 273162328 3458904064 617384 33554432000 4194304 5992684 140736627890304 140736627884424 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 213 0 0
/proc/7257/statm: 844459 617384 182 440 0 844015 0
Current children cumulated CPU time (s) 136.32
Current children cumulated vsize (KiB) 3386984
[startup+424.1 s]
/proc/loadavg: 4.86 4.34 3.49 1/184 7312
/proc/meminfo: memFree=334756/32873844 swapFree=7616/7616
[pid=7256] ppid=7254 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7256/stat : 7256 (npSolver-pbo.sh) S 7254 7256 3926 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273162328 9367552 275 33554432000 4194304 5064252 140735783429040 140735783427952 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7256/statm: 2287 275 233 213 0 72 0
[pid=7257] ppid=7256 vsize=0 CPUtime=136.37 cores=0,2,4,6
/proc/7257/stat : 7257 (npSolver-pbo) R 7256 7256 3926 0 -1 4204036 284320 556377 0 1 3032 552 9455 598 20 0 1 0 273162328 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 213 0 0
/proc/7257/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 136.37
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 424.133
CPU time (s): 136.417
CPU user time (s): 124.876
CPU system time (s): 11.5412
CPU usage (%): 32.1638
Max. virtual memory (cumulated for all children) (KiB): 8436080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.876
system time used= 11.5412
maximum resident set size= 4389976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 841071
page faults= 1
swaps= 0
block input operations= 136
block output operations= 5203056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 711183
involuntary context switches= 216
runsolver used 0.92086 second user time and 2.69359 second system time
The end