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-3698639-1338073543/watcher-3698639-1338073543 -o /tmp/evaluation-result-3698639-1338073543/solver-3698639-1338073543 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698639-1338073543.opb 1894573280 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.16 2.08 2.02 3/178 5731
/proc/meminfo: memFree=30610884/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[startup+0.058735 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 5731
/proc/meminfo: memFree=30610884/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100314 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 5731
/proc/meminfo: memFree=30610884/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300283 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 5731
/proc/meminfo: memFree=30610884/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.16 2.08 2.02 3/178 5731
/proc/meminfo: memFree=30610884/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.16 2.08 2.02 3/180 5733
/proc/meminfo: memFree=30590584/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=34892 CPUtime=1.49 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 3170 0 0 0 148 1 0 0 20 0 1 0 273482835 35729408 7742 33554432000 4194304 5992684 140733572101264 140733572096424 4374788 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 8723 7742 147 440 0 8279 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44040
[startup+3.1003 s]
/proc/loadavg: 2.16 2.08 2.02 3/180 5733
/proc/meminfo: memFree=30569336/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=67660 CPUtime=3.09 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 3712 0 0 0 307 2 0 0 20 0 1 0 273482835 69283840 15422 33554432000 4194304 5992684 140733572101264 140733572096424 4571317 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 16915 15422 147 440 0 16471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76808
[startup+6.3003 s]
/proc/loadavg: 2.14 2.07 2.02 3/180 5733
/proc/meminfo: memFree=30505600/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=133196 CPUtime=6.29 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 4284 0 0 0 625 4 0 0 20 0 1 0 273482835 136392704 30270 33554432000 4194304 5992684 140733572101264 140733572096776 4571406 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 33299 30270 147 440 0 32855 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142344
[startup+12.7003 s]
/proc/loadavg: 2.13 2.07 2.02 3/180 5733
/proc/meminfo: memFree=30382232/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=264268 CPUtime=12.68 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 4917 0 0 0 1260 8 0 0 20 0 1 0 273482835 270610432 59966 33554432000 4194304 5992684 140733572101264 140733572096424 4768588 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 66067 59966 147 440 0 65623 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 273416
[startup+25.5003 s]
/proc/loadavg: 2.10 2.07 2.02 3/180 5733
/proc/meminfo: memFree=30138396/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=526412 CPUtime=25.49 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 5671 0 0 0 2531 18 0 0 20 0 1 0 273482835 539045888 118846 33554432000 4194304 5992684 140733572101264 140733572096424 4768688 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 131603 118846 147 440 0 131159 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 535560
[startup+51.1003 s]
/proc/loadavg: 2.07 2.06 2.02 3/180 5734
/proc/meminfo: memFree=29674928/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=1050700 CPUtime=51.08 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 6667 0 0 0 5073 35 0 0 20 0 1 0 273482835 1075916800 236094 33554432000 4194304 5992684 140733572101264 140733572096776 4768469 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 262675 236094 147 440 0 262231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1059848
[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.02 3/180 5734
/proc/meminfo: memFree=28732788/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=2099276 CPUtime=102.28 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 8145 0 0 0 10158 70 0 0 20 0 1 0 273482835 2149658624 469054 33554432000 4194304 5992684 140733572101264 140733572096776 4606624 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5732/statm: 524819 469054 147 440 0 524375 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2108424
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/180 5734
/proc/meminfo: memFree=27671492/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=4196428 CPUtime=162.26 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 10202 0 0 0 16100 126 0 0 20 0 1 0 273482835 4297142272 736318 33554432000 4194304 5992684 140733572101264 140733572096424 4571337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 1049107 736318 147 440 0 1048663 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4205576
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/180 5734
/proc/meminfo: memFree=26563340/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=4196428 CPUtime=222.24 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 10737 0 0 0 22077 147 0 0 20 0 1 0 273482835 4297142272 1010238 33554432000 4194304 5992684 140733572101264 140733572096424 4809207 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 1049107 1010238 147 440 0 1048663 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 4205576
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 5737
/proc/meminfo: memFree=25514448/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8390732 CPUtime=282.24 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 13813 0 0 0 27992 232 0 0 20 0 1 0 273482835 8592109568 1274942 33554432000 4194304 5992684 140733572101264 140733572096424 4768495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2097683 1274942 147 440 0 2097239 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8399880
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 5737
/proc/meminfo: memFree=24418848/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8390732 CPUtime=342.24 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 14342 0 0 0 33971 253 0 0 20 0 1 0 273482835 8592109568 1545790 33554432000 4194304 5992684 140733572101264 140733572096424 4374815 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2097683 1545790 147 440 0 2097239 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 8399880
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 5738
/proc/meminfo: memFree=23329120/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8390732 CPUtime=402.22 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 14879 0 0 0 39950 272 0 0 20 0 1 0 273482835 8592109568 1820734 33554432000 4194304 5992684 140733572101264 140733572096424 4524999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2097683 1820734 147 440 0 2097239 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 8399880
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/180 5738
/proc/meminfo: memFree=22233504/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8390732 CPUtime=462.21 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 15408 0 0 0 45929 292 0 0 20 0 1 0 273482835 8592109568 2091582 33554432000 4194304 5992684 140733572101264 140733572096424 4809054 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2097683 2091582 147 440 0 2097239 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 8399880
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 5738
/proc/meminfo: memFree=22203592/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456268 CPUtime=522.21 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 15622 0 0 0 51928 293 0 0 20 0 1 0 273482835 8659218432 2097417 33554432000 4194304 5992684 140733572101264 140733572096104 4809171 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114067 2097417 194 440 0 2113623 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 8465416
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 5738
/proc/meminfo: memFree=22201668/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456268 CPUtime=582.2 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4202496 15622 0 0 0 57927 293 0 0 20 0 1 0 273482835 8659218432 2097417 33554432000 4194304 5992684 140733572101264 140733572096104 4375104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114067 2097417 194 440 0 2113623 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 8465416
[startup+642.3 s]
/proc/loadavg: 2.10 2.04 2.01 4/181 5739
/proc/meminfo: memFree=18618556/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=635.34 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 403 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 635.34
Current children cumulated vsize (KiB) 8465420
[startup+702.3 s]
/proc/loadavg: 3.65 2.50 2.16 2/181 5740
/proc/meminfo: memFree=12134412/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=637.15 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 584 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 637.15
Current children cumulated vsize (KiB) 8465420
[startup+762.307 s]
/proc/loadavg: 4.42 2.93 2.33 2/181 5740
/proc/meminfo: memFree=8447716/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.14 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 683 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.14
Current children cumulated vsize (KiB) 8465420
[startup+822.3 s]
/proc/loadavg: 4.60 3.24 2.47 2/181 5740
/proc/meminfo: memFree=6996788/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.57 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 726 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.57
Current children cumulated vsize (KiB) 8465420
heavy processes:
%CPU=14 pid=5739 uid=0 cmd=
[startup+882.3 s]
/proc/loadavg: 5.19 3.64 2.65 2/184 5743
/proc/meminfo: memFree=7095880/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.57 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 726 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.57
Current children cumulated vsize (KiB) 8465420
heavy processes:
%CPU=10 pid=5739 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 5732 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+883.1 s]
/proc/loadavg: 5.19 3.64 2.65 2/184 5743
/proc/meminfo: memFree=7095880/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.57 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 726 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.57
Current children cumulated vsize (KiB) 8465420
[startup+883.9 s]
/proc/loadavg: 5.19 3.64 2.65 2/184 5743
/proc/meminfo: memFree=7156020/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.57 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 726 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.57
Current children cumulated vsize (KiB) 8465420
[startup+884.3 s]
/proc/loadavg: 5.26 3.67 2.67 2/184 5743
/proc/meminfo: memFree=7186524/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=8456272 CPUtime=638.57 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) S 5731 5731 2929 0 -1 4204032 20608 0 0 0 63131 726 0 0 20 0 1 0 273482835 8659222528 2102403 33554432000 4194304 5992684 140733572101264 140733572096920 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 2114068 2102403 217 440 0 2113624 0
Current children cumulated CPU time (s) 638.57
Current children cumulated vsize (KiB) 8465420
[startup+884.5 s]
/proc/loadavg: 5.26 3.67 2.67 2/184 5743
/proc/meminfo: memFree=7186524/32873844 swapFree=7108/7108
[pid=5731] ppid=5729 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5731/stat : 5731 (npSolver-pbo-It) S 5729 5731 2929 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273482835 9367552 274 33554432000 4194304 5064252 140734415035760 140734415034672 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5731/statm: 2287 274 233 213 0 72 0
[pid=5732] ppid=5731 vsize=0 CPUtime=638.58 cores=1,3,5,7
/proc/5732/stat : 5732 (npSolver-pbo) R 5731 5731 2929 0 -1 4204036 20608 0 0 0 63131 727 0 0 20 0 1 0 273482835 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 638.58
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 884.525
CPU time (s): 638.619
CPU user time (s): 631.319
CPU system time (s): 7.29989
CPU usage (%): 72.1991
Max. virtual memory (cumulated for all children) (KiB): 12594184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 631.319
system time used= 7.29989
maximum resident set size= 8409612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20982
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= 1815634
involuntary context switches= 853
runsolver used 3.12153 second user time and 8.69568 second system time
The end