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-3713521-1338185059/watcher-3713521-1338185059 -o /tmp/evaluation-result-3713521-1338185059/solver-3713521-1338185059 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713521-1338185059.wbo 1453037178 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.94 1.98 1.99 3/179 31582
/proc/meminfo: memFree=29080444/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[startup+0.00969189 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 31582
/proc/meminfo: memFree=29080444/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100254 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 31582
/proc/meminfo: memFree=29080444/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 31582
/proc/meminfo: memFree=29080444/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 31582
/proc/meminfo: memFree=29080444/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31596
/proc/meminfo: memFree=29051504/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=11812 CPUtime=0.21 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 2839 5844 0 0 10 2 7 2 20 0 1 0 284633260 12095488 1894 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 2953 1894 166 439 0 2510 0
[pid=31595] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31595/stat : 31595 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284633283 9367552 266 33554432000 4194304 5064252 140736073015744 140736073014656 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31595/statm: 2287 266 226 213 0 72 0
[pid=31596] ppid=31595 vsize=19320 CPUtime=1.26 cores=1,3,5,7
/proc/31596/stat : 31596 (glucose) R 31595 31582 26029 0 -1 4202496 4620 0 0 0 126 0 0 0 20 0 1 0 284633283 19783680 4170 33554432000 4194304 5208918 140735413576976 140735413574872 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31596/statm: 4830 4170 104 248 0 4579 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49428
[startup+3.10039 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31596
/proc/meminfo: memFree=29050868/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=11812 CPUtime=0.21 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 2839 5844 0 0 10 2 7 2 20 0 1 0 284633260 12095488 1894 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 2953 1894 166 439 0 2510 0
[pid=31595] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31595/stat : 31595 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284633283 9367552 266 33554432000 4194304 5064252 140736073015744 140736073014656 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31595/statm: 2287 266 226 213 0 72 0
[pid=31596] ppid=31595 vsize=19452 CPUtime=2.85 cores=1,3,5,7
/proc/31596/stat : 31596 (glucose) R 31595 31582 26029 0 -1 4202496 4706 0 0 0 285 0 0 0 20 0 1 0 284633283 19918848 4255 33554432000 4194304 5208918 140735413576976 140735413574824 4229843 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31596/statm: 4863 4255 104 248 0 4612 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49560
[startup+6.30033 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 31596
/proc/meminfo: memFree=29047236/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=19888 CPUtime=6.13 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 4747 14212 0 0 17 2 589 5 20 0 1 0 284633260 20365312 3650 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 4972 3650 166 439 0 4529 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 29036
[startup+12.7002 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 31613
/proc/meminfo: memFree=29045944/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=12.64 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8070 50544 0 0 28 5 1201 30 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 16240
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 31659
/proc/meminfo: memFree=29065296/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=16.43 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8498 67752 0 0 29 5 1575 34 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
[pid=31658] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284634906 9367552 267 33554432000 4194304 5064252 140737084821408 140737084820320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31658/statm: 2287 267 226 213 0 72 0
[pid=31659] ppid=31658 vsize=8724 CPUtime=2.63 cores=1,3,5,7
/proc/31659/stat : 31659 (glucose) R 31658 31582 26029 0 -1 4202496 2063 0 0 0 263 0 0 0 20 0 1 0 284634906 8933376 1632 33554432000 4194304 5208918 140734692729936 140734692727880 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31659/statm: 2181 1632 103 248 0 1930 0
Current children cumulated CPU time (s) 19.06
Current children cumulated vsize (KiB) 34112
[startup+22.3003 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 31659
/proc/meminfo: memFree=29058484/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=16.43 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8498 67752 0 0 29 5 1575 34 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
[pid=31658] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284634906 9367552 267 33554432000 4194304 5064252 140737084821408 140737084820320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31658/statm: 2287 267 226 213 0 72 0
[pid=31659] ppid=31658 vsize=16760 CPUtime=5.83 cores=1,3,5,7
/proc/31659/stat : 31659 (glucose) R 31658 31582 26029 0 -1 4202496 2625 0 0 0 583 0 0 0 20 0 1 0 284634906 17162240 3196 33554432000 4194304 5208918 140734692729936 140734692727880 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31659/statm: 4190 3196 103 248 0 3939 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 42148
[startup+23.9003 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 31659
/proc/meminfo: memFree=29056328/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=16.43 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8498 67752 0 0 29 5 1575 34 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
[pid=31658] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284634906 9367552 267 33554432000 4194304 5064252 140737084821408 140737084820320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31658/statm: 2287 267 226 213 0 72 0
[pid=31659] ppid=31658 vsize=16760 CPUtime=7.43 cores=1,3,5,7
/proc/31659/stat : 31659 (glucose) R 31658 31582 26029 0 -1 4202496 2625 0 0 0 743 0 0 0 20 0 1 0 284634906 17162240 3196 33554432000 4194304 5208918 140734692729936 140734692727880 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31659/statm: 4190 3196 103 248 0 3939 0
Current children cumulated CPU time (s) 23.86
Current children cumulated vsize (KiB) 42148
[startup+24.3004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 31659
/proc/meminfo: memFree=29056328/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=16.43 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8498 67752 0 0 29 5 1575 34 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
[pid=31658] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284634906 9367552 267 33554432000 4194304 5064252 140737084821408 140737084820320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31658/statm: 2287 267 226 213 0 72 0
[pid=31659] ppid=31658 vsize=16760 CPUtime=7.83 cores=1,3,5,7
/proc/31659/stat : 31659 (glucose) R 31658 31582 26029 0 -1 4202496 2625 0 0 0 783 0 0 0 20 0 1 0 284634906 17162240 3196 33554432000 4194304 5208918 140734692729936 140734692727880 4228930 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31659/statm: 4190 3196 103 248 0 3939 0
Current children cumulated CPU time (s) 24.26
Current children cumulated vsize (KiB) 42148
[startup+24.7004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 31659
/proc/meminfo: memFree=29056328/32873648 swapFree=7116/7116
[pid=31582] ppid=31580 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31582/stat : 31582 (npSolver-wbo.sh) S 31580 31582 26029 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284633260 9367552 275 33554432000 4194304 5064252 140737248879104 140737248878016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31582/statm: 2287 275 233 213 0 72 0
[pid=31583] ppid=31582 vsize=7092 CPUtime=16.43 cores=1,3,5,7
/proc/31583/stat : 31583 (npSolver-wbo) S 31582 31582 26029 0 -1 4202496 8498 67752 0 0 29 5 1575 34 20 0 1 0 284633260 7262208 1258 33554432000 4194304 5990268 140734542281184 140734542272624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31583/statm: 1773 1258 166 439 0 1330 0
[pid=31658] ppid=31583 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31658/stat : 31658 (satsolver.sh) S 31583 31582 26029 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284634906 9367552 267 33554432000 4194304 5064252 140737084821408 140737084820320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31658/statm: 2287 267 226 213 0 72 0
[pid=31659] ppid=31658 vsize=16760 CPUtime=8.23 cores=1,3,5,7
/proc/31659/stat : 31659 (glucose) R 31658 31582 26029 0 -1 4202496 2625 0 0 0 823 0 0 0 20 0 1 0 284634906 17162240 3196 33554432000 4194304 5208918 140734692729936 140734692727880 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31659/statm: 4190 3196 103 248 0 3939 0
Current children cumulated CPU time (s) 24.66
Current children cumulated vsize (KiB) 42148
Child status: 0
Real time (s): 24.7645
CPU time (s): 24.7402
CPU user time (s): 24.3313
CPU system time (s): 0.408937
CPU usage (%): 99.9021
Max. virtual memory (cumulated for all children) (KiB): 94032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.3313
system time used= 0.408937
maximum resident set size= 50636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 43824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 618
involuntary context switches= 155
runsolver used 0.041993 second user time and 0.154976 second system time
The end