Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb |
MD5SUM | 4ec3492215da9d1ca4e43111c42870de |
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 | 1795.4 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
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) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 1244 |
Sum of products size | 2488 |
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-1875405-1245207915.opb. 0.00/0.00 c Instance file HOME/instance-1875405-1245207915.opb 0.00/0.00 c File size is 106306 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.01 s | 0.00/0.02 c | Number Variables: 1444 | 0.00/0.02 c | Number Clauses: 1444 | 0.00/0.02 c | Number Cardinality: 202 | 0.00/0.02 c | Number PB Constraints: 1244 | 0.00/0.02 c core #1 0.00/0.02 c Core size: 201 Core Weight: 1 Total Weight: -99 0.00/0.02 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1544 2891 10852 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 100 | 1507 2891 10852 | 5500 98 39 | 6.024 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #2 0.00/0.04 c Core size: 250 Core Weight: 1 Total Weight: -98 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.05 c Learning 22 hard constraints 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 | 1629 2914 11185 | 5000 0 nan | 0.000 % | 0.05/0.07 c | 100 | 1629 2914 11185 | 5500 100 67 | 0.062 % | 0.09/0.10 c | 250 | 1626 2914 11185 | 6050 249 62 | 0.860 % | 0.09/0.15 c | 504 | 1615 2914 11185 | 6655 462 66 | 0.860 % | 0.19/0.20 c | 841 | 1606 2914 11185 | 7320 798 61 | 5.096 % | 0.28/0.31 c | 1347 | 1529 2914 11185 | 8052 1048 64 | 9.945 % | 0.38/0.47 c | 2106 | 1448 2914 11185 | 8857 1660 66 | 13.875 % | 0.69/0.74 c =============================================================================== 0.69/0.77 c core #3 0.69/0.77 c Core size: 395 Core Weight: 1 Total Weight: -97 0.69/0.77 c Elapsed CPU time: 0.752885 s Remaining CPU time: 1799.25 s 0.69/0.77 c Learning 18 hard constraints 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 1728 2933 11922 | 5000 0 nan | 0.000 % | 0.69/0.80 c | 103 | 1728 2933 11922 | 5500 103 123 | 0.000 % | 0.79/0.83 c | 253 | 1728 2933 11922 | 6050 253 76 | 0.000 % | 0.79/0.89 c | 482 | 1728 2933 11922 | 6655 482 74 | 0.000 % | 0.89/0.98 c | 822 | 1728 2933 11922 | 7320 822 76 | 0.000 % | 0.99/1.09 c | 1329 | 1728 2933 11922 | 8052 1329 76 | 0.001 % | 1.19/1.28 c | 2088 | 1728 2933 11922 | 8857 2088 78 | 0.001 % | 1.49/1.57 c | 3228 | 1728 2933 11922 | 9743 3228 78 | 0.001 % | 1.99/2.01 c | 4937 | 1728 2933 11922 | 10717 4937 78 | 0.001 % | 2.78/2.85 c | 7500 | 1728 2933 11922 | 11789 7500 75 | 0.001 % | 4.29/4.38 c | 11346 | 1728 2933 11922 | 12968 11346 75 | 0.001 % | 6.49/6.54 c | 17113 | 1728 2933 11922 | 14265 10536 69 | 0.021 % | 9.48/9.55 c | 25763 | 1716 2933 11922 | 15692 8657 72 | 0.695 % | 13.78/13.81 c | 38738 | 1701 2933 11922 | 17261 16085 73 | 3.246 % | 20.28/20.30 c | 58199 | 1620 2933 11922 | 18987 14291 68 | 6.250 % | 25.78/25.84 c =============================================================================== 27.18/27.28 c core #4 27.18/27.28 c Core size: 1333 Core Weight: 1 Total Weight: -96 27.18/27.28 c Elapsed CPU time: 27.0069 s Remaining CPU time: 1772.99 s 27.28/27.37 c Learning 568 hard constraints 27.28/27.37 c ============================[ Search Statistics ]============================== 27.28/27.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 27.28/27.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 27.28/27.37 c =============================================================================== 27.28/27.37 c | 0 | 1828 3502 30725 | 5000 0 nan | 0.000 % | 27.38/27.41 c | 100 | 1828 3502 30725 | 5500 100 154 | 0.000 % | 27.38/27.42 c | 250 | 1828 3502 30725 | 6050 250 67 | 0.000 % | 27.38/27.48 c | 475 | 1828 3502 30725 | 6655 475 90 | 0.000 % | 27.48/27.55 c | 813 | 1828 3502 30725 | 7320 813 93 | 0.000 % | 27.67/27.70 c | 1328 | 1828 3502 30725 | 8052 1328 71 | 0.000 % | 27.88/27.99 c | 2087 | 1828 3502 30725 | 8857 2087 76 | 0.000 % | 28.28/28.38 c | 3226 | 1828 3502 30725 | 9743 3226 91 | 0.000 % | 28.87/28.91 c | 4934 | 1828 3502 30725 | 10717 4934 94 | 0.000 % | 30.08/30.14 c | 7504 | 1828 3502 30725 | 11789 7504 101 | 0.000 % | 31.97/32.08 c | 11352 | 1828 3502 30725 | 12968 11352 111 | 0.000 % | 34.77/34.87 c | 17118 | 1828 3502 30725 | 14265 10510 111 | 0.000 % | 39.07/39.18 c | 25767 | 1828 3502 30725 | 15692 11765 96 | 0.000 % | 44.17/44.29 c | 38742 | 1828 3502 30725 | 17261 8275 64 | 0.000 % | 52.16/52.24 c | 58203 | 1828 3502 30725 | 18987 9939 72 | 0.000 % | 67.17/67.20 c | 87397 | 1828 3502 30725 | 20886 19268 94 | 0.001 % | 86.76/86.81 c | 131187 | 1828 3502 30725 | 22974 20327 80 | 0.000 % | 122.44/122.58 c | 196871 | 1814 3502 30725 | 25272 14914 91 | 0.766 % | 175.62/175.70 c | 295399 | 1814 3502 30725 | 27799 22023 83 | 0.775 % | 255.30/255.42 c | 443188 | 1814 3502 30725 | 30579 26797 103 | 0.779 % | 380.76/380.93 c | 664871 | 1660 3502 30725 | 33637 16435 85 | 9.190 % | 563.59/563.86 c | 997399 | 1625 3502 30725 | 37001 21632 95 | 11.108 % | 861.00/861.36 c | 1496187 | 1524 3502 30725 | 40701 22487 96 | 18.545 % | 1306.53/1307.03 c =============================================================================== 1350.52/1351.04 c core #5 1350.52/1351.04 c Core size: 2241 Core Weight: 1 Total Weight: -95 1350.52/1351.04 c Elapsed CPU time: 1342.9 s Remaining CPU time: 457.097 s 1352.81/1353.38 c Learning 243 hard constraints 1352.81/1353.38 c ============================[ Search Statistics ]============================== 1352.81/1353.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1352.81/1353.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1352.81/1353.38 c =============================================================================== 1352.81/1353.38 c | 0 | 1928 3746 33374 | 5000 0 nan | 0.000 % | 1353.31/1353.84 c | 102 | 1928 3746 33374 | 5500 102 202 | 0.000 % | 1353.31/1353.89 c | 253 | 1928 3746 33374 | 6050 253 141 | 0.000 % | 1353.42/1353.90 c | 478 | 1928 3746 33374 | 6655 478 81 | 0.000 % | 1353.62/1354.17 c | 815 | 1928 3746 33374 | 7320 815 101 | 0.000 % | 1353.72/1354.22 c | 1324 | 1928 3746 33374 | 8052 1324 68 | 0.000 % | 1354.21/1354.79 c | 2083 | 1928 3746 33374 | 8857 2083 95 | 0.000 % | 1354.92/1355.42 c | 3224 | 1928 3746 33374 | 9743 3224 95 | 0.000 % | 1355.92/1356.44 c | 4932 | 1928 3746 33374 | 10717 4932 101 | 0.000 % | 1357.32/1357.84 c | 7495 | 1928 3746 33374 | 11789 7495 107 | 0.000 % | 1358.92/1359.46 c | 11339 | 1928 3746 33374 | 12968 11339 98 | 0.000 % | 1361.71/1362.28 c | 17105 | 1928 3746 33374 | 14265 10429 87 | 0.000 % | 1366.82/1367.33 c | 25754 | 1928 3746 33374 | 15692 11718 107 | 0.000 % | 1374.12/1374.61 c | 38728 | 1928 3746 33374 | 17261 8710 90 | 0.000 % | 1385.91/1386.49 c | 58189 | 1928 3746 33374 | 18987 9929 84 | 0.000 % | 1404.50/1405.01 c | 87381 | 1928 3746 33374 | 20886 19387 112 | 0.000 % | 1435.19/1435.74 c | 131170 | 1928 3746 33374 | 22974 20269 113 | 0.000 % | 1480.87/1481.42 c | 196857 | 1928 3746 33374 | 25272 15165 82 | 0.000 % | 1545.35/1545.90 c | 295384 | 1928 3746 33374 | 27799 22911 88 | 0.000 % | 1636.93/1637.53 c | 443173 | 1928 3746 33374 | 30579 17344 101 | 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-1875405-1245207915/watcher-1875405-1245207915 -o /tmp/evaluation-result-1875405-1245207915/solver-1875405-1245207915 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875405-1245207915.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.69 0.75 0.80 3/64 5594 /proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=2496 CPUtime=0 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 170 0 0 0 0 0 0 0 19 0 1 0 188387259 2555904 154 1992294400 134512640 135709839 4294956240 18446744073709551615 134574099 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 624 155 121 292 0 303 0 [startup+0.0667179 s] /proc/loadavg: 0.69 0.75 0.80 3/64 5594 /proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=3772 CPUtime=0.05 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 541 0 0 0 5 0 0 0 19 0 1 0 188387259 3862528 499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 943 499 136 292 0 648 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3772 [startup+0.101724 s] /proc/loadavg: 0.69 0.75 0.80 3/64 5594 /proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=3772 CPUtime=0.09 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 541 0 0 0 9 0 0 0 19 0 1 0 188387259 3862528 499 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 943 499 136 292 0 648 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3772 [startup+0.301758 s] /proc/loadavg: 0.69 0.75 0.80 3/64 5594 /proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=4420 CPUtime=0.28 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 716 0 0 0 28 0 0 0 20 0 1 0 188387259 4526080 674 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 1105 674 136 292 0 810 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4420 [startup+0.701824 s] /proc/loadavg: 0.69 0.75 0.80 3/64 5594 /proc/meminfo: memFree=1418168/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=5456 CPUtime=0.69 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 989 0 0 0 68 1 0 0 24 0 1 0 188387259 5586944 947 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 1364 947 136 292 0 1069 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5456 [startup+1.50196 s] /proc/loadavg: 0.69 0.75 0.80 2/65 5595 /proc/meminfo: memFree=1414136/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=6380 CPUtime=1.49 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 1210 0 0 0 147 2 0 0 25 0 1 0 188387259 6533120 1168 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 1595 1168 136 292 0 1300 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6380 [startup+3.10223 s] /proc/loadavg: 0.71 0.76 0.80 2/65 5595 /proc/meminfo: memFree=1411960/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=10708 CPUtime=3.09 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 2267 0 0 0 304 5 0 0 25 0 1 0 188387259 10964992 2225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 2677 2225 136 292 0 2382 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10708 [startup+6.30176 s] /proc/loadavg: 0.71 0.76 0.80 2/65 5595 /proc/meminfo: memFree=1404800/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=17072 CPUtime=6.28 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 3886 0 0 0 620 8 0 0 25 0 1 0 188387259 17481728 3844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 4268 3844 136 292 0 3973 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17072 [startup+12.7018 s] /proc/loadavg: 0.76 0.77 0.80 2/65 5595 /proc/meminfo: memFree=1393424/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=27824 CPUtime=12.68 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 6570 0 0 0 1254 14 0 0 25 0 1 0 188387259 28491776 6528 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 6956 6528 136 292 0 6661 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27824 [startup+25.502 s] /proc/loadavg: 0.79 0.77 0.81 2/65 5595 /proc/meminfo: memFree=1374736/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=45740 CPUtime=25.48 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 11046 0 0 0 2523 25 0 0 25 0 1 0 188387259 46837760 11004 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 11435 11004 136 292 0 11140 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45740 [startup+51.1013 s] /proc/loadavg: 0.86 0.79 0.81 2/65 5595 /proc/meminfo: memFree=1357264/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=63880 CPUtime=51.06 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 15562 0 0 0 5063 43 0 0 25 0 1 0 188387259 65413120 15520 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 15970 15520 136 292 0 15675 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 63880 [startup+102.306 s] /proc/loadavg: 0.94 0.82 0.82 2/65 5595 /proc/meminfo: memFree=1284304/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=136124 CPUtime=102.25 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 33616 0 0 0 10135 90 0 0 25 0 1 0 188387259 139390976 33574 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 34031 33574 136 292 0 33736 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 136124 [startup+162.302 s] /proc/loadavg: 0.98 0.85 0.83 2/65 5595 /proc/meminfo: memFree=1216400/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=204276 CPUtime=162.23 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 50648 0 0 0 16089 134 0 0 25 0 1 0 188387259 209178624 50606 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 51069 50606 136 292 0 50774 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 204276 [startup+222.302 s] /proc/loadavg: 0.99 0.88 0.83 2/65 5595 /proc/meminfo: memFree=1153040/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=267492 CPUtime=222.2 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 66425 0 0 0 22047 173 0 0 25 0 1 0 188387259 273911808 66383 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 66873 66383 136 292 0 66578 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 267492 [startup+282.303 s] /proc/loadavg: 0.99 0.90 0.84 2/65 5595 /proc/meminfo: memFree=1088144/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=332532 CPUtime=282.19 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 82679 0 0 0 28007 212 0 0 25 0 1 0 188387259 340512768 82637 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 83133 82637 136 292 0 82838 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 332532 [startup+342.302 s] /proc/loadavg: 0.99 0.91 0.84 2/65 5595 /proc/meminfo: memFree=1023000/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=397100 CPUtime=342.17 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 98834 0 0 0 33966 251 0 0 25 0 1 0 188387259 406630400 98792 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 99275 98792 136 292 0 98980 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 397100 [startup+402.302 s] /proc/loadavg: 0.99 0.92 0.85 2/65 5595 /proc/meminfo: memFree=963800/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=456836 CPUtime=402.15 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 113747 0 0 0 39926 289 0 0 25 0 1 0 188387259 467800064 113705 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 114209 113705 136 292 0 113914 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 456836 [startup+462.301 s] /proc/loadavg: 0.99 0.94 0.86 2/65 5595 /proc/meminfo: memFree=903000/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=516952 CPUtime=462.13 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 128760 0 0 0 45889 324 0 0 25 0 1 0 188387259 529358848 128718 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 129238 128718 136 292 0 128943 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 516952 [startup+522.301 s] /proc/loadavg: 0.99 0.94 0.86 2/65 5595 /proc/meminfo: memFree=845848/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=574848 CPUtime=522.11 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 143207 0 0 0 51854 357 0 0 25 0 1 0 188387259 588644352 143165 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 143712 143165 136 292 0 143417 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 574848 [startup+582.301 s] /proc/loadavg: 0.99 0.95 0.87 2/65 5595 /proc/meminfo: memFree=781144/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=638848 CPUtime=582.08 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 159220 0 0 0 57820 388 0 0 25 0 1 0 188387259 654180352 159178 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 159712 159178 136 292 0 159417 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 638848 [startup+642.301 s] /proc/loadavg: 0.99 0.96 0.87 2/65 5595 /proc/meminfo: memFree=730968/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=688652 CPUtime=642.07 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 171642 0 0 0 63788 419 0 0 25 0 1 0 188387259 705179648 171600 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 172163 171600 136 292 0 171868 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 688652 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.07 1.00 0.91 2/65 5595 /proc/meminfo: memFree=465944/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=954444 CPUtime=941.96 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 238020 0 0 0 93622 574 0 0 25 0 1 0 188387259 977350656 237978 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 238611 237978 136 292 0 238316 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 954444 [startup+1002.3 s] /proc/loadavg: 1.13 1.03 0.92 2/65 5595 /proc/meminfo: memFree=423256/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=995888 CPUtime=1001.94 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 248382 0 0 0 99596 598 0 0 25 0 1 0 188387259 1019789312 248340 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 248972 248340 136 292 0 248677 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 995888 [startup+1062.3 s] /proc/loadavg: 1.05 1.02 0.92 2/65 5595 /proc/meminfo: memFree=368600/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1051952 CPUtime=1061.92 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 262396 0 0 0 105564 628 0 0 25 0 1 0 188387259 1077198848 262354 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 262988 262354 136 292 0 262693 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 1051952 [startup+1122.3 s] /proc/loadavg: 1.02 1.02 0.92 3/65 5595 /proc/meminfo: memFree=300184/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1119236 CPUtime=1121.89 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 279173 0 0 0 111526 663 0 0 25 0 1 0 188387259 1146097664 279131 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 279809 279131 136 292 0 279514 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1119236 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.92 2/65 5595 /proc/meminfo: memFree=246488/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1173264 CPUtime=1181.88 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 292682 0 0 0 117492 696 0 0 25 0 1 0 188387259 1201422336 292640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 293316 292640 136 292 0 293021 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1173264 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.92 2/65 5595 /proc/meminfo: memFree=194008/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1225168 CPUtime=1241.85 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 305659 0 0 0 123458 727 0 0 25 0 1 0 188387259 1254572032 305617 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 306292 305617 136 292 0 305997 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1225168 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=137816/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1280992 CPUtime=1301.84 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 319581 0 0 0 129426 758 0 0 25 0 1 0 188387259 1311735808 319539 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 320248 319539 136 292 0 319953 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1280992 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=86552/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1331924 CPUtime=1361.81 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 332365 0 0 0 135410 771 0 0 25 0 1 0 188387259 1363890176 332282 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 332981 332282 136 292 0 332686 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 1331924 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=86552/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1331924 CPUtime=1421.8 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 332368 0 0 0 141378 802 0 0 25 0 1 0 188387259 1363890176 332285 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 332981 332285 136 292 0 332686 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1331924 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=85656/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1331924 CPUtime=1481.78 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 332607 0 0 0 147349 829 0 0 25 0 1 0 188387259 1363890176 332524 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 332981 332524 136 292 0 332686 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 1331924 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=41944/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1375824 CPUtime=1541.76 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 343588 0 0 0 153313 863 0 0 25 0 1 0 188387259 1408843776 343505 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 343956 343505 136 292 0 343661 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1375824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=15192/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1421184 CPUtime=1601.74 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 354905 0 0 0 159277 897 0 0 25 0 1 0 188387259 1455292416 354822 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 355296 354822 136 292 0 355001 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1421184 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=15192/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1469944 CPUtime=1661.71 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 367074 0 0 0 165240 931 0 0 25 0 1 0 188387259 1505222656 366991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 367486 366991 136 292 0 367191 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1469944 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=16024/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1515276 CPUtime=1721.7 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 378403 0 0 0 171205 965 0 0 25 0 1 0 188387259 1551642624 378320 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 378819 378320 136 292 0 378524 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1515276 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=15960/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1548872 CPUtime=1781.67 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 386795 0 0 0 177179 988 0 0 25 0 1 0 188387259 1586044928 386712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 387218 386712 136 292 0 386923 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 1548872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=15512/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=1561424 CPUtime=1800.07 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4194304 389911 0 0 0 179010 997 0 0 25 0 1 0 188387259 1598898176 389828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 390356 389828 136 292 0 390061 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1561424 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 0.92 2/65 5595 /proc/meminfo: memFree=15512/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=0 CPUtime=1800.17 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4195332 389911 0 0 0 179010 1007 0 0 25 0 1 0 188387259 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.92 2/65 5595 /proc/meminfo: memFree=15512/2055920 swapFree=4192956/4192956 [pid=5594] ppid=5592 vsize=0 CPUtime=1800.26 /proc/5594/stat : 5594 (wbo) R 5592 5594 5549 0 -1 4195332 389911 0 0 0 179010 1016 0 0 25 0 1 0 188387259 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5594/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.95 CPU time (s): 1800.32 CPU user time (s): 1790.11 CPU system time (s): 10.2114 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 1561424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.11 system time used= 10.2114 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389911 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= 3059 runsolver used 1.34579 second user time and 4.03039 second system time The end
Begin job on node57 at 2009-06-17 05:05:15 IDJOB=1875405 IDBENCH=48245 IDSOLVER=698 FILE ID=node57/1875405-1245207915 PBS_JOBID= 9368413 Free space on /tmp= 66564 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875405-1245207915/watcher-1875405-1245207915 -o /tmp/evaluation-result-1875405-1245207915/solver-1875405-1245207915 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875405-1245207915.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de RANDOM SEED=373651874 node57.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1420128 kB Buffers: 64612 kB Cached: 481836 kB SwapCached: 0 kB Active: 276488 kB Inactive: 282720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1420128 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2440 kB Writeback: 0 kB Mapped: 22568 kB Slab: 62628 kB Committed_AS: 83084 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-1875405-1245207915.opb Free space on /tmp at the end= 66560 MiB End job on node57 at 2009-06-17 05:35:18