Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb |
MD5SUM | 98317fc891a56a06b9f6f284bcd4ad38 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 16.0286 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2701925-1278546258.opb. 0.00/0.00 c Instance file HOME/instance-2701925-1278546258.opb 0.00/0.00 c File size is 48923 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 864 | 0.00/0.01 c | Number Clauses: 648 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 673 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 864 1321 5535 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 864 1321 5535 | 5500 100 83 | 0.001 % | 0.00/0.02 c | 251 | 864 1321 5535 | 6050 251 84 | 0.001 % | 0.00/0.04 c | 477 | 864 1321 5535 | 6655 477 83 | 0.000 % | 0.04/0.06 c | 814 | 864 1321 5535 | 7320 814 78 | 0.000 % | 0.09/0.10 c | 1321 | 864 1321 5535 | 8052 1321 77 | 0.001 % | 0.09/0.19 c | 2081 | 864 1321 5535 | 8857 2081 70 | 0.000 % | 0.29/0.34 c | 3221 | 864 1321 5535 | 9743 3221 68 | 0.000 % | 0.49/0.53 c | 4930 | 864 1321 5535 | 10717 4930 65 | 0.000 % | 0.79/0.83 c | 7493 | 864 1321 5535 | 11789 7493 74 | 0.001 % | 1.29/1.31 c | 11337 | 864 1321 5535 | 12968 11337 70 | 0.001 % | 1.89/1.97 c | 17103 | 864 1321 5535 | 14265 10319 67 | 0.000 % | 3.49/3.58 c | 25753 | 864 1321 5535 | 15692 11617 59 | 0.000 % | 6.39/6.44 c | 38727 | 864 1321 5535 | 17261 8748 51 | 0.000 % | 9.29/9.34 c | 58189 | 864 1321 5535 | 18987 10351 73 | 0.000 % | 14.78/14.82 c | 87381 | 864 1321 5535 | 20886 10556 65 | 0.000 % | 23.09/23.18 c | 131173 | 864 1321 5535 | 22974 11821 50 | 0.000 % | 37.08/37.17 c | 196858 | 864 1321 5535 | 25272 16284 38 | 0.000 % | 53.87/53.91 c =============================================================================== 53.87/53.91 c New solution: 257 53.87/53.91 o 257 53.87/53.91 c Elapsed CPU time: 53.0259 s Remaining CPU time: 126.974 s 53.87/53.91 c =============================================================================== 53.87/53.91 c | 287457 | 864 1322 5544 | 5000 18209 64 | 0.000 % | 53.87/53.98 c | 287559 | 864 1322 5544 | 5500 4655 64 | 0.000 % | 53.87/53.99 c | 287710 | 864 1322 5544 | 6050 4806 64 | 0.000 % | 53.97/54.01 c | 287936 | 864 1322 5544 | 6655 5032 63 | 0.000 % | 53.97/54.04 c | 288274 | 864 1322 5544 | 7320 5370 62 | 0.000 % | 53.97/54.09 c | 288781 | 864 1322 5544 | 8052 5877 64 | 0.000 % | 54.07/54.17 c | 289541 | 864 1322 5544 | 8857 6637 65 | 0.000 % | 54.17/54.28 c | 290680 | 864 1322 5544 | 9743 7776 67 | 0.000 % | 54.37/54.44 c | 292388 | 864 1322 5544 | 10717 9484 67 | 0.001 % | 54.67/54.72 c | 294950 | 864 1322 5544 | 11789 6385 72 | 0.000 % | 55.07/55.12 c | 298795 | 864 1322 5544 | 12968 10230 72 | 0.000 % | 55.77/55.84 c | 304561 | 864 1322 5544 | 14265 9204 57 | 0.000 % | 56.77/56.82 c | 313211 | 864 1322 5544 | 15692 10628 53 | 0.000 % | 58.37/58.45 c | 326185 | 864 1322 5544 | 17261 15678 49 | 0.000 % | 63.27/63.37 c | 345646 | 864 1322 5544 | 18987 8868 56 | 0.000 % | 68.87/68.90 c | 374839 | 864 1322 5544 | 20886 18824 51 | 0.000 % | 78.96/79.02 c | 418629 | 864 1322 5544 | 22974 20346 49 | 0.001 % | 96.86/96.98 c | 484314 | 864 1322 5544 | 25272 11940 45 | 0.000 % | 106.15/106.21 c =============================================================================== 106.15/106.21 c New solution: 3 106.15/106.21 o 3 106.15/106.21 c Elapsed CPU time: 104.644 s Remaining CPU time: 75.3559 s 106.15/106.21 c =============================================================================== 106.15/106.21 c | 537281 | 863 1323 5553 | 5000 21054 54 | 0.000 % | 106.15/106.28 c | 537381 | 774 1323 5553 | 5500 2732 59 | 10.418 % | 106.15/106.29 c | 537531 | 774 1323 5553 | 6050 2882 61 | 10.417 % | 106.25/106.32 c | 537756 | 774 1323 5553 | 6655 3107 62 | 10.417 % | 106.25/106.35 c | 538093 | 774 1323 5553 | 7320 3444 63 | 10.417 % | 106.36/106.40 c | 538599 | 774 1323 5553 | 8052 3950 64 | 10.418 % | 106.36/106.47 c | 539359 | 774 1323 5553 | 8857 4710 64 | 10.417 % | 106.56/106.60 c | 540499 | 774 1323 5553 | 9743 5850 67 | 10.418 % | 106.86/106.91 c | 542208 | 774 1323 5553 | 10717 7559 64 | 10.417 % | 107.15/107.21 c | 544771 | 774 1323 5553 | 11789 10122 65 | 10.418 % | 107.56/107.61 c | 548615 | 774 1323 5553 | 12968 7846 63 | 10.417 % | 108.56/108.63 c | 554381 | 774 1323 5553 | 14265 13612 64 | 10.417 % | 110.75/110.88 c | 563030 | 774 1323 5553 | 15692 7814 38 | 10.417 % | 114.06/114.18 c | 576004 | 774 1323 5553 | 17261 12853 39 | 10.417 % | 117.95/118.08 c | 595465 | 774 1323 5553 | 18987 14609 57 | 10.417 % | 125.36/125.43 c | 624657 | 774 1323 5553 | 20886 14762 37 | 10.418 % | 133.34/133.43 c | 668447 | 774 1323 5553 | 22974 15397 65 | 10.417 % | 149.14/149.24 c | 734132 | 774 1323 5553 | 25272 18228 54 | 10.417 % | 173.43/173.57 c | 832658 | 774 1323 5553 | 27799 13037 54 | 10.417 % | 182.43/182.56 c There are 90 assigned variables. 9 in cost function. 183.12/183.23 c ============================[ Search Statistics ]============================== 183.12/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.23 c =============================================================================== 183.12/183.23 c | 0 | 774 1266 4896 | 5000 0 nan | 0.000 % | 183.22/183.37 c | 101 | 774 1266 4896 | 5500 101 76 | 10.417 % | 183.22/183.38 c | 252 | 774 1266 4896 | 6050 252 78 | 10.418 % | 183.33/183.40 c | 479 | 774 1266 4896 | 6655 479 81 | 10.417 % | 183.33/183.43 c | 817 | 774 1266 4896 | 7320 817 80 | 10.418 % | 183.33/183.48 c | 1324 | 774 1266 4896 | 8052 1324 78 | 10.417 % | 183.43/183.58 c | 2083 | 774 1266 4896 | 8857 2083 72 | 10.417 % | 183.64/183.76 c | 3223 | 774 1266 4896 | 9743 3223 68 | 10.417 % | 184.02/184.10 c | 4931 | 774 1266 4896 | 10717 4931 62 | 10.417 % | 184.43/184.59 c | 7493 | 774 1266 4896 | 11789 7493 62 | 10.417 % | 185.62/185.77 c | 11337 | 774 1266 4896 | 12968 11337 63 | 10.417 % | 186.83/186.98 c | 17104 | 774 1266 4896 | 14265 10441 66 | 10.417 % | 188.72/188.82 c | 25754 | 774 1266 4896 | 15692 11678 69 | 10.418 % | 190.73/190.88 c | 38729 | 774 1266 4896 | 17261 8603 45 | 10.417 % | 195.23/195.36 c | 58190 | 774 1266 4896 | 18987 10566 50 | 10.417 % | 200.92/201.00 c | 87382 | 774 1266 4896 | 20886 10203 76 | 10.417 % | 212.12/212.25 c | 131171 | 774 1266 4896 | 22974 10803 53 | 10.418 % | 230.32/230.45 c | 196857 | 774 1266 4896 | 25272 12992 34 | 10.417 % | 249.11/249.20 c | 295384 | 774 1266 4896 | 27799 22172 55 | 10.417 % | 310.29/310.48 c | 443173 | 774 1266 4896 | 30579 15229 50 | 10.417 % | 393.06/393.21 c | 664857 | 774 1266 4896 | 33637 22422 52 | 10.417 % | 536.71/536.90 c | 997382 | 774 1266 4896 | 37001 13598 41 | 10.417 % | 727.65/727.95 c | 1496170 | 774 1266 4896 | 40701 18072 53 | 10.417 % | 1055.43/1055.87 c | 2244352 | 773 1266 4896 | 44771 27277 40 | 10.534 % | 1598.97/1599.56 c | 3366626 | 773 1266 4896 | 49248 37178 50 | 10.533 % |
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-2701925-1278546258/watcher-2701925-1278546258 -o /tmp/evaluation-result-2701925-1278546258/solver-2701925-1278546258 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701925-1278546258.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: 0.36 0.09 0.03 3/106 28846 /proc/meminfo: memFree=1610604/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=2764 CPUtime=0 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 322 0 0 0 0 0 0 0 19 0 1 0 22829156 2830336 240 1992294400 134512640 135752675 4292031856 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 691 240 140 303 0 374 0 [startup+0.050001 s] /proc/loadavg: 0.36 0.09 0.03 3/106 28846 /proc/meminfo: memFree=1610604/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=2980 CPUtime=0.04 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 418 0 0 0 4 0 0 0 18 0 1 0 22829156 3051520 324 1992294400 134512640 135752675 4292031856 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 745 324 145 303 0 440 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2980 [startup+0.101002 s] /proc/loadavg: 0.36 0.09 0.03 3/106 28846 /proc/meminfo: memFree=1610604/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=3368 CPUtime=0.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 495 0 0 0 9 0 0 0 18 0 1 0 22829156 3448832 401 1992294400 134512640 135752675 4292031856 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 842 401 145 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.301007 s] /proc/loadavg: 0.36 0.09 0.03 3/106 28846 /proc/meminfo: memFree=1610604/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=4016 CPUtime=0.29 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 655 0 0 0 29 0 0 0 18 0 1 0 22829156 4112384 561 1992294400 134512640 135752675 4292031856 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 1004 561 145 303 0 699 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4016 [startup+0.701017 s] /proc/loadavg: 0.36 0.09 0.03 3/106 28846 /proc/meminfo: memFree=1610604/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=5452 CPUtime=0.69 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 1019 0 0 0 68 1 0 0 18 0 1 0 22829156 5582848 925 1992294400 134512640 135752675 4292031856 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 1363 925 145 303 0 1058 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5452 [startup+1.50004 s] /proc/loadavg: 0.36 0.09 0.03 2/107 28847 /proc/meminfo: memFree=1606752/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=7632 CPUtime=1.49 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 1562 0 0 0 146 3 0 0 19 0 1 0 22829156 7815168 1468 1992294400 134512640 135752675 4292031856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 1908 1468 145 303 0 1603 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7632 [startup+3.10008 s] /proc/loadavg: 0.36 0.09 0.03 2/107 28847 /proc/meminfo: memFree=1603032/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=11764 CPUtime=3.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 2595 0 0 0 303 6 0 0 25 0 1 0 22829156 12046336 2501 1992294400 134512640 135752675 4292031856 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 2941 2501 145 303 0 2636 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11764 [startup+6.30016 s] /proc/loadavg: 0.41 0.11 0.03 2/107 28847 /proc/meminfo: memFree=1597948/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=16180 CPUtime=6.28 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 3691 0 0 0 618 10 0 0 25 0 1 0 22829156 16568320 3597 1992294400 134512640 135752675 4292031856 18446744073709551615 134611609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 4045 3597 145 303 0 3740 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16180 [startup+12.7003 s] /proc/loadavg: 0.45 0.12 0.04 2/107 28848 /proc/meminfo: memFree=1582324/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=31852 CPUtime=12.68 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 7611 0 0 0 1243 25 0 0 25 0 1 0 22829156 32616448 7517 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 7963 7517 145 303 0 7658 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31852 [startup+25.5006 s] /proc/loadavg: 0.58 0.16 0.05 2/107 28848 /proc/meminfo: memFree=1560748/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=52744 CPUtime=25.48 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 12830 0 0 0 2505 43 0 0 25 0 1 0 22829156 54009856 12736 1992294400 134512640 135752675 4292031856 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 13186 12736 145 303 0 12881 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52744 [startup+51.1003 s] /proc/loadavg: 0.72 0.23 0.08 2/107 28849 /proc/meminfo: memFree=1517224/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=96432 CPUtime=51.07 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 23740 0 0 0 5024 83 0 0 25 0 1 0 22829156 98746368 23646 1992294400 134512640 135752675 4292031856 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 24108 23646 145 303 0 23803 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96432 [startup+102.309 s] /proc/loadavg: 0.92 0.36 0.13 2/107 28850 /proc/meminfo: memFree=1449892/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=163280 CPUtime=102.26 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 40391 0 0 0 10080 146 0 0 25 0 1 0 22829156 167198720 40297 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 40820 40297 145 303 0 40515 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 163280 [startup+162.3 s] /proc/loadavg: 0.97 0.47 0.18 2/107 28852 /proc/meminfo: memFree=1367308/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=246488 CPUtime=162.23 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 61156 0 0 0 15999 224 0 0 25 0 1 0 22829156 252403712 61062 1992294400 134512640 135752675 4292031856 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 61622 61062 145 303 0 61317 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 246488 [startup+222.301 s] /proc/loadavg: 0.99 0.57 0.23 2/107 28853 /proc/meminfo: memFree=1311260/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=301348 CPUtime=222.22 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 74967 0 0 0 21929 293 0 0 25 0 1 0 22829156 308580352 74845 1992294400 134512640 135752675 4292031856 18446744073709551615 134650467 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 75337 74845 146 303 0 75032 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 301348 [startup+282.301 s] /proc/loadavg: 0.99 0.64 0.27 2/107 28855 /proc/meminfo: memFree=1264884/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=347988 CPUtime=282.2 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 86594 0 0 0 27863 357 0 0 25 0 1 0 22829156 356339712 86472 1992294400 134512640 135752675 4292031856 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 86997 86472 146 303 0 86692 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 347988 [startup+342.301 s] /proc/loadavg: 0.99 0.71 0.32 2/107 28857 /proc/meminfo: memFree=1226444/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=386256 CPUtime=342.18 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 96150 0 0 0 33810 408 0 0 25 0 1 0 22829156 395526144 96028 1992294400 134512640 135752675 4292031856 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 96564 96028 146 303 0 96259 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 386256 [startup+402.302 s] /proc/loadavg: 0.99 0.76 0.36 2/107 28858 /proc/meminfo: memFree=1189864/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=423740 CPUtime=402.16 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 105484 0 0 0 39752 464 0 0 25 0 1 0 22829156 433909760 105362 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 105935 105362 146 303 0 105630 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 423740 [startup+462.301 s] /proc/loadavg: 0.99 0.80 0.39 2/107 28860 /proc/meminfo: memFree=1153284/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=459368 CPUtime=462.14 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 114371 0 0 0 45703 511 0 0 25 0 1 0 22829156 470392832 114249 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 114842 114249 146 303 0 114537 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 459368 [startup+522.302 s] /proc/loadavg: 0.99 0.83 0.43 2/107 28861 /proc/meminfo: memFree=1124764/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=488060 CPUtime=522.12 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 121512 0 0 0 51663 549 0 0 25 0 1 0 22829156 499773440 121390 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 122015 121390 146 303 0 121710 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 488060 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.46 2/107 28863 /proc/meminfo: memFree=1082356/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=530584 CPUtime=582.1 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 132067 0 0 0 57614 596 0 0 25 0 1 0 22829156 543318016 131945 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 132646 131945 146 303 0 132341 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 530584 [startup+642.302 s] /proc/loadavg: 1.05 0.90 0.50 2/107 28865 /proc/meminfo: memFree=1039824/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=572976 CPUtime=642.09 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 142613 0 0 0 63568 641 0 0 25 0 1 0 22829156 586727424 142491 1992294400 134512640 135752675 4292031856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 143244 142491 146 303 0 142939 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 572976 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.95 0.60 2/107 28871 /proc/meminfo: memFree=842292/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=770316 CPUtime=882.01 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 191861 0 0 0 87350 851 0 0 25 0 1 0 22829156 788803584 191739 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 192579 191739 146 303 0 192274 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 770316 [startup+942.3 s] /proc/loadavg: 1.00 0.95 0.62 2/107 28873 /proc/meminfo: memFree=813772/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=798920 CPUtime=941.99 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 198987 0 0 0 93305 894 0 0 25 0 1 0 22829156 818094080 198865 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 199730 198865 146 303 0 199425 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 798920 [startup+1002.3 s] /proc/loadavg: 1.00 0.96 0.64 2/107 28874 /proc/meminfo: memFree=788600/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=823988 CPUtime=1001.97 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 205252 0 0 0 99268 929 0 0 25 0 1 0 22829156 843763712 205130 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 205997 205130 146 303 0 205692 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 823988 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.66 2/107 28884 /proc/meminfo: memFree=751152/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=861080 CPUtime=1061.93 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 214527 0 0 0 105220 973 0 0 25 0 1 0 22829156 881745920 214405 1992294400 134512640 135752675 4292031856 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 215270 214405 146 303 0 214965 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 861080 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/107 28886 /proc/meminfo: memFree=698700/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=913352 CPUtime=1121.92 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 227551 0 0 0 111164 1028 0 0 25 0 1 0 22829156 935272448 227429 1992294400 134512640 135752675 4292031856 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 228338 227429 146 303 0 228033 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 913352 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.70 2/107 28888 /proc/meminfo: memFree=673404/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=939072 CPUtime=1181.89 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 233925 0 0 0 117124 1065 0 0 25 0 1 0 22829156 961609728 233803 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 234768 233803 146 303 0 234463 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 939072 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.72 2/107 28890 /proc/meminfo: memFree=647612/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=964828 CPUtime=1241.88 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 240324 0 0 0 123086 1102 0 0 25 0 1 0 22829156 987983872 240202 1992294400 134512640 135752675 4292031856 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 241207 240202 146 303 0 240902 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 964828 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/107 28891 /proc/meminfo: memFree=621200/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=991040 CPUtime=1301.87 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 246866 0 0 0 129048 1139 0 0 25 0 1 0 22829156 1014824960 246744 1992294400 134512640 135752675 4292031856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 247760 246744 146 303 0 247455 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 991040 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 3/107 28892 /proc/meminfo: memFree=593176/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1019464 CPUtime=1361.84 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 253927 0 0 0 135002 1182 0 0 25 0 1 0 22829156 1043931136 253805 1992294400 134512640 135752675 4292031856 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 254866 253805 146 303 0 254561 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1019464 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/107 28894 /proc/meminfo: memFree=567756/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1044740 CPUtime=1421.83 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 260246 0 0 0 140966 1217 0 0 25 0 1 0 22829156 1069813760 260124 1992294400 134512640 135752675 4292031856 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 261185 260124 146 303 0 260880 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1044740 [startup+1482.3 s] /proc/loadavg: 1.05 0.99 0.77 2/107 28896 /proc/meminfo: memFree=541840/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1070820 CPUtime=1481.8 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 266786 0 0 0 146926 1254 0 0 25 0 1 0 22829156 1096519680 266664 1992294400 134512640 135752675 4292031856 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 267705 266664 146 303 0 267400 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1070820 [startup+1542.3 s] /proc/loadavg: 1.02 0.99 0.78 2/107 28898 /proc/meminfo: memFree=515428/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1096988 CPUtime=1541.78 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 273300 0 0 0 152885 1293 0 0 25 0 1 0 22829156 1123315712 273178 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 274247 273178 146 303 0 273942 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1096988 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.80 2/107 28899 /proc/meminfo: memFree=477732/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1135220 CPUtime=1601.77 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 282846 0 0 0 158838 1339 0 0 25 0 1 0 22829156 1162465280 282724 1992294400 134512640 135752675 4292031856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 283805 282724 146 303 0 283500 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1135220 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.81 2/107 28901 /proc/meminfo: memFree=435696/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1176728 CPUtime=1661.75 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 293189 0 0 0 164793 1382 0 0 25 0 1 0 22829156 1204969472 293067 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 294182 293067 146 303 0 293877 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1176728 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.82 2/107 28902 /proc/meminfo: memFree=413996/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1198476 CPUtime=1721.72 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 298603 0 0 0 170762 1410 0 0 25 0 1 0 22829156 1227239424 298481 1992294400 134512640 135752675 4292031856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 299619 298481 146 303 0 299314 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1198476 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.82 2/107 28904 /proc/meminfo: memFree=387584/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1224796 CPUtime=1781.7 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 305142 0 0 0 176723 1447 0 0 25 0 1 0 22829156 1254191104 305020 1992294400 134512640 135752675 4292031856 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 306199 305020 146 303 0 305894 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1224796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.83 2/107 28904 /proc/meminfo: memFree=378780/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=1233376 CPUtime=1800.02 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4202496 307298 0 0 0 178545 1457 0 0 25 0 1 0 22829156 1262977024 307176 1992294400 134512640 135752675 4292031856 18446744073709551615 134612030 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28846/statm: 308344 307176 146 303 0 308039 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1233376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 0.99 0.83 2/107 28904 /proc/meminfo: memFree=378780/2059040 swapFree=4165008/4192956 [pid=28846] ppid=28844 vsize=0 CPUtime=1800.12 /proc/28846/stat : 28846 (wbo1.4b) R 28844 28846 28566 0 -1 4203524 307298 0 0 0 178545 1467 0 0 25 0 1 0 22829156 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/28846/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.13 CPU user time (s): 1785.45 CPU system time (s): 14.6798 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 1233376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.45 system time used= 14.6798 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307298 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= 3 involuntary context switches= 7428 runsolver used 3.00254 second user time and 8.49871 second system time The end
Begin job on node049 at 2010-07-08 01:44:18 IDJOB=2701925 IDBENCH=47897 IDSOLVER=1190 FILE ID=node049/2701925-1278546258 PBS_JOBID= 11239492 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.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-2701925-1278546258/watcher-2701925-1278546258 -o /tmp/evaluation-result-2701925-1278546258/solver-2701925-1278546258 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701925-1278546258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38 RANDOM SEED=1941993042 node049.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.266 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.53 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.266 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1611380 kB Buffers: 58100 kB Cached: 265692 kB SwapCached: 1172 kB Active: 135748 kB Inactive: 221080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1611380 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 31896 kB Mapped: 14356 kB Slab: 68688 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181796 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2701925-1278546258.opb Free space on /tmp at the end= 62480 MiB End job on node049 at 2010-07-08 02:14:21