Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.01 | 1798.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb |
MD5SUM | e808e428ddeed4827e7f6cc4dcf60aa4 |
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 | 14.7718 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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-2670540-1276702466.opb 0.00/0.00 c File size is 42576 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % 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 756 1156 4842 4 4165 6471 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 1797.95/1798.54 c 100 756 1256 11352 9 4324 7119 100 3703 0.03 1797.95/1798.54 c 252 756 1408 22832 16 4464 7831 252 5361 0.05 1797.95/1798.54 c 479 756 1635 42292 25 4910 8615 479 6063 0.08 1797.95/1798.54 c 817 756 1973 73284 37 5596 9477 817 6097 0.13 1797.95/1798.54 c 1327 756 2483 120309 48 6641 10425 1327 6349 0.21 1797.95/1798.54 c 2091 756 3247 187400 57 8149 11468 2091 6168 0.34 1797.95/1798.54 c 3237 756 4393 285642 65 10444 12615 3237 5874 0.55 1797.95/1798.54 c 4959 756 6115 430023 70 13922 13877 4959 5231 0.95 1797.95/1798.54 c 7543 756 8699 631744 72 19092 15265 7543 3406 2.21 1797.95/1798.54 c 11423 756 12579 973401 77 26837 16792 11423 2880 3.97 1797.95/1798.54 c 17245 756 9643 723431 75 20995 18472 8487 1722 10.01 1797.95/1798.54 c 25982 756 18380 1433261 77 38410 20320 17224 1734 14.98 1797.95/1798.54 c 39092 756 20624 1651117 80 43008 22353 19468 1683 23.22 1797.95/1798.54 c 58762 756 15870 1305972 82 33312 24589 14714 1734 33.89 1797.95/1798.55 c 88273 756 16794 1364874 81 35190 27048 15638 1493 59.09 1797.95/1798.55 c 132543 756 27674 2312516 83 56995 29753 26518 1233 107.42 1797.95/1798.55 c 198953 756 18355 1369641 74 38367 32729 17199 943 210.84 1797.95/1798.55 c 298574 756 30458 2484018 81 62539 36002 29302 788 378.52 1797.95/1798.55 c 448009 756 28608 2103361 73 58860 39603 27452 667 671.42 1797.95/1798.55 c 672167 756 26536 2168082 81 54757 43564 25380 706 950.97 1797.95/1798.55 c 1008410 756 39484 3465013 87 80721 47921 38328 663 1519.93 1797.95/1798.55 c Resources Exceeded 1797.95/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.55 c 21 1121585 13062 1171803 42651 3465661 41495 623 1798.00 1797.95/1798.55 s UNKNOWN 1797.95/1798.55 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-2670540-1276702466/watcher-2670540-1276702466 -o /tmp/evaluation-result-2670540-1276702466/solver-2670540-1276702466 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670540-1276702466.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.06 1.00 0.96 3/106 17615 /proc/meminfo: memFree=1715468/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=10840 CPUtime=0 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 337 0 0 0 0 0 0 0 18 0 1 0 11538772 11100160 255 1992294400 134512640 137138936 4293375408 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 2710 255 175 642 0 2055 0 [startup+0.0984659 s] /proc/loadavg: 1.06 1.00 0.96 3/106 17615 /proc/meminfo: memFree=1715468/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=11692 CPUtime=0.09 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 579 0 0 0 9 0 0 0 20 0 1 0 11538772 11972608 486 1992294400 134512640 137138936 4293375408 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 2923 486 190 642 0 2279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11692 [startup+0.100467 s] /proc/loadavg: 1.06 1.00 0.96 3/106 17615 /proc/meminfo: memFree=1715468/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=11692 CPUtime=0.09 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 583 0 0 0 9 0 0 0 20 0 1 0 11538772 11972608 490 1992294400 134512640 137138936 4293375408 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 2923 490 190 642 0 2279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11692 [startup+0.300486 s] /proc/loadavg: 1.06 1.00 0.96 3/106 17615 /proc/meminfo: memFree=1715468/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=13320 CPUtime=0.29 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 980 0 0 0 29 0 0 0 20 0 1 0 11538772 13639680 887 1992294400 134512640 137138936 4293375408 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 3330 887 190 642 0 2686 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13320 [startup+0.700527 s] /proc/loadavg: 1.06 1.00 0.96 3/106 17615 /proc/meminfo: memFree=1715468/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=15824 CPUtime=0.69 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 1611 0 0 0 68 1 0 0 20 0 1 0 11538772 16203776 1518 1992294400 134512640 137138936 4293375408 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 3956 1518 190 642 0 3312 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15824 [startup+1.50061 s] /proc/loadavg: 1.05 1.00 0.96 2/107 17616 /proc/meminfo: memFree=1708888/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=18196 CPUtime=1.49 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 2217 0 0 0 148 1 0 0 23 0 1 0 11538772 18632704 2124 1992294400 134512640 137138936 4293375408 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 4549 2124 190 642 0 3905 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18196 [startup+3.10077 s] /proc/loadavg: 1.05 1.00 0.96 2/107 17616 /proc/meminfo: memFree=1706036/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=21308 CPUtime=3.09 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 2974 0 0 0 307 2 0 0 25 0 1 0 11538772 21819392 2881 1992294400 134512640 137138936 4293375408 18446744073709551615 136501910 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 5327 2881 190 642 0 4683 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21308 [startup+6.3011 s] /proc/loadavg: 1.05 1.00 0.96 2/107 17616 /proc/meminfo: memFree=1698720/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=27944 CPUtime=6.29 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 4635 0 0 0 624 5 0 0 25 0 1 0 11538772 28614656 4542 1992294400 134512640 137138936 4293375408 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 6986 4542 190 642 0 6342 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27944 [startup+12.7007 s] /proc/loadavg: 1.04 1.00 0.96 2/107 17616 /proc/meminfo: memFree=1694380/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=31304 CPUtime=12.68 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 5479 0 0 0 1262 6 0 0 25 0 1 0 11538772 32055296 5386 1992294400 134512640 137138936 4293375408 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 7826 5386 190 642 0 7182 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31304 [startup+25.5011 s] /proc/loadavg: 1.04 1.00 0.96 2/107 17618 /proc/meminfo: memFree=1686816/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=38880 CPUtime=25.48 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 7378 0 0 0 2537 11 0 0 25 0 1 0 11538772 39813120 7285 1992294400 134512640 137138936 4293375408 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 9720 7285 190 642 0 9076 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38880 [startup+51.1007 s] /proc/loadavg: 1.02 1.00 0.96 2/107 17618 /proc/meminfo: memFree=1683840/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=41820 CPUtime=51.07 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 8116 0 0 0 5088 19 0 0 25 0 1 0 11538772 42823680 8023 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 10455 8023 190 642 0 9811 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41820 [startup+102.308 s] /proc/loadavg: 1.01 1.00 0.96 2/107 17620 /proc/meminfo: memFree=1680616/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=44828 CPUtime=102.26 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 8870 0 0 0 10194 32 0 0 25 0 1 0 11538772 45903872 8777 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 11207 8777 190 642 0 10563 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 44828 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17620 /proc/meminfo: memFree=1676772/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=48552 CPUtime=162.25 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 9809 0 0 0 16180 45 0 0 25 0 1 0 11538772 49717248 9713 1992294400 134512640 137138936 4293375408 18446744073709551615 134543177 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 12138 9713 190 642 0 11494 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 48552 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17622 /proc/meminfo: memFree=1675532/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=49808 CPUtime=222.22 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 10136 0 0 0 22164 58 0 0 25 0 1 0 11538772 51003392 10007 1992294400 134512640 137138936 4293375408 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 12452 10007 190 642 0 11808 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49808 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17624 /proc/meminfo: memFree=1674168/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=51308 CPUtime=282.2 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 10499 0 0 0 28151 69 0 0 25 0 1 0 11538772 52539392 10370 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 12827 10370 190 642 0 12183 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 51308 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17626 /proc/meminfo: memFree=1674044/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=51308 CPUtime=342.18 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 10499 0 0 0 34140 78 0 0 25 0 1 0 11538772 52539392 10370 1992294400 134512640 137138936 4293375408 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 12827 10370 190 642 0 12183 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 51308 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17628 /proc/meminfo: memFree=1670944/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=54272 CPUtime=402.16 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 11328 0 0 0 40127 89 0 0 25 0 1 0 11538772 55574528 11140 1992294400 134512640 137138936 4293375408 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 13568 11140 190 642 0 12924 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 54272 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17628 /proc/meminfo: memFree=1670820/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=54524 CPUtime=462.14 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 11362 0 0 0 46114 100 0 0 25 0 1 0 11538772 55832576 11174 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 13631 11174 190 642 0 12987 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 54524 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17630 /proc/meminfo: memFree=1670820/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=54352 CPUtime=522.13 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 11362 0 0 0 52101 112 0 0 25 0 1 0 11538772 55656448 11163 1992294400 134512640 137138936 4293375408 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 13588 11163 190 642 0 12944 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 54352 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17632 /proc/meminfo: memFree=1670696/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=54496 CPUtime=582.11 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 11366 0 0 0 58087 124 0 0 25 0 1 0 11538772 55803904 11167 1992294400 134512640 137138936 4293375408 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 13624 11167 190 642 0 12980 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 54496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17634 /proc/meminfo: memFree=1670572/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=54640 CPUtime=642.09 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 11402 0 0 0 64076 133 0 0 25 0 1 0 11538772 55951360 11203 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 13660 11203 190 642 0 13016 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 54640 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1660032/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=64272 CPUtime=1061.97 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 14054 0 0 0 105971 226 0 0 25 0 1 0 11538772 65814528 13643 1992294400 134512640 137138936 4293375408 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 16068 13643 190 642 0 15424 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 64272 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17646 /proc/meminfo: memFree=1660280/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=63928 CPUtime=1121.95 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 14054 0 0 0 111956 239 0 0 25 0 1 0 11538772 65462272 13557 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 15982 13557 190 642 0 15338 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 63928 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17648 /proc/meminfo: memFree=1660156/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=63928 CPUtime=1181.94 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 14054 0 0 0 117941 253 0 0 25 0 1 0 11538772 65462272 13557 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 15982 13557 190 642 0 15338 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 63928 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17650 /proc/meminfo: memFree=1658420/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=66044 CPUtime=1241.92 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 14610 0 0 0 123929 263 0 0 25 0 1 0 11538772 67629056 14069 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 16511 14069 190 642 0 15867 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 66044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17652 /proc/meminfo: memFree=1651848/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=72800 CPUtime=1301.91 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16284 0 0 0 129918 273 0 0 25 0 1 0 11538772 74547200 15743 1992294400 134512640 137138936 4293375408 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18200 15743 190 642 0 17556 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 72800 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17652 /proc/meminfo: memFree=1651848/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=72800 CPUtime=1361.89 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16284 0 0 0 135906 283 0 0 25 0 1 0 11538772 74547200 15743 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18200 15743 190 642 0 17556 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 72800 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17654 /proc/meminfo: memFree=1651848/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=72800 CPUtime=1421.88 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16284 0 0 0 141899 289 0 0 25 0 1 0 11538772 74547200 15743 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18200 15743 190 642 0 17556 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 72800 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17656 /proc/meminfo: memFree=1649864/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74780 CPUtime=1481.86 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16779 0 0 0 147885 301 0 0 25 0 1 0 11538772 76574720 16238 1992294400 134512640 137138936 4293375408 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18695 16238 190 642 0 18051 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 74780 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17658 /proc/meminfo: memFree=1649740/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1541.84 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 153870 314 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 74436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17669 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1601.8 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 159856 324 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 74436 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17669 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1661.78 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 165843 335 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 74436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17671 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1721.77 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 171832 345 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 74436 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1781.75 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 177821 354 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 74436 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1791.35 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 178781 354 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1791.35 Current children cumulated vsize (KiB) 74436 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1794.55 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 179100 355 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1794.55 Current children cumulated vsize (KiB) 74436 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1796.14 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 179259 355 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (KiB) 74436 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1796.94 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 179339 355 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1796.94 Current children cumulated vsize (KiB) 74436 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1797.74 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 179419 355 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 74436 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.96 2/107 17673 /proc/meminfo: memFree=1649368/2059040 swapFree=4192956/4192956 [pid=17615] ppid=17613 vsize=74436 CPUtime=1797.95 /proc/17615/stat : 17615 (bsolo_pb10) R 17613 17615 17265 0 -1 4202496 16783 0 0 0 179440 355 0 0 25 0 1 0 11538772 76222464 16184 1992294400 134512640 137138936 4293375408 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17615/statm: 18609 16184 190 642 0 17965 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 74436 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.01 CPU user time (s): 1794.44 CPU system time (s): 3.56446 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 74796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.44 system time used= 3.56446 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16783 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= 5502 runsolver used 3.03754 second user time and 8.42172 second system time The end
Begin job on node045 at 2010-06-16 17:34:26 IDJOB=2670540 IDBENCH=47986 IDSOLVER=1163 FILE ID=node045/2670540-1276702466 PBS_JOBID= 11174098 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=137-P1=101-P2=5-P3=409-P4=419-P5=401-P6=61-P7=239-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670540-1276702466/watcher-2670540-1276702466 -o /tmp/evaluation-result-2670540-1276702466/solver-2670540-1276702466 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670540-1276702466.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e808e428ddeed4827e7f6cc4dcf60aa4 RANDOM SEED=40355874 node045.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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1716244 kB Buffers: 91004 kB Cached: 124576 kB SwapCached: 0 kB Active: 95200 kB Inactive: 179768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1716244 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3992 kB Writeback: 0 kB AnonPages: 59396 kB Mapped: 15480 kB Slab: 46080 kB PageTables: 3948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182448 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-2670540-1276702466.opb Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-16 18:04:24