Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.02 | 1798.66 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb |
MD5SUM | c7cfddeeb3bb3e7896ee6eefe7e9ac17 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 100 |
Total number of constraints | 152 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1220 |
Sum of products size (including duplicates) | 2440 |
Number of different products | 610 |
Sum of products size | 1220 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877833-1245214689.opb 0.00/0.00 c File size is 49948 bytes. 0.00/0.00 c Highest Coefficient sum: 100 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.006 s 0.00/0.00 c Var: 710 Constr: 1373 660/103/610 Lit: 5230 Watch. Lit: 4488 0.00/0.00 c Obj. Vars: 0 (0 % of total variables) 0.09/0.12 c Pre-processing Time: 0.123 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 710 1373 5230 3 4488 10800 0 0 0.12 0.09/0.12 c Switching off lower bounding mode. 1797.95/1798.64 c 112 710 1485 13691 9 4712 11881 112 842 0.13 1797.95/1798.64 c 269 710 1642 25431 15 5026 13070 269 1793 0.15 1797.95/1798.64 c 509 710 1882 42079 22 5506 14378 509 2812 0.18 1797.95/1798.64 c 851 710 2224 69804 31 6190 15816 851 3903 0.22 1797.95/1798.64 c 1359 710 2732 109774 40 7206 17398 1359 4702 0.29 1797.95/1798.64 c 2122 710 3495 168533 48 8732 19138 2122 5052 0.42 1797.95/1798.64 c 3284 710 4657 255598 54 11056 21052 3284 5021 0.65 1797.95/1798.64 c 5005 710 6378 381531 59 14498 23158 5005 4245 1.18 1797.95/1798.64 c 7601 710 8974 587117 65 19690 25474 7601 4167 1.82 1797.95/1798.64 c 11485 710 12858 904075 70 27458 28022 11485 3389 3.39 1797.95/1798.64 c 17309 710 18682 1357925 72 39106 30825 17309 2640 6.55 1797.95/1798.64 c 26048 710 27421 2004196 73 56584 33908 26048 1550 16.80 1797.95/1798.64 c 39160 710 17345 1184335 68 36432 37299 15972 1148 34.09 1797.95/1798.64 c 58830 710 37015 2703299 73 75772 41029 35642 999 58.86 1797.95/1798.64 c 88347 710 36274 2706757 74 74290 45132 34901 872 101.24 1797.95/1798.64 c 132617 710 46311 3418375 73 94364 49646 44938 734 180.67 1797.95/1798.64 c 199034 710 35341 2609203 73 72424 54611 33968 612 324.96 1797.95/1798.64 c 298655 710 47835 3641178 76 97412 60073 46462 573 520.46 1797.95/1798.64 c 448090 710 50762 3741417 73 103266 66081 49389 514 870.21 1797.95/1798.64 c 672251 710 55383 4256428 76 112508 72690 54010 484 1387.03 1797.95/1798.64 c Resources Exceeded 1797.95/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.64 c 20 809741 56804 1038971 70017 5290985 68644 450 1798.00 1797.95/1798.64 s UNKNOWN 1797.95/1798.64 c Total time: 1798 s
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-1877833-1245214689/watcher-1877833-1245214689 -o /tmp/evaluation-result-1877833-1245214689/solver-1877833-1245214689 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877833-1245214689.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: 0.92 0.98 0.99 3/65 6589 /proc/meminfo: memFree=1857208/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=10760 CPUtime=0 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 189067522 11018240 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 2690 239 176 640 0 2033 0 [startup+0.0160279 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6589 /proc/meminfo: memFree=1857208/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=10984 CPUtime=0.01 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 350 0 0 0 1 0 0 0 18 0 1 0 189067522 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10984 [startup+0.101036 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6589 /proc/meminfo: memFree=1857208/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=10984 CPUtime=0.09 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 189067522 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 2746 321 189 640 0 2102 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10984 [startup+0.301055 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6589 /proc/meminfo: memFree=1857208/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=12492 CPUtime=0.29 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 749 0 0 0 29 0 0 0 19 0 1 0 189067522 12791808 720 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 3123 720 196 640 0 2479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12492 [startup+0.701096 s] /proc/loadavg: 0.92 0.98 0.99 3/65 6589 /proc/meminfo: memFree=1857208/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=14748 CPUtime=0.69 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 1298 0 0 0 69 0 0 0 23 0 1 0 189067522 15101952 1269 1992294400 134512640 137136520 4294956256 18446744073709551615 134598562 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 3687 1269 196 640 0 3043 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14748 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1851760/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=17516 CPUtime=1.49 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 2005 0 0 0 148 1 0 0 25 0 1 0 189067522 17936384 1976 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 4379 1976 196 640 0 3735 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17516 [startup+3.10134 s] /proc/loadavg: 0.92 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1847280/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=22880 CPUtime=3.09 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 3341 0 0 0 307 2 0 0 25 0 1 0 189067522 23429120 3312 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 5720 3312 196 640 0 5076 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22880 [startup+6.30166 s] /proc/loadavg: 0.93 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1839024/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=29524 CPUtime=6.29 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 5003 0 0 0 625 4 0 0 25 0 1 0 189067522 30232576 4974 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 7381 4974 196 640 0 6737 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29524 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1831992/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=36280 CPUtime=12.69 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 6672 0 0 0 1261 8 0 0 25 0 1 0 189067522 37150720 6643 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 9070 6643 196 640 0 8426 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36280 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1820600/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=47052 CPUtime=25.48 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 9360 0 0 0 2536 12 0 0 25 0 1 0 189067522 48181248 9331 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 11763 9331 196 640 0 11119 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47052 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1818744/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=48556 CPUtime=51.06 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 9782 0 0 0 5090 16 0 0 25 0 1 0 189067522 49721344 9719 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 12139 9719 196 640 0 11495 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 48556 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1811128/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=55980 CPUtime=102.25 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 11685 0 0 0 10203 22 0 0 25 0 1 0 189067522 57323520 11581 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 13995 11581 196 640 0 13351 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 55980 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6590 /proc/meminfo: memFree=1806008/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=61012 CPUtime=162.21 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 12994 0 0 0 16191 30 0 0 25 0 1 0 189067522 62476288 12845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 15253 12845 196 640 0 14609 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 61012 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1801584/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=65256 CPUtime=222.18 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 14106 0 0 0 22183 35 0 0 25 0 1 0 189067522 66822144 13907 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 16314 13907 196 640 0 15670 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 65256 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1801456/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=65648 CPUtime=282.15 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 14177 0 0 0 28176 39 0 0 25 0 1 0 189067522 67223552 13978 1992294400 134512640 137136520 4294956256 18446744073709551615 134540860 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 16412 13978 196 640 0 15768 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 65648 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1801456/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=65648 CPUtime=342.11 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 14177 0 0 0 34166 45 0 0 25 0 1 0 189067522 67223552 13978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 16412 13978 196 640 0 15768 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 65648 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1795568/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=71348 CPUtime=402.09 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 15672 0 0 0 40157 52 0 0 25 0 1 0 189067522 73060352 15419 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 17837 15419 196 640 0 17193 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 71348 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1795504/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=71348 CPUtime=462.05 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 15672 0 0 0 46148 57 0 0 25 0 1 0 189067522 73060352 15419 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 17837 15419 196 640 0 17193 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 71348 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1794680/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=72272 CPUtime=522.02 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 15954 0 0 0 52140 62 0 0 25 0 1 0 189067522 74006528 15646 1992294400 134512640 137136520 4294956256 18446744073709551615 136502406 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 18068 15646 196 640 0 17424 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 72272 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1788984/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=77840 CPUtime=581.99 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 17419 0 0 0 58131 68 0 0 25 0 1 0 189067522 79708160 17051 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 19460 17051 196 640 0 18816 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 77840 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1788920/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=77840 CPUtime=641.97 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 17419 0 0 0 64123 74 0 0 25 0 1 0 189067522 79708160 17051 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 19460 17051 196 640 0 18816 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 77840 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1782904/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=83896 CPUtime=1121.82 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 18974 0 0 0 112068 114 0 0 25 0 1 0 189067522 85909504 18540 1992294400 134512640 137136520 4294956256 18446744073709551615 136500577 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 20974 18540 196 640 0 20330 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 83896 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1782840/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=83896 CPUtime=1181.81 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 18974 0 0 0 118061 120 0 0 25 0 1 0 189067522 85909504 18540 1992294400 134512640 137136520 4294956256 18446744073709551615 136502143 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 20974 18540 196 640 0 20330 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 83896 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1781368/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=85332 CPUtime=1241.79 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 19333 0 0 0 124054 125 0 0 25 0 1 0 189067522 87379968 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 21333 18899 196 640 0 20689 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 85332 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1781304/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=85332 CPUtime=1301.78 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 19333 0 0 0 130048 130 0 0 25 0 1 0 189067522 87379968 18899 1992294400 134512640 137136520 4294956256 18446744073709551615 136499635 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 21333 18899 196 640 0 20689 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 85332 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1779320/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=87376 CPUtime=1361.76 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 19844 0 0 0 136041 135 0 0 25 0 1 0 189067522 89473024 19410 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 21844 19410 196 640 0 21200 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 87376 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1779192/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=87380 CPUtime=1421.75 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 19845 0 0 0 142034 141 0 0 25 0 1 0 189067522 89477120 19411 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 21845 19411 196 640 0 21201 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 87380 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1773496/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=92816 CPUtime=1481.73 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21293 0 0 0 148026 147 0 0 25 0 1 0 189067522 95043584 20787 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23204 20787 196 640 0 22560 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 92816 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6596 /proc/meminfo: memFree=1773560/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=92816 CPUtime=1541.72 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21293 0 0 0 154019 153 0 0 25 0 1 0 189067522 95043584 20787 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23204 20787 196 640 0 22560 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 92816 [startup+1602.3 s] /proc/loadavg: 1.05 1.00 1.00 2/66 6596 /proc/meminfo: memFree=1773496/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=92816 CPUtime=1601.7 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21293 0 0 0 160013 157 0 0 25 0 1 0 189067522 95043584 20787 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23204 20787 196 640 0 22560 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 92816 [startup+1662.3 s] /proc/loadavg: 1.07 1.01 1.00 2/66 6596 /proc/meminfo: memFree=1773368/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1661.68 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 166010 158 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 93168 [startup+1722.3 s] /proc/loadavg: 1.15 1.04 1.01 2/66 6596 /proc/meminfo: memFree=1773304/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1721.67 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 172003 164 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 93168 [startup+1782.3 s] /proc/loadavg: 1.17 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1781.66 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 177998 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 93168 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.14 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1791.26 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 178958 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 93168 [startup+1795.1 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1794.45 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179277 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 93168 [startup+1796.7 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1796.05 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179437 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 93168 [startup+1797.5 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1796.85 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179517 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1796.85 Current children cumulated vsize (KiB) 93168 [startup+1798.3 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1797.65 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179597 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (KiB) 93168 [startup+1798.51 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1797.85 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179617 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 93168 [startup+1798.6 s] /proc/loadavg: 1.13 1.06 1.01 2/66 6596 /proc/meminfo: memFree=1773112/2055920 swapFree=4169960/4192956 [pid=6589] ppid=6587 vsize=93168 CPUtime=1797.95 /proc/6589/stat : 6589 (bsolo) R 6587 6589 6355 0 -1 4194304 21363 0 0 0 179627 168 0 0 25 0 1 0 189067522 95404032 20857 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6589/statm: 23292 20857 196 640 0 22648 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 93168 Child status: 0 Real time (s): 1798.66 CPU time (s): 1798.02 CPU user time (s): 1796.32 CPU system time (s): 1.70074 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 93168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.32 system time used= 1.70074 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21364 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= 2 involuntary context switches= 5844 runsolver used 2.16267 second user time and 4.27035 second system time The end
Begin job on node84 at 2009-06-17 06:58:09 IDJOB=1877833 IDBENCH=48318 IDSOLVER=700 FILE ID=node84/1877833-1245214689 PBS_JOBID= 9368397 Free space on /tmp= 66524 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_1_15.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877833-1245214689/watcher-1877833-1245214689 -o /tmp/evaluation-result-1877833-1245214689/solver-1877833-1245214689 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877833-1245214689.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7cfddeeb3bb3e7896ee6eefe7e9ac17 RANDOM SEED=2057782798 node84.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.222 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.222 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1857880 kB Buffers: 18892 kB Cached: 98096 kB SwapCached: 16836 kB Active: 31464 kB Inactive: 104648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857880 kB SwapTotal: 4192956 kB SwapFree: 4169960 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 24884 kB Slab: 47736 kB Committed_AS: 114612 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877833-1245214689.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-17 07:28:08