Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
MD5SUM | 219f407da86957d900e068170e9af8b6 |
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 | -25 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
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) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
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-1875398-1245206822.opb. 0.00/0.00 c Instance file HOME/instance-1875398-1245206822.opb 0.00/0.00 c File size is 531925 bytes. 0.06/0.08 c Highest Coefficient sum: 400 0.06/0.08 c ============================[ Problem Statistics ]============================= 0.06/0.08 c | | 0.06/0.08 c | Parsing time: 0.08 s | 0.06/0.08 c | Number Variables: 6620 | 0.06/0.08 c | Number Clauses: 6620 | 0.06/0.08 c | Number Cardinality: 402 | 0.06/0.08 c | Number PB Constraints: 6220 | 0.06/0.08 c core #1 0.06/0.08 c Core size: 401 Core Weight: 1 Total Weight: -199 0.06/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 6820 13243 51560 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 102 | 6820 13243 51560 | 5500 102 98 | 1.175 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #2 0.09/0.16 c Core size: 403 Core Weight: 1 Total Weight: -198 0.09/0.16 c Elapsed CPU time: 0.160975 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 | 7016 13245 51955 | 5000 0 nan | 0.000 % | 0.19/0.26 c | 100 | 7016 13245 51955 | 5500 100 159 | 0.000 % | 0.29/0.34 c | 250 | 7016 13245 51955 | 6050 250 138 | 0.000 % | 0.39/0.48 c | 475 | 6980 13245 51955 | 6655 376 142 | 0.513 % | 0.59/0.66 c | 812 | 6940 13245 51955 | 7320 683 143 | 1.083 % | 0.89/0.99 c | 1318 | 6940 13245 51955 | 8052 1189 143 | 1.083 % | 1.48/1.50 c | 2077 | 6908 13245 51955 | 8857 1942 142 | 1.539 % | 2.29/2.32 c | 3216 | 6859 13245 51955 | 9743 3032 141 | 7.355 % | 3.69/3.73 c | 4924 | 6131 13245 51955 | 10717 4058 158 | 13.827 % | 5.79/5.86 c | 7501 | 5799 13245 51955 | 11789 6348 156 | 20.197 % | 9.79/9.87 c | 11345 | 4710 13245 51955 | 12968 8584 167 | 40.180 % | 10.29/10.30 c =============================================================================== 10.49/10.55 c core #3 10.49/10.55 c Core size: 722 Core Weight: 1 Total Weight: -197 10.49/10.55 c Elapsed CPU time: 10.4584 s Remaining CPU time: 1789.54 s 10.49/10.59 c Learning 45 hard constraints 10.49/10.59 c ============================[ Search Statistics ]============================== 10.49/10.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.59 c =============================================================================== 10.49/10.59 c | 0 | 7216 13291 55837 | 5000 0 nan | 0.000 % | 10.59/10.68 c | 100 | 7216 13291 55837 | 5500 100 229 | 0.000 % | 10.79/10.81 c | 250 | 7216 13291 55837 | 6050 250 157 | 0.000 % | 10.89/11.00 c | 475 | 7216 13291 55837 | 6655 475 129 | 0.000 % | 11.49/11.56 c | 812 | 7216 13291 55837 | 7320 812 141 | 0.000 % | 11.89/11.93 c | 1318 | 7216 13291 55837 | 8052 1318 162 | 0.000 % | 12.48/12.51 c | 2080 | 7216 13291 55837 | 8857 2080 165 | 0.000 % | 13.29/13.37 c | 3220 | 7216 13291 55837 | 9743 3220 175 | 0.000 % | 14.88/14.93 c | 4928 | 7216 13291 55837 | 10717 4928 176 | 0.000 % | 17.09/17.17 c | 7490 | 7216 13291 55837 | 11789 7490 174 | 0.000 % | 20.89/20.94 c | 11401 | 7216 13291 55837 | 12968 11401 178 | 0.000 % | 26.29/26.38 c | 17167 | 7216 13291 55837 | 14265 10471 174 | 0.000 % | 34.17/34.28 c | 25816 | 7216 13291 55837 | 15692 11480 170 | 0.000 % | 47.27/47.33 c | 38790 | 7216 13291 55837 | 17261 16165 169 | 0.000 % | 67.87/67.99 c | 58252 | 7216 13291 55837 | 18987 16572 192 | 0.003 % | 100.15/100.20 c | 87448 | 7147 13291 55837 | 20886 15176 167 | 0.956 % | 143.74/143.84 c | 131237 | 6615 13291 55837 | 22974 14192 114 | 13.872 % | 167.14/167.24 c =============================================================================== 171.93/172.08 c core #4 171.93/172.08 c Core size: 3351 Core Weight: 1 Total Weight: -196 171.93/172.08 c Elapsed CPU time: 171.067 s Remaining CPU time: 1628.93 s 172.13/172.29 c Learning 1317 hard constraints 172.13/172.29 c ============================[ Search Statistics ]============================== 172.13/172.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 172.13/172.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 172.13/172.29 c =============================================================================== 172.13/172.29 c | 0 | 7416 14609 178492 | 5000 0 nan | 0.000 % | 172.33/172.44 c | 100 | 7416 14609 178492 | 5500 100 309 | 0.000 % | 172.43/172.54 c | 250 | 7416 14609 178492 | 6050 250 226 | 0.000 % | 172.73/172.82 c | 475 | 7416 14609 178492 | 6655 475 193 | 0.000 % | 173.03/173.15 c | 812 | 7416 14609 178492 | 7320 812 202 | 0.000 % | 173.64/173.73 c | 1318 | 7416 14609 178492 | 8052 1318 199 | 0.000 % | 174.33/174.46 c | 2077 | 7416 14609 178492 | 8857 2077 203 | 0.000 % | 175.43/175.59 c | 3216 | 7416 14609 178492 | 9743 3216 181 | 0.000 % | 177.33/177.46 c | 4935 | 7416 14609 178492 | 10717 4935 211 | 0.000 % | 179.83/179.97 c | 7497 | 7416 14609 178492 | 11789 7497 207 | 0.000 % | 184.73/184.90 c | 11341 | 7416 14609 178492 | 12968 11341 215 | 0.000 % | 191.43/191.51 c | 17111 | 7416 14609 178492 | 14265 10268 229 | 0.000 % | 202.62/202.78 c | 25778 | 7416 14609 178492 | 15692 10679 255 | 0.000 % | 221.42/221.52 c | 38776 | 7416 14609 178492 | 17261 14595 220 | 0.000 % | 244.01/244.16 c | 58239 | 7416 14609 178492 | 18987 14349 130 | 0.000 % | 274.80/274.99 c | 87431 | 7416 14609 178492 | 20886 13850 102 | 0.000 % | 323.19/323.32 c | 131220 | 7416 14609 178492 | 22974 21811 149 | 0.000 % | 392.56/392.75 c | 196907 | 7416 14609 178492 | 25272 23533 144 | 0.000 % | 503.23/503.49 c | 295433 | 7416 14609 178492 | 27799 12503 236 | 0.000 % | 671.67/671.97 c | 443222 | 7416 14609 178492 | 30579 15955 187 | 0.000 % | 965.66/966.09 c | 664905 | 7416 14609 178492 | 33637 16184 150 | 0.001 % | 1464.20/1464.76 c | 997430 | 7364 14609 178492 | 37001 31499 181 | 0.702 % |
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-1875398-1245206822/watcher-1875398-1245206822 -o /tmp/evaluation-result-1875398-1245206822/solver-1875398-1245206822 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875398-1245206822.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 10590 /proc/meminfo: memFree=1827696/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=3188 CPUtime=0 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 188282818 3264512 239 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 845 243 126 292 0 420 0 [startup+0.0687819 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10590 /proc/meminfo: memFree=1827696/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=4928 CPUtime=0.06 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 742 0 0 0 6 0 0 0 18 0 1 0 188282818 5046272 726 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 1232 726 229 292 0 807 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4928 [startup+0.101787 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10590 /proc/meminfo: memFree=1827696/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=6832 CPUtime=0.09 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 1337 0 0 0 9 0 0 0 18 0 1 0 188282818 6995968 1191 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 1708 1192 134 292 0 1413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6832 [startup+0.301822 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10590 /proc/meminfo: memFree=1827696/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=7908 CPUtime=0.29 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 1810 0 0 0 28 1 0 0 19 0 1 0 188282818 8097792 1506 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 1977 1506 136 292 0 1682 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7908 [startup+0.701894 s] /proc/loadavg: 1.00 1.00 1.00 3/64 10590 /proc/meminfo: memFree=1827696/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=8700 CPUtime=0.69 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 2027 0 0 0 68 1 0 0 22 0 1 0 188282818 8908800 1723 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 2175 1723 136 292 0 1880 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8700 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1820584/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=10812 CPUtime=1.48 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 2539 0 0 0 147 1 0 0 25 0 1 0 188282818 11071488 2235 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 2703 2235 136 292 0 2408 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10812 [startup+3.10132 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1817896/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=14112 CPUtime=3.09 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 3357 0 0 0 305 4 0 0 25 0 1 0 188282818 14450688 3053 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 3528 3053 136 292 0 3233 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14112 [startup+6.3019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1811752/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=19416 CPUtime=6.29 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 4706 0 0 0 622 7 0 0 25 0 1 0 188282818 19881984 4402 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 4854 4402 136 292 0 4559 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19416 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1803512/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=26268 CPUtime=12.68 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 6400 0 0 0 1259 9 0 0 25 0 1 0 188282818 26898432 6096 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 6567 6096 136 292 0 6272 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26268 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1791352/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=38940 CPUtime=25.49 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 9591 0 0 0 2530 19 0 0 25 0 1 0 188282818 39874560 9287 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 9735 9287 136 292 0 9440 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38940 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1747576/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=83176 CPUtime=51.07 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 20646 0 0 0 5071 36 0 0 25 0 1 0 188282818 85172224 20342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 20794 20342 136 292 0 20499 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 83176 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1674808/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=154888 CPUtime=102.26 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 38560 0 0 0 10163 63 0 0 25 0 1 0 188282818 158605312 38256 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 38722 38256 136 292 0 38427 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154888 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1604600/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=225268 CPUtime=162.23 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 56169 0 0 0 16131 92 0 0 25 0 1 0 188282818 230674432 55865 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 56317 55865 136 292 0 56022 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 225268 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1594680/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=234624 CPUtime=222.21 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 58508 0 0 0 22107 114 0 0 25 0 1 0 188282818 240254976 58204 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 58656 58204 136 292 0 58361 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 234624 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10591 /proc/meminfo: memFree=1590136/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=239772 CPUtime=282.2 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 59789 0 0 0 28078 142 0 0 25 0 1 0 188282818 245526528 59485 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 59943 59485 136 292 0 59648 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 239772 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1533368/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=296024 CPUtime=342.18 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 73864 0 0 0 34049 169 0 0 25 0 1 0 188282818 303128576 73560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 74006 73561 136 292 0 73711 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 296024 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1467640/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=362336 CPUtime=402.15 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 90437 0 0 0 40009 206 0 0 25 0 1 0 188282818 371032064 90133 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 90584 90133 136 292 0 90289 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 362336 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1415096/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=414144 CPUtime=462.14 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 103356 0 0 0 45979 235 0 0 25 0 1 0 188282818 424083456 103052 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 103536 103052 136 292 0 103241 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 414144 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1350968/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=478840 CPUtime=522.12 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 119526 0 0 0 51948 264 0 0 25 0 1 0 188282818 490332160 119222 1992294400 134512640 135709839 4294956240 18446744073709551615 134572717 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 119710 119222 136 292 0 119415 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 478840 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1300792/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=528676 CPUtime=582.09 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 131941 0 0 0 57924 285 0 0 25 0 1 0 188282818 541364224 131637 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 132169 131637 136 292 0 131874 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 528676 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10593 /proc/meminfo: memFree=1232248/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=596596 CPUtime=642.08 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 148909 0 0 0 63891 317 0 0 25 0 1 0 188282818 610914304 148605 1992294400 134512640 135709839 4294956240 18446744073709551615 135162244 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 149149 148605 136 292 0 148854 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 596596 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=1000632/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=828212 CPUtime=941.97 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 206802 0 0 0 93740 457 0 0 25 0 1 0 188282818 848089088 206498 1992294400 134512640 135709839 4294956240 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 207053 206498 136 292 0 206758 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 828212 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=950904/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=877616 CPUtime=1001.95 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 219144 0 0 0 99711 484 0 0 25 0 1 0 188282818 898678784 218840 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 219404 218840 136 292 0 219109 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 877616 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=885048/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=943764 CPUtime=1061.93 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 235686 0 0 0 105682 511 0 0 25 0 1 0 188282818 966414336 235382 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 235941 235382 136 292 0 235646 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 943764 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=834424/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=993800 CPUtime=1121.91 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 248201 0 0 0 111655 536 0 0 25 0 1 0 188282818 1017651200 247897 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 248450 247897 136 292 0 248155 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 993800 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=793912/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1034588 CPUtime=1181.9 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 258401 0 0 0 117629 561 0 0 25 0 1 0 188282818 1059418112 258097 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 258647 258097 136 292 0 258352 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1034588 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=754168/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1073976 CPUtime=1241.87 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 268224 0 0 0 123604 583 0 0 25 0 1 0 188282818 1099751424 267920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 268494 267920 136 292 0 268199 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1073976 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=710968/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1116788 CPUtime=1301.85 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 278927 0 0 0 129576 609 0 0 25 0 1 0 188282818 1143590912 278623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 279197 278623 136 292 0 278902 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1116788 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=677816/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1150188 CPUtime=1361.83 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 287250 0 0 0 135553 630 0 0 25 0 1 0 188282818 1177792512 286946 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 287547 286946 136 292 0 287252 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1150188 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=640632/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1187136 CPUtime=1421.82 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 296487 0 0 0 141531 651 0 0 25 0 1 0 188282818 1215627264 296183 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 296784 296183 136 292 0 296489 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1187136 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=603576/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1224872 CPUtime=1481.79 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 305931 0 0 0 147510 669 0 0 25 0 1 0 188282818 1254268928 305627 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 306218 305627 136 292 0 305923 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1224872 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=553464/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1274240 CPUtime=1541.77 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 318250 0 0 0 153473 704 0 0 25 0 1 0 188282818 1304821760 317946 1992294400 134512640 135709839 4294956240 18446744073709551615 134579092 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 318560 317946 136 292 0 318265 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1274240 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=519288/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1308564 CPUtime=1601.75 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 326841 0 0 0 159450 725 0 0 25 0 1 0 188282818 1339969536 326537 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 327141 326537 136 292 0 326846 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1308564 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=483256/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1344404 CPUtime=1661.73 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 335792 0 0 0 165426 747 0 0 25 0 1 0 188282818 1376669696 335488 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 336101 335488 136 292 0 335806 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1344404 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=448312/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1379524 CPUtime=1721.71 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 344566 0 0 0 171405 766 0 0 25 0 1 0 188282818 1412632576 344262 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 344881 344262 136 292 0 344586 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1379524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=397816/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1429792 CPUtime=1781.69 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 357119 0 0 0 177376 793 0 0 25 0 1 0 188282818 1464107008 356815 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 357448 356815 136 292 0 357153 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1429792 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=384952/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=1442292 CPUtime=1800.1 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4194304 360252 0 0 0 179210 800 0 0 25 0 1 0 188282818 1476907008 359948 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 360573 359948 136 292 0 360278 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1442292 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 10599 /proc/meminfo: memFree=384952/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=0 CPUtime=1800.19 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4195332 360252 0 0 0 179210 809 0 0 25 0 1 0 188282818 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10599 /proc/meminfo: memFree=384952/2055920 swapFree=4180864/4192956 [pid=10590] ppid=10588 vsize=0 CPUtime=1800.29 /proc/10590/stat : 10590 (wbo) R 10588 10590 9923 0 -1 4195332 360252 0 0 0 179210 819 0 0 25 0 1 0 188282818 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10590/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.29 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.93 CPU time (s): 1800.32 CPU user time (s): 1792.1 CPU system time (s): 8.21875 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 1442292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.1 system time used= 8.21875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 360252 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= 2704 runsolver used 1.45678 second user time and 3.56546 second system time The end
Begin job on node12 at 2009-06-17 04:47:02 IDJOB=1875398 IDBENCH=48238 IDSOLVER=698 FILE ID=node12/1875398-1245206822 PBS_JOBID= 9368348 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.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-1875398-1245206822/watcher-1875398-1245206822 -o /tmp/evaluation-result-1875398-1245206822/solver-1875398-1245206822 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875398-1245206822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED=1507753231 node12.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.281 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.281 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: 1828560 kB Buffers: 49696 kB Cached: 126176 kB SwapCached: 6300 kB Active: 85480 kB Inactive: 98816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828560 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 2544 kB Writeback: 0 kB Mapped: 13600 kB Slab: 29068 kB Committed_AS: 187608 kB PageTables: 1380 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-1875398-1245206822.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-17 05:17:05