Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | ? | 1798.01 | 1798.48 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_15.opb |
MD5SUM | 18f5400970ad464f730a15f23e03dd22 |
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) | 1232 |
Sum of products size (including duplicates) | 2464 |
Number of different products | 616 |
Sum of products size | 1232 |
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-2671164-1276720410.opb 0.00/0.00 c File size is 50404 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: 716 Constr: 1385 666/103/616 Lit: 5278 Watch. Lit: 4530 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.09/0.13 c Pre-processing Time: 0.136 s 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 716 1385 5278 3 4530 10950 0 0 0.14 0.09/0.13 c Switching off lower bounding mode. 1797.93/1798.47 c 102 716 1487 12879 8 4734 12046 102 693 0.15 1797.93/1798.47 c 258 716 1643 24451 14 5046 13251 258 1563 0.17 1797.93/1798.47 c 484 716 1869 40535 21 5498 14577 484 2469 0.20 1797.93/1798.47 c 834 716 2219 68650 30 6198 16035 834 3432 0.24 1797.93/1798.47 c 1349 716 2734 109095 39 7228 17639 1349 4176 0.32 1797.93/1798.47 c 2112 716 3497 166163 47 8754 19403 2112 4877 0.43 1797.93/1798.47 c 3258 716 4643 251890 54 11046 21344 3258 5020 0.65 1797.93/1798.47 c 4983 716 6368 376427 59 14496 23479 4983 4457 1.12 1797.93/1798.47 c 7569 716 8954 555421 62 19668 25827 7569 3397 2.23 1797.93/1798.47 c 11450 716 12835 823433 64 27430 28410 11450 2335 4.90 1797.93/1798.47 c 17274 716 18659 1257951 67 39078 31252 17274 1551 11.13 1797.93/1798.47 c 26016 716 27401 1916924 69 56562 34378 26016 1071 24.29 1797.93/1798.47 c 39126 716 17008 1119387 65 35776 37816 15623 781 50.07 1797.93/1798.47 c 58803 716 36685 2632602 71 75130 41598 35300 748 78.57 1797.93/1798.47 c 88322 716 35409 2613323 73 72578 45758 34024 668 132.08 1797.93/1798.47 c 132592 716 44767 3320560 74 91294 50334 43382 513 258.43 1797.93/1798.47 c 199002 716 32288 2423342 75 66336 55368 30903 534 372.25 1797.93/1798.47 c 298622 716 43537 2996300 68 88834 60905 42152 493 605.70 1797.93/1798.47 c 448057 716 44452 3065244 68 90664 66996 43067 464 964.17 1797.93/1798.47 c 672215 716 46278 3274585 70 94316 73696 44893 448 1497.85 1797.93/1798.47 c Resources Exceeded 1797.93/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.47 c 20 776057 104582 1223085 25935 1683808 24550 431 1798.00 1797.93/1798.47 s UNKNOWN 1797.93/1798.47 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-2671164-1276720410/watcher-2671164-1276720410 -o /tmp/evaluation-result-2671164-1276720410/solver-2671164-1276720410 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671164-1276720410.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.99 0.99 3/106 18568 /proc/meminfo: memFree=1700724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=10840 CPUtime=0 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 13333207 11100160 250 1992294400 134512640 137138936 4294700016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 2710 250 175 642 0 2053 0 [startup+0.0484829 s] /proc/loadavg: 0.99 0.99 0.99 3/106 18568 /proc/meminfo: memFree=1700724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=11056 CPUtime=0.04 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 412 0 0 0 4 0 0 0 20 0 1 0 13333207 11321344 317 1992294400 134512640 137138936 4294700016 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 2764 317 184 642 0 2120 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11056 [startup+0.101488 s] /proc/loadavg: 0.99 0.99 0.99 3/106 18568 /proc/meminfo: memFree=1700724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=11056 CPUtime=0.09 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 412 0 0 0 9 0 0 0 20 0 1 0 13333207 11321344 317 1992294400 134512640 137138936 4294700016 18446744073709551615 136500378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 2764 317 184 642 0 2120 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11056 [startup+0.301508 s] /proc/loadavg: 0.99 0.99 0.99 3/106 18568 /proc/meminfo: memFree=1700724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=12440 CPUtime=0.29 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 752 0 0 0 29 0 0 0 20 0 1 0 13333207 12738560 657 1992294400 134512640 137138936 4294700016 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 3110 657 190 642 0 2466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12440 [startup+0.701549 s] /proc/loadavg: 0.99 0.99 0.99 3/106 18568 /proc/meminfo: memFree=1700724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=14816 CPUtime=0.7 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 1359 0 0 0 68 2 0 0 21 0 1 0 13333207 15171584 1264 1992294400 134512640 137138936 4294700016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 3704 1264 190 642 0 3060 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14816 [startup+1.50163 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1695508/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=17340 CPUtime=1.49 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 1996 0 0 0 147 2 0 0 23 0 1 0 13333207 17756160 1901 1992294400 134512640 137138936 4294700016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 4335 1901 190 642 0 3691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17340 [startup+3.10179 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1692532/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=20588 CPUtime=3.09 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 2788 0 0 0 305 4 0 0 25 0 1 0 13333207 21082112 2693 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 5147 2693 190 642 0 4503 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20588 [startup+6.30112 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1687820/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=24104 CPUtime=6.29 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 3664 0 0 0 622 7 0 0 25 0 1 0 13333207 24682496 3569 1992294400 134512640 137138936 4294700016 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 6026 3569 190 642 0 5382 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24104 [startup+12.7018 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1681496/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=30108 CPUtime=12.69 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 5181 0 0 0 1260 9 0 0 25 0 1 0 13333207 30830592 5086 1992294400 134512640 137138936 4294700016 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 7527 5086 190 642 0 6883 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30108 [startup+25.5011 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1672196/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=38996 CPUtime=25.49 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 7411 0 0 0 2536 13 0 0 25 0 1 0 13333207 39931904 7316 1992294400 134512640 137138936 4294700016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 9749 7316 190 642 0 9105 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38996 [startup+51.1007 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18569 /proc/meminfo: memFree=1663392/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=47516 CPUtime=51.07 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 9569 0 0 0 5087 20 0 0 25 0 1 0 13333207 48656384 9439 1992294400 134512640 137138936 4294700016 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 11879 9439 190 642 0 11235 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47516 [startup+102.309 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18571 /proc/meminfo: memFree=1654712/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=56000 CPUtime=102.27 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 11744 0 0 0 10196 31 0 0 25 0 1 0 13333207 57344000 11572 1992294400 134512640 137138936 4294700016 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 14000 11572 190 642 0 13356 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 56000 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18573 /proc/meminfo: memFree=1653968/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=57056 CPUtime=162.25 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 11988 0 0 0 16187 38 0 0 25 0 1 0 13333207 58425344 11816 1992294400 134512640 137138936 4294700016 18446744073709551615 134575649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 14264 11816 190 642 0 13620 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 57056 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18573 /proc/meminfo: memFree=1649256/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=61428 CPUtime=222.22 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 13144 0 0 0 22177 45 0 0 25 0 1 0 13333207 62902272 12926 1992294400 134512640 137138936 4294700016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 15357 12926 190 642 0 14713 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 61428 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18575 /proc/meminfo: memFree=1644420/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=66332 CPUtime=282.21 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 14403 0 0 0 28168 53 0 0 25 0 1 0 13333207 67923968 14135 1992294400 134512640 137138936 4294700016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 16583 14135 190 642 0 15939 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 66332 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18577 /proc/meminfo: memFree=1644420/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=66332 CPUtime=342.2 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 14403 0 0 0 34157 63 0 0 25 0 1 0 13333207 67923968 14135 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 16583 14135 190 642 0 15939 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 66332 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18579 /proc/meminfo: memFree=1643552/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=67292 CPUtime=402.18 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 14632 0 0 0 40145 73 0 0 25 0 1 0 13333207 68907008 14364 1992294400 134512640 137138936 4294700016 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 16823 14364 190 642 0 16179 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 67292 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18581 /proc/meminfo: memFree=1637724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=72860 CPUtime=462.17 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 16099 0 0 0 46131 86 0 0 25 0 1 0 13333207 74608640 15776 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 18215 15776 190 642 0 17571 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 72860 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18581 /proc/meminfo: memFree=1637724/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=72860 CPUtime=522.15 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 16099 0 0 0 52121 94 0 0 25 0 1 0 13333207 74608640 15776 1992294400 134512640 137138936 4294700016 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 18215 15776 190 642 0 17571 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 72860 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18583 /proc/meminfo: memFree=1637600/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=73152 CPUtime=582.14 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 16152 0 0 0 58112 102 0 0 25 0 1 0 13333207 74907648 15829 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 18288 15829 190 642 0 17644 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 73152 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/107 18585 /proc/meminfo: memFree=1637600/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=73152 CPUtime=642.13 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 16152 0 0 0 64100 113 0 0 25 0 1 0 13333207 74907648 15829 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 18288 15829 190 642 0 17644 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 73152 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1631400/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=78740 CPUtime=1122 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 17617 0 0 0 112008 192 0 0 25 0 1 0 13333207 80629760 17227 1992294400 134512640 137138936 4294700016 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 19685 17227 190 642 0 19041 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 78740 [startup+1182.3 s] /proc/loadavg: 1.13 1.07 1.01 2/107 18599 /proc/meminfo: memFree=1631400/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=79004 CPUtime=1181.98 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 17682 0 0 0 117999 199 0 0 25 0 1 0 13333207 80900096 17292 1992294400 134512640 137138936 4294700016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 19751 17292 190 642 0 19107 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 79004 [startup+1242.3 s] /proc/loadavg: 1.15 1.08 1.01 2/107 18601 /proc/meminfo: memFree=1631276/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=79004 CPUtime=1241.97 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 17682 0 0 0 123986 211 0 0 25 0 1 0 13333207 80900096 17292 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 19751 17292 190 642 0 19107 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 79004 [startup+1302.3 s] /proc/loadavg: 1.05 1.07 1.01 2/107 18603 /proc/meminfo: memFree=1630904/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=79372 CPUtime=1301.96 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 17774 0 0 0 129976 220 0 0 25 0 1 0 13333207 81276928 17384 1992294400 134512640 137138936 4294700016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 19843 17384 190 642 0 19199 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 79372 [startup+1362.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 18605 /proc/meminfo: memFree=1630904/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=79372 CPUtime=1361.94 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 17774 0 0 0 135964 230 0 0 25 0 1 0 13333207 81276928 17384 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 19843 17384 190 642 0 19199 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 79372 [startup+1422.31 s] /proc/loadavg: 1.00 1.04 1.00 2/107 18605 /proc/meminfo: memFree=1630036/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=80296 CPUtime=1421.93 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 18024 0 0 0 141952 241 0 0 25 0 1 0 13333207 82223104 17634 1992294400 134512640 137138936 4294700016 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 20074 17634 190 642 0 19430 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 80296 [startup+1482.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 18607 /proc/meminfo: memFree=1629540/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=80788 CPUtime=1481.9 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 18128 0 0 0 147941 249 0 0 25 0 1 0 13333207 82726912 17738 1992294400 134512640 137138936 4294700016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 20197 17738 190 642 0 19553 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 80788 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18609 /proc/meminfo: memFree=1629416/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=80788 CPUtime=1541.89 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 18128 0 0 0 153930 259 0 0 25 0 1 0 13333207 82726912 17738 1992294400 134512640 137138936 4294700016 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 20197 17738 190 642 0 19553 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 80788 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18611 /proc/meminfo: memFree=1622844/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87028 CPUtime=1601.88 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19776 0 0 0 159922 266 0 0 25 0 1 0 13333207 89116672 19313 1992294400 134512640 137138936 4294700016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21757 19313 190 642 0 21113 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 87028 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18622 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87028 CPUtime=1661.86 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19776 0 0 0 165908 278 0 0 25 0 1 0 13333207 89116672 19313 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21757 19313 190 642 0 21113 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 87028 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18622 /proc/meminfo: memFree=1622720/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87028 CPUtime=1721.84 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19776 0 0 0 171896 288 0 0 25 0 1 0 13333207 89116672 19313 1992294400 134512640 137138936 4294700016 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21757 19313 190 642 0 21113 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 87028 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1781.82 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 177889 293 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 87372 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 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1791.43 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 178849 294 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 87372 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1794.63 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179167 296 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 87372 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1796.22 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179325 297 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 87372 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1797.03 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179405 298 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 87372 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1797.43 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179445 298 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134542363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 87372 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1797.83 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179485 298 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 87372 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18624 /proc/meminfo: memFree=1622596/2059040 swapFree=4192956/4192956 [pid=18568] ppid=18566 vsize=87372 CPUtime=1797.93 /proc/18568/stat : 18568 (bsolo_pb10) R 18566 18568 18163 0 -1 4202496 19846 0 0 0 179495 298 0 0 25 0 1 0 13333207 89468928 19383 1992294400 134512640 137138936 4294700016 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18568/statm: 21843 19383 190 642 0 21199 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 87372 Child status: 0 Real time (s): 1798.48 CPU time (s): 1798.01 CPU user time (s): 1795.02 CPU system time (s): 2.98954 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 87372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.02 system time used= 2.98955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19846 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= 3475 runsolver used 2.81857 second user time and 8.64069 second system time The end
Begin job on node045 at 2010-06-16 22:33:30 IDJOB=2671164 IDBENCH=48293 IDSOLVER=1163 FILE ID=node045/2671164-1276720410 PBS_JOBID= 11174155 Free space on /tmp= 62460 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_2_15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671164-1276720410/watcher-2671164-1276720410 -o /tmp/evaluation-result-2671164-1276720410/solver-2671164-1276720410 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671164-1276720410.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 18f5400970ad464f730a15f23e03dd22 RANDOM SEED=1917274971 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: 1701624 kB Buffers: 104464 kB Cached: 125084 kB SwapCached: 0 kB Active: 97264 kB Inactive: 191752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1701624 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 59440 kB Mapped: 15392 kB Slab: 46568 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181060 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-2671164-1276720410.opb Free space on /tmp at the end= 62456 MiB End job on node045 at 2010-06-16 23:03:29