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-3750805-1339169667/watcher-3750805-1339169667 -o /tmp/evaluation-result-3750805-1339169667/solver-3750805-1339169667 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750805-1339169667.opb 1032424920 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: 5.12 3.79 2.73 3/180 19694
/proc/meminfo: memFree=21733056/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[startup+0.015862 s]
/proc/loadavg: 5.12 3.79 2.73 3/180 19694
/proc/meminfo: memFree=21733056/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100199 s]
/proc/loadavg: 5.12 3.79 2.73 3/180 19694
/proc/meminfo: memFree=21733056/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 5.12 3.79 2.73 3/180 19694
/proc/meminfo: memFree=21733056/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 5.12 3.79 2.73 3/180 19694
/proc/meminfo: memFree=21733056/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50018 s]
/proc/loadavg: 4.95 3.77 2.73 4/182 19696
/proc/meminfo: memFree=27413664/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=96460 CPUtime=1.48 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 24277 0 0 0 144 4 0 0 20 0 1 0 383092555 98775040 23706 33554432000 4194304 6004724 140735863287648 140735863283672 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 24115 23707 130 442 0 23669 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 105608
[startup+3.10019 s]
/proc/loadavg: 4.95 3.77 2.73 3/182 19697
/proc/meminfo: memFree=27345964/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=246000 CPUtime=3.09 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 59334 0 0 0 299 10 0 0 20 0 1 0 383092555 251904000 59782 33554432000 4194304 6004724 140735863287648 140735863283224 4968639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 61500 59789 130 442 0 61054 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 255148
[startup+6.3003 s]
/proc/loadavg: 4.95 3.77 2.73 3/182 19697
/proc/meminfo: memFree=26994960/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=604624 CPUtime=6.29 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 87267 0 0 0 611 18 0 0 20 0 1 0 383092555 619134976 138722 33554432000 4194304 6004724 140735863287648 140735863282600 4536193 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 151156 138722 154 442 0 150710 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 613772
[startup+12.7003 s]
/proc/loadavg: 4.50 3.72 2.73 3/182 19697
/proc/meminfo: memFree=26493852/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=1391056 CPUtime=12.68 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 88912 0 0 0 1231 37 0 0 20 0 1 0 383092555 1424441344 261090 33554432000 4194304 6004724 140735863287648 140735863282600 4582623 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 347764 261090 154 442 0 347318 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1400204
[startup+25.5003 s]
/proc/loadavg: 4.11 3.66 2.72 3/182 19697
/proc/meminfo: memFree=25431904/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=2439632 CPUtime=25.49 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 90421 0 0 0 2482 67 0 0 20 0 1 0 383092555 2498183168 509922 33554432000 4194304 6004724 140735863287648 140735863282248 4534749 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 609908 509922 154 442 0 609462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2448780
[startup+51.1003 s]
/proc/loadavg: 3.28 3.50 2.69 3/182 19697
/proc/meminfo: memFree=23356132/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=4536784 CPUtime=51.08 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 92982 0 0 0 4980 128 0 0 20 0 1 0 383092555 4645666816 1034722 33554432000 4194304 6004724 140735863287648 140735863282248 4534755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 1134196 1034722 154 442 0 1133750 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4545932
[startup+102.307 s]
/proc/loadavg: 2.55 3.27 2.66 3/181 19697
/proc/meminfo: memFree=19090208/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8731088 CPUtime=102.28 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) R 19694 19694 13014 0 -1 4202496 97620 0 0 0 9977 251 0 0 20 0 1 0 383092555 8940634112 2098146 33554432000 4194304 6004724 140735863287648 140735863282248 4581076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2182772 2098146 154 442 0 2182326 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8740236
[startup+162.301 s]
/proc/loadavg: 3.99 3.50 2.77 3/182 19698
/proc/meminfo: memFree=10058840/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=121.99 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 574 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 121.99
Current children cumulated vsize (KiB) 8805772
heavy processes:
%CPU=35 pid=19698 uid=0 cmd=
[startup+222.301 s]
/proc/loadavg: 4.42 3.71 2.88 2/182 19698
/proc/meminfo: memFree=6789352/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=123.29 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 704 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 123.29
Current children cumulated vsize (KiB) 8805772
heavy processes:
%CPU=21 pid=19698 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 19695 6 506 18446744073709551615
[startup+282.3 s]
/proc/loadavg: 4.79 3.94 3.01 2/182 19698
/proc/meminfo: memFree=3470340/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
heavy processes:
%CPU=17 pid=19698 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 19695 6 506 18446744073709551615
[startup+342.3 s]
/proc/loadavg: 4.92 4.13 3.14 2/183 19702
/proc/meminfo: memFree=3611808/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
heavy processes:
%CPU=12 pid=19698 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 19695 6 506 18446744073709551615
Solver just ended. Dumping a history of the last processes samples
[startup+359.4 s]
/proc/loadavg: 4.94 4.17 3.16 2/183 19702
/proc/meminfo: memFree=3573724/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+372.2 s]
/proc/loadavg: 4.95 4.21 3.19 2/183 19747
/proc/meminfo: memFree=3663024/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+378.6 s]
/proc/loadavg: 5.03 4.24 3.21 2/183 19747
/proc/meminfo: memFree=3668572/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+385.006 s]
/proc/loadavg: 5.03 4.26 3.22 2/183 19747
/proc/meminfo: memFree=3681168/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+388.2 s]
/proc/loadavg: 4.95 4.25 3.22 2/183 19747
/proc/meminfo: memFree=3671672/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+389 s]
/proc/loadavg: 4.95 4.25 3.22 2/183 19747
/proc/meminfo: memFree=3671672/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+389.8 s]
/proc/loadavg: 4.95 4.25 3.22 2/183 19747
/proc/meminfo: memFree=3667452/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+390.2 s]
/proc/loadavg: 4.95 4.25 3.22 2/183 19747
/proc/meminfo: memFree=3667452/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
[startup+390.3 s]
/proc/loadavg: 4.95 4.25 3.22 2/183 19747
/proc/meminfo: memFree=3667452/32873660 swapFree=7120/7120
[pid=19694] ppid=19692 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (npSolver-pbo.sh) S 19692 19694 13014 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 383092555 9367552 274 33554432000 4194304 5064252 140734254227280 140734254226192 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19694/statm: 2287 274 233 213 0 72 0
[pid=19695] ppid=19694 vsize=8796624 CPUtime=124.59 cores=1,3,5,7
/proc/19695/stat : 19695 (npSolver-pbo) S 19694 19694 13014 0 -1 4204032 98204 0 0 0 11625 834 0 0 20 0 1 0 383092555 9007742976 2182534 33554432000 4194304 6004724 140735863287648 140735863283320 5251733 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/19695/statm: 2199156 2182534 212 442 0 2198710 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 8805772
Child status: 0
Real time (s): 390.345
CPU time (s): 124.622
CPU user time (s): 116.253
CPU system time (s): 8.36873
CPU usage (%): 31.9261
Max. virtual memory (cumulated for all children) (KiB): 12934540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.253
system time used= 8.36873
maximum resident set size= 8730504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98577
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= 1822478
involuntary context switches= 179
runsolver used 0.647901 second user time and 1.65775 second system time
The end