Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_4.opb |
MD5SUM | 7937d419688402745c19e3544f97b6e8 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 1800.68 |
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 | 99789 |
Total number of constraints | 388956 |
Number of constraints which are clauses | 388925 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3140 |
Number of terms in the objective function | 3140 |
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 | 3140 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 3178 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655808-1276639533.opb. 0.00/0.00 c Instance file HOME/instance-2655808-1276639533.opb 0.00/0.00 c File size is 12066143 bytes. 1.78/1.88 c Highest Coefficient sum: 3178 1.78/1.89 c ============================[ Problem Statistics ]============================= 1.78/1.89 c | | 1.78/1.89 c | Parsing time: 1.84 s | 1.78/1.89 c | Number Variables: 99789 | 1.78/1.89 c | Number Clauses: 388925 | 1.78/1.89 c | Number Cardinality: 1 | 1.78/1.89 c | Number PB Constraints: 30 | 90.54/90.63 c ============================[ Search Statistics ]============================== 90.54/90.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.54/90.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.54/90.63 c =============================================================================== 90.54/90.63 c | 0 | 98962 389778 978202 | 129652 0 nan | 0.000 % | 90.83/90.97 c =============================================================================== 90.83/90.97 c New solution: 35 90.83/90.97 o 35 90.83/90.97 c Elapsed CPU time: 90.7852 s Remaining CPU time: 89.2148 s 90.83/90.97 c =============================================================================== 90.83/90.97 c | 29 | 98962 389779 981342 | 129926 29 4330 | 0.000 % | 91.04/91.19 c =============================================================================== 91.04/91.19 c New solution: 34 91.04/91.19 o 34 91.04/91.19 c Elapsed CPU time: 91.0062 s Remaining CPU time: 88.9938 s 91.04/91.19 c =============================================================================== 91.04/91.19 c | 105 | 98962 389780 984482 | 129926 105 1303 | 0.000 % | 91.35/91.47 c | 206 | 98962 389780 984482 | 142919 206 687 | 0.829 % | 91.53/91.68 c =============================================================================== 91.53/91.68 c New solution: 33 91.53/91.68 o 33 91.53/91.68 c Elapsed CPU time: 91.4801 s Remaining CPU time: 88.5199 s 91.53/91.68 c =============================================================================== 91.53/91.68 c | 222 | 98962 389781 987622 | 129927 222 640 | 0.829 % | 91.94/92.06 c | 324 | 98962 389781 987622 | 142919 324 507 | 0.829 % | 92.64/92.76 c | 474 | 98962 389781 987622 | 157211 474 477 | 0.829 % | 93.63/93.73 c | 700 | 98962 389781 987622 | 172932 700 445 | 0.829 % | 95.14/95.25 c | 1037 | 98962 389781 987622 | 190226 1037 3090 | 0.829 % | 95.75/95.84 c | 1543 | 98962 389781 987622 | 209248 1543 2288 | 0.829 % | 96.53/96.68 c | 2302 | 98962 389781 987622 | 230173 2302 1596 | 0.829 % | 100.53/100.68 c | 3442 | 98962 389781 987622 | 253190 3442 1175 | 0.829 % | 105.74/105.85 c | 5150 | 98962 389781 987622 | 278510 5150 909 | 0.829 % | 121.22/121.31 c | 7717 | 98962 389781 987622 | 306361 7717 650 | 0.829 % | 131.33/131.44 c | 11562 | 98962 389781 987622 | 336997 11562 599 | 0.829 % | 149.82/149.99 c | 17328 | 98962 389781 987622 | 370696 17328 2735 | 0.829 % | 164.02/164.12 c | 25981 | 98962 389781 987622 | 407766 25981 1906 | 0.829 % | 180.61/180.77 c There are 827 assigned variables. 5 in cost function. 183.51/183.63 c core #1 183.51/183.63 c core #2 183.51/183.63 c core #3 183.51/183.63 c core #4 183.51/183.63 c core #5 183.51/183.63 c ============================[ Search Statistics ]============================== 183.51/183.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.51/183.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.51/183.63 c =============================================================================== 183.51/183.63 c | 0 | 77677 392881 985103 | 130960 0 nan | 0.000 % | 183.81/183.91 c =============================================================================== 184.31/184.42 c core #6 184.31/184.42 c ============================[ Search Statistics ]============================== 184.31/184.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.31/184.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.31/184.42 c =============================================================================== 184.31/184.42 c | 0 | 80273 392882 987787 | 130960 0 nan | 0.000 % | 185.41/185.54 c | 101 | 78829 392882 987787 | 144056 89 137 | 22.839 % | 185.41/185.55 c =============================================================================== 185.91/186.02 c core #7 185.91/186.02 c ============================[ Search Statistics ]============================== 185.91/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.91/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.91/186.02 c =============================================================================== 185.91/186.02 c | 0 | 81015 393148 989729 | 131049 0 nan | 0.000 % | 187.81/187.92 c | 101 | 80989 393148 989729 | 144154 101 583 | 22.590 % | 188.91/189.09 c | 251 | 78722 393148 989729 | 158569 101 775 | 23.067 % | 192.10/192.22 c =============================================================================== 192.60/192.75 c core #8 192.60/192.75 c ============================[ Search Statistics ]============================== 192.60/192.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.60/192.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.60/192.75 c =============================================================================== 192.60/192.75 c | 0 | 101201 393182 1001609 | 131060 0 nan | 0.000 % | 192.91/193.06 c | 101 | 101197 393182 1001609 | 144166 101 107 | 2.957 % | 193.31/193.41 c | 252 | 101197 393182 1001609 | 158583 252 232 | 2.957 % | 193.71/193.83 c | 477 | 101197 393182 1001609 | 174441 477 240 | 2.957 % | 194.41/194.57 c | 815 | 101173 393182 1001609 | 191885 814 257 | 2.957 % | 195.41/195.51 c | 1321 | 101173 393182 1001609 | 211074 1320 268 | 2.957 % | 196.61/196.77 c | 2081 | 101173 393182 1001609 | 232181 2080 436 | 2.957 % | 199.11/199.25 c | 3220 | 101155 393182 1001609 | 255400 3218 414 | 3.036 % | 203.10/203.25 c | 4930 | 101091 393182 1001609 | 280940 4907 391 | 3.036 % | 209.70/209.89 c | 7492 | 101091 393182 1001609 | 309034 7469 454 | 3.036 % | 217.81/217.91 c =============================================================================== 218.30/218.48 c core #9 218.30/218.48 c ============================[ Search Statistics ]============================== 218.30/218.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.30/218.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.30/218.48 c =============================================================================== 218.30/218.48 c | 0 | 103094 394360 1008096 | 131453 0 nan | 0.000 % | 219.60/219.74 c | 100 | 103094 394360 1008096 | 144598 100 528 | 2.713 % | 221.99/222.12 c | 250 | 103094 394360 1008096 | 159058 250 373 | 2.713 % | 224.90/225.08 c | 475 | 103094 394360 1008096 | 174964 475 266 | 2.713 % | 229.20/229.30 c | 812 | 103093 394360 1008096 | 192460 811 317 | 2.714 % | 236.30/236.48 c | 1318 | 103093 394360 1008096 | 211706 1317 496 | 2.714 % | 251.49/251.67 c | 2078 | 103093 394360 1008096 | 232877 2077 468 | 2.714 % | 268.19/268.30 c | 3217 | 103093 394360 1008096 | 256165 3216 488 | 2.714 % | 298.78/298.90 c | 4928 | 103092 394360 1008096 | 281781 4926 733 | 2.715 % | 345.07/345.28 c | 7490 | 103090 394360 1008096 | 309960 7487 817 | 2.717 % | 400.26/400.41 c | 11334 | 103087 394360 1008096 | 340956 11326 840 | 2.720 % | 709.27/709.59 c | 17100 | 103085 394360 1008096 | 375051 17088 887 | 2.722 % | 1095.45/1095.86 c | 25752 | 103084 394360 1008096 | 412556 25739 970 | 2.722 % | 1524.51/1525.05 c | 38727 | 103082 394360 1008096 | 453812 38713 1170 | 2.724 % |
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-2655808-1276639533/watcher-2655808-1276639533 -o /tmp/evaluation-result-2655808-1276639533/solver-2655808-1276639533 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655808-1276639533.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.07 1.02 1.00 3/106 13299 /proc/meminfo: memFree=1812460/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=14808 CPUtime=0 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 403 0 0 0 0 0 0 0 16 0 1 0 5248378 15163392 322 1992294400 134512640 135751879 4292893168 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 3702 322 144 303 0 451 0 [startup+0.104403 s] /proc/loadavg: 1.07 1.02 1.00 3/106 13299 /proc/meminfo: memFree=1812460/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=17224 CPUtime=0.09 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 1123 0 0 0 9 0 0 0 17 0 1 0 5248378 17637376 1042 1992294400 134512640 135751879 4292893168 18446744073709551615 135221493 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 4306 1042 302 303 0 1055 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17224 [startup+0.200413 s] /proc/loadavg: 1.07 1.02 1.00 3/106 13299 /proc/meminfo: memFree=1812460/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=19100 CPUtime=0.19 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 1726 0 0 0 19 0 0 0 17 0 1 0 5248378 19558400 1645 1992294400 134512640 135751879 4292893168 18446744073709551615 134559686 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 4775 1645 464 303 0 1524 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19100 [startup+0.300424 s] /proc/loadavg: 1.07 1.02 1.00 3/106 13299 /proc/meminfo: memFree=1812460/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=21344 CPUtime=0.29 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 2342 0 0 0 29 0 0 0 17 0 1 0 5248378 21856256 2261 1992294400 134512640 135751879 4292893168 18446744073709551615 134568960 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 5336 2261 630 303 0 2085 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21344 [startup+0.700467 s] /proc/loadavg: 1.07 1.02 1.00 3/106 13299 /proc/meminfo: memFree=1812460/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=28556 CPUtime=0.69 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 4713 0 0 0 68 1 0 0 17 0 1 0 5248378 29241344 4559 1992294400 134512640 135751879 4292893168 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 7139 4559 1255 303 0 3888 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28556 [startup+1.50055 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13300 /proc/meminfo: memFree=1792488/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=43140 CPUtime=1.49 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 9504 0 0 0 146 3 0 0 18 0 1 0 5248378 44175360 9157 1992294400 134512640 135751879 4292893168 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 10785 9157 2518 303 0 7534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 43140 [startup+3.10072 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13300 /proc/meminfo: memFree=1744624/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=73940 CPUtime=3.09 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 21066 0 0 0 302 7 0 0 21 0 1 0 5248378 75714560 17290 1992294400 134512640 135751879 4292893168 18446744073709551615 134580047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 18485 17290 146 303 0 18180 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 73940 [startup+6.30107 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13300 /proc/meminfo: memFree=1741772/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=75392 CPUtime=6.29 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 21429 0 0 0 622 7 0 0 25 0 1 0 5248378 77201408 17653 1992294400 134512640 135751879 4292893168 18446744073709551615 134580030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 18848 17653 146 303 0 18543 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 75392 [startup+12.7008 s] /proc/loadavg: 1.06 1.01 1.00 2/107 13300 /proc/meminfo: memFree=1740904/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=76316 CPUtime=12.68 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 21653 0 0 0 1261 7 0 0 25 0 1 0 5248378 78147584 17877 1992294400 134512640 135751879 4292893168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 19079 17877 146 303 0 18774 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76316 [startup+25.5011 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13300 /proc/meminfo: memFree=1739416/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=78032 CPUtime=25.48 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 22079 0 0 0 2540 8 0 0 25 0 1 0 5248378 79904768 18303 1992294400 134512640 135751879 4292893168 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 19508 18303 146 303 0 19203 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 78032 [startup+51.1009 s] /proc/loadavg: 1.03 1.01 1.00 2/107 13302 /proc/meminfo: memFree=1731356/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=86216 CPUtime=51.05 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 24107 0 0 0 5095 10 0 0 25 0 1 0 5248378 88285184 20331 1992294400 134512640 135751879 4292893168 18446744073709551615 134524578 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 21554 20331 146 303 0 21249 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 86216 [startup+102.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13302 /proc/meminfo: memFree=1733960/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=83184 CPUtime=102.24 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 25301 0 0 0 10201 23 0 0 25 0 1 0 5248378 85180416 19675 1992294400 134512640 135751879 4292893168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 20796 19675 147 303 0 20491 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 83184 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13304 /proc/meminfo: memFree=1577224/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=239792 CPUtime=162.22 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 64483 0 0 0 16165 57 0 0 25 0 1 0 5248378 245547008 58857 1992294400 134512640 135751879 4292893168 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 59948 58857 147 303 0 59643 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 239792 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13306 /proc/meminfo: memFree=1553912/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=222.21 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74972 0 0 0 22117 104 0 0 25 0 1 0 5248378 266645504 64435 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64435 151 303 0 64794 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 260396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13308 /proc/meminfo: memFree=1553788/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=282.18 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74972 0 0 0 28013 205 0 0 25 0 1 0 5248378 266645504 64435 1992294400 134512640 135751879 4292893168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64435 151 303 0 64794 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 260396 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13310 /proc/meminfo: memFree=1553788/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=342.16 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74972 0 0 0 33963 253 0 0 25 0 1 0 5248378 266645504 64435 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64435 151 303 0 64794 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 260396 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13310 /proc/meminfo: memFree=1553664/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=402.15 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 39916 299 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 260396 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13312 /proc/meminfo: memFree=1553664/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=462.14 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 45882 332 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 260396 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13314 /proc/meminfo: memFree=1553664/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=522.11 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 51848 363 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 260396 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13316 /proc/meminfo: memFree=1553540/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=582.09 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 57810 399 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 260396 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13318 /proc/meminfo: memFree=1553540/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=642.08 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 63763 445 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 260396 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13324 /proc/meminfo: memFree=1553416/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=882.02 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 87594 608 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 260396 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13326 /proc/meminfo: memFree=1553416/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=941.99 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 93549 650 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 260396 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13326 /proc/meminfo: memFree=1553292/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1001.98 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 99494 704 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 260396 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13328 /proc/meminfo: memFree=1553292/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1061.95 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 105444 751 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 260396 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13330 /proc/meminfo: memFree=1553168/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1121.94 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 111395 799 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 260396 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13332 /proc/meminfo: memFree=1553168/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1181.92 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 117346 846 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 260396 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13334 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1241.9 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 123293 897 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 260396 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13334 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1301.89 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 129235 954 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 260396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13336 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1361.87 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 135191 996 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 260396 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13338 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1421.85 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 141151 1034 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 260396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13340 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1481.82 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 147103 1079 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 260396 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13342 /proc/meminfo: memFree=1553044/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=260396 CPUtime=1541.81 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 74994 0 0 0 153065 1116 0 0 25 0 1 0 5248378 266645504 64457 1992294400 134512640 135751879 4292893168 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 65099 64457 151 303 0 64794 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 260396 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13345 /proc/meminfo: memFree=1536800/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=276696 CPUtime=1601.79 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 79062 0 0 0 159034 1145 0 0 25 0 1 0 5248378 283336704 68525 1992294400 134512640 135751879 4292893168 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 69174 68525 151 303 0 68869 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 276696 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13347 /proc/meminfo: memFree=1526260/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=287628 CPUtime=1661.76 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 81788 0 0 0 164992 1184 0 0 25 0 1 0 5248378 294531072 71251 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 71907 71251 151 303 0 71602 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 287628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13349 /proc/meminfo: memFree=1503568/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=310088 CPUtime=1721.74 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 87413 0 0 0 170965 1209 0 0 25 0 1 0 5248378 317530112 76876 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 77522 76876 151 303 0 77217 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 310088 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13351 /proc/meminfo: memFree=1484100/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=329628 CPUtime=1781.73 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 92277 0 0 0 176927 1246 0 0 25 0 1 0 5248378 337539072 81740 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 82407 81740 151 303 0 82102 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 329628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13351 /proc/meminfo: memFree=1472940/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=340764 CPUtime=1800.03 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 95052 0 0 0 178746 1257 0 0 25 0 1 0 5248378 348942336 84515 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 85191 84515 151 303 0 84886 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 340764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13351 /proc/meminfo: memFree=1472940/2059040 swapFree=4180036/4192956 [pid=13299] ppid=13297 vsize=340764 CPUtime=1800.03 /proc/13299/stat : 13299 (wbo1.4b) R 13297 13299 12735 0 -1 4202496 95052 0 0 0 178746 1257 0 0 25 0 1 0 5248378 348942336 84515 1992294400 134512640 135751879 4292893168 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13299/statm: 85191 84515 151 303 0 84886 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 340764 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.07 CPU user time (s): 1787.47 CPU system time (s): 12.6061 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 340764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.47 system time used= 12.6061 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95052 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= 7 involuntary context switches= 7396 runsolver used 2.96455 second user time and 8.51571 second system time The end
Begin job on node035 at 2010-06-16 00:05:34 IDJOB=2655808 IDBENCH=25013 IDSOLVER=1161 FILE ID=node035/2655808-1276639533 PBS_JOBID= 11172364 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655808-1276639533/watcher-2655808-1276639533 -o /tmp/evaluation-result-2655808-1276639533/solver-2655808-1276639533 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655808-1276639533.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8 RANDOM SEED=49379544 node035.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812988 kB Buffers: 15608 kB Cached: 107264 kB SwapCached: 660 kB Active: 79772 kB Inactive: 90624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812988 kB SwapTotal: 4192956 kB SwapFree: 4180036 kB Dirty: 14452 kB Writeback: 0 kB AnonPages: 46840 kB Mapped: 15408 kB Slab: 53912 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node035 at 2010-06-16 00:35:37