Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.01 | 1798.44 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb |
MD5SUM | c7fd9e5ff885ee342a28d015ab19e648 |
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 | 13.039 |
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 | 243 |
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 | 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) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670470-1276702243.opb 0.00/0.00 c File size is 55270 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.009 s 0.00/0.01 c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.01 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.02 c Pre-processing Time: 0.02 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 972 1486 6228 4 5357 8325 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 1797.98/1798.42 c 102 972 1588 13001 8 5533 9158 102 3187 0.03 1797.98/1798.42 c 253 972 1739 25824 14 5782 10074 253 4773 0.05 1797.98/1798.42 c 478 972 1964 43339 22 6254 11082 478 5901 0.08 1797.98/1798.42 c 818 972 2304 69345 30 6924 12191 818 6196 0.13 1797.98/1798.42 c 1326 972 2812 108584 38 7901 13411 1326 6167 0.21 1797.98/1798.42 c 2090 972 3576 166213 46 9457 14753 2090 5345 0.39 1797.98/1798.42 c 3238 972 4724 259061 54 11532 16229 3238 5290 0.61 1797.98/1798.42 c 4959 972 6445 419289 65 15029 17852 4959 3737 1.33 1797.98/1798.42 c 7544 972 9030 610350 67 20181 19638 7544 2817 2.68 1797.98/1798.42 c 11424 972 12910 898655 69 27941 21602 11424 2005 5.70 1797.98/1798.42 c 17246 972 18732 1337487 71 39587 23763 17246 1264 13.64 1797.98/1798.42 c 25983 972 14488 998149 68 31102 26140 13002 1008 25.75 1797.98/1798.42 c 39093 972 27598 1974066 71 57280 28755 26112 814 47.99 1797.98/1798.42 c 58763 972 29440 2060002 69 60963 31631 27954 718 81.75 1797.98/1798.42 c 88273 972 17461 1326538 75 37090 34795 15975 752 117.31 1797.98/1798.42 c 132543 972 13774 1040073 75 29633 38275 12288 736 179.85 1797.98/1798.42 c 198953 972 25582 2282256 89 53262 42103 24096 678 293.23 1797.98/1798.42 c 298573 972 31956 2639756 82 66018 46314 30470 639 467.02 1797.98/1798.42 c 448008 969 40018 3306442 82 82193 50946 38532 630 710.08 1797.98/1798.42 c 672167 969 25488 2002249 78 53051 56041 24002 553 1213.43 1797.98/1798.42 c Resources Exceeded 1797.98/1798.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.42 c 20 933827 9355 966508 20595 1602564 19109 519 1798.00 1797.98/1798.42 s UNKNOWN 1797.98/1798.42 c Total time: 1798 s
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-2670470-1276702243/watcher-2670470-1276702243 -o /tmp/evaluation-result-2670470-1276702243/solver-2670470-1276702243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670470-1276702243.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.01 1.00 2/106 8753 /proc/meminfo: memFree=1794124/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=10984 CPUtime=0 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 45828257 11247616 257 1992294400 134512640 137138936 4291245696 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 2746 258 175 642 0 2088 0 [startup+0.055423 s] /proc/loadavg: 1.00 1.01 1.00 2/106 8753 /proc/meminfo: memFree=1794124/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=11440 CPUtime=0.05 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 511 0 0 0 5 0 0 0 20 0 1 0 45828257 11714560 415 1992294400 134512640 137138936 4291245696 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 2860 415 190 642 0 2216 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11440 [startup+0.101426 s] /proc/loadavg: 1.00 1.01 1.00 2/106 8753 /proc/meminfo: memFree=1794124/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=11816 CPUtime=0.1 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 604 0 0 0 10 0 0 0 20 0 1 0 45828257 12099584 508 1992294400 134512640 137138936 4291245696 18446744073709551615 134542442 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 2954 509 190 642 0 2310 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11816 [startup+0.301442 s] /proc/loadavg: 1.00 1.01 1.00 2/106 8753 /proc/meminfo: memFree=1794124/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=13040 CPUtime=0.29 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 908 0 0 0 29 0 0 0 20 0 1 0 45828257 13352960 812 1992294400 134512640 137138936 4291245696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 3260 812 190 642 0 2616 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13040 [startup+0.701474 s] /proc/loadavg: 1.00 1.01 1.00 2/106 8753 /proc/meminfo: memFree=1794124/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=15016 CPUtime=0.69 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 1415 0 0 0 69 0 0 0 21 0 1 0 45828257 15376384 1319 1992294400 134512640 137138936 4291245696 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 3754 1319 190 642 0 3110 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15016 [startup+1.50154 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8754 /proc/meminfo: memFree=1788536/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=17452 CPUtime=1.49 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 2026 0 0 0 148 1 0 0 23 0 1 0 45828257 17870848 1930 1992294400 134512640 137138936 4291245696 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 4363 1930 190 642 0 3719 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17452 [startup+3.10067 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8754 /proc/meminfo: memFree=1785808/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=20276 CPUtime=3.09 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 2716 0 0 0 307 2 0 0 25 0 1 0 45828257 20762624 2620 1992294400 134512640 137138936 4291245696 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 5069 2620 190 642 0 4425 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20276 [startup+6.30093 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8754 /proc/meminfo: memFree=1780848/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=24552 CPUtime=6.29 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 3788 0 0 0 625 4 0 0 25 0 1 0 45828257 25141248 3692 1992294400 134512640 137138936 4291245696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 6138 3692 190 642 0 5494 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24552 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8754 /proc/meminfo: memFree=1775392/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=29404 CPUtime=12.69 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 5012 0 0 0 1263 6 0 0 25 0 1 0 45828257 30109696 4916 1992294400 134512640 137138936 4291245696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 7351 4916 190 642 0 6707 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29404 [startup+25.5015 s] /proc/loadavg: 1.07 1.02 1.00 2/107 8756 /proc/meminfo: memFree=1767084/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=37264 CPUtime=25.49 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 6984 0 0 0 2538 11 0 0 25 0 1 0 45828257 38158336 6888 1992294400 134512640 137138936 4291245696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 9316 6888 190 642 0 8672 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37264 [startup+51.1016 s] /proc/loadavg: 1.05 1.02 1.00 2/107 8756 /proc/meminfo: memFree=1764356/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=40328 CPUtime=51.08 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 7748 0 0 0 5092 16 0 0 25 0 1 0 45828257 41295872 7652 1992294400 134512640 137138936 4291245696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 10082 7652 190 642 0 9438 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 40328 [startup+102.309 s] /proc/loadavg: 1.02 1.01 1.00 2/107 8758 /proc/meminfo: memFree=1759768/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=44468 CPUtime=102.28 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 8787 0 0 0 10198 30 0 0 25 0 1 0 45828257 45535232 8691 1992294400 134512640 137138936 4291245696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 11117 8691 190 642 0 10473 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 44468 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 8758 /proc/meminfo: memFree=1751088/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=53040 CPUtime=162.26 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 10937 0 0 0 16179 47 0 0 25 0 1 0 45828257 54312960 10806 1992294400 134512640 137138936 4291245696 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 13260 10806 190 642 0 12616 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 53040 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8760 /proc/meminfo: memFree=1745508/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=58532 CPUtime=222.24 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 12360 0 0 0 22163 61 0 0 25 0 1 0 45828257 59936768 12191 1992294400 134512640 137138936 4291245696 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 14633 12191 190 642 0 13989 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 58532 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8762 /proc/meminfo: memFree=1743028/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=61252 CPUtime=282.23 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 13025 0 0 0 28154 69 0 0 25 0 1 0 45828257 62722048 12856 1992294400 134512640 137138936 4291245696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 15313 12856 190 642 0 14669 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 61252 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8764 /proc/meminfo: memFree=1737944/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66156 CPUtime=342.21 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14312 0 0 0 34139 82 0 0 25 0 1 0 45828257 67743744 14101 1992294400 134512640 137138936 4291245696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16539 14101 190 642 0 15895 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 66156 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8766 /proc/meminfo: memFree=1737820/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66392 CPUtime=402.19 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14352 0 0 0 40127 92 0 0 25 0 1 0 45828257 67985408 14141 1992294400 134512640 137138936 4291245696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16598 14141 190 642 0 15954 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 66392 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8766 /proc/meminfo: memFree=1737820/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66392 CPUtime=462.19 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14352 0 0 0 46118 101 0 0 25 0 1 0 45828257 67985408 14141 1992294400 134512640 137138936 4291245696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16598 14141 190 642 0 15954 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 66392 [startup+522.302 s] /proc/loadavg: 1.11 1.03 1.01 2/107 8768 /proc/meminfo: memFree=1737696/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66408 CPUtime=522.17 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14358 0 0 0 52106 111 0 0 25 0 1 0 45828257 68001792 14147 1992294400 134512640 137138936 4291245696 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16602 14147 190 642 0 15958 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 66408 [startup+582.302 s] /proc/loadavg: 1.04 1.02 1.00 2/107 8770 /proc/meminfo: memFree=1737696/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66136 CPUtime=582.15 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14358 0 0 0 58096 119 0 0 25 0 1 0 45828257 67723264 14109 1992294400 134512640 137138936 4291245696 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16534 14109 190 642 0 15890 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 66136 [startup+642.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 8772 /proc/meminfo: memFree=1737696/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=66136 CPUtime=642.14 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 14358 0 0 0 64083 131 0 0 25 0 1 0 45828257 67723264 14109 1992294400 134512640 137138936 4291245696 18446744073709551615 136500946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 16534 14109 190 642 0 15890 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 66136 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1722816/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80868 CPUtime=1122.02 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18157 0 0 0 111995 207 0 0 25 0 1 0 45828257 82808832 17760 1992294400 134512640 137138936 4291245696 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20217 17760 190 642 0 19573 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 80868 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8786 /proc/meminfo: memFree=1722816/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80868 CPUtime=1182.01 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18157 0 0 0 117982 219 0 0 25 0 1 0 45828257 82808832 17760 1992294400 134512640 137138936 4291245696 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20217 17760 190 642 0 19573 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 80868 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8788 /proc/meminfo: memFree=1722568/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80872 CPUtime=1242 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18158 0 0 0 123966 234 0 0 25 0 1 0 45828257 82812928 17761 1992294400 134512640 137138936 4291245696 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20218 17761 190 642 0 19574 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 80872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1722568/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1301.99 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 129955 244 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 80604 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8790 /proc/meminfo: memFree=1722568/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1361.97 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 135945 252 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 80604 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8792 /proc/meminfo: memFree=1722568/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1421.97 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 141933 264 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 80604 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8794 /proc/meminfo: memFree=1722444/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1481.94 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 147920 274 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 80604 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8796 /proc/meminfo: memFree=1722444/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1541.93 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 153912 281 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 80604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8798 /proc/meminfo: memFree=1722444/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1601.91 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 159902 289 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 80604 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8798 /proc/meminfo: memFree=1722444/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80604 CPUtime=1661.9 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 165894 296 0 0 25 0 1 0 45828257 82538496 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20151 17726 190 642 0 19507 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 80604 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8800 /proc/meminfo: memFree=1722320/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1721.89 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 171885 304 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 80608 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1781.87 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 177874 313 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 80608 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1791.48 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 178833 315 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 80608 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1794.67 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179152 315 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134543792 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 80608 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1796.26 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179311 315 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 136297657 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1796.26 Current children cumulated vsize (KiB) 80608 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1797.07 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179391 316 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542280 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 80608 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1797.47 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179431 316 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 80608 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1797.87 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179471 316 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 80608 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8802 /proc/meminfo: memFree=1722072/2059040 swapFree=4140244/4192956 [pid=8753] ppid=8751 vsize=80608 CPUtime=1797.98 /proc/8753/stat : 8753 (bsolo_pb10) R 8751 8753 8530 0 -1 4202496 18161 0 0 0 179482 316 0 0 25 0 1 0 45828257 82542592 17726 1992294400 134512640 137138936 4291245696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8753/statm: 20152 17726 190 642 0 19508 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 80608 Child status: 0 Real time (s): 1798.44 CPU time (s): 1798.01 CPU user time (s): 1794.84 CPU system time (s): 3.17052 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (KiB): 80884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.84 system time used= 3.17052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18161 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= 2983 runsolver used 2.91056 second user time and 8.5477 second system time The end
Begin job on node003 at 2010-06-16 17:30:43 IDJOB=2670470 IDBENCH=47951 IDSOLVER=1163 FILE ID=node003/2670470-1276702243 PBS_JOBID= 11174130 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670470-1276702243/watcher-2670470-1276702243 -o /tmp/evaluation-result-2670470-1276702243/solver-2670470-1276702243 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670470-1276702243.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648 RANDOM SEED=1028332100 node003.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.251 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.50 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.251 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1796768 kB Buffers: 74320 kB Cached: 106544 kB SwapCached: 5996 kB Active: 78512 kB Inactive: 115532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796768 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 11556 kB Mapped: 13056 kB Slab: 46292 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181616 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670470-1276702243.opb Free space on /tmp at the end= 62576 MiB End job on node003 at 2010-06-16 18:00:42