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-3701641-1338103664/watcher-3701641-1338103664 -o /tmp/evaluation-result-3701641-1338103664/solver-3701641-1338103664 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701641-1338103664.opb 1180941834 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.00 2.00 2.16 3/179 2664
/proc/meminfo: memFree=30812344/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[startup+0.0273441 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 2664
/proc/meminfo: memFree=30812344/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100287 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 2664
/proc/meminfo: memFree=30812344/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 2664
/proc/meminfo: memFree=30812344/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 2664
/proc/meminfo: memFree=30812344/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.16 3/181 2666
/proc/meminfo: memFree=30799056/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=56468 CPUtime=1.49 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 8871 0 0 0 147 2 0 0 20 0 1 0 276491370 57823232 10558 33554432000 4194304 5992684 140733593083072 140733593079192 4571359 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 14117 10558 161 440 0 13673 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65616
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.16 3/181 2666
/proc/meminfo: memFree=30728020/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=184472 CPUtime=3.08 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 17395 0 0 0 302 6 0 0 20 0 1 0 276491370 188899328 38963 33554432000 4194304 5992684 140733593083072 140733593074488 4239619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 46118 38963 161 440 0 45674 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 193620
[startup+6.3004 s]
/proc/loadavg: 2.08 2.02 2.17 3/181 2666
/proc/meminfo: memFree=30478544/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=639728 CPUtime=6.28 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 34193 0 0 0 608 20 0 0 20 0 1 0 276491370 655081472 95427 33554432000 4194304 5992684 140733593083072 140733593077160 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 159932 95427 161 440 0 159488 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 648876
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.16 3/181 2666
/proc/meminfo: memFree=30001796/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=1288624 CPUtime=12.68 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 66305 0 0 0 1227 41 0 0 20 0 1 0 276491370 1319550976 211087 33554432000 4194304 5992684 140733593083072 140733593078104 4964531 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 322156 211087 161 440 0 321712 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1297772
[startup+25.5004 s]
/proc/loadavg: 2.06 2.01 2.16 3/181 2666
/proc/meminfo: memFree=29211056/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=1586908 CPUtime=25.48 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 225077 0 0 0 2454 94 0 0 20 0 1 0 276491370 1624993792 394120 33554432000 4194304 5992684 140733593083072 140733593072744 4571337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 396727 394120 162 440 0 396283 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1596056
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.16 3/181 2666
/proc/meminfo: memFree=27847492/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=3156804 CPUtime=51.08 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 559178 0 0 0 4890 218 0 0 20 0 1 0 276491370 3232567296 727781 33554432000 4194304 5992684 140733593083072 140733593072744 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 789201 727781 162 440 0 788757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3165952
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.15 3/181 2666
/proc/meminfo: memFree=25009712/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=6354492 CPUtime=102.28 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4202496 1227027 0 0 0 9760 468 0 0 20 0 1 0 276491370 6506999808 1413512 33554432000 4194304 5992684 140733593083072 140733593052648 4523464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2665/statm: 1588623 1413512 162 440 0 1588179 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6363640
[startup+162.3 s]
/proc/loadavg: 2.51 2.12 2.17 2/183 2671
/proc/meminfo: memFree=15625972/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=147.63 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1000 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 147.63
Current children cumulated vsize (KiB) 11491248
[startup+222.3 s]
/proc/loadavg: 4.11 2.64 2.35 2/180 2711
/proc/meminfo: memFree=12306300/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=148.09 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1046 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 148.09
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=25 pid=2671 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.63 3.05 2.51 2/182 2779
/proc/meminfo: memFree=8584732/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.04 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1141 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.04
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=19 pid=2671 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 2665 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.89 3.41 2.66 2/183 2780
/proc/meminfo: memFree=8322952/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
heavy processes:
%CPU=14 pid=2671 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 2665 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+359.7 s]
/proc/loadavg: 4.91 3.48 2.70 2/182 2780
/proc/meminfo: memFree=8321280/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+366.1 s]
/proc/loadavg: 4.92 3.53 2.72 2/182 2780
/proc/meminfo: memFree=8318428/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+372.5 s]
/proc/loadavg: 4.93 3.56 2.73 2/182 2780
/proc/meminfo: memFree=8321876/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+375.7 s]
/proc/loadavg: 4.86 3.56 2.74 2/182 2780
/proc/meminfo: memFree=8493864/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+376.506 s]
/proc/loadavg: 4.86 3.56 2.74 2/182 2780
/proc/meminfo: memFree=8493864/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+376.9 s]
/proc/loadavg: 4.86 3.56 2.74 2/182 2780
/proc/meminfo: memFree=8493864/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=11482100 CPUtime=149.14 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) S 2664 2664 31075 0 -1 4204032 1775361 0 0 0 13763 1151 0 0 20 0 1 0 276491370 11757670400 1969474 33554432000 4194304 5992684 140733593083072 140733593078728 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 2870525 1969474 212 440 0 2870081 0
Current children cumulated CPU time (s) 149.14
Current children cumulated vsize (KiB) 11491248
[startup+377.3 s]
/proc/loadavg: 4.86 3.56 2.74 2/182 2780
/proc/meminfo: memFree=8493864/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=0 CPUtime=149.22 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4204036 1775361 0 0 0 13763 1159 0 0 20 0 1 0 276491370 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 149.22
Current children cumulated vsize (KiB) 9148
[startup+377.4 s]
/proc/loadavg: 4.86 3.56 2.74 2/182 2780
/proc/meminfo: memFree=8493864/32873844 swapFree=7112/7112
[pid=2664] ppid=2662 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2664/stat : 2664 (npSolver-pbo.sh) S 2662 2664 31075 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276491370 9367552 275 33554432000 4194304 5064252 140735858985616 140735858984528 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2664/statm: 2287 275 233 213 0 72 0
[pid=2665] ppid=2664 vsize=0 CPUtime=149.32 cores=1,3,5,7
/proc/2665/stat : 2665 (npSolver-pbo) R 2664 2664 31075 0 -1 4204036 1775361 0 0 0 13763 1169 0 0 20 0 1 0 276491370 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2665/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 149.32
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 377.406
CPU time (s): 149.338
CPU user time (s): 137.635
CPU system time (s): 11.7032
CPU usage (%): 39.5697
Max. virtual memory (cumulated for all children) (KiB): 15221796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.635
system time used= 11.7032
maximum resident set size= 11011616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1775735
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= 1746081
involuntary context switches= 181
runsolver used 0.708892 second user time and 1.60476 second system time
The end