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-3750136-1339177797/watcher-3750136-1339177797 -o /tmp/evaluation-result-3750136-1339177797/solver-3750136-1339177797 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750136-1339177797.opb 895701833 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.01 2.10 2.06 3/179 18198
/proc/meminfo: memFree=25722540/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[startup+0.07226 s]
/proc/loadavg: 2.01 2.10 2.06 3/179 18198
/proc/meminfo: memFree=25722540/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10033 s]
/proc/loadavg: 2.01 2.10 2.06 3/179 18198
/proc/meminfo: memFree=25722540/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300315 s]
/proc/loadavg: 2.01 2.10 2.06 3/179 18198
/proc/meminfo: memFree=25722540/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700313 s]
/proc/loadavg: 2.01 2.10 2.06 3/179 18198
/proc/meminfo: memFree=25722540/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.01 2.10 2.06 3/181 18200
/proc/meminfo: memFree=25620240/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=213792 CPUtime=1.49 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 24228 0 0 0 140 9 0 0 20 0 1 0 383905595 218923008 37831 33554432000 4194304 6004724 140735135534352 140735135530376 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 53448 37832 130 442 0 53002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 222940
[startup+3.10035 s]
/proc/loadavg: 2.00 2.10 2.06 3/182 18203
/proc/meminfo: memFree=25506292/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=430268 CPUtime=3.09 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 46199 0 0 0 292 17 0 0 20 0 1 0 383905595 440594432 78133 33554432000 4194304 6004724 140735135534352 140735135529864 4962784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 107567 78134 130 442 0 107121 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 439416
[startup+6.30033 s]
/proc/loadavg: 2.00 2.10 2.06 3/182 18203
/proc/meminfo: memFree=25158832/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=605828 CPUtime=6.28 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 90139 0 0 0 598 30 0 0 20 0 1 0 383905595 620367872 148134 33554432000 4194304 6004724 140735135534352 140735135530376 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 151457 148134 130 442 0 151011 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 614976
[startup+12.7004 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 18203
/proc/meminfo: memFree=24457588/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=1422244 CPUtime=12.69 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 168038 0 0 0 1209 60 0 0 20 0 1 0 383905595 1456377856 321127 33554432000 4194304 6004724 140735135534352 140735135529160 4535882 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 355561 321127 163 442 0 355115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1431392
[startup+25.5003 s]
/proc/loadavg: 2.00 2.09 2.06 3/182 18203
/proc/meminfo: memFree=23637296/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=2995108 CPUtime=25.48 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 170256 0 0 0 2445 103 0 0 20 0 1 0 383905595 3066990592 540263 33554432000 4194304 6004724 140735135534352 140735135529512 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 748777 540263 163 442 0 748331 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3004256
[startup+51.1003 s]
/proc/loadavg: 2.00 2.08 2.06 3/182 18203
/proc/meminfo: memFree=21651236/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=5092260 CPUtime=51.08 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 172729 0 0 0 4933 175 0 0 20 0 1 0 383905595 5214474240 1020519 33554432000 4194304 6004724 140735135534352 140735135529160 4536305 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 1273065 1020519 163 442 0 1272619 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5101408
[startup+102.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/181 18204
/proc/meminfo: memFree=17557300/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9286564 CPUtime=102.28 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4202496 177309 0 0 0 9915 313 0 0 20 0 1 0 383905595 9509441536 2055271 33554432000 4194304 6004724 140735135534352 140735135529512 4617922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18199/statm: 2321641 2055271 163 442 0 2321195 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 9295712
[startup+162.3 s]
/proc/loadavg: 3.44 2.41 2.17 2/182 18205
/proc/meminfo: memFree=8127196/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=126.42 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 555 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 126.42
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=38 pid=18205 uid=0 cmd=
[startup+222.3 s]
/proc/loadavg: 4.47 2.87 2.34 2/182 18205
/proc/meminfo: memFree=4817512/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=127.42 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 655 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 127.42
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=21 pid=18205 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 18199 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.80 3.26 2.50 2/182 18205
/proc/meminfo: memFree=1409708/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.48 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 761 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.48
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=17 pid=18205 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 18199 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.90 3.58 2.66 2/182 18205
/proc/meminfo: memFree=1287136/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
heavy processes:
%CPU=12 pid=18205 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 18199 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+360.8 s]
/proc/loadavg: 5.00 3.67 2.71 2/182 18205
/proc/meminfo: memFree=1256672/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+373.6 s]
/proc/loadavg: 5.00 3.73 2.74 2/182 18205
/proc/meminfo: memFree=1257036/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+380 s]
/proc/loadavg: 5.00 3.75 2.75 2/182 18205
/proc/meminfo: memFree=1255304/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+383.2 s]
/proc/loadavg: 4.92 3.76 2.76 2/182 18205
/proc/meminfo: memFree=1257780/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+384.8 s]
/proc/loadavg: 4.92 3.76 2.76 2/182 18205
/proc/meminfo: memFree=1423692/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+386.406 s]
/proc/loadavg: 4.92 3.76 2.76 2/182 18205
/proc/meminfo: memFree=1430384/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+387.2 s]
/proc/loadavg: 4.92 3.76 2.76 2/182 18205
/proc/meminfo: memFree=1430384/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+387.6 s]
/proc/loadavg: 4.77 3.75 2.76 2/182 18205
/proc/meminfo: memFree=1431748/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=9352100 CPUtime=128.53 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) S 18198 18198 17372 0 -1 4204032 179656 0 0 0 12087 766 0 0 20 0 1 0 383905595 9576550400 2323338 33554432000 4194304 6004724 140735135534352 140735135530024 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 2338025 2323338 220 442 0 2337579 0
Current children cumulated CPU time (s) 128.53
Current children cumulated vsize (KiB) 9361248
[startup+387.7 s]
/proc/loadavg: 4.77 3.75 2.76 2/182 18205
/proc/meminfo: memFree=1431748/32873844 swapFree=7632/7632
[pid=18198] ppid=18196 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18198/stat : 18198 (npSolver-pbo.sh) S 18196 18198 17372 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383905595 9367552 275 33554432000 4194304 5064252 140735575260384 140735575259296 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18198/statm: 2287 275 233 213 0 72 0
[pid=18199] ppid=18198 vsize=0 CPUtime=128.56 cores=1,3,5,7
/proc/18199/stat : 18199 (npSolver-pbo) R 18198 18198 17372 0 -1 4204036 179656 0 0 0 12087 769 0 0 20 0 1 0 383905595 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18199/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 128.56
Current children cumulated vsize (KiB) 9148
Child status: 0
Real time (s): 387.747
CPU time (s): 128.612
CPU user time (s): 120.872
CPU system time (s): 7.74082
CPU usage (%): 33.1692
Max. virtual memory (cumulated for all children) (KiB): 13490016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.872
system time used= 7.74082
maximum resident set size= 9293352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180030
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= 1735121
involuntary context switches= 223
runsolver used 0.661899 second user time and 2.01569 second system time
The end