Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb |
MD5SUM | efe239846afd4f2627c83cec32ebc27d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1798.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37458 |
Sum of products size (including duplicates) | 74916 |
Number of different products | 37458 |
Sum of products size | 74916 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702338-1278548044.opb. 0.00/0.00 c Instance file HOME/instance-2702338-1278548044.opb 0.00/0.00 c File size is 2902143 bytes. 0.39/0.45 c Highest Coefficient sum: 108 0.39/0.45 c ============================[ Problem Statistics ]============================= 0.39/0.45 c | | 0.39/0.45 c | Parsing time: 0.44 s | 0.39/0.45 c | Number Variables: 37958 | 0.39/0.45 c | Number Clauses: 37958 | 0.39/0.45 c | Number Cardinality: 0 | 0.39/0.45 c | Number PB Constraints: 37458 | 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 37958 75416 262706 | 25138 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c New solution: 198 0.49/0.56 o 198 0.49/0.56 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 37958 75417 263206 | 25139 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 93 0.59/0.62 o 93 0.59/0.62 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 37958 75418 263706 | 25139 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 92 0.59/0.67 o 92 0.59/0.67 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 37958 75419 264206 | 25139 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 91 0.69/0.72 o 91 0.69/0.72 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 1 | 37958 75420 264706 | 25140 1 92 | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 24 0.69/0.78 o 24 0.69/0.78 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 2 | 37958 75421 265206 | 25140 2 76 | 0.000 % | 1.69/1.78 c | 102 | 37958 75421 265206 | 27654 102 111 | 0.000 % | 1.89/1.92 c | 252 | 37958 75421 265206 | 30419 252 207 | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c New solution: 23 1.99/2.07 o 23 1.99/2.07 c Elapsed CPU time: 2.03769 s Remaining CPU time: 177.962 s 1.99/2.07 c =============================================================================== 1.99/2.07 c | 418 | 37958 75422 265706 | 25140 418 246 | 0.000 % | 2.09/2.19 c | 518 | 37958 75422 265706 | 27654 518 254 | 0.000 % | 2.19/2.25 c =============================================================================== 2.19/2.25 c New solution: 22 2.19/2.25 o 22 2.19/2.25 c Elapsed CPU time: 2.21766 s Remaining CPU time: 177.782 s 2.19/2.25 c =============================================================================== 2.19/2.25 c | 518 | 37958 75423 266206 | 25141 518 254 | 0.000 % | 2.29/2.35 c | 618 | 37958 75423 266206 | 27655 618 263 | 0.000 % | 2.39/2.48 c | 768 | 37958 75423 266206 | 30420 768 278 | 0.000 % | 2.59/2.66 c | 993 | 37958 75423 266206 | 33462 993 282 | 0.000 % | 2.99/3.01 c | 1330 | 37958 75423 266206 | 36808 1330 286 | 0.000 % | 3.29/3.39 c | 1838 | 37958 75423 266206 | 40489 1838 302 | 0.000 % | 3.89/3.97 c | 2598 | 37958 75423 266206 | 44538 2598 322 | 0.000 % | 4.79/4.89 c | 3738 | 37958 75423 266206 | 48992 3738 314 | 0.000 % | 6.19/6.29 c | 5448 | 37958 75423 266206 | 53891 5448 331 | 0.000 % | 8.29/8.38 c | 8010 | 37958 75423 266206 | 59281 8010 371 | 0.000 % | 10.58/10.69 c =============================================================================== 10.58/10.69 c New solution: 21 10.58/10.69 o 21 10.58/10.69 c Elapsed CPU time: 10.5684 s Remaining CPU time: 169.432 s 10.58/10.69 c =============================================================================== 10.58/10.69 c | 10982 | 37958 75424 266706 | 25141 10982 360 | 0.000 % | 10.79/10.80 c | 11083 | 37958 75424 266706 | 27655 11083 359 | 0.000 % | 10.90/10.96 c | 11235 | 37958 75424 266706 | 30421 11235 360 | 0.000 % | 11.09/11.17 c | 11460 | 37958 75424 266706 | 33463 11460 360 | 0.000 % | 11.39/11.47 c | 11800 | 37958 75424 266706 | 36809 11800 359 | 0.000 % | 11.88/11.94 c | 12307 | 37958 75424 266706 | 40490 12307 359 | 0.000 % | 12.59/12.64 c | 13066 | 37958 75424 266706 | 44539 13066 359 | 0.000 % | 13.59/13.64 c | 14205 | 37958 75424 266706 | 48993 14205 361 | 0.000 % | 14.98/15.06 c | 15913 | 37958 75424 266706 | 53892 15913 362 | 0.000 % | 17.50/17.58 c | 18476 | 37958 75424 266706 | 59281 18476 356 | 0.000 % | 21.18/21.25 c | 22322 | 37958 75424 266706 | 65210 22322 360 | 0.000 % | 27.88/27.95 c | 28089 | 37958 75424 266706 | 71731 28089 363 | 0.000 % | 37.98/38.00 c | 36741 | 37958 75424 266706 | 78904 36741 362 | 0.000 % | 54.48/54.54 c | 49715 | 37958 75424 266706 | 86794 49715 387 | 0.000 % | 79.27/79.31 c | 69176 | 37958 75424 266706 | 95474 69176 412 | 0.000 % | 138.16/138.21 c | 98368 | 37958 75424 266706 | 105021 98368 393 | 0.000 % | 180.95/181.07 c There are 0 assigned variables. 0 in cost function. 181.65/181.74 c core #1 181.65/181.74 c core #2 181.65/181.74 c ============================[ Search Statistics ]============================== 181.65/181.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.65/181.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.65/181.74 c =============================================================================== 181.65/181.74 c | 0 | 12733 75927 192030 | 25309 0 nan | 0.000 % | 181.94/182.08 c | 108 | 12733 75927 192030 | 27839 108 407 | 66.609 % | 182.64/182.76 c =============================================================================== 182.84/182.96 c core #3 182.84/182.96 c ============================[ Search Statistics ]============================== 182.84/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.96 c =============================================================================== 182.84/182.96 c | 0 | 36690 75928 263315 | 25309 0 nan | 0.000 % | 183.34/183.44 c | 100 | 36690 75928 263315 | 27840 100 603 | 4.946 % | 183.94/184.04 c | 250 | 36690 75928 263315 | 30624 250 649 | 4.946 % | 184.75/184.89 c | 476 | 36690 75928 263315 | 33686 476 849 | 4.946 % | 186.74/186.84 c | 813 | 36690 75928 263315 | 37055 813 934 | 4.946 % | 189.84/189.92 c | 1319 | 36690 75928 263315 | 40760 1319 943 | 4.946 % | 196.04/196.13 c | 2078 | 36690 75928 263315 | 44837 2078 892 | 4.946 % | 206.34/206.43 c | 3219 | 36690 75928 263315 | 49320 3219 871 | 4.946 % | 221.83/221.98 c | 4931 | 36690 75928 263315 | 54252 4931 741 | 4.946 % | 244.14/244.22 c | 7493 | 36690 75928 263315 | 59678 7493 860 | 4.946 % | 286.81/286.93 c | 11338 | 36690 75928 263315 | 65645 11338 892 | 4.946 % | 355.70/355.89 c | 17106 | 36690 75928 263315 | 72210 17106 834 | 4.946 % | 461.57/461.79 c | 25755 | 36690 75928 263315 | 79431 25755 905 | 4.946 % | 618.73/618.99 c | 38730 | 36690 75928 263315 | 87374 38730 1075 | 4.946 % | 876.66/876.98 c | 58192 | 36690 75928 263315 | 96112 58192 1183 | 4.946 % | 1183.38/1183.79 c =============================================================================== 1185.28/1185.64 c core #4 1185.28/1185.64 c ============================[ Search Statistics ]============================== 1185.28/1185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1185.28/1185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1185.28/1185.64 c =============================================================================== 1185.28/1185.64 c | 0 | 39099 75930 269991 | 25310 0 nan | 0.000 % | 1185.68/1186.02 c | 102 | 39099 75930 269991 | 27841 102 595 | 0.000 % | 1186.28/1186.68 c | 255 | 39099 75930 269991 | 30625 255 462 | 0.000 % | 1187.59/1187.91 c | 485 | 39099 75930 269991 | 33687 485 437 | 0.000 % | 1189.58/1189.93 c | 824 | 39099 75930 269991 | 37056 824 443 | 0.000 % | 1193.27/1193.62 c | 1331 | 39099 75930 269991 | 40762 1331 400 | 0.000 % | 1199.57/1199.91 c | 2090 | 39099 75930 269991 | 44838 2090 409 | 0.000 % | 1208.58/1208.98 c | 3232 | 39099 75930 269991 | 49322 3232 505 | 0.000 % | 1220.47/1220.81 c | 4941 | 39099 75930 269991 | 54254 4941 688 | 0.000 % | 1239.37/1239.71 c | 7503 | 39099 75930 269991 | 59679 7503 806 | 0.000 % | 1273.86/1274.23 c | 11347 | 39099 75930 269991 | 65647 11347 925 | 0.000 % | 1325.54/1325.90 c | 17114 | 39099 75930 269991 | 72212 17114 1146 | 0.000 % | 1409.92/1410.38 c | 25767 | 39099 75930 269991 | 79433 25767 1491 | 0.000 % | 1541.39/1541.81 c | 38741 | 39099 75930 269991 | 87376 38741 1894 | 0.000 % | 1768.82/1769.34 c | 58205 | 39099 75930 269991 | 96114 58205 1679 | 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-2702338-1278548044/watcher-2702338-1278548044 -o /tmp/evaluation-result-2702338-1278548044/solver-2702338-1278548044 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702338-1278548044.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.25 1.06 0.86 2/105 29547 /proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=6112 CPUtime=0 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 436 0 0 0 0 0 0 0 21 0 1 0 23012768 6258688 354 1992294400 134512640 135751879 4291473984 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 1528 354 142 303 0 514 0 [startup+0.0550899 s] /proc/loadavg: 1.25 1.06 0.86 2/105 29547 /proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=10180 CPUtime=0.05 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 1455 0 0 0 5 0 0 0 23 0 1 0 23012768 10424320 1349 1992294400 134512640 135751879 4291473984 18446744073709551615 135228657 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 2545 1349 202 303 0 1531 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10180 [startup+0.101095 s] /proc/loadavg: 1.25 1.06 0.86 2/105 29547 /proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=11808 CPUtime=0.09 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 1882 0 0 0 9 0 0 0 23 0 1 0 23012768 12091392 1776 1992294400 134512640 135751879 4291473984 18446744073709551615 135379222 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 2952 1777 276 303 0 1938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11808 [startup+0.301117 s] /proc/loadavg: 1.25 1.06 0.86 2/105 29547 /proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=15536 CPUtime=0.29 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 3121 0 0 0 28 1 0 0 23 0 1 0 23012768 15908864 3015 1992294400 134512640 135751879 4291473984 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 3884 3016 586 303 0 2870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15536 [startup+0.701161 s] /proc/loadavg: 1.25 1.06 0.86 2/105 29547 /proc/meminfo: memFree=1699000/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=17676 CPUtime=0.69 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 5929 0 0 0 66 3 0 0 18 0 1 0 23012768 18100224 3761 1992294400 134512640 135751879 4291473984 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 4419 3761 146 303 0 4114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17676 [startup+1.50125 s] /proc/loadavg: 1.23 1.06 0.86 2/106 29548 /proc/meminfo: memFree=1684608/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=17940 CPUtime=1.49 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 5986 0 0 0 146 3 0 0 18 0 1 0 23012768 18370560 3818 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 4485 3818 146 303 0 4180 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17940 [startup+3.10142 s] /proc/loadavg: 1.23 1.06 0.86 2/106 29548 /proc/meminfo: memFree=1683988/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=19792 CPUtime=3.09 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 6441 0 0 0 305 4 0 0 22 0 1 0 23012768 20267008 4273 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 4948 4273 147 303 0 4643 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19792 [startup+6.30078 s] /proc/loadavg: 1.23 1.06 0.86 2/106 29548 /proc/meminfo: memFree=1678284/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=25744 CPUtime=6.29 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 7940 0 0 0 622 7 0 0 25 0 1 0 23012768 26361856 5772 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 6436 5772 147 303 0 6131 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25744 [startup+12.7015 s] /proc/loadavg: 1.19 1.06 0.86 2/106 29548 /proc/meminfo: memFree=1665264/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=38196 CPUtime=12.69 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 11055 0 0 0 1256 13 0 0 25 0 1 0 23012768 39112704 8887 1992294400 134512640 135751879 4291473984 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 9549 8887 147 303 0 9244 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38196 [startup+25.5009 s] /proc/loadavg: 1.16 1.05 0.86 2/106 29548 /proc/meminfo: memFree=1644308/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=58408 CPUtime=25.48 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 16090 0 0 0 2526 22 0 0 25 0 1 0 23012768 59809792 13922 1992294400 134512640 135751879 4291473984 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 14602 13922 147 303 0 14297 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58408 [startup+51.1007 s] /proc/loadavg: 1.10 1.05 0.86 2/106 29548 /proc/meminfo: memFree=1608472/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=94732 CPUtime=51.08 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 25166 0 0 0 5069 39 0 0 25 0 1 0 23012768 97005568 22998 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 23683 22998 147 303 0 23378 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94732 [startup+102.308 s] /proc/loadavg: 1.04 1.04 0.87 2/106 29550 /proc/meminfo: memFree=1542132/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=159992 CPUtime=102.27 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 41469 0 0 0 10160 67 0 0 25 0 1 0 23012768 163831808 39301 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 39998 39301 147 303 0 39693 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 159992 [startup+162.301 s] /proc/loadavg: 1.01 1.03 0.87 2/106 29552 /proc/meminfo: memFree=1495260/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=207192 CPUtime=162.25 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 53270 0 0 0 16133 92 0 0 25 0 1 0 23012768 212164608 51102 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 51798 51102 147 303 0 51493 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 207192 [startup+222.301 s] /proc/loadavg: 1.00 1.02 0.88 2/106 29554 /proc/meminfo: memFree=1477900/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=222.23 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 22115 108 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55320 151 303 0 55573 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 223512 [startup+282.301 s] /proc/loadavg: 1.00 1.02 0.88 2/106 29554 /proc/meminfo: memFree=1477776/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=282.22 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 28108 114 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55320 151 303 0 55573 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 223512 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.89 2/106 29556 /proc/meminfo: memFree=1477652/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=342.2 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59583 0 0 0 34099 121 0 0 25 0 1 0 23012768 228876288 55320 1992294400 134512640 135751879 4291473984 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55320 151 303 0 55573 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 223512 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.90 2/106 29561 /proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=402.18 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59586 0 0 0 40093 125 0 0 25 0 1 0 23012768 228876288 55323 1992294400 134512640 135751879 4291473984 18446744073709551615 134606030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55323 151 303 0 55573 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 223512 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.90 2/106 29563 /proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=462.17 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59587 0 0 0 46088 129 0 0 25 0 1 0 23012768 228876288 55324 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55324 151 303 0 55573 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 223512 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29565 /proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=522.15 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59587 0 0 0 52081 134 0 0 25 0 1 0 23012768 228876288 55324 1992294400 134512640 135751879 4291473984 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55324 151 303 0 55573 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 223512 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29567 /proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=582.14 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59591 0 0 0 58076 138 0 0 25 0 1 0 23012768 228876288 55328 1992294400 134512640 135751879 4291473984 18446744073709551615 134611290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55328 151 303 0 55573 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 223512 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29567 /proc/meminfo: memFree=1477032/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=223512 CPUtime=642.13 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 59594 0 0 0 64069 144 0 0 25 0 1 0 23012768 228876288 55331 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 55878 55331 151 303 0 55573 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 223512 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29575 /proc/meminfo: memFree=1384900/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=315952 CPUtime=882.06 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 82698 0 0 0 88025 181 0 0 25 0 1 0 23012768 323534848 78435 1992294400 134512640 135751879 4291473984 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 78988 78435 151 303 0 78683 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 315952 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29575 /proc/meminfo: memFree=1346832/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=354340 CPUtime=942.04 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 92253 0 0 0 94016 188 0 0 25 0 1 0 23012768 362844160 87990 1992294400 134512640 135751879 4291473984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 88585 87990 151 303 0 88280 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 354340 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29577 /proc/meminfo: memFree=1311616/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=389180 CPUtime=1002.03 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 100979 0 0 0 100005 198 0 0 25 0 1 0 23012768 398520320 96716 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 97295 96716 151 303 0 96990 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 389180 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29579 /proc/meminfo: memFree=1283964/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=416996 CPUtime=1062.01 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 107912 0 0 0 105995 206 0 0 25 0 1 0 23012768 427003904 103649 1992294400 134512640 135751879 4291473984 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 104249 103649 151 303 0 103944 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 416996 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29581 /proc/meminfo: memFree=1252220/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=448512 CPUtime=1122 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 115801 0 0 0 111986 214 0 0 25 0 1 0 23012768 459276288 111538 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 112128 111538 151 303 0 111823 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 448512 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29581 /proc/meminfo: memFree=1228536/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=471972 CPUtime=1181.98 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 121662 0 0 0 117977 221 0 0 25 0 1 0 23012768 483299328 117399 1992294400 134512640 135751879 4291473984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 117993 117399 151 303 0 117688 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 471972 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29583 /proc/meminfo: memFree=1215392/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=484392 CPUtime=1241.97 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 125082 0 0 0 123965 232 0 0 25 0 1 0 23012768 496017408 120449 1992294400 134512640 135751879 4291473984 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 121098 120449 151 303 0 120793 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 484392 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29585 /proc/meminfo: memFree=1215268/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=484392 CPUtime=1301.95 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 125120 0 0 0 129959 236 0 0 25 0 1 0 23012768 496017408 120487 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 121098 120487 151 303 0 120793 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 484392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29587 /proc/meminfo: memFree=1195552/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=505400 CPUtime=1361.93 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 130353 0 0 0 135946 247 0 0 25 0 1 0 23012768 517529600 125720 1992294400 134512640 135751879 4291473984 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 126350 125720 151 303 0 126045 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 505400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29589 /proc/meminfo: memFree=1133800/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=566184 CPUtime=1421.92 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 145571 0 0 0 141932 260 0 0 25 0 1 0 23012768 579772416 140938 1992294400 134512640 135751879 4291473984 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 141546 140938 151 303 0 141241 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 566184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29589 /proc/meminfo: memFree=1059400/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=641064 CPUtime=1481.9 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 164271 0 0 0 147914 276 0 0 25 0 1 0 23012768 656449536 159638 1992294400 134512640 135751879 4291473984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 160266 159638 151 303 0 159961 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 641064 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29591 /proc/meminfo: memFree=1008188/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=691776 CPUtime=1541.88 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 176943 0 0 0 153899 289 0 0 25 0 1 0 23012768 708378624 172310 1992294400 134512640 135751879 4291473984 18446744073709551615 134620394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 172944 172310 151 303 0 172639 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 691776 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29593 /proc/meminfo: memFree=950776/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=749108 CPUtime=1601.87 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 191290 0 0 0 159886 301 0 0 25 0 1 0 23012768 767086592 186657 1992294400 134512640 135751879 4291473984 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 187277 186657 151 303 0 186972 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 749108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29595 /proc/meminfo: memFree=936268/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=763424 CPUtime=1661.86 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 194857 0 0 0 165874 312 0 0 25 0 1 0 23012768 781746176 190224 1992294400 134512640 135751879 4291473984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 190856 190224 151 303 0 190551 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 763424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29597 /proc/meminfo: memFree=921884/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=777972 CPUtime=1721.83 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 198478 0 0 0 171862 321 0 0 25 0 1 0 23012768 796643328 193845 1992294400 134512640 135751879 4291473984 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 194493 193845 151 303 0 194188 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 777972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29599 /proc/meminfo: memFree=903656/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=795812 CPUtime=1781.82 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 202947 0 0 0 177851 331 0 0 25 0 1 0 23012768 814911488 198314 1992294400 134512640 135751879 4291473984 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 198953 198314 151 303 0 198648 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 795812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29599 /proc/meminfo: memFree=899316/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=800040 CPUtime=1800.02 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 203998 0 0 0 179668 334 0 0 25 0 1 0 23012768 819240960 199365 1992294400 134512640 135751879 4291473984 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 200010 199365 151 303 0 199705 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 800040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.91 2/106 29599 /proc/meminfo: memFree=899316/2059040 swapFree=4136400/4192956 [pid=29547] ppid=29545 vsize=800040 CPUtime=1800.02 /proc/29547/stat : 29547 (wbo1.4b) R 29545 29547 29223 0 -1 4202496 203998 0 0 0 179668 334 0 0 25 0 1 0 23012768 819240960 199365 1992294400 134512640 135751879 4291473984 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29547/statm: 200010 199365 151 303 0 199705 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 800040 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1796.69 CPU system time (s): 3.41748 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 800040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.69 system time used= 3.41748 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 203998 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= 8 involuntary context switches= 22434 runsolver used 2.81257 second user time and 8.67168 second system time The end
Begin job on node087 at 2010-07-08 02:14:04 IDJOB=2702338 IDBENCH=48104 IDSOLVER=1161 FILE ID=node087/2702338-1278548044 PBS_JOBID= 11239476 Free space on /tmp= 62512 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702338-1278548044/watcher-2702338-1278548044 -o /tmp/evaluation-result-2702338-1278548044/solver-2702338-1278548044 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702338-1278548044.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED=1472447774 node087.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.201 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.40 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.201 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1702380 kB Buffers: 78064 kB Cached: 185372 kB SwapCached: 12768 kB Active: 121140 kB Inactive: 158964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702380 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 3380 kB Writeback: 0 kB AnonPages: 11456 kB Mapped: 8404 kB Slab: 54652 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702338-1278548044.opb Free space on /tmp at the end= 62508 MiB End job on node087 at 2010-07-08 02:44:08