Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.13 | 1798.56 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_40.opb |
MD5SUM | 67a15ea3b760eccb0e507c1f93bad0e1 |
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 | 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 | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877855-1245215678.opb 0.00/0.00 c File size is 531711 bytes. 0.05/0.07 c Highest Coefficient sum: 400 0.05/0.07 c Parsing was ok!! 0.05/0.07 c Total parsing time: 0.078 s 0.05/0.08 c Var: 6616 Constr: 13035 6416/403/6216 Lit: 51128 Watch. Lit: 44355 0.05/0.08 c Obj. Vars: 0 (0 % of total variables) 9.18/9.28 c Pre-processing Time: 9.284 s 9.18/9.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.18/9.29 c 0 6616 13035 51128 3 44355 169751 0 0 9.28 9.18/9.29 c Switching off lower bounding mode. 1797.96/1798.43 c 161 6616 13196 96049 7 44677 186727 161 17 9.44 1797.96/1798.43 c 324 6616 13359 153624 11 45003 205400 324 34 9.51 1797.96/1798.43 c 561 6616 13596 236159 17 45477 225941 561 58 9.63 1797.96/1798.43 c 935 6616 13970 364078 26 46225 248536 935 94 9.86 1797.96/1798.43 c 1450 6616 14485 547141 37 47255 273390 1450 143 10.12 1797.96/1798.43 c 2219 6616 15254 819253 53 48793 300730 2219 207 10.68 1797.96/1798.43 c 3366 6616 16401 1224357 74 51087 330804 3366 293 11.48 1797.96/1798.43 c 5087 6616 18122 1798495 99 54529 363885 5087 380 13.38 1797.96/1798.43 c 7671 6616 20706 2667123 128 59697 400274 7671 430 17.81 1797.96/1798.43 c 11554 6616 24589 3921116 159 67463 440302 11554 432 26.71 1797.96/1798.43 c 17382 6616 30417 5787894 190 79119 484333 17382 370 46.92 1797.96/1798.43 c 26127 6616 39162 8595301 219 96609 532767 26127 294 88.74 1797.96/1798.43 c 39247 6616 52282 12913534 246 122849 586044 39247 244 160.29 1797.96/1798.43 c 58922 6616 71957 19483709 270 162199 644649 58922 187 314.34 1797.96/1798.43 c 88437 6616 101472 29282037 288 221229 709114 88437 135 654.56 1797.96/1798.43 c 132712 6616 145747 44598035 305 309779 780026 132712 104 1272.98 1797.96/1798.43 c Resources Exceeded 1797.96/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.43 c 16 184235 12232 252863 197270 62747770 184235 102 1798.00 1797.96/1798.43 s UNKNOWN 1797.96/1798.43 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-1877855-1245215678/watcher-1877855-1245215678 -o /tmp/evaluation-result-1877855-1245215678/solver-1877855-1245215678 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877855-1245215678.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.01 0.99 0.93 3/64 6949 /proc/meminfo: memFree=1816736/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=19052 CPUtime=0 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 189163455 19509248 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 4763 248 174 640 0 3989 0 [startup+0.056249 s] /proc/loadavg: 1.01 0.99 0.93 3/64 6949 /proc/meminfo: memFree=1816736/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=12612 CPUtime=0.05 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 672 0 0 0 5 0 0 0 18 0 1 0 189163455 12914688 656 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3153 657 259 640 0 2379 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12612 [startup+0.102252 s] /proc/loadavg: 1.01 0.99 0.93 3/64 6949 /proc/meminfo: memFree=1816736/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=0.09 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1291 0 0 0 9 0 0 0 18 0 1 0 189163455 14696448 1145 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1145 189 640 0 2944 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14352 [startup+0.302269 s] /proc/loadavg: 1.01 0.99 0.93 3/64 6949 /proc/meminfo: memFree=1816736/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=0.29 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1294 0 0 0 29 0 0 0 19 0 1 0 189163455 14696448 1148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1148 189 640 0 2944 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14352 [startup+0.701303 s] /proc/loadavg: 1.01 0.99 0.93 3/64 6949 /proc/meminfo: memFree=1816736/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=0.7 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1295 0 0 0 69 1 0 0 22 0 1 0 189163455 14696448 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1149 189 640 0 2944 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14352 [startup+1.50137 s] /proc/loadavg: 1.01 0.99 0.93 2/65 6950 /proc/meminfo: memFree=1812888/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=1.49 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1297 0 0 0 148 1 0 0 25 0 1 0 189163455 14696448 1151 1992294400 134512640 137136520 4294956256 18446744073709551615 136502276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1151 189 640 0 2944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14352 [startup+3.10151 s] /proc/loadavg: 1.01 0.99 0.93 2/65 6950 /proc/meminfo: memFree=1812760/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=3.09 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1297 0 0 0 308 1 0 0 25 0 1 0 189163455 14696448 1151 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1151 189 640 0 2944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14352 [startup+6.3018 s] /proc/loadavg: 1.09 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1812568/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=14352 CPUtime=6.29 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 1297 0 0 0 627 2 0 0 25 0 1 0 189163455 14696448 1151 1992294400 134512640 137136520 4294956256 18446744073709551615 134544786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 3588 1151 189 640 0 2944 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14352 [startup+12.7014 s] /proc/loadavg: 1.08 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1794328/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=35288 CPUtime=12.69 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 6867 0 0 0 1261 8 0 0 25 0 1 0 189163455 36134912 6393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 8822 6393 196 640 0 8178 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35288 [startup+25.5015 s] /proc/loadavg: 1.06 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1764248/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=63316 CPUtime=25.49 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 13882 0 0 0 2536 13 0 0 25 0 1 0 189163455 64835584 13408 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 15829 13408 196 640 0 15185 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63316 [startup+51.1017 s] /proc/loadavg: 1.04 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1734040/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=93656 CPUtime=51.08 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 21449 0 0 0 5088 20 0 0 25 0 1 0 189163455 95903744 20975 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 23414 20975 196 640 0 22770 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 93656 [startup+102.305 s] /proc/loadavg: 1.02 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1690712/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=136200 CPUtime=102.27 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 32092 0 0 0 10198 29 0 0 25 0 1 0 189163455 139468800 31618 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 34050 31618 196 640 0 33406 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136200 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1643352/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=183952 CPUtime=162.25 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 44023 0 0 0 16185 40 0 0 25 0 1 0 189163455 188366848 43549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 45988 43549 196 640 0 45344 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 183952 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.93 2/65 6950 /proc/meminfo: memFree=1603864/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=222888 CPUtime=222.24 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 53772 0 0 0 22175 49 0 0 25 0 1 0 189163455 228237312 53298 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 55722 53298 196 640 0 55078 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 222888 [startup+282.302 s] /proc/loadavg: 1.06 1.01 0.94 2/65 6950 /proc/meminfo: memFree=1573528/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=253384 CPUtime=282.22 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 61392 0 0 0 28165 57 0 0 25 0 1 0 189163455 259465216 60918 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 63346 60918 196 640 0 62702 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 253384 [startup+342.302 s] /proc/loadavg: 1.07 1.03 0.94 2/65 6950 /proc/meminfo: memFree=1546712/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=279964 CPUtime=342.2 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 68037 0 0 0 34157 63 0 0 25 0 1 0 189163455 286683136 67563 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 69991 67563 196 640 0 69347 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 279964 [startup+402.303 s] /proc/loadavg: 1.02 1.02 0.94 2/65 6950 /proc/meminfo: memFree=1522712/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=304152 CPUtime=402.19 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 74076 0 0 0 40149 70 0 0 25 0 1 0 189163455 311451648 73602 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 76038 73602 196 640 0 75394 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 304152 [startup+462.303 s] /proc/loadavg: 1.01 1.01 0.94 2/65 6950 /proc/meminfo: memFree=1500824/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=325712 CPUtime=462.18 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 79469 0 0 0 46143 75 0 0 25 0 1 0 189163455 333529088 78995 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 81428 78995 196 640 0 80784 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 325712 [startup+522.302 s] /proc/loadavg: 1.00 1.01 0.94 2/65 6950 /proc/meminfo: memFree=1477720/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=349012 CPUtime=522.16 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 85302 0 0 0 52135 81 0 0 25 0 1 0 189163455 357388288 84828 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 87253 84828 196 640 0 86609 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 349012 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1455192/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=371252 CPUtime=582.15 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 90848 0 0 0 58128 87 0 0 25 0 1 0 189163455 380162048 90374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 92813 90374 196 640 0 92169 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 371252 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1434456/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=391688 CPUtime=642.14 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 95969 0 0 0 64121 93 0 0 25 0 1 0 189163455 401088512 95495 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 97922 95496 196 640 0 97278 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 391688 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1291800/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=534276 CPUtime=1062.03 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 131621 0 0 0 106075 128 0 0 25 0 1 0 189163455 547098624 131147 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 133569 131147 196 640 0 132925 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 534276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1273560/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=552356 CPUtime=1122.02 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 136129 0 0 0 112069 133 0 0 25 0 1 0 189163455 565612544 135655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 138089 135655 196 640 0 137445 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 552356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1256088/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=569924 CPUtime=1182 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 140525 0 0 0 118062 138 0 0 25 0 1 0 189163455 583602176 140051 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 142481 140051 196 640 0 141837 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 569924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1239256/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=586508 CPUtime=1241.99 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 144666 0 0 0 124056 143 0 0 25 0 1 0 189163455 600584192 144192 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 146627 144192 196 640 0 145983 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 586508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1220888/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=604708 CPUtime=1301.98 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 149226 0 0 0 130051 147 0 0 25 0 1 0 189163455 619220992 148752 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 151177 148752 196 640 0 150533 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 604708 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1191256/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=634532 CPUtime=1361.97 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 156685 0 0 0 136041 156 0 0 25 0 1 0 189163455 649760768 156211 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 158633 156211 196 640 0 157989 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 634532 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1158488/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=667096 CPUtime=1421.96 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 164809 0 0 0 142032 164 0 0 25 0 1 0 189163455 683106304 164335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 166774 164335 196 640 0 166130 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 667096 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1129432/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=696332 CPUtime=1481.94 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 172118 0 0 0 148024 170 0 0 25 0 1 0 189163455 713043968 171644 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 174083 171644 196 640 0 173439 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 696332 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1098712/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=726720 CPUtime=1541.92 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 179715 0 0 0 154017 175 0 0 25 0 1 0 189163455 744161280 179241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 181680 179241 196 640 0 181036 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 726720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1072024/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=753660 CPUtime=1601.91 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 186450 0 0 0 160009 182 0 0 25 0 1 0 189163455 771747840 185976 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 188415 185976 196 640 0 187771 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 753660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1045400/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=779956 CPUtime=1661.89 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 193026 0 0 0 166002 187 0 0 25 0 1 0 189163455 798674944 192552 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 194989 192552 196 640 0 194345 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 779956 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=1022552/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=802940 CPUtime=1721.88 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 198772 0 0 0 171995 193 0 0 25 0 1 0 189163455 822210560 198298 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 200735 198298 196 640 0 200091 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 802940 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=999064/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=826096 CPUtime=1781.87 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 204578 0 0 0 177988 199 0 0 25 0 1 0 189163455 845922304 204104 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 206524 204104 196 640 0 205880 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 826096 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=995288/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=829672 CPUtime=1791.46 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 205471 0 0 0 178947 199 0 0 25 0 1 0 189163455 849584128 204997 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 207418 204997 196 640 0 206774 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 829672 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=994072/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=830964 CPUtime=1794.67 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 205776 0 0 0 179267 200 0 0 25 0 1 0 189163455 850907136 205302 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 207741 205302 196 640 0 207097 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 830964 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=993752/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=831496 CPUtime=1796.26 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 205926 0 0 0 179426 200 0 0 25 0 1 0 189163455 851451904 205452 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 207874 205452 196 640 0 207230 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 831496 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=993240/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=831800 CPUtime=1797.06 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 206003 0 0 0 179506 200 0 0 25 0 1 0 189163455 851763200 205529 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 207950 205529 196 640 0 207306 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (KiB) 831800 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=993240/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=832128 CPUtime=1797.86 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194304 206072 0 0 0 179586 200 0 0 25 0 1 0 189163455 852099072 205598 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 208032 205598 196 640 0 207388 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 832128 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.94 2/65 6950 /proc/meminfo: memFree=992856/2055920 swapFree=4192952/4192956 [pid=6949] ppid=6947 vsize=0 CPUtime=1798.07 /proc/6949/stat : 6949 (bsolo) R 6947 6949 6635 0 -1 4194308 206086 0 0 0 179600 207 0 0 25 0 1 0 189163455 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6949/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.07 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.13 CPU user time (s): 1796 CPU system time (s): 2.13068 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (KiB): 832128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796 system time used= 2.13068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206086 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= 2 involuntary context switches= 3168 runsolver used 1.17482 second user time and 3.89941 second system time The end
Begin job on node58 at 2009-06-17 07:14:38 IDJOB=1877855 IDBENCH=48340 IDSOLVER=700 FILE ID=node58/1877855-1245215678 PBS_JOBID= 9368412 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_40.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877855-1245215678/watcher-1877855-1245215678 -o /tmp/evaluation-result-1877855-1245215678/solver-1877855-1245215678 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877855-1245215678.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 67a15ea3b760eccb0e507c1f93bad0e1 RANDOM SEED=194159506 node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.243 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.243 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1817536 kB Buffers: 20620 kB Cached: 148288 kB SwapCached: 4 kB Active: 38280 kB Inactive: 144056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1817536 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 4164 kB Writeback: 0 kB Mapped: 23240 kB Slab: 42048 kB Committed_AS: 77516 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877855-1245215678.opb Free space on /tmp at the end= 66556 MiB End job on node58 at 2009-06-17 07:44:38