Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 3 | 1297.49 | 1297.9 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=137-P1=127-P2=347-B.opb |
MD5SUM | ac77720b7f5b87daca561007155fe585 |
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.78688 |
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.09/6.18 c 5.57015 9.02344 2634 116566 6.09/6.18 o 197 10.89/10.93 c 9.8605 9.15234 1279 215575 10.89/10.93 o 33 11.69/11.78 c 10.6224 9.15234 823 237573 11.69/11.78 o 25 12.79/12.87 c 11.6062 9.15234 953 260364 12.79/12.87 o 17 17.18/17.26 c 15.5466 9.15234 921 352352 17.18/17.26 o 3 1297.39/1297.88 c 1171.26 9.32812 1537 25477104 1297.39/1297.88 s OPTIMUM FOUND 1297.39/1297.88 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-2667942-1276649405/watcher-2667942-1276649405 -o /tmp/evaluation-result-2667942-1276649405/solver-2667942-1276649405 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667942-1276649405.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.99 0.97 0.98 3/105 14412 /proc/meminfo: memFree=1805848/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=3516 CPUtime=0 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 547 0 0 0 0 0 0 0 25 0 1 0 6234029 3600384 470 1992294400 134512640 136485738 4294081792 18446744073709551615 135850714 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 879 471 194 482 0 395 0 [startup+0.060945 s] /proc/loadavg: 0.99 0.97 0.98 3/105 14412 /proc/meminfo: memFree=1805848/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=7668 CPUtime=0.05 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1599 0 0 0 5 0 0 0 25 0 1 0 6234029 7852032 1522 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 1917 1522 226 482 0 1433 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7668 [startup+0.100948 s] /proc/loadavg: 0.99 0.97 0.98 3/105 14412 /proc/meminfo: memFree=1805848/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=7668 CPUtime=0.09 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1631 0 0 0 9 0 0 0 25 0 1 0 6234029 7852032 1554 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 1917 1554 226 482 0 1433 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7668 [startup+0.30097 s] /proc/loadavg: 0.99 0.97 0.98 3/105 14412 /proc/meminfo: memFree=1805848/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=8052 CPUtime=0.29 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1723 0 0 0 27 2 0 0 25 0 1 0 6234029 8245248 1646 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2013 1646 226 482 0 1529 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8052 [startup+0.701014 s] /proc/loadavg: 0.99 0.97 0.98 3/105 14412 /proc/meminfo: memFree=1805848/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=8312 CPUtime=0.69 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1767 0 0 0 64 5 0 0 25 0 1 0 6234029 8511488 1690 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2078 1690 226 482 0 1594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8312 [startup+1.5011 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14413 /proc/meminfo: memFree=1799764/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=8444 CPUtime=1.49 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1810 0 0 0 134 15 0 0 25 0 1 0 6234029 8646656 1733 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2111 1733 226 482 0 1627 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8444 [startup+3.10128 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14413 /proc/meminfo: memFree=1799268/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=8848 CPUtime=3.09 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 1915 0 0 0 277 32 0 0 25 0 1 0 6234029 9060352 1838 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2212 1838 227 482 0 1728 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8848 [startup+6.30163 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14413 /proc/meminfo: memFree=1799020/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=6.29 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2057 0 0 0 567 62 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 134920847 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9368 [startup+12.7013 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14415 /proc/meminfo: memFree=1798400/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=12.69 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2059 0 0 0 1145 124 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9368 [startup+25.5007 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14415 /proc/meminfo: memFree=1798400/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=25.48 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 2294 254 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9368 [startup+51.1006 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14415 /proc/meminfo: memFree=1798400/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=51.08 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 4609 499 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9368 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14417 /proc/meminfo: memFree=1798276/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=102.26 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 9233 993 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9368 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14419 /proc/meminfo: memFree=1798276/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=162.24 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 14640 1584 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 9368 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14419 /proc/meminfo: memFree=1798276/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=222.23 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 20049 2174 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 9368 [startup+282.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14421 /proc/meminfo: memFree=1798276/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9368 CPUtime=282.2 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2061 0 0 0 25436 2784 0 0 25 0 1 0 6234029 9592832 1979 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2342 1979 245 482 0 1858 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 9368 [startup+342.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14423 /proc/meminfo: memFree=1798152/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=342.19 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2072 0 0 0 30868 3351 0 0 25 0 1 0 6234029 9777152 1990 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 1990 245 482 0 1903 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 9548 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14425 /proc/meminfo: memFree=1798152/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=402.17 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2074 0 0 0 36295 3922 0 0 25 0 1 0 6234029 9777152 1992 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 1992 245 482 0 1903 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 9548 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14427 /proc/meminfo: memFree=1798152/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=462.16 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2076 0 0 0 41709 4507 0 0 25 0 1 0 6234029 9777152 1994 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 1994 245 482 0 1903 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 9548 [startup+522.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14427 /proc/meminfo: memFree=1798152/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=522.14 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2077 0 0 0 47133 5081 0 0 25 0 1 0 6234029 9777152 1995 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 1995 245 482 0 1903 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 9548 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14429 /proc/meminfo: memFree=1798152/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=582.12 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2077 0 0 0 52534 5678 0 0 25 0 1 0 6234029 9777152 1995 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 1995 245 482 0 1903 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 9548 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14431 /proc/meminfo: memFree=1798028/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=642.11 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2095 0 0 0 57943 6268 0 0 25 0 1 0 6234029 9777152 2013 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2013 245 482 0 1903 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 9548 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1797284/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=702.06 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2097 0 0 0 63364 6842 0 0 25 0 1 0 6234029 9777152 2015 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2015 245 482 0 1903 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 9548 [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14444 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=762.06 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2098 0 0 0 68784 7422 0 0 25 0 1 0 6234029 9777152 2016 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2016 245 482 0 1903 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 9548 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14444 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=822.03 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2100 0 0 0 74200 8003 0 0 25 0 1 0 6234029 9777152 2018 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2018 245 482 0 1903 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 9548 [startup+882.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14446 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=882.01 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2102 0 0 0 79623 8578 0 0 25 0 1 0 6234029 9777152 2020 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2020 245 482 0 1903 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 9548 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14448 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=941.99 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2103 0 0 0 85025 9174 0 0 25 0 1 0 6234029 9777152 2021 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2021 245 482 0 1903 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 9548 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14450 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1001.97 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2104 0 0 0 90455 9742 0 0 25 0 1 0 6234029 9777152 2022 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2022 245 482 0 1903 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 9548 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14452 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1061.96 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2106 0 0 0 95890 10306 0 0 25 0 1 0 6234029 9777152 2024 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2024 245 482 0 1903 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 9548 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14452 /proc/meminfo: memFree=1797160/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1121.94 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2108 0 0 0 101303 10891 0 0 25 0 1 0 6234029 9777152 2026 1992294400 134512640 136485738 4294081792 18446744073709551615 134921049 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2026 245 482 0 1903 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 9548 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14454 /proc/meminfo: memFree=1797036/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1181.92 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 106737 11455 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 9548 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14456 /proc/meminfo: memFree=1796788/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1241.9 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 112142 12048 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 9548 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14456 /proc/meminfo: memFree=1796788/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1253.89 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 113223 12166 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1253.89 Current children cumulated vsize (KiB) 9548 [startup+1279.9 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14456 /proc/meminfo: memFree=1796788/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1279.49 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 115516 12433 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1279.49 Current children cumulated vsize (KiB) 9548 [startup+1286.3 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14456 /proc/meminfo: memFree=1796788/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1285.89 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 116091 12498 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1285.89 Current children cumulated vsize (KiB) 9548 [startup+1292.7 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1292.29 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 116664 12565 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1292.29 Current children cumulated vsize (KiB) 9548 [startup+1295.9 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1295.49 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 116949 12600 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1295.49 Current children cumulated vsize (KiB) 9548 [startup+1296.7 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1296.29 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 117021 12608 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1296.29 Current children cumulated vsize (KiB) 9548 [startup+1297.5 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1297.09 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 117091 12618 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1297.09 Current children cumulated vsize (KiB) 9548 [startup+1297.7 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1297.28 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 117109 12619 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1297.28 Current children cumulated vsize (KiB) 9548 [startup+1297.8 s] /proc/loadavg: 0.99 0.97 0.98 2/106 14458 /proc/meminfo: memFree=1796664/2059040 swapFree=4164960/4192956 [pid=14412] ppid=14410 vsize=9548 CPUtime=1297.39 /proc/14412/stat : 14412 (pbct) R 14410 14412 13804 0 -1 4202496 2109 0 0 0 117118 12621 0 0 25 0 1 0 6234029 9777152 2027 1992294400 134512640 136485738 4294081792 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14412/statm: 2387 2027 245 482 0 1903 0 Current children cumulated CPU time (s) 1297.39 Current children cumulated vsize (KiB) 9548 Child status: 0 Real time (s): 1297.9 CPU time (s): 1297.49 CPU user time (s): 1171.27 CPU system time (s): 126.224 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 9548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1171.27 system time used= 126.224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2115 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= 3994 runsolver used 2.20766 second user time and 6.06708 second system time The end
Begin job on node087 at 2010-06-16 02:50:05 IDJOB=2667942 IDBENCH=48025 IDSOLVER=1170 FILE ID=node087/2667942-1276649405 PBS_JOBID= 11172429 Free space on /tmp= 62556 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=137-P1=127-P2=347-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667942-1276649405/watcher-2667942-1276649405 -o /tmp/evaluation-result-2667942-1276649405/solver-2667942-1276649405 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667942-1276649405.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ac77720b7f5b87daca561007155fe585 RANDOM SEED=1522193588 node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806252 kB Buffers: 32264 kB Cached: 112248 kB SwapCached: 768 kB Active: 85336 kB Inactive: 92012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806252 kB SwapTotal: 4192956 kB SwapFree: 4164960 kB Dirty: 1988 kB Writeback: 0 kB AnonPages: 32008 kB Mapped: 14672 kB Slab: 53740 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180772 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= 62552 MiB End job on node087 at 2010-06-16 03:11:43