Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.25 | 1800.94 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
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-1875399-1245206980.opb. 0.00/0.00 c Instance file HOME/instance-1875399-1245206980.opb 0.00/0.00 c File size is 530657 bytes. 0.00/0.08 c Highest Coefficient sum: 400 0.00/0.08 c ============================[ Problem Statistics ]============================= 0.00/0.08 c | | 0.00/0.08 c | Parsing time: 0.08 s | 0.00/0.08 c | Number Variables: 6604 | 0.00/0.08 c | Number Clauses: 6604 | 0.00/0.08 c | Number Cardinality: 402 | 0.00/0.08 c | Number PB Constraints: 6204 | 0.00/0.08 c core #1 0.00/0.08 c Core size: 401 Core Weight: 1 Total Weight: -199 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6804 13211 51432 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 102 | 6804 13211 51432 | 5500 102 98 | 1.236 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #2 0.09/0.16 c Core size: 408 Core Weight: 1 Total Weight: -198 0.09/0.16 c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s 0.09/0.19 c Learning 1 hard constraints 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7001 13213 51829 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 100 | 7001 13213 51829 | 5500 100 147 | 0.000 % | 0.29/0.32 c | 250 | 7001 13213 51829 | 6050 250 139 | 0.000 % | 0.39/0.45 c | 475 | 7001 13213 51829 | 6655 475 138 | 0.000 % | 0.59/0.61 c | 821 | 7001 13213 51829 | 7320 821 134 | 0.000 % | 0.89/0.91 c | 1327 | 6966 13213 51829 | 8052 1250 145 | 1.000 % | 1.28/1.39 c | 2086 | 6902 13213 51829 | 8857 1956 139 | 1.843 % | 2.09/2.12 c | 3225 | 6868 13213 51829 | 9743 2987 141 | 2.771 % | 3.29/3.32 c | 4937 | 6772 13213 51829 | 10717 4556 141 | 4.857 % | 5.19/5.20 c | 7499 | 6644 13213 51829 | 11789 6972 147 | 9.956 % | 8.98/9.00 c | 11351 | 6289 13213 51829 | 12968 10468 161 | 13.958 % | 10.59/10.65 c =============================================================================== 10.89/10.90 c core #3 10.89/10.90 c Core size: 952 Core Weight: 1 Total Weight: -197 10.89/10.90 c Elapsed CPU time: 10.8364 s Remaining CPU time: 1789.16 s 10.89/10.95 c Learning 142 hard constraints 10.89/10.95 c ============================[ Search Statistics ]============================== 10.89/10.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.89/10.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.89/10.95 c =============================================================================== 10.89/10.95 c | 0 | 7201 13356 59139 | 5000 0 nan | 0.000 % | 10.99/11.04 c | 100 | 7201 13356 59139 | 5500 100 236 | 0.000 % | 11.08/11.16 c | 251 | 7201 13356 59139 | 6050 251 168 | 0.000 % | 11.28/11.39 c | 533 | 7201 13356 59139 | 6655 533 160 | 0.000 % | 11.59/11.62 c | 870 | 7201 13356 59139 | 7320 870 155 | 0.000 % | 11.99/12.09 c | 1376 | 7201 13356 59139 | 8052 1376 155 | 0.000 % | 12.58/12.60 c | 2136 | 7201 13356 59139 | 8857 2136 162 | 0.000 % | 13.59/13.67 c | 3275 | 7201 13356 59139 | 9743 3275 157 | 0.000 % | 14.88/14.99 c | 4983 | 7201 13356 59139 | 10717 4983 173 | 0.000 % | 17.09/17.13 c | 7545 | 7201 13356 59139 | 11789 7545 173 | 0.000 % | 20.28/20.37 c | 11389 | 7201 13356 59139 | 12968 11389 177 | 0.000 % | 25.68/25.74 c | 17159 | 7201 13356 59139 | 14265 10255 179 | 0.000 % | 34.68/34.79 c | 25809 | 7201 13356 59139 | 15692 9877 190 | 0.000 % | 48.87/48.95 c | 38783 | 7201 13356 59139 | 17261 13480 199 | 0.001 % | 70.56/70.69 c | 58244 | 7172 13356 59139 | 18987 8200 192 | 0.403 % | 102.55/102.62 c | 87437 | 7084 13356 59139 | 20886 16946 187 | 1.625 % | 153.23/153.31 c | 131228 | 6733 13356 59139 | 22974 13374 145 | 8.999 % | 189.51/189.66 c =============================================================================== 195.02/195.16 c core #4 195.02/195.16 c Core size: 3106 Core Weight: 1 Total Weight: -196 195.02/195.16 c Elapsed CPU time: 193.986 s Remaining CPU time: 1606.01 s 195.22/195.38 c Learning 945 hard constraints 195.22/195.38 c ============================[ Search Statistics ]============================== 195.22/195.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.22/195.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.22/195.38 c =============================================================================== 195.22/195.38 c | 0 | 7400 14302 88250 | 5000 0 nan | 0.000 % | 195.42/195.52 c | 100 | 7400 14302 88250 | 5500 100 319 | 0.000 % | 195.52/195.63 c | 250 | 7400 14302 88250 | 6050 250 200 | 0.000 % | 195.52/195.66 c | 475 | 7400 14302 88250 | 6655 475 109 | 0.000 % | 195.91/196.04 c | 827 | 7400 14302 88250 | 7320 827 142 | 0.000 % | 196.41/196.51 c | 1333 | 7400 14302 88250 | 8052 1333 156 | 0.000 % | 197.21/197.33 c | 2092 | 7400 14302 88250 | 8857 2092 131 | 0.000 % | 199.12/199.20 c | 3233 | 7400 14302 88250 | 9743 3233 145 | 0.000 % | 200.82/200.95 c | 4941 | 7400 14302 88250 | 10717 4941 178 | 0.000 % | 203.71/203.89 c | 7503 | 7400 14302 88250 | 11789 7503 195 | 0.000 % | 208.31/208.42 c | 11348 | 7400 14302 88250 | 12968 11348 216 | 0.000 % | 217.21/217.32 c | 17115 | 7400 14302 88250 | 14265 10376 217 | 0.000 % | 230.21/230.39 c | 25764 | 7400 14302 88250 | 15692 11652 194 | 0.000 % | 255.49/255.67 c | 38746 | 7400 14302 88250 | 17261 16592 215 | 0.000 % | 285.78/285.98 c | 58207 | 7400 14302 88250 | 18987 15088 261 | 0.000 % | 331.66/331.89 c | 87399 | 7400 14302 88250 | 20886 14340 201 | 0.000 % | 390.54/390.74 c | 131191 | 7400 14302 88250 | 22974 13197 159 | 0.000 % | 471.51/471.73 c | 196875 | 7400 14302 88250 | 25272 14827 180 | 0.000 % | 600.66/600.93 c | 295405 | 7400 14302 88250 | 27799 16377 116 | 0.000 % | 806.47/806.89 c | 443194 | 7399 14302 88250 | 30579 17866 174 | 0.014 % | 1098.47/1098.99 c | 664877 | 7398 14302 88250 | 33637 23607 168 | 0.027 % | 1583.58/1584.22 c | 997402 | 7397 14302 88250 | 37001 21312 152 | 0.041 % |
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-1875399-1245206980/watcher-1875399-1245206980 -o /tmp/evaluation-result-1875399-1245206980/solver-1875399-1245206980 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875399-1245206980.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 11251 /proc/meminfo: memFree=1768160/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=3184 CPUtime=0 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 73431008 3260416 236 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 843 246 126 292 0 418 0 [startup+0.089814 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11251 /proc/meminfo: memFree=1768160/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=5892 CPUtime=0.08 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 1130 0 0 0 8 0 0 0 18 0 1 0 73431008 6033408 984 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 1473 985 135 292 0 1178 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5892 [startup+0.102817 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11251 /proc/meminfo: memFree=1768160/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=6828 CPUtime=0.09 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 1340 0 0 0 9 0 0 0 18 0 1 0 73431008 6991872 1194 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 1707 1194 134 292 0 1412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6828 [startup+0.302856 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11251 /proc/meminfo: memFree=1768160/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=7876 CPUtime=0.29 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 1810 0 0 0 29 0 0 0 19 0 1 0 73431008 8065024 1506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573802 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 1969 1506 136 292 0 1674 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7876 [startup+0.701937 s] /proc/loadavg: 1.00 1.00 1.00 3/64 11251 /proc/meminfo: memFree=1768160/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=8932 CPUtime=0.69 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 2065 0 0 0 68 1 0 0 22 0 1 0 73431008 9146368 1761 1992294400 134512640 135709839 4294956240 18446744073709551615 134572728 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 2233 1761 136 292 0 1938 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8932 [startup+1.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1760920/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=10780 CPUtime=1.49 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 2541 0 0 0 147 2 0 0 25 0 1 0 73431008 11038720 2237 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 2695 2237 136 292 0 2400 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10780 [startup+3.10142 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1758232/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=14344 CPUtime=3.09 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 3417 0 0 0 306 3 0 0 25 0 1 0 73431008 14688256 3113 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 3586 3113 136 292 0 3291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14344 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1751512/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=20284 CPUtime=6.28 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 4905 0 0 0 624 4 0 0 25 0 1 0 73431008 20770816 4601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 5071 4601 136 292 0 4776 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20284 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1742104/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=28096 CPUtime=12.68 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 6864 0 0 0 1261 7 0 0 25 0 1 0 73431008 28770304 6560 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 7024 6560 136 292 0 6729 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28096 [startup+25.5029 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1733656/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=36980 CPUtime=25.48 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 9114 0 0 0 2532 16 0 0 25 0 1 0 73431008 37867520 8810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 9245 8810 136 292 0 8950 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36980 [startup+51.103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1694296/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=76820 CPUtime=51.07 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 19056 0 0 0 5076 31 0 0 25 0 1 0 73431008 78663680 18752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 19205 18752 136 292 0 18910 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76820 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1614936/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=155232 CPUtime=102.25 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 38666 0 0 0 10165 60 0 0 25 0 1 0 73431008 158957568 38362 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 38808 38362 136 292 0 38513 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 155232 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1528792/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=242224 CPUtime=162.22 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 60394 0 0 0 16129 93 0 0 25 0 1 0 73431008 248037376 60090 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 60556 60090 136 292 0 60261 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 242224 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11252 /proc/meminfo: memFree=1483608/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=286172 CPUtime=222.21 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 71368 0 0 0 22100 121 0 0 25 0 1 0 73431008 293040128 71064 1992294400 134512640 135709839 4294956240 18446744073709551615 134600499 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 71543 71064 136 292 0 71248 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 286172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1483352/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=286172 CPUtime=282.18 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 71386 0 0 0 28080 138 0 0 25 0 1 0 73431008 293040128 71082 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 71543 71082 136 292 0 71248 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 286172 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1443608/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=326312 CPUtime=342.16 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 81445 0 0 0 34050 166 0 0 25 0 1 0 73431008 334143488 81141 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 81578 81141 136 292 0 81283 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 326312 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1399768/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=370548 CPUtime=402.14 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 92500 0 0 0 40016 198 0 0 25 0 1 0 73431008 379441152 92196 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 92637 92196 136 292 0 92342 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 370548 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1346712/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=422888 CPUtime=462.12 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 105566 0 0 0 45982 230 0 0 25 0 1 0 73431008 433037312 105262 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 105722 105262 136 292 0 105427 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 422888 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1306520/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=463328 CPUtime=522.09 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 115650 0 0 0 51960 249 0 0 25 0 1 0 73431008 474447872 115346 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 115832 115346 136 292 0 115537 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 463328 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1251992/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=517780 CPUtime=582.07 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 129215 0 0 0 57933 274 0 0 25 0 1 0 73431008 530206720 128911 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 129445 128911 136 292 0 129150 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 517780 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11254 /proc/meminfo: memFree=1208984/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=560312 CPUtime=642.05 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 139854 0 0 0 63901 304 0 0 25 0 1 0 73431008 573759488 139550 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 140078 139550 136 292 0 139783 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 560312 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=953944/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=815324 CPUtime=941.93 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 203568 0 0 0 93753 440 0 0 25 0 1 0 73431008 834891776 203264 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 203831 203264 136 292 0 203536 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 815324 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=908312/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=860664 CPUtime=1001.9 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 214890 0 0 0 99728 462 0 0 25 0 1 0 73431008 881319936 214586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 215166 214586 136 292 0 214871 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 860664 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=853080/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=916368 CPUtime=1061.88 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 228800 0 0 0 105698 490 0 0 25 0 1 0 73431008 938360832 228496 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 229092 228496 136 292 0 228797 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 916368 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=802136/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=966432 CPUtime=1121.86 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 241336 0 0 0 111669 517 0 0 25 0 1 0 73431008 989626368 241032 1992294400 134512640 135709839 4294956240 18446744073709551615 134572744 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 241608 241032 136 292 0 241313 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 966432 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=764568/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1004592 CPUtime=1181.84 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 250849 0 0 0 117644 540 0 0 25 0 1 0 73431008 1028702208 250545 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 251148 250545 136 292 0 250853 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 1004592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=730648/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1037932 CPUtime=1241.81 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 259190 0 0 0 123622 559 0 0 25 0 1 0 73431008 1062842368 258886 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 259483 258886 136 292 0 259188 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 1037932 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=692504/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1075620 CPUtime=1301.79 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 268624 0 0 0 129601 578 0 0 25 0 1 0 73431008 1101434880 268320 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 268905 268320 136 292 0 268610 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 1075620 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=631704/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1137100 CPUtime=1361.77 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 283991 0 0 0 135571 606 0 0 25 0 1 0 73431008 1164390400 283687 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 284275 283687 136 292 0 283980 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1137100 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=572248/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1195736 CPUtime=1421.75 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 298638 0 0 0 141538 637 0 0 25 0 1 0 73431008 1224433664 298334 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 298934 298334 136 292 0 298639 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1195736 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=511000/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1257512 CPUtime=1481.72 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 314087 0 0 0 147505 667 0 0 25 0 1 0 73431008 1287692288 313783 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 314378 313783 136 292 0 314083 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1257512 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=470936/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1296856 CPUtime=1541.7 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 323907 0 0 0 153476 694 0 0 25 0 1 0 73431008 1327980544 323603 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 324214 323603 136 292 0 323919 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 1296856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=427224/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1340984 CPUtime=1601.67 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 334955 0 0 0 159447 720 0 0 25 0 1 0 73431008 1373167616 334651 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 335246 334651 136 292 0 334951 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1340984 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=373272/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1394580 CPUtime=1661.66 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 348329 0 0 0 165415 751 0 0 25 0 1 0 73431008 1428049920 348025 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 348645 348025 136 292 0 348350 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1394580 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=329944/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1438160 CPUtime=1721.63 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 359214 0 0 0 171385 778 0 0 25 0 1 0 73431008 1472675840 358910 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 359540 358910 136 292 0 359245 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1438160 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=290584/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1477240 CPUtime=1781.61 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 368974 0 0 0 177358 803 0 0 25 0 1 0 73431008 1512693760 368670 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 369310 368671 136 292 0 369015 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1477240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=279128/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=1488196 CPUtime=1800.01 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4194304 371726 0 0 0 179191 810 0 0 25 0 1 0 73431008 1523912704 371422 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 372049 371422 136 292 0 371754 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1488196 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 11260 /proc/meminfo: memFree=279128/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=0 CPUtime=1800.11 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4195332 371726 0 0 0 179191 820 0 0 25 0 1 0 73431008 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11260 /proc/meminfo: memFree=279128/2055920 swapFree=4191900/4192956 [pid=11251] ppid=11249 vsize=0 CPUtime=1800.2 /proc/11251/stat : 11251 (wbo) R 11249 11251 10529 0 -1 4195332 371726 0 0 0 179191 829 0 0 25 0 1 0 73431008 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/11251/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.94 CPU time (s): 1800.25 CPU user time (s): 1791.91 CPU system time (s): 8.33473 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 1488196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.91 system time used= 8.33473 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 371726 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= 2197 runsolver used 1.35479 second user time and 3.80342 second system time The end
Begin job on node33 at 2009-06-17 04:49:40 IDJOB=1875399 IDBENCH=48239 IDSOLVER=698 FILE ID=node33/1875399-1245206980 PBS_JOBID= 9368357 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_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-1875399-1245206980/watcher-1875399-1245206980 -o /tmp/evaluation-result-1875399-1245206980/solver-1875399-1245206980 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875399-1245206980.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=1933815440 node33.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 : 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.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: 1769024 kB Buffers: 57964 kB Cached: 145176 kB SwapCached: 384 kB Active: 96820 kB Inactive: 119688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1769024 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 21808 kB Slab: 56384 kB Committed_AS: 148808 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875399-1245206980.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-17 05:19:43