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-3713680-1338246920/watcher-3713680-1338246920 -o /tmp/evaluation-result-3713680-1338246920/solver-3713680-1338246920 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713680-1338246920.wbo 781560457 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.00 2.01 2.00 3/179 20888
/proc/meminfo: memFree=28128496/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (runsolver) D 20886 20888 18511 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 290817394 12095488 52 33554432000 4194304 5436572 140733476138272 140733476134568 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/20888/statm: 2953 52 31 304 0 2645 0
[startup+0.043984 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20888
/proc/meminfo: memFree=28128496/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100166 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20888
/proc/meminfo: memFree=28128496/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300102 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20888
/proc/meminfo: memFree=28128496/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700097 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20888
/proc/meminfo: memFree=28128496/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20902
/proc/meminfo: memFree=28124952/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=0.01 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 360 4624 0 0 0 0 0 1 20 0 1 0 290817395 2523136 253 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20890/statm: 616 253 159 439 0 173 0
[pid=20901] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20901/stat : 20901 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290817397 9367552 266 33554432000 4194304 5064252 140735031757520 140735031756432 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20901/statm: 2287 266 226 213 0 72 0
[pid=20902] ppid=20901 vsize=6588 CPUtime=1.46 cores=0,2,4,6
/proc/20902/stat : 20902 (glucose) R 20901 20888 18511 0 -1 4202496 1435 0 0 0 146 0 0 0 20 0 1 0 290817397 6746112 1061 33554432000 4194304 5208918 140735607913152 140735607911096 4205185 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20902/statm: 1647 1061 96 248 0 1396 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27348
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20902
/proc/meminfo: memFree=28123588/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=0.01 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 360 4624 0 0 0 0 0 1 20 0 1 0 290817395 2523136 253 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20890/statm: 616 253 159 439 0 173 0
[pid=20901] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20901/stat : 20901 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290817397 9367552 266 33554432000 4194304 5064252 140735031757520 140735031756432 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20901/statm: 2287 266 226 213 0 72 0
[pid=20902] ppid=20901 vsize=8688 CPUtime=3.06 cores=0,2,4,6
/proc/20902/stat : 20902 (glucose) R 20901 20888 18511 0 -1 4202496 2119 0 0 0 306 0 0 0 20 0 1 0 290817397 8896512 1684 33554432000 4194304 5208918 140735607913152 140735607911016 4229311 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20902/statm: 2172 1684 96 248 0 1921 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29448
[startup+6.3002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20902
/proc/meminfo: memFree=28120488/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=0.01 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 360 4624 0 0 0 0 0 1 20 0 1 0 290817395 2523136 253 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20890/statm: 616 253 159 439 0 173 0
[pid=20901] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20901/stat : 20901 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290817397 9367552 266 33554432000 4194304 5064252 140735031757520 140735031756432 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20901/statm: 2287 266 226 213 0 72 0
[pid=20902] ppid=20901 vsize=9536 CPUtime=6.26 cores=0,2,4,6
/proc/20902/stat : 20902 (glucose) R 20901 20888 18511 0 -1 4202496 2287 0 0 0 626 0 0 0 20 0 1 0 290817397 9764864 1840 33554432000 4194304 5208918 140735607913152 140735607911016 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20902/statm: 2384 1840 96 248 0 2133 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30296
Solver just ended. Dumping a history of the last processes samples
[startup+9.50033 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20930
/proc/meminfo: memFree=28123720/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=7.53 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 886 19909 0 0 1 0 747 5 20 0 1 0 290817395 2523136 255 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20890/statm: 616 255 159 439 0 173 0
[pid=20929] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20929/stat : 20929 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290818149 9367552 267 33554432000 4194304 5064252 140735439627728 140735439626640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20929/statm: 2287 267 226 213 0 72 0
[pid=20930] ppid=20929 vsize=6440 CPUtime=1.94 cores=0,2,4,6
/proc/20930/stat : 20930 (glucose) R 20929 20888 18511 0 -1 4202496 1567 0 0 0 194 0 0 0 20 0 1 0 290818149 6594560 1165 33554432000 4194304 5208918 140736731578000 140736731575864 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20930/statm: 1610 1165 95 248 0 1359 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 27200
[startup+10.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20930
/proc/meminfo: memFree=28122728/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=7.53 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 886 19909 0 0 1 0 747 5 20 0 1 0 290817395 2523136 255 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20890/statm: 616 255 159 439 0 173 0
[pid=20929] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20929/stat : 20929 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290818149 9367552 267 33554432000 4194304 5064252 140735439627728 140735439626640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20929/statm: 2287 267 226 213 0 72 0
[pid=20930] ppid=20929 vsize=6912 CPUtime=2.74 cores=0,2,4,6
/proc/20930/stat : 20930 (glucose) R 20929 20888 18511 0 -1 4202496 1695 0 0 0 274 0 0 0 20 0 1 0 290818149 7077888 1283 33554432000 4194304 5208918 140736731578000 140736731575864 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20930/statm: 1728 1283 95 248 0 1477 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 27672
[startup+11.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20930
/proc/meminfo: memFree=28121116/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=7.53 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 886 19909 0 0 1 0 747 5 20 0 1 0 290817395 2523136 255 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20890/statm: 616 255 159 439 0 173 0
[pid=20929] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20929/stat : 20929 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290818149 9367552 267 33554432000 4194304 5064252 140735439627728 140735439626640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20929/statm: 2287 267 226 213 0 72 0
[pid=20930] ppid=20929 vsize=8816 CPUtime=3.54 cores=0,2,4,6
/proc/20930/stat : 20930 (glucose) R 20929 20888 18511 0 -1 4202496 1938 0 0 0 354 0 0 0 20 0 1 0 290818149 9027584 1524 33554432000 4194304 5208918 140736731578000 140736731575944 4229145 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20930/statm: 2204 1524 95 248 0 1953 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 29576
[startup+11.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20930
/proc/meminfo: memFree=28121116/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=7.53 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 886 19909 0 0 1 0 747 5 20 0 1 0 290817395 2523136 255 33554432000 4194304 5990268 140734021975744 140734021967184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20890/statm: 616 255 159 439 0 173 0
[pid=20929] ppid=20890 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20929/stat : 20929 (satsolver.sh) S 20890 20888 18511 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 290818149 9367552 267 33554432000 4194304 5064252 140735439627728 140735439626640 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20929/statm: 2287 267 226 213 0 72 0
[pid=20930] ppid=20929 vsize=8816 CPUtime=3.94 cores=0,2,4,6
/proc/20930/stat : 20930 (glucose) R 20929 20888 18511 0 -1 4202496 1946 0 0 0 394 0 0 0 20 0 1 0 290818149 9027584 1532 33554432000 4194304 5208918 140736731578000 140736731575944 4212816 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20930/statm: 2204 1532 95 248 0 1953 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 29576
[startup+11.6002 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20930
/proc/meminfo: memFree=28121116/32873648 swapFree=6864/6864
[pid=20888] ppid=20886 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20888/stat : 20888 (npSolver-wbo.sh) S 20886 20888 18511 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290817394 9367552 275 33554432000 4194304 5064252 140736368051952 140736368050864 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20888/statm: 2287 275 233 213 0 72 0
[pid=20890] ppid=20888 vsize=2464 CPUtime=11.58 cores=0,2,4,6
/proc/20890/stat : 20890 (npSolver-wbo) S 20888 20888 18511 0 -1 4202496 893 22498 0 0 1 0 1151 6 20 0 1 0 290817395 2523136 255 33554432000 4194304 5990268 140734021975744 140734021966672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20890/statm: 616 255 159 439 0 173 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (KiB) 11612
Child status: 0
Real time (s): 11.6129
CPU time (s): 11.6082
CPU user time (s): 11.5312
CPU system time (s): 0.076988
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 30296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5312
system time used= 0.076988
maximum resident set size= 7376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 87
runsolver used 0.022996 second user time and 0.048992 second system time
The end