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-3754509-1339195371/watcher-3754509-1339195371 -o /tmp/evaluation-result-3754509-1339195371/solver-3754509-1339195371 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754509-1339195371.wbo 1951908331 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: 2.02 2.01 2.00 3/179 20722
/proc/meminfo: memFree=28112568/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[startup+0.0382831 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20722
/proc/meminfo: memFree=28112568/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20722
/proc/meminfo: memFree=28112568/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20722
/proc/meminfo: memFree=28112568/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700237 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20722
/proc/meminfo: memFree=28112568/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/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: 2.02 2.01 2.00 3/183 20736
/proc/meminfo: memFree=28068712/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=0.15 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 3653 5400 0 0 11 2 1 1 20 0 1 0 385661657 20426752 4531 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4531 179 443 0 4540 0
[pid=20735] ppid=20723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20735/stat : 20735 (satsolver.sh) S 20723 20722 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385661674 9367552 267 33554432000 4194304 5064252 140735169882288 140735169881200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20735/statm: 2287 267 226 213 0 72 0
[pid=20736] ppid=20735 vsize=22784 CPUtime=1.32 cores=1,3,5,7
/proc/20736/stat : 20736 (glucose) R 20735 20722 16567 0 -1 4202496 5333 0 0 0 131 1 0 0 20 0 1 0 385661674 23330816 5009 33554432000 4194304 5208918 140735235123184 140735235121144 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20736/statm: 5696 5009 104 248 0 5445 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61028
[startup+3.10038 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20736
/proc/meminfo: memFree=28067704/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=0.15 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 3653 5400 0 0 11 2 1 1 20 0 1 0 385661657 20426752 4531 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4531 179 443 0 4540 0
[pid=20735] ppid=20723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20735/stat : 20735 (satsolver.sh) S 20723 20722 16567 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385661674 9367552 267 33554432000 4194304 5064252 140735169882288 140735169881200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20735/statm: 2287 267 226 213 0 72 0
[pid=20736] ppid=20735 vsize=26204 CPUtime=2.92 cores=1,3,5,7
/proc/20736/stat : 20736 (glucose) R 20735 20722 16567 0 -1 4202496 5704 0 0 0 291 1 0 0 20 0 1 0 385661674 26832896 5372 33554432000 4194304 5208918 140735235123184 140735235121144 4211628 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20736/statm: 6551 5372 105 248 0 6300 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 64448
[startup+6.30028 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20736
/proc/meminfo: memFree=28062984/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=6.27 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) R 20722 20722 16567 0 -1 4202496 5453 15079 0 0 17 2 602 6 20 0 1 0 385661657 20426752 4531 33554432000 4194304 6006132 140737382888896 140737382880880 5056705 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4531 179 443 0 4540 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29096
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20750
/proc/meminfo: memFree=28071304/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=11.19 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 8092 24848 0 0 29 4 1074 12 20 0 1 0 385661657 20426752 4532 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4532 179 443 0 4540 0
[pid=20749] ppid=20723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20749/stat : 20749 (satsolver.sh) S 20723 20722 16567 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662778 9367552 267 33554432000 4194304 5064252 140735553329456 140735553328368 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20749/statm: 2287 267 226 213 0 72 0
[pid=20750] ppid=20749 vsize=22332 CPUtime=1.47 cores=1,3,5,7
/proc/20750/stat : 20750 (glucose) R 20749 20722 16567 0 -1 4202496 3954 0 0 0 147 0 0 0 20 0 1 0 385662779 22867968 4597 33554432000 4194304 5208918 140733962040752 140733962038424 4211605 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20750/statm: 5583 4597 104 248 0 5332 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 60576
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20750
/proc/meminfo: memFree=28062844/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=15.51 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 9798 33694 0 0 33 5 1496 17 20 0 1 0 385661657 20426752 4532 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4532 179 443 0 4540 0
Current children cumulated CPU time (s) 15.51
Current children cumulated vsize (KiB) 29096
[startup+16.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20764
/proc/meminfo: memFree=28087668/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=16.68 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 12996 59793 0 0 41 6 1595 26 20 0 1 0 385661657 20426752 4533 33554432000 4194304 6006132 140737382888896 140737382879792 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4533 180 443 0 4540 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 29096
[startup+17.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20764
/proc/meminfo: memFree=28087668/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=17.05 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 15955 77773 0 0 47 7 1621 30 20 0 1 0 385661657 20426752 4533 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4533 180 443 0 4540 0
Current children cumulated CPU time (s) 17.05
Current children cumulated vsize (KiB) 29096
[startup+17.3003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20764
/proc/meminfo: memFree=28087668/32873844 swapFree=7900/7900
[pid=20722] ppid=20720 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20722/stat : 20722 (npSolver-wbo-I.) S 20720 20722 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385661657 9367552 275 33554432000 4194304 5064252 140735640381312 140735640380224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20722/statm: 2287 275 233 213 0 72 0
[pid=20723] ppid=20722 vsize=19948 CPUtime=17.2 cores=1,3,5,7
/proc/20723/stat : 20723 (npSolver-wbo) S 20722 20722 16567 0 -1 4202496 16825 82216 0 0 49 7 1633 31 20 0 1 0 385661657 20426752 4533 33554432000 4194304 6006132 140737382888896 140737382880304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20723/statm: 4987 4533 180 443 0 4540 0
Current children cumulated CPU time (s) 17.2
Current children cumulated vsize (KiB) 29096
Child status: 0
Real time (s): 17.3418
CPU time (s): 17.3364
CPU user time (s): 16.9164
CPU system time (s): 0.419936
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 69400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9164
system time used= 0.419936
maximum resident set size= 29640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104640
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 369
involuntary context switches= 176
runsolver used 0.031995 second user time and 0.124981 second system time
The end