Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | ? | 1798.11 | 1798.55 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb |
MD5SUM | 6671ed3c9b389a2223dba62c8a435d2e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
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-2671334-1276723037.opb 0.00/0.00 c File size is 1388292 bytes. 0.19/0.23 c Highest Coefficient sum: 1000 0.19/0.23 c Parsing was ok!! 0.19/0.23 c Total parsing time: 0.237 s 0.19/0.26 c Var: 16722 Constr: 32947 16222/1003/15722 Lit: 129276 Watch. Lit: 112137 0.19/0.26 c Obj. Vars: 0 (0 % of total variables) 30.69/30.79 c Pre-processing Time: 30.79 s 30.69/30.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.69/30.80 c 0 16722 32947 129276 3 112137 430751 0 0 30.79 30.69/30.80 c Switching off lower bounding mode. 1797.96/1798.45 c 100 16722 33048 130574 3 112418 473827 101 3 31.36 1797.96/1798.45 c 250 16722 33198 132017 3 112718 521210 251 7 31.74 1797.96/1798.45 c 475 16722 33423 134180 4 113168 573332 476 14 32.63 1797.96/1798.45 c 814 16722 33762 141741 4 113846 630666 815 24 33.42 1797.96/1798.45 c 1322 16722 34272 212952 6 114866 693733 1325 38 34.71 1797.96/1798.45 c 2085 16722 35073 723462 20 116468 763107 2126 44 46.65 1797.96/1798.45 c 3231 16722 36275 1011825 27 119037 839418 3328 63 50.92 1797.96/1798.45 c 4952 16722 38140 2106191 55 123015 923360 5193 64 76.40 1797.96/1798.45 c 7536 16722 40901 3499209 85 128950 500000 7954 71 106.10 1797.96/1798.45 c 11415 16722 45080 6092346 135 146365 550001 12133 69 164.79 1797.96/1798.45 c 17238 16722 51090 9499335 185 160721 605002 18143 89 192.52 1797.96/1798.45 c 25975 16722 60262 14776557 245 179296 665503 27315 103 251.54 1797.96/1798.45 c 39085 16722 73990 23085573 312 211812 732054 41043 113 345.00 1797.96/1798.45 c 58758 16722 94422 36668933 388 253506 805260 61475 124 472.34 1797.96/1798.45 c 88269 16722 124858 56518415 452 315314 885787 91911 128 684.54 1797.96/1798.45 c Reducing formula size due to memory constraints 1797.96/1798.45 c Memory Limit: 1000.00 MB Used: 1006.22 MB 1797.96/1798.45 c 132539 16722 58043 14885093 256 163839 57168 25096 128 1032.57 1797.96/1798.45 c 198949 16722 68437 21741386 317 183930 62885 35490 114 1737.96 1797.96/1798.45 c Resources Exceeded 1797.96/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.45 c 17 204933 86409 3557897 74757 25438604 41810 113 1798.01 1797.96/1798.45 s UNKNOWN 1797.96/1798.45 c Total time: 1798.01 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-2671334-1276723037/watcher-2671334-1276723037 -o /tmp/evaluation-result-2671334-1276723037/solver-2671334-1276723037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671334-1276723037.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.02 1.00 3/106 17497 /proc/meminfo: memFree=1852860/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20112 CPUtime=0 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 368 0 0 0 0 0 0 0 18 0 1 0 13595659 20594688 286 1992294400 134512640 137138936 4294278064 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5028 286 174 642 0 4045 0 [startup+0.085261 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17497 /proc/meminfo: memFree=1852860/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=14136 CPUtime=0.08 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 917 0 0 0 8 0 0 0 20 0 1 0 13595659 14475264 835 1992294400 134512640 137138936 4294278064 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 3534 835 281 642 0 2551 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14136 [startup+0.101263 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17497 /proc/meminfo: memFree=1852860/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=14412 CPUtime=0.09 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 1024 0 0 0 9 0 0 0 20 0 1 0 13595659 14757888 942 1992294400 134512640 137138936 4294278064 18446744073709551615 134519984 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 3603 942 304 642 0 2620 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14412 [startup+0.301281 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17497 /proc/meminfo: memFree=1852860/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=0.29 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2961 0 0 0 28 1 0 0 20 0 1 0 13595659 20647936 2540 1992294400 134512640 137138936 4294278064 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2540 184 642 0 4397 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20164 [startup+0.701319 s] /proc/loadavg: 1.00 1.02 1.00 3/106 17497 /proc/meminfo: memFree=1852860/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=0.7 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2967 0 0 0 68 2 0 0 20 0 1 0 13595659 20647936 2546 1992294400 134512640 137138936 4294278064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2546 184 642 0 4397 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 20164 [startup+1.50139 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17498 /proc/meminfo: memFree=1843800/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=1.5 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2967 0 0 0 148 2 0 0 23 0 1 0 13595659 20647936 2546 1992294400 134512640 137138936 4294278064 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2546 184 642 0 4397 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 20164 [startup+3.10154 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17498 /proc/meminfo: memFree=1843552/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=3.09 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2968 0 0 0 307 2 0 0 25 0 1 0 13595659 20647936 2547 1992294400 134512640 137138936 4294278064 18446744073709551615 136504219 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2547 184 642 0 4397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20164 [startup+6.30084 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17498 /proc/meminfo: memFree=1843428/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=6.29 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2968 0 0 0 626 3 0 0 25 0 1 0 13595659 20647936 2547 1992294400 134512640 137138936 4294278064 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2547 184 642 0 4397 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20164 [startup+12.7014 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17498 /proc/meminfo: memFree=1843428/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=12.69 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2968 0 0 0 1264 5 0 0 25 0 1 0 13595659 20647936 2547 1992294400 134512640 137138936 4294278064 18446744073709551615 136504476 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2547 184 642 0 4397 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20164 [startup+25.5006 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17498 /proc/meminfo: memFree=1843428/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=20164 CPUtime=25.48 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 2968 0 0 0 2541 7 0 0 25 0 1 0 13595659 20647936 2547 1992294400 134512640 137138936 4294278064 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 5041 2547 184 642 0 4397 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20164 [startup+51.101 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17500 /proc/meminfo: memFree=1832392/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=32252 CPUtime=51.08 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 6628 0 0 0 5081 27 0 0 25 0 1 0 13595659 33026048 5586 1992294400 134512640 137138936 4294278064 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 8063 5586 192 642 0 7419 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32252 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17500 /proc/meminfo: memFree=1801392/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=62220 CPUtime=102.27 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 14103 0 0 0 10192 35 0 0 25 0 1 0 13595659 63713280 13061 1992294400 134512640 137138936 4294278064 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 15555 13061 192 642 0 14911 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 62220 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17502 /proc/meminfo: memFree=1771508/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=92584 CPUtime=162.25 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 21711 0 0 0 16183 42 0 0 25 0 1 0 13595659 94806016 20669 1992294400 134512640 137138936 4294278064 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 23146 20669 192 642 0 22502 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 92584 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17504 /proc/meminfo: memFree=1689172/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=174432 CPUtime=222.24 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 42156 0 0 0 22149 75 0 0 25 0 1 0 13595659 178618368 41114 1992294400 134512640 137138936 4294278064 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 43608 41114 192 642 0 42964 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 174432 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17506 /proc/meminfo: memFree=1621840/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=242248 CPUtime=282.23 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 59111 0 0 0 28117 106 0 0 25 0 1 0 13595659 248061952 58069 1992294400 134512640 137138936 4294278064 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 60562 58069 192 642 0 59918 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 242248 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17508 /proc/meminfo: memFree=1550416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=313012 CPUtime=342.21 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 76801 0 0 0 34090 131 0 0 25 0 1 0 13595659 320524288 75759 1992294400 134512640 137138936 4294278064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 78253 75759 192 642 0 77609 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 313012 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17508 /proc/meminfo: memFree=1466716/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=397004 CPUtime=402.2 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 97831 0 0 0 40064 156 0 0 25 0 1 0 13595659 406532096 96789 1992294400 134512640 137138936 4294278064 18446744073709551615 134599978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 99251 96789 192 642 0 98607 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 397004 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17510 /proc/meminfo: memFree=1383636/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=479500 CPUtime=462.18 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 118429 0 0 0 46038 180 0 0 25 0 1 0 13595659 491008000 117387 1992294400 134512640 137138936 4294278064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 119875 117387 192 642 0 119231 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 479500 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17512 /proc/meminfo: memFree=1313824/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=549680 CPUtime=522.16 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 135981 0 0 0 52015 201 0 0 25 0 1 0 13595659 562872320 134939 1992294400 134512640 137138936 4294278064 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 137420 134939 192 642 0 136776 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 549680 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17514 /proc/meminfo: memFree=1243640/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=619388 CPUtime=582.15 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 153418 0 0 0 57993 222 0 0 25 0 1 0 13595659 634253312 152376 1992294400 134512640 137138936 4294278064 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 154847 152376 192 642 0 154203 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 619388 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17516 /proc/meminfo: memFree=1165024/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=697004 CPUtime=642.14 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 172822 0 0 0 63964 250 0 0 25 0 1 0 13595659 713732096 171780 1992294400 134512640 137138936 4294278064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 174251 171780 192 642 0 173607 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 697004 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1062.03 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 105786 417 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1043500 [startup+1122.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 17531 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1122.02 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 111771 431 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1043500 [startup+1182.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 17533 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1182 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 117748 452 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134533448 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1043500 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 17535 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1241.99 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 123738 461 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1043500 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 17535 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1301.98 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 129721 477 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136511128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1043500 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17537 /proc/meminfo: memFree=814540/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1361.96 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 135704 492 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1043500 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 17539 /proc/meminfo: memFree=814540/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1421.95 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 141689 506 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134543275 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1043500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17541 /proc/meminfo: memFree=814540/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1481.93 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 147678 515 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1043500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17543 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1541.91 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 153668 523 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1043500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17543 /proc/meminfo: memFree=814540/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1601.9 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 159652 538 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136506344 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1043500 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17545 /proc/meminfo: memFree=814540/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1661.88 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 165637 551 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1043500 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 17547 /proc/meminfo: memFree=814416/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1721.87 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 171629 558 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1043500 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1781.85 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 177606 579 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1043500 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1791.46 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 178565 581 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 1043500 [startup+1795.1 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1794.66 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 178885 581 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 1043500 [startup+1796.7 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1796.25 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 179044 581 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (KiB) 1043500 [startup+1797.5 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1797.05 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 179124 581 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1797.05 Current children cumulated vsize (KiB) 1043500 [startup+1798.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=1043500 CPUtime=1797.85 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202496 259556 0 0 0 179204 581 0 0 25 0 1 0 13595659 1068544000 258390 1992294400 134512640 137138936 4294278064 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17497/statm: 260875 258390 192 642 0 260231 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 1043500 [startup+1798.51 s] /proc/loadavg: 1.01 1.01 1.00 2/107 17549 /proc/meminfo: memFree=814168/2059040 swapFree=4140780/4192956 [pid=17497] ppid=17495 vsize=0 CPUtime=1798.06 /proc/17497/stat : 17497 (bsolo_pb10) R 17495 17497 16897 0 -1 4202500 259556 0 0 0 179219 587 0 0 25 0 1 0 13595659 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/17497/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.11 CPU user time (s): 1792.19 CPU system time (s): 5.9151 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1043996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.19 system time used= 5.9151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 259556 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= 2363 runsolver used 3.00454 second user time and 8.45371 second system time The end
Begin job on node048 at 2010-06-16 23:17:17 IDJOB=2671334 IDBENCH=48350 IDSOLVER=1162 FILE ID=node048/2671334-1276723037 PBS_JOBID= 11174154 Free space on /tmp= 62456 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_3_80.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671334-1276723037/watcher-2671334-1276723037 -o /tmp/evaluation-result-2671334-1276723037/solver-2671334-1276723037 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671334-1276723037.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6671ed3c9b389a2223dba62c8a435d2e RANDOM SEED=2132068589 node048.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.212 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.42 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.212 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1854752 kB Buffers: 27748 kB Cached: 98700 kB SwapCached: 3916 kB Active: 33588 kB Inactive: 104056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1854752 kB SwapTotal: 4192956 kB SwapFree: 4140780 kB Dirty: 4360 kB Writeback: 0 kB AnonPages: 11164 kB Mapped: 13124 kB Slab: 44732 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183264 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-2671334-1276723037.opb Free space on /tmp at the end= 62452 MiB End job on node048 at 2010-06-16 23:47:16