Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.04 | 1798.8 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_15.opb |
MD5SUM | f49920a9263bddf34ebca7927c66338e |
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.064989 |
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 | 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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
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-1877811-1245213321.opb 0.00/0.00 c File size is 107626 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 1460 Constr: 2823 1360/203/1260 Lit: 10780 Watch. Lit: 9238 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.19/0.29 c Pre-processing Time: 0.295 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 1460 2823 10780 3 9238 20625 0 0 0.29 0.19/0.29 c Switching off lower bounding mode. 1797.93/1798.76 c 101 1460 2924 25686 8 9440 22688 101 314 0.32 1797.93/1798.76 c 262 1460 3085 54318 17 9762 24957 262 746 0.35 1797.93/1798.76 c 516 1460 3339 98159 29 10270 27453 516 1249 0.41 1797.93/1798.76 c 882 1460 3705 159392 43 11002 30199 882 1654 0.53 1797.93/1798.76 c 1394 1460 4217 251970 59 12026 33219 1394 2080 0.67 1797.93/1798.76 c 2158 1460 4981 388659 78 13554 36541 2158 2273 0.95 1797.93/1798.76 c 3305 1460 6128 596888 97 15848 40196 3305 2118 1.56 1797.93/1798.76 c 5029 1460 7852 908185 115 19296 44216 5029 1816 2.77 1797.93/1798.76 c 7613 1460 10436 1372048 131 24464 48638 7613 1417 5.37 1797.93/1798.76 c 11496 1460 14319 2070147 144 32230 53502 11496 1085 10.59 1797.93/1798.76 c 17318 1460 20141 3120699 154 43874 58853 17318 805 21.50 1797.93/1798.76 c 26057 1460 28880 4688779 162 61352 64739 26057 553 47.12 1797.93/1798.76 c 39167 1460 41990 7034816 167 87572 71213 39167 380 102.88 1797.93/1798.76 c 58839 1460 61662 10581046 171 126916 78335 58839 261 224.87 1797.93/1798.76 c 88357 1460 23412 3700056 158 50416 86169 20589 197 447.43 1797.93/1798.76 c 132630 1460 67685 11662756 172 138962 94786 64862 193 686.95 1797.93/1798.76 c 199043 1460 50102 8426676 168 103796 104265 47279 161 1230.71 1797.93/1798.76 c 298664 1460 56293 9740552 173 116178 114692 53470 173 1719.77 1797.93/1798.76 c Resources Exceeded 1797.93/1798.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.76 c 18 315130 1574 322416 72759 12740036 69936 175 1798.00 1797.93/1798.76 s UNKNOWN 1797.93/1798.76 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-1877811-1245213321/watcher-1877811-1245213321 -o /tmp/evaluation-result-1877811-1245213321/solver-1877811-1245213321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877811-1245213321.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.92 3/65 6130 /proc/meminfo: memFree=1608352/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=10820 CPUtime=0 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 188930157 11079680 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 2705 242 175 640 0 2034 0 [startup+0.0685191 s] /proc/loadavg: 0.99 0.98 0.92 3/65 6130 /proc/meminfo: memFree=1608352/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=11396 CPUtime=0.06 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 463 0 0 0 6 0 0 0 18 0 1 0 188930157 11669504 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 2849 420 189 640 0 2205 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11396 [startup+0.101522 s] /proc/loadavg: 0.99 0.98 0.92 3/65 6130 /proc/meminfo: memFree=1608352/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=11396 CPUtime=0.09 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 463 0 0 0 9 0 0 0 18 0 1 0 188930157 11669504 420 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 2849 420 189 640 0 2205 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11396 [startup+0.301543 s] /proc/loadavg: 0.99 0.98 0.92 3/65 6130 /proc/meminfo: memFree=1608352/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=11528 CPUtime=0.29 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 516 0 0 0 29 0 0 0 19 0 1 0 188930157 11804672 473 1992294400 134512640 137136520 4294956256 18446744073709551615 135982497 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 2882 473 196 640 0 2238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11528 [startup+0.701583 s] /proc/loadavg: 0.99 0.98 0.92 3/65 6130 /proc/meminfo: memFree=1608352/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=14888 CPUtime=0.69 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 1339 0 0 0 69 0 0 0 23 0 1 0 188930157 15245312 1296 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 3722 1296 196 640 0 3078 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14888 [startup+1.50167 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1602072/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=18992 CPUtime=1.49 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 2375 0 0 0 148 1 0 0 25 0 1 0 188930157 19447808 2332 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 4748 2332 196 640 0 4104 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18992 [startup+3.10183 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1597400/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=24300 CPUtime=3.09 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 3686 0 0 0 307 2 0 0 25 0 1 0 188930157 24883200 3643 1992294400 134512640 137136520 4294956256 18446744073709551615 134574791 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 6075 3643 196 640 0 5431 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24300 [startup+6.30116 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1588952/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=31464 CPUtime=6.28 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 5492 0 0 0 626 2 0 0 25 0 1 0 188930157 32219136 5449 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 7866 5450 196 640 0 7222 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31464 [startup+12.7028 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1577496/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=42240 CPUtime=12.69 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 8191 0 0 0 1263 6 0 0 25 0 1 0 188930157 43253760 8148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 10560 8148 196 640 0 9916 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42240 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1562648/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=56492 CPUtime=25.48 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 11743 0 0 0 2537 11 0 0 25 0 1 0 188930157 57847808 11700 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 14123 11700 196 640 0 13479 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56492 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1542552/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=76628 CPUtime=51.07 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 16795 0 0 0 5091 16 0 0 25 0 1 0 188930157 78467072 16752 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 19157 16752 196 640 0 18513 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76628 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1513752/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=105000 CPUtime=102.26 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 23887 0 0 0 10201 25 0 0 25 0 1 0 188930157 107520000 23844 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 26250 23844 196 640 0 25606 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105000 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1489944/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=128944 CPUtime=162.23 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 29855 0 0 0 16190 33 0 0 25 0 1 0 188930157 132038656 29812 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6130/statm: 32236 29812 196 640 0 31592 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 128944 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1467032/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=151612 CPUtime=222.2 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 35541 0 0 0 22178 42 0 0 25 0 1 0 188930157 155250688 35498 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 37903 35498 196 640 0 37259 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 151612 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1448728/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=170168 CPUtime=282.18 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 40155 0 0 0 28169 49 0 0 25 0 1 0 188930157 174252032 40112 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 42542 40112 196 640 0 41898 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 170168 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1431128/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=187500 CPUtime=342.16 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 44507 0 0 0 34161 55 0 0 25 0 1 0 188930157 192000000 44464 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 46875 44464 196 640 0 46231 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 187500 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1415448/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=202884 CPUtime=402.14 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 48437 0 0 0 40154 60 0 0 25 0 1 0 188930157 207753216 48316 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 50721 48316 196 640 0 50077 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 202884 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1415448/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=202884 CPUtime=462.11 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 48437 0 0 0 46149 62 0 0 25 0 1 0 188930157 207753216 48316 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 50721 48316 196 640 0 50077 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 202884 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1415384/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=202884 CPUtime=522.08 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 48437 0 0 0 52144 64 0 0 25 0 1 0 188930157 207753216 48316 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 50721 48316 196 640 0 50077 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 202884 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1415448/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=202884 CPUtime=582.07 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 48437 0 0 0 58140 67 0 0 25 0 1 0 188930157 207753216 48316 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 50721 48316 196 640 0 50077 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 202884 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6131 /proc/meminfo: memFree=1415384/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=202884 CPUtime=642.04 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 48437 0 0 0 64135 69 0 0 25 0 1 0 188930157 207753216 48316 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 50721 48316 196 640 0 50077 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 202884 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1375960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1061.85 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 106101 84 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 242028 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1375960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1121.82 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 112096 86 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 242028 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1376024/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1181.79 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 118091 88 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 242028 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1376024/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1241.77 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 124086 91 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 242028 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1375960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1301.75 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 130081 94 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 242028 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1375960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1361.7 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 136074 96 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 242028 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1375960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=242028 CPUtime=1421.69 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 58301 0 0 0 142070 99 0 0 25 0 1 0 188930157 247836672 58086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 60507 58086 196 640 0 59863 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 242028 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6133 /proc/meminfo: memFree=1360792/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=257508 CPUtime=1481.66 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 62185 0 0 0 148062 104 0 0 25 0 1 0 188930157 263688192 61970 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 64377 61970 196 640 0 63733 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 257508 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1541.63 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 154057 106 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 265852 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6139 /proc/meminfo: memFree=1352024/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1601.61 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 160052 109 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 265852 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.92 2/66 6139 /proc/meminfo: memFree=1352024/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1661.59 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 166046 113 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1661.59 Current children cumulated vsize (KiB) 265852 [startup+1722.3 s] /proc/loadavg: 1.03 1.00 0.93 2/66 6139 /proc/meminfo: memFree=1352024/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1721.56 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 172040 116 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 265852 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 0.93 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1781.54 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 178035 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 265852 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.11 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1791.14 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 178995 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1791.14 Current children cumulated vsize (KiB) 265852 [startup+1795.1 s] /proc/loadavg: 1.10 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1794.34 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 179315 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543962 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1794.34 Current children cumulated vsize (KiB) 265852 [startup+1796.7 s] /proc/loadavg: 1.10 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1795.93 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 179474 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1795.93 Current children cumulated vsize (KiB) 265852 [startup+1797.5 s] /proc/loadavg: 1.10 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1796.73 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 179554 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 265852 [startup+1798.3 s] /proc/loadavg: 1.10 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1797.53 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 179634 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 265852 [startup+1798.7 s] /proc/loadavg: 1.09 1.03 0.94 2/66 6139 /proc/meminfo: memFree=1351960/2055912 swapFree=4192948/4192956 [pid=6130] ppid=6128 vsize=265852 CPUtime=1797.93 /proc/6130/stat : 6130 (bsolo) R 6128 6130 5853 0 -1 4194304 64363 0 0 0 179674 119 0 0 25 0 1 0 188930157 272232448 64044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6130/statm: 66463 64044 196 640 0 65819 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 265852 Child status: 0 Real time (s): 1798.8 CPU time (s): 1798.04 CPU user time (s): 1796.81 CPU system time (s): 1.23281 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 266268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 1.23281 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64364 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= 5614 runsolver used 1.56676 second user time and 4.98124 second system time The end
Begin job on node78 at 2009-06-17 06:35:21 IDJOB=1877811 IDBENCH=48296 IDSOLVER=700 FILE ID=node78/1877811-1245213321 PBS_JOBID= 9368407 Free space on /tmp= 126860 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_15.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877811-1245213321/watcher-1877811-1245213321 -o /tmp/evaluation-result-1877811-1245213321/solver-1877811-1245213321 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877811-1245213321.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f49920a9263bddf34ebca7927c66338e RANDOM SEED=573589818 node78.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.227 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.227 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: 2055912 kB MemFree: 1608896 kB Buffers: 54324 kB Cached: 303892 kB SwapCached: 8 kB Active: 177660 kB Inactive: 194924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055912 kB LowFree: 1608896 kB SwapTotal: 4192956 kB SwapFree: 4192948 kB Dirty: 4188 kB Writeback: 0 kB Mapped: 24116 kB Slab: 60168 kB Committed_AS: 77248 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877811-1245213321.opb Free space on /tmp at the end= 126856 MiB End job on node78 at 2009-06-17 07:05:20