Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.03 | 1800.52 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680600-1277458825.opb. 0.00/0.00 c Instance file HOME/instance-2680600-1277458825.opb 0.00/0.00 c File size is 7672173 bytes. 1.39/1.41 c Highest Coefficient sum: 2977 1.39/1.41 c ============================[ Problem Statistics ]============================= 1.39/1.41 c | | 1.39/1.41 c | Parsing time: 1.37 s | 1.39/1.41 c | Number Variables: 13478 | 1.39/1.41 c | Number Clauses: 1 | 1.39/1.41 c | Number Cardinality: 0 | 1.39/1.41 c | Number PB Constraints: 26619 | 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 13477 26620 901317 | 8873 0 nan | 0.000 % | 4.79/4.84 c | 100 | 13477 26620 901317 | 9760 100 40 | 0.007 % | 5.99/6.06 c | 250 | 13477 26620 901317 | 10736 250 36 | 0.007 % | 9.89/9.98 c | 477 | 13477 26620 901317 | 11810 477 31 | 0.007 % | 12.89/12.94 c | 816 | 13477 26620 901317 | 12991 816 33 | 0.007 % | 22.18/22.22 c | 1322 | 13477 26620 901317 | 14290 1322 31 | 0.007 % | 28.28/28.35 c | 2081 | 13477 26620 901317 | 15719 2081 36 | 0.007 % | 45.18/45.21 c | 3220 | 13477 26620 901317 | 17291 3220 40 | 0.007 % | 67.48/67.50 c | 4928 | 13477 26620 901317 | 19020 4928 43 | 0.007 % | 96.67/96.75 c | 7492 | 13477 26620 901317 | 20922 7492 46 | 0.007 % | 139.15/139.22 c | 11338 | 13477 26620 901317 | 23015 11338 46 | 0.007 % | 180.25/180.34 c There are 1 assigned variables. 1 in cost function. 180.84/180.96 c ============================[ Search Statistics ]============================== 180.84/180.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.84/180.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.84/180.96 c =============================================================================== 180.84/180.96 c | 0 | 13348 26628 899634 | 8876 0 nan | 0.000 % | 184.74/184.83 c | 100 | 13348 26628 899634 | 9763 100 47 | 0.965 % | 187.64/187.71 c | 251 | 13348 26628 899634 | 10739 251 45 | 0.965 % | 190.44/190.59 c | 477 | 13348 26628 899634 | 11813 477 47 | 0.965 % | 193.74/193.84 c | 814 | 13348 26628 899634 | 12995 814 46 | 0.965 % | 201.44/201.51 c | 1321 | 13345 26628 899634 | 14294 1321 43 | 1.031 % | 210.14/210.23 c | 2081 | 13344 26628 899634 | 15724 2081 42 | 1.039 % | 224.73/224.82 c | 3221 | 13344 26628 899634 | 17296 3221 43 | 1.039 % | 242.72/242.83 c | 4929 | 13338 26628 899634 | 19026 4925 41 | 1.039 % | 269.52/269.65 c | 7492 | 13337 26628 899634 | 20929 7488 39 | 1.046 % | 309.91/310.05 c | 11336 | 13336 26628 899634 | 23022 11327 37 | 1.054 % | 388.10/388.21 c | 17103 | 13336 26628 899634 | 25324 17094 39 | 1.054 % | 532.15/532.36 c | 25753 | 13336 26628 899634 | 27856 25744 44 | 1.054 % | 716.20/716.47 c | 38727 | 13336 26628 899634 | 30642 19704 50 | 1.054 % | 985.13/985.46 c | 58189 | 13336 26628 899634 | 33706 17195 51 | 1.054 % | 1388.41/1388.83 c | 87381 | 13336 26628 899634 | 37077 22134 47 | 1.054 % |
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-2680600-1277458825/watcher-2680600-1277458825 -o /tmp/evaluation-result-2680600-1277458825/solver-2680600-1277458825 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680600-1277458825.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 0.91 3/106 28366 /proc/meminfo: memFree=1842296/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=10068 CPUtime=0 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 87175347 10309632 210 1992294400 134512640 135752675 4289202592 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 2517 210 139 303 0 338 0 [startup+0.028939 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28366 /proc/meminfo: memFree=1842296/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=10596 CPUtime=0.02 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 431 0 0 0 2 0 0 0 20 0 1 0 87175347 10850304 349 1992294400 134512640 135752675 4289202592 18446744073709551615 134574243 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 2649 350 169 303 0 470 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10596 [startup+0.100947 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28366 /proc/meminfo: memFree=1842296/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=12064 CPUtime=0.09 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 929 0 0 0 9 0 0 0 20 0 1 0 87175347 12353536 847 1992294400 134512640 135752675 4289202592 18446744073709551615 135010790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 3016 847 272 303 0 837 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12064 [startup+0.300968 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28366 /proc/meminfo: memFree=1842296/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=16292 CPUtime=0.29 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 2245 0 0 0 29 0 0 0 20 0 1 0 87175347 16683008 2163 1992294400 134512640 135752675 4289202592 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 4073 2163 543 303 0 1894 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16292 [startup+0.701013 s] /proc/loadavg: 1.00 1.00 0.91 3/106 28366 /proc/meminfo: memFree=1842296/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=24372 CPUtime=0.69 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 4757 0 0 0 68 1 0 0 20 0 1 0 87175347 24956928 4675 1992294400 134512640 135752675 4289202592 18446744073709551615 134598467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 6093 4675 1068 303 0 3914 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24372 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28367 /proc/meminfo: memFree=1821456/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=32908 CPUtime=1.49 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10135 0 0 0 145 4 0 0 23 0 1 0 87175347 33697792 7756 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8227 7756 143 303 0 7922 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32908 [startup+3.10128 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28367 /proc/meminfo: memFree=1811040/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=32908 CPUtime=3.09 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10136 0 0 0 304 5 0 0 25 0 1 0 87175347 33697792 7757 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8227 7757 144 303 0 7922 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32908 [startup+6.30163 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28367 /proc/meminfo: memFree=1810668/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=33040 CPUtime=6.29 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10145 0 0 0 624 5 0 0 25 0 1 0 87175347 33832960 7766 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8260 7766 145 303 0 7955 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33040 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28367 /proc/meminfo: memFree=1810676/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=33172 CPUtime=12.69 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10175 0 0 0 1264 5 0 0 25 0 1 0 87175347 33968128 7796 1992294400 134512640 135752675 4289202592 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8293 7796 145 303 0 7988 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33172 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28367 /proc/meminfo: memFree=1810676/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=33304 CPUtime=25.49 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10232 0 0 0 2542 7 0 0 25 0 1 0 87175347 34103296 7853 1992294400 134512640 135752675 4289202592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8326 7853 145 303 0 8021 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33304 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28369 /proc/meminfo: memFree=1810428/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=33964 CPUtime=51.07 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10372 0 0 0 5098 9 0 0 25 0 1 0 87175347 34779136 7993 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8491 7993 145 303 0 8186 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33964 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28369 /proc/meminfo: memFree=1809188/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=35152 CPUtime=102.28 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 10687 0 0 0 10214 14 0 0 25 0 1 0 87175347 35995648 8308 1992294400 134512640 135752675 4289202592 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 8788 8308 145 303 0 8483 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 35152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28371 /proc/meminfo: memFree=1807576/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=36904 CPUtime=162.25 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 11097 0 0 0 16205 20 0 0 25 0 1 0 87175347 37789696 8718 1992294400 134512640 135752675 4289202592 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 9226 8718 145 303 0 8921 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36904 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28373 /proc/meminfo: memFree=1778064/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=222.24 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 22195 29 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 65936 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28375 /proc/meminfo: memFree=1778064/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=282.22 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 28187 35 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 65936 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28375 /proc/meminfo: memFree=1777940/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=342.2 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 34180 40 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 65936 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28377 /proc/meminfo: memFree=1777816/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=402.18 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 40173 45 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 65936 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28379 /proc/meminfo: memFree=1777816/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=462.17 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 46168 49 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 65936 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28381 /proc/meminfo: memFree=1777692/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=522.15 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 52163 52 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 65936 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28383 /proc/meminfo: memFree=1777692/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=582.13 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 58156 57 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 65936 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28383 /proc/meminfo: memFree=1777568/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=642.13 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 64150 63 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 65936 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 1.00 0.92 2/107 28391 /proc/meminfo: memFree=1777444/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=882.06 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 88125 81 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 65936 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28391 /proc/meminfo: memFree=1777444/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=942.04 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 94119 85 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 65936 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28393 /proc/meminfo: memFree=1777444/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1002.03 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 100111 92 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 65936 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28395 /proc/meminfo: memFree=1777320/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1062.01 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 106104 97 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 65936 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28397 /proc/meminfo: memFree=1777320/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1121.99 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 112098 101 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 65936 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28399 /proc/meminfo: memFree=1777320/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1181.97 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18518 0 0 0 118091 106 0 0 25 0 1 0 87175347 67518464 15953 1992294400 134512640 135752675 4289202592 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15953 146 303 0 16179 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 65936 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28408 /proc/meminfo: memFree=1776576/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1241.94 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18529 0 0 0 124084 110 0 0 25 0 1 0 87175347 67518464 15964 1992294400 134512640 135752675 4289202592 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15964 146 303 0 16179 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 65936 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28410 /proc/meminfo: memFree=1776576/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1301.94 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18531 0 0 0 130079 115 0 0 25 0 1 0 87175347 67518464 15966 1992294400 134512640 135752675 4289202592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15966 146 303 0 16179 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 65936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28412 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1361.92 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18538 0 0 0 136073 119 0 0 25 0 1 0 87175347 67518464 15973 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15973 146 303 0 16179 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 65936 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28414 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1421.91 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18545 0 0 0 142068 123 0 0 25 0 1 0 87175347 67518464 15980 1992294400 134512640 135752675 4289202592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15980 146 303 0 16179 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 65936 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28416 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1481.89 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18549 0 0 0 148062 127 0 0 25 0 1 0 87175347 67518464 15984 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15984 146 303 0 16179 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 65936 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28416 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1541.87 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18553 0 0 0 154057 130 0 0 25 0 1 0 87175347 67518464 15988 1992294400 134512640 135752675 4289202592 18446744073709551615 134518817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15988 146 303 0 16179 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 65936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28418 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1601.86 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18553 0 0 0 160051 135 0 0 25 0 1 0 87175347 67518464 15988 1992294400 134512640 135752675 4289202592 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15988 146 303 0 16179 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 65936 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28420 /proc/meminfo: memFree=1776700/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=65936 CPUtime=1661.84 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18553 0 0 0 166044 140 0 0 25 0 1 0 87175347 67518464 15988 1992294400 134512640 135752675 4289202592 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16484 15988 146 303 0 16179 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 65936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28422 /proc/meminfo: memFree=1776576/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=66688 CPUtime=1721.83 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 18755 0 0 0 172037 146 0 0 25 0 1 0 87175347 68288512 16190 1992294400 134512640 135752675 4289202592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16672 16190 146 303 0 16367 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 66688 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28424 /proc/meminfo: memFree=1775460/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=67876 CPUtime=1781.81 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 19027 0 0 0 178028 153 0 0 25 0 1 0 87175347 69505024 16462 1992294400 134512640 135752675 4289202592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 16969 16462 146 303 0 16664 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 67876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28424 /proc/meminfo: memFree=1775088/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=68140 CPUtime=1800.01 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 19106 0 0 0 179847 154 0 0 25 0 1 0 87175347 69775360 16541 1992294400 134512640 135752675 4289202592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 17035 16541 146 303 0 16730 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 68140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.92 2/107 28424 /proc/meminfo: memFree=1775088/2059040 swapFree=4140312/4192956 [pid=28366] ppid=28364 vsize=68140 CPUtime=1800.01 /proc/28366/stat : 28366 (wbo1.4b) R 28364 28366 27906 0 -1 4202496 19106 0 0 0 179847 154 0 0 25 0 1 0 87175347 69775360 16541 1992294400 134512640 135752675 4289202592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28366/statm: 17035 16541 146 303 0 16730 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 68140 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1798.48 CPU system time (s): 1.54976 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 68140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.54976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19106 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= 13705 runsolver used 2.74358 second user time and 8.74067 second system time The end
Begin job on node038 at 2010-06-25 11:40:26 IDJOB=2680600 IDBENCH=2947 IDSOLVER=1190 FILE ID=node038/2680600-1277458825 PBS_JOBID= 11188128 Free space on /tmp= 62452 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_20.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680600-1277458825/watcher-2680600-1277458825 -o /tmp/evaluation-result-2680600-1277458825/solver-2680600-1277458825 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680600-1277458825.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 601a73d2c5752739e04dd0126b5500f0 RANDOM SEED=1215198665 node038.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.222 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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.222 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1842576 kB Buffers: 26484 kB Cached: 83316 kB SwapCached: 5416 kB Active: 64844 kB Inactive: 57908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1842576 kB SwapTotal: 4192956 kB SwapFree: 4140312 kB Dirty: 10144 kB Writeback: 0 kB AnonPages: 11524 kB Mapped: 11880 kB Slab: 71316 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181432 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node038 at 2010-06-25 12:10:28