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-3750135-1339177925/watcher-3750135-1339177925 -o /tmp/evaluation-result-3750135-1339177925/solver-3750135-1339177925 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750135-1339177925.opb 1046663183 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: 4.66 3.83 2.81 3/178 1775
/proc/meminfo: memFree=28711972/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[startup+0.0515151 s]
/proc/loadavg: 4.66 3.83 2.81 3/178 1775
/proc/meminfo: memFree=28711972/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100307 s]
/proc/loadavg: 4.66 3.83 2.81 3/178 1775
/proc/meminfo: memFree=28711972/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300293 s]
/proc/loadavg: 4.66 3.83 2.81 3/178 1775
/proc/meminfo: memFree=28711972/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700285 s]
/proc/loadavg: 4.66 3.83 2.81 3/178 1775
/proc/meminfo: memFree=28711972/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 4.66 3.83 2.81 3/180 1777
/proc/meminfo: memFree=28643880/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=146308 CPUtime=1.49 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 16433 0 0 0 144 5 0 0 20 0 1 0 383918466 149819392 32996 33554432000 4194304 6004724 140736368588192 140736368584216 5190736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 36577 32996 130 442 0 36131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155456
[startup+3.10036 s]
/proc/loadavg: 4.66 3.83 2.81 3/180 1777
/proc/meminfo: memFree=28523516/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=323548 CPUtime=3.09 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 37594 0 0 0 296 13 0 0 20 0 1 0 383918466 331313152 78635 33554432000 4194304 6004724 140736368588192 140736368583704 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 80887 78635 130 442 0 80441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332696
[startup+6.30035 s]
/proc/loadavg: 4.45 3.80 2.80 3/180 1777
/proc/meminfo: memFree=28143204/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=891796 CPUtime=6.28 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 82664 0 0 0 594 34 0 0 20 0 1 0 383918466 913199104 172567 33554432000 4194304 6004724 140736368588192 140736368583704 5190736 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 222949 172567 130 442 0 222503 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 900944
[startup+12.7003 s]
/proc/loadavg: 4.25 3.77 2.80 3/180 1777
/proc/meminfo: memFree=27509348/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=1753080 CPUtime=12.69 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 167800 0 0 0 1203 66 0 0 20 0 1 0 383918466 1795153920 320810 33554432000 4194304 6004724 140736368588192 140736368583704 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 438270 320811 130 442 0 437824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1762228
[startup+25.5004 s]
/proc/loadavg: 3.83 3.70 2.79 3/180 1825
/proc/meminfo: memFree=27472964/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=3045852 CPUtime=25.49 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 342259 0 0 0 2423 126 0 0 20 0 1 0 383918466 3118952448 684397 33554432000 4194304 6004724 140736368588192 140736368582792 4536305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 761463 684397 162 442 0 761017 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3055000
[startup+51.1003 s]
/proc/loadavg: 3.20 3.56 2.77 3/180 1837
/proc/meminfo: memFree=24778340/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=6192336 CPUtime=51.08 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 345961 0 0 0 4895 213 0 0 20 0 1 0 383918466 6340952064 1173117 33554432000 4194304 6004724 140736368588192 140736368582792 4536305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 1548084 1173117 163 442 0 1547638 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6201484
[startup+102.307 s]
/proc/loadavg: 2.59 3.33 2.73 3/179 1837
/proc/meminfo: memFree=20463480/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10386640 CPUtime=102.27 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4202496 350588 0 0 0 9877 350 0 0 20 0 1 0 383918466 10635919360 2231933 33554432000 4194304 6004724 140736368588192 140736368582792 4536263 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2596660 2231933 163 442 0 2596214 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10395788
[startup+162.3 s]
/proc/loadavg: 3.22 3.33 2.76 2/180 1839
/proc/meminfo: memFree=11220044/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=135.1 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 640 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 135.1
Current children cumulated vsize (KiB) 10461324
[startup+222.3 s]
/proc/loadavg: 4.29 3.61 2.89 2/180 1839
/proc/meminfo: memFree=7887652/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=136.01 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 731 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 136.01
Current children cumulated vsize (KiB) 10461324
heavy processes:
%CPU=22 pid=1839 uid=0 cmd=
[startup+282.3 s]
/proc/loadavg: 4.77 3.88 3.03 2/180 1841
/proc/meminfo: memFree=4355348/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=136.99 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 829 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 136.99
Current children cumulated vsize (KiB) 10461324
heavy processes:
%CPU=17 pid=1839 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 1776 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.84 4.05 3.14 2/180 1841
/proc/meminfo: memFree=3819464/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
heavy processes:
%CPU=13 pid=1839 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 1776 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+359.9 s]
/proc/loadavg: 4.95 4.13 3.18 2/180 1841
/proc/meminfo: memFree=3871996/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+385.507 s]
/proc/loadavg: 4.96 4.20 3.23 2/180 1841
/proc/meminfo: memFree=3857996/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+391.9 s]
/proc/loadavg: 4.97 4.21 3.24 2/180 1841
/proc/meminfo: memFree=3853264/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+395.1 s]
/proc/loadavg: 4.97 4.22 3.25 3/180 1841
/proc/meminfo: memFree=3854380/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+398.3 s]
/proc/loadavg: 4.97 4.22 3.25 2/180 1841
/proc/meminfo: memFree=3852688/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+399.1 s]
/proc/loadavg: 4.89 4.22 3.25 2/180 1841
/proc/meminfo: memFree=3853340/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+399.9 s]
/proc/loadavg: 4.89 4.22 3.25 2/180 1841
/proc/meminfo: memFree=3853340/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=10452176 CPUtime=137.17 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) S 1775 1775 982 0 -1 4204032 353109 0 0 0 12870 847 0 0 20 0 1 0 383918466 10703028224 2600330 33554432000 4194304 6004724 140736368588192 140736368583864 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 2613044 2600330 220 442 0 2612598 0
Current children cumulated CPU time (s) 137.17
Current children cumulated vsize (KiB) 10461324
[startup+400.3 s]
/proc/loadavg: 4.89 4.22 3.25 2/180 1841
/proc/meminfo: memFree=3853340/32873852 swapFree=7632/7632
[pid=1775] ppid=1773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1775/stat : 1775 (npSolver-pbo.sh) S 1773 1775 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383918465 9367552 275 33554432000 4194304 5064252 140736549937328 140736549936240 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1775/statm: 2287 275 233 213 0 72 0
[pid=1776] ppid=1775 vsize=0 CPUtime=137.23 cores=1,3,5,7
/proc/1776/stat : 1776 (npSolver-pbo) R 1775 1775 982 0 -1 4204036 353109 0 0 0 12870 853 0 0 20 0 1 0 383918466 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1776/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 137.23
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 400.321
CPU time (s): 137.26
CPU user time (s): 128.702
CPU system time (s): 8.5577
CPU usage (%): 34.2875
Max. virtual memory (cumulated for all children) (KiB): 14590092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.702
system time used= 8.5577
maximum resident set size= 10401320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353484
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= 1809465
involuntary context switches= 180
runsolver used 0.675897 second user time and 1.88671 second system time
The end