Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | OPT | 3 | 700.782 | 700.968 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=179-P1=37-B.opb |
MD5SUM | 7c55947c8932da669a6320e0df24c1e1 |
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.047992 |
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 | 24 |
Total number of constraints | 3 |
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 | 3 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 8 |
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 | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130528 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 64 |
Sum of products size (including duplicates) | 128 |
Number of different products | 64 |
Sum of products size | 128 |
649.11/649.33 c 24 3 64 128 0 0 0 0 649.11/649.33 o 3 649.11/649.33 c 128 ~x11264+64 ~x11263+32 ~x11262+16 ~x11261+8 ~x11260+4 ~x11259+2 ~x11258+1 ~x11257+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=509 649.11/649.33 c 128 ~x11264+64 ~x11263+32 ~x11262+16 ~x11261+8 ~x11260+4 ~x11259+2 ~x11258+1 ~x11257+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=508 700.70/700.96 o 3 700.70/700.96 s OPTIMUM FOUND 700.70/700.96 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
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673317-1276808442/watcher-2673317-1276808442 -o /tmp/evaluation-result-2673317-1276808442/solver-2673317-1276808442 -C 1800 -W 2000 -M 1800 run HOME/instance-2673317-1276808442.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 18259 /proc/meminfo: memFree=1847220/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [startup+0.103921 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18259 /proc/meminfo: memFree=1847220/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200929 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18259 /proc/meminfo: memFree=1847220/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300938 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18259 /proc/meminfo: memFree=1847220/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700974 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18259 /proc/meminfo: memFree=1847220/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18262 /proc/meminfo: memFree=1839516/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=10852 CPUtime=1.48 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 2191 0 0 0 147 1 0 0 25 0 1 0 56445531 11112448 2129 1992294400 134512640 134902295 4287145232 18446744073709551615 4159713904 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 2713 2129 270 96 0 1925 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19552 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18262 /proc/meminfo: memFree=1838896/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=11380 CPUtime=3.08 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 2341 0 0 0 307 1 0 0 25 0 1 0 56445531 11653120 2279 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732572 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 2845 2279 270 96 0 2057 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20080 [startup+6.30149 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18264 /proc/meminfo: memFree=1837532/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=12576 CPUtime=6.29 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 2630 0 0 0 627 2 0 0 25 0 1 0 56445531 12877824 2568 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732948 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 3144 2568 270 96 0 2356 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21276 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18264 /proc/meminfo: memFree=1835796/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=14160 CPUtime=12.68 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 3011 0 0 0 1266 2 0 0 25 0 1 0 56445531 14499840 2949 1992294400 134512640 134902295 4287145232 18446744073709551615 4159714053 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 3540 2949 270 96 0 2752 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22860 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18273 /proc/meminfo: memFree=1833432/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=16144 CPUtime=25.47 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 3508 0 0 0 2544 3 0 0 25 0 1 0 56445531 16531456 3446 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732841 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 4036 3446 270 96 0 3248 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 24844 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18273 /proc/meminfo: memFree=1831332/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=18296 CPUtime=51.06 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 4055 0 0 0 5102 4 0 0 25 0 1 0 56445531 18735104 3993 1992294400 134512640 134902295 4287145232 18446744073709551615 4159737600 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 4574 3993 270 96 0 3786 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 26996 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18275 /proc/meminfo: memFree=1827488/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=22048 CPUtime=102.25 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 4998 0 0 0 10221 4 0 0 25 0 1 0 56445531 22577152 4936 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744488 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5512 4936 270 96 0 4724 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 30748 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18277 /proc/meminfo: memFree=1827364/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=22216 CPUtime=162.23 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 5021 0 0 0 16219 4 0 0 25 0 1 0 56445531 22749184 4959 1992294400 134512640 134902295 4287145232 18446744073709551615 4159713913 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5554 4959 270 96 0 4766 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 30916 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18277 /proc/meminfo: memFree=1827240/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=22296 CPUtime=222.22 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 5039 0 0 0 22218 4 0 0 25 0 1 0 56445531 22831104 4977 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744315 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5574 4977 270 96 0 4786 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30996 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18279 /proc/meminfo: memFree=1826496/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=23356 CPUtime=282.21 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 5284 0 0 0 28216 5 0 0 25 0 1 0 56445531 23916544 5222 1992294400 134512640 134902295 4287145232 18446744073709551615 4159749066 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5839 5222 270 96 0 5051 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 32056 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18281 /proc/meminfo: memFree=1825132/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=24448 CPUtime=342.19 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 5557 0 0 0 34214 5 0 0 25 0 1 0 56445531 25034752 5495 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6112 5495 270 96 0 5324 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33148 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18283 /proc/meminfo: memFree=1821660/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=28072 CPUtime=402.17 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 6457 0 0 0 40211 6 0 0 25 0 1 0 56445531 28745728 6395 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732868 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 7018 6395 270 96 0 6230 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36772 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18285 /proc/meminfo: memFree=1819552/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=29920 CPUtime=462.16 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 6938 0 0 0 46209 7 0 0 25 0 1 0 56445531 30638080 6876 1992294400 134512640 134902295 4287145232 18446744073709551615 4159726056 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 7480 6876 270 96 0 6692 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 38620 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18285 /proc/meminfo: memFree=1819552/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=30088 CPUtime=522.15 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 6955 0 0 0 52208 7 0 0 25 0 1 0 56445531 30810112 6893 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732569 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 7522 6893 270 96 0 6734 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 38788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18287 /proc/meminfo: memFree=1819428/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=30088 CPUtime=582.13 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 6966 0 0 0 58206 7 0 0 25 0 1 0 56445531 30810112 6904 1992294400 134512640 134902295 4287145232 18446744073709551615 4159713905 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 7522 6904 270 96 0 6734 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 38788 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18289 /proc/meminfo: memFree=1819304/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=30228 CPUtime=642.12 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 6992 0 0 0 64205 7 0 0 25 0 1 0 56445531 30953472 6930 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 7557 6930 270 96 0 6769 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 38928 Solver just ended. Dumping a history of the last processes samples [startup+665.608 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18289 /proc/meminfo: memFree=1829348/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=20500 CPUtime=665.42 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 12096 0 0 0 66531 11 0 0 25 0 1 0 56445531 20992000 4355 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744276 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5125 4355 270 96 0 4337 0 Current children cumulated CPU time (s) 665.42 Current children cumulated vsize (KiB) 29200 [startup+678.401 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18289 /proc/meminfo: memFree=1826992/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=23008 CPUtime=678.21 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 12728 0 0 0 67809 12 0 0 25 0 1 0 56445531 23560192 4987 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732594 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 5752 4987 270 96 0 4964 0 Current children cumulated CPU time (s) 678.21 Current children cumulated vsize (KiB) 31708 [startup+691.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1824760/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=25124 CPUtime=691 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13252 0 0 0 69088 12 0 0 25 0 1 0 56445531 25726976 5511 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6281 5511 270 96 0 5493 0 Current children cumulated CPU time (s) 691 Current children cumulated vsize (KiB) 33824 [startup+697.601 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823520/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26316 CPUtime=697.4 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13563 0 0 0 69728 12 0 0 25 0 1 0 56445531 26947584 5822 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744339 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6579 5822 270 96 0 5791 0 Current children cumulated CPU time (s) 697.4 Current children cumulated vsize (KiB) 35016 [startup+699.201 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823396/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26580 CPUtime=699 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13614 0 0 0 69888 12 0 0 25 0 1 0 56445531 27217920 5873 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732622 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6645 5873 270 96 0 5857 0 Current children cumulated CPU time (s) 699 Current children cumulated vsize (KiB) 35280 [startup+700 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823272/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26580 CPUtime=699.8 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13614 0 0 0 69968 12 0 0 25 0 1 0 56445531 27217920 5873 1992294400 134512640 134902295 4287145232 18446744073709551615 4159744476 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6645 5873 270 96 0 5857 0 Current children cumulated CPU time (s) 699.8 Current children cumulated vsize (KiB) 35280 [startup+700.4 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823272/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26580 CPUtime=700.2 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13614 0 0 0 70008 12 0 0 25 0 1 0 56445531 27217920 5873 1992294400 134512640 134902295 4287145232 18446744073709551615 4159713993 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6645 5873 270 96 0 5857 0 Current children cumulated CPU time (s) 700.2 Current children cumulated vsize (KiB) 35280 [startup+700.808 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823272/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26580 CPUtime=700.61 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13614 0 0 0 70049 12 0 0 25 0 1 0 56445531 27217920 5873 1992294400 134512640 134902295 4287145232 18446744073709551615 4159732166 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6645 5873 270 96 0 5857 0 Current children cumulated CPU time (s) 700.61 Current children cumulated vsize (KiB) 35280 [startup+700.901 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18291 /proc/meminfo: memFree=1823272/2059040 swapFree=4135436/4192956 [pid=18259] ppid=18257 vsize=8700 CPUtime=0 /proc/18259/stat : 18259 (run) S 18257 18259 17633 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 56445531 8908800 250 1992294400 4194304 4922060 140735983286800 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18259/statm: 2175 250 211 178 0 68 0 [pid=18261] ppid=18259 vsize=26580 CPUtime=700.7 /proc/18261/stat : 18261 (PBPASSolver) R 18259 18259 17633 0 -1 4202496 13614 0 0 0 70058 12 0 0 25 0 1 0 56445531 27217920 5873 1992294400 134512640 134902295 4287145232 18446744073709551615 4159749556 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18261/statm: 6645 5873 270 96 0 5857 0 Current children cumulated CPU time (s) 700.7 Current children cumulated vsize (KiB) 35280 Child status: 0 Real time (s): 700.968 CPU time (s): 700.782 CPU user time (s): 700.649 CPU system time (s): 0.133979 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 40272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 700.648 system time used= 0.133979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14176 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= 6 involuntary context switches= 1615 runsolver used 1.05884 second user time and 3.41748 second system time The end
Begin job on node015 at 2010-06-17 23:00:42 IDJOB=2673317 IDBENCH=47984 IDSOLVER=1174 FILE ID=node015/2673317-1276808442 PBS_JOBID= 11176629 Free space on /tmp= 62580 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=179-P1=37-B.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673317-1276808442/watcher-2673317-1276808442 -o /tmp/evaluation-result-2673317-1276808442/solver-2673317-1276808442 -C 1800 -W 2000 -M 1800 run HOME/instance-2673317-1276808442.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7c55947c8932da669a6320e0df24c1e1 RANDOM SEED=1212446127 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847740 kB Buffers: 37520 kB Cached: 81328 kB SwapCached: 10552 kB Active: 59900 kB Inactive: 72464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847740 kB SwapTotal: 4192956 kB SwapFree: 4135436 kB Dirty: 640 kB Writeback: 0 kB AnonPages: 12048 kB Mapped: 9112 kB Slab: 57124 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181964 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= 62580 MiB End job on node015 at 2010-06-17 23:12:23