Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.08 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_15.opb |
MD5SUM | 76cbd1f5f345389511b95f4555e7fed1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 188 |
Best CPU time to get the best result obtained on this benchmark | 1798.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 179 |
Optimality of the best value was proved | NO |
Number of variables | 4320 |
Total number of constraints | 8415 |
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 | 8414 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 105 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 232 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 329 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1558 |
Number of bits of the biggest sum of numbers | 11 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875753-1245178639.opb. 0.00/0.00 c Instance file HOME/instance-1875753-1245178639.opb 0.00/0.00 c File size is 2031953 bytes. 0.29/0.32 c Highest Coefficient sum: 1558 0.29/0.32 c ============================[ Problem Statistics ]============================= 0.29/0.32 c | | 0.29/0.32 c | Parsing time: 0.31 s | 0.29/0.32 c | Number Variables: 4320 | 0.29/0.32 c | Number Clauses: 9 | 0.29/0.32 c | Number Cardinality: 0 | 0.29/0.32 c | Number PB Constraints: 8414 | 0.29/0.32 c core #1 0.29/0.32 c Core size: 2 Core Weight: 105 Total Weight: 105 0.29/0.32 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 4244 8424 249411 | 5000 0 nan | 0.000 % | 1.29/1.34 c | 102 | 4244 8424 249411 | 5500 102 34 | 1.782 % | 2.09/2.14 c | 253 | 4244 8424 249411 | 6050 253 43 | 1.782 % | 2.69/2.73 c | 478 | 4244 8424 249411 | 6655 478 47 | 1.782 % | 3.49/3.55 c | 815 | 4244 8424 249411 | 7320 815 49 | 1.782 % | 4.79/4.90 c | 1322 | 4244 8424 249411 | 8052 1322 50 | 1.782 % | 7.08/7.19 c | 2081 | 4244 8424 249411 | 8857 2081 51 | 1.782 % | 12.78/12.88 c | 3222 | 4244 8424 249411 | 9743 3222 48 | 1.782 % | 17.69/17.75 c | 4931 | 4244 8424 249411 | 10717 4931 50 | 1.782 % | 24.78/24.84 c | 7493 | 4244 8424 249411 | 11789 7493 50 | 1.782 % | 37.87/37.91 c | 11337 | 4244 8424 249411 | 12968 11337 51 | 1.782 % | 58.46/58.53 c | 17103 | 4243 8424 249411 | 14265 10497 52 | 1.805 % | 97.85/97.97 c | 25752 | 4243 8424 249411 | 15692 11674 48 | 1.805 % | 144.04/144.17 c | 38727 | 4243 8424 249411 | 17261 15677 53 | 1.805 % | 208.21/208.31 c | 58189 | 4243 8424 249411 | 18987 17329 53 | 1.805 % | 321.16/321.37 c | 87381 | 4243 8424 249411 | 20886 16873 55 | 1.805 % | 481.40/481.63 c | 131172 | 4243 8424 249411 | 22974 14437 56 | 1.805 % | 720.52/720.85 c | 196858 | 4241 8424 249411 | 25272 12755 55 | 1.851 % | 1096.99/1097.45 c | 295385 | 4241 8424 249411 | 27799 20151 60 | 1.851 % | 1625.20/1625.85 c | 443174 | 4237 8424 249411 | 30579 26427 61 | 1.944 % |
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-1875753-1245178639/watcher-1875753-1245178639 -o /tmp/evaluation-result-1875753-1245178639/solver-1875753-1245178639 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875753-1245178639.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 1877 /proc/meminfo: memFree=1855848/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=4512 CPUtime=0 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 199 0 0 0 0 0 0 0 20 0 1 0 185462333 4620288 183 1992294400 134512640 135709839 4294956240 18446744073709551615 134542980 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 1128 183 127 292 0 336 0 [startup+0.0668099 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1877 /proc/meminfo: memFree=1855848/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=6100 CPUtime=0.06 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 682 0 0 0 6 0 0 0 20 0 1 0 185462333 6246400 666 1992294400 134512640 135709839 4294956240 18446744073709551615 134548040 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 1525 666 223 292 0 733 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6100 [startup+0.101815 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1877 /proc/meminfo: memFree=1855848/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=7036 CPUtime=0.09 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 968 0 0 0 9 0 0 0 20 0 1 0 185462333 7204864 952 1992294400 134512640 135709839 4294956240 18446744073709551615 135166124 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 1759 952 278 292 0 967 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7036 [startup+0.301852 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1877 /proc/meminfo: memFree=1855848/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=11984 CPUtime=0.29 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 2543 0 0 0 28 1 0 0 22 0 1 0 185462333 12271616 2527 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 2996 2527 590 292 0 2204 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11984 [startup+0.701927 s] /proc/loadavg: 1.00 1.00 1.00 3/65 1877 /proc/meminfo: memFree=1855848/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18312 CPUtime=0.69 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4673 0 0 0 67 2 0 0 25 0 1 0 185462333 18751488 4108 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4578 4108 135 292 0 4283 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18312 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1878 /proc/meminfo: memFree=1839648/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18312 CPUtime=1.49 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4674 0 0 0 147 2 0 0 25 0 1 0 185462333 18751488 4109 1992294400 134512640 135709839 4294956240 18446744073709551615 134572762 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4578 4109 136 292 0 4283 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18312 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1878 /proc/meminfo: memFree=1839584/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18312 CPUtime=3.09 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4674 0 0 0 307 2 0 0 25 0 1 0 185462333 18751488 4109 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4578 4109 136 292 0 4283 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18312 [startup+6.30198 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1878 /proc/meminfo: memFree=1839456/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18312 CPUtime=6.29 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4674 0 0 0 627 2 0 0 25 0 1 0 185462333 18751488 4109 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4578 4109 136 292 0 4283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18312 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/66 1878 /proc/meminfo: memFree=1839400/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18312 CPUtime=12.68 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4676 0 0 0 1265 3 0 0 25 0 1 0 185462333 18751488 4111 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4578 4111 136 292 0 4283 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18312 [startup+25.5016 s] /proc/loadavg: 1.06 1.02 1.00 2/66 1878 /proc/meminfo: memFree=1838952/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=18972 CPUtime=25.49 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 4833 0 0 0 2544 5 0 0 25 0 1 0 185462333 19427328 4268 1992294400 134512640 135709839 4294956240 18446744073709551615 134572772 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 4743 4268 136 292 0 4448 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18972 [startup+51.1014 s] /proc/loadavg: 1.04 1.01 1.00 2/66 1878 /proc/meminfo: memFree=1836648/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=21144 CPUtime=51.07 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 5400 0 0 0 5099 8 0 0 25 0 1 0 185462333 21651456 4835 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 5286 4835 136 292 0 4991 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21144 [startup+102.306 s] /proc/loadavg: 1.01 1.01 1.00 2/66 1878 /proc/meminfo: memFree=1832680/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=25108 CPUtime=102.26 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 6391 0 0 0 10211 15 0 0 25 0 1 0 185462333 25710592 5826 1992294400 134512640 135709839 4294956240 18446744073709551615 134587989 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 6277 5826 136 292 0 5982 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25108 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1878 /proc/meminfo: memFree=1826664/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=31188 CPUtime=162.23 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 7905 0 0 0 16199 24 0 0 25 0 1 0 185462333 31936512 7340 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 7797 7340 136 292 0 7502 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 31188 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1820632/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=36932 CPUtime=222.2 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 9346 0 0 0 22187 33 0 0 25 0 1 0 185462333 37818368 8781 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 9233 8781 136 292 0 8938 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 36932 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1815200/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=42480 CPUtime=282.18 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 10708 0 0 0 28176 42 0 0 25 0 1 0 185462333 43499520 10143 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 10620 10143 136 292 0 10325 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 42480 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1809888/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=47764 CPUtime=342.16 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 12029 0 0 0 34165 51 0 0 25 0 1 0 185462333 48910336 11464 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 11941 11464 136 292 0 11646 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 47764 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1803872/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=53712 CPUtime=402.13 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 13524 0 0 0 40155 58 0 0 25 0 1 0 185462333 55001088 12959 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 13428 12959 136 292 0 13133 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 53712 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1798240/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=59520 CPUtime=462.11 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 14975 0 0 0 46143 68 0 0 25 0 1 0 185462333 60948480 14410 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 14880 14410 136 292 0 14585 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 59520 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1792672/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=65064 CPUtime=522.09 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 16369 0 0 0 52132 77 0 0 25 0 1 0 185462333 66625536 15804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 16266 15804 136 292 0 15971 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 65064 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1787112/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=70496 CPUtime=582.07 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 17737 0 0 0 58122 85 0 0 25 0 1 0 185462333 72187904 17172 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 17624 17172 136 292 0 17329 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 70496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1780840/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=76700 CPUtime=642.06 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 19275 0 0 0 64111 95 0 0 25 0 1 0 185462333 78540800 18710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 19175 18710 136 292 0 18880 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 76700 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1758952/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=98512 CPUtime=881.97 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 24714 0 0 0 88070 127 0 0 25 0 1 0 185462333 100876288 24149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 24628 24149 136 292 0 24333 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 98512 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1753320/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=104220 CPUtime=941.94 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 26132 0 0 0 94058 136 0 0 25 0 1 0 185462333 106721280 25567 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 26055 25567 136 292 0 25760 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 104220 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1747752/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=109652 CPUtime=1001.92 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 27497 0 0 0 100048 144 0 0 25 0 1 0 185462333 112283648 26932 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 27413 26932 136 292 0 27118 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 109652 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1741736/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=115724 CPUtime=1061.9 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 29001 0 0 0 106036 154 0 0 25 0 1 0 185462333 118501376 28436 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 28931 28436 136 292 0 28636 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 115724 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1735976/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=121408 CPUtime=1121.88 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 30443 0 0 0 112026 162 0 0 25 0 1 0 185462333 124321792 29878 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 30352 29878 136 292 0 30057 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 121408 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1729896/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=127480 CPUtime=1181.85 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 31956 0 0 0 118014 171 0 0 25 0 1 0 185462333 130539520 31391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 31870 31391 136 292 0 31575 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 127480 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1723304/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=133948 CPUtime=1241.84 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 33572 0 0 0 124003 181 0 0 25 0 1 0 185462333 137162752 33007 1992294400 134512640 135709839 4294956240 18446744073709551615 134572830 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 33487 33007 136 292 0 33192 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 133948 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1716520/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=140680 CPUtime=1301.82 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 35246 0 0 0 129992 190 0 0 25 0 1 0 185462333 144056320 34681 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 35170 34681 136 292 0 34875 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 140680 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1710440/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=146760 CPUtime=1361.78 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 36779 0 0 0 135980 198 0 0 25 0 1 0 185462333 150282240 36214 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 36690 36214 136 292 0 36395 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 146760 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1705256/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=151908 CPUtime=1421.77 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 38071 0 0 0 141972 205 0 0 25 0 1 0 185462333 155553792 37506 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 37977 37506 136 292 0 37682 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 151908 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1699688/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=157472 CPUtime=1481.74 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 39449 0 0 0 147963 211 0 0 25 0 1 0 185462333 161251328 38884 1992294400 134512640 135709839 4294956240 18446744073709551615 134572583 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 39368 38884 136 292 0 39073 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 157472 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1693736/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=163412 CPUtime=1541.72 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 40925 0 0 0 153952 220 0 0 25 0 1 0 185462333 167333888 40360 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 40853 40360 136 292 0 40558 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 163412 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1687016/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=170144 CPUtime=1601.7 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 42613 0 0 0 159942 228 0 0 25 0 1 0 185462333 174227456 42048 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 42536 42048 136 292 0 42241 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 170144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1680104/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=176880 CPUtime=1661.68 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 44313 0 0 0 165932 236 0 0 25 0 1 0 185462333 181125120 43748 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 44220 43748 136 292 0 43925 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 176880 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1674536/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=182556 CPUtime=1721.65 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 45710 0 0 0 171922 243 0 0 25 0 1 0 185462333 186937344 45145 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 45639 45145 136 292 0 45344 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 182556 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1668328/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=188640 CPUtime=1781.64 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 47247 0 0 0 177913 251 0 0 25 0 1 0 185462333 193167360 46682 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 47160 46682 136 292 0 46865 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 188640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1666152/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=190752 CPUtime=1800.03 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 47779 0 0 0 179749 254 0 0 25 0 1 0 185462333 195330048 47214 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 47688 47214 136 292 0 47393 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 1884 /proc/meminfo: memFree=1666152/2055924 swapFree=4179404/4192956 [pid=1877] ppid=1875 vsize=190752 CPUtime=1800.03 /proc/1877/stat : 1877 (wbo) R 1875 1877 1803 0 -1 4194304 47779 0 0 0 179749 254 0 0 25 0 1 0 185462333 195330048 47214 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 1 0 0 /proc/1877/statm: 47688 47214 136 292 0 47393 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 190752 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.08 CPU user time (s): 1797.5 CPU system time (s): 2.57661 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 190752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.5 system time used= 2.57661 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47779 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= 1877 runsolver used 2.02869 second user time and 4.50631 second system time The end
Begin job on node83 at 2009-06-16 20:57:20 IDJOB=1875753 IDBENCH=2935 IDSOLVER=698 FILE ID=node83/1875753-1245178639 PBS_JOBID= 9368274 Free space on /tmp= 66504 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875753-1245178639/watcher-1875753-1245178639 -o /tmp/evaluation-result-1875753-1245178639/solver-1875753-1245178639 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875753-1245178639.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1 RANDOM SEED=1794060591 node83.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.265 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.265 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: 2055924 kB MemFree: 1856264 kB Buffers: 32300 kB Cached: 98172 kB SwapCached: 7704 kB Active: 30152 kB Inactive: 109444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1856264 kB SwapTotal: 4192956 kB SwapFree: 4179404 kB Dirty: 4392 kB Writeback: 0 kB Mapped: 14956 kB Slab: 45976 kB Committed_AS: 74624 kB PageTables: 1392 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-1875753-1245178639.opb Free space on /tmp at the end= 66504 MiB End job on node83 at 2009-06-16 21:27:22