Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | ? | 1798.09 | 1798.58 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_1_15.opb |
MD5SUM | 32f819d2d20a6499e6a06537844c7dde |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.210966 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
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-2671161-1276720355.opb 0.00/0.00 c File size is 530659 bytes. 0.03/0.09 c Highest Coefficient sum: 400 0.03/0.09 c Parsing was ok!! 0.03/0.09 c Total parsing time: 0.089 s 0.03/0.10 c Var: 6604 Constr: 13011 6404/403/6204 Lit: 51032 Watch. Lit: 44246 0.03/0.10 c Obj. Vars: 0 (0 % of total variables) 9.08/9.15 c Pre-processing Time: 9.152 s 9.08/9.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.08/9.15 c 0 6604 13011 51032 3 44246 169265 0 0 9.15 9.08/9.15 c Switching off lower bounding mode. 1798.00/1798.51 c 186 6604 13197 105253 7 44618 186192 186 19 9.36 1798.00/1798.51 c 349 6604 13360 166981 12 44944 204812 349 37 9.43 1798.00/1798.51 c 579 6604 13590 252736 18 45404 225294 579 60 9.56 1798.00/1798.51 c 940 6604 13951 385491 27 46126 247824 940 95 9.84 1798.00/1798.51 c 1451 6604 14462 580072 40 47148 272607 1451 143 10.13 1798.00/1798.51 c 2216 6604 15227 869964 57 48678 299868 2216 206 10.71 1798.00/1798.51 c 3362 6604 16373 1306864 79 50970 329855 3362 286 11.73 1798.00/1798.51 c 5086 6604 18097 1964885 108 54418 362841 5086 359 14.13 1798.00/1798.51 c 7672 6604 20683 2951526 142 59590 399126 7672 416 18.41 1798.00/1798.51 c 11552 6604 24563 4402211 179 67350 439039 11552 340 33.93 1798.00/1798.51 c 17378 6604 30389 6608181 217 79002 482943 17378 256 67.72 1798.00/1798.51 c 26116 6604 39127 9893698 252 96478 531238 26116 227 114.61 1798.00/1798.51 c 39226 6604 52237 14728465 281 122698 584362 39226 181 216.12 1798.00/1798.51 c 58898 6604 71909 21931757 304 162042 642799 58898 153 384.79 1798.00/1798.51 c 88409 6604 101420 32533336 320 221064 707079 88409 116 761.37 1798.00/1798.51 c 132679 6604 145690 48804503 334 309604 777787 132679 86 1531.26 1798.00/1798.51 c Resources Exceeded 1798.00/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.51 c 16 150061 6793 179665 163072 55439837 150061 83 1798.02 1798.00/1798.51 s UNKNOWN 1798.00/1798.51 c Total time: 1798.02 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-2671161-1276720355/watcher-2671161-1276720355 -o /tmp/evaluation-result-2671161-1276720355/solver-2671161-1276720355 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671161-1276720355.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.97 3/106 19113 /proc/meminfo: memFree=1861544/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=11456 CPUtime=0 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 13330672 11730944 279 1992294400 134512640 137138936 4289463568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 2864 279 174 642 0 2090 0 [startup+0.038085 s] /proc/loadavg: 1.00 1.00 0.97 3/106 19113 /proc/meminfo: memFree=1861544/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=12128 CPUtime=0.03 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 563 0 0 0 3 0 0 0 18 0 1 0 13330672 12419072 481 1992294400 134512640 137138936 4289463568 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3032 481 217 642 0 2258 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12128 [startup+0.10109 s] /proc/loadavg: 1.00 1.00 0.97 3/106 19113 /proc/meminfo: memFree=1861544/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=0.09 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1333 0 0 0 9 0 0 0 20 0 1 0 13330672 14696448 1121 1992294400 134512640 137138936 4289463568 18446744073709551615 134566389 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1121 184 642 0 2944 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14352 [startup+0.301114 s] /proc/loadavg: 1.00 1.00 0.97 3/106 19113 /proc/meminfo: memFree=1861544/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=0.29 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1356 0 0 0 29 0 0 0 20 0 1 0 13330672 14696448 1144 1992294400 134512640 137138936 4289463568 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1144 184 642 0 2944 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14352 [startup+0.701161 s] /proc/loadavg: 1.00 1.00 0.97 3/106 19113 /proc/meminfo: memFree=1861544/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=0.69 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1356 0 0 0 69 0 0 0 21 0 1 0 13330672 14696448 1144 1992294400 134512640 137138936 4289463568 18446744073709551615 134566392 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1144 184 642 0 2944 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14352 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1858064/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=1.49 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1357 0 0 0 149 0 0 0 23 0 1 0 13330672 14696448 1145 1992294400 134512640 137138936 4289463568 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1145 184 642 0 2944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14352 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1857816/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=3.09 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1357 0 0 0 309 0 0 0 25 0 1 0 13330672 14696448 1145 1992294400 134512640 137138936 4289463568 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1145 184 642 0 2944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14352 [startup+6.30182 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1857692/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=14352 CPUtime=6.29 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 1357 0 0 0 628 1 0 0 25 0 1 0 13330672 14696448 1145 1992294400 134512640 137138936 4289463568 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 3588 1145 184 642 0 2944 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14352 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1840340/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=33604 CPUtime=12.68 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 6507 0 0 0 1261 7 0 0 25 0 1 0 13330672 34410496 5967 1992294400 134512640 137138936 4289463568 18446744073709551615 134573766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 8401 5967 190 642 0 7757 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33604 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1809960/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=62408 CPUtime=25.48 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 13700 0 0 0 2534 14 0 0 25 0 1 0 13330672 63905792 13160 1992294400 134512640 137138936 4289463568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 15602 13160 190 642 0 14958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 62408 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19114 /proc/meminfo: memFree=1785408/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=86988 CPUtime=51.08 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 19857 0 0 0 5087 21 0 0 25 0 1 0 13330672 89075712 19317 1992294400 134512640 137138936 4289463568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 21747 19317 190 642 0 21103 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86988 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19116 /proc/meminfo: memFree=1739404/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=132520 CPUtime=102.27 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 31227 0 0 0 10195 32 0 0 25 0 1 0 13330672 135700480 30687 1992294400 134512640 137138936 4289463568 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 33130 30687 190 642 0 32486 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 132520 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19118 /proc/meminfo: memFree=1698732/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=173180 CPUtime=162.24 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 41395 0 0 0 16182 42 0 0 25 0 1 0 13330672 177336320 40855 1992294400 134512640 137138936 4289463568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 43295 40855 190 642 0 42651 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 173180 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19120 /proc/meminfo: memFree=1662400/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=209284 CPUtime=222.23 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 50426 0 0 0 22170 53 0 0 25 0 1 0 13330672 214306816 49886 1992294400 134512640 137138936 4289463568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 52321 49886 190 642 0 51677 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 209284 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19120 /proc/meminfo: memFree=1625448/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=246364 CPUtime=282.22 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 59702 0 0 0 28157 65 0 0 25 0 1 0 13330672 252276736 59162 1992294400 134512640 137138936 4289463568 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 61591 59162 190 642 0 60947 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 246364 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19122 /proc/meminfo: memFree=1594448/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=276992 CPUtime=342.2 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 67345 0 0 0 34146 74 0 0 25 0 1 0 13330672 283639808 66805 1992294400 134512640 137138936 4289463568 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 69248 66805 190 642 0 68604 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 276992 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19124 /proc/meminfo: memFree=1565556/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=305992 CPUtime=402.18 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 74611 0 0 0 40134 84 0 0 25 0 1 0 13330672 313335808 74071 1992294400 134512640 137138936 4289463568 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 76498 74071 190 642 0 75854 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 305992 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19126 /proc/meminfo: memFree=1543360/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=327904 CPUtime=462.16 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 80074 0 0 0 46126 90 0 0 25 0 1 0 13330672 335773696 79534 1992294400 134512640 137138936 4289463568 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 81976 79534 190 642 0 81332 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 327904 [startup+522.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19128 /proc/meminfo: memFree=1522280/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=349132 CPUtime=522.15 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 85386 0 0 0 52118 97 0 0 25 0 1 0 13330672 357511168 84846 1992294400 134512640 137138936 4289463568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 87283 84846 190 642 0 86639 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 349132 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19128 /proc/meminfo: memFree=1496364/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=374780 CPUtime=582.13 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 91791 0 0 0 58106 107 0 0 25 0 1 0 13330672 383774720 91251 1992294400 134512640 137138936 4289463568 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 93695 91251 190 642 0 93051 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 374780 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19130 /proc/meminfo: memFree=1475284/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=395648 CPUtime=642.12 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 97014 0 0 0 64098 114 0 0 25 0 1 0 13330672 405143552 96474 1992294400 134512640 137138936 4289463568 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 98912 96474 190 642 0 98268 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 395648 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1343596/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=526904 CPUtime=1062.01 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 129830 0 0 0 106046 155 0 0 25 0 1 0 13330672 539549696 129290 1992294400 134512640 137138936 4289463568 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 131726 129290 190 642 0 131082 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 526904 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19144 /proc/meminfo: memFree=1324004/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=546384 CPUtime=1121.99 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 134691 0 0 0 112038 161 0 0 25 0 1 0 13330672 559497216 134151 1992294400 134512640 137138936 4289463568 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 136596 134151 190 642 0 135952 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 546384 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19144 /proc/meminfo: memFree=1306644/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=563816 CPUtime=1181.97 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 139065 0 0 0 118030 167 0 0 25 0 1 0 13330672 577347584 138525 1992294400 134512640 137138936 4289463568 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 140954 138525 190 642 0 140310 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 563816 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19146 /proc/meminfo: memFree=1290772/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=579324 CPUtime=1241.96 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 142928 0 0 0 124024 172 0 0 25 0 1 0 13330672 593227776 142388 1992294400 134512640 137138936 4289463568 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 144831 142388 190 642 0 144187 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 579324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19148 /proc/meminfo: memFree=1277008/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=592824 CPUtime=1301.95 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 146317 0 0 0 130019 176 0 0 25 0 1 0 13330672 607051776 145777 1992294400 134512640 137138936 4289463568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 148206 145777 190 642 0 147562 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 592824 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19150 /proc/meminfo: memFree=1264484/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=605552 CPUtime=1361.92 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 149487 0 0 0 136013 179 0 0 25 0 1 0 13330672 620085248 148947 1992294400 134512640 137138936 4289463568 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 151388 148947 190 642 0 150744 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 605552 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19152 /proc/meminfo: memFree=1247372/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=622564 CPUtime=1421.91 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 153746 0 0 0 142005 186 0 0 25 0 1 0 13330672 637505536 153206 1992294400 134512640 137138936 4289463568 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 155641 153206 190 642 0 154997 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 622564 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19152 /proc/meminfo: memFree=1233608/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=636268 CPUtime=1481.9 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 157175 0 0 0 147999 191 0 0 25 0 1 0 13330672 651538432 156635 1992294400 134512640 137138936 4289463568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 159067 156635 190 642 0 158423 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 636268 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19154 /proc/meminfo: memFree=1217364/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=652588 CPUtime=1541.87 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 161243 0 0 0 153992 195 0 0 25 0 1 0 13330672 668250112 160703 1992294400 134512640 137138936 4289463568 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 163147 160703 190 642 0 162503 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 652588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19156 /proc/meminfo: memFree=1198640/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=671312 CPUtime=1601.86 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 165935 0 0 0 159985 201 0 0 25 0 1 0 13330672 687423488 165395 1992294400 134512640 137138936 4289463568 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 167828 165395 190 642 0 167184 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 671312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19158 /proc/meminfo: memFree=1184752/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=685080 CPUtime=1661.85 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 169370 0 0 0 165981 204 0 0 25 0 1 0 13330672 701521920 168830 1992294400 134512640 137138936 4289463568 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 171270 168830 190 642 0 170626 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 685080 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19169 /proc/meminfo: memFree=1170988/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=698536 CPUtime=1721.82 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 172730 0 0 0 171974 208 0 0 25 0 1 0 13330672 715300864 172190 1992294400 134512640 137138936 4289463568 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 174634 172190 190 642 0 173990 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 698536 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19169 /proc/meminfo: memFree=1149908/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=719808 CPUtime=1781.8 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 178052 0 0 0 177965 215 0 0 25 0 1 0 13330672 737083392 177512 1992294400 134512640 137138936 4289463568 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 179952 177512 190 642 0 179308 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 719808 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1140980/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=728436 CPUtime=1791.4 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 180209 0 0 0 178923 217 0 0 25 0 1 0 13330672 745918464 179669 1992294400 134512640 137138936 4289463568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 182109 179669 190 642 0 181465 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 728436 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1137632/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=731672 CPUtime=1794.6 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 181027 0 0 0 179242 218 0 0 25 0 1 0 13330672 749232128 180487 1992294400 134512640 137138936 4289463568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 182918 180487 190 642 0 182274 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 731672 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1136268/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=733668 CPUtime=1796.19 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 181515 0 0 0 179401 218 0 0 25 0 1 0 13330672 751276032 180975 1992294400 134512640 137138936 4289463568 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 183417 180975 190 642 0 182773 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 733668 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1134904/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=734640 CPUtime=1796.99 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 181761 0 0 0 179481 218 0 0 25 0 1 0 13330672 752271360 181221 1992294400 134512640 137138936 4289463568 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 183660 181221 190 642 0 183016 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 734640 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1134904/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=735656 CPUtime=1797.8 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 182022 0 0 0 179561 219 0 0 25 0 1 0 13330672 753311744 181482 1992294400 134512640 137138936 4289463568 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 183914 181482 190 642 0 183270 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 735656 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.97 2/107 19171 /proc/meminfo: memFree=1133540/2059040 swapFree=4139900/4192956 [pid=19113] ppid=19111 vsize=735980 CPUtime=1798 /proc/19113/stat : 19113 (bsolo_pb10) R 19111 19113 18708 0 -1 4202496 182094 0 0 0 179581 219 0 0 25 0 1 0 13330672 753643520 181554 1992294400 134512640 137138936 4289463568 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19113/statm: 183995 181554 190 642 0 183351 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 735980 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798.09 CPU user time (s): 1795.82 CPU system time (s): 2.26166 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 735980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.82 system time used= 2.26166 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 182096 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= 2734 runsolver used 3.10553 second user time and 8.35073 second system time The end
Begin job on node033 at 2010-06-16 22:32:35 IDJOB=2671161 IDBENCH=48292 IDSOLVER=1163 FILE ID=node033/2671161-1276720355 PBS_JOBID= 11174152 Free space on /tmp= 62592 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_1_15.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671161-1276720355/watcher-2671161-1276720355 -o /tmp/evaluation-result-2671161-1276720355/solver-2671161-1276720355 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671161-1276720355.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 32f819d2d20a6499e6a06537844c7dde RANDOM SEED=1422540583 node033.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.242 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.48 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.242 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: 1862816 kB Buffers: 23324 kB Cached: 86076 kB SwapCached: 6868 kB Active: 86488 kB Inactive: 36500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1862816 kB SwapTotal: 4192956 kB SwapFree: 4139900 kB Dirty: 4100 kB Writeback: 0 kB AnonPages: 10900 kB Mapped: 13064 kB Slab: 51492 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181084 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-2671161-1276720355.opb Free space on /tmp at the end= 62584 MiB End job on node033 at 2010-06-16 23:02:34