Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | ? | 1798.02 | 1798.46 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2671239-1276722052.opb 0.00/0.00 c File size is 49948 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 710 Constr: 1373 660/103/610 Lit: 5230 Watch. Lit: 4488 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.10/0.13 c Pre-processing Time: 0.136 s 0.10/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.10/0.13 c 0 710 1373 5230 3 4488 10800 0 0 0.14 0.10/0.13 c Switching off lower bounding mode. 1797.95/1798.45 c 112 710 1485 13691 9 4712 11881 112 761 0.15 1797.95/1798.45 c 269 710 1642 25431 15 5026 13070 269 1630 0.17 1797.95/1798.45 c 509 710 1882 42079 22 5506 14378 509 2557 0.20 1797.95/1798.45 c 851 710 2224 69804 31 6190 15816 851 3560 0.24 1797.95/1798.45 c 1359 710 2732 109774 40 7206 17398 1359 4341 0.31 1797.95/1798.45 c 2122 710 3495 168533 48 8732 19138 2122 4684 0.45 1797.95/1798.45 c 3284 710 4657 255598 54 11056 21052 3284 4671 0.70 1797.95/1798.45 c 5005 710 6378 381531 59 14498 23158 5005 3984 1.26 1797.95/1798.45 c 7601 710 8974 587117 65 19690 25474 7601 3928 1.94 1797.95/1798.45 c 11485 710 12858 904075 70 27458 28022 11485 3215 3.57 1797.95/1798.45 c 17309 710 18682 1357925 72 39106 30825 17309 2514 6.88 1797.95/1798.45 c 26048 710 27421 2004196 73 56584 33908 26048 1488 17.50 1797.95/1798.45 c 39160 710 17345 1184335 68 36432 37299 15972 1106 35.39 1797.95/1798.45 c 58830 710 37015 2703299 73 75772 41029 35642 964 61.02 1797.95/1798.45 c 88347 710 36274 2706757 74 74290 45132 34901 843 104.73 1797.95/1798.45 c 132617 710 46311 3418375 73 94364 49646 44938 711 186.49 1797.95/1798.45 c 199034 710 35341 2609203 73 72424 54611 33968 594 334.78 1797.95/1798.45 c 298655 710 47835 3641178 76 97412 60073 46462 556 536.36 1797.95/1798.45 c 448090 710 50762 3741417 73 103266 66081 49389 500 896.13 1797.95/1798.45 c 672251 710 55383 4256428 76 112508 72690 54010 470 1427.31 1797.95/1798.45 c Resources Exceeded 1797.95/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.45 c 20 796699 55748 1022302 56975 4284411 55602 443 1798.01 1797.95/1798.45 s UNKNOWN 1797.95/1798.45 c Total time: 1798.01 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-2671239-1276722052/watcher-2671239-1276722052 -o /tmp/evaluation-result-2671239-1276722052/solver-2671239-1276722052 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671239-1276722052.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.02 1.00 3/106 17635 /proc/meminfo: memFree=1611340/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=10844 CPUtime=0 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 13495992 11104256 249 1992294400 134512640 137138936 4293398832 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 2712 250 175 642 0 2055 0 [startup+0.02445 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17635 /proc/meminfo: memFree=1611340/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=11060 CPUtime=0.02 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 412 0 0 0 2 0 0 0 20 0 1 0 13495992 11325440 317 1992294400 134512640 137138936 4293398832 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 2765 317 184 642 0 2121 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11060 [startup+0.101456 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17635 /proc/meminfo: memFree=1611340/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=11060 CPUtime=0.1 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 412 0 0 0 10 0 0 0 20 0 1 0 13495992 11325440 317 1992294400 134512640 137138936 4293398832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 2765 317 184 642 0 2121 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11060 [startup+0.301473 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17635 /proc/meminfo: memFree=1611340/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=12440 CPUtime=0.29 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 769 0 0 0 29 0 0 0 20 0 1 0 13495992 12738560 674 1992294400 134512640 137138936 4293398832 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 3110 674 190 642 0 2466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12440 [startup+0.70051 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17635 /proc/meminfo: memFree=1611340/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=14572 CPUtime=0.69 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 1307 0 0 0 69 0 0 0 21 0 1 0 13495992 14921728 1212 1992294400 134512640 137138936 4293398832 18446744073709551615 134542854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 3643 1212 190 642 0 2999 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14572 [startup+1.50058 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17636 /proc/meminfo: memFree=1606248/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=17220 CPUtime=1.49 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 1963 0 0 0 148 1 0 0 23 0 1 0 13495992 17633280 1868 1992294400 134512640 137138936 4293398832 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 4305 1869 190 642 0 3661 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17220 [startup+3.10072 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17636 /proc/meminfo: memFree=1601908/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=22580 CPUtime=3.09 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 3303 0 0 0 307 2 0 0 25 0 1 0 13495992 23121920 3208 1992294400 134512640 137138936 4293398832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 5645 3208 190 642 0 5001 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22580 [startup+6.30099 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17636 /proc/meminfo: memFree=1593848/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=29228 CPUtime=6.29 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 4958 0 0 0 624 5 0 0 25 0 1 0 13495992 29929472 4863 1992294400 134512640 137138936 4293398832 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 7307 4863 190 642 0 6663 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29228 [startup+12.7005 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17645 /proc/meminfo: memFree=1586656/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=35604 CPUtime=12.68 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 6555 0 0 0 1259 9 0 0 25 0 1 0 13495992 36458496 6460 1992294400 134512640 137138936 4293398832 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 8901 6460 190 642 0 8257 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35604 [startup+25.5017 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17645 /proc/meminfo: memFree=1575248/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=46508 CPUtime=25.48 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 9277 0 0 0 2532 16 0 0 25 0 1 0 13495992 47624192 9182 1992294400 134512640 137138936 4293398832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 11627 9182 190 642 0 10983 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46508 [startup+51.1019 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17645 /proc/meminfo: memFree=1572768/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=48632 CPUtime=51.07 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 9843 0 0 0 5085 22 0 0 25 0 1 0 13495992 49799168 9714 1992294400 134512640 137138936 4293398832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 12158 9714 190 642 0 11514 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48632 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17647 /proc/meminfo: memFree=1565204/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=56056 CPUtime=102.26 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 11746 0 0 0 10194 32 0 0 25 0 1 0 13495992 57401344 11576 1992294400 134512640 137138936 4293398832 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 14014 11576 190 642 0 13370 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56056 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17649 /proc/meminfo: memFree=1560120/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=61088 CPUtime=162.23 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 13055 0 0 0 16181 42 0 0 25 0 1 0 13495992 62554112 12840 1992294400 134512640 137138936 4293398832 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 15272 12840 190 642 0 14628 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 61088 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17651 /proc/meminfo: memFree=1555780/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=65332 CPUtime=222.23 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 14167 0 0 0 22171 52 0 0 25 0 1 0 13495992 66899968 13902 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 16333 13902 190 642 0 15689 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 65332 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17651 /proc/meminfo: memFree=1555780/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=65332 CPUtime=282.21 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 14167 0 0 0 28159 62 0 0 25 0 1 0 13495992 66899968 13902 1992294400 134512640 137138936 4293398832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 16333 13902 190 642 0 15689 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 65332 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17653 /proc/meminfo: memFree=1555780/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=65724 CPUtime=342.19 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 14238 0 0 0 34151 68 0 0 25 0 1 0 13495992 67301376 13973 1992294400 134512640 137138936 4293398832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 16431 13973 190 642 0 15787 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 65724 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17655 /proc/meminfo: memFree=1549704/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=71424 CPUtime=402.18 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 15733 0 0 0 40140 78 0 0 25 0 1 0 13495992 73138176 15414 1992294400 134512640 137138936 4293398832 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 17856 15414 190 642 0 17212 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 71424 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17657 /proc/meminfo: memFree=1549704/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=71424 CPUtime=462.16 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 15733 0 0 0 46131 85 0 0 25 0 1 0 13495992 73138176 15414 1992294400 134512640 137138936 4293398832 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 17856 15414 190 642 0 17212 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 71424 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17659 /proc/meminfo: memFree=1548712/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=72348 CPUtime=522.15 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 16015 0 0 0 52122 93 0 0 25 0 1 0 13495992 74084352 15641 1992294400 134512640 137138936 4293398832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 18087 15641 190 642 0 17443 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 72348 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17659 /proc/meminfo: memFree=1543132/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=77916 CPUtime=582.14 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 17480 0 0 0 58111 103 0 0 25 0 1 0 13495992 79785984 17046 1992294400 134512640 137138936 4293398832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 19479 17046 190 642 0 18835 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 77916 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17661 /proc/meminfo: memFree=1543008/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=77916 CPUtime=642.13 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 17480 0 0 0 64100 113 0 0 25 0 1 0 13495992 79785984 17046 1992294400 134512640 137138936 4293398832 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 19479 17046 190 642 0 18835 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 77916 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1537056/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=83972 CPUtime=1122.01 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19035 0 0 0 112022 179 0 0 25 0 1 0 13495992 85987328 18535 1992294400 134512640 137138936 4293398832 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 20993 18535 190 642 0 20349 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 83972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17675 /proc/meminfo: memFree=1536932/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=83972 CPUtime=1182 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19035 0 0 0 118013 187 0 0 25 0 1 0 13495992 85987328 18535 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 20993 18535 190 642 0 20349 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 83972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17677 /proc/meminfo: memFree=1535444/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=85408 CPUtime=1241.98 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19394 0 0 0 124006 192 0 0 25 0 1 0 13495992 87457792 18894 1992294400 134512640 137138936 4293398832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 21352 18894 190 642 0 20708 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 85408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17679 /proc/meminfo: memFree=1535320/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=85408 CPUtime=1301.98 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19394 0 0 0 129995 203 0 0 25 0 1 0 13495992 87457792 18894 1992294400 134512640 137138936 4293398832 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 21352 18894 190 642 0 20708 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 85408 [startup+1362.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17681 /proc/meminfo: memFree=1533336/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=87452 CPUtime=1361.95 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19905 0 0 0 135986 209 0 0 25 0 1 0 13495992 89550848 19405 1992294400 134512640 137138936 4293398832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 21863 19405 190 642 0 21219 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 87452 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17683 /proc/meminfo: memFree=1533336/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=87452 CPUtime=1421.94 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 19905 0 0 0 141974 220 0 0 25 0 1 0 13495992 89550848 19405 1992294400 134512640 137138936 4293398832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 21863 19405 190 642 0 21219 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 87452 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17683 /proc/meminfo: memFree=1527632/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=92892 CPUtime=1481.92 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21354 0 0 0 147964 228 0 0 25 0 1 0 13495992 95121408 20782 1992294400 134512640 137138936 4293398832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23223 20782 190 642 0 22579 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 92892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17685 /proc/meminfo: memFree=1527632/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=92892 CPUtime=1541.91 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21354 0 0 0 153957 234 0 0 25 0 1 0 13495992 95121408 20782 1992294400 134512640 137138936 4293398832 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23223 20782 190 642 0 22579 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 92892 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17687 /proc/meminfo: memFree=1527632/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=92892 CPUtime=1601.9 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21354 0 0 0 159948 242 0 0 25 0 1 0 13495992 95121408 20782 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23223 20782 190 642 0 22579 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 92892 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17689 /proc/meminfo: memFree=1527632/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1661.88 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 165941 247 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 93244 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17691 /proc/meminfo: memFree=1527508/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1721.86 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 171935 251 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 93244 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17691 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1781.85 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 177927 258 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 93244 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1791.46 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 178886 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 93244 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1794.66 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179206 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 93244 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1796.25 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179365 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 93244 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1797.05 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179445 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 93244 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1797.45 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179485 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (KiB) 93244 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1797.85 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179525 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 93244 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17693 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=17635] ppid=17633 vsize=93244 CPUtime=1797.95 /proc/17635/stat : 17635 (bsolo_pb10) R 17633 17635 17133 0 -1 4202496 21424 0 0 0 179535 260 0 0 25 0 1 0 13495992 95481856 20852 1992294400 134512640 137138936 4293398832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17635/statm: 23311 20852 190 642 0 22667 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 93244 Child status: 0 Real time (s): 1798.46 CPU time (s): 1798.02 CPU user time (s): 1795.4 CPU system time (s): 2.6156 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 93244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.4 system time used= 2.6156 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21424 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= 1 involuntary context switches= 7118 runsolver used 2.81257 second user time and 8.64569 second system time The end
Begin job on node057 at 2010-06-16 23:00:52 IDJOB=2671239 IDBENCH=48318 IDSOLVER=1163 FILE ID=node057/2671239-1276722052 PBS_JOBID= 11174144 Free space on /tmp= 62536 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_1_15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671239-1276722052/watcher-2671239-1276722052 -o /tmp/evaluation-result-2671239-1276722052/solver-2671239-1276722052 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671239-1276722052.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7cfddeeb3bb3e7896ee6eefe7e9ac17 RANDOM SEED=73441509 node057.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 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.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1612116 kB Buffers: 136220 kB Cached: 170892 kB SwapCached: 0 kB Active: 136076 kB Inactive: 230292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1612116 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 59348 kB Mapped: 15356 kB Slab: 58720 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671239-1276722052.opb Free space on /tmp at the end= 62532 MiB End job on node057 at 2010-06-16 23:30:50