Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.16 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb |
MD5SUM | 54e50bd6cbfbb2a5705269c41241de9a |
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 | 21 |
Best CPU time to get the best result obtained on this benchmark | 1789.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2492 |
Sum of products size (including duplicates) | 4984 |
Number of different products | 2492 |
Sum of products size | 4984 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702432-1278566771.opb. 0.00/0.00 c Instance file HOME/instance-2702432-1278566771.opb 0.00/0.00 c File size is 185648 bytes. 0.00/0.03 c Highest Coefficient sum: 21 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 2692 | 0.00/0.03 c | Number Clauses: 2692 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 2492 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2692 5184 17644 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 199 0.00/0.03 o 199 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2692 5185 17844 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 196 0.00/0.03 o 196 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2692 5186 18044 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 195 0.00/0.04 o 195 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2692 5187 18244 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 194 0.00/0.04 o 194 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 2692 5188 18444 | 5000 1 195 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 31 0.00/0.04 o 31 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 2692 5189 18644 | 5000 1 195 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 30 0.00/0.04 o 30 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 2 | 2692 5190 18844 | 5000 2 122 | 0.000 % | 0.04/0.06 c | 103 | 2692 5190 18844 | 5500 103 92 | 0.000 % | 0.04/0.08 c | 254 | 2692 5190 18844 | 6050 254 76 | 0.000 % | 0.09/0.11 c | 480 | 2692 5190 18844 | 6655 480 77 | 0.000 % | 0.09/0.16 c | 817 | 2692 5190 18844 | 7320 817 71 | 0.000 % | 0.19/0.23 c | 1324 | 2692 5190 18844 | 8052 1324 68 | 0.000 % | 0.29/0.33 c | 2085 | 2692 5190 18844 | 8857 2085 69 | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 29 0.39/0.40 o 29 0.39/0.40 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 2573 | 2692 5191 19044 | 5000 2573 67 | 0.000 % | 0.39/0.42 c | 2674 | 2692 5191 19044 | 5500 2674 67 | 0.000 % | 0.39/0.45 c | 2828 | 2692 5191 19044 | 6050 2828 67 | 0.000 % | 0.39/0.48 c | 3053 | 2692 5191 19044 | 6655 3053 68 | 0.000 % | 0.49/0.53 c | 3390 | 2692 5191 19044 | 7320 3390 67 | 0.000 % | 0.59/0.60 c | 3897 | 2692 5191 19044 | 8052 3897 68 | 0.000 % | 0.69/0.71 c | 4658 | 2692 5191 19044 | 8857 4658 69 | 0.000 % | 0.79/0.89 c | 5797 | 2692 5191 19044 | 9743 5797 69 | 0.000 % | 1.10/1.16 c | 7506 | 2692 5191 19044 | 10717 7506 68 | 0.000 % | 1.59/1.67 c | 10068 | 2692 5191 19044 | 11789 10068 70 | 0.000 % | 2.39/2.43 c | 13912 | 2692 5191 19044 | 12968 13912 72 | 0.000 % | 3.59/3.61 c | 19678 | 2692 5191 19044 | 14265 12722 75 | 0.000 % | 5.59/5.65 c | 28328 | 2692 5191 19044 | 15692 13153 83 | 0.000 % | 9.18/9.29 c | 41302 | 2692 5191 19044 | 17261 17204 95 | 0.000 % | 14.59/14.64 c | 60763 | 2692 5191 19044 | 18987 17243 94 | 0.000 % | 23.58/23.69 c | 89955 | 2692 5191 19044 | 20886 14781 96 | 0.000 % | 37.19/37.24 c | 133744 | 2692 5191 19044 | 22974 11557 73 | 0.000 % | 56.18/56.25 c | 199429 | 2692 5191 19044 | 25272 22138 69 | 0.000 % | 88.87/88.93 c | 297956 | 2692 5191 19044 | 27799 25798 76 | 0.000 % | 142.97/143.06 c | 445747 | 2692 5191 19044 | 30579 28102 82 | 0.000 % | 181.84/181.95 c There are 0 assigned variables. 0 in cost function. 182.64/182.70 c core #1 182.64/182.70 c core #2 182.64/182.70 c core #3 182.64/182.70 c core #4 182.64/182.70 c core #5 182.64/182.70 c core #6 182.64/182.70 c core #7 182.64/182.70 c core #8 182.64/182.70 c ============================[ Search Statistics ]============================== 182.64/182.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.70 c =============================================================================== 182.64/182.70 c | 0 | 1695 5400 15701 | 5000 0 nan | 0.000 % | 182.64/182.73 c =============================================================================== 182.64/182.75 c core #9 182.64/182.75 c ============================[ Search Statistics ]============================== 182.64/182.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.75 c =============================================================================== 182.64/182.75 c | 0 | 2656 5401 18325 | 5000 0 nan | 0.000 % | 182.64/182.79 c | 107 | 2656 5401 18325 | 5500 107 138 | 9.936 % | 182.74/182.84 c | 258 | 2656 5401 18325 | 6050 258 141 | 9.936 % | 182.84/182.92 c | 483 | 2656 5401 18325 | 6655 483 172 | 9.936 % | 182.95/183.07 c | 820 | 2656 5401 18325 | 7320 820 172 | 9.936 % | 183.25/183.34 c | 1327 | 2656 5401 18325 | 8052 1327 183 | 9.936 % | 183.74/183.80 c | 2089 | 2656 5401 18325 | 8857 2089 189 | 9.936 % | 184.35/184.47 c | 3231 | 2656 5401 18325 | 9743 3231 170 | 9.936 % | 184.55/184.62 c =============================================================================== 184.55/184.69 c core #10 184.55/184.69 c ============================[ Search Statistics ]============================== 184.55/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.55/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.55/184.69 c =============================================================================== 184.55/184.69 c | 0 | 3133 5402 20317 | 5000 0 nan | 0.000 % | 184.66/184.73 c | 106 | 3133 5402 20317 | 5500 106 158 | 0.350 % | 184.66/184.80 c | 261 | 3133 5402 20317 | 6050 261 121 | 0.350 % | 184.75/184.87 c | 486 | 3133 5402 20317 | 6655 486 133 | 0.350 % | 184.95/185.02 c | 825 | 3133 5402 20317 | 7320 825 99 | 0.350 % | 185.25/185.30 c | 1332 | 3133 5402 20317 | 8052 1332 106 | 0.350 % | 185.65/185.70 c | 2091 | 3133 5402 20317 | 8857 2091 116 | 0.350 % | 186.24/186.38 c | 3230 | 3133 5402 20317 | 9743 3230 124 | 0.350 % | 187.25/187.30 c | 4940 | 3133 5402 20317 | 10717 4940 108 | 0.350 % | 189.15/189.27 c | 7502 | 3133 5402 20317 | 11789 7502 108 | 0.350 % | 192.64/192.77 c | 11346 | 3133 5402 20317 | 12968 11346 112 | 0.350 % | 197.44/197.52 c | 17114 | 3133 5402 20317 | 14265 10492 108 | 0.350 % | 204.14/204.26 c | 25763 | 3133 5402 20317 | 15692 11861 105 | 0.350 % | 217.44/217.57 c | 38738 | 3133 5402 20317 | 17261 8805 137 | 0.350 % | 238.83/238.99 c | 58200 | 3133 5402 20317 | 18987 10779 121 | 0.350 % | 272.22/272.34 c | 87392 | 3133 5402 20317 | 20886 10786 184 | 0.350 % | 328.10/328.27 c | 131184 | 3133 5402 20317 | 22974 12153 207 | 0.350 % | 374.20/374.34 c =============================================================================== 377.50/377.62 c core #11 377.50/377.62 c ============================[ Search Statistics ]============================== 377.50/377.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 377.50/377.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 377.50/377.62 c =============================================================================== 377.50/377.62 c | 0 | 3344 5404 20751 | 5000 0 nan | 0.000 % | 377.60/377.72 c | 104 | 3344 5404 20751 | 5500 104 200 | 0.000 % | 377.60/377.77 c | 254 | 3344 5404 20751 | 6050 254 139 | 0.000 % | 377.70/377.84 c | 480 | 3344 5404 20751 | 6655 480 124 | 0.000 % | 377.80/377.94 c | 817 | 3344 5404 20751 | 7320 817 100 | 0.000 % | 378.09/378.20 c | 1324 | 3344 5404 20751 | 8052 1324 108 | 0.000 % | 378.39/378.58 c | 2084 | 3344 5404 20751 | 8857 2084 128 | 0.000 % | 378.99/379.16 c | 3224 | 3344 5404 20751 | 9743 3224 135 | 0.000 % | 379.89/380.09 c | 4932 | 3344 5404 20751 | 10717 4932 138 | 0.000 % | 381.40/381.60 c | 7495 | 3344 5404 20751 | 11789 7495 147 | 0.000 % | 384.19/384.34 c | 11349 | 3344 5404 20751 | 12968 11349 155 | 0.000 % | 388.30/388.42 c | 17116 | 3344 5404 20751 | 14265 10273 162 | 0.000 % | 394.99/395.13 c | 25765 | 3344 5404 20751 | 15692 11532 167 | 0.000 % | 407.79/407.91 c | 38741 | 3344 5404 20751 | 17261 16300 169 | 0.000 % | 429.78/429.99 c | 58203 | 3344 5404 20751 | 18987 17760 178 | 0.000 % | 463.17/463.32 c | 87397 | 3344 5404 20751 | 20886 17666 203 | 0.000 % | 519.25/519.49 c | 131187 | 3344 5404 20751 | 22974 18380 173 | 0.000 % | 599.53/599.70 c | 196871 | 3344 5404 20751 | 25272 13359 203 | 0.000 % | 756.40/756.65 c | 295398 | 3344 5404 20751 | 27799 19923 241 | 0.000 % | 984.43/984.79 c | 443188 | 3344 5404 20751 | 30579 16410 233 | 0.000 % | 1375.84/1376.21 c | 664874 | 3344 5404 20751 | 33637 22088 288 | 0.000 % |
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-2702432-1278566771/watcher-2702432-1278566771 -o /tmp/evaluation-result-2702432-1278566771/solver-2702432-1278566771 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702432-1278566771.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/106 27003 /proc/meminfo: memFree=1637148/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=3120 CPUtime=0 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 24890646 3194880 288 1992294400 134512640 135751879 4288316800 18446744073709551615 134560602 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 780 288 145 303 0 429 0 [startup+0.049291 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27003 /proc/meminfo: memFree=1637148/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=3508 CPUtime=0.04 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 642 0 0 0 4 0 0 0 20 0 1 0 24890646 3592192 457 1992294400 134512640 135751879 4288316800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 877 457 146 303 0 572 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3508 [startup+0.101297 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27003 /proc/meminfo: memFree=1637148/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=3640 CPUtime=0.09 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 670 0 0 0 9 0 0 0 20 0 1 0 24890646 3727360 485 1992294400 134512640 135751879 4288316800 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 910 485 147 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.301318 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27003 /proc/meminfo: memFree=1637148/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=4292 CPUtime=0.29 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 815 0 0 0 29 0 0 0 20 0 1 0 24890646 4395008 630 1992294400 134512640 135751879 4288316800 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1073 631 147 303 0 768 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4292 [startup+0.701359 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27003 /proc/meminfo: memFree=1637148/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=5340 CPUtime=0.69 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 1085 0 0 0 68 1 0 0 20 0 1 0 24890646 5468160 900 1992294400 134512640 135751879 4288316800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1335 900 147 303 0 1030 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5340 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1633544/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=7204 CPUtime=1.49 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 1553 0 0 0 146 3 0 0 22 0 1 0 24890646 7376896 1368 1992294400 134512640 135751879 4288316800 18446744073709551615 134611173 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 1801 1368 147 303 0 1496 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7204 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1630816/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=10724 CPUtime=3.09 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 2418 0 0 0 304 5 0 0 25 0 1 0 24890646 10981376 2233 1992294400 134512640 135751879 4288316800 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 2681 2233 148 303 0 2376 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10724 [startup+6.30095 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1624120/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=16880 CPUtime=6.29 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 3976 0 0 0 620 9 0 0 25 0 1 0 24890646 17285120 3791 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 4220 3791 148 303 0 3915 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16880 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1611968/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=28340 CPUtime=12.68 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 6831 0 0 0 1252 16 0 0 25 0 1 0 24890646 29020160 6646 1992294400 134512640 135751879 4288316800 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 7085 6646 148 303 0 6780 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28340 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27004 /proc/meminfo: memFree=1590764/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=48792 CPUtime=25.49 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 11926 0 0 0 2520 29 0 0 25 0 1 0 24890646 49963008 11741 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 12198 11741 148 303 0 11893 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48792 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27006 /proc/meminfo: memFree=1556540/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=83416 CPUtime=51.08 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 20603 0 0 0 5049 59 0 0 25 0 1 0 24890646 85417984 20418 1992294400 134512640 135751879 4288316800 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 20854 20418 148 303 0 20549 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83416 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27006 /proc/meminfo: memFree=1489952/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=149244 CPUtime=102.27 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 36990 0 0 0 10111 116 0 0 25 0 1 0 24890646 152825856 36805 1992294400 134512640 135751879 4288316800 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 37311 36805 148 303 0 37006 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 149244 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27008 /proc/meminfo: memFree=1425844/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=213836 CPUtime=162.25 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 53146 0 0 0 16053 172 0 0 25 0 1 0 24890646 218968064 52961 1992294400 134512640 135751879 4288316800 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 53459 52961 148 303 0 53154 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 213836 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27010 /proc/meminfo: memFree=1392116/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=246608 CPUtime=222.24 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 61423 0 0 0 22008 216 0 0 25 0 1 0 24890646 252526592 61206 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 61652 61206 151 303 0 61347 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 246608 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27012 /proc/meminfo: memFree=1351940/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=287164 CPUtime=282.21 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 71550 0 0 0 27974 247 0 0 25 0 1 0 24890646 294055936 71333 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 71791 71333 151 303 0 71486 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 287164 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27012 /proc/meminfo: memFree=1309036/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=329672 CPUtime=342.21 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 82169 0 0 0 33940 281 0 0 25 0 1 0 24890646 337584128 81952 1992294400 134512640 135751879 4288316800 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 82418 81952 151 303 0 82113 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 329672 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27014 /proc/meminfo: memFree=1279152/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=359764 CPUtime=402.18 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 89725 0 0 0 39910 308 0 0 25 0 1 0 24890646 368398336 89508 1992294400 134512640 135751879 4288316800 18446744073709551615 134611255 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 89941 89508 151 303 0 89636 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 359764 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27016 /proc/meminfo: memFree=1236992/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=401512 CPUtime=462.17 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 100132 0 0 0 45877 340 0 0 25 0 1 0 24890646 411148288 99915 1992294400 134512640 135751879 4288316800 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 100378 99915 151 303 0 100073 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 401512 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27018 /proc/meminfo: memFree=1196072/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=442472 CPUtime=522.16 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 110384 0 0 0 51845 371 0 0 25 0 1 0 24890646 453091328 110167 1992294400 134512640 135751879 4288316800 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 110618 110167 151 303 0 110313 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 442472 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27020 /proc/meminfo: memFree=1149572/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=488892 CPUtime=582.14 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 121957 0 0 0 57813 401 0 0 25 0 1 0 24890646 500625408 121740 1992294400 134512640 135751879 4288316800 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 122223 121740 151 303 0 121918 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 488892 [startup+642.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 27020 /proc/meminfo: memFree=1107288/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=530832 CPUtime=642.13 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 132409 0 0 0 63785 428 0 0 25 0 1 0 24890646 543571968 132192 1992294400 134512640 135751879 4288316800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 132708 132192 151 303 0 132403 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 530832 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27028 /proc/meminfo: memFree=933316/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=704612 CPUtime=882.06 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 175784 0 0 0 87662 544 0 0 25 0 1 0 24890646 721522688 175567 1992294400 134512640 135751879 4288316800 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 176153 175567 151 303 0 175848 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 704612 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27028 /proc/meminfo: memFree=899092/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=738948 CPUtime=942.05 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 184351 0 0 0 93638 567 0 0 25 0 1 0 24890646 756682752 184134 1992294400 134512640 135751879 4288316800 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 184737 184134 151 303 0 184432 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 738948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27030 /proc/meminfo: memFree=859908/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=777972 CPUtime=1002.04 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 194078 0 0 0 99613 591 0 0 25 0 1 0 24890646 796643328 193861 1992294400 134512640 135751879 4288316800 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 194493 193861 151 303 0 194188 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 777972 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27032 /proc/meminfo: memFree=821220/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=816980 CPUtime=1062.01 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 203827 0 0 0 105587 614 0 0 25 0 1 0 24890646 836587520 203610 1992294400 134512640 135751879 4288316800 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 204245 203610 151 303 0 203940 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 816980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27034 /proc/meminfo: memFree=779308/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=858664 CPUtime=1122 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 214229 0 0 0 111560 640 0 0 25 0 1 0 24890646 879271936 214012 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 214666 214012 151 303 0 214361 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 858664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27036 /proc/meminfo: memFree=741116/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=897420 CPUtime=1181.99 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 223899 0 0 0 117532 667 0 0 25 0 1 0 24890646 918958080 223682 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 224355 223682 151 303 0 224050 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 897420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27036 /proc/meminfo: memFree=700940/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=937168 CPUtime=1241.97 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 233815 0 0 0 123503 694 0 0 25 0 1 0 24890646 959660032 233598 1992294400 134512640 135751879 4288316800 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 234292 233598 151 303 0 233987 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 937168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27038 /proc/meminfo: memFree=654564/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=982992 CPUtime=1301.96 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 245239 0 0 0 129474 722 0 0 25 0 1 0 24890646 1006583808 245022 1992294400 134512640 135751879 4288316800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 245748 245022 151 303 0 245443 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 982992 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27040 /proc/meminfo: memFree=616000/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1022136 CPUtime=1361.94 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 255009 0 0 0 135448 746 0 0 25 0 1 0 24890646 1046667264 254792 1992294400 134512640 135751879 4288316800 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 255534 254792 151 303 0 255229 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1022136 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27042 /proc/meminfo: memFree=576196/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1061260 CPUtime=1421.93 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 264789 0 0 0 141425 768 0 0 25 0 1 0 24890646 1086730240 264572 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 265315 264572 151 303 0 265010 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1061260 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=540484/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1097336 CPUtime=1481.91 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 273790 0 0 0 147399 792 0 0 25 0 1 0 24890646 1123672064 273573 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 274334 273573 151 303 0 274029 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1097336 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27044 /proc/meminfo: memFree=506012/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1131468 CPUtime=1541.89 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 282321 0 0 0 153375 814 0 0 25 0 1 0 24890646 1158623232 282104 1992294400 134512640 135751879 4288316800 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 282867 282104 151 303 0 282562 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1131468 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27046 /proc/meminfo: memFree=467200/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1170520 CPUtime=1601.87 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 292049 0 0 0 159354 833 0 0 25 0 1 0 24890646 1198612480 291832 1992294400 134512640 135751879 4288316800 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 292630 291832 151 303 0 292325 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1170520 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27048 /proc/meminfo: memFree=428884/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1208512 CPUtime=1661.86 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 301541 0 0 0 165331 855 0 0 25 0 1 0 24890646 1237516288 301324 1992294400 134512640 135751879 4288316800 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 302128 301324 151 303 0 301823 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1208512 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27050 /proc/meminfo: memFree=386476/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1251136 CPUtime=1721.85 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 312200 0 0 0 171304 881 0 0 25 0 1 0 24890646 1281163264 311983 1992294400 134512640 135751879 4288316800 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 312784 311983 151 303 0 312479 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1251136 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27052 /proc/meminfo: memFree=344068/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1293248 CPUtime=1781.83 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 322716 0 0 0 177279 904 0 0 25 0 1 0 24890646 1324285952 322499 1992294400 134512640 135751879 4288316800 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 323312 322499 151 303 0 323007 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1293248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27052 /proc/meminfo: memFree=328940/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=1308088 CPUtime=1800.03 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4202496 326410 0 0 0 179091 912 0 0 25 0 1 0 24890646 1339482112 326193 1992294400 134512640 135751879 4288316800 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27003/statm: 327022 326193 151 303 0 326717 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1308088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 27053 /proc/meminfo: memFree=1415048/2059040 swapFree=4161224/4192956 [pid=27003] ppid=27001 vsize=0 CPUtime=1800.14 /proc/27003/stat : 27003 (wbo1.4b) R 27001 27003 26709 0 -1 4203524 326410 0 0 0 179091 923 0 0 25 0 1 0 24890646 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27003/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.16 CPU user time (s): 1790.92 CPU system time (s): 9.24359 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1308088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.92 system time used= 9.24359 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 326410 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= 4703 runsolver used 3.12453 second user time and 8.36073 second system time The end
Begin job on node007 at 2010-07-08 07:26:11 IDJOB=2702432 IDBENCH=48151 IDSOLVER=1161 FILE ID=node007/2702432-1278566771 PBS_JOBID= 11239562 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702432-1278566771/watcher-2702432-1278566771 -o /tmp/evaluation-result-2702432-1278566771/solver-2702432-1278566771 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702432-1278566771.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54e50bd6cbfbb2a5705269c41241de9a RANDOM SEED=260686655 node007.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.256 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.51 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.256 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1638048 kB Buffers: 83076 kB Cached: 220404 kB SwapCached: 1860 kB Active: 146468 kB Inactive: 186908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1638048 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 2620 kB Writeback: 0 kB AnonPages: 28116 kB Mapped: 13204 kB Slab: 65708 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181788 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702432-1278566771.opb Free space on /tmp at the end= 62528 MiB End job on node007 at 2010-07-08 07:56:14