Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (MO) | 43.7264 | 44.0985 |
Name | /PURE-SAT/SAT09/APPLICATIONS/ bioinfo/q_query_2_L324_coli.opb |
MD5SUM | 68f429eccd802e443e87ec1c26683838 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 14.6678 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 617854 |
Total number of constraints | 2745225 |
Number of constraints which are clauses | 2745225 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
41.56/41.62 c SCIP version 1.1.0.7 41.56/41.62 c LP-Solver Clp 1.8.2 41.56/41.62 c user parameter file <scip.set> not found - using default parameters 41.56/41.62 c read problem <HOME/instance-1885598-1245267857.opb> 41.56/41.62 c original problem has 617854 variables (617854 bin, 0 int, 0 impl, 0 cont) and 2745225 constraints 43.42/43.80 c [src/blockmemshell/memory.c:854] ERROR: Insufficient memory for allocation of 1048576 bytes 43.42/43.80 c [src/scip/cons_linear.c:688] ERROR: Insufficient memory for new chunk 43.42/43.80 c [src/scip/cons_linear.c:688] ERROR: Error <-1> in function call 43.42/43.80 c [src/scip/cons_linear.c:8001] ERROR: Error <-1> in function call 43.42/43.80 c [src/scip/cons.c:4638] ERROR: Error <-1> in function call 43.42/43.80 c [src/scip/prob.c:385] ERROR: Error <-1> in function call 43.42/43.80 c [src/scip/scip.c:4239] ERROR: Error <-1> in function call 43.42/43.80 c [src/scip/scip.c:5064] ERROR: Error <-1> in function call 43.42/43.80 c [src/cmain.c:646] ERROR: Error <-1> in function call 43.42/43.80 c [src/cmain.c:1137] ERROR: Error <-1> in function call 43.42/43.80 c [src/cmain.c:1217] ERROR: Error <-1> in function call 43.42/43.80 c SCIP Error (-1): c insufficient memory errorc 43.42/43.80 c No objective function, only one solution is needed. 43.42/43.80 c start presolving problem 43.42/43.80 c Time complete: 43.42.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1885598-1245267857/watcher-1885598-1245267857 -o /tmp/evaluation-result-1885598-1245267857/solver-1885598-1245267857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885598-1245267857.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/64 6877 /proc/meminfo: memFree=1689600/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=7616 CPUtime=0 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 664 0 0 0 0 0 0 0 18 0 1 0 194386297 7798784 648 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 1904 659 353 1256 0 643 0 [startup+0.056134 s] /proc/loadavg: 1.00 1.00 0.96 3/64 6877 /proc/meminfo: memFree=1689600/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=12924 CPUtime=0.05 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 2221 0 0 0 4 1 0 0 18 0 1 0 194386297 13234176 2205 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 3231 2205 376 1256 0 1970 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12924 [startup+0.101138 s] /proc/loadavg: 1.00 1.00 0.96 3/64 6877 /proc/meminfo: memFree=1689600/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=16068 CPUtime=0.09 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 2975 0 0 0 8 1 0 0 18 0 1 0 194386297 16453632 2959 1992294400 4194304 9342243 548682068736 18446744073709551615 8193808 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 4017 2959 376 1256 0 2756 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16068 [startup+0.301158 s] /proc/loadavg: 1.00 1.00 0.96 3/64 6877 /proc/meminfo: memFree=1689600/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=25976 CPUtime=0.29 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 5474 0 0 0 27 2 0 0 19 0 1 0 194386297 26599424 5458 1992294400 4194304 9342243 548682068736 18446744073709551615 8235789 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 6494 5458 376 1256 0 5233 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25976 [startup+0.701201 s] /proc/loadavg: 1.00 1.00 0.96 3/64 6877 /proc/meminfo: memFree=1689600/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=40720 CPUtime=0.69 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 9161 0 0 0 65 4 0 0 23 0 1 0 194386297 41697280 9145 1992294400 4194304 9342243 548682068736 18446744073709551615 7635765 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 10180 9145 376 1256 0 8919 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40720 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6878 /proc/meminfo: memFree=1644408/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=69228 CPUtime=1.49 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 16250 0 0 0 142 7 0 0 25 0 1 0 194386297 70889472 16234 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 17307 16234 376 1256 0 16046 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 69228 [startup+3.10147 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6878 /proc/meminfo: memFree=1605688/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=123476 CPUtime=3.09 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 29808 0 0 0 296 13 0 0 25 0 1 0 194386297 126439424 29792 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 1 0 0 /proc/6877/statm: 30869 29792 376 1256 0 29608 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123476 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6878 /proc/meminfo: memFree=1493304/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=233128 CPUtime=6.28 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 57140 0 0 0 603 25 0 0 25 0 1 0 194386297 238723072 57124 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 58282 57124 376 1256 0 57021 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 233128 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6878 /proc/meminfo: memFree=1271544/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=446544 CPUtime=12.68 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 110281 0 0 0 1220 48 0 0 25 0 1 0 194386297 457261056 110265 1992294400 4194304 9342243 548682068736 18446744073709551615 4486084 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 111636 110265 376 1256 0 110375 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 446544 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.96 2/65 6878 /proc/meminfo: memFree=837240/2055920 swapFree=4181552/4192956 [pid=6877] ppid=6875 vsize=868692 CPUtime=25.47 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194304 216064 0 0 0 2453 94 0 0 25 0 1 0 194386297 889540608 216048 1992294400 4194304 9342243 548682068736 18446744073709551615 8236143 0 0 4096 0 0 0 0 17 0 0 0 /proc/6877/statm: 217173 216048 376 1256 0 215912 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 868692 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+43.5018 s] /proc/loadavg: 1.08 1.02 0.97 3/65 6878 /proc/meminfo: memFree=13496/2055920 swapFree=4180756/4192956 [pid=6877] ppid=6875 vsize=1854356 CPUtime=43.16 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4196352 461762 0 0 0 4108 208 0 0 25 0 1 0 194386297 1898860544 461392 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6877/statm: 463589 461397 408 1256 0 462328 0 Current children cumulated CPU time (s) 43.16 Current children cumulated vsize (KiB) 1854356 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+43.9023 s] /proc/loadavg: 1.08 1.02 0.97 3/65 6878 /proc/meminfo: memFree=13496/2055920 swapFree=4180756/4192956 [pid=6877] ppid=6875 vsize=0 CPUtime=43.52 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194308 471854 0 0 0 4123 229 0 0 25 0 1 0 194386297 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6877/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 43.52 Current children cumulated vsize (KiB) 0 [startup+44.0014 s] /proc/loadavg: 1.08 1.02 0.97 2/66 6879 /proc/meminfo: memFree=1263408/2055920 swapFree=4180756/4192956 [pid=6877] ppid=6875 vsize=0 CPUtime=43.62 /proc/6877/stat : 6877 (pbscip.linux.x8) R 6875 6877 6296 0 -1 4194308 471854 0 0 0 4123 239 0 0 25 0 1 0 194386297 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6877/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 43.62 Current children cumulated vsize (KiB) 0 Child status: 255 Real time (s): 44.0985 CPU time (s): 43.7264 CPU user time (s): 41.2387 CPU system time (s): 2.48762 CPU usage (%): 99.156 Max. virtual memory (cumulated for all children) (KiB): 1894044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 41.2387 system time used= 2.48762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471854 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 200 runsolver used 0.041993 second user time and 0.134979 second system time The end
Begin job on node19 at 2009-06-17 21:44:22 IDJOB=1885598 IDBENCH=72073 IDSOLVER=684 FILE ID=node19/1885598-1245267857 PBS_JOBID= 9372434 Free space on /tmp= 66040 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/bioinfo/q_query_2_L324_coli.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885598-1245267857/watcher-1885598-1245267857 -o /tmp/evaluation-result-1885598-1245267857/solver-1885598-1245267857 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1885598-1245267857.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68f429eccd802e443e87ec1c26683838 RANDOM SEED=2145008853 node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1690080 kB Buffers: 43348 kB Cached: 253628 kB SwapCached: 6236 kB Active: 166776 kB Inactive: 139132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1690080 kB SwapTotal: 4192956 kB SwapFree: 4181552 kB Dirty: 107468 kB Writeback: 0 kB Mapped: 13636 kB Slab: 45888 kB Committed_AS: 217304 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66028 MiB End job on node19 at 2009-06-17 21:45:07