Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.23 | 1798.84 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_80.opb |
MD5SUM | fa22dd251e76880c1495cc1725a19f60 |
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 | 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) | 74916 |
Sum of products size (including duplicates) | 149832 |
Number of different products | 37458 |
Sum of products size | 74916 |
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-1877894-1245218377.opb 0.00/0.00 c File size is 3311724 bytes. 0.49/0.52 c Highest Coefficient sum: 1000 0.49/0.52 c Parsing was ok!! 0.49/0.52 c Total parsing time: 0.524 s 0.49/0.58 c Var: 38458 Constr: 76419 37958/1003/37458 Lit: 303164 Watch. Lit: 264289 0.49/0.58 c Obj. Vars: 0 (0 % of total variables) 179.52/179.67 c Pre-processing Time: 179.602 s 179.52/179.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.52/179.67 c 0 38458 76419 303164 3 264289 500000 0 0 179.60 179.52/179.67 c Switching off lower bounding mode. 1797.98/1798.61 c 421 38458 76840 601655 7 265131 550001 421 2 182.12 1797.98/1798.61 c 578 38458 76997 744999 9 265445 605002 578 3 182.35 1797.98/1798.61 c 810 38458 77229 955293 12 265909 665503 810 4 182.72 1797.98/1798.61 c 1165 38458 77584 1275373 16 266619 732054 1165 6 183.37 1797.98/1798.61 c 1673 38458 78092 1735039 22 267635 805260 1673 9 184.35 1797.98/1798.61 c 2436 38458 78855 2429836 30 269161 885787 2436 13 185.76 1797.98/1798.61 c 3582 38458 80001 3458062 43 271453 974366 3582 19 188.48 1797.98/1798.61 c 5316 38458 81735 5036014 61 274921 500000 5316 27 193.65 1797.98/1798.61 c 7906 38458 84325 7388606 87 280101 550001 7906 39 201.58 1797.98/1798.61 c 11786 38458 88205 10935606 123 287861 605002 11786 55 213.97 1797.98/1798.61 c 17608 38458 94027 16224731 172 299505 665503 17608 72 241.34 1797.98/1798.61 c 26350 38458 102769 24211095 235 316989 732054 26350 87 301.58 1797.98/1798.61 c 39460 38458 115879 36122580 311 343209 805260 39460 98 399.46 1797.98/1798.61 c 59136 38458 135555 54107768 399 382561 885787 59136 103 571.28 1797.98/1798.61 c 88653 38458 165072 81046136 490 441595 974366 88653 75 1181.07 1797.98/1798.61 c Resources Exceeded 1797.98/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.61 c 15 121435 452 136544 197854 111091184 121435 67 1798.01 1797.98/1798.61 s UNKNOWN 1797.98/1798.61 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-1877894-1245218377/watcher-1877894-1245218377 -o /tmp/evaluation-result-1877894-1245218377/solver-1877894-1245218377 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877894-1245218377.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/64 11124 /proc/meminfo: memFree=1817784/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=21768 CPUtime=0 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 189438470 22290432 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 5442 251 174 640 0 3989 0 [startup+0.092551 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11124 /proc/meminfo: memFree=1817784/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=16684 CPUtime=0.08 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 1108 0 0 0 8 0 0 0 18 0 1 0 189438470 17084416 1052 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 4171 1052 294 640 0 2718 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16684 [startup+0.10155 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11124 /proc/meminfo: memFree=1817784/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=16820 CPUtime=0.09 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 1150 0 0 0 9 0 0 0 18 0 1 0 189438470 17223680 1094 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 4205 1094 305 640 0 2752 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16820 [startup+0.301587 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11124 /proc/meminfo: memFree=1817784/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=21064 CPUtime=0.29 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 2512 0 0 0 29 0 0 0 19 0 1 0 189438470 21569536 2456 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 5266 2457 624 640 0 3813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21064 [startup+0.701659 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11124 /proc/meminfo: memFree=1817784/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=0.69 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6562 0 0 0 67 2 0 0 22 0 1 0 189438470 33861632 5697 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5697 189 640 0 7623 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33068 [startup+1.5018 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795440/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=1.49 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6570 0 0 0 147 2 0 0 25 0 1 0 189438470 33861632 5705 1992294400 134512640 137136520 4294956256 18446744073709551615 134563134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5705 189 640 0 7623 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33068 [startup+3.10209 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795312/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=3.09 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6574 0 0 0 307 2 0 0 25 0 1 0 189438470 33861632 5709 1992294400 134512640 137136520 4294956256 18446744073709551615 134543760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5709 189 640 0 7623 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 33068 [startup+6.30166 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795320/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=6.29 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6580 0 0 0 627 2 0 0 25 0 1 0 189438470 33861632 5715 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5715 189 640 0 7623 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33068 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795320/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=12.68 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6585 0 0 0 1266 2 0 0 25 0 1 0 189438470 33861632 5720 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5720 189 640 0 7623 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33068 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795384/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=25.49 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6587 0 0 0 2546 3 0 0 25 0 1 0 189438470 33861632 5722 1992294400 134512640 137136520 4294956256 18446744073709551615 134563037 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5722 189 640 0 7623 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33068 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11125 /proc/meminfo: memFree=1795576/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=51.07 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6587 0 0 0 5104 3 0 0 25 0 1 0 189438470 33861632 5722 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5722 189 640 0 7623 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33068 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1795384/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=102.25 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6589 0 0 0 10220 5 0 0 25 0 1 0 189438470 33861632 5724 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5724 189 640 0 7623 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 33068 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1795384/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=33068 CPUtime=162.23 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 6589 0 0 0 16217 6 0 0 25 0 1 0 189438470 33861632 5724 1992294400 134512640 137136520 4294956256 18446744073709551615 134563024 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 8267 5724 189 640 0 7623 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 33068 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1640056/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=188844 CPUtime=222.21 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 98871 0 0 0 22173 48 0 0 25 0 1 0 189438470 193376256 44670 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 47211 44670 195 640 0 46567 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 188844 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1516600/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=312884 CPUtime=282.18 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 129861 0 0 0 28156 62 0 0 25 0 1 0 189438470 320393216 75660 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 78221 75660 195 640 0 77577 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 312884 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1405944/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=422364 CPUtime=342.16 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 157234 0 0 0 34140 76 0 0 25 0 1 0 189438470 432500736 103033 1992294400 134512640 137136520 4294956256 18446744073709551615 134574477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 105591 103033 195 640 0 104947 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 422364 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1330616/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=499084 CPUtime=402.15 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 176416 0 0 0 40127 88 0 0 25 0 1 0 189438470 511062016 122215 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 124771 122217 195 640 0 124127 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 499084 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1227704/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=600172 CPUtime=462.12 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 201708 0 0 0 46110 102 0 0 25 0 1 0 189438470 614576128 147507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 150043 147507 195 640 0 149399 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 600172 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1151032/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=677160 CPUtime=522.11 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 220933 0 0 0 52098 113 0 0 25 0 1 0 189438470 693411840 166732 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 169290 166732 195 640 0 168646 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 677160 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 3/65 11131 /proc/meminfo: memFree=1096504/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=731000 CPUtime=582.09 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 234403 0 0 0 58088 121 0 0 25 0 1 0 189438470 748544000 180202 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 182750 180202 195 640 0 182106 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 731000 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=1043384/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=783632 CPUtime=642.07 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 247556 0 0 0 64078 129 0 0 25 0 1 0 189438470 802439168 193355 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 195908 193355 195 640 0 195264 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 783632 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=787576/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1039144 CPUtime=1121.91 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 311450 0 0 0 112023 168 0 0 25 0 1 0 189438470 1064083456 257249 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 259786 257249 195 640 0 259142 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1039144 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=757112/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1069364 CPUtime=1181.89 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 319008 0 0 0 118016 173 0 0 25 0 1 0 189438470 1095028736 264807 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 267341 264807 195 640 0 266697 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1069364 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=730488/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1096064 CPUtime=1241.87 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 325670 0 0 0 124010 177 0 0 25 0 1 0 189438470 1122369536 271469 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 274016 271469 195 640 0 273372 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1096064 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=697720/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1128596 CPUtime=1301.85 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 333789 0 0 0 130003 182 0 0 25 0 1 0 189438470 1155682304 279588 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 282149 279588 195 640 0 281505 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1128596 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=673528/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1152972 CPUtime=1361.83 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 339902 0 0 0 135997 186 0 0 25 0 1 0 189438470 1180643328 285701 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 288243 285701 195 640 0 287599 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1152972 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=639032/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1187316 CPUtime=1421.81 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 348477 0 0 0 141990 191 0 0 25 0 1 0 189438470 1215811584 294276 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 296829 294276 195 640 0 296185 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1187316 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=594360/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1232036 CPUtime=1481.79 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 359669 0 0 0 147982 197 0 0 25 0 1 0 189438470 1261604864 305468 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 308009 305468 195 640 0 307365 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1232036 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=535096/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1290872 CPUtime=1541.77 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 374385 0 0 0 153973 204 0 0 25 0 1 0 189438470 1321852928 320184 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 322718 320184 195 640 0 322074 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1290872 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=497848/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1328588 CPUtime=1601.75 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 383805 0 0 0 159965 210 0 0 25 0 1 0 189438470 1360474112 329604 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 332147 329604 195 640 0 331503 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1328588 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=461432/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1364468 CPUtime=1661.73 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 392771 0 0 0 165958 215 0 0 25 0 1 0 189438470 1397215232 338570 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 341117 338570 195 640 0 340473 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1364468 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=425016/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1401332 CPUtime=1721.71 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 401998 0 0 0 171949 222 0 0 25 0 1 0 189438470 1434963968 347797 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 350333 347797 195 640 0 349689 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1401332 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=383096/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1442760 CPUtime=1781.69 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 412342 0 0 0 177941 228 0 0 25 0 1 0 189438470 1477386240 358141 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 360690 358141 195 640 0 360046 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1442760 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=376312/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1449264 CPUtime=1791.29 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 413979 0 0 0 178900 229 0 0 25 0 1 0 189438470 1484046336 359778 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 362316 359778 195 640 0 361672 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 1449264 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=373880/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1451668 CPUtime=1794.49 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 414562 0 0 0 179220 229 0 0 25 0 1 0 189438470 1486508032 360361 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 362917 360361 195 640 0 362273 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 1451668 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=373112/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1452732 CPUtime=1796.08 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 414833 0 0 0 179379 229 0 0 25 0 1 0 189438470 1487597568 360632 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 363183 360632 195 640 0 362539 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 1452732 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=372088/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1453528 CPUtime=1796.88 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 415036 0 0 0 179459 229 0 0 25 0 1 0 189438470 1488412672 360835 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 363382 360835 195 640 0 362738 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 1453528 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=372088/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=1454324 CPUtime=1797.68 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194304 415233 0 0 0 179539 229 0 0 25 0 1 0 189438470 1489227776 361032 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 363581 361032 195 640 0 362937 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (KiB) 1454324 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=371064/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=0 CPUtime=1798.08 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194308 415331 0 0 0 179570 238 0 0 25 0 1 0 189438470 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.08 Current children cumulated vsize (KiB) 0 [startup+1798.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11131 /proc/meminfo: memFree=371064/2055920 swapFree=4180864/4192956 [pid=11124] ppid=11122 vsize=0 CPUtime=1798.18 /proc/11124/stat : 11124 (bsolo) R 11122 11124 10789 0 -1 4194308 415331 0 0 0 179570 248 0 0 25 0 1 0 189438470 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11124/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.84 CPU time (s): 1798.23 CPU user time (s): 1795.71 CPU system time (s): 2.52262 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 1454724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.71 system time used= 2.52262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 415331 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= 1986 runsolver used 1.3438 second user time and 3.9124 second system time The end
Begin job on node12 at 2009-06-17 07:59:37 IDJOB=1877894 IDBENCH=48379 IDSOLVER=700 FILE ID=node12/1877894-1245218377 PBS_JOBID= 9368425 Free space on /tmp= 66236 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_4_80.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877894-1245218377/watcher-1877894-1245218377 -o /tmp/evaluation-result-1877894-1245218377/solver-1877894-1245218377 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877894-1245218377.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fa22dd251e76880c1495cc1725a19f60 RANDOM SEED=1970717918 node12.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.281 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.281 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: 1820568 kB Buffers: 53608 kB Cached: 129608 kB SwapCached: 6300 kB Active: 92372 kB Inactive: 99244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820568 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 4940 kB Writeback: 0 kB Mapped: 13604 kB Slab: 29768 kB Committed_AS: 191608 kB PageTables: 1384 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-1877894-1245218377.opb Free space on /tmp at the end= 66228 MiB End job on node12 at 2009-06-17 08:29:37