Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Cl | ? | 1798.15 | 1798.56 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_40.opb |
MD5SUM | 476815bfad4ec3fb3f4fdbbbbf10b706 |
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 | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2516 |
Sum of products size (including duplicates) | 5032 |
Number of different products | 1258 |
Sum of products size | 2516 |
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-2671158-1276720328.opb 0.00/0.00 c File size is 107460 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.019 s 0.00/0.02 c Var: 1458 Constr: 2819 1358/203/1258 Lit: 10764 Watch. Lit: 9249 0.00/0.02 c Obj. Vars: 0 (0 % of total variables) 0.29/0.31 c Pre-processing Time: 0.312 s 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 0 1458 2819 10764 3 9249 21072 0 0 0.31 0.29/0.31 c Switching off lower bounding mode. 1798.09/1798.53 c 105 1458 2924 25496 8 9459 23180 105 314 0.33 1798.09/1798.53 c 268 1458 3087 50116 16 9785 25499 268 736 0.36 1798.09/1798.53 c 502 1458 3321 84367 25 10253 28049 502 1212 0.41 1798.09/1798.53 c 857 1458 3676 134647 36 10963 30854 857 1710 0.50 1798.09/1798.53 c 1370 1458 4189 214224 51 11989 33940 1370 2178 0.63 1798.09/1798.53 c 2136 1458 4955 332009 67 13521 37335 2136 2558 0.83 1798.09/1798.53 c 3282 1458 6101 511003 83 15813 41069 3282 2576 1.27 1798.09/1798.53 c 5006 1458 7825 777708 99 19261 45176 5006 2159 2.32 1798.09/1798.53 c 7594 1458 10413 1177511 113 24437 49694 7594 2000 3.80 1798.09/1798.53 c 11473 1458 14292 1775232 124 32195 54664 11473 1530 7.50 1798.09/1798.53 c 17298 1458 20117 2653344 131 43845 60131 17298 1030 16.78 1798.09/1798.53 c 26039 1458 28858 3975971 137 61327 66145 26039 665 39.12 1798.09/1798.53 c 39149 1458 41968 5947381 141 87547 72760 39149 438 89.33 1798.09/1798.53 c 58820 1458 61639 8971574 145 126889 80037 58820 474 124.05 1798.09/1798.53 c 88334 1458 21762 2832750 130 47135 88041 18943 447 197.46 1798.09/1798.53 c 132613 1458 66041 9500856 143 135693 96846 63222 388 341.21 1798.09/1798.53 c 199043 1458 46556 6525621 140 96723 106531 43737 297 670.15 1798.09/1798.53 c 298668 1458 50663 7128472 140 104937 117185 47844 266 1120.89 1798.09/1798.53 c Resources Exceeded 1798.09/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.09/1798.53 c 18 412518 5296 431018 58362 8272785 55543 229 1798.12 1798.09/1798.53 s UNKNOWN 1798.09/1798.53 c Total time: 1798.12 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-2671158-1276720328/watcher-2671158-1276720328 -o /tmp/evaluation-result-2671158-1276720328/solver-2671158-1276720328 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671158-1276720328.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.92 0.98 0.99 3/106 17381 /proc/meminfo: memFree=1680400/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=10904 CPUtime=0 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 337 0 0 0 0 0 0 0 15 0 1 0 13327920 11165696 256 1992294400 134512640 137138936 4293766992 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 2726 256 175 642 0 2055 0 [startup+0.0262451 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17381 /proc/meminfo: memFree=1680400/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=11464 CPUtime=0.02 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 525 0 0 0 2 0 0 0 18 0 1 0 13327920 11739136 417 1992294400 134512640 137138936 4293766992 18446744073709551615 134543154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 2866 417 184 642 0 2222 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11464 [startup+0.10125 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17381 /proc/meminfo: memFree=1680400/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=11464 CPUtime=0.09 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 525 0 0 0 9 0 0 0 18 0 1 0 13327920 11739136 417 1992294400 134512640 137138936 4293766992 18446744073709551615 136504417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 2866 417 184 642 0 2222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11464 [startup+0.301263 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17381 /proc/meminfo: memFree=1680400/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=11464 CPUtime=0.29 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 525 0 0 0 29 0 0 0 18 0 1 0 13327920 11739136 417 1992294400 134512640 137138936 4293766992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 2866 417 184 642 0 2222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11464 [startup+0.701291 s] /proc/loadavg: 0.92 0.98 0.99 3/106 17381 /proc/meminfo: memFree=1680400/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=14800 CPUtime=0.7 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 1371 0 0 0 69 1 0 0 18 0 1 0 13327920 15155200 1263 1992294400 134512640 137138936 4293766992 18446744073709551615 136511170 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 3700 1263 190 642 0 3056 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14800 [startup+1.50135 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17382 /proc/meminfo: memFree=1674192/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=19060 CPUtime=1.5 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 2429 0 0 0 148 2 0 0 19 0 1 0 13327920 19517440 2321 1992294400 134512640 137138936 4293766992 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 4765 2321 190 642 0 4121 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19060 [startup+3.10046 s] /proc/loadavg: 0.92 0.98 0.99 2/107 17382 /proc/meminfo: memFree=1669728/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=24632 CPUtime=3.09 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 3819 0 0 0 306 3 0 0 23 0 1 0 13327920 25223168 3711 1992294400 134512640 137138936 4293766992 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 6158 3711 190 642 0 5514 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24632 [startup+6.30068 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17382 /proc/meminfo: memFree=1659188/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=33280 CPUtime=6.29 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 5993 0 0 0 624 5 0 0 25 0 1 0 13327920 34078720 5885 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 8320 5885 190 642 0 7676 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33280 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 17382 /proc/meminfo: memFree=1649020/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=42512 CPUtime=12.68 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 8294 0 0 0 1260 8 0 0 25 0 1 0 13327920 43532288 8186 1992294400 134512640 137138936 4293766992 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 10628 8186 190 642 0 9984 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42512 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/107 17384 /proc/meminfo: memFree=1636000/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=54860 CPUtime=25.48 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 11384 0 0 0 2534 14 0 0 25 0 1 0 13327920 56176640 11276 1992294400 134512640 137138936 4293766992 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 13715 11276 190 642 0 13071 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54860 [startup+51.1008 s] /proc/loadavg: 0.96 0.98 0.99 2/107 17384 /proc/meminfo: memFree=1617896/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=73012 CPUtime=51.08 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 15924 0 0 0 5088 20 0 0 25 0 1 0 13327920 74764288 15816 1992294400 134512640 137138936 4293766992 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 18253 15816 190 642 0 17609 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73012 [startup+102.308 s] /proc/loadavg: 1.06 1.00 1.00 2/107 17386 /proc/meminfo: memFree=1585656/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=104932 CPUtime=102.28 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 23904 0 0 0 10195 33 0 0 25 0 1 0 13327920 107450368 23796 1992294400 134512640 137138936 4293766992 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 26233 23796 190 642 0 25589 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 104932 [startup+162.302 s] /proc/loadavg: 1.09 1.02 1.00 2/107 17386 /proc/meminfo: memFree=1520308/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=170528 CPUtime=162.26 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 40301 0 0 0 16169 57 0 0 25 0 1 0 13327920 174620672 40193 1992294400 134512640 137138936 4293766992 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 42632 40193 190 642 0 41988 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 170528 [startup+222.302 s] /proc/loadavg: 1.09 1.03 1.00 2/107 17388 /proc/meminfo: memFree=1511504/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=178384 CPUtime=222.24 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 42354 0 0 0 22158 66 0 0 25 0 1 0 13327920 182665216 42166 1992294400 134512640 137138936 4293766992 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 44596 42166 190 642 0 43952 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 178384 [startup+282.301 s] /proc/loadavg: 1.06 1.03 1.00 2/107 17390 /proc/meminfo: memFree=1511504/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=178384 CPUtime=282.23 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 42354 0 0 0 28153 70 0 0 25 0 1 0 13327920 182665216 42166 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 44596 42166 190 642 0 43952 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 178384 [startup+342.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 17392 /proc/meminfo: memFree=1511504/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=178384 CPUtime=342.22 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 42354 0 0 0 34149 73 0 0 25 0 1 0 13327920 182665216 42166 1992294400 134512640 137138936 4293766992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 44596 42166 190 642 0 43952 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 178384 [startup+402.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17394 /proc/meminfo: memFree=1511380/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=178384 CPUtime=402.21 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 42354 0 0 0 40145 76 0 0 25 0 1 0 13327920 182665216 42166 1992294400 134512640 137138936 4293766992 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 44596 42166 190 642 0 43952 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 178384 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 3/107 17394 /proc/meminfo: memFree=1509644/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=180768 CPUtime=462.19 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 42926 0 0 0 46140 79 0 0 25 0 1 0 13327920 185106432 42738 1992294400 134512640 137138936 4293766992 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 45192 42738 190 642 0 44548 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 180768 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17396 /proc/meminfo: memFree=1492160/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=198256 CPUtime=522.17 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 47313 0 0 0 52132 85 0 0 25 0 1 0 13327920 203014144 47125 1992294400 134512640 137138936 4293766992 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 49564 47125 190 642 0 48920 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 198256 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17398 /proc/meminfo: memFree=1479512/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=210300 CPUtime=582.17 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 50407 0 0 0 58128 89 0 0 25 0 1 0 13327920 215347200 50123 1992294400 134512640 137138936 4293766992 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 52575 50123 190 642 0 51931 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 210300 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17400 /proc/meminfo: memFree=1479388/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=210300 CPUtime=642.15 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 50407 0 0 0 64120 95 0 0 25 0 1 0 13327920 215347200 50123 1992294400 134512640 137138936 4293766992 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 52575 50123 190 642 0 51931 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 210300 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1460044/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1062.05 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 106085 120 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 229236 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17412 /proc/meminfo: memFree=1459920/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1122.05 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 112080 125 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 229236 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17414 /proc/meminfo: memFree=1459920/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1182.03 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 118074 129 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 229236 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17416 /proc/meminfo: memFree=1459796/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1242.02 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 124070 132 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 229236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17418 /proc/meminfo: memFree=1459672/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1302.01 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 130066 135 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 229236 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17418 /proc/meminfo: memFree=1459672/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1361.99 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 136061 138 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 229236 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17420 /proc/meminfo: memFree=1459672/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1421.99 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 142058 141 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 229236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17422 /proc/meminfo: memFree=1459796/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=229236 CPUtime=1481.96 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 55269 0 0 0 148054 142 0 0 25 0 1 0 13327920 234737664 54879 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 57309 54879 190 642 0 56665 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 229236 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17424 /proc/meminfo: memFree=1454960/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=234656 CPUtime=1541.95 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 56616 0 0 0 154049 146 0 0 25 0 1 0 13327920 240287744 56226 1992294400 134512640 137138936 4293766992 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 58664 56226 190 642 0 58020 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 234656 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17426 /proc/meminfo: memFree=1444172/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=245516 CPUtime=1601.94 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 59329 0 0 0 160044 150 0 0 25 0 1 0 13327920 251408384 58939 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 61379 58939 190 642 0 60735 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 245516 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17426 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1661.92 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 166040 152 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 250540 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17428 /proc/meminfo: memFree=1438468/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1721.91 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 172035 156 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 250540 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1781.89 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 178029 160 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 250540 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 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1791.49 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 178989 160 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134575817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (KiB) 250540 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1794.69 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 179309 160 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (KiB) 250540 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1796.28 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 179468 160 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1796.28 Current children cumulated vsize (KiB) 250540 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1797.08 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 179548 160 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1797.08 Current children cumulated vsize (KiB) 250540 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1797.89 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 179628 161 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 250540 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17439 /proc/meminfo: memFree=1438592/2059040 swapFree=4192956/4192956 [pid=17381] ppid=17379 vsize=250540 CPUtime=1798.09 /proc/17381/stat : 17381 (bsolo_pb10) R 17379 17381 16975 0 -1 4202496 60693 0 0 0 179648 161 0 0 25 0 1 0 13327920 256552960 60187 1992294400 134512640 137138936 4293766992 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17381/statm: 62635 60187 190 642 0 61991 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (KiB) 250540 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.15 CPU user time (s): 1796.51 CPU system time (s): 1.63775 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 251004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.51 system time used= 1.63775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60693 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= 2237 runsolver used 2.98655 second user time and 8.47071 second system time The end
Begin job on node034 at 2010-06-16 22:32:08 IDJOB=2671158 IDBENCH=48291 IDSOLVER=1163 FILE ID=node034/2671158-1276720328 PBS_JOBID= 11174149 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_4_40.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671158-1276720328/watcher-2671158-1276720328 -o /tmp/evaluation-result-2671158-1276720328/solver-2671158-1276720328 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671158-1276720328.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 476815bfad4ec3fb3f4fdbbbbf10b706 RANDOM SEED=1850011825 node034.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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1681300 kB Buffers: 106608 kB Cached: 143760 kB SwapCached: 0 kB Active: 130732 kB Inactive: 179360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1681300 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5312 kB Writeback: 0 kB AnonPages: 59652 kB Mapped: 15420 kB Slab: 45852 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182412 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-2671158-1276720328.opb Free space on /tmp at the end= 62512 MiB End job on node034 at 2010-06-16 23:02:07