Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1628.33 | 1628.78 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
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 | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
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-2655807-1276639225.opb. 0.00/0.00 c Instance file HOME/instance-2655807-1276639225.opb 0.00/0.00 c File size is 619623 bytes. 0.01/0.09 c Highest Coefficient sum: 697 0.01/0.09 c ============================[ Problem Statistics ]============================= 0.01/0.09 c | | 0.01/0.09 c | Parsing time: 0.09 s | 0.01/0.09 c | Number Variables: 6076 | 0.01/0.09 c | Number Clauses: 21392 | 0.01/0.09 c | Number Cardinality: 1 | 0.01/0.09 c | Number PB Constraints: 8 | 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 5949 21523 54371 | 7133 0 nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 29 1.29/1.30 o 29 1.29/1.30 c Elapsed CPU time: 1.2888 s Remaining CPU time: 178.711 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 10 | 5949 21524 55037 | 7174 10 151 | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 27 1.29/1.30 o 27 1.29/1.30 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 13 | 5949 21525 55703 | 7175 13 132 | 0.000 % | 1.29/1.33 c | 113 | 5949 21525 55703 | 7892 113 60 | 2.090 % | 1.29/1.38 c | 263 | 5949 21525 55703 | 8681 263 106 | 2.090 % | 1.39/1.44 c | 488 | 5949 21525 55703 | 9549 488 95 | 2.090 % | 1.49/1.52 c | 826 | 5949 21525 55703 | 10504 826 130 | 2.090 % | 1.59/1.62 c | 1332 | 5949 21525 55703 | 11555 1332 215 | 2.090 % | 1.69/1.75 c | 2092 | 5949 21525 55703 | 12710 2092 190 | 2.090 % | 1.89/1.99 c | 3231 | 5949 21525 55703 | 13982 3231 182 | 2.090 % | 2.49/2.51 c | 4939 | 5949 21525 55703 | 15380 4939 299 | 2.090 % | 3.09/3.14 c | 7505 | 5949 21525 55703 | 16918 7505 268 | 2.090 % | 4.19/4.25 c | 11349 | 5949 21525 55703 | 18610 11349 320 | 2.090 % | 5.69/5.79 c | 17115 | 5949 21525 55703 | 20471 17115 309 | 2.090 % | 8.59/8.62 c | 25766 | 5949 21525 55703 | 22518 25766 379 | 2.090 % | 12.10/12.18 c | 38740 | 5949 21525 55703 | 24770 24204 359 | 2.090 % | 19.79/19.80 c | 58201 | 5949 21525 55703 | 27247 25131 344 | 2.090 % | 31.19/31.21 c | 87394 | 5949 21525 55703 | 29971 13452 404 | 2.090 % | 47.17/47.21 c | 131183 | 5949 21525 55703 | 32968 33335 253 | 2.090 % | 79.95/80.03 c | 196867 | 5949 21525 55703 | 36265 26068 670 | 2.090 % | 121.23/121.39 c | 295394 | 5949 21525 55703 | 39892 36335 311 | 2.090 % | 182.23/182.31 c There are 127 assigned variables. 5 in cost function. 182.92/183.07 c core #1 182.92/183.07 c core #2 182.92/183.07 c core #3 182.92/183.07 c core #4 182.92/183.07 c core #5 182.92/183.07 c ============================[ Search Statistics ]============================== 182.92/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.92/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.92/183.07 c =============================================================================== 182.92/183.07 c | 0 | 4561 22186 55457 | 7395 0 nan | 0.000 % | 183.02/183.11 c =============================================================================== 183.02/183.16 c core #6 183.02/183.16 c ============================[ Search Statistics ]============================== 183.02/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.02/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.02/183.16 c =============================================================================== 183.02/183.16 c | 0 | 5600 22187 56755 | 7395 0 nan | 0.000 % | 183.12/183.21 c =============================================================================== 183.12/183.26 c core #7 183.12/183.26 c ============================[ Search Statistics ]============================== 183.12/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.26 c =============================================================================== 183.12/183.26 c | 0 | 6542 22192 58344 | 7397 0 nan | 0.000 % | 183.22/183.33 c | 101 | 6523 22192 58344 | 8137 85 49 | 5.003 % | 183.32/183.44 c | 251 | 6509 22192 58344 | 8950 229 85 | 5.061 % | 183.42/183.56 c | 477 | 6486 22192 58344 | 9845 453 79 | 5.630 % | 183.53/183.68 c | 814 | 6402 22192 58344 | 10830 750 86 | 6.680 % | 183.53/183.69 c =============================================================================== 183.63/183.75 c core #8 183.63/183.75 c ============================[ Search Statistics ]============================== 183.63/183.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.63/183.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.63/183.75 c =============================================================================== 183.63/183.75 c | 0 | 6961 22221 59455 | 7407 0 nan | 0.000 % | 183.72/183.81 c | 100 | 6961 22221 59455 | 8147 100 45 | 4.316 % | 183.82/183.91 c | 250 | 6961 22221 59455 | 8962 250 56 | 4.316 % | 183.82/183.99 c | 475 | 6961 22221 59455 | 9858 475 88 | 4.316 % | 184.12/184.20 c | 813 | 6961 22221 59455 | 10844 813 98 | 4.316 % | 184.22/184.34 c | 1319 | 6961 22221 59455 | 11929 1319 124 | 4.316 % | 184.73/184.82 c | 2079 | 6961 22221 59455 | 13121 2079 131 | 4.316 % | 185.62/185.73 c | 3218 | 6961 22221 59455 | 14434 3218 204 | 4.316 % | 187.02/187.17 c | 4926 | 6961 22221 59455 | 15877 4926 247 | 4.316 % | 190.72/190.88 c | 7489 | 6961 22221 59455 | 17465 7489 377 | 4.316 % | 196.52/196.69 c | 11334 | 6961 22221 59455 | 19211 11334 362 | 4.316 % | 209.12/209.26 c | 17103 | 6961 22221 59455 | 21133 17103 474 | 4.316 % | 234.22/234.32 c | 25753 | 6961 22221 59455 | 23246 14436 751 | 4.316 % | 264.70/264.80 c | 38728 | 6961 22221 59455 | 25570 15047 602 | 4.316 % | 301.99/302.15 c | 58189 | 6961 22221 59455 | 28128 21191 502 | 4.316 % | 348.48/348.64 c =============================================================================== 351.97/352.10 c core #9 351.97/352.10 c ============================[ Search Statistics ]============================== 351.97/352.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 351.97/352.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 351.97/352.10 c =============================================================================== 351.97/352.10 c | 0 | 7512 22726 62500 | 7575 0 nan | 0.000 % | 351.97/352.19 c | 100 | 7512 22726 62500 | 8332 100 48 | 4.012 % | 352.07/352.24 c | 250 | 7510 22726 62500 | 9166 249 42 | 4.038 % | 352.18/352.32 c | 476 | 7510 22726 62500 | 10082 473 57 | 4.038 % | 352.28/352.43 c | 815 | 7510 22726 62500 | 11091 812 77 | 4.038 % | 352.48/352.61 c | 1323 | 7510 22726 62500 | 12200 1320 111 | 4.038 % | 352.78/352.90 c | 2083 | 7510 22726 62500 | 13420 2080 128 | 4.038 % | 353.38/353.53 c | 3223 | 7510 22726 62500 | 14762 3220 150 | 4.038 % | 354.18/354.37 c | 4931 | 7510 22726 62500 | 16238 4928 172 | 4.038 % | 356.38/356.51 c | 7493 | 7510 22726 62500 | 17862 7490 230 | 4.038 % | 361.79/361.96 c | 11337 | 7510 22726 62500 | 19648 11334 296 | 4.038 % | 369.38/369.53 c | 17103 | 7510 22726 62500 | 21613 17100 330 | 4.038 % | 384.57/384.70 c | 25752 | 7510 22726 62500 | 23774 14219 403 | 4.038 % | 402.66/402.87 c | 38727 | 7509 22726 62500 | 26152 14886 357 | 4.051 % | 424.86/425.08 c =============================================================================== 426.46/426.69 c core #10 426.46/426.69 c ============================[ Search Statistics ]============================== 426.46/426.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 426.46/426.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 426.46/426.69 c =============================================================================== 426.46/426.69 c | 0 | 7756 22752 63300 | 7584 0 nan | 0.000 % | 426.56/426.77 c | 102 | 7756 22752 63300 | 8342 102 78 | 3.891 % | 426.66/426.82 c | 252 | 7756 22752 63300 | 9176 252 164 | 3.891 % | 426.66/426.89 c | 477 | 7756 22752 63300 | 10094 477 141 | 3.891 % | 426.85/427.02 c | 814 | 7755 22752 63300 | 11103 813 122 | 3.903 % | 427.06/427.26 c | 1320 | 7755 22752 63300 | 12214 1319 137 | 3.903 % | 427.35/427.54 c | 2080 | 7755 22752 63300 | 13435 2079 148 | 3.903 % | 427.86/428.07 c | 3221 | 7755 22752 63300 | 14779 3220 193 | 3.903 % | 428.66/428.83 c | 4930 | 7754 22752 63300 | 16256 4927 206 | 3.916 % | 430.06/430.24 c | 7493 | 7754 22752 63300 | 17882 7490 239 | 3.916 % | 432.65/432.83 c | 11337 | 7753 22752 63300 | 19670 11333 288 | 3.928 % | 438.06/438.20 c | 17108 | 7740 22752 63300 | 21638 17099 308 | 4.089 % | 445.45/445.64 c | 25759 | 7739 22752 63300 | 23801 13725 232 | 4.102 % | 459.85/460.04 c | 38738 | 7730 22752 63300 | 26182 13806 349 | 4.238 % | 485.24/485.49 c | 58200 | 7728 22752 63300 | 28800 18572 555 | 4.238 % | 557.63/557.89 c | 87392 | 7726 22752 63300 | 31680 15288 612 | 4.263 % | 647.71/647.97 c | 131181 | 7725 22752 63300 | 34848 23136 489 | 4.275 % | 949.42/949.77 c | 196866 | 7725 22752 63300 | 38333 28197 641 | 4.275 % | 1377.20/1377.66 c | 295392 | 7725 22752 63300 | 42166 31410 620 | 4.275 % |
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-2655807-1276639225/watcher-2655807-1276639225 -o /tmp/evaluation-result-2655807-1276639225/solver-2655807-1276639225 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655807-1276639225.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11707 /proc/meminfo: memFree=1828676/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=3472 CPUtime=0 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 347 0 0 0 0 0 0 0 23 0 1 0 5215305 3555328 265 1992294400 134512640 135751879 4294175488 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 868 265 146 303 0 411 0 [startup+0.016192 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11707 /proc/meminfo: memFree=1828676/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=3616 CPUtime=0.01 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 394 0 0 0 1 0 0 0 23 0 1 0 5215305 3702784 312 1992294400 134512640 135751879 4294175488 18446744073709551615 135096320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 904 312 158 303 0 447 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3616 [startup+0.101199 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11707 /proc/meminfo: memFree=1828676/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=6040 CPUtime=0.09 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 1235 0 0 0 9 0 0 0 23 0 1 0 5215305 6184960 1001 1992294400 134512640 135751879 4294175488 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 1510 1002 145 303 0 1205 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6040 [startup+0.30122 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11707 /proc/meminfo: memFree=1828676/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=6964 CPUtime=0.29 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 1485 0 0 0 29 0 0 0 23 0 1 0 5215305 7131136 1251 1992294400 134512640 135751879 4294175488 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 1741 1251 146 303 0 1436 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6964 [startup+0.701263 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11707 /proc/meminfo: memFree=1828676/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=7492 CPUtime=0.7 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 1617 0 0 0 69 1 0 0 25 0 1 0 5215305 7671808 1383 1992294400 134512640 135751879 4294175488 18446744073709551615 134594756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 1873 1383 146 303 0 1568 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7492 [startup+1.50135 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1822840/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=8548 CPUtime=1.49 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 1889 0 0 0 148 1 0 0 25 0 1 0 5215305 8753152 1655 1992294400 134512640 135751879 4294175488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 2137 1655 147 303 0 1832 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8548 [startup+3.10152 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1822220/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=13836 CPUtime=3.09 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 3186 0 0 0 304 5 0 0 25 0 1 0 5215305 14168064 2952 1992294400 134512640 135751879 4294175488 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 3459 2952 147 303 0 3154 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13836 [startup+6.30087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1804612/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=31008 CPUtime=6.29 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 7480 0 0 0 617 12 0 0 25 0 1 0 5215305 31752192 7246 1992294400 134512640 135751879 4294175488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 7752 7246 147 303 0 7447 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31008 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1769768/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=63652 CPUtime=12.69 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 15660 0 0 0 1247 22 0 0 25 0 1 0 5215305 65179648 15426 1992294400 134512640 135751879 4294175488 18446744073709551615 134641971 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 15913 15426 148 303 0 15608 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 63652 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1718184/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=113920 CPUtime=25.48 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 28226 0 0 0 2509 39 0 0 25 0 1 0 5215305 116654080 27992 1992294400 134512640 135751879 4294175488 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 28480 27992 148 303 0 28175 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 113920 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11717 /proc/meminfo: memFree=1620968/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=212388 CPUtime=51.06 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 52824 0 0 0 5032 74 0 0 25 0 1 0 5215305 217485312 52590 1992294400 134512640 135751879 4294175488 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 53097 52590 148 303 0 52792 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 212388 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11719 /proc/meminfo: memFree=1414136/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=416144 CPUtime=102.25 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 103711 0 0 0 10090 135 0 0 25 0 1 0 5215305 426131456 103477 1992294400 134512640 135751879 4294175488 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 104036 103477 148 303 0 103731 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 416144 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11721 /proc/meminfo: memFree=1224416/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=607704 CPUtime=162.22 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 151590 0 0 0 16018 204 0 0 25 0 1 0 5215305 622288896 151356 1992294400 134512640 135751879 4294175488 18446744073709551615 134606557 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 151926 151356 148 303 0 151621 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 607704 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11723 /proc/meminfo: memFree=1169980/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=659336 CPUtime=222.21 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 164829 0 0 0 21980 241 0 0 25 0 1 0 5215305 675160064 164406 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 164834 164406 151 303 0 164529 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 659336 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11725 /proc/meminfo: memFree=1088016/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=741976 CPUtime=282.19 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 185460 0 0 0 27945 274 0 0 25 0 1 0 5215305 759783424 185037 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 185494 185037 151 303 0 185189 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 741976 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11725 /proc/meminfo: memFree=1016468/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=812724 CPUtime=342.18 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 203137 0 0 0 33910 308 0 0 25 0 1 0 5215305 832229376 202714 1992294400 134512640 135751879 4294175488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 203181 202714 151 303 0 202876 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 812724 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11727 /proc/meminfo: memFree=962776/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=866956 CPUtime=402.17 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 216695 0 0 0 39866 351 0 0 25 0 1 0 5215305 887762944 216272 1992294400 134512640 135751879 4294175488 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 216739 216272 151 303 0 216434 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 866956 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11729 /proc/meminfo: memFree=905736/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=923720 CPUtime=462.15 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 230902 0 0 0 45814 401 0 0 25 0 1 0 5215305 945889280 230479 1992294400 134512640 135751879 4294175488 18446744073709551615 134610966 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 230930 230479 151 303 0 230625 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 923720 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11731 /proc/meminfo: memFree=821044/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1008872 CPUtime=522.13 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 252172 0 0 0 51777 436 0 0 25 0 1 0 5215305 1033084928 251749 1992294400 134512640 135751879 4294175488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 252218 251749 151 303 0 251913 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1008872 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11733 /proc/meminfo: memFree=739824/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1089300 CPUtime=582.12 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 272287 0 0 0 57740 472 0 0 25 0 1 0 5215305 1115443200 271864 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 272325 271864 151 303 0 272020 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1089300 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11733 /proc/meminfo: memFree=661952/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1165800 CPUtime=642.11 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 291403 0 0 0 63705 506 0 0 25 0 1 0 5215305 1193779200 290980 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 291450 290980 151 303 0 291145 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1165800 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11735 /proc/meminfo: memFree=621900/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1206204 CPUtime=702.09 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 301473 0 0 0 69688 521 0 0 25 0 1 0 5215305 1235152896 301050 1992294400 134512640 135751879 4294175488 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 301551 301050 151 303 0 301246 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1206204 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11737 /proc/meminfo: memFree=590280/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1237684 CPUtime=762.08 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 309289 0 0 0 75675 533 0 0 25 0 1 0 5215305 1267388416 308866 1992294400 134512640 135751879 4294175488 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 309421 308866 151 303 0 309116 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1237684 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11739 /proc/meminfo: memFree=548244/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1280376 CPUtime=822.06 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 319940 0 0 0 81657 549 0 0 25 0 1 0 5215305 1311105024 319517 1992294400 134512640 135751879 4294175488 18446744073709551615 134608252 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 320094 319517 151 303 0 319789 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1280376 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=498520/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1329396 CPUtime=882.04 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 332200 0 0 0 87635 569 0 0 25 0 1 0 5215305 1361301504 331777 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 332349 331777 151 303 0 332044 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1329396 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11741 /proc/meminfo: memFree=451276/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1377156 CPUtime=942.02 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 344126 0 0 0 93611 591 0 0 25 0 1 0 5215305 1410207744 343703 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 344289 343703 151 303 0 343984 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1377156 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11743 /proc/meminfo: memFree=407628/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1420260 CPUtime=1002.01 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 354891 0 0 0 99593 608 0 0 25 0 1 0 5215305 1454346240 354468 1992294400 134512640 135751879 4294175488 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 355065 354468 151 303 0 354760 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1420260 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11745 /proc/meminfo: memFree=364104/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1463928 CPUtime=1061.99 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 365803 0 0 0 105577 622 0 0 25 0 1 0 5215305 1499062272 365380 1992294400 134512640 135751879 4294175488 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 365982 365380 151 303 0 365677 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1463928 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11747 /proc/meminfo: memFree=335088/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1492808 CPUtime=1121.97 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 372992 0 0 0 111562 635 0 0 25 0 1 0 5215305 1528635392 372569 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 373202 372569 151 303 0 372897 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1492808 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11749 /proc/meminfo: memFree=309048/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1519668 CPUtime=1181.96 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 379654 0 0 0 117552 644 0 0 25 0 1 0 5215305 1556140032 379231 1992294400 134512640 135751879 4294175488 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 379917 379231 151 303 0 379612 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1519668 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11749 /proc/meminfo: memFree=255108/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1572720 CPUtime=1241.94 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 392908 0 0 0 123531 663 0 0 25 0 1 0 5215305 1610465280 392485 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 393180 392485 151 303 0 392875 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1572720 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 11751 /proc/meminfo: memFree=202408/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1625204 CPUtime=1301.93 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 405998 0 0 0 129511 682 0 0 25 0 1 0 5215305 1664208896 405575 1992294400 134512640 135751879 4294175488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 406301 405575 151 303 0 405996 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1625204 [startup+1362.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11753 /proc/meminfo: memFree=127636/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1700636 CPUtime=1361.91 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 424851 0 0 0 135478 713 0 0 25 0 1 0 5215305 1741451264 424428 1992294400 134512640 135751879 4294175488 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 425159 424428 151 303 0 424854 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1700636 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11755 /proc/meminfo: memFree=95892/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1731552 CPUtime=1421.9 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 432579 0 0 0 141463 727 0 0 25 0 1 0 5215305 1773109248 432156 1992294400 134512640 135751879 4294175488 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 432888 432156 151 303 0 432583 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1731552 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11757 /proc/meminfo: memFree=67372/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1760548 CPUtime=1481.88 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 439803 0 0 0 147449 739 0 0 25 0 1 0 5215305 1802801152 439380 1992294400 134512640 135751879 4294175488 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 440137 439380 151 303 0 439832 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1760548 [startup+1542.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11757 /proc/meminfo: memFree=28064/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1799736 CPUtime=1541.86 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 449576 0 0 0 153434 752 0 0 25 0 1 0 5215305 1842929664 449153 1992294400 134512640 135751879 4294175488 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 449934 449153 151 303 0 449629 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1799736 [startup+1602.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 11759 /proc/meminfo: memFree=9272/2059040 swapFree=4164936/4192956 [pid=11707] ppid=11705 vsize=1829848 CPUtime=1601.85 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 457081 0 0 0 159420 765 0 0 25 0 1 0 5215305 1873764352 456658 1992294400 134512640 135751879 4294175488 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 457462 456658 151 303 0 457157 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1829848 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1628.6 s] /proc/loadavg: 1.08 1.03 1.00 2/107 11759 /proc/meminfo: memFree=9792/2059040 swapFree=4163396/4192956 [pid=11707] ppid=11705 vsize=1843208 CPUtime=1628.14 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4202496 460432 0 0 0 162044 770 0 0 25 0 1 0 5215305 1887444992 460009 1992294400 134512640 135751879 4294175488 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11707/statm: 460802 460009 151 303 0 460497 0 Current children cumulated CPU time (s) 1628.14 Current children cumulated vsize (KiB) 1843208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1628.71 s] /proc/loadavg: 1.08 1.03 1.00 2/107 11759 /proc/meminfo: memFree=9792/2059040 swapFree=4163396/4192956 [pid=11707] ppid=11705 vsize=0 CPUtime=1628.24 /proc/11707/stat : 11707 (wbo1.4b) R 11705 11707 11326 0 -1 4203524 460433 0 0 0 162044 780 0 0 25 0 1 0 5215305 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11707/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1628.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1628.78 CPU time (s): 1628.33 CPU user time (s): 1620.45 CPU system time (s): 7.8768 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1843208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1620.45 system time used= 7.8768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460433 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= 5 involuntary context switches= 4737 runsolver used 2.69759 second user time and 7.68883 second system time The end
Begin job on node038 at 2010-06-16 00:00:25 IDJOB=2655807 IDBENCH=25012 IDSOLVER=1161 FILE ID=node038/2655807-1276639225 PBS_JOBID= 11172387 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655807-1276639225/watcher-2655807-1276639225 -o /tmp/evaluation-result-2655807-1276639225/solver-2655807-1276639225 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655807-1276639225.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=1224833928 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1829204 kB Buffers: 31764 kB Cached: 100832 kB SwapCached: 1476 kB Active: 79196 kB Inactive: 86600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1829204 kB SwapTotal: 4192956 kB SwapFree: 4164936 kB Dirty: 3216 kB Writeback: 0 kB AnonPages: 31804 kB Mapped: 14908 kB Slab: 42188 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181388 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= 62476 MiB End job on node038 at 2010-06-16 00:27:36