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-3700889-1338130350/watcher-3700889-1338130350 -o /tmp/evaluation-result-3700889-1338130350/solver-3700889-1338130350 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700889-1338130350.opb 2073956416 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.39 2.10 2.03 3/180 22119
/proc/meminfo: memFree=28105172/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[startup+0.0825719 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 22119
/proc/meminfo: memFree=28105172/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 22119
/proc/meminfo: memFree=28105172/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 22119
/proc/meminfo: memFree=28105172/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 2.39 2.10 2.03 3/180 22119
/proc/meminfo: memFree=28105172/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 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.39 2.10 2.03 3/182 22121
/proc/meminfo: memFree=28098276/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=13548 CPUtime=1.49 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) R 22119 22119 21157 0 -1 4202496 2842 0 0 0 149 0 0 0 20 0 1 0 279162437 13873152 2855 33554432000 4194304 5992684 140736736452992 140736736449112 4954995 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 3387 2855 146 440 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.10029 s]
/proc/loadavg: 2.39 2.10 2.03 3/182 22121
/proc/meminfo: memFree=28091368/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=49772 CPUtime=3.08 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) R 22119 22119 21157 0 -1 4202496 10283 0 0 0 307 1 0 0 20 0 1 0 279162437 50966528 11825 33554432000 4194304 5992684 140736736452992 140736736448728 4606747 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 12443 11825 159 440 0 11999 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58920
[startup+6.30033 s]
/proc/loadavg: 2.36 2.10 2.03 3/182 22121
/proc/meminfo: memFree=27835304/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=376388 CPUtime=6.28 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) R 22119 22119 21157 0 -1 4202496 32929 0 0 0 618 10 0 0 20 0 1 0 279162437 385421312 85962 33554432000 4194304 5992684 140736736452992 140736736447960 4571337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 94097 85962 167 440 0 93653 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 385536
[startup+12.7003 s]
/proc/loadavg: 2.33 2.10 2.03 3/184 22123
/proc/meminfo: memFree=26863076/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=638532 CPUtime=7.46 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4202496 34075 0 0 0 690 56 0 0 20 0 1 0 279162437 653856768 98300 33554432000 4194304 5992684 140736736452992 140736736447024 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 159633 98300 174 440 0 159189 0
[pid=22122] ppid=22120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22122/stat : 22122 (cp2_pre.sh) S 22120 22119 21157 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279163184 9367552 277 33554432000 4194304 5064252 140734974407392 140734974406096 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22122/statm: 2287 277 234 213 0 72 0
[pid=22123] ppid=22122 vsize=660188 CPUtime=5.21 cores=0,2,4,6
/proc/22123/stat : 22123 (coprocessor) R 22122 22119 21157 0 -1 4202496 19778 0 0 0 497 24 0 0 20 0 1 0 279163185 676032512 133495 33554432000 4194304 6586260 140736484644704 140736484640456 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/22123/statm: 165047 133495 158 584 0 164459 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1317016
[startup+25.5004 s]
/proc/loadavg: 2.26 2.09 2.03 3/183 22131
/proc/meminfo: memFree=26820216/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=638532 CPUtime=21.97 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4202496 34086 20682 0 0 690 56 1369 82 20 0 1 0 279162437 653856768 98300 33554432000 4194304 5992684 140736736452992 140736736448112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 159633 98300 174 440 0 159189 0
[pid=22128] ppid=22120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22128/stat : 22128 (satsolver.sh) S 22120 22119 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279164653 9367552 267 33554432000 4194304 5064252 140737047427280 140737047426192 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22128/statm: 2287 267 226 213 0 72 0
[pid=22129] ppid=22128 vsize=784904 CPUtime=3.33 cores=0,2,4,6
/proc/22129/stat : 22129 (glucose) R 22128 22119 21157 0 -1 4202496 104354 0 0 0 303 30 0 0 20 0 1 0 279164653 803741696 185006 33554432000 4194304 5208918 140733342734816 140733342732664 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22129/statm: 196226 185006 103 248 0 195975 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 1441732
Solver just ended. Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 2.26 2.09 2.03 3/183 22131
/proc/meminfo: memFree=26820216/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=638532 CPUtime=21.97 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4202496 34086 20682 0 0 690 56 1369 82 20 0 1 0 279162437 653856768 98300 33554432000 4194304 5992684 140736736452992 140736736448112 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22120/statm: 159633 98300 174 440 0 159189 0
[pid=22128] ppid=22120 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22128/stat : 22128 (satsolver.sh) S 22120 22119 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279164653 9367552 267 33554432000 4194304 5064252 140737047427280 140737047426192 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22128/statm: 2287 267 226 213 0 72 0
[pid=22129] ppid=22128 vsize=785036 CPUtime=3.43 cores=0,2,4,6
/proc/22129/stat : 22129 (glucose) R 22128 22119 21157 0 -1 4202496 104385 0 0 0 313 30 0 0 20 0 1 0 279164653 803876864 185037 33554432000 4194304 5208918 140733342734816 140733342732664 4228975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22129/statm: 196259 185037 103 248 0 196008 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 1441864
[startup+38.4003 s]
/proc/loadavg: 2.45 2.14 2.04 1/182 22136
/proc/meminfo: memFree=26522192/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
[startup+44.8003 s]
/proc/loadavg: 2.53 2.17 2.05 1/182 22136
/proc/meminfo: memFree=26544212/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
[startup+46.4003 s]
/proc/loadavg: 2.53 2.17 2.05 1/182 22136
/proc/meminfo: memFree=26544260/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
[startup+48.0003 s]
/proc/loadavg: 2.53 2.17 2.05 1/182 22136
/proc/meminfo: memFree=26544260/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
[startup+48.4003 s]
/proc/loadavg: 2.53 2.17 2.05 1/182 22136
/proc/meminfo: memFree=26544632/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
[startup+48.6003 s]
/proc/loadavg: 2.53 2.17 2.05 1/182 22136
/proc/meminfo: memFree=26544632/32873648 swapFree=7116/7116
[pid=22119] ppid=22117 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22119/stat : 22119 (npSolver-pbo.sh) S 22117 22119 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279162437 9367552 275 33554432000 4194304 5064252 140735696007088 140735696006000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22119/statm: 2287 275 233 213 0 72 0
[pid=22120] ppid=22119 vsize=658112 CPUtime=32.48 cores=0,2,4,6
/proc/22120/stat : 22120 (npSolver-pbo) S 22119 22119 21157 0 -1 4204032 45454 152063 0 0 797 89 2232 130 20 0 1 0 279162437 673906688 103206 33554432000 4194304 5992684 140736736452992 140736736447112 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/22120/statm: 164528 103206 192 440 0 164084 0
Current children cumulated CPU time (s) 32.48
Current children cumulated vsize (KiB) 667260
Child status: 0
Real time (s): 48.6382
CPU time (s): 32.5161
CPU user time (s): 30.3084
CPU system time (s): 2.20766
CPU usage (%): 66.853
Max. virtual memory (cumulated for all children) (KiB): 1506732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3084
system time used= 2.20766
maximum resident set size= 812888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1173504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163504
involuntary context switches= 82
runsolver used 0.081987 second user time and 0.218966 second system time
The end