Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.08 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb |
MD5SUM | 12e000f4c238d036e0b89e0774c838fa |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 43 |
Best CPU time to get the best result obtained on this benchmark | 1798.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 108 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75294 |
Sum of products size (including duplicates) | 150588 |
Number of different products | 75294 |
Sum of products size | 150588 |
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-1875309-1245196586.opb. 0.00/0.00 c Instance file HOME/instance-1875309-1245196586.opb 0.00/0.00 c File size is 5904571 bytes. 0.79/0.83 c Highest Coefficient sum: 109 0.79/0.83 c ============================[ Problem Statistics ]============================= 0.79/0.83 c | | 0.79/0.83 c | Parsing time: 0.81 s | 0.79/0.83 c | Number Variables: 76294 | 0.79/0.83 c | Number Clauses: 77294 | 0.79/0.83 c | Number Cardinality: 0 | 0.79/0.83 c | Number PB Constraints: 75294 | 0.79/0.84 c core #1 0.79/0.84 c Core size: 122 Core Weight: 1 Total Weight: 1 0.79/0.84 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 1.00/1.02 c core #2 1.00/1.02 c Core size: 126 Core Weight: 1 Total Weight: 2 1.00/1.02 c Elapsed CPU time: 0.975851 s Remaining CPU time: 1799.02 s 1.19/1.28 c core #3 1.19/1.28 c Core size: 263 Core Weight: 1 Total Weight: 3 1.19/1.28 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 19908 152591 361144 | 50863 0 nan | 0.000 % | 2.19/2.28 c | 100 | 15102 152591 361144 | 55950 7 47 | 80.271 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c core #4 2.29/2.36 c Core size: 956 Core Weight: 1 Total Weight: 4 2.29/2.36 c Elapsed CPU time: 2.28965 s Remaining CPU time: 1797.71 s 2.59/2.68 c ============================[ Search Statistics ]============================== 2.59/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.68 c =============================================================================== 2.59/2.68 c | 0 | 41105 152592 423771 | 50864 0 nan | 0.000 % | 3.49/3.58 c | 104 | 41105 152592 423771 | 55950 104 298 | 46.596 % | 5.09/5.18 c | 257 | 41105 152592 423771 | 61545 257 261 | 46.596 % | 7.09/7.14 c | 482 | 41105 152592 423771 | 67699 482 324 | 46.596 % | 10.89/10.95 c | 820 | 41105 152592 423771 | 74469 820 304 | 46.596 % | 13.89/13.95 c | 1327 | 41105 152592 423771 | 81916 1327 348 | 46.596 % | 20.38/20.42 c | 2086 | 41105 152592 423771 | 90108 2086 324 | 46.596 % | 31.98/32.03 c | 3225 | 41105 152592 423771 | 99119 3225 325 | 46.596 % | 48.37/48.42 c | 4933 | 41105 152592 423771 | 109031 4933 344 | 46.596 % | 86.45/86.55 c | 7496 | 41105 152592 423771 | 119934 7496 296 | 46.596 % | 124.05/124.13 c | 11342 | 41105 152592 423771 | 131928 11342 339 | 46.596 % | 195.41/195.60 c | 17112 | 41105 152592 423771 | 145120 17112 397 | 46.596 % | 201.91/202.02 c =============================================================================== 202.22/202.38 c core #5 202.22/202.38 c Core size: 3703 Core Weight: 1 Total Weight: 5 202.22/202.38 c Elapsed CPU time: 201.98 s Remaining CPU time: 1598.02 s 202.61/202.76 c ============================[ Search Statistics ]============================== 202.61/202.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.61/202.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.61/202.76 c =============================================================================== 202.61/202.76 c | 0 | 72847 152593 517272 | 50864 0 nan | 0.000 % | 203.51/203.69 c | 100 | 72847 152593 517272 | 55950 100 231 | 6.459 % | 208.61/208.74 c | 250 | 72847 152593 517272 | 61545 250 222 | 6.459 % | 212.00/212.19 c | 479 | 72847 152593 517272 | 67700 479 244 | 6.459 % | 216.40/216.58 c | 816 | 72847 152593 517272 | 74470 816 312 | 6.459 % | 227.20/227.33 c | 1322 | 72847 152593 517272 | 81917 1322 318 | 6.459 % | 235.69/235.88 c | 2081 | 72847 152593 517272 | 90109 2081 343 | 6.459 % | 245.09/245.27 c | 3223 | 72847 152593 517272 | 99120 3223 384 | 6.459 % | 265.68/265.86 c | 4932 | 72847 152593 517272 | 109032 4932 397 | 6.459 % | 302.55/302.74 c | 7496 | 72847 152593 517272 | 119935 7496 402 | 6.459 % | 343.63/343.84 c | 11342 | 72847 152593 517272 | 131928 11342 402 | 6.459 % | 408.30/408.52 c | 17114 | 72847 152593 517272 | 145121 17114 406 | 6.459 % | 519.05/519.33 c | 25765 | 72847 152593 517272 | 159634 25765 403 | 6.459 % | 709.35/709.73 c | 38741 | 72847 152593 517272 | 175597 38741 404 | 6.459 % | 1040.48/1041.02 c | 58202 | 72847 152593 517272 | 193157 58202 409 | 6.459 % | 1470.68/1471.47 c | 87396 | 72847 152593 517272 | 212472 87396 405 | 6.459 % |
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-1875309-1245196586/watcher-1875309-1245196586 -o /tmp/evaluation-result-1875309-1245196586/solver-1875309-1245196586 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875309-1245196586.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7020 /proc/meminfo: memFree=1879912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=8608 CPUtime=0 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 187255587 8814592 264 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 2152 265 125 292 0 415 0 [startup+0.0869791 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7020 /proc/meminfo: memFree=1879912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=16056 CPUtime=0.07 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 1921 0 0 0 7 0 0 0 18 0 1 0 187255587 16441344 1813 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 4014 1813 235 292 0 2277 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16056 [startup+0.10198 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7020 /proc/meminfo: memFree=1879912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=16512 CPUtime=0.09 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 2242 0 0 0 9 0 0 0 18 0 1 0 187255587 16908288 2085 1992294400 134512640 135709839 4294956240 18446744073709551615 135162234 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 4128 2086 251 292 0 2391 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16512 [startup+0.302016 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7020 /proc/meminfo: memFree=1879912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=22256 CPUtime=0.29 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 3874 0 0 0 28 1 0 0 19 0 1 0 187255587 22790144 3652 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 5564 3652 599 292 0 3827 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22256 [startup+0.701089 s] /proc/loadavg: 0.91 0.97 0.99 3/64 7020 /proc/meminfo: memFree=1879912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=27376 CPUtime=0.69 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 5833 0 0 0 68 1 0 0 23 0 1 0 187255587 28033024 5611 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 6844 5612 1313 292 0 5107 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27376 [startup+1.50124 s] /proc/loadavg: 0.91 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1842912/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=57856 CPUtime=1.49 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 17933 0 0 0 142 7 0 0 25 0 1 0 187255587 59244544 12977 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 14464 12978 134 292 0 14169 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57856 [startup+3.10153 s] /proc/loadavg: 0.92 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1831776/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=57868 CPUtime=3.09 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 20767 0 0 0 301 8 0 0 20 0 1 0 187255587 59256832 13417 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 14467 13417 136 292 0 14172 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57868 [startup+6.30111 s] /proc/loadavg: 0.92 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1826336/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=57868 CPUtime=6.29 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 20767 0 0 0 620 9 0 0 25 0 1 0 187255587 59256832 13417 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 14467 13417 136 292 0 14172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 57868 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1826352/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=57868 CPUtime=12.69 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 20800 0 0 0 1259 10 0 0 25 0 1 0 187255587 59256832 13450 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 14467 13450 136 292 0 14172 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57868 [startup+25.5016 s] /proc/loadavg: 0.94 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1825456/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=59056 CPUtime=25.48 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 21095 0 0 0 2537 11 0 0 25 0 1 0 187255587 60473344 13745 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 14764 13745 136 292 0 14469 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59056 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.99 2/65 7021 /proc/meminfo: memFree=1820720/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=63812 CPUtime=51.07 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 22274 0 0 0 5092 15 0 0 25 0 1 0 187255587 65343488 14924 1992294400 134512640 135709839 4294956240 18446744073709551615 134573786 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 15953 14924 136 292 0 15658 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 63812 [startup+102.306 s] /proc/loadavg: 1.04 0.99 0.99 2/65 7021 /proc/meminfo: memFree=1813296/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=71072 CPUtime=102.25 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 24103 0 0 0 10205 20 0 0 25 0 1 0 187255587 72777728 16753 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 17768 16753 136 292 0 17473 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 71072 [startup+162.302 s] /proc/loadavg: 1.07 1.00 1.00 2/65 7021 /proc/meminfo: memFree=1799792/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=84684 CPUtime=162.22 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 27511 0 0 0 16195 27 0 0 25 0 1 0 187255587 86716416 20161 1992294400 134512640 135709839 4294956240 18446744073709551615 134587978 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 21171 20161 136 292 0 20876 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 84684 [startup+222.302 s] /proc/loadavg: 1.07 1.02 1.00 2/65 7021 /proc/meminfo: memFree=1779056/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=105032 CPUtime=222.21 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 33769 0 0 0 22186 35 0 0 25 0 1 0 187255587 107552768 25216 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 26258 25216 136 292 0 25963 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 105032 [startup+282.301 s] /proc/loadavg: 1.07 1.03 1.00 2/65 7027 /proc/meminfo: memFree=1778928/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=105032 CPUtime=282.16 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 33769 0 0 0 28177 39 0 0 25 0 1 0 187255587 107552768 25216 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 26258 25216 136 292 0 25963 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 105032 [startup+342.301 s] /proc/loadavg: 1.06 1.03 1.00 2/65 7027 /proc/meminfo: memFree=1778864/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=105032 CPUtime=342.13 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 33770 0 0 0 34172 41 0 0 25 0 1 0 187255587 107552768 25217 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 26258 25217 136 292 0 25963 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 105032 [startup+402.301 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7027 /proc/meminfo: memFree=1778864/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=105032 CPUtime=402.11 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 33771 0 0 0 40166 45 0 0 25 0 1 0 187255587 107552768 25218 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 26258 25218 136 292 0 25963 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 105032 [startup+462.301 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7027 /proc/meminfo: memFree=1778800/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=105032 CPUtime=462.07 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 33799 0 0 0 46160 47 0 0 25 0 1 0 187255587 107552768 25246 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 26258 25246 136 292 0 25963 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 105032 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7027 /proc/meminfo: memFree=1769520/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=114476 CPUtime=522.04 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 36145 0 0 0 52153 51 0 0 25 0 1 0 187255587 117223424 27592 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 28619 27592 136 292 0 28324 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 114476 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7027 /proc/meminfo: memFree=1763440/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=120484 CPUtime=582.03 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 37643 0 0 0 58149 54 0 0 25 0 1 0 187255587 123375616 29090 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 30121 29090 136 292 0 29826 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 120484 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1753456/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=130384 CPUtime=641.99 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 40120 0 0 0 64141 58 0 0 25 0 1 0 187255587 133513216 31567 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 32596 31567 136 292 0 32301 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 130384 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1722992/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=160920 CPUtime=881.87 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 47720 0 0 0 88108 79 0 0 25 0 1 0 187255587 164782080 39167 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 40230 39167 136 292 0 39935 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 160920 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1713840/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=170228 CPUtime=941.82 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 50048 0 0 0 94098 84 0 0 25 0 1 0 187255587 174313472 41495 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 42557 41495 136 292 0 42262 0 Current children cumulated CPU time (s) 941.82 Current children cumulated vsize (KiB) 170228 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1704496/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=179272 CPUtime=1001.8 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 52329 0 0 0 100091 89 0 0 25 0 1 0 187255587 183574528 43776 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 44818 43776 136 292 0 44523 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 179272 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1695216/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=188528 CPUtime=1061.77 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 54638 0 0 0 106084 93 0 0 25 0 1 0 187255587 193052672 46085 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 47132 46085 136 292 0 46837 0 Current children cumulated CPU time (s) 1061.77 Current children cumulated vsize (KiB) 188528 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1687600/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=196260 CPUtime=1121.75 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 56523 0 0 0 112078 97 0 0 25 0 1 0 187255587 200970240 47970 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 49065 47970 136 292 0 48770 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 196260 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1680112/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=203704 CPUtime=1181.72 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 58396 0 0 0 118071 101 0 0 25 0 1 0 187255587 208592896 49843 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 50926 49843 136 292 0 50631 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 203704 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1669872/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=213908 CPUtime=1241.7 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 60934 0 0 0 124062 108 0 0 25 0 1 0 187255587 219041792 52381 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 53477 52381 136 292 0 53182 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 213908 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1660656/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=222892 CPUtime=1301.67 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 63186 0 0 0 130055 112 0 0 25 0 1 0 187255587 228241408 54633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 55723 54633 136 292 0 55428 0 Current children cumulated CPU time (s) 1301.67 Current children cumulated vsize (KiB) 222892 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1650992/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=232640 CPUtime=1361.63 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 65616 0 0 0 136046 117 0 0 25 0 1 0 187255587 238223360 57063 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 58160 57063 136 292 0 57865 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 232640 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1640240/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=243236 CPUtime=1421.61 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 68258 0 0 0 142038 123 0 0 25 0 1 0 187255587 249073664 59705 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 60809 59705 136 292 0 60514 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 243236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1633456/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=250128 CPUtime=1481.58 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 69980 0 0 0 148031 127 0 0 25 0 1 0 187255587 256131072 61427 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 62532 61427 136 292 0 62237 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 250128 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1620464/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=263220 CPUtime=1541.55 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 73195 0 0 0 154024 131 0 0 25 0 1 0 187255587 269537280 64642 1992294400 134512640 135709839 4294956240 18446744073709551615 134577298 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 65805 64642 136 292 0 65510 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 263220 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1609712/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=273844 CPUtime=1601.51 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 75870 0 0 0 160015 136 0 0 25 0 1 0 187255587 280416256 67317 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 68461 67317 136 292 0 68166 0 Current children cumulated CPU time (s) 1601.51 Current children cumulated vsize (KiB) 273844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1600688/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=282988 CPUtime=1661.49 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 78107 0 0 0 166008 141 0 0 25 0 1 0 187255587 289779712 69554 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 70747 69554 136 292 0 70452 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 282988 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1591664/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=292260 CPUtime=1721.46 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 80425 0 0 0 171999 147 0 0 25 0 1 0 187255587 299274240 71872 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 73065 71872 136 292 0 72770 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 292260 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1581296/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=302376 CPUtime=1781.42 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 82949 0 0 0 177990 152 0 0 25 0 1 0 187255587 309633024 74396 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 75594 74396 136 292 0 75299 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (KiB) 302376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1578160/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=305476 CPUtime=1800.03 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 83712 0 0 0 179848 155 0 0 25 0 1 0 187255587 312807424 75159 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 76369 75159 136 292 0 76074 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 305476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7027 /proc/meminfo: memFree=1578160/2055920 swapFree=4181856/4192956 [pid=7020] ppid=7018 vsize=305476 CPUtime=1800.03 /proc/7020/stat : 7020 (wbo) R 7018 7020 5401 0 -1 4194304 83712 0 0 0 179848 155 0 0 25 0 1 0 187255587 312807424 75159 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/7020/statm: 76369 75159 136 292 0 76074 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 305476 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.95 CPU time (s): 1800.08 CPU user time (s): 1798.48 CPU system time (s): 1.59876 CPU usage (%): 99.9516 Max. virtual memory (cumulated for all children) (KiB): 305476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.48 system time used= 1.59876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 83712 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= 3 involuntary context switches= 5613 runsolver used 1.71074 second user time and 4.85026 second system time The end
Begin job on node44 at 2009-06-17 01:56:26 IDJOB=1875309 IDBENCH=48149 IDSOLVER=698 FILE ID=node44/1875309-1245196586 PBS_JOBID= 9368292 Free space on /tmp= 65920 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.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-1875309-1245196586/watcher-1875309-1245196586 -o /tmp/evaluation-result-1875309-1245196586/solver-1875309-1245196586 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875309-1245196586.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa RANDOM SEED=1409958242 node44.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.263 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.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1885320 kB Buffers: 17808 kB Cached: 86036 kB SwapCached: 5024 kB Active: 79352 kB Inactive: 32548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885320 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 3404 kB Writeback: 0 kB Mapped: 13868 kB Slab: 44644 kB Committed_AS: 192568 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875309-1245196586.opb Free space on /tmp at the end= 65916 MiB End job on node44 at 2009-06-17 02:26:32