Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 12 | 1800.03 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 398.875 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
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.02 c constraints 1248/0 clauses 1348/0 units 0 0.00/0.02 c vars 100 0.00/0.02 c objective 100 + 0 0.29/0.36 c 0.342947 29.9766 1 1308 0.29/0.36 o 18 0.39/0.43 c 0.412937 30.6133 103 1634 0.39/0.43 o 17 0.49/0.51 c 0.482926 30.7578 203 1921 0.49/0.51 o 16 0.49/0.55 c 0.518921 30.7578 265 2090 0.49/0.55 o 15 0.59/0.63 c 0.592909 30.7578 367 2371 0.59/0.63 o 14 2.69/2.72 c 2.56761 31.5312 3867 8168 2.69/2.72 o 13 59.77/59.87 c 56.9003 33.5938 8446 139755 59.77/59.87 o 12 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 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 x95 -x96 -x97 -x98 -x99 -x100
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668069-1276657313/watcher-2668069-1276657313 -o /tmp/evaluation-result-2668069-1276657313/solver-2668069-1276657313 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668069-1276657313.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: 2.24 2.11 1.69 3/106 6580 /proc/meminfo: memFree=1788848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=2208 CPUtime=0 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 270 0 0 0 0 0 0 0 24 0 1 0 41333096 2260992 192 1992294400 134512640 136485738 4294275296 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6580/statm: 552 192 156 482 0 68 0 [startup+0.047072 s] /proc/loadavg: 2.24 2.11 1.69 3/106 6580 /proc/meminfo: memFree=1788848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=6156 CPUtime=0.04 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 1233 0 0 0 4 0 0 0 24 0 1 0 41333096 6303744 1155 1992294400 134512640 136485738 4294275296 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 1539 1157 193 482 0 1055 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6156 [startup+0.101078 s] /proc/loadavg: 2.24 2.11 1.69 3/106 6580 /proc/meminfo: memFree=1788848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=10188 CPUtime=0.09 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 2242 0 0 0 9 0 0 0 24 0 1 0 41333096 10432512 2164 1992294400 134512640 136485738 4294275296 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 2547 2164 198 482 0 2063 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10188 [startup+0.301101 s] /proc/loadavg: 2.24 2.11 1.69 3/106 6580 /proc/meminfo: memFree=1788848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=27588 CPUtime=0.29 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 6668 0 0 0 28 1 0 0 24 0 1 0 41333096 28250112 6397 1992294400 134512640 136485738 4294275296 18446744073709551615 134946704 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 6897 6397 210 482 0 6413 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27588 [startup+0.701145 s] /proc/loadavg: 2.24 2.11 1.69 3/106 6580 /proc/meminfo: memFree=1788848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=31492 CPUtime=0.69 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 7650 0 0 0 65 4 0 0 25 0 1 0 41333096 32247808 7286 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 7873 7286 243 482 0 7389 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31492 [startup+1.50123 s] /proc/loadavg: 2.24 2.11 1.69 2/107 6581 /proc/meminfo: memFree=1760320/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=31756 CPUtime=1.49 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 7722 0 0 0 141 8 0 0 25 0 1 0 41333096 32518144 7358 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 7939 7358 243 482 0 7455 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31756 [startup+3.10141 s] /proc/loadavg: 2.14 2.09 1.69 2/107 6581 /proc/meminfo: memFree=1759700/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=32284 CPUtime=3.09 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 7878 0 0 0 292 17 0 0 25 0 1 0 41333096 33058816 7513 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8071 7513 243 482 0 7587 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32284 [startup+6.30077 s] /proc/loadavg: 2.14 2.09 1.69 2/107 6581 /proc/meminfo: memFree=1758956/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=32548 CPUtime=6.28 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 7930 0 0 0 594 34 0 0 25 0 1 0 41333096 33329152 7565 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8137 7565 243 482 0 7653 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32548 [startup+12.7015 s] /proc/loadavg: 1.96 2.05 1.68 2/107 6581 /proc/meminfo: memFree=1758088/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=33340 CPUtime=12.68 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8134 0 0 0 1207 61 0 0 25 0 1 0 41333096 34140160 7769 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8335 7769 244 482 0 7851 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33340 [startup+25.5009 s] /proc/loadavg: 1.81 2.02 1.67 2/107 6581 /proc/meminfo: memFree=1757964/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=33472 CPUtime=25.49 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8176 0 0 0 2423 126 0 0 25 0 1 0 41333096 34275328 7811 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8368 7811 244 482 0 7884 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33472 [startup+51.1007 s] /proc/loadavg: 1.54 1.94 1.65 2/107 6583 /proc/meminfo: memFree=1757096/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=34396 CPUtime=51.08 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8392 0 0 0 4852 256 0 0 25 0 1 0 41333096 35221504 8027 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8599 8027 244 482 0 8115 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34396 [startup+102.308 s] /proc/loadavg: 1.21 1.78 1.61 2/107 6583 /proc/meminfo: memFree=1756848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=34396 CPUtime=102.27 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8393 0 0 0 9735 492 0 0 25 0 1 0 41333096 35221504 8027 1992294400 134512640 136485738 4294275296 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8599 8027 244 482 0 8115 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34396 [startup+162.301 s] /proc/loadavg: 1.08 1.63 1.57 2/107 6585 /proc/meminfo: memFree=1756848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=34396 CPUtime=162.24 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8393 0 0 0 15468 756 0 0 25 0 1 0 41333096 35221504 8027 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8599 8027 244 482 0 8115 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34396 [startup+222.301 s] /proc/loadavg: 1.03 1.51 1.53 2/107 6587 /proc/meminfo: memFree=1756848/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=34396 CPUtime=222.23 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8393 0 0 0 21185 1038 0 0 25 0 1 0 41333096 35221504 8027 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8599 8027 244 482 0 8115 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34396 [startup+282.301 s] /proc/loadavg: 1.01 1.42 1.50 2/107 6589 /proc/meminfo: memFree=1756600/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=34660 CPUtime=282.22 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8451 0 0 0 26902 1320 0 0 25 0 1 0 41333096 35491840 8085 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8665 8085 244 482 0 8181 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 34660 [startup+342.301 s] /proc/loadavg: 1.00 1.34 1.46 2/107 6591 /proc/meminfo: memFree=1756104/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35056 CPUtime=342.2 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8551 0 0 0 32645 1575 0 0 25 0 1 0 41333096 35897344 8185 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8764 8185 244 482 0 8280 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 35056 [startup+402.301 s] /proc/loadavg: 1.00 1.27 1.43 2/107 6591 /proc/meminfo: memFree=1756104/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35056 CPUtime=402.18 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8551 0 0 0 38385 1833 0 0 25 0 1 0 41333096 35897344 8185 1992294400 134512640 136485738 4294275296 18446744073709551615 134638655 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8764 8185 244 482 0 8280 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 35056 [startup+462.301 s] /proc/loadavg: 1.00 1.22 1.40 2/107 6593 /proc/meminfo: memFree=1755856/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35188 CPUtime=462.17 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8593 0 0 0 44102 2115 0 0 25 0 1 0 41333096 36032512 8227 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8797 8227 244 482 0 8313 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 35188 [startup+522.301 s] /proc/loadavg: 1.00 1.18 1.37 2/107 6595 /proc/meminfo: memFree=1755608/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35464 CPUtime=522.15 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8645 0 0 0 49829 2386 0 0 25 0 1 0 41333096 36315136 8279 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8866 8279 244 482 0 8382 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 35464 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.35 2/107 6597 /proc/meminfo: memFree=1755360/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35596 CPUtime=582.14 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8684 0 0 0 55552 2662 0 0 25 0 1 0 41333096 36450304 8318 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8899 8318 244 482 0 8415 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 35596 [startup+642.301 s] /proc/loadavg: 1.04 1.13 1.33 2/107 6599 /proc/meminfo: memFree=1755360/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=35596 CPUtime=642.13 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 8692 0 0 0 61267 2946 0 0 25 0 1 0 41333096 36450304 8326 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 8899 8326 244 482 0 8415 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 35596 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.05 1.24 3/107 6608 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=882.05 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 84216 3989 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 37056 [startup+942.301 s] /proc/loadavg: 1.00 1.04 1.23 2/107 6610 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=942.04 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 89931 4273 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135046651 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 37056 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.21 2/107 6610 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1002.02 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 95651 4551 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 37056 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.19 2/107 6612 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1062.01 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 101375 4826 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135044106 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 37056 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 6614 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1121.99 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 107086 5113 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135029536 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 37056 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 6616 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1181.97 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 112827 5370 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 37056 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 6618 /proc/meminfo: memFree=1753128/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1241.96 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 118566 5630 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 37056 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 6618 /proc/meminfo: memFree=1753004/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1301.95 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 124294 5901 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 37056 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 6620 /proc/meminfo: memFree=1753004/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1361.93 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9055 0 0 0 130012 6181 0 0 25 0 1 0 41333096 37945344 8689 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8689 244 482 0 8780 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 37056 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.12 2/107 6622 /proc/meminfo: memFree=1753004/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1421.92 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9056 0 0 0 135743 6449 0 0 25 0 1 0 41333096 37945344 8690 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8690 244 482 0 8780 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 37056 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 6624 /proc/meminfo: memFree=1753004/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1481.89 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9057 0 0 0 141467 6722 0 0 25 0 1 0 41333096 37945344 8691 1992294400 134512640 136485738 4294275296 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8691 244 482 0 8780 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 37056 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 6626 /proc/meminfo: memFree=1753004/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37056 CPUtime=1541.88 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9057 0 0 0 147186 7002 0 0 25 0 1 0 41333096 37945344 8691 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9264 8691 244 482 0 8780 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 37056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 6626 /proc/meminfo: memFree=1752880/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37188 CPUtime=1601.86 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9087 0 0 0 152925 7261 0 0 25 0 1 0 41333096 38080512 8721 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9297 8721 244 482 0 8813 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 37188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6628 /proc/meminfo: memFree=1752756/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37188 CPUtime=1661.85 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9098 0 0 0 158668 7517 0 0 25 0 1 0 41333096 38080512 8732 1992294400 134512640 136485738 4294275296 18446744073709551615 134660083 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9297 8732 244 482 0 8813 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 37188 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6630 /proc/meminfo: memFree=1752012/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=37980 CPUtime=1721.83 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9289 0 0 0 164406 7777 0 0 25 0 1 0 41333096 38891520 8923 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9495 8923 244 482 0 9011 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 37980 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6632 /proc/meminfo: memFree=1751888/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=38112 CPUtime=1781.82 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9321 0 0 0 170152 8030 0 0 25 0 1 0 41333096 39026688 8955 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9528 8955 244 482 0 9044 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 38112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6632 /proc/meminfo: memFree=1751888/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=38112 CPUtime=1800.02 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9321 0 0 0 171895 8107 0 0 25 0 1 0 41333096 39026688 8955 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9528 8955 244 482 0 9044 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 38112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6632 /proc/meminfo: memFree=1751888/2059040 swapFree=4140260/4192956 [pid=6580] ppid=6578 vsize=38112 CPUtime=1800.02 /proc/6580/stat : 6580 (pbct) R 6578 6580 5562 0 -1 4202496 9321 0 0 0 171895 8107 0 0 25 0 1 0 41333096 39026688 8955 1992294400 134512640 136485738 4294275296 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6580/statm: 9528 8955 244 482 0 9044 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 38112 Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1718.96 CPU system time (s): 81.0757 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 38112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1718.96 system time used= 81.0757 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9321 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= 6551 runsolver used 2.92455 second user time and 8.5577 second system time The end
Begin job on node009 at 2010-06-16 05:01:53 IDJOB=2668069 IDBENCH=48152 IDSOLVER=1170 FILE ID=node009/2668069-1276657313 PBS_JOBID= 11172455 Free space on /tmp= 62556 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668069-1276657313/watcher-2668069-1276657313 -o /tmp/evaluation-result-2668069-1276657313/solver-2668069-1276657313 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668069-1276657313.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED=622242026 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1789252 kB Buffers: 49288 kB Cached: 126044 kB SwapCached: 6204 kB Active: 100984 kB Inactive: 87876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1789252 kB SwapTotal: 4192956 kB SwapFree: 4140260 kB Dirty: 1896 kB Writeback: 0 kB AnonPages: 11784 kB Mapped: 13088 kB Slab: 59136 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180360 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 node009 at 2010-06-16 05:31:56