Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1800.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1801.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
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-1875403-1245207718.opb. 0.00/0.00 c Instance file HOME/instance-1875403-1245207718.opb 0.00/0.00 c File size is 254876 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.04 s | 0.00/0.03 c | Number Variables: 3238 | 0.00/0.03 c | Number Clauses: 3238 | 0.00/0.03 c | Number Cardinality: 202 | 0.00/0.03 c | Number PB Constraints: 3038 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 201 Core Weight: 1 Total Weight: -99 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3338 6479 25204 | 5000 0 nan | 0.000 % | 0.00/0.07 c | 100 | 3338 6479 25204 | 5500 100 33 | 1.379 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #2 0.00/0.07 c Core size: 307 Core Weight: 1 Total Weight: -98 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.08 c Learning 33 hard constraints 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 3432 6513 25491 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 101 | 3432 6513 25491 | 5500 101 58 | 0.029 % | 0.09/0.15 c | 260 | 3431 6513 25491 | 6050 259 61 | 0.032 % | 0.19/0.21 c | 485 | 3402 6513 25491 | 6655 438 59 | 0.876 % | 0.19/0.29 c | 822 | 3368 6513 25491 | 7320 678 63 | 4.460 % | 0.39/0.40 c | 1328 | 2991 6513 25491 | 8052 910 73 | 12.850 % | 0.59/0.60 c | 2099 | 2843 6513 25491 | 8857 1628 71 | 19.527 % | 0.89/1.00 c | 3238 | 1955 6513 25491 | 9743 1637 92 | 44.085 % | 0.99/1.09 c =============================================================================== 1.09/1.13 c core #3 1.09/1.13 c Core size: 534 Core Weight: 1 Total Weight: -97 1.09/1.13 c Elapsed CPU time: 1.11183 s Remaining CPU time: 1798.89 s 1.09/1.14 c Learning 20 hard constraints 1.09/1.14 c ============================[ Search Statistics ]============================== 1.09/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.14 c =============================================================================== 1.09/1.14 c | 0 | 3531 6534 26718 | 5000 0 nan | 0.000 % | 1.09/1.17 c | 100 | 3531 6534 26718 | 5500 100 115 | 0.000 % | 1.19/1.21 c | 251 | 3531 6534 26718 | 6050 251 71 | 0.000 % | 1.19/1.26 c | 476 | 3531 6534 26718 | 6655 476 59 | 0.000 % | 1.29/1.35 c | 825 | 3531 6534 26718 | 7320 825 65 | 0.000 % | 1.39/1.49 c | 1332 | 3531 6534 26718 | 8052 1332 63 | 0.000 % | 1.69/1.70 c | 2091 | 3531 6534 26718 | 8857 2091 66 | 0.000 % | 1.99/2.06 c | 3231 | 3531 6534 26718 | 9743 3231 63 | 0.001 % | 2.59/2.63 c | 4939 | 3531 6534 26718 | 10717 4939 67 | 0.000 % | 3.48/3.58 c | 7515 | 3531 6534 26718 | 11789 7515 67 | 0.003 % | 5.08/5.11 c | 11359 | 3531 6534 26718 | 12968 11359 69 | 0.010 % | 7.58/7.60 c | 17125 | 3531 6534 26718 | 14265 10473 61 | 0.011 % | 10.68/10.72 c =============================================================================== 11.08/11.16 c core #4 11.08/11.16 c Core size: 1346 Core Weight: 1 Total Weight: -96 11.08/11.16 c Elapsed CPU time: 11.0263 s Remaining CPU time: 1788.97 s 11.18/11.20 c Learning 998 hard constraints 11.18/11.20 c ============================[ Search Statistics ]============================== 11.18/11.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.20 c =============================================================================== 11.18/11.20 c | 0 | 3631 7533 39844 | 5000 0 nan | 0.000 % | 11.18/11.24 c | 104 | 3631 7533 39844 | 5500 104 133 | 0.000 % | 11.18/11.25 c | 254 | 3631 7533 39844 | 6050 254 60 | 0.000 % | 11.28/11.34 c | 479 | 3631 7533 39844 | 6655 479 76 | 0.000 % | 11.38/11.46 c | 816 | 3631 7533 39844 | 7320 816 78 | 0.000 % | 11.48/11.59 c | 1325 | 3631 7533 39844 | 8052 1325 78 | 0.000 % | 11.78/11.86 c | 2086 | 3631 7533 39844 | 8857 2086 76 | 0.000 % | 12.19/12.23 c | 3225 | 3631 7533 39844 | 9743 3225 79 | 0.000 % | 12.88/12.92 c | 4934 | 3631 7533 39844 | 10717 4934 78 | 0.000 % | 13.98/14.09 c | 7496 | 3631 7533 39844 | 11789 7496 83 | 0.000 % | 15.88/16.00 c | 11340 | 3631 7533 39844 | 12968 11340 88 | 0.000 % | 18.88/18.91 c | 17106 | 3631 7533 39844 | 14265 10335 80 | 0.000 % | 22.78/22.86 c | 25756 | 3631 7533 39844 | 15692 11477 69 | 0.000 % | 29.48/29.56 c | 38730 | 3631 7533 39844 | 17261 16228 70 | 0.000 % | 39.67/39.72 c | 58193 | 3631 7533 39844 | 18987 17685 73 | 0.001 % | 56.36/56.42 c | 87385 | 3590 7533 39844 | 20886 13258 72 | 1.129 % | 83.25/83.39 c | 131175 | 3590 7533 39844 | 22974 12185 81 | 1.129 % | 115.05/115.10 c =============================================================================== 118.65/118.74 c core #5 118.65/118.74 c Core size: 3118 Core Weight: 1 Total Weight: -95 118.65/118.74 c Elapsed CPU time: 117.882 s Remaining CPU time: 1682.12 s 118.95/119.02 c Learning 5797 hard constraints 118.95/119.02 c ============================[ Search Statistics ]============================== 118.95/119.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 118.95/119.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 118.95/119.02 c =============================================================================== 118.95/119.02 c | 0 | 3729 13331 517310 | 5000 0 nan | 0.000 % | 118.95/119.10 c | 100 | 3729 13331 517310 | 5500 100 192 | 0.000 % | 119.04/119.14 c | 251 | 3729 13331 517310 | 6050 251 121 | 0.000 % | 119.14/119.28 c | 481 | 3729 13331 517310 | 6655 481 98 | 0.000 % | 119.34/119.47 c | 818 | 3729 13331 517310 | 7320 818 107 | 0.000 % | 119.55/119.62 c | 1327 | 3729 13331 517310 | 8052 1327 105 | 0.000 % | 119.85/119.98 c | 2086 | 3729 13331 517310 | 8857 2086 94 | 0.000 % | 120.45/120.50 c | 3234 | 3729 13331 517310 | 9743 3234 82 | 0.000 % | 120.95/121.04 c | 4942 | 3729 13331 517310 | 10717 4942 93 | 0.000 % | 121.85/121.93 c | 7504 | 3729 13331 517310 | 11789 7504 85 | 0.000 % | 124.15/124.30 c | 11349 | 3729 13331 517310 | 12968 11349 89 | 0.000 % | 127.14/127.23 c | 17117 | 3729 13331 517310 | 14265 9868 90 | 0.000 % | 131.84/131.92 c | 25769 | 3729 13331 517310 | 15692 11033 66 | 0.000 % | 140.04/140.19 c | 38743 | 3729 13331 517310 | 17261 15978 65 | 0.000 % | 152.54/152.64 c | 58204 | 3729 13331 517310 | 18987 17319 94 | 0.000 % | 171.73/171.84 c | 87396 | 3729 13331 517310 | 20886 16083 88 | 0.000 % | 200.72/200.83 c | 131187 | 3729 13331 517310 | 22974 15156 79 | 0.000 % | 251.60/251.79 c | 196874 | 3729 13331 517310 | 25272 18759 90 | 0.000 % | 331.57/331.72 c | 295401 | 3729 13331 517310 | 27799 16623 78 | 0.000 % | 447.63/447.81 c | 443190 | 3729 13331 517310 | 30579 23722 72 | 0.001 % | 616.97/617.23 c | 664873 | 3729 13331 517310 | 33637 26606 95 | 0.001 % | 897.77/898.10 c | 997398 | 3729 13331 517310 | 37001 29124 101 | 0.010 % | 1329.83/1330.36 c | 1496189 | 3729 13331 517310 | 40701 33836 95 | 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-1875403-1245207718/watcher-1875403-1245207718 -o /tmp/evaluation-result-1875403-1245207718/solver-1875403-1245207718 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875403-1245207718.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/64 4138 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=2928 CPUtime=0 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 188372263 2998272 238 1992294400 134512640 135709839 4294956240 18446744073709551615 134544470 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 732 238 126 292 0 374 0 [startup+0.00770706 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4138 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=3108 CPUtime=0 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 188372263 3182592 283 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 777 283 129 292 0 419 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3108 [startup+0.101723 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4138 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=5192 CPUtime=0.09 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 937 0 0 0 9 0 0 0 18 0 1 0 188372263 5316608 858 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 1298 858 136 292 0 1003 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5192 [startup+0.301756 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4138 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=5448 CPUtime=0.29 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 988 0 0 0 29 0 0 0 19 0 1 0 188372263 5578752 909 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 1362 909 136 292 0 1067 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5448 [startup+0.701823 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4138 /proc/meminfo: memFree=1807656/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=6356 CPUtime=0.69 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 1230 0 0 0 68 1 0 0 22 0 1 0 188372263 6508544 1151 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 1589 1151 136 292 0 1294 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6356 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1802976/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=8052 CPUtime=1.49 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 1646 0 0 0 147 2 0 0 25 0 1 0 188372263 8245248 1567 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 2013 1567 136 292 0 1718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8052 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1801632/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=10256 CPUtime=3.09 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 2200 0 0 0 305 4 0 0 25 0 1 0 188372263 10502144 2121 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 2564 2121 136 292 0 2269 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10256 [startup+6.30177 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1794976/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=16080 CPUtime=6.28 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 3667 0 0 0 621 7 0 0 25 0 1 0 188372263 16465920 3588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 4020 3588 136 292 0 3725 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16080 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1784480/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=25148 CPUtime=12.68 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 5918 0 0 0 1254 14 0 0 25 0 1 0 188372263 25751552 5839 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 6287 5839 136 292 0 5992 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25148 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1778272/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=31532 CPUtime=25.48 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 7518 0 0 0 2523 25 0 0 25 0 1 0 188372263 32288768 7439 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 7883 7439 136 292 0 7588 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31532 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1753504/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=56596 CPUtime=51.07 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 13773 0 0 0 5064 43 0 0 25 0 1 0 188372263 57954304 13694 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 14149 13694 136 292 0 13854 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 56596 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1709344/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=100308 CPUtime=102.26 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 24719 0 0 0 10151 75 0 0 25 0 1 0 188372263 102715392 24640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 25077 24640 136 292 0 24782 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 100308 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1685280/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=124688 CPUtime=162.24 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 30808 0 0 0 16117 107 0 0 25 0 1 0 188372263 127680512 30729 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 31172 30729 136 292 0 30877 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 124688 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1647328/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=162188 CPUtime=222.22 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 40183 0 0 0 22083 139 0 0 25 0 1 0 188372263 166080512 40104 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 40547 40104 136 292 0 40252 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 162188 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1609376/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=200480 CPUtime=282.19 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 49739 0 0 0 28050 169 0 0 25 0 1 0 188372263 205291520 49660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 50120 49660 136 292 0 49825 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 200480 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1571808/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=237576 CPUtime=342.17 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 59021 0 0 0 34020 197 0 0 25 0 1 0 188372263 243277824 58942 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 59394 58942 136 292 0 59099 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 237576 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1531808/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=277900 CPUtime=402.14 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 69068 0 0 0 39990 224 0 0 25 0 1 0 188372263 284569600 68989 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 69475 68989 136 292 0 69180 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 277900 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1492192/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=317188 CPUtime=462.12 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 78894 0 0 0 45956 256 0 0 25 0 1 0 188372263 324800512 78815 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 79297 78815 136 292 0 79002 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 317188 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1451488/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=358328 CPUtime=522.1 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 89182 0 0 0 51922 288 0 0 25 0 1 0 188372263 366927872 89103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 89582 89103 136 292 0 89287 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 358328 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1407136/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=402280 CPUtime=582.08 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 100146 0 0 0 57887 321 0 0 25 0 1 0 188372263 411934720 100067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 100570 100067 136 292 0 100275 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 402280 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1365408/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=443540 CPUtime=642.07 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 110457 0 0 0 63854 353 0 0 25 0 1 0 188372263 454184960 110378 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 110885 110378 136 292 0 110590 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 443540 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1212320/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=596376 CPUtime=881.98 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 148666 0 0 0 87736 462 0 0 25 0 1 0 188372263 610689024 148587 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 149094 148587 136 292 0 148799 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 596376 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1173280/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=635816 CPUtime=941.96 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 158487 0 0 0 93707 489 0 0 25 0 1 0 188372263 651075584 158408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 158954 158408 136 292 0 158659 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 635816 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1137504/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=671364 CPUtime=1001.94 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 167365 0 0 0 99681 513 0 0 25 0 1 0 188372263 687476736 167286 1992294400 134512640 135709839 4294956240 18446744073709551615 134573813 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 167841 167286 136 292 0 167546 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 671364 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1100576/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=708912 CPUtime=1061.92 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 176742 0 0 0 105652 540 0 0 25 0 1 0 188372263 725925888 176663 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 177228 176663 136 292 0 176933 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 708912 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1060768/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=747936 CPUtime=1121.9 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 186493 0 0 0 111624 566 0 0 25 0 1 0 188372263 765886464 186414 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 186984 186414 136 292 0 186689 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 747936 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=1025248/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=783644 CPUtime=1181.88 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 195412 0 0 0 117596 592 0 0 25 0 1 0 188372263 802451456 195333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 195911 195333 136 292 0 195616 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 783644 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=987040/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=821664 CPUtime=1241.85 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 204927 0 0 0 123567 618 0 0 25 0 1 0 188372263 841383936 204848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 205416 204848 136 292 0 205121 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 821664 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=949280/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=859080 CPUtime=1301.84 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 214259 0 0 0 129538 646 0 0 25 0 1 0 188372263 879697920 214180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 214770 214180 136 292 0 214475 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 859080 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=912480/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=896108 CPUtime=1361.81 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 223494 0 0 0 135508 673 0 0 25 0 1 0 188372263 917614592 223415 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 224027 223415 136 292 0 223732 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 896108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=876960/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=931344 CPUtime=1421.79 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 232314 0 0 0 141481 698 0 0 25 0 1 0 188372263 953696256 232235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 232836 232235 136 292 0 232541 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 931344 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=840480/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=968064 CPUtime=1481.77 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 241478 0 0 0 147450 727 0 0 25 0 1 0 188372263 991297536 241399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 242016 241399 136 292 0 241721 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 968064 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=808288/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1000036 CPUtime=1541.75 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 249452 0 0 0 153426 749 0 0 25 0 1 0 188372263 1024036864 249373 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 250009 249373 136 292 0 249714 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1000036 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=773472/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1034864 CPUtime=1601.73 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 258174 0 0 0 159399 774 0 0 25 0 1 0 188372263 1059700736 258095 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 258716 258095 136 292 0 258421 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1034864 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=733536/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1074588 CPUtime=1661.71 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 268099 0 0 0 165372 799 0 0 25 0 1 0 188372263 1100378112 268020 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 268647 268020 136 292 0 268352 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1074588 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=699232/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1109236 CPUtime=1721.69 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 276746 0 0 0 171345 824 0 0 25 0 1 0 188372263 1135857664 276667 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 277309 276667 136 292 0 277014 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1109236 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=660768/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1147424 CPUtime=1781.67 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 286295 0 0 0 177315 852 0 0 25 0 1 0 188372263 1174962176 286216 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 286856 286216 136 292 0 286561 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1147424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=649568/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=1158184 CPUtime=1800.07 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4194304 289004 0 0 0 179149 858 0 0 25 0 1 0 188372263 1185980416 288925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 289546 288925 136 292 0 289251 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1158184 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4139 /proc/meminfo: memFree=649568/2055920 swapFree=4192812/4192956 [pid=4138] ppid=4136 vsize=0 CPUtime=1800.17 /proc/4138/stat : 4138 (wbo) R 4136 4138 3479 0 -1 4195332 289004 0 0 0 179149 868 0 0 25 0 1 0 188372263 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4138/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.89 CPU time (s): 1800.26 CPU user time (s): 1791.49 CPU system time (s): 8.76567 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 1158184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.49 system time used= 8.76567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289004 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= 2754 runsolver used 1.64075 second user time and 3.34849 second system time The end
Begin job on node15 at 2009-06-17 05:01:58 IDJOB=1875403 IDBENCH=48243 IDSOLVER=698 FILE ID=node15/1875403-1245207718 PBS_JOBID= 9368352 Free space on /tmp= 66304 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.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-1875403-1245207718/watcher-1875403-1245207718 -o /tmp/evaluation-result-1875403-1245207718/solver-1875403-1245207718 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875403-1245207718.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=1732992490 node15.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.261 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 : 5931.00 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.261 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: 1808328 kB Buffers: 52008 kB Cached: 123840 kB SwapCached: 0 kB Active: 97948 kB Inactive: 91376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808328 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2500 kB Writeback: 0 kB Mapped: 23248 kB Slab: 44224 kB Committed_AS: 195308 kB PageTables: 1468 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-1875403-1245207718.opb Free space on /tmp at the end= 66300 MiB End job on node15 at 2009-06-17 05:32:01