Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.02 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb |
MD5SUM | 016a6113efb9500350327fbbc3111675 |
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.340947 |
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 | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/430632-1177997234/instance-430632-1177997234.opb 0.00/0.00 c File size is 11660 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.014 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off LPR mode. 1799.94/1800.66 c 104 864 1425 13258 9 4875 8138 104 4521 0.02 1799.94/1800.66 c 255 864 1576 33183 21 5204 8952 255 5312 0.05 1799.94/1800.66 c 480 864 1801 49058 27 5608 9848 480 6575 0.07 1799.94/1800.66 c 819 864 2140 80871 37 6311 10833 819 7583 0.11 1799.94/1800.66 c 1327 864 2648 120204 45 7312 11917 1327 7946 0.17 1799.94/1800.66 c 2090 864 3411 183564 53 8847 13109 2090 8069 0.26 1799.94/1800.66 c 3236 864 4557 284246 62 11077 14420 3236 6407 0.51 1799.94/1800.66 c 4957 864 6278 427248 68 14475 15863 4957 6045 0.82 1799.94/1800.66 c 7541 864 8862 652955 73 19638 17450 7541 4899 1.54 1799.94/1800.66 c 11420 864 12741 992084 77 27439 19196 11420 4886 2.34 1799.94/1800.66 c 17242 864 18563 1448840 78 39073 21116 17242 2728 6.32 1799.94/1800.66 c 25979 864 16550 1240069 74 35000 23228 15229 2420 10.73 1799.94/1800.66 c 39090 864 17013 1239093 72 35957 25551 15692 2265 17.25 1799.94/1800.66 c 58760 864 21610 1528629 70 45157 28107 20289 1730 33.95 1799.94/1800.66 c 88270 864 16741 1229406 73 35279 30918 15420 1109 79.57 1799.94/1800.66 c 132540 864 21146 1476460 69 44083 34010 19825 937 141.37 1799.94/1800.66 c 198950 864 18099 1555238 85 38125 37412 16778 907 219.32 1799.94/1800.66 c 298571 864 13142 932036 70 28173 41154 11821 778 383.35 1799.94/1800.66 c 448006 864 41136 3324711 80 84086 45270 39815 692 647.27 1799.94/1800.66 c 672165 864 27399 2027800 74 56636 49798 26078 608 1105.44 1799.94/1800.66 c 1008408 864 25076 1962160 78 52033 54778 23755 605 1665.13 1799.94/1800.66 c Resources Exceeded 1799.94/1800.66 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.66 c 21 1095632 8750 1135528 25661 2022056 24340 608 1800.00 1799.94/1800.66 s UNKNOWN 1799.94/1800.66 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-430632-1177997234 -o ROOT/results/node33/solver-430632-1177997234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430632-1177997234/instance-430632-1177997234.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29994 /proc/meminfo: memFree=1820912/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=3936 CPUtime=0 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 247638908 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 984 348 291 324 0 50 0 [startup+0.0708619 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29994 /proc/meminfo: memFree=1820912/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=4848 CPUtime=0.06 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 638 0 0 0 6 0 0 0 18 0 1 0 247638908 4964352 604 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 1212 604 312 324 0 281 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4848 [startup+0.101869 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29994 /proc/meminfo: memFree=1820912/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=5236 CPUtime=0.09 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 734 0 0 0 9 0 0 0 18 0 1 0 247638908 5361664 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 1309 701 312 324 0 378 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5236 [startup+0.30191 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29994 /proc/meminfo: memFree=1820912/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=7172 CPUtime=0.29 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 1202 0 0 0 28 1 0 0 19 0 1 0 247638908 7344128 1168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 1793 1169 312 324 0 862 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7172 [startup+0.701992 s] /proc/loadavg: 0.92 0.98 0.99 3/77 29994 /proc/meminfo: memFree=1820912/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=9364 CPUtime=0.69 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 1765 0 0 0 68 1 0 0 23 0 1 0 247638908 9588736 1731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 2341 1731 312 324 0 1410 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9364 [startup+1.50116 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1813160/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=13360 CPUtime=1.48 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 2736 0 0 0 147 1 0 0 25 0 1 0 247638908 13680640 2702 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 3340 2702 312 324 0 2409 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13360 [startup+3.10148 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1807400/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=20080 CPUtime=3.09 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 4446 0 0 0 305 4 0 0 25 0 1 0 247638908 20561920 4412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 5020 4412 312 324 0 4089 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20080 [startup+6.30114 s] /proc/loadavg: 0.92 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1800744/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=24604 CPUtime=6.28 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 5554 0 0 0 623 5 0 0 25 0 1 0 247638908 25194496 5520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 6151 5520 312 324 0 5220 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24604 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1794992/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=29244 CPUtime=12.68 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 6727 0 0 0 1260 8 0 0 25 0 1 0 247638908 29945856 6693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 7311 6693 312 324 0 6380 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 29244 [startup+25.5011 s] /proc/loadavg: 0.94 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1791536/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=32708 CPUtime=25.48 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 7598 0 0 0 2537 11 0 0 25 0 1 0 247638908 33492992 7564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 8177 7564 312 324 0 7246 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32708 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1789872/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=34772 CPUtime=51.06 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 8120 0 0 0 5091 15 0 0 25 0 1 0 247638908 35606528 8086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 8693 8086 312 324 0 7762 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 34772 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1785456/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=38744 CPUtime=102.24 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 9111 0 0 0 10202 22 0 0 25 0 1 0 247638908 39673856 9077 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 9686 9077 312 324 0 8755 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 38744 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1785456/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=38712 CPUtime=162.22 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 9111 0 0 0 16193 29 0 0 25 0 1 0 247638908 39641088 9071 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 9678 9071 312 324 0 8747 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38712 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1777648/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=46432 CPUtime=222.2 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 11114 0 0 0 22181 39 0 0 25 0 1 0 247638908 47546368 10972 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11378520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 11608 10972 312 324 0 10677 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 46432 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1774576/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=49524 CPUtime=282.18 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 11926 0 0 0 28172 46 0 0 25 0 1 0 247638908 50712576 11747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 12381 11747 312 324 0 11450 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 49524 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1774576/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=49520 CPUtime=342.15 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 11926 0 0 0 34164 51 0 0 25 0 1 0 247638908 50708480 11747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 12380 11747 312 324 0 11449 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 49520 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1771184/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=53760 CPUtime=402.13 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 13019 0 0 0 40155 58 0 0 25 0 1 0 247638908 55050240 12803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 13440 12803 312 324 0 12509 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 53760 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1766704/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=57240 CPUtime=462.11 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 13944 0 0 0 46146 65 0 0 25 0 1 0 247638908 58613760 13687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 14310 13687 312 324 0 13379 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 57240 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1766640/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=57240 CPUtime=522.09 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 14026 0 0 0 52139 70 0 0 25 0 1 0 247638908 58613760 13687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 14310 13687 312 324 0 13379 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 57240 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1766640/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=57240 CPUtime=582.07 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 14026 0 0 0 58132 75 0 0 25 0 1 0 247638908 58613760 13687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 14310 13687 312 324 0 13379 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 57240 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29995 /proc/meminfo: memFree=1766576/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=57240 CPUtime=642.06 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 14067 0 0 0 64124 82 0 0 25 0 1 0 247638908 58613760 13687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 14310 13687 312 324 0 13379 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 57240 ################ # More data... # ################ /proc/meminfo: memFree=1756528/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=66696 CPUtime=1121.87 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 16716 0 0 0 112056 131 0 0 25 0 1 0 247638908 68296704 16068 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 16674 16068 312 324 0 15743 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 66696 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1746544/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=76608 CPUtime=1181.85 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 19233 0 0 0 118045 140 0 0 25 0 1 0 247638908 78446592 18535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 19152 18535 312 324 0 18221 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 76608 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1745584/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=77380 CPUtime=1241.83 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 19484 0 0 0 124035 148 0 0 25 0 1 0 247638908 79237120 18736 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 19345 18736 312 324 0 18414 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 77380 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737136/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1301.81 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 130025 156 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 85760 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737136/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1361.79 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 136017 162 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 85760 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737072/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1421.77 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 142009 168 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 85760 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737072/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1481.74 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 148000 174 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 85760 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737072/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1541.72 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 153993 179 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 85760 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737072/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1601.7 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 159986 184 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 85760 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737072/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85760 CPUtime=1661.68 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21621 0 0 0 165979 189 0 0 25 0 1 0 247638908 87818240 20823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21440 20823 312 324 0 20509 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 85760 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1737008/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1721.66 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 171968 198 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 85780 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1781.63 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 177962 201 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 85780 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1791.24 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 178922 202 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1791.24 Current children cumulated vsize (KiB) 85780 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1794.43 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179241 202 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 85780 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1797.63 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179561 202 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (KiB) 85780 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1799.24 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179721 203 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1799.24 Current children cumulated vsize (KiB) 85780 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1799.64 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179761 203 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (KiB) 85780 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1799.84 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179781 203 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551113 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 85780 [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 29997 /proc/meminfo: memFree=1736880/2055920 swapFree=4147808/4192956 [pid=29994] ppid=29992 vsize=85780 CPUtime=1799.94 /proc/29994/stat : 29994 (bsolo3.0.16) R 29992 29994 28595 0 -1 4194304 21626 0 0 0 179791 203 0 0 25 0 1 0 247638908 87838720 20828 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29994/statm: 21445 20828 312 324 0 20514 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 85780 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.02 CPU user time (s): 1797.97 CPU system time (s): 2.04569 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 85780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.97 system time used= 2.04569 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21627 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= 12 involuntary context switches= 37264 runsolver used 1.3178 second user time and 3.98939 second system time The end
Begin job on node33 on Tue May 1 05:27:14 UTC 2007 IDJOB= 430632 IDBENCH= 47994 IDSOLVER= 163 FILE ID= node33/430632-1177997234 PBS_JOBID= 4728246 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430632-1177997234/instance-430632-1177997234.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-430632-1177997234 -o ROOT/results/node33/solver-430632-1177997234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430632-1177997234/instance-430632-1177997234.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 016a6113efb9500350327fbbc3111675 RANDOM SEED= 649055226 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.272 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.272 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1821256 kB Buffers: 44520 kB Cached: 103352 kB SwapCached: 13560 kB Active: 104704 kB Inactive: 67080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821256 kB SwapTotal: 4192956 kB SwapFree: 4147808 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 30440 kB Slab: 48180 kB Committed_AS: 2626160 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node33 on Tue May 1 05:57:15 UTC 2007