Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798.01 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb |
MD5SUM | 9ac2b65e6f5a9e0208aa5abddde874b2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 8.89565 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670487-1276702257.opb 0.00/0.00 c File size is 43525 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.016 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 1797.94/1798.56 c 106 792 1381 13360 9 4689 7322 201 2717 0.04 1797.94/1798.56 c 258 792 1682 37541 22 5466 8055 502 2774 0.09 1797.94/1798.56 c 483 792 2096 61908 29 6420 8861 916 3308 0.15 1797.94/1798.56 c 821 792 2742 96077 35 7966 9748 1562 3257 0.25 1797.94/1798.56 c 1332 792 3736 156189 41 10662 10723 2556 3338 0.40 1797.94/1798.56 c 2095 792 5186 245337 47 14103 11796 4006 3218 0.65 1797.94/1798.56 c 3241 792 7358 360505 48 19413 12976 6178 2803 1.16 1797.94/1798.56 c 4963 792 10673 531567 49 27768 14274 9493 2305 2.15 1797.94/1798.56 c 7547 792 8385 378157 45 22111 15702 7205 1690 4.46 1797.94/1798.56 c 11426 792 15839 799577 50 40558 17273 14659 1572 7.27 1797.94/1798.56 c 17250 792 18069 964573 53 46527 19001 16889 1515 11.38 1797.94/1798.56 c 25988 792 15017 756484 50 36339 20902 13837 1244 20.89 1797.94/1798.56 c 39098 792 18657 1012105 54 47595 22993 17477 1027 38.04 1797.94/1798.56 c 58768 792 19677 1317788 66 49534 25293 18497 965 60.86 1797.94/1798.56 c 88278 792 22436 1267646 56 56152 27823 21256 863 102.28 1797.94/1798.56 c 132549 792 19233 1218711 63 47761 30606 18053 619 214.02 1797.94/1798.56 c 198960 792 18977 984760 51 48359 33667 17797 537 370.29 1797.94/1798.56 c 298580 791 21835 1223834 56 53479 37034 20655 515 579.63 1797.94/1798.56 c 448020 790 34020 1926034 56 83578 40738 32840 460 972.06 1797.94/1798.56 c 672178 790 21852 1173173 53 54619 44812 20672 388 1730.68 1797.94/1798.56 c Resources Exceeded 1797.94/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.56 c 20 696736 9119 728720 41447 2143636 40267 387 1798.01 1797.94/1798.56 s UNKNOWN 1797.94/1798.56 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-2670487-1276702257/watcher-2670487-1276702257 -o /tmp/evaluation-result-2670487-1276702257/solver-2670487-1276702257 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670487-1276702257.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.03 1.02 0.94 3/106 12572 /proc/meminfo: memFree=1855188/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=10836 CPUtime=0 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 45829390 11096064 255 1992294400 134512640 137138936 4289784352 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 2709 256 175 642 0 2054 0 [startup+0.0774519 s] /proc/loadavg: 1.03 1.02 0.94 3/106 12572 /proc/meminfo: memFree=1855188/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=11432 CPUtime=0.07 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 508 0 0 0 7 0 0 0 20 0 1 0 45829390 11706368 416 1992294400 134512640 137138936 4289784352 18446744073709551615 134602849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 2858 416 192 642 0 2214 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11432 [startup+0.100454 s] /proc/loadavg: 1.03 1.02 0.94 3/106 12572 /proc/meminfo: memFree=1855188/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=11560 CPUtime=0.09 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 543 0 0 0 9 0 0 0 20 0 1 0 45829390 11837440 451 1992294400 134512640 137138936 4289784352 18446744073709551615 134575047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 2890 451 192 642 0 2246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11560 [startup+0.300477 s] /proc/loadavg: 1.03 1.02 0.94 3/106 12572 /proc/meminfo: memFree=1855188/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=12716 CPUtime=0.29 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 822 0 0 0 29 0 0 0 20 0 1 0 45829390 13021184 730 1992294400 134512640 137138936 4289784352 18446744073709551615 134602923 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 3179 730 192 642 0 2535 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12716 [startup+0.700523 s] /proc/loadavg: 1.03 1.02 0.94 3/106 12572 /proc/meminfo: memFree=1855188/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=14884 CPUtime=0.69 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 1361 0 0 0 68 1 0 0 20 0 1 0 45829390 15241216 1269 1992294400 134512640 137138936 4289784352 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 3721 1269 192 642 0 3077 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14884 [startup+1.50062 s] /proc/loadavg: 1.02 1.02 0.94 2/107 12573 /proc/meminfo: memFree=1850096/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=17188 CPUtime=1.49 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 1944 0 0 0 147 2 0 0 23 0 1 0 45829390 17600512 1852 1992294400 134512640 137138936 4289784352 18446744073709551615 134542953 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 4297 1852 192 642 0 3653 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17188 [startup+3.1008 s] /proc/loadavg: 1.02 1.02 0.94 3/107 12573 /proc/meminfo: memFree=1846996/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=21016 CPUtime=3.09 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 2900 0 0 0 306 3 0 0 25 0 1 0 45829390 21520384 2808 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 5254 2808 192 642 0 4610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21016 [startup+6.30117 s] /proc/loadavg: 1.02 1.02 0.94 2/107 12573 /proc/meminfo: memFree=1842904/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=22808 CPUtime=6.29 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 3369 0 0 0 625 4 0 0 25 0 1 0 45829390 23355392 3277 1992294400 134512640 137138936 4289784352 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 5702 3277 192 642 0 5058 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22808 [startup+12.7009 s] /proc/loadavg: 1.02 1.02 0.94 2/107 12573 /proc/meminfo: memFree=1839680/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=26924 CPUtime=12.69 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 4397 0 0 0 1263 6 0 0 25 0 1 0 45829390 27570176 4305 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 6731 4305 192 642 0 6087 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26924 [startup+25.5004 s] /proc/loadavg: 1.02 1.02 0.94 2/107 12573 /proc/meminfo: memFree=1837448/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=28328 CPUtime=25.48 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 4745 0 0 0 2540 8 0 0 25 0 1 0 45829390 29007872 4653 1992294400 134512640 137138936 4289784352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 7082 4653 192 642 0 6438 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28328 [startup+51.1003 s] /proc/loadavg: 1.01 1.02 0.94 2/107 12575 /proc/meminfo: memFree=1832860/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=32952 CPUtime=51.07 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 5907 0 0 0 5093 14 0 0 25 0 1 0 45829390 33742848 5815 1992294400 134512640 137138936 4289784352 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 8238 5815 192 642 0 7594 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32952 [startup+102.308 s] /proc/loadavg: 1.00 1.01 0.94 2/107 12575 /proc/meminfo: memFree=1828892/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=36900 CPUtime=102.26 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 6889 0 0 0 10202 24 0 0 25 0 1 0 45829390 37785600 6797 1992294400 134512640 137138936 4289784352 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 9225 6797 192 642 0 8581 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36900 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 12577 /proc/meminfo: memFree=1828024/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=37788 CPUtime=162.24 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7112 0 0 0 16188 36 0 0 25 0 1 0 45829390 38694912 7020 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 9447 7020 192 642 0 8803 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37788 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 12579 /proc/meminfo: memFree=1825172/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=40636 CPUtime=222.22 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7826 0 0 0 22178 44 0 0 25 0 1 0 45829390 41611264 7734 1992294400 134512640 137138936 4289784352 18446744073709551615 134603230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10159 7734 192 642 0 9515 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 40636 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 12581 /proc/meminfo: memFree=1825048/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=40632 CPUtime=282.2 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7826 0 0 0 28166 54 0 0 25 0 1 0 45829390 41607168 7734 1992294400 134512640 137138936 4289784352 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10158 7734 192 642 0 9514 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 40632 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 12583 /proc/meminfo: memFree=1825048/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=40632 CPUtime=342.18 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7826 0 0 0 34155 63 0 0 25 0 1 0 45829390 41607168 7734 1992294400 134512640 137138936 4289784352 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10158 7734 192 642 0 9514 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 40632 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 12583 /proc/meminfo: memFree=1824924/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=40772 CPUtime=402.17 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7864 0 0 0 40145 72 0 0 25 0 1 0 45829390 41750528 7738 1992294400 134512640 137138936 4289784352 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10193 7738 192 642 0 9549 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 40772 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 12585 /proc/meminfo: memFree=1824924/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=40772 CPUtime=462.15 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 7864 0 0 0 46134 81 0 0 25 0 1 0 45829390 41750528 7738 1992294400 134512640 137138936 4289784352 18446744073709551615 134542190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10193 7738 192 642 0 9549 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 40772 [startup+522.301 s] /proc/loadavg: 1.04 1.01 0.95 2/107 12587 /proc/meminfo: memFree=1823932/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=41796 CPUtime=522.14 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 8120 0 0 0 52124 90 0 0 25 0 1 0 45829390 42799104 7994 1992294400 134512640 137138936 4289784352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10449 7994 192 642 0 9805 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 41796 [startup+582.301 s] /proc/loadavg: 1.01 1.01 0.95 2/107 12589 /proc/meminfo: memFree=1823932/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=41796 CPUtime=582.12 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 8120 0 0 0 58110 102 0 0 25 0 1 0 45829390 42799104 7994 1992294400 134512640 137138936 4289784352 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 10449 7994 192 642 0 9805 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 41796 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12591 /proc/meminfo: memFree=1821452/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=44308 CPUtime=642.11 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 8785 0 0 0 64099 112 0 0 25 0 1 0 45829390 45371392 8622 1992294400 134512640 137138936 4289784352 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 11077 8622 192 642 0 10433 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 44308 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1816740/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=48580 CPUtime=1061.97 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 9894 0 0 0 106020 177 0 0 25 0 1 0 45829390 49745920 9690 1992294400 134512640 137138936 4289784352 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12145 9690 192 642 0 11501 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 48580 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12603 /proc/meminfo: memFree=1816740/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=48580 CPUtime=1121.95 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 9894 0 0 0 112011 184 0 0 25 0 1 0 45829390 49745920 9690 1992294400 134512640 137138936 4289784352 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12145 9690 192 642 0 11501 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 48580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12605 /proc/meminfo: memFree=1816492/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=48860 CPUtime=1181.94 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 9964 0 0 0 118002 192 0 0 25 0 1 0 45829390 50032640 9760 1992294400 134512640 137138936 4289784352 18446744073709551615 136520958 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12215 9760 192 642 0 11571 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 48860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12607 /proc/meminfo: memFree=1815748/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=49452 CPUtime=1241.91 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10112 0 0 0 123993 198 0 0 25 0 1 0 45829390 50638848 9908 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12363 9908 192 642 0 11719 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 49452 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12607 /proc/meminfo: memFree=1815624/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=49452 CPUtime=1301.9 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10112 0 0 0 129986 204 0 0 25 0 1 0 45829390 50638848 9908 1992294400 134512640 137138936 4289784352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12363 9908 192 642 0 11719 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 49452 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12609 /proc/meminfo: memFree=1815624/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=49452 CPUtime=1361.87 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10112 0 0 0 135975 212 0 0 25 0 1 0 45829390 50638848 9908 1992294400 134512640 137138936 4289784352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12363 9908 192 642 0 11719 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 49452 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12611 /proc/meminfo: memFree=1815624/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=49452 CPUtime=1421.87 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10112 0 0 0 141968 219 0 0 25 0 1 0 45829390 50638848 9908 1992294400 134512640 137138936 4289784352 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12363 9908 192 642 0 11719 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49452 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12613 /proc/meminfo: memFree=1813516/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51532 CPUtime=1481.83 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10633 0 0 0 147955 228 0 0 25 0 1 0 45829390 52768768 10429 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12883 10429 192 642 0 12239 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 51532 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12615 /proc/meminfo: memFree=1813516/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51532 CPUtime=1541.81 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10633 0 0 0 153945 236 0 0 25 0 1 0 45829390 52768768 10429 1992294400 134512640 137138936 4289784352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12883 10429 192 642 0 12239 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 51532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12615 /proc/meminfo: memFree=1813392/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51532 CPUtime=1601.79 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10633 0 0 0 159936 243 0 0 25 0 1 0 45829390 52768768 10429 1992294400 134512640 137138936 4289784352 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12883 10429 192 642 0 12239 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 51532 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12617 /proc/meminfo: memFree=1813392/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51532 CPUtime=1661.77 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10633 0 0 0 165927 250 0 0 25 0 1 0 45829390 52768768 10429 1992294400 134512640 137138936 4289784352 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12883 10429 192 642 0 12239 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 51532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12619 /proc/meminfo: memFree=1813392/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51532 CPUtime=1721.76 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10633 0 0 0 171915 261 0 0 25 0 1 0 45829390 52768768 10429 1992294400 134512640 137138936 4289784352 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12883 10429 192 642 0 12239 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 51532 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1781.74 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 177904 270 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 51548 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1791.34 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 178864 270 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 51548 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1794.54 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 179184 270 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 51548 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1796.14 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 179343 271 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 51548 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1796.94 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 179423 271 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 51548 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1797.73 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 179502 271 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 136502088 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 51548 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.95 2/107 12621 /proc/meminfo: memFree=1813144/2059040 swapFree=4140048/4192956 [pid=12572] ppid=12570 vsize=51548 CPUtime=1797.94 /proc/12572/stat : 12572 (bsolo_pb10) R 12570 12572 12231 0 -1 4202496 10638 0 0 0 179523 271 0 0 25 0 1 0 45829390 52785152 10434 1992294400 134512640 137138936 4289784352 18446744073709551615 134542152 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12572/statm: 12887 10434 192 642 0 12243 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 51548 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.01 CPU user time (s): 1795.29 CPU system time (s): 2.71959 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 51548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.29 system time used= 2.71959 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10638 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= 8088 runsolver used 2.87856 second user time and 8.5777 second system time The end
Begin job on node006 at 2010-06-16 17:30:57 IDJOB=2670487 IDBENCH=47960 IDSOLVER=1162 FILE ID=node006/2670487-1276702257 PBS_JOBID= 11174127 Free space on /tmp= 62504 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=233-P1=79-P2=107-P3=23-P4=107-P5=223-P6=239-P7=127-P8=229-P9=181-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670487-1276702257/watcher-2670487-1276702257 -o /tmp/evaluation-result-2670487-1276702257/solver-2670487-1276702257 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670487-1276702257.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ac2b65e6f5a9e0208aa5abddde874b2 RANDOM SEED=2061008470 node006.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.204 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.40 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.204 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856212 kB Buffers: 10916 kB Cached: 110176 kB SwapCached: 6372 kB Active: 85112 kB Inactive: 49844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856212 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 4088 kB Writeback: 0 kB AnonPages: 12516 kB Mapped: 13200 kB Slab: 46116 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182988 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-2670487-1276702257.opb Free space on /tmp at the end= 62500 MiB End job on node006 at 2010-06-16 18:00:56