Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | OPT | 1 | 1583.92 | 1584.45 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_4.opb |
MD5SUM | 1757d8d914b8f8f6b2c05049538ae81a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 130.767 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
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 | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 869 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 3118 |
Number of bits of the biggest sum of numbers | 12 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 8/0 clauses 0/0 units 0 0.00/0.00 c vars 94 0.00/0.00 c objective 64 + 0 0.00/0.04 c 0.041993 4.78906 202 403 0.00/0.04 o 885 0.00/0.04 c 0.042993 4.94531 203 469 0.00/0.04 o 869 0.00/0.04 c 0.042993 4.94531 203 527 0.00/0.04 o 865 0.00/0.04 c 0.043993 4.94531 203 583 0.00/0.05 o 853 0.00/0.05 c 0.043993 4.94531 204 644 0.00/0.05 o 851 0.00/0.05 c 0.044993 4.94531 205 711 0.00/0.05 o 613 0.00/0.05 c 0.045993 4.94531 206 767 0.00/0.05 o 611 0.00/0.05 c 0.046992 4.94531 206 824 0.00/0.05 o 515 0.00/0.05 c 0.047992 4.94531 206 881 0.00/0.05 o 481 0.00/0.05 c 0.048992 4.94531 209 938 0.00/0.05 o 469 0.00/0.05 c 0.048992 4.94531 210 990 0.00/0.05 o 465 0.00/0.05 c 0.049992 4.94531 211 1037 0.00/0.05 o 463 0.00/0.06 c 0.050992 4.94531 212 1081 0.00/0.06 o 461 0.00/0.06 c 0.053991 4.94531 228 1151 0.00/0.06 o 423 0.00/0.06 c 0.053991 4.94531 229 1201 0.00/0.06 o 219 0.00/0.07 c 0.06099 4.94531 271 1297 0.00/0.07 o 167 0.00/0.08 c 0.066989 5.08984 340 1419 0.00/0.08 o 163 0.00/0.08 c 0.068989 5.08984 177 1475 0.00/0.08 o 159 0.00/0.09 c 0.073988 5.08984 205 1547 0.00/0.09 o 156 0.00/0.09 c 0.075988 5.08984 216 1603 0.00/0.09 o 148 0.09/0.10 c 0.086986 5.08984 275 1714 0.09/0.10 o 105 0.09/0.11 c 0.090986 5.08984 305 1792 0.09/0.11 o 90 0.09/0.11 c 0.091986 5.08984 307 1843 0.09/0.11 o 51 0.09/0.11 c 0.093985 5.08984 308 1881 0.09/0.11 o 43 0.09/0.11 c 0.095985 5.08984 319 1934 0.09/0.11 o 36 0.09/0.11 c 0.097985 5.08984 328 1976 0.09/0.11 o 34 0.09/0.15 c 0.12898 5.08984 426 2332 0.09/0.15 o 25 0.09/0.15 c 0.13098 5.08984 224 2387 0.09/0.15 o 12 0.49/0.58 c 0.514921 5.08984 243 6078 0.49/0.58 o 10 0.79/0.84 c 0.736887 5.08984 344 8341 0.79/0.84 o 8 0.79/0.84 c 0.739887 5.08984 365 8387 0.79/0.84 o 6 4.69/4.74 c 4.19536 5.21875 589 39939 4.69/4.74 o 4 8.39/8.46 c 7.46886 5.21875 362 69078 8.39/8.46 o 3 9.39/9.44 c 8.33673 5.21875 587 76702 9.39/9.44 o 1 1583.87/1584.44 c 1397.51 5.80859 1271 11276240 1583.87/1584.44 s OPTIMUM FOUND 1583.87/1584.44 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 x71 -x72 x73 x74 -x75 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 x94
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682389-1277492699/watcher-2682389-1277492699 -o /tmp/evaluation-result-2682389-1277492699/solver-2682389-1277492699 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682389-1277492699.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26403 /proc/meminfo: memFree=1871936/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=3444 CPUtime=0 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 580 0 0 0 0 0 0 0 17 0 1 0 124871462 3526656 499 1992294400 134512640 136421960 4294403584 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 861 500 193 467 0 392 0 [startup+0.0971929 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26403 /proc/meminfo: memFree=1871936/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5208 CPUtime=0.08 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1037 0 0 0 7 1 0 0 17 0 1 0 124871462 5332992 936 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1302 936 236 467 0 833 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5208 [startup+0.101194 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26403 /proc/meminfo: memFree=1871936/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5208 CPUtime=0.09 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1037 0 0 0 8 1 0 0 17 0 1 0 124871462 5332992 936 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1302 936 236 467 0 833 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5208 [startup+0.301229 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26403 /proc/meminfo: memFree=1871936/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5208 CPUtime=0.29 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1057 0 0 0 26 3 0 0 17 0 1 0 124871462 5332992 948 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1302 948 236 467 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5208 [startup+0.701301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 26403 /proc/meminfo: memFree=1871936/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5208 CPUtime=0.69 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1070 0 0 0 61 8 0 0 17 0 1 0 124871462 5332992 960 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1302 960 236 467 0 833 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5208 [startup+1.50144 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868952/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5340 CPUtime=1.49 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1082 0 0 0 131 18 0 0 18 0 1 0 124871462 5468160 970 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1335 970 236 467 0 866 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5340 [startup+3.10073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868828/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5340 CPUtime=3.09 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1089 0 0 0 273 36 0 0 21 0 1 0 124871462 5468160 977 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1335 977 236 467 0 866 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5340 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868580/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5340 CPUtime=6.29 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1099 0 0 0 556 73 0 0 25 0 1 0 124871462 5468160 986 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1335 986 236 467 0 866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5340 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868456/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5468 CPUtime=12.69 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1117 0 0 0 1116 153 0 0 25 0 1 0 124871462 5599232 1002 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1367 1002 236 467 0 898 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5468 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868456/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5468 CPUtime=25.48 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1129 0 0 0 2237 311 0 0 25 0 1 0 124871462 5599232 1014 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1367 1014 236 467 0 898 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5468 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26404 /proc/meminfo: memFree=1868208/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5468 CPUtime=51.08 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1139 0 0 0 4488 620 0 0 25 0 1 0 124871462 5599232 1024 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1367 1024 236 467 0 898 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5468 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26406 /proc/meminfo: memFree=1867960/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5588 CPUtime=102.26 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1158 0 0 0 9000 1226 0 0 25 0 1 0 124871462 5722112 1043 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1397 1043 236 467 0 928 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 5588 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26408 /proc/meminfo: memFree=1867960/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5588 CPUtime=162.24 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1169 0 0 0 14300 1924 0 0 25 0 1 0 124871462 5722112 1054 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1397 1054 236 467 0 928 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 5588 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26410 /proc/meminfo: memFree=1867960/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5588 CPUtime=222.21 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1173 0 0 0 19570 2651 0 0 25 0 1 0 124871462 5722112 1058 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1397 1058 236 467 0 928 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 5588 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26410 /proc/meminfo: memFree=1867960/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5588 CPUtime=282.19 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1176 0 0 0 24872 3347 0 0 25 0 1 0 124871462 5722112 1061 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1397 1061 236 467 0 928 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 5588 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26412 /proc/meminfo: memFree=1867712/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=342.18 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1184 0 0 0 30163 4055 0 0 25 0 1 0 124871462 5853184 1069 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1069 236 467 0 960 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 5716 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26414 /proc/meminfo: memFree=1867712/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=402.15 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1191 0 0 0 35446 4769 0 0 25 0 1 0 124871462 5853184 1076 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1076 236 467 0 960 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 5716 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26416 /proc/meminfo: memFree=1867712/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=462.14 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1195 0 0 0 40739 5475 0 0 25 0 1 0 124871462 5853184 1080 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1080 236 467 0 960 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 5716 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26418 /proc/meminfo: memFree=1867588/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=522.12 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1198 0 0 0 46028 6184 0 0 25 0 1 0 124871462 5853184 1083 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1083 236 467 0 960 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 5716 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26421 /proc/meminfo: memFree=1866968/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=582.09 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1202 0 0 0 51312 6897 0 0 25 0 1 0 124871462 5853184 1087 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1087 236 467 0 960 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 5716 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26423 /proc/meminfo: memFree=1866968/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5716 CPUtime=642.09 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1202 0 0 0 56598 7611 0 0 25 0 1 0 124871462 5853184 1087 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1429 1087 236 467 0 960 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 5716 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1866968/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=941.98 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1226 0 0 0 83065 11133 0 0 25 0 1 0 124871462 5984256 1111 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1111 236 467 0 992 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 5844 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26433 /proc/meminfo: memFree=1866968/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1001.96 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1230 0 0 0 88361 11835 0 0 25 0 1 0 124871462 5984256 1115 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1115 236 467 0 992 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 5844 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26435 /proc/meminfo: memFree=1866968/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1061.94 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1231 0 0 0 93657 12537 0 0 25 0 1 0 124871462 5984256 1116 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1116 236 467 0 992 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 5844 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26437 /proc/meminfo: memFree=1866844/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1121.92 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1235 0 0 0 98966 13226 0 0 25 0 1 0 124871462 5984256 1120 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1120 236 467 0 992 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 5844 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26437 /proc/meminfo: memFree=1866844/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1181.9 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1236 0 0 0 104243 13947 0 0 25 0 1 0 124871462 5984256 1121 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1121 236 467 0 992 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 5844 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26439 /proc/meminfo: memFree=1866720/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1241.88 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1237 0 0 0 109533 14655 0 0 25 0 1 0 124871462 5984256 1122 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1122 236 467 0 992 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 5844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26441 /proc/meminfo: memFree=1866720/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1301.86 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1237 0 0 0 114822 15364 0 0 25 0 1 0 124871462 5984256 1122 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1122 236 467 0 992 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 5844 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26443 /proc/meminfo: memFree=1866720/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5844 CPUtime=1361.85 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1239 0 0 0 120112 16073 0 0 25 0 1 0 124871462 5984256 1124 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1461 1124 236 467 0 992 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 5844 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26445 /proc/meminfo: memFree=1866720/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1421.83 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1246 0 0 0 125393 16790 0 0 25 0 1 0 124871462 6086656 1131 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1131 236 467 0 1017 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 5944 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26445 /proc/meminfo: memFree=1866720/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1481.8 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1246 0 0 0 130703 17477 0 0 25 0 1 0 124871462 6086656 1131 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1131 236 467 0 1017 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 5944 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26447 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1541.79 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1258 0 0 0 136008 18171 0 0 25 0 1 0 124871462 6086656 1143 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1143 236 467 0 1017 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 5944 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1560.97 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1258 0 0 0 137709 18388 0 0 25 0 1 0 124871462 6086656 1143 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1143 236 467 0 1017 0 Current children cumulated CPU time (s) 1560.97 Current children cumulated vsize (KiB) 5944 [startup+1574.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1573.77 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 138851 18526 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1573.77 Current children cumulated vsize (KiB) 5944 [startup+1580.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1580.18 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139422 18596 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1580.18 Current children cumulated vsize (KiB) 5944 [startup+1582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1581.77 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139561 18616 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1581.77 Current children cumulated vsize (KiB) 5944 [startup+1583.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1582.56 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139630 18626 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1582.56 Current children cumulated vsize (KiB) 5944 [startup+1583.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1583.37 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139702 18635 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1583.37 Current children cumulated vsize (KiB) 5944 [startup+1584.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1583.77 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139738 18639 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1583.77 Current children cumulated vsize (KiB) 5944 [startup+1584.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 26449 /proc/meminfo: memFree=1866596/2059040 swapFree=4136476/4192956 [pid=26403] ppid=26401 vsize=5944 CPUtime=1583.87 /proc/26403/stat : 26403 (pbct) R 26401 26403 26266 0 -1 4202496 1264 0 0 0 139747 18640 0 0 25 0 1 0 124871462 6086656 1149 1992294400 134512640 136421960 4294403584 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/26403/statm: 1486 1149 236 467 0 1017 0 Current children cumulated CPU time (s) 1583.87 Current children cumulated vsize (KiB) 5944 Child status: 0 Real time (s): 1584.45 CPU time (s): 1583.92 CPU user time (s): 1397.51 CPU system time (s): 186.407 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 5972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1397.51 system time used= 186.407 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1269 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= 1 involuntary context switches= 4037 runsolver used 2.91756 second user time and 7.17691 second system time The end
Begin job on node012 at 2010-06-25 21:04:59 IDJOB=2682389 IDBENCH=2928 IDSOLVER=1192 FILE ID=node012/2682389-1277492699 PBS_JOBID= 11190579 Free space on /tmp= 62428 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682389-1277492699/watcher-2682389-1277492699 -o /tmp/evaluation-result-2682389-1277492699/solver-2682389-1277492699 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682389-1277492699.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a RANDOM SEED=1033908298 node012.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.258 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.51 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.258 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: 1872456 kB Buffers: 18672 kB Cached: 71768 kB SwapCached: 8996 kB Active: 61508 kB Inactive: 41888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1872456 kB SwapTotal: 4192956 kB SwapFree: 4136476 kB Dirty: 1876 kB Writeback: 0 kB AnonPages: 11616 kB Mapped: 8404 kB Slab: 61024 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182724 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= 62428 MiB End job on node012 at 2010-06-25 21:31:24