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-3714372-1338247372/watcher-3714372-1338247372 -o /tmp/evaluation-result-3714372-1338247372/solver-3714372-1338247372 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714372-1338247372.wbo 693082094 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.98 2.03 2.01 2/177 9078
/proc/meminfo: memFree=21206208/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[startup+0.0819951 s]
/proc/loadavg: 1.98 2.03 2.01 2/177 9078
/proc/meminfo: memFree=21206208/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100323 s]
/proc/loadavg: 1.98 2.03 2.01 2/177 9078
/proc/meminfo: memFree=21206208/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 1.98 2.03 2.01 2/177 9078
/proc/meminfo: memFree=21206208/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 1.98 2.03 2.01 2/177 9078
/proc/meminfo: memFree=21206208/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.98 2.03 2.01 3/181 9092
/proc/meminfo: memFree=21180512/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23040 CPUtime=1.32 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 4362 0 0 0 131 1 0 0 20 0 1 0 290862710 23592960 4683 33554432000 4194304 5208918 140733829329072 140733829327480 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5760 4683 95 248 0 5509 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 48788
[startup+3.10033 s]
/proc/loadavg: 1.98 2.03 2.01 3/181 9092
/proc/meminfo: memFree=21180140/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23040 CPUtime=2.92 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 4362 0 0 0 291 1 0 0 20 0 1 0 290862710 23592960 4683 33554432000 4194304 5208918 140733829329072 140733829327480 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5760 4683 95 248 0 5509 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 48788
[startup+6.30034 s]
/proc/loadavg: 1.98 2.03 2.01 3/181 9092
/proc/meminfo: memFree=21179520/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23040 CPUtime=6.12 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 4362 0 0 0 611 1 0 0 20 0 1 0 290862710 23592960 4683 33554432000 4194304 5208918 140733829329072 140733829327480 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5760 4683 95 248 0 5509 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48788
[startup+12.7003 s]
/proc/loadavg: 1.98 2.03 2.01 3/181 9092
/proc/meminfo: memFree=21179476/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23172 CPUtime=12.52 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 4402 0 0 0 1251 1 0 0 20 0 1 0 290862710 23728128 4723 33554432000 4194304 5208918 140733829329072 140733829326920 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5793 4723 95 248 0 5542 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 48920
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 9092
/proc/meminfo: memFree=21179800/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23304 CPUtime=25.32 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 5213 0 0 0 2531 1 0 0 20 0 1 0 290862710 23863296 4728 33554432000 4194304 5208918 140733829329072 140733829327160 4211572 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5826 4728 96 248 0 5575 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49052
Solver just ended. Dumping a history of the last processes samples
[startup+25.9003 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 9092
/proc/meminfo: memFree=21179800/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=0.15 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2446 6900 0 0 5 2 6 2 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342944 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
[pid=9091] ppid=9079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9091/stat : 9091 (satsolver.sh) S 9079 9078 6990 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290862710 9367552 267 33554432000 4194304 5064252 140734427105552 140734427104464 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9091/statm: 2287 267 226 213 0 72 0
[pid=9092] ppid=9091 vsize=23304 CPUtime=25.72 cores=1,3,5,7
/proc/9092/stat : 9092 (glucose) R 9091 9078 6990 0 -1 4202496 5213 0 0 0 2571 1 0 0 20 0 1 0 290862710 23863296 4728 33554432000 4194304 5208918 140733829329072 140733829327160 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9092/statm: 5826 4728 96 248 0 5575 0
Current children cumulated CPU time (s) 25.87
Current children cumulated vsize (KiB) 49052
[startup+26.1003 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 9092
/proc/meminfo: memFree=21179800/32873852 swapFree=6848/6848
[pid=9078] ppid=9076 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9078/stat : 9078 (npSolver-wbo-I.) S 9076 9078 6990 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 290862693 9367552 274 33554432000 4194304 5064252 140736006480704 140736006479616 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9078/statm: 2287 274 233 213 0 72 0
[pid=9079] ppid=9078 vsize=7452 CPUtime=26.01 cores=1,3,5,7
/proc/9079/stat : 9079 (npSolver-wbo) S 9078 9078 6990 0 -1 4202496 2453 12743 0 0 5 2 2590 4 20 0 1 0 290862693 7630848 1214 33554432000 4194304 5990268 140735444351504 140735444342432 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9079/statm: 1863 1214 158 439 0 1420 0
Current children cumulated CPU time (s) 26.01
Current children cumulated vsize (KiB) 16600
Child status: 0
Real time (s): 26.1484
CPU time (s): 26.146
CPU user time (s): 26.031
CPU system time (s): 0.114982
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 56128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.031
system time used= 0.114982
maximum resident set size= 23972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128
involuntary context switches= 54
runsolver used 0.074988 second user time and 0.131979 second system time
The end