Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.07 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb |
MD5SUM | 651e385f00e2858954d8683e891a1dbe |
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 | 10.2704 |
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 | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
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 | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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.01 c constraints 585/0 clauses 586/0 units 0 0.00/0.01 c vars 216 0.00/0.01 c objective 8 + 0 1800.05/1800.50 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667880-1276647807/watcher-2667880-1276647807 -o /tmp/evaluation-result-2667880-1276647807/solver-2667880-1276647807 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667880-1276647807.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.60 2.33 2.27 3/106 12212 /proc/meminfo: memFree=1759772/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=2340 CPUtime=0 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 6072601 2396160 217 1992294400 134512640 136485738 4287508352 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12212/statm: 585 217 156 482 0 101 0 [startup+0.105469 s] /proc/loadavg: 1.60 2.33 2.27 3/106 12212 /proc/meminfo: memFree=1759772/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=10304 CPUtime=0.1 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 2230 0 0 0 9 1 0 0 20 0 1 0 6072601 10551296 2153 1992294400 134512640 136485738 4287508352 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 2576 2153 198 482 0 2092 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10304 [startup+0.201477 s] /proc/loadavg: 1.60 2.33 2.27 3/106 12212 /proc/meminfo: memFree=1759772/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=18160 CPUtime=0.19 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 4193 0 0 0 18 1 0 0 20 0 1 0 6072601 18595840 4116 1992294400 134512640 136485738 4287508352 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 4540 4119 216 482 0 4056 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18160 [startup+0.301486 s] /proc/loadavg: 1.60 2.33 2.27 3/106 12212 /proc/meminfo: memFree=1759772/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=18836 CPUtime=0.29 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 4347 0 0 0 27 2 0 0 20 0 1 0 6072601 19288064 4270 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 4709 4270 227 482 0 4225 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18836 [startup+0.701524 s] /proc/loadavg: 1.60 2.33 2.27 3/106 12212 /proc/meminfo: memFree=1759772/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=19360 CPUtime=0.7 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 4507 0 0 0 63 7 0 0 21 0 1 0 6072601 19824640 4430 1992294400 134512640 136485738 4287508352 18446744073709551615 134660489 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 4840 4430 227 482 0 4356 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 19360 [startup+1.5016 s] /proc/loadavg: 1.60 2.33 2.27 2/107 12213 /proc/meminfo: memFree=1742280/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=20420 CPUtime=1.49 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 4741 0 0 0 134 15 0 0 23 0 1 0 6072601 20910080 4664 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 5105 4664 227 482 0 4621 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20420 [startup+3.10175 s] /proc/loadavg: 1.60 2.33 2.27 2/107 12213 /proc/meminfo: memFree=1741536/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=20680 CPUtime=3.09 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 4829 0 0 0 278 31 0 0 25 0 1 0 6072601 21176320 4752 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 5170 4752 227 482 0 4686 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20680 [startup+6.30105 s] /proc/loadavg: 1.55 2.31 2.26 2/107 12213 /proc/meminfo: memFree=1740048/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=21896 CPUtime=6.29 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 5111 0 0 0 564 65 0 0 25 0 1 0 6072601 22421504 5034 1992294400 134512640 136485738 4287508352 18446744073709551615 134885628 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 5474 5034 227 482 0 4990 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21896 [startup+12.7007 s] /proc/loadavg: 1.51 2.29 2.25 2/107 12213 /proc/meminfo: memFree=1738932/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=22964 CPUtime=12.68 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 5386 0 0 0 1144 124 0 0 25 0 1 0 6072601 23515136 5309 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 5741 5309 227 482 0 5257 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22964 [startup+25.5009 s] /proc/loadavg: 1.40 2.22 2.23 2/107 12215 /proc/meminfo: memFree=1736700/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=25092 CPUtime=25.48 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 5925 0 0 0 2314 234 0 0 25 0 1 0 6072601 25694208 5848 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 6273 5848 227 482 0 5789 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25092 [startup+51.1013 s] /proc/loadavg: 1.26 2.12 2.20 2/107 12215 /proc/meminfo: memFree=1735832/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=26028 CPUtime=51.08 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 6151 0 0 0 4676 432 0 0 25 0 1 0 6072601 26652672 6074 1992294400 134512640 136485738 4287508352 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 6507 6074 227 482 0 6023 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26028 [startup+102.301 s] /proc/loadavg: 1.11 1.95 2.13 2/107 12217 /proc/meminfo: memFree=1734840/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=26824 CPUtime=102.27 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 6373 0 0 0 9403 824 0 0 25 0 1 0 6072601 27467776 6290 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 6706 6290 227 482 0 6222 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 26824 [startup+162.301 s] /proc/loadavg: 1.04 1.77 2.06 2/107 12217 /proc/meminfo: memFree=1732360/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=29360 CPUtime=162.25 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 6963 0 0 0 14994 1231 0 0 25 0 1 0 6072601 30064640 6880 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 7340 6880 227 482 0 6856 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29360 [startup+222.308 s] /proc/loadavg: 1.01 1.63 1.99 2/107 12219 /proc/meminfo: memFree=1731492/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=30308 CPUtime=222.24 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 7197 0 0 0 20571 1653 0 0 25 0 1 0 6072601 31035392 7114 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 7577 7114 227 482 0 7093 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 30308 [startup+282.301 s] /proc/loadavg: 1.00 1.51 1.92 2/107 12221 /proc/meminfo: memFree=1729260/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=32504 CPUtime=282.22 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 7728 0 0 0 26191 2031 0 0 25 0 1 0 6072601 33284096 7645 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 8126 7645 227 482 0 7642 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32504 [startup+342.301 s] /proc/loadavg: 1.00 1.42 1.86 2/107 12223 /proc/meminfo: memFree=1728268/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=33560 CPUtime=342.2 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 7990 0 0 0 31770 2450 0 0 25 0 1 0 6072601 34365440 7907 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 8390 7907 227 482 0 7906 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 33560 [startup+402.301 s] /proc/loadavg: 1.00 1.34 1.81 2/107 12225 /proc/meminfo: memFree=1727400/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=34272 CPUtime=402.2 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 8154 0 0 0 37346 2874 0 0 25 0 1 0 6072601 35094528 8071 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 8568 8071 227 482 0 8084 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 34272 [startup+462.301 s] /proc/loadavg: 1.00 1.27 1.75 2/107 12225 /proc/meminfo: memFree=1726160/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=35552 CPUtime=462.18 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 8468 0 0 0 42886 3332 0 0 25 0 1 0 6072601 36405248 8385 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 8888 8385 227 482 0 8404 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 35552 [startup+522.302 s] /proc/loadavg: 1.00 1.22 1.70 2/107 12227 /proc/meminfo: memFree=1726036/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=35552 CPUtime=522.16 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 8469 0 0 0 48444 3772 0 0 25 0 1 0 6072601 36405248 8386 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 8888 8386 227 482 0 8404 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 35552 [startup+582.301 s] /proc/loadavg: 1.00 1.18 1.66 2/107 12232 /proc/meminfo: memFree=1723804/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=37392 CPUtime=582.15 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 8916 0 0 0 54072 4143 0 0 25 0 1 0 6072601 38289408 8833 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 9348 8833 227 482 0 8864 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 37392 [startup+642.301 s] /proc/loadavg: 1.00 1.14 1.61 2/107 12234 /proc/meminfo: memFree=1723184/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=38124 CPUtime=642.13 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9063 0 0 0 59723 4490 0 0 25 0 1 0 6072601 39038976 8980 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 9531 8980 227 482 0 9047 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 38124 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.09 1.11 1.51 2/107 12238 /proc/meminfo: memFree=1722068/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=39228 CPUtime=822.08 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9358 0 0 0 76401 5807 0 0 25 0 1 0 6072601 40169472 9275 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 9807 9275 227 482 0 9323 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 39228 [startup+882.308 s] /proc/loadavg: 1.08 1.10 1.48 2/107 12240 /proc/meminfo: memFree=1722068/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=39228 CPUtime=882.08 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9367 0 0 0 82015 6193 0 0 25 0 1 0 6072601 40169472 9284 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 9807 9284 227 482 0 9323 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 39228 [startup+942.301 s] /proc/loadavg: 1.14 1.11 1.46 2/107 12242 /proc/meminfo: memFree=1720580/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=40928 CPUtime=942.06 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9757 0 0 0 87684 6522 0 0 25 0 1 0 6072601 41910272 9674 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10232 9674 227 482 0 9748 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 40928 [startup+1002.3 s] /proc/loadavg: 1.05 1.09 1.43 2/107 12244 /proc/meminfo: memFree=1720580/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=40928 CPUtime=1002.04 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9758 0 0 0 93318 6886 0 0 25 0 1 0 6072601 41910272 9675 1992294400 134512640 136485738 4287508352 18446744073709551615 134876240 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10232 9675 227 482 0 9748 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 40928 [startup+1062.3 s] /proc/loadavg: 1.02 1.07 1.40 2/107 12244 /proc/meminfo: memFree=1720580/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=40928 CPUtime=1062.02 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9759 0 0 0 98896 7306 0 0 25 0 1 0 6072601 41910272 9676 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10232 9676 227 482 0 9748 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 40928 [startup+1122.3 s] /proc/loadavg: 1.00 1.06 1.37 2/107 12246 /proc/meminfo: memFree=1720580/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=41088 CPUtime=1122.02 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9783 0 0 0 104486 7716 0 0 25 0 1 0 6072601 42074112 9700 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10272 9700 227 482 0 9788 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 41088 [startup+1182.3 s] /proc/loadavg: 1.00 1.04 1.34 2/107 12248 /proc/meminfo: memFree=1720208/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=41396 CPUtime=1182 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9843 0 0 0 110067 8133 0 0 25 0 1 0 6072601 42389504 9760 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10349 9760 227 482 0 9865 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 41396 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.32 2/107 12250 /proc/meminfo: memFree=1719836/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=41528 CPUtime=1241.98 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 9890 0 0 0 115666 8532 0 0 25 0 1 0 6072601 42524672 9807 1992294400 134512640 136485738 4287508352 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10382 9807 227 482 0 9898 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 41528 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.30 2/107 12252 /proc/meminfo: memFree=1718348/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=43216 CPUtime=1301.97 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 10254 0 0 0 121338 8859 0 0 25 0 1 0 6072601 44253184 10171 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 10804 10171 227 482 0 10320 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 43216 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.27 2/107 12252 /proc/meminfo: memFree=1716364/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=45352 CPUtime=1361.95 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 10764 0 0 0 127042 9153 0 0 25 0 1 0 6072601 46440448 10681 1992294400 134512640 136485738 4287508352 18446744073709551615 134880626 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11338 10681 227 482 0 10854 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 45352 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.26 2/107 12254 /proc/meminfo: memFree=1716240/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=45504 CPUtime=1421.95 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 10811 0 0 0 132792 9403 0 0 25 0 1 0 6072601 46596096 10728 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11376 10728 227 482 0 10892 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 45504 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.24 2/107 12256 /proc/meminfo: memFree=1714628/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=47160 CPUtime=1481.92 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11166 0 0 0 138449 9743 0 0 25 0 1 0 6072601 48291840 11083 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11790 11083 227 482 0 11306 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 47160 [startup+1542.31 s] /proc/loadavg: 1.05 1.02 1.23 2/107 12258 /proc/meminfo: memFree=1714504/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=47304 CPUtime=1541.92 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11207 0 0 0 144053 10139 0 0 25 0 1 0 6072601 48439296 11124 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11826 11124 227 482 0 11342 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 47304 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.21 2/107 12260 /proc/meminfo: memFree=1714256/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=47604 CPUtime=1601.89 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11269 0 0 0 149646 10543 0 0 25 0 1 0 6072601 48746496 11186 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11901 11186 227 482 0 11417 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 47604 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 12260 /proc/meminfo: memFree=1714132/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=47604 CPUtime=1661.88 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11276 0 0 0 155221 10967 0 0 25 0 1 0 6072601 48746496 11193 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11901 11193 227 482 0 11417 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 47604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.18 2/107 12262 /proc/meminfo: memFree=1714008/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=47604 CPUtime=1721.86 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11277 0 0 0 160811 11375 0 0 25 0 1 0 6072601 48746496 11194 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 11901 11194 227 482 0 11417 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 47604 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 12264 /proc/meminfo: memFree=1713264/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=48332 CPUtime=1781.84 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11441 0 0 0 166504 11680 0 0 25 0 1 0 6072601 49491968 11358 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 12083 11358 227 482 0 11599 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 48332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.16 2/107 12264 /proc/meminfo: memFree=1713140/2059040 swapFree=4187148/4192956 [pid=12212] ppid=12210 vsize=48332 CPUtime=1800.05 /proc/12212/stat : 12212 (pbct) R 12210 12212 11918 0 -1 4202496 11449 0 0 0 168200 11805 0 0 25 0 1 0 6072601 49491968 11366 1992294400 134512640 136485738 4287508352 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/12212/statm: 12083 11366 227 482 0 11599 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 48332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1682.01 CPU system time (s): 118.061 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 48332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1682.01 system time used= 118.061 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11449 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= 10821 runsolver used 3.17252 second user time and 8.29874 second system time The end
Begin job on node048 at 2010-06-16 02:23:27 IDJOB=2667880 IDBENCH=47963 IDSOLVER=1170 FILE ID=node048/2667880-1276647807 PBS_JOBID= 11172442 Free space on /tmp= 62456 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667880-1276647807/watcher-2667880-1276647807 -o /tmp/evaluation-result-2667880-1276647807/solver-2667880-1276647807 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667880-1276647807.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED=1283771745 node048.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.212 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.212 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1760176 kB Buffers: 59176 kB Cached: 121248 kB SwapCached: 280 kB Active: 94124 kB Inactive: 140196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1760176 kB SwapTotal: 4192956 kB SwapFree: 4187148 kB Dirty: 1964 kB Writeback: 0 kB AnonPages: 53552 kB Mapped: 15416 kB Slab: 42672 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182332 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= 62452 MiB End job on node048 at 2010-06-16 02:53:30