Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 1800.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb |
MD5SUM | d5313ea0d4ce989dad692c9adfb6f827 |
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 | 1800.51 |
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 | 111 |
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) | 37460 |
Sum of products size (including duplicates) | 74920 |
Number of different products | 37460 |
Sum of products size | 74920 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702378-1278565079.opb. 0.00/0.00 c Instance file HOME/instance-2702378-1278565079.opb 0.00/0.00 c File size is 2902193 bytes. 0.39/0.48 c Highest Coefficient sum: 112 0.39/0.49 c ============================[ Problem Statistics ]============================= 0.39/0.49 c | | 0.39/0.49 c | Parsing time: 0.48 s | 0.39/0.49 c | Number Variables: 37960 | 0.39/0.49 c | Number Clauses: 37960 | 0.39/0.49 c | Number Cardinality: 0 | 0.39/0.49 c | Number PB Constraints: 37460 | 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 37960 75420 262720 | 25140 0 nan | 0.000 % | 0.60/0.60 c =============================================================================== 0.60/0.60 c New solution: 131 0.60/0.60 o 131 0.60/0.60 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s 0.60/0.60 c =============================================================================== 0.60/0.60 c | 0 | 37960 75421 263220 | 25140 0 nan | 0.000 % | 0.60/0.65 c =============================================================================== 0.60/0.65 c New solution: 130 0.60/0.65 o 130 0.60/0.65 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s 0.60/0.65 c =============================================================================== 0.60/0.65 c | 0 | 37960 75422 263720 | 25140 0 nan | 0.000 % | 0.60/0.69 c =============================================================================== 0.60/0.69 c New solution: 129 0.60/0.69 o 129 0.60/0.69 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s 0.60/0.69 c =============================================================================== 0.60/0.69 c | 0 | 37960 75423 264220 | 25141 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 128 0.69/0.74 o 128 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 37960 75424 264720 | 25141 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 127 0.69/0.78 o 127 0.69/0.78 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 37960 75425 265220 | 25141 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 126 0.79/0.83 o 126 0.79/0.83 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 37960 75426 265720 | 25142 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 125 0.79/0.88 o 125 0.79/0.88 c Elapsed CPU time: 0.85487 s Remaining CPU time: 179.145 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 37960 75427 266220 | 25142 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 124 0.89/0.92 o 124 0.89/0.92 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 37960 75428 266720 | 25142 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 123 0.89/0.98 o 123 0.89/0.98 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 1 | 37960 75429 267220 | 25143 1 124 | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c New solution: 22 1.00/1.04 o 22 1.00/1.04 c Elapsed CPU time: 1.01085 s Remaining CPU time: 178.989 s 1.00/1.04 c =============================================================================== 1.00/1.04 c | 1 | 37960 75430 267720 | 25143 1 124 | 0.000 % | 1.69/1.75 c | 101 | 37960 75430 267720 | 27657 101 144 | 0.000 % | 1.89/1.91 c | 252 | 37960 75430 267720 | 30423 252 267 | 0.000 % | 2.09/2.10 c | 478 | 37960 75430 267720 | 33465 478 363 | 0.000 % | 2.29/2.39 c | 816 | 37960 75430 267720 | 36812 816 333 | 0.000 % | 2.79/2.80 c | 1322 | 37960 75430 267720 | 40493 1322 338 | 0.000 % | 3.39/3.50 c | 2082 | 37960 75430 267720 | 44542 2082 317 | 0.000 % | 4.30/4.36 c | 3222 | 37960 75430 267720 | 48997 3222 362 | 0.000 % | 5.59/5.64 c | 4931 | 37960 75430 267720 | 53896 4931 363 | 0.000 % | 7.70/7.74 c | 7493 | 37960 75430 267720 | 59286 7493 379 | 0.000 % | 10.99/11.07 c | 11337 | 37960 75430 267720 | 65215 11337 359 | 0.000 % | 16.89/16.90 c | 17105 | 37960 75430 267720 | 71736 17105 369 | 0.000 % | 27.19/27.28 c | 25755 | 37960 75430 267720 | 78910 25755 375 | 0.000 % | 43.99/44.07 c | 38730 | 37960 75430 267720 | 86801 38730 373 | 0.000 % | 72.88/72.99 c | 58192 | 37960 75430 267720 | 95481 58192 378 | 0.000 % | 122.67/122.70 c | 87384 | 37960 75430 267720 | 105029 87384 387 | 0.000 % | 181.04/181.18 c There are 0 assigned variables. 0 in cost function. 181.73/181.87 c core #1 181.73/181.87 c core #2 181.73/181.87 c ============================[ Search Statistics ]============================== 181.73/181.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.73/181.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.73/181.87 c =============================================================================== 181.73/181.87 c | 0 | 13868 75933 196911 | 25311 0 nan | 0.000 % | 181.94/182.08 c | 100 | 13868 75933 196911 | 27842 100 361 | 63.638 % | 182.54/182.63 c | 253 | 13868 75933 196911 | 30626 253 332 | 63.638 % | 183.34/183.49 c =============================================================================== 183.64/183.71 c core #3 183.64/183.71 c ============================[ Search Statistics ]============================== 183.64/183.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.71 c =============================================================================== 183.64/183.71 c | 0 | 38357 75934 269246 | 25311 0 nan | 0.000 % | 184.13/184.28 c | 100 | 38357 75934 269246 | 27842 100 393 | 0.714 % | 185.14/185.25 c | 250 | 38357 75934 269246 | 30626 250 368 | 0.714 % | 186.73/186.82 c | 476 | 38357 75934 269246 | 33689 476 489 | 0.714 % | 189.05/189.20 c | 814 | 38357 75934 269246 | 37058 814 562 | 0.714 % | 193.64/193.75 c | 1320 | 38357 75934 269246 | 40764 1320 559 | 0.714 % | 200.14/200.28 c | 2079 | 38357 75934 269246 | 44840 2079 573 | 0.714 % | 212.63/212.76 c | 3219 | 38357 75934 269246 | 49324 3219 548 | 0.714 % | 232.93/233.07 c | 4929 | 38357 75934 269246 | 54257 4929 479 | 0.714 % | 263.02/263.19 c | 7497 | 38357 75934 269246 | 59682 7497 496 | 0.714 % | 319.61/319.78 c | 11341 | 38357 75934 269246 | 65651 11341 493 | 0.714 % | 389.39/389.56 c | 17108 | 38357 75934 269246 | 72216 17108 590 | 0.714 % | 514.97/515.11 c | 25757 | 38357 75934 269246 | 79437 25757 592 | 0.714 % | 694.23/694.46 c | 38731 | 38357 75934 269246 | 87381 38731 642 | 0.714 % | 892.68/892.97 c =============================================================================== 894.28/894.52 c core #4 894.28/894.52 c ============================[ Search Statistics ]============================== 894.28/894.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 894.28/894.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 894.28/894.52 c =============================================================================== 894.28/894.52 c | 0 | 39133 75936 271069 | 25312 0 nan | 0.000 % | 894.78/895.02 c | 103 | 39133 75936 271069 | 27843 103 650 | 0.000 % | 895.19/895.49 c | 255 | 39133 75936 271069 | 30627 255 516 | 0.000 % | 896.98/897.20 c | 480 | 39133 75936 271069 | 33690 480 464 | 0.000 % | 899.48/899.76 c | 817 | 39133 75936 271069 | 37059 817 418 | 0.000 % | 903.68/903.99 c | 1325 | 39133 75936 271069 | 40765 1325 485 | 0.000 % | 908.67/908.95 c | 2085 | 39133 75936 271069 | 44841 2085 525 | 0.000 % | 918.38/918.67 c | 3224 | 39133 75936 271069 | 49325 3224 547 | 0.000 % | 932.97/933.23 c | 4932 | 39133 75936 271069 | 54258 4932 552 | 0.000 % | 949.57/949.89 c | 7495 | 39133 75936 271069 | 59684 7495 615 | 0.000 % | 977.76/978.02 c | 11340 | 39133 75936 271069 | 65652 11340 561 | 0.000 % | 1024.96/1025.21 c | 17107 | 39133 75936 271069 | 72218 17107 657 | 0.000 % | 1103.34/1103.69 c | 25757 | 39133 75936 271069 | 79439 25757 668 | 0.000 % | 1247.21/1247.59 c | 38731 | 39133 75936 271069 | 87383 38731 844 | 0.000 % | 1502.05/1502.42 c | 58194 | 39133 75936 271069 | 96122 58194 1101 | 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-2702378-1278565079/watcher-2702378-1278565079 -o /tmp/evaluation-result-2702378-1278565079/solver-2702378-1278565079 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702378-1278565079.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.02 1.02 1.00 3/106 29655 /proc/meminfo: memFree=1700048/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=6248 CPUtime=0 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 467 0 0 0 0 0 0 0 23 0 1 0 24714707 6397952 386 1992294400 134512640 135751879 4288842496 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 1562 387 143 303 0 548 0 [startup+0.097885 s] /proc/loadavg: 1.02 1.02 1.00 3/106 29655 /proc/meminfo: memFree=1700048/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=11568 CPUtime=0.09 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 1803 0 0 0 9 0 0 0 23 0 1 0 24714707 11845632 1722 1992294400 134512640 135751879 4288842496 18446744073709551615 134573568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 2892 1722 261 303 0 1878 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11568 [startup+0.101886 s] /proc/loadavg: 1.02 1.02 1.00 3/106 29655 /proc/meminfo: memFree=1700048/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=11700 CPUtime=0.09 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 1827 0 0 0 9 0 0 0 23 0 1 0 24714707 11980800 1746 1992294400 134512640 135751879 4288842496 18446744073709551615 135196449 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 2925 1746 267 303 0 1911 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11700 [startup+0.301899 s] /proc/loadavg: 1.02 1.02 1.00 3/106 29655 /proc/meminfo: memFree=1700048/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=15196 CPUtime=0.29 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 2984 0 0 0 29 0 0 0 23 0 1 0 24714707 15560704 2903 1992294400 134512640 135751879 4288842496 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 3799 2903 556 303 0 2785 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15196 [startup+0.701926 s] /proc/loadavg: 1.02 1.02 1.00 3/106 29655 /proc/meminfo: memFree=1700048/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=17684 CPUtime=0.69 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 5885 0 0 0 67 2 0 0 25 0 1 0 24714707 18108416 3743 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 4421 3743 146 303 0 4116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17684 [startup+1.50198 s] /proc/loadavg: 1.02 1.02 1.00 2/107 29657 /proc/meminfo: memFree=1685780/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=17948 CPUtime=1.49 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 5982 0 0 0 146 3 0 0 25 0 1 0 24714707 18378752 3840 1992294400 134512640 135751879 4288842496 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 4487 3840 146 303 0 4182 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17948 [startup+3.10109 s] /proc/loadavg: 1.02 1.02 1.00 3/107 29657 /proc/meminfo: memFree=1684664/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=20328 CPUtime=3.09 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 6555 0 0 0 305 4 0 0 25 0 1 0 24714707 20815872 4413 1992294400 134512640 135751879 4288842496 18446744073709551615 134608380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 5082 4413 147 303 0 4777 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20328 [startup+6.3013 s] /proc/loadavg: 1.02 1.02 1.00 2/107 29658 /proc/meminfo: memFree=1678216/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=27108 CPUtime=6.29 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 8252 0 0 0 622 7 0 0 25 0 1 0 24714707 27758592 6110 1992294400 134512640 135751879 4288842496 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 6777 6110 147 303 0 6472 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27108 [startup+12.7007 s] /proc/loadavg: 1.02 1.02 1.00 2/107 29658 /proc/meminfo: memFree=1666188/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=38420 CPUtime=12.68 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 11091 0 0 0 1256 12 0 0 25 0 1 0 24714707 39342080 8949 1992294400 134512640 135751879 4288842496 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 9605 8949 147 303 0 9300 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38420 [startup+25.5016 s] /proc/loadavg: 1.01 1.02 1.00 2/107 29658 /proc/meminfo: memFree=1646100/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=57400 CPUtime=25.49 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 15844 0 0 0 2527 22 0 0 25 0 1 0 24714707 58777600 13702 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 14350 13702 147 303 0 14045 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57400 [startup+51.1013 s] /proc/loadavg: 1.01 1.02 1.00 2/107 29658 /proc/meminfo: memFree=1615720/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=88288 CPUtime=51.08 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 23542 0 0 0 5067 41 0 0 25 0 1 0 24714707 90406912 21400 1992294400 134512640 135751879 4288842496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 22072 21400 147 303 0 21767 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88288 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29660 /proc/meminfo: memFree=1559796/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=143464 CPUtime=102.27 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 37327 0 0 0 10156 71 0 0 25 0 1 0 24714707 146907136 35185 1992294400 134512640 135751879 4288842496 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 35866 35185 147 303 0 35561 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 143464 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29662 /proc/meminfo: memFree=1506600/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=197092 CPUtime=162.25 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 50693 0 0 0 16122 103 0 0 25 0 1 0 24714707 201822208 48551 1992294400 134512640 135751879 4288842496 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 49273 48551 147 303 0 48968 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 197092 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29671 /proc/meminfo: memFree=1488372/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=222.23 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56835 0 0 0 22104 119 0 0 25 0 1 0 24714707 217882624 52674 1992294400 134512640 135751879 4288842496 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52674 151 303 0 52889 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 212776 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29673 /proc/meminfo: memFree=1488372/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=282.21 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56836 0 0 0 28097 124 0 0 25 0 1 0 24714707 217882624 52675 1992294400 134512640 135751879 4288842496 18446744073709551615 134609872 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52675 151 303 0 52889 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 212776 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29675 /proc/meminfo: memFree=1488496/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=342.21 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56836 0 0 0 34090 131 0 0 25 0 1 0 24714707 217882624 52675 1992294400 134512640 135751879 4288842496 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52675 151 303 0 52889 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 212776 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29677 /proc/meminfo: memFree=1488496/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=402.18 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56836 0 0 0 40083 135 0 0 25 0 1 0 24714707 217882624 52675 1992294400 134512640 135751879 4288842496 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52675 151 303 0 52889 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 212776 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29679 /proc/meminfo: memFree=1488496/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=462.18 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56836 0 0 0 46078 140 0 0 25 0 1 0 24714707 217882624 52675 1992294400 134512640 135751879 4288842496 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52675 151 303 0 52889 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 212776 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29679 /proc/meminfo: memFree=1488620/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=522.16 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56837 0 0 0 52072 144 0 0 25 0 1 0 24714707 217882624 52676 1992294400 134512640 135751879 4288842496 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52676 151 303 0 52889 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 212776 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29681 /proc/meminfo: memFree=1488620/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=582.15 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56838 0 0 0 58068 147 0 0 25 0 1 0 24714707 217882624 52677 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52677 151 303 0 52889 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 212776 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29683 /proc/meminfo: memFree=1488496/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=642.14 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56838 0 0 0 64063 151 0 0 25 0 1 0 24714707 217882624 52677 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52677 151 303 0 52889 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 212776 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 29689 /proc/meminfo: memFree=1488372/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=882.08 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56848 0 0 0 88041 167 0 0 25 0 1 0 24714707 217882624 52687 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52687 151 303 0 52889 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 212776 [startup+942.301 s] /proc/loadavg: 1.04 1.01 1.00 2/107 29691 /proc/meminfo: memFree=1488248/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=942.07 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56854 0 0 0 94034 173 0 0 25 0 1 0 24714707 217882624 52693 1992294400 134512640 135751879 4288842496 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52693 151 303 0 52889 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 212776 [startup+1002.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 29693 /proc/meminfo: memFree=1488248/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=1002.06 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56854 0 0 0 100025 181 0 0 25 0 1 0 24714707 217882624 52693 1992294400 134512640 135751879 4288842496 18446744073709551615 134605951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52693 151 303 0 52889 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 212776 [startup+1062.3 s] /proc/loadavg: 1.05 1.03 1.00 3/107 29695 /proc/meminfo: memFree=1488124/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=1062.05 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56855 0 0 0 106013 192 0 0 25 0 1 0 24714707 217882624 52694 1992294400 134512640 135751879 4288842496 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52694 151 303 0 52889 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 212776 [startup+1122.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 29695 /proc/meminfo: memFree=1488000/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=212776 CPUtime=1122.03 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 56856 0 0 0 112004 199 0 0 25 0 1 0 24714707 217882624 52695 1992294400 134512640 135751879 4288842496 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 53194 52695 151 303 0 52889 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 212776 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29697 /proc/meminfo: memFree=1463820/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=238036 CPUtime=1182.02 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 63164 0 0 0 117993 209 0 0 25 0 1 0 24714707 243748864 59003 1992294400 134512640 135751879 4288842496 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 59509 59003 151 303 0 59204 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 238036 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29699 /proc/meminfo: memFree=1437160/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=264256 CPUtime=1242.01 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 69721 0 0 0 123983 218 0 0 25 0 1 0 24714707 270598144 65560 1992294400 134512640 135751879 4288842496 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 66064 65560 151 303 0 65759 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 264256 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29701 /proc/meminfo: memFree=1411740/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=289384 CPUtime=1302 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 75982 0 0 0 129975 225 0 0 25 0 1 0 24714707 296329216 71821 1992294400 134512640 135751879 4288842496 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 72346 71821 151 303 0 72041 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 289384 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29706 /proc/meminfo: memFree=1373424/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=327392 CPUtime=1361.98 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 85479 0 0 0 135963 235 0 0 25 0 1 0 24714707 335249408 81318 1992294400 134512640 135751879 4288842496 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 81848 81318 151 303 0 81543 0 Current children cumulated CPU time (s) 1361.98 Current children cumulated vsize (KiB) 327392 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29706 /proc/meminfo: memFree=1342300/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=358388 CPUtime=1421.97 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 93220 0 0 0 141951 246 0 0 25 0 1 0 24714707 366989312 89059 1992294400 134512640 135751879 4288842496 18446744073709551615 134606030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 89597 89059 151 303 0 89292 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 358388 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29708 /proc/meminfo: memFree=1312540/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=388100 CPUtime=1481.95 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 100680 0 0 0 147939 256 0 0 25 0 1 0 24714707 397414400 96519 1992294400 134512640 135751879 4288842496 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 97025 96519 151 303 0 96720 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 388100 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29710 /proc/meminfo: memFree=1285508/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=415164 CPUtime=1541.94 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 107433 0 0 0 153928 266 0 0 25 0 1 0 24714707 425127936 103272 1992294400 134512640 135751879 4288842496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 103791 103272 151 303 0 103486 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 415164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29712 /proc/meminfo: memFree=1262940/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=437876 CPUtime=1601.92 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 113081 0 0 0 159917 275 0 0 25 0 1 0 24714707 448385024 108920 1992294400 134512640 135751879 4288842496 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 109469 108920 151 303 0 109164 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 437876 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29714 /proc/meminfo: memFree=1234668/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=466104 CPUtime=1661.92 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 120133 0 0 0 165902 290 0 0 25 0 1 0 24714707 477290496 115972 1992294400 134512640 135751879 4288842496 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 116526 115972 151 303 0 116221 0 Current children cumulated CPU time (s) 1661.92 Current children cumulated vsize (KiB) 466104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29714 /proc/meminfo: memFree=1217680/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=483228 CPUtime=1721.9 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 124412 0 0 0 171890 300 0 0 25 0 1 0 24714707 494825472 120251 1992294400 134512640 135751879 4288842496 18446744073709551615 134620419 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 120807 120251 151 303 0 120502 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 483228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1196228/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=504420 CPUtime=1781.89 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 129691 0 0 0 177878 311 0 0 25 0 1 0 24714707 516526080 125530 1992294400 134512640 135751879 4288842496 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 126105 125530 151 303 0 125800 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 504420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29716 /proc/meminfo: memFree=1187052/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=513588 CPUtime=1800.09 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 131990 0 0 0 179696 313 0 0 25 0 1 0 24714707 525914112 127829 1992294400 134512640 135751879 4288842496 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 128397 127829 151 303 0 128092 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 513588 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 1.00 2/107 29716 /proc/meminfo: memFree=1187052/2059040 swapFree=4122596/4192956 [pid=29655] ppid=29653 vsize=513588 CPUtime=1800.09 /proc/29655/stat : 29655 (wbo1.4b) R 29653 29655 29244 0 -1 4202496 131990 0 0 0 179696 313 0 0 25 0 1 0 24714707 525914112 127829 1992294400 134512640 135751879 4288842496 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29655/statm: 128397 127829 151 303 0 128092 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 513588 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.56 CPU time (s): 1800.15 CPU user time (s): 1796.97 CPU system time (s): 3.18551 CPU usage (%): 99.9773 Max. virtual memory (cumulated for all children) (KiB): 513588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 3.18552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 131990 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= 6 involuntary context switches= 2803 runsolver used 2.99654 second user time and 8.48871 second system time The end
Begin job on node052 at 2010-07-08 06:57:59 IDJOB=2702378 IDBENCH=48124 IDSOLVER=1161 FILE ID=node052/2702378-1278565079 PBS_JOBID= 11239565 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.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-2702378-1278565079/watcher-2702378-1278565079 -o /tmp/evaluation-result-2702378-1278565079/solver-2702378-1278565079 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702378-1278565079.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827 RANDOM SEED=380963560 node052.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.213 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.42 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.213 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1703676 kB Buffers: 48384 kB Cached: 201440 kB SwapCached: 24980 kB Active: 110460 kB Inactive: 166460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1703676 kB SwapTotal: 4192956 kB SwapFree: 4122596 kB Dirty: 3204 kB Writeback: 0 kB AnonPages: 11552 kB Mapped: 8416 kB Slab: 56560 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181416 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-2702378-1278565079.opb Free space on /tmp at the end= 62532 MiB End job on node052 at 2010-07-08 07:28:03