Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.1 | 1799.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8883 |
Total number of constraints | 17459 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2691 |
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: Cardinality Constraint 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-1876969-1245170415.opb 0.00/0.00 c File size is 5036183 bytes. 0.69/0.70 c Highest Coefficient sum: 2691 0.69/0.70 c Parsing was ok!! 0.69/0.70 c Total parsing time: 0.693 s 0.69/0.72 c Var: 8883 Constr: 17459 0/0/17459 Lit: 596088 Watch. Lit: 85493 0.69/0.72 c Obj. Vars: 9 (0.101317 % of total variables) 4.06/4.11 c Pre-processing Time: 4.078 s 4.06/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.06/4.11 c 0 8883 17459 596088 34 154498 500000 0 0 4.08 4.06/4.11 c Switching off lower bounding mode. 1798.02/1799.23 c 100 8883 17628 601407 34 367877 550001 169 15 6.38 1798.02/1799.23 c 251 8883 17841 609644 34 336415 605002 382 28 8.93 1798.02/1799.23 c 477 8883 18141 621957 34 325965 665503 682 45 10.43 1798.02/1799.23 c 815 8883 18604 640650 34 294551 732054 1145 66 12.25 1798.02/1799.23 c 1323 8883 19284 675498 35 319747 805260 1825 89 14.78 1798.02/1799.23 c 2086 8883 20329 717852 35 301970 885787 2870 113 18.34 1798.02/1799.23 c 3232 8883 21837 796075 36 337406 974366 4378 138 23.37 1798.02/1799.23 c 4953 8883 24116 890462 36 323413 500000 6657 173 28.56 1798.02/1799.23 c 7538 8883 27569 1018973 36 343966 550001 10110 176 42.66 1798.02/1799.23 c 11418 8883 32672 1292825 39 367455 605002 15213 186 61.35 1798.02/1799.23 c 17240 8883 40271 1771670 43 392632 665503 22812 195 88.14 1798.02/1799.23 c 25977 8883 51843 2645605 51 412770 732054 34384 189 137.24 1798.02/1799.23 c 39088 8883 69248 3489977 50 419891 805260 51789 205 190.18 1798.02/1799.23 c 58758 8883 95373 5487081 57 502869 885787 77914 191 306.85 1798.02/1799.23 c 88269 8883 135266 7219610 53 540424 974366 117807 190 463.94 1798.02/1799.23 c 132540 8882 195319 10578659 54 723178 500000 177860 173 765.70 1798.02/1799.23 c 198950 8882 287414 16183875 56 915010 550001 269955 115 1728.06 1798.02/1799.23 c Resources Exceeded 1798.02/1799.23 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.02/1799.23 c 17 203969 26680 251213 294288 16557407 276829 113 1798.06 1798.02/1799.23 s UNKNOWN 1798.02/1799.23 c Total time: 1798.06 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-1876969-1245170415/watcher-1876969-1245170415 -o /tmp/evaluation-result-1876969-1245170415/solver-1876969-1245170415 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876969-1245170415.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: 2.12 1.98 1.92 5/72 30986 /proc/meminfo: memFree=1849520/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=31120 CPUtime=0 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 220 0 0 0 0 0 0 0 18 0 1 0 184639487 31866880 204 1992294400 134512640 137136520 4294956256 18446744073709551615 134517542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30986/statm: 7780 204 169 640 0 5906 0 [startup+0.066379 s] /proc/loadavg: 2.12 1.98 1.92 5/72 30986 /proc/meminfo: memFree=1849520/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=16272 CPUtime=0.05 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 535 0 0 0 5 0 0 0 18 0 1 0 184639487 16662528 519 1992294400 134512640 137136520 4294956256 18446744073709551615 136658751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 4068 519 280 640 0 2194 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 16272 [startup+0.101381 s] /proc/loadavg: 2.12 1.98 1.92 5/72 30986 /proc/meminfo: memFree=1849520/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=16796 CPUtime=0.09 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 184639487 17199104 696 1992294400 134512640 137136520 4294956256 18446744073709551615 134600309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 4199 696 342 640 0 2325 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16796 [startup+0.301411 s] /proc/loadavg: 2.12 1.98 1.92 5/72 30986 /proc/meminfo: memFree=1849520/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=19412 CPUtime=0.28 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 1734 0 0 0 28 0 0 0 19 0 1 0 184639487 19877888 1718 1992294400 134512640 137136520 4294956256 18446744073709551615 134519475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 4853 1718 697 640 0 2979 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 19412 [startup+0.701457 s] /proc/loadavg: 2.12 1.98 1.92 5/72 30986 /proc/meminfo: memFree=1849520/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=24772 CPUtime=0.69 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 3762 0 0 0 68 1 0 0 23 0 1 0 184639487 25366528 3746 1992294400 134512640 137136520 4294956256 18446744073709551615 134516215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 6193 3746 1396 640 0 4319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24772 [startup+1.50155 s] /proc/loadavg: 2.12 1.98 1.92 3/73 30987 /proc/meminfo: memFree=1835816/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=33836 CPUtime=1.48 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 7260 0 0 0 145 3 0 0 25 0 1 0 184639487 34648064 6014 1992294400 134512640 137136520 4294956256 18446744073709551615 134540163 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 8459 6014 190 640 0 7815 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33836 [startup+3.10174 s] /proc/loadavg: 2.11 1.98 1.92 3/73 30987 /proc/meminfo: memFree=1826024/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=33836 CPUtime=3.06 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 7260 0 0 0 302 4 0 0 25 0 1 0 184639487 34648064 6014 1992294400 134512640 137136520 4294956256 18446744073709551615 134540464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 8459 6014 190 640 0 7815 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 33836 [startup+6.30112 s] /proc/loadavg: 2.11 1.98 1.92 2/73 30987 /proc/meminfo: memFree=1829288/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=30564 CPUtime=6.23 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 8815 0 0 0 617 6 0 0 25 0 1 0 184639487 31297536 5206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 7641 5206 196 640 0 6997 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 30564 [startup+12.7019 s] /proc/loadavg: 2.02 1.96 1.91 4/73 30987 /proc/meminfo: memFree=1829096/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=30712 CPUtime=12.6 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 8834 0 0 0 1253 7 0 0 25 0 1 0 184639487 31449088 5225 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 7678 5225 197 640 0 7034 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 30712 [startup+25.5024 s] /proc/loadavg: 1.93 1.95 1.91 3/73 30987 /proc/meminfo: memFree=1827112/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=32732 CPUtime=25.31 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 9356 0 0 0 2517 14 0 0 25 0 1 0 184639487 33517568 5747 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 8183 5747 197 640 0 7539 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 32732 [startup+51.1043 s] /proc/loadavg: 1.89 1.93 1.91 3/73 30987 /proc/meminfo: memFree=1821544/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=38368 CPUtime=50.79 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 10747 0 0 0 5061 18 0 0 25 0 1 0 184639487 39288832 7138 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 9592 7138 197 640 0 8948 0 Current children cumulated CPU time (s) 50.79 Current children cumulated vsize (KiB) 38368 [startup+102.306 s] /proc/loadavg: 1.88 1.93 1.90 2/73 30987 /proc/meminfo: memFree=1808680/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=51212 CPUtime=101.77 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 13960 0 0 0 10150 27 0 0 25 0 1 0 184639487 52441088 10351 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 12803 10351 197 640 0 12159 0 Current children cumulated CPU time (s) 101.77 Current children cumulated vsize (KiB) 51212 [startup+162.308 s] /proc/loadavg: 1.86 1.92 1.90 4/73 30987 /proc/meminfo: memFree=1794920/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=64944 CPUtime=161.76 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 17392 0 0 0 16142 34 0 0 25 0 1 0 184639487 66502656 13783 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 16236 13783 197 640 0 15592 0 Current children cumulated CPU time (s) 161.76 Current children cumulated vsize (KiB) 64944 [startup+222.303 s] /proc/loadavg: 2.02 1.95 1.91 4/73 30987 /proc/meminfo: memFree=1776360/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=83304 CPUtime=221.73 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 21983 0 0 0 22133 40 0 0 25 0 1 0 184639487 85303296 18374 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 20826 18374 197 640 0 20182 0 Current children cumulated CPU time (s) 221.73 Current children cumulated vsize (KiB) 83304 [startup+282.302 s] /proc/loadavg: 2.09 1.97 1.92 3/73 30987 /proc/meminfo: memFree=1761192/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=98592 CPUtime=281.71 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 25804 0 0 0 28127 44 0 0 25 0 1 0 184639487 100958208 22195 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 24648 22195 197 640 0 24004 0 Current children cumulated CPU time (s) 281.71 Current children cumulated vsize (KiB) 98592 [startup+342.303 s] /proc/loadavg: 2.01 1.97 1.92 4/73 30987 /proc/meminfo: memFree=1749288/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=110192 CPUtime=341.7 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 28726 0 0 0 34121 49 0 0 25 0 1 0 184639487 112836608 25117 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 27548 25117 197 640 0 26904 0 Current children cumulated CPU time (s) 341.7 Current children cumulated vsize (KiB) 110192 [startup+402.306 s] /proc/loadavg: 1.89 1.94 1.91 4/73 30987 /proc/meminfo: memFree=1739240/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=120452 CPUtime=401.68 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 31269 0 0 0 40113 55 0 0 25 0 1 0 184639487 123342848 27660 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 30113 27660 197 640 0 29469 0 Current children cumulated CPU time (s) 401.68 Current children cumulated vsize (KiB) 120452 [startup+462.303 s] /proc/loadavg: 1.89 1.93 1.91 4/73 30987 /proc/meminfo: memFree=1730216/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=129284 CPUtime=461.66 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 33497 0 0 0 46107 59 0 0 25 0 1 0 184639487 132386816 29888 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 32321 29888 197 640 0 31677 0 Current children cumulated CPU time (s) 461.66 Current children cumulated vsize (KiB) 129284 [startup+522.314 s] /proc/loadavg: 1.97 1.94 1.91 2/73 30987 /proc/meminfo: memFree=1717160/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=142508 CPUtime=521.65 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 36783 0 0 0 52100 65 0 0 25 0 1 0 184639487 145928192 33174 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 35627 33174 197 640 0 34983 0 Current children cumulated CPU time (s) 521.65 Current children cumulated vsize (KiB) 142508 [startup+582.302 s] /proc/loadavg: 1.79 1.89 1.89 2/73 30987 /proc/meminfo: memFree=1705064/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=154320 CPUtime=581.61 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 39753 0 0 0 58092 69 0 0 25 0 1 0 184639487 158023680 36144 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 38580 36144 197 640 0 37936 0 Current children cumulated CPU time (s) 581.61 Current children cumulated vsize (KiB) 154320 [startup+642.31 s] /proc/loadavg: 2.03 1.94 1.91 3/73 30987 /proc/meminfo: memFree=1694440/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=164940 CPUtime=641.61 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 42391 0 0 0 64088 73 0 0 25 0 1 0 184639487 168898560 38782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 41235 38782 197 640 0 40591 0 Current children cumulated CPU time (s) 641.61 Current children cumulated vsize (KiB) 164940 [startup+702.31 s] ################ # More data... # ################ /proc/meminfo: memFree=1642728/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=216464 CPUtime=1121.39 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 55272 0 0 0 112041 98 0 0 25 0 1 0 184639487 221659136 51663 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 54116 51663 197 640 0 53472 0 Current children cumulated CPU time (s) 1121.39 Current children cumulated vsize (KiB) 216464 [startup+1182.31 s] /proc/loadavg: 1.96 1.95 1.91 2/73 30989 /proc/meminfo: memFree=1637800/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=221316 CPUtime=1181.37 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 56506 0 0 0 118037 100 0 0 25 0 1 0 184639487 226627584 52897 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 55329 52897 197 640 0 54685 0 Current children cumulated CPU time (s) 1181.37 Current children cumulated vsize (KiB) 221316 [startup+1242.3 s] /proc/loadavg: 2.23 2.03 1.94 4/73 30989 /proc/meminfo: memFree=1631784/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=227172 CPUtime=1241.34 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 57969 0 0 0 124032 102 0 0 25 0 1 0 184639487 232624128 54360 1992294400 134512640 137136520 4294956256 18446744073709551615 136294917 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 56793 54360 197 640 0 56149 0 Current children cumulated CPU time (s) 1241.34 Current children cumulated vsize (KiB) 227172 [startup+1302.3 s] /proc/loadavg: 1.94 1.99 1.93 3/73 30995 /proc/meminfo: memFree=1626016/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=232820 CPUtime=1301.29 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 59361 0 0 0 130022 107 0 0 25 0 1 0 184639487 238407680 55752 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 58205 55752 197 640 0 57561 0 Current children cumulated CPU time (s) 1301.29 Current children cumulated vsize (KiB) 232820 [startup+1362.31 s] /proc/loadavg: 1.87 1.96 1.92 3/73 30995 /proc/meminfo: memFree=1621024/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=237796 CPUtime=1361.26 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 60626 0 0 0 136017 109 0 0 25 0 1 0 184639487 243503104 57017 1992294400 134512640 137136520 4294956256 18446744073709551615 134544138 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 59449 57017 197 640 0 58805 0 Current children cumulated CPU time (s) 1361.26 Current children cumulated vsize (KiB) 237796 [startup+1422.31 s] /proc/loadavg: 1.89 1.96 1.92 2/73 30995 /proc/meminfo: memFree=1615328/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=243600 CPUtime=1421.24 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 62056 0 0 0 142012 112 0 0 25 0 1 0 184639487 249446400 58447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 60900 58447 197 640 0 60256 0 Current children cumulated CPU time (s) 1421.24 Current children cumulated vsize (KiB) 243600 [startup+1482.31 s] /proc/loadavg: 2.06 1.98 1.92 3/73 30995 /proc/meminfo: memFree=1609824/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=249068 CPUtime=1481.22 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 63440 0 0 0 148007 115 0 0 25 0 1 0 184639487 255045632 59831 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 62267 59831 197 640 0 61623 0 Current children cumulated CPU time (s) 1481.22 Current children cumulated vsize (KiB) 249068 [startup+1542.3 s] /proc/loadavg: 2.02 2.00 1.93 2/73 30995 /proc/meminfo: memFree=1604512/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=254348 CPUtime=1541.2 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 64761 0 0 0 154003 117 0 0 25 0 1 0 184639487 260452352 61152 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 63587 61152 197 640 0 62943 0 Current children cumulated CPU time (s) 1541.2 Current children cumulated vsize (KiB) 254348 [startup+1602.31 s] /proc/loadavg: 2.41 2.10 1.96 2/73 30995 /proc/meminfo: memFree=1600296/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=258492 CPUtime=1601.18 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 65798 0 0 0 160000 118 0 0 25 0 1 0 184639487 264695808 62189 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 64623 62189 197 640 0 63979 0 Current children cumulated CPU time (s) 1601.18 Current children cumulated vsize (KiB) 258492 [startup+1662.3 s] /proc/loadavg: 2.04 2.05 1.95 3/73 30995 /proc/meminfo: memFree=1596264/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=262556 CPUtime=1661.15 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 66795 0 0 0 165995 120 0 0 25 0 1 0 184639487 268857344 63186 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 65639 63186 197 640 0 64995 0 Current children cumulated CPU time (s) 1661.15 Current children cumulated vsize (KiB) 262556 [startup+1722.3 s] /proc/loadavg: 1.97 2.05 1.96 4/73 30995 /proc/meminfo: memFree=1591912/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=266836 CPUtime=1721.14 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 67883 0 0 0 171992 122 0 0 25 0 1 0 184639487 273240064 64274 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 66709 64274 197 640 0 66065 0 Current children cumulated CPU time (s) 1721.14 Current children cumulated vsize (KiB) 266836 [startup+1782.3 s] /proc/loadavg: 1.86 1.99 1.94 4/73 30995 /proc/meminfo: memFree=1585384/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=273268 CPUtime=1781.12 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69491 0 0 0 177988 124 0 0 25 0 1 0 184639487 279826432 65882 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68317 65882 197 640 0 67673 0 Current children cumulated CPU time (s) 1781.12 Current children cumulated vsize (KiB) 273268 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.96 2.01 1.95 2/73 30995 /proc/meminfo: memFree=1584488/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274160 CPUtime=1790.73 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69704 0 0 0 178948 125 0 0 25 0 1 0 184639487 280739840 66095 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68540 66095 197 640 0 67896 0 Current children cumulated CPU time (s) 1790.73 Current children cumulated vsize (KiB) 274160 [startup+1795.1 s] /proc/loadavg: 1.96 2.01 1.95 2/73 30995 /proc/meminfo: memFree=1584232/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274444 CPUtime=1793.92 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69767 0 0 0 179267 125 0 0 25 0 1 0 184639487 281030656 66158 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68611 66158 197 640 0 67967 0 Current children cumulated CPU time (s) 1793.92 Current children cumulated vsize (KiB) 274444 [startup+1796.71 s] /proc/loadavg: 1.88 1.99 1.94 3/73 30995 /proc/meminfo: memFree=1584232/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274444 CPUtime=1795.52 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69794 0 0 0 179427 125 0 0 25 0 1 0 184639487 281030656 66185 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68611 66185 197 640 0 67967 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (KiB) 274444 [startup+1798.3 s] /proc/loadavg: 1.88 1.99 1.94 4/73 30995 /proc/meminfo: memFree=1584168/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274576 CPUtime=1797.12 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69807 0 0 0 179587 125 0 0 25 0 1 0 184639487 281165824 66198 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68644 66198 197 640 0 68000 0 Current children cumulated CPU time (s) 1797.12 Current children cumulated vsize (KiB) 274576 [startup+1798.71 s] /proc/loadavg: 1.88 1.99 1.94 2/73 30995 /proc/meminfo: memFree=1584040/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274576 CPUtime=1797.52 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69815 0 0 0 179627 125 0 0 25 0 1 0 184639487 281165824 66206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68644 66206 197 640 0 68000 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (KiB) 274576 [startup+1799.1 s] /proc/loadavg: 1.88 1.99 1.94 2/73 30995 /proc/meminfo: memFree=1584040/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274712 CPUtime=1797.92 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69834 0 0 0 179667 125 0 0 25 0 1 0 184639487 281305088 66225 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68678 66225 197 640 0 68034 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 274712 [startup+1799.21 s] /proc/loadavg: 1.88 1.99 1.94 2/73 30995 /proc/meminfo: memFree=1584040/2055920 swapFree=4182380/4192956 [pid=30986] ppid=30984 vsize=274712 CPUtime=1798.02 /proc/30986/stat : 30986 (bsolo) R 30984 30986 30585 0 -1 4194304 69834 0 0 0 179677 125 0 0 25 0 1 0 184639487 281305088 66225 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30986/statm: 68678 66225 197 640 0 68034 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 274712 Child status: 0 Real time (s): 1799.28 CPU time (s): 1798.1 CPU user time (s): 1796.8 CPU system time (s): 1.2988 CPU usage (%): 99.9346 Max. virtual memory (cumulated for all children) (KiB): 274712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.8 system time used= 1.2988 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69835 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= 3871 runsolver used 2.54261 second user time and 6.41902 second system time The end
Begin job on node75 at 2009-06-16 18:40:16 IDJOB=1876969 IDBENCH=2630 IDSOLVER=699 FILE ID=node75/1876969-1245170415 PBS_JOBID= 9363861 Free space on /tmp= 66424 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876969-1245170415/watcher-1876969-1245170415 -o /tmp/evaluation-result-1876969-1245170415/solver-1876969-1245170415 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876969-1245170415.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED=41386209 node75.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.236 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.236 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: 1850128 kB Buffers: 22260 kB Cached: 96088 kB SwapCached: 4596 kB Active: 42892 kB Inactive: 99340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850128 kB SwapTotal: 4192956 kB SwapFree: 4182380 kB Dirty: 8856 kB Writeback: 0 kB Mapped: 31328 kB Slab: 48564 kB Committed_AS: 612236 kB PageTables: 2088 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-1876969-1245170415.opb Free space on /tmp at the end= 66420 MiB End job on node75 at 2009-06-16 19:10:15