Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_2.opb |
MD5SUM | ccdf85c0efcf9b688264aa74ef25462f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5830 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-2656414-1276599676.opb 0.00/0.00 c File size is 9107 bytes. 0.00/0.00 c Highest Coefficient sum: 5830 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 71 Constr: 17 1/0/16 Lit: 1119 Watch. Lit: 363 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 70 16 1118 69 370 2236 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.93/1798.46 c 100 70 147 7994 54 1080 2460 131 4166 0.02 1797.93/1798.46 c 250 70 319 16409 51 1475 2707 303 4464 0.06 1797.93/1798.46 c 476 70 571 28736 50 2007 2978 555 4490 0.11 1797.93/1798.46 c 814 70 1009 51062 50 3267 3276 993 4472 0.18 1797.93/1798.46 c 1323 70 1720 89961 52 5548 3604 1704 4469 0.30 1797.93/1798.46 c 2086 70 2568 131941 51 7271 3965 2552 4309 0.48 1797.93/1798.46 c 3232 70 2000 104537 52 5546 4362 1984 3927 0.82 1797.93/1798.46 c 4954 70 4327 232770 53 12780 4799 4311 3755 1.32 1797.93/1798.46 c 7538 70 2931 160988 54 9322 5279 2915 3142 2.40 1797.93/1798.46 c 11417 70 5177 280049 54 18055 5807 5161 3013 3.79 1797.93/1798.46 c 17240 70 4544 257249 56 14880 6388 4528 2523 6.83 1797.93/1798.46 c 25978 70 4330 249750 57 17343 7027 4314 2273 11.43 1797.93/1798.46 c 39088 70 6712 383540 57 24391 7730 6696 1946 20.08 1797.93/1798.46 c 58758 70 7364 389754 52 19026 8504 7348 2000 29.38 1797.93/1798.46 c 88268 70 5414 300221 55 18192 9355 5398 1895 46.57 1797.93/1798.46 c 132539 70 9291 494400 53 23622 10291 9275 1905 69.56 1797.93/1798.46 c 198951 70 9553 537224 56 26964 11321 9537 1789 111.17 1797.93/1798.46 c 298571 70 6573 371163 56 22317 12454 6557 1546 193.06 1797.93/1798.46 c 448007 70 8774 510788 58 37529 13700 8758 1235 362.66 1797.93/1798.46 c 672165 70 9924 561398 56 33682 15071 9908 1061 633.09 1797.93/1798.46 c 1008409 70 11723 662334 56 43978 16579 11707 1004 1003.54 1797.93/1798.46 c 1512781 70 9758 530049 54 28798 18237 9742 996 1517.45 1797.93/1798.46 c Resources Exceeded 1797.93/1798.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.46 c 22 1728040 22206 1751148 17311 976707 17295 961 1798.00 1797.93/1798.46 s UNKNOWN 1797.93/1798.46 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-2656414-1276599676/watcher-2656414-1276599676 -o /tmp/evaluation-result-2656414-1276599676/solver-2656414-1276599676 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656414-1276599676.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: 2.14 2.09 1.96 2/105 9473 /proc/meminfo: memFree=1807148/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=26416 CPUtime=0 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 326 0 0 0 0 0 0 0 23 0 1 0 1261442 27049984 242 1992294400 134512640 137138936 4287143424 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 6604 242 192 642 0 5960 0 [startup+0.101267 s] /proc/loadavg: 2.14 2.09 1.96 2/105 9473 /proc/meminfo: memFree=1807148/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=18988 CPUtime=0.09 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 422 0 0 0 9 0 0 0 23 0 1 0 1261442 19443712 338 1992294400 134512640 137138936 4287143424 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 4747 338 192 642 0 4103 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18988 [startup+0.201277 s] /proc/loadavg: 2.14 2.09 1.96 2/105 9473 /proc/meminfo: memFree=1807148/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=19376 CPUtime=0.19 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 532 0 0 0 19 0 0 0 24 0 1 0 1261442 19841024 448 1992294400 134512640 137138936 4287143424 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 4844 448 192 642 0 4200 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19376 [startup+0.301287 s] /proc/loadavg: 2.14 2.09 1.96 2/105 9473 /proc/meminfo: memFree=1807148/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=19888 CPUtime=0.29 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 667 0 0 0 29 0 0 0 25 0 1 0 1261442 20365312 583 1992294400 134512640 137138936 4287143424 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 4972 583 192 642 0 4328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19888 [startup+0.701326 s] /proc/loadavg: 2.14 2.09 1.96 2/105 9473 /proc/meminfo: memFree=1807148/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=21304 CPUtime=0.69 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 1010 0 0 0 69 0 0 0 25 0 1 0 1261442 21815296 926 1992294400 134512640 137138936 4287143424 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 5326 926 192 642 0 4682 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21304 [startup+1.50141 s] /proc/loadavg: 2.05 2.08 1.95 2/106 9474 /proc/meminfo: memFree=1803668/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=22588 CPUtime=1.49 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 1331 0 0 0 149 0 0 0 25 0 1 0 1261442 23130112 1247 1992294400 134512640 137138936 4287143424 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 5647 1247 192 642 0 5003 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22588 [startup+3.10157 s] /proc/loadavg: 2.05 2.08 1.95 2/106 9474 /proc/meminfo: memFree=1802552/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=22968 CPUtime=3.09 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 1442 0 0 0 308 1 0 0 25 0 1 0 1261442 23519232 1358 1992294400 134512640 137138936 4287143424 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 5742 1358 192 642 0 5098 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22968 [startup+6.30089 s] /proc/loadavg: 2.04 2.07 1.95 2/106 9474 /proc/meminfo: memFree=1801436/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=23608 CPUtime=6.29 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 1593 0 0 0 627 2 0 0 25 0 1 0 1261442 24174592 1509 1992294400 134512640 137138936 4287143424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 5902 1509 192 642 0 5258 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23608 [startup+12.7015 s] /proc/loadavg: 1.96 2.06 1.95 2/106 9474 /proc/meminfo: memFree=1800568/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=24896 CPUtime=12.69 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 1911 0 0 0 1265 4 0 0 25 0 1 0 1261442 25493504 1827 1992294400 134512640 137138936 4287143424 18446744073709551615 134540744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 6224 1827 192 642 0 5580 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24896 [startup+25.5008 s] /proc/loadavg: 1.81 2.02 1.93 2/106 9474 /proc/meminfo: memFree=1799584/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=25284 CPUtime=25.48 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 2025 0 0 0 2542 6 0 0 25 0 1 0 1261442 25890816 1941 1992294400 134512640 137138936 4287143424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 6321 1941 192 642 0 5677 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25284 [startup+51.1014 s] /proc/loadavg: 1.49 1.92 1.90 2/106 9474 /proc/meminfo: memFree=1798468/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=26392 CPUtime=51.07 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 2282 0 0 0 5094 13 0 0 25 0 1 0 1261442 27025408 2198 1992294400 134512640 137138936 4287143424 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 6598 2198 192 642 0 5954 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26392 [startup+102.301 s] /proc/loadavg: 1.21 1.78 1.85 2/106 9476 /proc/meminfo: memFree=1797104/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=27744 CPUtime=102.27 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 2620 0 0 0 10200 27 0 0 25 0 1 0 1261442 28409856 2536 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 6936 2536 192 642 0 6292 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27744 [startup+162.301 s] /proc/loadavg: 1.08 1.63 1.80 2/106 9478 /proc/meminfo: memFree=1796236/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=28604 CPUtime=162.24 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 2836 0 0 0 16182 42 0 0 25 0 1 0 1261442 29290496 2752 1992294400 134512640 137138936 4287143424 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7151 2752 192 642 0 6507 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28604 [startup+222.309 s] /proc/loadavg: 1.03 1.52 1.75 2/106 9480 /proc/meminfo: memFree=1794624/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=30016 CPUtime=222.23 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3203 0 0 0 22170 53 0 0 25 0 1 0 1261442 30736384 3119 1992294400 134512640 137138936 4287143424 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7504 3119 192 642 0 6860 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 30016 [startup+282.301 s] /proc/loadavg: 1.01 1.42 1.70 2/106 9482 /proc/meminfo: memFree=1794500/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=30104 CPUtime=282.21 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3217 0 0 0 28157 64 0 0 25 0 1 0 1261442 30826496 3133 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7526 3133 192 642 0 6882 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 30104 [startup+342.3 s] /proc/loadavg: 1.00 1.34 1.65 2/106 9482 /proc/meminfo: memFree=1794500/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=30072 CPUtime=342.2 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3217 0 0 0 34143 77 0 0 25 0 1 0 1261442 30793728 3133 1992294400 134512640 137138936 4287143424 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7518 3133 192 642 0 6874 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 30072 [startup+402.3 s] /proc/loadavg: 1.00 1.28 1.61 2/106 9484 /proc/meminfo: memFree=1793508/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=31052 CPUtime=402.18 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3452 0 0 0 40128 90 0 0 25 0 1 0 1261442 31797248 3368 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7763 3368 192 642 0 7119 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31052 [startup+462.301 s] /proc/loadavg: 1.00 1.22 1.56 2/106 9486 /proc/meminfo: memFree=1793508/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=31052 CPUtime=462.17 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3452 0 0 0 46114 103 0 0 25 0 1 0 1261442 31797248 3368 1992294400 134512640 137138936 4287143424 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7763 3368 192 642 0 7119 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31052 [startup+522.301 s] /proc/loadavg: 1.00 1.18 1.53 2/106 9488 /proc/meminfo: memFree=1793508/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=31052 CPUtime=522.15 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3459 0 0 0 52102 113 0 0 25 0 1 0 1261442 31797248 3375 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7763 3375 192 642 0 7119 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 31052 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.49 2/106 9490 /proc/meminfo: memFree=1793260/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=31184 CPUtime=582.13 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3488 0 0 0 58090 123 0 0 25 0 1 0 1261442 31932416 3404 1992294400 134512640 137138936 4287143424 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7796 3404 192 642 0 7152 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 31184 [startup+642.301 s] /proc/loadavg: 1.00 1.12 1.46 2/106 9490 /proc/meminfo: memFree=1792640/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=31796 CPUtime=642.12 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3638 0 0 0 64077 135 0 0 25 0 1 0 1261442 32559104 3554 1992294400 134512640 137138936 4287143424 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 7949 3554 192 642 0 7305 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 31796 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1791152/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=32932 CPUtime=1062.01 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3933 0 0 0 105978 223 0 0 25 0 1 0 1261442 33722368 3849 1992294400 134512640 137138936 4287143424 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8233 3849 192 642 0 7589 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 32932 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.26 2/106 9504 /proc/meminfo: memFree=1791152/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=32932 CPUtime=1122 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3933 0 0 0 111965 235 0 0 25 0 1 0 1261442 33722368 3849 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8233 3849 192 642 0 7589 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 32932 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.24 2/106 9506 /proc/meminfo: memFree=1791152/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=32932 CPUtime=1181.98 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3933 0 0 0 117951 247 0 0 25 0 1 0 1261442 33722368 3849 1992294400 134512640 137138936 4287143424 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8233 3849 192 642 0 7589 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 32932 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.22 2/106 9506 /proc/meminfo: memFree=1791028/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=32932 CPUtime=1241.97 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3933 0 0 0 123936 261 0 0 25 0 1 0 1261442 33722368 3849 1992294400 134512640 137138936 4287143424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8233 3849 192 642 0 7589 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 32932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.20 2/106 9508 /proc/meminfo: memFree=1790904/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=33128 CPUtime=1301.96 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3985 0 0 0 129923 273 0 0 25 0 1 0 1261442 33923072 3901 1992294400 134512640 137138936 4287143424 18446744073709551615 134575891 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8282 3901 192 642 0 7638 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 33128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.18 2/106 9510 /proc/meminfo: memFree=1790780/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=33200 CPUtime=1361.94 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3990 0 0 0 135909 285 0 0 25 0 1 0 1261442 33996800 3906 1992294400 134512640 137138936 4287143424 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8300 3906 192 642 0 7656 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 33200 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.17 2/106 9512 /proc/meminfo: memFree=1790780/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=33192 CPUtime=1421.93 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3990 0 0 0 141895 298 0 0 25 0 1 0 1261442 33988608 3906 1992294400 134512640 137138936 4287143424 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8298 3906 192 642 0 7654 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 33192 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 1.17 2/106 9514 /proc/meminfo: memFree=1790656/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=33192 CPUtime=1481.9 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 3990 0 0 0 147879 311 0 0 25 0 1 0 1261442 33988608 3906 1992294400 134512640 137138936 4287143424 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8298 3906 192 642 0 7654 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 33192 [startup+1542.31 s] /proc/loadavg: 1.07 1.02 1.16 2/106 9514 /proc/meminfo: memFree=1789664/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34196 CPUtime=1541.9 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4241 0 0 0 153865 325 0 0 25 0 1 0 1261442 35016704 4157 1992294400 134512640 137138936 4287143424 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8549 4157 192 642 0 7905 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 34196 [startup+1602.3 s] /proc/loadavg: 1.07 1.03 1.15 2/106 9516 /proc/meminfo: memFree=1789292/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34516 CPUtime=1601.88 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4321 0 0 0 159851 337 0 0 25 0 1 0 1261442 35344384 4237 1992294400 134512640 137138936 4287143424 18446744073709551615 134550998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8629 4237 192 642 0 7985 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 34516 [startup+1662.3 s] /proc/loadavg: 1.06 1.04 1.15 2/106 9518 /proc/meminfo: memFree=1789168/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34644 CPUtime=1661.86 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4363 0 0 0 165837 349 0 0 25 0 1 0 1261442 35475456 4279 1992294400 134512640 137138936 4287143424 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8661 4279 192 642 0 8017 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 34644 [startup+1722.3 s] /proc/loadavg: 1.06 1.04 1.14 2/106 9520 /proc/meminfo: memFree=1788920/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34772 CPUtime=1721.84 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4399 0 0 0 171823 361 0 0 25 0 1 0 1261442 35606528 4315 1992294400 134512640 137138936 4287143424 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8693 4315 192 642 0 8049 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 34772 [startup+1782.3 s] /proc/loadavg: 1.06 1.05 1.13 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1781.83 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 177811 372 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134606973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 34848 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.12 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1791.54 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 178779 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1791.54 Current children cumulated vsize (KiB) 34848 [startup+1795.2 s] /proc/loadavg: 1.12 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1794.74 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 179099 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 34848 [startup+1796.8 s] /proc/loadavg: 1.11 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1796.33 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 179258 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1796.33 Current children cumulated vsize (KiB) 34848 [startup+1797.6 s] /proc/loadavg: 1.11 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1797.13 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 179338 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1797.13 Current children cumulated vsize (KiB) 34848 [startup+1798 s] /proc/loadavg: 1.11 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1797.53 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 179378 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 34848 [startup+1798.4 s] /proc/loadavg: 1.11 1.06 1.14 2/106 9522 /proc/meminfo: memFree=1788796/2059040 swapFree=4192956/4192956 [pid=9473] ppid=9471 vsize=34848 CPUtime=1797.93 /proc/9473/stat : 9473 (bsolo_pb10) R 9471 9473 9448 0 -1 4202496 4406 0 0 0 179418 375 0 0 25 0 1 0 1261442 35684352 4322 1992294400 134512640 137138936 4287143424 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9473/statm: 8712 4322 192 642 0 8068 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 34848 Child status: 0 Real time (s): 1798.47 CPU time (s): 1798 CPU user time (s): 1794.25 CPU system time (s): 3.75743 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 34928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.25 system time used= 3.75743 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4406 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= 18684 runsolver used 2.95455 second user time and 8.50271 second system time The end
Begin job on node084 at 2010-06-15 13:01:16 IDJOB=2656414 IDBENCH=2898 IDSOLVER=1162 FILE ID=node084/2656414-1276599676 PBS_JOBID= 11172239 Free space on /tmp= 62512 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656414-1276599676/watcher-2656414-1276599676 -o /tmp/evaluation-result-2656414-1276599676/solver-2656414-1276599676 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656414-1276599676.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ccdf85c0efcf9b688264aa74ef25462f RANDOM SEED=613866867 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1807676 kB Buffers: 9440 kB Cached: 119404 kB SwapCached: 0 kB Active: 88364 kB Inactive: 100032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1807676 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4072 kB Writeback: 60 kB AnonPages: 59468 kB Mapped: 15552 kB Slab: 41420 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62508 MiB End job on node084 at 2010-06-15 13:31:15