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-3750142-1339177919/watcher-3750142-1339177919 -o /tmp/evaluation-result-3750142-1339177919/solver-3750142-1339177919 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750142-1339177919.opb 1769180698 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: 2.16 2.04 2.01 3/177 25279
/proc/meminfo: memFree=30803028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[startup+0.0368289 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25279
/proc/meminfo: memFree=30803028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10023 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25279
/proc/meminfo: memFree=30803028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25279
/proc/meminfo: memFree=30803028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700218 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 25279
/proc/meminfo: memFree=30803028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 25281
/proc/meminfo: memFree=30617612/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=211020 CPUtime=1.49 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 23792 0 0 0 142 7 0 0 20 0 1 0 383917298 216084480 36373 33554432000 4194304 6004724 140733764558672 140733764554696 5190736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25280/statm: 52755 36373 130 442 0 52309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 220168
[startup+3.10026 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 25281
/proc/meminfo: memFree=30423664/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=424196 CPUtime=3.09 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 44939 0 0 0 293 16 0 0 20 0 1 0 383917298 434376704 75340 33554432000 4194304 6004724 140733764558672 140733764554696 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25280/statm: 106049 75340 130 442 0 105603 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 433344
[startup+6.30024 s]
/proc/loadavg: 2.15 2.04 2.01 3/179 25281
/proc/meminfo: memFree=29768476/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=592100 CPUtime=6.28 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 86967 0 0 0 603 25 0 0 20 0 1 0 383917298 606310400 144451 33554432000 4194304 6004724 140733764558672 140733764554696 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25280/statm: 148025 144451 130 442 0 147579 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 601248
[startup+12.7003 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 25281
/proc/meminfo: memFree=28296304/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=1422244 CPUtime=12.68 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 168539 0 0 0 1221 47 0 0 20 0 1 0 383917298 1456377856 314728 33554432000 4194304 6004724 140733764558672 140733764553480 5055481 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25280/statm: 355561 314728 163 442 0 355115 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1431392
[startup+25.5004 s]
/proc/loadavg: 2.18 2.06 2.01 3/179 25281
/proc/meminfo: memFree=26185556/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=2995108 CPUtime=25.48 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 170763 0 0 0 2465 83 0 0 20 0 1 0 383917298 3066990592 536936 33554432000 4194304 6004724 140733764558672 140733764553832 4618006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25280/statm: 748777 536936 163 442 0 748331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3004256
[startup+51.1004 s]
/proc/loadavg: 2.20 2.07 2.02 3/179 25281
/proc/meminfo: memFree=22239224/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=5092260 CPUtime=51.07 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 173248 0 0 0 4962 145 0 0 20 0 1 0 383917298 5214474240 1023336 33554432000 4194304 6004724 140733764558672 140733764553480 4228872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25280/statm: 1273065 1023336 163 442 0 1272619 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5101408
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 25281
/proc/meminfo: memFree=13768140/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9286564 CPUtime=102.27 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4202496 177824 0 0 0 9947 280 0 0 20 0 1 0 383917298 9509441536 2056040 33554432000 4194304 6004724 140733764558672 140733764553832 4534728 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25280/statm: 2321641 2056040 163 442 0 2321195 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9295712
[startup+162.3 s]
/proc/loadavg: 2.96 2.28 2.09 1/181 25283
/proc/meminfo: memFree=3670028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=125.49 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 429 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 125.49
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=22 pid=25282 uid=0 cmd=
%CPU=18 pid=25283 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25240 6 506 18446744073709551615
[startup+222.307 s]
/proc/loadavg: 3.67 2.63 2.22 1/181 25283
/proc/meminfo: memFree=187720/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.05 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 485 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.05
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=12 pid=25282 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25280 6 506 18446744073709551615
%CPU=11 pid=25283 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 25240 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 3.98 2.88 2.33 1/181 25284
/proc/meminfo: memFree=205028/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
heavy processes:
[startup+342.3 s]
/proc/loadavg: 4.62 3.26 2.49 1/181 25284
/proc/meminfo: memFree=370072/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+347.7 s]
/proc/loadavg: 4.65 3.29 2.51 1/181 25284
/proc/meminfo: memFree=372304/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+350.907 s]
/proc/loadavg: 4.68 3.32 2.52 1/181 25284
/proc/meminfo: memFree=373296/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+354.1 s]
/proc/loadavg: 4.68 3.32 2.52 1/181 25284
/proc/meminfo: memFree=383836/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+354.9 s]
/proc/loadavg: 4.68 3.32 2.52 1/181 25284
/proc/meminfo: memFree=383836/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+355.7 s]
/proc/loadavg: 4.71 3.35 2.53 1/181 25284
/proc/meminfo: memFree=384580/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+356.1 s]
/proc/loadavg: 4.71 3.35 2.53 1/181 25284
/proc/meminfo: memFree=384580/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=9352100 CPUtime=126.67 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) S 25279 25279 24582 0 -1 4204032 181957 0 0 0 12120 547 0 0 20 0 1 0 383917298 9576550400 2322806 33554432000 4194304 6004724 140733764558672 140733764554344 5251733 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 2338025 2322806 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.67
Current children cumulated vsize (KiB) 9361248
[startup+356.2 s]
/proc/loadavg: 4.71 3.35 2.53 1/181 25284
/proc/meminfo: memFree=384580/32873844 swapFree=7124/7124
[pid=25279] ppid=25277 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25279/stat : 25279 (npSolver-pbo.sh) S 25277 25279 24582 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383917298 9367552 274 33554432000 4194304 5064252 140733194071904 140733194070816 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25279/statm: 2287 274 233 213 0 72 0
[pid=25280] ppid=25279 vsize=0 CPUtime=126.72 cores=0,2,4,6
/proc/25280/stat : 25280 (npSolver-pbo) R 25279 25279 24582 0 -1 4204036 181957 0 0 0 12120 552 0 0 20 0 1 0 383917298 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25280/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 126.72
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 356.236
CPU time (s): 126.765
CPU user time (s): 121.204
CPU system time (s): 5.56115
CPU usage (%): 35.5845
Max. virtual memory (cumulated for all children) (KiB): 13490016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.204
system time used= 5.56115
maximum resident set size= 9291224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182330
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= 945458
involuntary context switches= 637
runsolver used 0.669898 second user time and 1.70674 second system time
The end