Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.17 | 1800.86 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb |
MD5SUM | 5548b3a1af88258afdf09b4f2d4db162 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 176 |
Best CPU time to get the best result obtained on this benchmark | 1790.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 239 |
Optimality of the best value was proved | NO |
Number of variables | 63009 |
Total number of constraints | 507 |
Number of constraints which are clauses | 507 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 7753 |
Number of terms in the objective function | 63009 |
Biggest coefficient in the objective function | 2 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 122425 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 122425 |
Number of bits of the biggest sum of numbers | 17 |
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-2655964-1276359468.opb. 0.00/0.00 c Instance file HOME/instance-2655964-1276359468.opb 0.00/0.00 c File size is 4644392 bytes. 0.79/0.88 c Highest Coefficient sum: 7754 0.79/0.88 c ============================[ Problem Statistics ]============================= 0.79/0.88 c | | 0.79/0.88 c | Parsing time: 0.86 s | 0.79/0.88 c | Number Variables: 63009 | 0.79/0.88 c | Number Clauses: 507 | 0.79/0.88 c | Number Cardinality: 0 | 0.79/0.88 c | Number PB Constraints: 0 | 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 63002 507 408666 | 5000 0 nan | 0.000 % | 1.99/2.09 c =============================================================================== 1.99/2.09 c New solution: 349 1.99/2.09 o 349 1.99/2.09 c Elapsed CPU time: 2.01869 s Remaining CPU time: 177.981 s 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 63002 508 471675 | 5000 0 nan | 0.000 % | 2.79/2.88 c | 102 | 63002 508 471675 | 5500 102 3088 | 0.011 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c New solution: 307 3.99/4.05 o 307 3.99/4.05 c Elapsed CPU time: 3.87441 s Remaining CPU time: 176.126 s 3.99/4.05 c =============================================================================== 3.99/4.05 c | 102 | 63002 509 534684 | 5000 102 3088 | 0.011 % | 4.79/4.87 c | 202 | 63002 509 534684 | 5500 202 4178 | 0.011 % | 7.18/7.22 c | 352 | 63002 509 534684 | 6050 352 3114 | 0.011 % | 8.39/8.42 c | 578 | 63002 509 534684 | 6655 578 2361 | 0.011 % | 10.19/10.22 c | 915 | 63002 509 534684 | 7320 915 2146 | 0.011 % | 13.19/13.20 c | 1421 | 63002 509 534684 | 8052 1421 2030 | 0.011 % | 17.69/17.77 c | 2180 | 63002 509 534684 | 8857 2180 1782 | 0.011 % | 23.79/23.89 c | 3320 | 63002 509 534684 | 9743 3320 1520 | 0.011 % | 36.29/36.31 c | 5029 | 63002 509 534684 | 10717 5029 1529 | 0.011 % | 52.97/53.01 c | 7595 | 63002 509 534684 | 11789 7595 1194 | 0.011 % | 100.16/100.29 c | 11440 | 63002 509 534684 | 12968 11440 918 | 0.011 % | 180.72/180.88 c There are 7 assigned variables. 7 in cost function. 204.42/204.54 c core #1 204.42/204.54 c core #2 204.42/204.54 c core #3 204.42/204.54 c core #4 204.42/204.54 c core #5 204.42/204.54 c core #6 204.42/204.54 c core #7 204.42/204.54 c core #8 204.42/204.54 c core #9 204.42/204.54 c core #10 204.42/204.54 c core #11 204.42/204.54 c core #12 204.42/204.54 c core #13 204.42/204.54 c core #14 204.42/204.54 c core #15 204.42/204.54 c core #16 204.42/204.54 c core #17 204.42/204.54 c core #18 204.42/204.54 c core #19 204.42/204.54 c core #20 204.42/204.54 c core #21 204.42/204.54 c core #22 204.42/204.54 c core #23 204.42/204.54 c core #24 204.42/204.54 c core #25 204.42/204.54 c core #26 204.42/204.54 c core #27 204.42/204.54 c core #28 204.42/204.54 c core #29 204.42/204.54 c core #30 204.42/204.54 c core #31 204.42/204.54 c core #32 204.42/204.54 c core #33 204.42/204.54 c core #34 204.42/204.54 c core #35 204.42/204.54 c core #36 204.42/204.54 c core #37 204.42/204.54 c core #38 204.42/204.54 c core #39 204.42/204.54 c core #40 204.42/204.54 c core #41 204.42/204.54 c core #42 204.42/204.54 c core #43 204.42/204.54 c core #44 204.42/204.54 c core #45 204.42/204.54 c core #46 204.42/204.54 c core #47 204.42/204.54 c core #48 204.42/204.54 c core #49 204.42/204.54 c core #50 204.42/204.54 c core #51 204.42/204.54 c core #52 204.42/204.54 c core #53 204.42/204.54 c core #54 204.42/204.54 c core #55 204.42/204.54 c core #56 204.42/204.54 c core #57 204.42/204.54 c core #58 204.42/204.54 c core #59 204.42/204.54 c core #60 204.42/204.54 c core #61 204.42/204.54 c core #62 204.42/204.54 c core #63 204.42/204.54 c core #64 204.42/204.54 c core #65 204.42/204.54 c core #66 204.42/204.54 c core #67 204.42/204.54 c core #68 204.42/204.54 c core #69 204.42/204.54 c core #70 204.42/204.54 c core #71 204.42/204.54 c core #72 204.42/204.54 c core #73 204.42/204.54 c core #74 204.42/204.54 c core #75 204.42/204.54 c core #76 204.42/204.54 c core #77 204.42/204.54 c core #78 204.42/204.54 c core #79 204.42/204.54 c core #80 204.42/204.54 c core #81 204.42/204.54 c core #82 204.42/204.54 c core #83 204.42/204.54 c core #84 204.42/204.54 c core #85 204.42/204.54 c core #86 204.42/204.54 c core #87 204.42/204.54 c core #88 204.42/204.54 c core #89 204.42/204.54 c core #90 204.42/204.54 c core #91 204.42/204.54 c core #92 204.42/204.54 c core #93 204.42/204.54 c core #94 204.42/204.54 c core #95 204.42/204.54 c core #96 204.42/204.54 c core #97 204.42/204.54 c core #98 204.42/204.54 c core #99 204.42/204.54 c core #100 204.42/204.54 c core #101 204.42/204.54 c core #102 204.42/204.54 c core #103 204.42/204.54 c core #104 204.42/204.54 c core #105 204.42/204.54 c core #106 204.42/204.54 c core #107 204.42/204.54 c core #108 204.42/204.54 c core #109 204.42/204.54 c core #110 204.42/204.54 c core #111 204.42/204.54 c core #112 204.42/204.54 c core #113 204.42/204.54 c core #114 204.42/204.54 c core #115 204.42/204.54 c ============================[ Search Statistics ]============================== 204.42/204.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.42/204.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.42/204.54 c =============================================================================== 204.42/204.54 c | 0 | 67272 104470 698548 | 34823 0 nan | 0.000 % | 204.52/204.65 c =============================================================================== 204.81/204.93 c core #116 204.81/204.93 c ============================[ Search Statistics ]============================== 204.81/204.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.81/204.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.81/204.93 c =============================================================================== 204.81/204.93 c | 0 | 68428 104919 700743 | 34973 0 nan | 0.000 % | 206.72/206.89 c | 100 | 68428 104919 700743 | 38470 100 797 | 42.079 % | 207.32/207.41 c | 250 | 68428 104919 700743 | 42317 250 458 | 42.079 % | 207.82/207.92 c | 475 | 68428 104919 700743 | 46549 475 532 | 42.079 % | 208.22/208.39 c | 812 | 68428 104919 700743 | 51203 812 706 | 42.079 % | 209.01/209.18 c =============================================================================== 209.31/209.45 c core #117 209.31/209.45 c ============================[ Search Statistics ]============================== 209.31/209.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.31/209.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.31/209.45 c =============================================================================== 209.31/209.45 c | 0 | 74536 106613 713859 | 35537 0 nan | 0.000 % | 209.41/209.54 c =============================================================================== 209.71/209.80 c core #118 209.71/209.80 c ============================[ Search Statistics ]============================== 209.71/209.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.71/209.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.71/209.80 c =============================================================================== 209.71/209.80 c | 0 | 75332 107210 714845 | 35736 0 nan | 0.000 % | 210.12/210.25 c | 100 | 75332 107210 714845 | 39310 100 393 | 38.799 % | 211.51/211.60 c | 251 | 75332 107210 714845 | 43241 251 1628 | 38.799 % | 213.11/213.28 c | 476 | 75332 107210 714845 | 47565 476 2284 | 38.799 % | 214.80/214.96 c | 817 | 75332 107210 714845 | 52322 817 2493 | 38.799 % | 217.11/217.26 c | 1323 | 75332 107210 714845 | 57554 1323 2262 | 38.799 % | 220.51/220.68 c | 2082 | 75332 107210 714845 | 63309 2082 1894 | 38.799 % | 232.31/232.43 c | 3221 | 75331 107210 714845 | 69640 3220 1816 | 38.800 % | 249.51/249.61 c | 4929 | 75330 107210 714845 | 76604 4927 2173 | 38.802 % | 270.69/270.83 c | 7491 | 75327 107210 714845 | 84265 7487 2402 | 38.803 % | 303.27/303.41 c | 11335 | 75327 107210 714845 | 92691 11331 2546 | 38.803 % | 393.34/393.51 c | 17101 | 75326 107210 714845 | 101960 17096 2931 | 38.806 % | 490.42/490.63 c =============================================================================== 490.70/490.93 c core #119 490.70/490.93 c ============================[ Search Statistics ]============================== 490.70/490.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 490.70/490.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 490.70/490.93 c =============================================================================== 490.70/490.93 c | 0 | 76192 107526 716466 | 35842 0 nan | 0.000 % | 491.41/491.61 c | 100 | 76192 107526 716466 | 39426 100 514 | 38.397 % | 492.21/492.42 c | 252 | 76192 107526 716466 | 43368 252 622 | 38.397 % | 496.30/496.56 c | 477 | 76192 107526 716466 | 47705 477 1188 | 38.397 % | 498.01/498.25 c | 814 | 76192 107526 716466 | 52476 814 1539 | 38.397 % | 501.01/501.26 c | 1321 | 76192 107526 716466 | 57723 1321 1381 | 38.397 % | 517.90/518.12 c | 2080 | 76192 107526 716466 | 63496 2080 1938 | 38.397 % | 532.59/532.89 c | 3219 | 76192 107526 716466 | 69845 3219 2595 | 38.397 % | 557.39/557.69 c | 4927 | 76192 107526 716466 | 76830 4927 2441 | 38.397 % | 579.48/579.71 c | 7490 | 76192 107526 716466 | 84513 7490 2249 | 38.397 % | 666.44/666.79 c | 11335 | 76191 107526 716466 | 92964 11334 3276 | 38.398 % | 840.57/840.98 c | 17102 | 76191 107526 716466 | 102261 17101 4588 | 38.398 % | 1026.20/1026.65 c | 25753 | 76191 107526 716466 | 112487 25752 5107 | 38.398 % | 1235.92/1236.45 c | 38727 | 76188 107526 716466 | 123736 38725 4959 | 38.400 % |
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-2655964-1276359468/watcher-2655964-1276359468 -o /tmp/evaluation-result-2655964-1276359468/solver-2655964-1276359468 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655964-1276359468.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.07 3/106 11427 /proc/meminfo: memFree=1466144/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=7980 CPUtime=0 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 461 0 0 0 0 0 0 0 20 0 1 0 11550293 8171520 380 1992294400 134512640 135751879 4293247440 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 1995 380 140 303 0 556 0 [startup+0.0418191 s] /proc/loadavg: 1.00 1.00 1.07 3/106 11427 /proc/meminfo: memFree=1466144/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=10784 CPUtime=0.03 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 1138 0 0 0 3 0 0 0 20 0 1 0 11550293 11042816 1058 1992294400 134512640 135751879 4293247440 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 2696 1058 186 303 0 1257 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10784 [startup+0.100829 s] /proc/loadavg: 1.00 1.00 1.07 3/106 11427 /proc/meminfo: memFree=1466144/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=15684 CPUtime=0.09 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 2314 0 0 0 8 1 0 0 20 0 1 0 11550293 16060416 2144 1992294400 134512640 135751879 4293247440 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 3921 2144 256 303 0 2482 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15684 [startup+0.300866 s] /proc/loadavg: 1.00 1.00 1.07 3/106 11427 /proc/meminfo: memFree=1466144/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=18556 CPUtime=0.29 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 3325 0 0 0 27 2 0 0 20 0 1 0 11550293 19001344 3093 1992294400 134512640 135751879 4293247440 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 4639 3093 507 303 0 3200 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18556 [startup+0.700941 s] /proc/loadavg: 1.00 1.00 1.07 3/106 11427 /proc/meminfo: memFree=1466144/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=19516 CPUtime=0.69 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 4077 0 0 0 67 2 0 0 21 0 1 0 11550293 19984384 3845 1992294400 134512640 135751879 4293247440 18446744073709551615 134559774 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 4879 3845 1030 303 0 3440 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19516 [startup+1.50109 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11428 /proc/meminfo: memFree=1448404/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=20604 CPUtime=1.49 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 6861 0 0 0 142 7 0 0 23 0 1 0 11550293 21098496 4378 1992294400 134512640 135751879 4293247440 18446744073709551615 134639009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 5151 4378 146 303 0 4846 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20604 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11428 /proc/meminfo: memFree=1448280/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=21816 CPUtime=3.09 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 7143 0 0 0 292 17 0 0 25 0 1 0 11550293 22339584 4660 1992294400 134512640 135751879 4293247440 18446744073709551615 134639052 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 5454 4660 147 303 0 5149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21816 [startup+6.30098 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11428 /proc/meminfo: memFree=1444312/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=25208 CPUtime=6.29 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 8009 0 0 0 604 25 0 0 25 0 1 0 11550293 25812992 5526 1992294400 134512640 135751879 4293247440 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 6302 5526 147 303 0 5997 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25208 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11428 /proc/meminfo: memFree=1437740/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=32428 CPUtime=12.69 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 9801 0 0 0 1230 39 0 0 25 0 1 0 11550293 33206272 7318 1992294400 134512640 135751879 4293247440 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 8107 7318 147 303 0 7802 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32428 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11430 /proc/meminfo: memFree=1426704/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=42888 CPUtime=25.49 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 12436 0 0 0 2494 55 0 0 25 0 1 0 11550293 43917312 9953 1992294400 134512640 135751879 4293247440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 10722 9953 147 303 0 10417 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42888 [startup+51.1003 s] /proc/loadavg: 1.00 1.00 1.07 2/107 11430 /proc/meminfo: memFree=1411948/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=57464 CPUtime=51.07 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 16054 0 0 0 5043 64 0 0 25 0 1 0 11550293 58843136 13571 1992294400 134512640 135751879 4293247440 18446744073709551615 134610803 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 14366 13571 147 303 0 14061 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57464 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.06 2/107 11432 /proc/meminfo: memFree=1404640/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=64480 CPUtime=102.26 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 17821 0 0 0 10150 76 0 0 25 0 1 0 11550293 66027520 15338 1992294400 134512640 135751879 4293247440 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 16120 15338 147 303 0 15815 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 64480 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.06 2/107 11432 /proc/meminfo: memFree=1402160/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=66932 CPUtime=162.23 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 18446 0 0 0 16145 78 0 0 25 0 1 0 11550293 68538368 15963 1992294400 134512640 135751879 4293247440 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 16733 15963 147 303 0 16428 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 66932 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.05 2/107 11434 /proc/meminfo: memFree=1312632/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=156496 CPUtime=222.2 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 159245 0 0 0 22057 163 0 0 25 0 1 0 11550293 160251904 38155 1992294400 134512640 135751879 4293247440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 39124 38155 151 303 0 38819 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 156496 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11436 /proc/meminfo: memFree=1239472/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=230744 CPUtime=282.18 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 177810 0 0 0 28031 187 0 0 25 0 1 0 11550293 236281856 56720 1992294400 134512640 135751879 4293247440 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 57686 56720 151 303 0 57381 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 230744 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11438 /proc/meminfo: memFree=1166320/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=303096 CPUtime=342.16 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 195904 0 0 0 33994 222 0 0 25 0 1 0 11550293 310370304 74814 1992294400 134512640 135751879 4293247440 18446744073709551615 134697117 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 75774 74814 151 303 0 75469 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 303096 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11440 /proc/meminfo: memFree=1116224/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=353308 CPUtime=402.13 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 208449 0 0 0 39971 242 0 0 25 0 1 0 11550293 361787392 87359 1992294400 134512640 135751879 4293247440 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 88327 87359 151 303 0 88022 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 353308 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11440 /proc/meminfo: memFree=1072080/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=397168 CPUtime=462.11 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 219432 0 0 0 45952 259 0 0 25 0 1 0 11550293 406700032 98342 1992294400 134512640 135751879 4293247440 18446744073709551615 134642946 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 99292 98342 151 303 0 98987 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 397168 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11442 /proc/meminfo: memFree=1030292/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=437936 CPUtime=522.09 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 231790 0 0 0 51924 285 0 0 25 0 1 0 11550293 448446464 108547 1992294400 134512640 135751879 4293247440 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 109484 108547 151 303 0 109179 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 437936 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11444 /proc/meminfo: memFree=1030292/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=437936 CPUtime=582.07 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 231790 0 0 0 57912 295 0 0 25 0 1 0 11550293 448446464 108547 1992294400 134512640 135751879 4293247440 18446744073709551615 134605954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 109484 108547 151 303 0 109179 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 437936 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11446 /proc/meminfo: memFree=1030168/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=437936 CPUtime=642.05 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 231797 0 0 0 63895 310 0 0 25 0 1 0 11550293 448446464 108554 1992294400 134512640 135751879 4293247440 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 109484 108554 151 303 0 109179 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 437936 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11452 /proc/meminfo: memFree=946344/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=522164 CPUtime=881.95 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 252839 0 0 0 87850 345 0 0 25 0 1 0 11550293 534695936 129596 1992294400 134512640 135751879 4293247440 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 130541 129596 151 303 0 130236 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 522164 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11454 /proc/meminfo: memFree=903564/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=565692 CPUtime=941.93 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 263714 0 0 0 93839 354 0 0 25 0 1 0 11550293 579268608 140471 1992294400 134512640 135751879 4293247440 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 141423 140471 151 303 0 141118 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 565692 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11456 /proc/meminfo: memFree=829288/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=639132 CPUtime=1001.91 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 282085 0 0 0 99819 372 0 0 25 0 1 0 11550293 654471168 158842 1992294400 134512640 135751879 4293247440 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 159783 158842 151 303 0 159478 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 639132 [startup+1062.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 11456 /proc/meminfo: memFree=740132/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=729676 CPUtime=1061.88 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 304687 0 0 0 105782 406 0 0 25 0 1 0 11550293 747188224 181444 1992294400 134512640 135751879 4293247440 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 182419 181444 151 303 0 182114 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 729676 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11458 /proc/meminfo: memFree=679372/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=788552 CPUtime=1121.86 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 319434 0 0 0 111759 427 0 0 25 0 1 0 11550293 807477248 196191 1992294400 134512640 135751879 4293247440 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 197138 196191 151 303 0 196833 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 788552 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11460 /proc/meminfo: memFree=627540/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=841164 CPUtime=1181.84 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 332570 0 0 0 117738 446 0 0 25 0 1 0 11550293 861351936 209327 1992294400 134512640 135751879 4293247440 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 210291 209327 151 303 0 209986 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 841164 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11462 /proc/meminfo: memFree=540368/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=927140 CPUtime=1241.81 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 354061 0 0 0 123719 462 0 0 25 0 1 0 11550293 949391360 230818 1992294400 134512640 135751879 4293247440 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 231785 230818 151 303 0 231480 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 927140 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11464 /proc/meminfo: memFree=476632/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=990480 CPUtime=1301.8 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 369894 0 0 0 129698 482 0 0 25 0 1 0 11550293 1014251520 246651 1992294400 134512640 135751879 4293247440 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 247620 246651 151 303 0 247315 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 990480 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11464 /proc/meminfo: memFree=416864/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1050312 CPUtime=1361.77 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 384845 0 0 0 135683 494 0 0 25 0 1 0 11550293 1075519488 261602 1992294400 134512640 135751879 4293247440 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 262578 261602 151 303 0 262273 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 1050312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11466 /proc/meminfo: memFree=360444/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1106484 CPUtime=1421.76 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 398880 0 0 0 141672 504 0 0 25 0 1 0 11550293 1133039616 275637 1992294400 134512640 135751879 4293247440 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 276621 275637 151 303 0 276316 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1106484 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11468 /proc/meminfo: memFree=291128/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1176872 CPUtime=1481.73 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 416506 0 0 0 147657 516 0 0 25 0 1 0 11550293 1205116928 293263 1992294400 134512640 135751879 4293247440 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 294218 293263 151 303 0 293913 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1176872 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11470 /proc/meminfo: memFree=213256/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1253892 CPUtime=1541.71 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 435745 0 0 0 153644 527 0 0 25 0 1 0 11550293 1283985408 312502 1992294400 134512640 135751879 4293247440 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 313473 312502 151 303 0 313168 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1253892 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11472 /proc/meminfo: memFree=137616/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1328828 CPUtime=1601.68 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 454490 0 0 0 159631 537 0 0 25 0 1 0 11550293 1360719872 331247 1992294400 134512640 135751879 4293247440 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 332207 331247 151 303 0 331902 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1328828 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11472 /proc/meminfo: memFree=70656/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1396464 CPUtime=1661.65 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 471381 0 0 0 165620 545 0 0 25 0 1 0 11550293 1429979136 348138 1992294400 134512640 135751879 4293247440 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 349116 348138 151 303 0 348811 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 1396464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11474 /proc/meminfo: memFree=9772/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1457976 CPUtime=1721.63 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 486761 0 0 0 171606 557 0 0 25 0 1 0 11550293 1492967424 363518 1992294400 134512640 135751879 4293247440 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 364494 363518 151 303 0 364189 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1457976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11476 /proc/meminfo: memFree=9336/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1536920 CPUtime=1781.61 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 506525 0 0 0 177592 569 0 0 25 0 1 0 11550293 1573806080 383282 1992294400 134512640 135751879 4293247440 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 384230 383282 151 303 0 383925 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1536920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11476 /proc/meminfo: memFree=9224/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=1566192 CPUtime=1800.02 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4202496 513827 0 0 0 179428 574 0 0 25 0 1 0 11550293 1603780608 390584 1992294400 134512640 135751879 4293247440 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11427/statm: 391548 390584 151 303 0 391243 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1566192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11476 /proc/meminfo: memFree=9224/2059040 swapFree=4192956/4192956 [pid=11427] ppid=11425 vsize=0 CPUtime=1800.11 /proc/11427/stat : 11427 (wbo1.4b) R 11425 11427 10703 0 -1 4203524 513827 0 0 0 179428 583 0 0 25 0 1 0 11550293 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11427/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.86 CPU time (s): 1800.17 CPU user time (s): 1794.28 CPU system time (s): 5.8901 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (KiB): 1566192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.28 system time used= 5.8901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 513827 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= 4 involuntary context switches= 21905 runsolver used 2.93955 second user time and 8.5407 second system time The end
Begin job on node007 at 2010-06-12 18:17:48 IDJOB=2655964 IDBENCH=1874 IDSOLVER=1161 FILE ID=node007/2655964-1276359468 PBS_JOBID= 11173198 Free space on /tmp= 62452 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655964-1276359468/watcher-2655964-1276359468 -o /tmp/evaluation-result-2655964-1276359468/solver-2655964-1276359468 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655964-1276359468.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5548b3a1af88258afdf09b4f2d4db162 RANDOM SEED=1014459898 node007.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.264 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.52 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.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1466548 kB Buffers: 128952 kB Cached: 332952 kB SwapCached: 0 kB Active: 191516 kB Inactive: 330124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1466548 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 7168 kB Writeback: 0 kB AnonPages: 59660 kB Mapped: 15436 kB Slab: 49116 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181468 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= 62448 MiB End job on node007 at 2010-06-12 18:47:51