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-3701137-1338058403/watcher-3701137-1338058403 -o /tmp/evaluation-result-3701137-1338058403/solver-3701137-1338058403 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701137-1338058403.opb 999875323 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: 1.97 2.00 1.99 2/179 11828
/proc/meminfo: memFree=28534384/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[startup+0.0340301 s]
/proc/loadavg: 1.97 2.00 1.99 2/179 11828
/proc/meminfo: memFree=28534384/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 1.97 2.00 1.99 2/179 11828
/proc/meminfo: memFree=28534384/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 1.97 2.00 1.99 2/179 11828
/proc/meminfo: memFree=28534384/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 1.97 2.00 1.99 2/179 11828
/proc/meminfo: memFree=28534384/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 11849
/proc/meminfo: memFree=28522400/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=0.17 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 1175 9798 0 0 3 1 11 2 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11848] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11848/stat : 11848 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271964873 9367552 267 33554432000 4194304 5064252 140733571399712 140733571398624 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11848/statm: 2287 267 226 213 0 72 0
[pid=11849] ppid=11848 vsize=10216 CPUtime=1.3 cores=0,2,4,6
/proc/11849/stat : 11849 (glucose) R 11848 11828 11113 0 -1 4202496 2413 0 0 0 130 0 0 0 20 0 1 0 271964873 10461184 1899 33554432000 4194304 5208918 140736607202832 140736607200984 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 2554 1899 102 248 0 2303 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32456
[startup+3.10034 s]
/proc/loadavg: 1.97 2.00 1.99 3/183 11849
/proc/meminfo: memFree=28521656/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=0.17 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 1175 9798 0 0 3 1 11 2 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11848] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11848/stat : 11848 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271964873 9367552 267 33554432000 4194304 5064252 140733571399712 140733571398624 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11848/statm: 2287 267 226 213 0 72 0
[pid=11849] ppid=11848 vsize=12144 CPUtime=2.9 cores=0,2,4,6
/proc/11849/stat : 11849 (glucose) R 11848 11828 11113 0 -1 4202496 3522 0 0 0 290 0 0 0 20 0 1 0 271964873 12435456 2478 33554432000 4194304 5208918 140736607202832 140736607200920 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11849/statm: 3036 2478 102 248 0 2785 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34384
[startup+6.30027 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11877
/proc/meminfo: memFree=28518684/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=5.62 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2782 36723 0 0 9 1 541 11 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 13092
Solver just ended. Dumping a history of the last processes samples
[startup+7.90035 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11884
/proc/meminfo: memFree=28518864/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=5.62 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2782 36723 0 0 9 1 541 11 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11883] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11883/stat : 11883 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271965420 9367552 267 33554432000 4194304 5064252 140734372632176 140734372631088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11883/statm: 2287 267 226 213 0 72 0
[pid=11884] ppid=11883 vsize=12176 CPUtime=2.23 cores=0,2,4,6
/proc/11884/stat : 11884 (glucose) R 11883 11828 11113 0 -1 4202496 3137 0 0 0 223 0 0 0 20 0 1 0 271965421 12468224 2398 33554432000 4194304 5208918 140735810096480 140735810094632 4229125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11884/statm: 3044 2398 103 248 0 2793 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 34416
[startup+9.50034 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11884
/proc/meminfo: memFree=28514896/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=5.62 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2782 36723 0 0 9 1 541 11 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11883] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11883/stat : 11883 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271965420 9367552 267 33554432000 4194304 5064252 140734372632176 140734372631088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11883/statm: 2287 267 226 213 0 72 0
[pid=11884] ppid=11883 vsize=13824 CPUtime=3.83 cores=0,2,4,6
/proc/11884/stat : 11884 (glucose) R 11883 11828 11113 0 -1 4202496 3748 0 0 0 383 0 0 0 20 0 1 0 271965421 14155776 2973 33554432000 4194304 5208918 140735810096480 140735810094344 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11884/statm: 3456 2973 103 248 0 3205 0
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (KiB) 36064
[startup+10.3003 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11884
/proc/meminfo: memFree=28514648/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=5.62 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2782 36723 0 0 9 1 541 11 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11883] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11883/stat : 11883 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271965420 9367552 267 33554432000 4194304 5064252 140734372632176 140734372631088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11883/statm: 2287 267 226 213 0 72 0
[pid=11884] ppid=11883 vsize=13824 CPUtime=4.63 cores=0,2,4,6
/proc/11884/stat : 11884 (glucose) R 11883 11828 11113 0 -1 4202496 3816 0 0 0 463 0 0 0 20 0 1 0 271965421 14155776 3041 33554432000 4194304 5208918 140735810096480 140735810094344 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11884/statm: 3456 3041 103 248 0 3205 0
Current children cumulated CPU time (s) 10.25
Current children cumulated vsize (KiB) 36064
[startup+10.7003 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11884
/proc/meminfo: memFree=28514648/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=5.62 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2782 36723 0 0 9 1 541 11 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056392064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
[pid=11883] ppid=11829 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11883/stat : 11883 (satsolver.sh) S 11829 11828 11113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271965420 9367552 267 33554432000 4194304 5064252 140734372632176 140734372631088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11883/statm: 2287 267 226 213 0 72 0
[pid=11884] ppid=11883 vsize=15500 CPUtime=5.03 cores=0,2,4,6
/proc/11884/stat : 11884 (glucose) R 11883 11828 11113 0 -1 4202496 4265 0 0 0 503 0 0 0 20 0 1 0 271965421 15872000 3444 33554432000 4194304 5208918 140735810096480 140735810094344 4213740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11884/statm: 3875 3444 103 248 0 3624 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 37740
[startup+10.8004 s]
/proc/loadavg: 1.98 2.00 1.99 3/183 11884
/proc/meminfo: memFree=28514648/32873844 swapFree=6080/6080
[pid=11828] ppid=11826 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11828/stat : 11828 (npSolver-pbo.sh) S 11826 11828 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271964855 9367552 274 33554432000 4194304 5064252 140734919896688 140734919895600 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11828/statm: 2287 274 233 213 0 72 0
[pid=11829] ppid=11828 vsize=3944 CPUtime=10.77 cores=0,2,4,6
/proc/11829/stat : 11829 (npSolver-pbo) S 11828 11828 11113 0 -1 4202496 2788 41594 0 0 9 1 1055 12 20 0 1 0 271964855 4038656 627 33554432000 4194304 5992684 140736056399744 140736056391552 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11829/statm: 986 627 178 440 0 542 0
Current children cumulated CPU time (s) 10.77
Current children cumulated vsize (KiB) 13092
Child status: 0
Real time (s): 10.8095
CPU time (s): 10.8054
CPU user time (s): 10.6524
CPU system time (s): 0.152976
CPU usage (%): 99.962
Max. virtual memory (cumulated for all children) (KiB): 37740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6524
system time used= 0.152976
maximum resident set size= 13780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 115
runsolver used 0.018997 second user time and 0.065989 second system time
The end