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-3713532-1338185319/watcher-3713532-1338185319 -o /tmp/evaluation-result-3713532-1338185319/solver-3713532-1338185319 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713532-1338185319.wbo 448398472 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: 1.96 1.96 1.98 3/179 32360
/proc/meminfo: memFree=29074568/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[startup+0.0795151 s]
/proc/loadavg: 1.96 1.96 1.98 3/179 32360
/proc/meminfo: memFree=29074568/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 1.96 1.96 1.98 3/179 32360
/proc/meminfo: memFree=29074568/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 1.96 1.96 1.98 3/179 32360
/proc/meminfo: memFree=29074568/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70028 s]
/proc/loadavg: 1.96 1.96 1.98 3/179 32360
/proc/meminfo: memFree=29074568/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 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.96 1.96 1.98 3/183 32381
/proc/meminfo: memFree=29015984/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=19800 CPUtime=0.44 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 5348 14391 0 0 16 3 20 5 20 0 1 0 284659237 20275200 3936 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 4950 3936 166 439 0 4507 0
[pid=32380] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32380/stat : 32380 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284659284 9367552 265 33554432000 4194304 5064252 140735798944544 140735798943456 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32380/statm: 2287 265 226 213 0 72 0
[pid=32381] ppid=32380 vsize=45300 CPUtime=1.02 cores=1,3,5,7
/proc/32381/stat : 32381 (glucose) R 32380 32360 26029 0 -1 4202496 9213 0 0 0 101 1 0 0 20 0 1 0 284659284 46387200 9423 33554432000 4194304 5208918 140734986475184 140734986473592 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32381/statm: 11325 9423 95 248 0 11074 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 83396
[startup+3.10033 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 32381
/proc/meminfo: memFree=29015852/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=19800 CPUtime=0.44 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 5348 14391 0 0 16 3 20 5 20 0 1 0 284659237 20275200 3936 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 4950 3936 166 439 0 4507 0
[pid=32380] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32380/stat : 32380 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284659284 9367552 265 33554432000 4194304 5064252 140735798944544 140735798943456 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32380/statm: 2287 265 226 213 0 72 0
[pid=32381] ppid=32380 vsize=45436 CPUtime=2.62 cores=1,3,5,7
/proc/32381/stat : 32381 (glucose) R 32380 32360 26029 0 -1 4202496 9330 0 0 0 261 1 0 0 20 0 1 0 284659284 46526464 9539 33554432000 4194304 5208918 140734986475184 140734986473592 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32381/statm: 11359 9539 95 248 0 11108 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 83532
[startup+6.30027 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 32381
/proc/meminfo: memFree=29013296/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=5.98 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 5999 29206 0 0 18 3 560 17 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 16192
[startup+12.7003 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29060380/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=9.1 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6738 53353 0 0 18 4 863 25 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
[pid=32422] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32422/stat : 32422 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660150 9367552 267 33554432000 4194304 5064252 140735007400592 140735007399504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32422/statm: 2287 267 226 213 0 72 0
[pid=32423] ppid=32422 vsize=8728 CPUtime=3.56 cores=1,3,5,7
/proc/32423/stat : 32423 (glucose) R 32422 32360 26029 0 -1 4202496 2134 0 0 0 356 0 0 0 20 0 1 0 284660150 8937472 1587 33554432000 4194304 5208918 140737026344880 140737026342824 4212508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32423/statm: 2182 1587 102 248 0 1931 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 34068
[startup+25.5004 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29045928/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=9.1 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6738 53353 0 0 18 4 863 25 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
[pid=32422] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32422/stat : 32422 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660150 9367552 267 33554432000 4194304 5064252 140735007400592 140735007399504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32422/statm: 2287 267 226 213 0 72 0
[pid=32423] ppid=32422 vsize=20576 CPUtime=16.35 cores=1,3,5,7
/proc/32423/stat : 32423 (glucose) R 32422 32360 26029 0 -1 4202496 3956 0 0 0 1635 0 0 0 20 0 1 0 284660150 21069824 4572 33554432000 4194304 5208918 140737026344880 140737026342824 4229330 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32423/statm: 5144 4572 103 248 0 4893 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45916
Solver just ended. Dumping a history of the last processes samples
[startup+28.7003 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29044008/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=9.1 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6738 53353 0 0 18 4 863 25 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
[pid=32422] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32422/stat : 32422 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660150 9367552 267 33554432000 4194304 5064252 140735007400592 140735007399504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32422/statm: 2287 267 226 213 0 72 0
[pid=32423] ppid=32422 vsize=20576 CPUtime=19.55 cores=1,3,5,7
/proc/32423/stat : 32423 (glucose) R 32422 32360 26029 0 -1 4202496 4048 0 0 0 1955 0 0 0 20 0 1 0 284660150 21069824 4662 33554432000 4194304 5208918 140737026344880 140737026341256 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32423/statm: 5144 4662 103 248 0 4893 0
Current children cumulated CPU time (s) 28.65
Current children cumulated vsize (KiB) 45916
[startup+30.3003 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29044008/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=9.1 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6738 53353 0 0 18 4 863 25 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
[pid=32422] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32422/stat : 32422 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660150 9367552 267 33554432000 4194304 5064252 140735007400592 140735007399504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32422/statm: 2287 267 226 213 0 72 0
[pid=32423] ppid=32422 vsize=20576 CPUtime=21.15 cores=1,3,5,7
/proc/32423/stat : 32423 (glucose) R 32422 32360 26029 0 -1 4202496 4048 0 0 0 2115 0 0 0 20 0 1 0 284660150 21069824 4662 33554432000 4194304 5208918 140737026344880 140737026341256 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32423/statm: 5144 4662 103 248 0 4893 0
Current children cumulated CPU time (s) 30.25
Current children cumulated vsize (KiB) 45916
[startup+31.1003 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29044008/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=9.1 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6738 53353 0 0 18 4 863 25 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230545184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
[pid=32422] ppid=32361 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32422/stat : 32422 (satsolver.sh) S 32361 32360 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284660150 9367552 267 33554432000 4194304 5064252 140735007400592 140735007399504 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32422/statm: 2287 267 226 213 0 72 0
[pid=32423] ppid=32422 vsize=20576 CPUtime=21.95 cores=1,3,5,7
/proc/32423/stat : 32423 (glucose) R 32422 32360 26029 0 -1 4202496 4048 0 0 0 2195 0 0 0 20 0 1 0 284660150 21069824 4662 33554432000 4194304 5208918 140737026344880 140737026341256 4229244 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32423/statm: 5144 4662 103 248 0 4893 0
Current children cumulated CPU time (s) 31.05
Current children cumulated vsize (KiB) 45916
[startup+31.3025 s]
/proc/loadavg: 1.98 1.96 1.98 3/183 32423
/proc/meminfo: memFree=29044008/32873648 swapFree=7116/7116
[pid=32360] ppid=32358 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32360/stat : 32360 (npSolver-wbo.sh) S 32358 32360 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284659237 9367552 275 33554432000 4194304 5064252 140734521894112 140734521893024 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32360/statm: 2287 275 233 213 0 72 0
[pid=32361] ppid=32360 vsize=7044 CPUtime=31.26 cores=1,3,5,7
/proc/32361/stat : 32361 (npSolver-wbo) S 32360 32360 26029 0 -1 4202496 6745 58006 0 0 18 4 3078 26 20 0 1 0 284659237 7213056 1375 33554432000 4194304 5990268 140736230553744 140736230544672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32361/statm: 1761 1375 166 439 0 1318 0
Current children cumulated CPU time (s) 31.26
Current children cumulated vsize (KiB) 16192
Child status: 0
Real time (s): 31.3075
CPU time (s): 31.3002
CPU user time (s): 30.9813
CPU system time (s): 0.318951
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 85560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.9813
system time used= 0.318951
maximum resident set size= 40728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 451
involuntary context switches= 137
runsolver used 0.051992 second user time and 0.136979 second system time
The end