Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.05 | 1798.88 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_20.opb |
MD5SUM | 601a73d2c5752739e04dd0126b5500f0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 398 |
Optimality of the best value was proved | NO |
Number of variables | 13478 |
Total number of constraints | 26620 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 26619 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 190 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 445 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 589 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2977 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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: Generic Pseudo-Boolean 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-1879945-1245241733.opb 0.00/0.00 c File size is 7672173 bytes. 0.89/0.97 c Highest Coefficient sum: 2977 0.89/0.97 c Parsing was ok!! 0.89/0.97 c Total parsing time: 0.973 s 0.99/1.00 c Var: 13478 Constr: 26620 1/0/26619 Lit: 901318 Watch. Lit: 141864 0.99/1.00 c Obj. Vars: 9 (0.0667755 % of total variables) 6.49/6.60 c Pre-processing Time: 6.595 s 6.59/6.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.60 c 0 13477 26619 901317 33 214682 500000 0 0 6.59 6.59/6.60 c Switching off lower bounding mode. 1797.95/1798.85 c 100 13477 26819 912402 34 502172 550001 200 11 8.89 1797.95/1798.85 c 251 13477 27121 927885 34 529844 605002 502 24 10.07 1797.95/1798.85 c 477 13477 27573 950702 34 526922 665503 954 39 11.95 1797.95/1798.85 c 817 13477 28252 987004 34 489420 732054 1633 56 14.46 1797.95/1798.85 c 1326 13477 29269 1045698 35 526299 805260 2650 71 18.62 1797.95/1798.85 c 2089 13477 30794 1135970 36 521280 885787 4175 87 23.93 1797.95/1798.85 c 3236 13477 33082 1280214 38 566340 974366 6463 100 32.25 1797.95/1798.85 c 4958 13477 36520 1517329 41 543987 500000 9901 103 47.88 1797.95/1798.85 c 7542 13477 41686 1859201 44 610408 550001 15067 106 71.13 1797.95/1798.85 c 11423 13477 49425 2355758 47 632868 605002 22806 116 98.32 1797.95/1798.85 c 17246 13477 61060 2969491 48 722965 665503 34441 110 156.73 1797.95/1798.85 c 25985 13477 78506 4167302 53 831058 732054 51887 88 292.33 1797.95/1798.85 c 39097 13477 104672 5925680 56 961939 805260 78053 80 486.28 1797.95/1798.85 c 58767 13477 143900 8408122 58 1172593 885787 117281 58 1003.96 1797.95/1798.85 c Resources Exceeded 1797.95/1798.85 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.85 c 14 87770 10684 117929 201713 12531112 175094 48 1798.02 1797.95/1798.85 s UNKNOWN 1797.95/1798.85 c Total time: 1798.02 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-1879945-1245241733/watcher-1879945-1245241733 -o /tmp/evaluation-result-1879945-1245241733/solver-1879945-1245241733 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879945-1245241733.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.00 1.00 3/65 5555 /proc/meminfo: memFree=1764144/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=18200 CPUtime=0 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 240 0 0 0 0 0 0 0 18 0 1 0 191771906 18636800 224 1992294400 134512640 137136520 4294956256 18446744073709551615 134517666 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 4550 224 176 640 0 2032 0 [startup+0.100057 s] /proc/loadavg: 1.00 1.00 1.00 3/65 5555 /proc/meminfo: memFree=1764144/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=19500 CPUtime=0.09 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 769 0 0 0 9 0 0 0 18 0 1 0 191771906 19968000 753 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 4875 753 366 640 0 2357 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19500 [startup+0.201068 s] /proc/loadavg: 1.00 1.00 1.00 3/65 5555 /proc/meminfo: memFree=1764144/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=20928 CPUtime=0.19 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 1322 0 0 0 19 0 0 0 18 0 1 0 191771906 21430272 1306 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 5232 1306 561 640 0 2714 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 20928 [startup+0.301078 s] /proc/loadavg: 1.00 1.00 1.00 3/65 5555 /proc/meminfo: memFree=1764144/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=22356 CPUtime=0.29 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 1870 0 0 0 29 0 0 0 19 0 1 0 191771906 22892544 1854 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 5589 1854 753 640 0 3071 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22356 [startup+0.701124 s] /proc/loadavg: 1.00 1.00 1.00 3/65 5555 /proc/meminfo: memFree=1764144/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=28072 CPUtime=0.69 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 4074 0 0 0 67 2 0 0 23 0 1 0 191771906 28745728 4058 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 7018 4058 1522 640 0 4500 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28072 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1744360/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=45400 CPUtime=1.49 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 10762 0 0 0 144 5 0 0 25 0 1 0 191771906 46489600 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134540200 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 11350 8872 191 640 0 10706 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45400 [startup+3.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1729192/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=45400 CPUtime=3.09 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 10762 0 0 0 303 6 0 0 25 0 1 0 191771906 46489600 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134540454 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5555/statm: 11350 8872 191 640 0 10706 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45400 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1728872/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=45108 CPUtime=6.28 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 10812 0 0 0 621 7 0 0 25 0 1 0 191771906 46190592 8816 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 11277 8816 191 640 0 10633 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 45108 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1734264/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=40340 CPUtime=12.68 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 13135 0 0 0 1259 9 0 0 25 0 1 0 191771906 41308160 7647 1992294400 134512640 137136520 4294956256 18446744073709551615 134576284 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 10085 7647 197 640 0 9441 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40340 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1731448/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=43164 CPUtime=25.48 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 13843 0 0 0 2538 10 0 0 25 0 1 0 191771906 44199936 8355 1992294400 134512640 137136520 4294956256 18446744073709551615 136518874 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 10791 8355 197 640 0 10147 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43164 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1725048/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=49704 CPUtime=51.05 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 15478 0 0 0 5092 13 0 0 25 0 1 0 191771906 50896896 9990 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 12426 9990 197 640 0 11782 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 49704 [startup+102.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1711928/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=62576 CPUtime=102.22 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 18696 0 0 0 10206 16 0 0 25 0 1 0 191771906 64077824 13208 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 15644 13208 198 640 0 15000 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 62576 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1700728/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=73680 CPUtime=162.19 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 21471 0 0 0 16199 20 0 0 25 0 1 0 191771906 75448320 15983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 18420 15983 198 640 0 17776 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 73680 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1692472/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=81904 CPUtime=222.16 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 23527 0 0 0 22194 22 0 0 25 0 1 0 191771906 83869696 18039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 20476 18039 198 640 0 19832 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 81904 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1684408/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=90320 CPUtime=282.12 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 25605 0 0 0 28188 24 0 0 25 0 1 0 191771906 92487680 20117 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5555/statm: 22580 20117 198 640 0 21936 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 90320 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1674488/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=100064 CPUtime=342.1 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 28041 0 0 0 34183 27 0 0 25 0 1 0 191771906 102465536 22553 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 25016 22553 198 640 0 24372 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 100064 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1665976/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=108404 CPUtime=402.06 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 30153 0 0 0 40177 29 0 0 25 0 1 0 191771906 111005696 24665 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 27101 24665 198 640 0 26457 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 108404 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1658040/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=116308 CPUtime=462.04 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 32129 0 0 0 46173 31 0 0 25 0 1 0 191771906 119099392 26641 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 29077 26641 198 640 0 28433 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 116308 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/66 5556 /proc/meminfo: memFree=1651960/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=122472 CPUtime=522.01 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 33669 0 0 0 52169 32 0 0 25 0 1 0 191771906 125411328 28181 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 30618 28181 198 640 0 29974 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 122472 [startup+582.302 s] /proc/loadavg: 1.02 1.01 1.00 2/66 5556 /proc/meminfo: memFree=1646648/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=127744 CPUtime=581.99 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 34961 0 0 0 58165 34 0 0 25 0 1 0 191771906 130809856 29473 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 31936 29473 198 640 0 31292 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 127744 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1641592/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=133008 CPUtime=641.97 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 36277 0 0 0 64162 35 0 0 25 0 1 0 191771906 136200192 30789 1992294400 134512640 137136520 4294956256 18446744073709551615 136295569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 33252 30789 198 640 0 32608 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 133008 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1609400/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=164756 CPUtime=1061.78 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 44231 0 0 0 106135 43 0 0 25 0 1 0 191771906 168710144 38743 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 41189 38743 198 640 0 40545 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 164756 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1601464/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=172508 CPUtime=1121.76 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 46180 0 0 0 112130 46 0 0 25 0 1 0 191771906 176648192 40692 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 43127 40692 198 640 0 42483 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 172508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1593528/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=180552 CPUtime=1181.74 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 48163 0 0 0 118126 48 0 0 25 0 1 0 191771906 184885248 42675 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 45138 42675 198 640 0 44494 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 180552 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1591096/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=182828 CPUtime=1241.7 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 48758 0 0 0 124122 48 0 0 25 0 1 0 191771906 187215872 43270 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 45707 43270 198 640 0 45063 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 182828 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1588344/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=185412 CPUtime=1301.68 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 49405 0 0 0 130119 49 0 0 25 0 1 0 191771906 189861888 43917 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5555/statm: 46353 43917 198 640 0 45709 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 185412 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1584504/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=189316 CPUtime=1361.65 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 50386 0 0 0 136115 50 0 0 25 0 1 0 191771906 193859584 44898 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 47329 44898 198 640 0 46685 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 189316 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5556 /proc/meminfo: memFree=1580216/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=193520 CPUtime=1421.63 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 51432 0 0 0 142112 51 0 0 25 0 1 0 191771906 198164480 45944 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 48380 45944 198 640 0 47736 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 193520 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1575032/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=198988 CPUtime=1481.59 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 52772 0 0 0 148106 53 0 0 25 0 1 0 191771906 203763712 47284 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 49747 47284 198 640 0 49103 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 198988 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1570552/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=203448 CPUtime=1541.57 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 53887 0 0 0 154102 55 0 0 25 0 1 0 191771906 208330752 48399 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 50862 48399 198 640 0 50218 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 203448 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1565880/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=208104 CPUtime=1601.54 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 55050 0 0 0 160098 56 0 0 25 0 1 0 191771906 213098496 49562 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 52026 49562 198 640 0 51382 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 208104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1561272/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=212480 CPUtime=1661.51 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 56172 0 0 0 166094 57 0 0 25 0 1 0 191771906 217579520 50684 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 53120 50684 198 640 0 52476 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 212480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1556664/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=217208 CPUtime=1721.49 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 57327 0 0 0 172091 58 0 0 25 0 1 0 191771906 222420992 51839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 54302 51839 198 640 0 53658 0 Current children cumulated CPU time (s) 1721.49 Current children cumulated vsize (KiB) 217208 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1550776/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=222724 CPUtime=1781.47 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58732 0 0 0 178087 60 0 0 25 0 1 0 191771906 228069376 53244 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55681 53244 198 640 0 55037 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (KiB) 222724 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1550264/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223336 CPUtime=1791.16 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58859 0 0 0 179056 60 0 0 25 0 1 0 191771906 228696064 53371 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55834 53371 198 640 0 55190 0 Current children cumulated CPU time (s) 1791.16 Current children cumulated vsize (KiB) 223336 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1550008/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223488 CPUtime=1794.36 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58924 0 0 0 179376 60 0 0 25 0 1 0 191771906 228851712 53436 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55872 53436 198 640 0 55228 0 Current children cumulated CPU time (s) 1794.36 Current children cumulated vsize (KiB) 223488 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1550008/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223700 CPUtime=1795.96 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58950 0 0 0 179536 60 0 0 25 0 1 0 191771906 229068800 53462 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55925 53462 198 640 0 55281 0 Current children cumulated CPU time (s) 1795.96 Current children cumulated vsize (KiB) 223700 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1549944/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223700 CPUtime=1796.76 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58950 0 0 0 179616 60 0 0 25 0 1 0 191771906 229068800 53462 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55925 53462 198 640 0 55281 0 Current children cumulated CPU time (s) 1796.76 Current children cumulated vsize (KiB) 223700 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1549944/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223700 CPUtime=1797.55 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58950 0 0 0 179695 60 0 0 25 0 1 0 191771906 229068800 53462 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55925 53462 198 640 0 55281 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 223700 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5558 /proc/meminfo: memFree=1549944/2055920 swapFree=4182240/4192956 [pid=5555] ppid=5553 vsize=223704 CPUtime=1797.95 /proc/5555/stat : 5555 (bsolo) R 5553 5555 5406 0 -1 4194304 58977 0 0 0 179735 60 0 0 25 0 1 0 191771906 229072896 53489 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5555/statm: 55926 53489 198 640 0 55282 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 223704 Child status: 0 Real time (s): 1798.88 CPU time (s): 1798.05 CPU user time (s): 1797.41 CPU system time (s): 0.640902 CPU usage (%): 99.9536 Max. virtual memory (cumulated for all children) (KiB): 223704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.41 system time used= 0.640902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 58978 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= 7213 runsolver used 2.07668 second user time and 3.99939 second system time The end
Begin job on node85 at 2009-06-17 14:28:53 IDJOB=1879945 IDBENCH=2947 IDSOLVER=701 FILE ID=node85/1879945-1245241733 PBS_JOBID= 9372266 Free space on /tmp= 126832 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879945-1245241733/watcher-1879945-1245241733 -o /tmp/evaluation-result-1879945-1245241733/solver-1879945-1245241733 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879945-1245241733.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0 RANDOM SEED=91190051 node85.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.213 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 : 5931.00 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.213 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1764624 kB Buffers: 32652 kB Cached: 186076 kB SwapCached: 5196 kB Active: 67484 kB Inactive: 159464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764624 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 11436 kB Writeback: 0 kB Mapped: 13804 kB Slab: 50296 kB Committed_AS: 91764 kB PageTables: 1376 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-1879945-1245241733.opb Free space on /tmp at the end= 126828 MiB End job on node85 at 2009-06-17 14:58:52