Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_3.opb |
MD5SUM | 8decd85a4aebca069c2c72faa547de31 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 89.4764 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
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 | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1244 |
Sum of products size (including duplicates) | 2488 |
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-1875307-1245195926.opb. 0.00/0.00 c Instance file HOME/instance-1875307-1245195926.opb 0.00/0.00 c File size is 88660 bytes. 0.00/0.01 c Highest Coefficient sum: 20 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1344 | 0.00/0.01 c | Number Clauses: 1444 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 1244 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 22 Core Weight: 1 Total Weight: 1 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.01/0.01 c core #2 0.01/0.01 c Core size: 22 Core Weight: 1 Total Weight: 2 0.01/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.01/0.01 c core #3 0.01/0.01 c Core size: 22 Core Weight: 1 Total Weight: 3 0.01/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.01/0.02 c core #4 0.01/0.02 c Core size: 28 Core Weight: 1 Total Weight: 4 0.01/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 703 2692 7044 | 5000 0 nan | 0.000 % | 0.01/0.02 c =============================================================================== 0.01/0.02 c core #5 0.01/0.02 c Core size: 110 Core Weight: 1 Total Weight: 5 0.01/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.01/0.03 c ============================[ Search Statistics ]============================== 0.01/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.03 c =============================================================================== 0.01/0.03 c | 0 | 1187 2693 8381 | 5000 0 nan | 0.000 % | 0.01/0.04 c | 100 | 1187 2693 8381 | 5500 100 76 | 17.570 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c core #6 0.01/0.06 c Core size: 371 Core Weight: 1 Total Weight: 6 0.01/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.01/0.06 c ============================[ Search Statistics ]============================== 0.01/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.06 c =============================================================================== 0.01/0.06 c | 0 | 1505 2694 9210 | 5000 0 nan | 0.000 % | 0.01/0.08 c | 101 | 1505 2694 9210 | 5500 101 109 | 1.570 % | 0.09/0.11 c | 266 | 1505 2694 9210 | 6050 266 106 | 1.570 % | 0.09/0.16 c | 491 | 1505 2694 9210 | 6655 491 109 | 1.570 % | 0.19/0.25 c | 831 | 1505 2694 9210 | 7320 831 116 | 1.570 % | 0.29/0.39 c | 1339 | 1505 2694 9210 | 8052 1339 110 | 1.570 % | 0.59/0.64 c | 2103 | 1505 2694 9210 | 8857 2103 107 | 1.570 % | 0.89/0.97 c | 3242 | 1505 2694 9210 | 9743 3242 102 | 1.570 % | 1.59/1.67 c | 4953 | 1505 2694 9210 | 10717 4953 106 | 1.570 % | 2.69/2.79 c | 7527 | 1505 2694 9210 | 11789 7527 109 | 1.570 % | 4.79/4.80 c | 11374 | 1505 2694 9210 | 12968 11374 113 | 1.572 % | 5.50/5.53 c =============================================================================== 5.50/5.53 c core #7 5.50/5.53 c Core size: 1392 Core Weight: 1 Total Weight: 7 5.50/5.53 c Elapsed CPU time: 4.97724 s Remaining CPU time: 1795.02 s 5.50/5.53 c Learning 2 hard constraints 5.50/5.53 c ============================[ Search Statistics ]============================== 5.50/5.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.50/5.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.50/5.53 c =============================================================================== 5.50/5.53 c | 0 | 1629 2697 9500 | 5000 0 nan | 0.000 % | 5.50/5.53 c | 102 | 1629 2697 9500 | 5500 102 155 | 0.001 % | 5.50/5.53 c | 252 | 1629 2697 9500 | 6050 252 147 | 0.000 % | 5.50/5.53 c | 478 | 1629 2697 9500 | 6655 478 119 | 0.000 % | 5.50/5.53 c | 818 | 1629 2697 9500 | 7320 818 99 | 0.000 % | 5.50/5.53 c | 1324 | 1629 2697 9500 | 8052 1324 106 | 0.000 % | 5.50/5.53 c | 2085 | 1629 2697 9500 | 8857 2085 110 | 0.000 % | 5.69/5.72 c | 3225 | 1629 2697 9500 | 9743 3225 108 | 0.000 % | 6.09/6.17 c | 4933 | 1629 2697 9500 | 10717 4933 117 | 0.000 % | 6.99/7.05 c | 7495 | 1629 2697 9500 | 11789 7495 127 | 0.000 % | 8.39/8.47 c | 11341 | 1629 2697 9500 | 12968 11341 128 | 0.000 % | 10.79/10.84 c | 17108 | 1629 2697 9500 | 14265 10468 120 | 0.000 % | 14.79/14.84 c | 25759 | 1629 2697 9500 | 15692 11807 110 | 0.000 % | 21.58/21.65 c | 38737 | 1629 2697 9500 | 17261 8758 109 | 0.000 % | 34.38/34.46 c | 58199 | 1629 2697 9500 | 18987 10652 109 | 0.000 % | 53.97/54.07 c | 87394 | 1629 2697 9500 | 20886 11028 127 | 0.000 % | 89.36/89.49 c | 131184 | 1629 2697 9500 | 22974 12327 139 | 0.000 % | 150.54/150.66 c | 196873 | 1629 2697 9500 | 25272 19679 165 | 0.000 % | 255.10/255.23 c | 295402 | 1629 2697 9500 | 27799 15235 164 | 0.000 % | 328.47/328.61 c =============================================================================== 337.87/338.08 c core #8 337.87/338.08 c Core size: 2208 Core Weight: 1 Total Weight: 8 337.87/338.08 c Elapsed CPU time: 336.364 s Remaining CPU time: 1463.64 s 338.26/338.47 c Learning 2 hard constraints 338.26/338.47 c ============================[ Search Statistics ]============================== 338.26/338.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 338.26/338.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 338.26/338.47 c =============================================================================== 338.26/338.47 c | 0 | 1729 2700 9723 | 5000 0 nan | 0.000 % | 338.36/338.56 c | 100 | 1729 2700 9723 | 5500 100 168 | 0.000 % | 338.36/338.59 c | 250 | 1729 2700 9723 | 6050 250 161 | 0.000 % | 338.46/338.63 c | 475 | 1729 2700 9723 | 6655 475 130 | 0.000 % | 338.57/338.71 c | 817 | 1729 2700 9723 | 7320 817 127 | 0.000 % | 338.67/338.84 c | 1323 | 1729 2700 9723 | 8052 1323 130 | 0.000 % | 338.86/339.03 c | 2083 | 1729 2700 9723 | 8857 2083 129 | 0.000 % | 339.17/339.37 c | 3223 | 1729 2700 9723 | 9743 3223 139 | 0.000 % | 339.86/340.03 c | 4935 | 1729 2700 9723 | 10717 4935 156 | 0.000 % | 341.27/341.49 c | 7497 | 1729 2700 9723 | 11789 7497 178 | 0.000 % | 344.17/344.34 c | 11341 | 1729 2700 9723 | 12968 11341 181 | 0.000 % | 347.86/348.06 c | 17108 | 1729 2700 9723 | 14265 10365 166 | 0.000 % | 354.26/354.48 c | 25760 | 1729 2700 9723 | 15692 11638 194 | 0.000 % | 364.86/365.04 c | 38736 | 1729 2700 9723 | 17261 8362 170 | 0.000 % | 380.05/380.30 c | 58198 | 1729 2700 9723 | 18987 10006 157 | 0.000 % | 399.64/399.84 c | 87390 | 1729 2700 9723 | 20886 9867 138 | 0.000 % | 432.73/432.91 c | 131180 | 1729 2700 9723 | 22974 10897 164 | 0.000 % | 492.21/492.43 c | 196866 | 1729 2700 9723 | 25272 17756 189 | 0.000 % | 612.27/612.52 c | 295394 | 1729 2700 9723 | 27799 25506 206 | 0.000 % | 793.10/793.40 c | 443183 | 1729 2700 9723 | 30579 21082 214 | 0.000 % | 1183.25/1183.73 c | 664869 | 1729 2700 9723 | 33637 16029 237 | 0.000 % | 1745.24/1745.91 c | 997396 | 1729 2700 9723 | 37001 22439 182 | 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-1875307-1245195926/watcher-1875307-1245195926 -o /tmp/evaluation-result-1875307-1245195926/solver-1875307-1245195926 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875307-1245195926.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.04 1.03 1.00 3/65 15404 /proc/meminfo: memFree=1822576/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=2780 CPUtime=0 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 240 0 0 0 0 0 0 0 20 0 1 0 187190494 2846720 224 1992294400 134512640 135709839 4294956240 18446744073709551615 135058240 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 695 224 129 292 0 378 0 [startup+0.014727 s] /proc/loadavg: 1.04 1.03 1.00 3/65 15404 /proc/meminfo: memFree=1822576/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=2976 CPUtime=0.01 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 356 0 0 0 1 0 0 0 21 0 1 0 187190494 3047424 318 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 744 319 134 292 0 449 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2976 [startup+0.101744 s] /proc/loadavg: 1.04 1.03 1.00 3/65 15404 /proc/meminfo: memFree=1822576/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=3688 CPUtime=0.09 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 525 0 0 0 9 0 0 0 21 0 1 0 187190494 3776512 487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 922 487 136 292 0 627 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3688 [startup+0.301782 s] /proc/loadavg: 1.04 1.03 1.00 3/65 15404 /proc/meminfo: memFree=1822576/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=4216 CPUtime=0.29 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 648 0 0 0 29 0 0 0 22 0 1 0 187190494 4317184 610 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 1054 610 136 292 0 759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4216 [startup+0.701858 s] /proc/loadavg: 1.04 1.03 1.00 3/65 15404 /proc/meminfo: memFree=1822576/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=5140 CPUtime=0.69 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 892 0 0 0 68 1 0 0 25 0 1 0 187190494 5263360 854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 1285 854 136 292 0 990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5140 [startup+1.50201 s] /proc/loadavg: 1.04 1.03 1.00 2/66 15405 /proc/meminfo: memFree=1818920/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=6988 CPUtime=1.49 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 1357 0 0 0 148 1 0 0 25 0 1 0 187190494 7155712 1319 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 1747 1319 136 292 0 1452 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6988 [startup+3.10132 s] /proc/loadavg: 1.04 1.03 1.00 2/66 15405 /proc/meminfo: memFree=1816552/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=10024 CPUtime=3.09 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 2122 0 0 0 307 2 0 0 25 0 1 0 187190494 10264576 2084 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 2506 2084 136 292 0 2211 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10024 [startup+6.30293 s] /proc/loadavg: 1.04 1.03 1.00 2/66 15405 /proc/meminfo: memFree=1810408/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=14172 CPUtime=6.29 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 3138 0 0 0 624 5 0 0 25 0 1 0 187190494 14512128 3100 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 3543 3100 136 292 0 3248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14172 [startup+12.7011 s] /proc/loadavg: 1.03 1.03 1.00 2/66 15405 /proc/meminfo: memFree=1804976/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=20788 CPUtime=12.69 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 4786 0 0 0 1259 10 0 0 25 0 1 0 187190494 21286912 4748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 5197 4748 136 292 0 4902 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20788 [startup+25.5016 s] /proc/loadavg: 1.02 1.03 1.00 2/66 15405 /proc/meminfo: memFree=1785712/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=38912 CPUtime=25.48 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 9340 0 0 0 2530 18 0 0 25 0 1 0 187190494 39845888 9302 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 9728 9302 136 292 0 9433 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38912 [startup+51.1015 s] /proc/loadavg: 1.02 1.02 1.00 2/66 15405 /proc/meminfo: memFree=1751216/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=73860 CPUtime=51.07 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 18049 0 0 0 5073 34 0 0 25 0 1 0 187190494 75632640 18011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 18465 18011 136 292 0 18170 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73860 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/66 15405 /proc/meminfo: memFree=1692208/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=132456 CPUtime=102.25 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 32679 0 0 0 10166 59 0 0 25 0 1 0 187190494 135634944 32641 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 33114 32641 136 292 0 32819 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 132456 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 15405 /proc/meminfo: memFree=1627184/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=197936 CPUtime=162.23 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 49030 0 0 0 16135 88 0 0 25 0 1 0 187190494 202686464 48992 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 49484 48993 136 292 0 49189 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 197936 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/66 15405 /proc/meminfo: memFree=1562352/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=262212 CPUtime=222.21 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 65060 0 0 0 22107 114 0 0 25 0 1 0 187190494 268505088 65022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 65553 65022 136 292 0 65258 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 262212 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1506096/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=319496 CPUtime=282.18 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 79311 0 0 0 28079 139 0 0 25 0 1 0 187190494 327163904 79273 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 79874 79273 136 292 0 79579 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 319496 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1454256/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=369844 CPUtime=342.17 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 91949 0 0 0 34054 163 0 0 25 0 1 0 187190494 378720256 91883 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 92461 91883 136 292 0 92166 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 369844 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1454192/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=369844 CPUtime=402.15 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 91997 0 0 0 40033 182 0 0 25 0 1 0 187190494 378720256 91931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 92461 91931 136 292 0 92166 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 369844 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1418992/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=405016 CPUtime=462.12 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 100876 0 0 0 46005 207 0 0 25 0 1 0 187190494 414736384 100810 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 101254 100810 136 292 0 100959 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 405016 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1362096/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=461980 CPUtime=522.1 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 115102 0 0 0 51976 234 0 0 25 0 1 0 187190494 473067520 115036 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 115495 115036 136 292 0 115200 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 461980 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1294128/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=529880 CPUtime=582.08 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 132017 0 0 0 57947 261 0 0 25 0 1 0 187190494 542597120 131951 1992294400 134512640 135709839 4294956240 18446744073709551615 134568690 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 132470 131951 136 292 0 132175 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 529880 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15405 /proc/meminfo: memFree=1233840/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=589508 CPUtime=642.06 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 146927 0 0 0 63918 288 0 0 25 0 1 0 187190494 603656192 146861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 147377 146861 136 292 0 147082 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 589508 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=967792/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=855528 CPUtime=941.94 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 213337 0 0 0 93797 397 0 0 25 0 1 0 187190494 876060672 213271 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 213882 213271 136 292 0 213587 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 855528 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=922096/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=901044 CPUtime=1001.92 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 224699 0 0 0 99776 416 0 0 25 0 1 0 187190494 922669056 224633 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 225261 224633 136 292 0 224966 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 901044 [startup+1062.3 s] /proc/loadavg: 1.08 1.02 1.01 2/66 15413 /proc/meminfo: memFree=877552/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=946020 CPUtime=1061.9 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 235860 0 0 0 105755 435 0 0 25 0 1 0 187190494 968724480 235794 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 236505 235794 136 292 0 236210 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 946020 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/66 15413 /proc/meminfo: memFree=835120/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=988384 CPUtime=1121.88 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 246458 0 0 0 111736 452 0 0 25 0 1 0 187190494 1012105216 246392 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 247096 246392 136 292 0 246801 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 988384 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/66 15413 /proc/meminfo: memFree=794800/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1029304 CPUtime=1181.86 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 256674 0 0 0 117716 470 0 0 25 0 1 0 187190494 1054007296 256608 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 257326 256608 136 292 0 257031 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 1029304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=757296/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1066212 CPUtime=1241.83 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 265895 0 0 0 123699 484 0 0 25 0 1 0 187190494 1091801088 265829 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 266553 265829 136 292 0 266258 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1066212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=710640/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1112348 CPUtime=1301.81 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 277374 0 0 0 129679 502 0 0 25 0 1 0 187190494 1139044352 277308 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 278087 277308 136 292 0 277792 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1112348 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=664496/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1159092 CPUtime=1361.79 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 289046 0 0 0 135661 518 0 0 25 0 1 0 187190494 1186910208 288980 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 289773 288980 136 292 0 289478 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1159092 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 1.00 2/66 15413 /proc/meminfo: memFree=604016/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1218824 CPUtime=1421.77 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 303995 0 0 0 141638 539 0 0 25 0 1 0 187190494 1248075776 303929 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 304706 303929 136 292 0 304411 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1218824 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.00 2/66 15413 /proc/meminfo: memFree=555824/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1267324 CPUtime=1481.74 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 316061 0 0 0 147617 557 0 0 25 0 1 0 187190494 1297739776 315995 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 316831 315995 136 292 0 316536 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1267324 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=505328/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1317532 CPUtime=1541.72 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 328625 0 0 0 153595 577 0 0 25 0 1 0 187190494 1349152768 328559 1992294400 134512640 135709839 4294956240 18446744073709551615 134574264 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 329383 328559 136 292 0 329088 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1317532 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=459184/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1363912 CPUtime=1601.7 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 340192 0 0 0 159572 598 0 0 25 0 1 0 187190494 1396645888 340126 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 340978 340126 136 292 0 340683 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1363912 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=411184/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1411436 CPUtime=1661.67 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 352086 0 0 0 165552 615 0 0 25 0 1 0 187190494 1445310464 352020 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 352859 352020 136 292 0 352564 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 1411436 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=359664/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1463400 CPUtime=1721.65 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 365038 0 0 0 171532 633 0 0 25 0 1 0 187190494 1498521600 364972 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 365850 364972 136 292 0 365555 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 1463400 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=312560/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1510288 CPUtime=1781.63 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 376721 0 0 0 177509 654 0 0 25 0 1 0 187190494 1546534912 376655 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 377572 376655 136 292 0 377277 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1510288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=297072/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=1525472 CPUtime=1800.03 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4194304 380518 0 0 0 179343 660 0 0 25 0 1 0 187190494 1562083328 380452 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 381368 380452 136 292 0 381073 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1525472 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/66 15413 /proc/meminfo: memFree=297072/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=0 CPUtime=1800.12 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4195332 380518 0 0 0 179343 669 0 0 25 0 1 0 187190494 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 15413 /proc/meminfo: memFree=297072/2055920 swapFree=4178232/4192956 [pid=15404] ppid=15402 vsize=0 CPUtime=1800.22 /proc/15404/stat : 15404 (wbo) R 15402 15404 14246 0 -1 4195332 380518 0 0 0 179343 679 0 0 25 0 1 0 187190494 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15404/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.93 CPU time (s): 1800.26 CPU user time (s): 1793.44 CPU system time (s): 6.82496 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (KiB): 1525472 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.44 system time used= 6.82496 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 380518 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= 1401 runsolver used 2.01269 second user time and 4.53031 second system time The end
Begin job on node91 at 2009-06-17 01:45:26 IDJOB=1875307 IDBENCH=48147 IDSOLVER=698 FILE ID=node91/1875307-1245195926 PBS_JOBID= 9368298 Free space on /tmp= 66444 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_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-1875307-1245195926/watcher-1875307-1245195926 -o /tmp/evaluation-result-1875307-1245195926/solver-1875307-1245195926 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875307-1245195926.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8decd85a4aebca069c2c72faa547de31 RANDOM SEED=1123439502 node91.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1823120 kB Buffers: 11068 kB Cached: 154068 kB SwapCached: 8264 kB Active: 63272 kB Inactive: 111672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823120 kB SwapTotal: 4192956 kB SwapFree: 4178232 kB Dirty: 2424 kB Writeback: 0 kB Mapped: 15500 kB Slab: 43732 kB Committed_AS: 91936 kB PageTables: 1364 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875307-1245195926.opb Free space on /tmp at the end= 66444 MiB End job on node91 at 2009-06-17 02:15:29