Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 3 | 1427.43 | 1427.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb |
MD5SUM | 52bf383ed9b3de8fe398adacf729ec57 |
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 | 0.402938 |
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 | 54 |
Total number of constraints | 5 |
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 | 5 |
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) | 162 |
Sum of products size (including duplicates) | 324 |
Number of different products | 162 |
Sum of products size | 324 |
0.00/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 164/0 clauses 165/0 units 0 0.00/0.00 c vars 54 0.00/0.00 c objective 9 + 0 6.19/6.25 c 5.67114 8.63281 2752 109416 6.19/6.25 o 263 19.48/19.50 c 17.5753 8.80859 1270 378103 19.48/19.50 o 203 20.69/20.74 c 18.6712 8.80859 878 401086 20.69/20.74 o 193 26.78/26.87 c 24.1953 8.80859 1010 522181 26.78/26.87 o 139 31.79/31.86 c 28.6476 8.80859 1322 622084 31.79/31.86 o 29 34.78/34.86 c 31.3402 8.80859 1126 682225 34.78/34.86 o 3 1427.38/1427.83 c 1285.49 9.20312 1678 26731592 1427.38/1427.83 s OPTIMUM FOUND 1427.38/1427.83 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
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667839-1276647099/watcher-2667839-1276647099 -o /tmp/evaluation-result-2667839-1276647099/solver-2667839-1276647099 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667839-1276647099.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.89 1.52 1.27 3/106 6182 /proc/meminfo: memFree=1805292/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=3384 CPUtime=0 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 525 0 0 0 0 0 0 0 20 0 1 0 40296322 3465216 447 1992294400 134512640 136485738 4294833792 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 846 449 194 482 0 362 0 [startup+0.0743861 s] /proc/loadavg: 1.89 1.52 1.27 3/106 6182 /proc/meminfo: memFree=1805292/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=7664 CPUtime=0.06 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1609 0 0 0 6 0 0 0 20 0 1 0 40296322 7847936 1531 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 1916 1531 226 482 0 1432 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7664 [startup+0.100389 s] /proc/loadavg: 1.89 1.52 1.27 3/106 6182 /proc/meminfo: memFree=1805292/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=7664 CPUtime=0.09 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1626 0 0 0 9 0 0 0 20 0 1 0 40296322 7847936 1548 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 1916 1548 226 482 0 1432 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7664 [startup+0.300409 s] /proc/loadavg: 1.89 1.52 1.27 3/106 6182 /proc/meminfo: memFree=1805292/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=7920 CPUtime=0.29 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1690 0 0 0 26 3 0 0 20 0 1 0 40296322 8110080 1612 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 1980 1613 226 482 0 1496 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7920 [startup+0.700449 s] /proc/loadavg: 1.89 1.52 1.27 3/106 6182 /proc/meminfo: memFree=1805292/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=8312 CPUtime=0.69 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1779 0 0 0 62 7 0 0 21 0 1 0 40296322 8511488 1701 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2078 1701 226 482 0 1594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8312 [startup+1.50053 s] /proc/loadavg: 1.82 1.51 1.27 2/107 6183 /proc/meminfo: memFree=1799084/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=8440 CPUtime=1.49 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1805 0 0 0 135 14 0 0 23 0 1 0 40296322 8642560 1727 1992294400 134512640 136485738 4294833792 18446744073709551615 134880600 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2110 1727 227 482 0 1626 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8440 [startup+3.10069 s] /proc/loadavg: 1.82 1.51 1.27 2/107 6183 /proc/meminfo: memFree=1798588/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=8836 CPUtime=3.09 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1906 0 0 0 280 29 0 0 25 0 1 0 40296322 9048064 1828 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2209 1828 227 482 0 1725 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8836 [startup+6.30101 s] /proc/loadavg: 1.76 1.50 1.27 2/107 6183 /proc/meminfo: memFree=1798464/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9016 CPUtime=6.29 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1970 0 0 0 571 58 0 0 25 0 1 0 40296322 9232384 1891 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2254 1891 245 482 0 1770 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9016 [startup+12.7017 s] /proc/loadavg: 1.70 1.49 1.27 2/107 6183 /proc/meminfo: memFree=1798216/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9016 CPUtime=12.69 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1970 0 0 0 1144 125 0 0 25 0 1 0 40296322 9232384 1891 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2254 1891 245 482 0 1770 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9016 [startup+25.5009 s] /proc/loadavg: 1.54 1.47 1.26 2/107 6183 /proc/meminfo: memFree=1798216/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9016 CPUtime=25.48 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1972 0 0 0 2296 252 0 0 25 0 1 0 40296322 9232384 1891 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2254 1891 245 482 0 1770 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9016 [startup+51.1005 s] /proc/loadavg: 1.36 1.43 1.25 2/107 6183 /proc/meminfo: memFree=1798216/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9016 CPUtime=51.08 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1975 0 0 0 4593 515 0 0 25 0 1 0 40296322 9232384 1891 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2254 1891 245 482 0 1770 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9016 [startup+102.308 s] /proc/loadavg: 1.15 1.36 1.24 2/107 6185 /proc/meminfo: memFree=1798216/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9016 CPUtime=102.27 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1975 0 0 0 9201 1026 0 0 25 0 1 0 40296322 9232384 1891 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2254 1891 245 482 0 1770 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 9016 [startup+162.301 s] /proc/loadavg: 1.05 1.29 1.22 2/107 6187 /proc/meminfo: memFree=1797968/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=162.24 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1981 0 0 0 14592 1632 0 0 25 0 1 0 40296322 9383936 1897 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1897 245 482 0 1807 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 9164 [startup+222.301 s] /proc/loadavg: 1.02 1.24 1.20 2/107 6189 /proc/meminfo: memFree=1797968/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=222.23 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1983 0 0 0 20008 2215 0 0 25 0 1 0 40296322 9383936 1899 1992294400 134512640 136485738 4294833792 18446744073709551615 135038007 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1899 245 482 0 1807 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 9164 [startup+282.301 s] /proc/loadavg: 1.00 1.19 1.19 2/107 6189 /proc/meminfo: memFree=1797844/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=282.21 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1983 0 0 0 25390 2831 0 0 25 0 1 0 40296322 9383936 1899 1992294400 134512640 136485738 4294833792 18446744073709551615 134876006 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1899 245 482 0 1807 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 9164 [startup+342.301 s] /proc/loadavg: 1.00 1.15 1.17 2/107 6194 /proc/meminfo: memFree=1797348/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=342.19 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1994 0 0 0 30792 3427 0 0 25 0 1 0 40296322 9383936 1910 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1910 245 482 0 1807 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 9164 [startup+402.301 s] /proc/loadavg: 1.00 1.12 1.16 2/107 6196 /proc/meminfo: memFree=1797224/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=402.18 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1995 0 0 0 36198 4020 0 0 25 0 1 0 40296322 9383936 1911 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1911 245 482 0 1807 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 9164 [startup+462.301 s] /proc/loadavg: 1.00 1.10 1.15 2/107 6198 /proc/meminfo: memFree=1797348/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=462.16 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1997 0 0 0 41593 4623 0 0 25 0 1 0 40296322 9383936 1913 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1913 245 482 0 1807 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 9164 [startup+522.301 s] /proc/loadavg: 1.00 1.08 1.14 2/107 6200 /proc/meminfo: memFree=1797224/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=522.14 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1999 0 0 0 47011 5203 0 0 25 0 1 0 40296322 9383936 1915 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1915 245 482 0 1807 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 9164 [startup+582.301 s] /proc/loadavg: 1.00 1.06 1.13 2/107 6200 /proc/meminfo: memFree=1797224/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=582.12 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 1999 0 0 0 52419 5793 0 0 25 0 1 0 40296322 9383936 1915 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1915 245 482 0 1807 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 9164 [startup+642.301 s] /proc/loadavg: 1.00 1.05 1.12 2/107 6202 /proc/meminfo: memFree=1797100/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9164 CPUtime=642.11 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2010 0 0 0 57795 6416 0 0 25 0 1 0 40296322 9383936 1926 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2291 1926 245 482 0 1807 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 9164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1796976/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=702.09 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2033 0 0 0 63198 7011 0 0 25 0 1 0 40296322 9519104 1949 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1949 245 482 0 1840 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 9296 [startup+762.308 s] /proc/loadavg: 1.00 1.03 1.09 2/107 6206 /proc/meminfo: memFree=1796852/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=762.08 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2035 0 0 0 68600 7608 0 0 25 0 1 0 40296322 9519104 1951 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1951 245 482 0 1840 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 9296 [startup+822.301 s] /proc/loadavg: 1.00 1.02 1.09 2/107 6208 /proc/meminfo: memFree=1796976/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=822.05 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2036 0 0 0 74010 8195 0 0 25 0 1 0 40296322 9519104 1952 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1952 245 482 0 1840 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 9296 [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.08 2/107 6208 /proc/meminfo: memFree=1796852/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=882.04 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2038 0 0 0 79423 8781 0 0 25 0 1 0 40296322 9519104 1954 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1954 245 482 0 1840 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 9296 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.07 2/107 6210 /proc/meminfo: memFree=1796976/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=942.02 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2039 0 0 0 84832 9370 0 0 25 0 1 0 40296322 9519104 1955 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1955 245 482 0 1840 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 9296 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6212 /proc/meminfo: memFree=1796852/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9296 CPUtime=1001.99 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2040 0 0 0 90227 9972 0 0 25 0 1 0 40296322 9519104 1956 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2324 1956 245 482 0 1840 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 9296 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6214 /proc/meminfo: memFree=1796852/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1061.98 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2046 0 0 0 95650 10548 0 0 25 0 1 0 40296322 9646080 1962 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1962 245 482 0 1871 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 9420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 6216 /proc/meminfo: memFree=1796728/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1121.95 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2048 0 0 0 101053 11142 0 0 25 0 1 0 40296322 9646080 1964 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1964 245 482 0 1871 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 9420 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.05 2/107 6216 /proc/meminfo: memFree=1796852/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1181.94 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2049 0 0 0 106477 11717 0 0 25 0 1 0 40296322 9646080 1965 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1965 245 482 0 1871 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 9420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 6218 /proc/meminfo: memFree=1796728/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1241.92 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2051 0 0 0 111911 12281 0 0 25 0 1 0 40296322 9646080 1967 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1967 245 482 0 1871 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 9420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 6220 /proc/meminfo: memFree=1796728/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1301.91 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2051 0 0 0 117282 12909 0 0 25 0 1 0 40296322 9646080 1967 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1967 245 482 0 1871 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 9420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6222 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1361.88 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 122669 13519 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 9420 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1421.88 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128055 14133 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 9420 Solver just ended. Dumping a history of the last processes samples [startup+1423.9 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1423.47 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128196 14151 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1423.47 Current children cumulated vsize (KiB) 9420 [startup+1425.5 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1425.08 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128339 14169 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1425.08 Current children cumulated vsize (KiB) 9420 [startup+1427.1 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1426.66 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128481 14185 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1426.66 Current children cumulated vsize (KiB) 9420 [startup+1427.5 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1427.07 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128519 14188 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1427.07 Current children cumulated vsize (KiB) 9420 [startup+1427.7 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1427.28 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128537 14191 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1427.28 Current children cumulated vsize (KiB) 9420 [startup+1427.81 s] /proc/loadavg: 1.00 1.00 1.03 2/107 6224 /proc/meminfo: memFree=1796604/2059040 swapFree=4134608/4192956 [pid=6182] ppid=6180 vsize=9420 CPUtime=1427.38 /proc/6182/stat : 6182 (pbct) R 6180 6182 5885 0 -1 4202496 2057 0 0 0 128546 14192 0 0 25 0 1 0 40296322 9646080 1973 1992294400 134512640 136485738 4294833792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6182/statm: 2355 1973 245 482 0 1871 0 Current children cumulated CPU time (s) 1427.38 Current children cumulated vsize (KiB) 9420 Child status: 0 Real time (s): 1427.85 CPU time (s): 1427.43 CPU user time (s): 1285.5 CPU system time (s): 141.926 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 9424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1285.5 system time used= 141.926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2063 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= 19675 runsolver used 2.56561 second user time and 6.53101 second system time The end
Begin job on node017 at 2010-06-16 02:11:39 IDJOB=2667839 IDBENCH=47922 IDSOLVER=1170 FILE ID=node017/2667839-1276647099 PBS_JOBID= 11172446 Free space on /tmp= 62540 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=419-P1=479-P2=367-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667839-1276647099/watcher-2667839-1276647099 -o /tmp/evaluation-result-2667839-1276647099/solver-2667839-1276647099 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667839-1276647099.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 52bf383ed9b3de8fe398adacf729ec57 RANDOM SEED=342251603 node017.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805696 kB Buffers: 64896 kB Cached: 106384 kB SwapCached: 11736 kB Active: 95208 kB Inactive: 90788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805696 kB SwapTotal: 4192956 kB SwapFree: 4134608 kB Dirty: 1968 kB Writeback: 12 kB AnonPages: 12980 kB Mapped: 9396 kB Slab: 45692 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184760 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= 62536 MiB End job on node017 at 2010-06-16 02:35:27