Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.58 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb |
MD5SUM | 9a5e6e5ac9dd04defb35f28c3f495740 |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 7.57685 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 86 |
Total number of constraints | 2 |
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 | 2 |
Minimum length of a constraint | 86 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 21733991 |
Number of bits of the biggest number in a constraint | 25 |
Biggest sum of numbers in a constraint | 300042743 |
Number of bits of the biggest sum of numbers | 29 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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/365763-1177052375/instance-365763-1177052375.opb 0.00/0.00 c File size is 2357 bytes. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Coefficients are big enough for not using lower bounding. 0.00/0.00 c Highest Coefficient sum: 3.00043e+08 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 86 Constr: 2 0/0/2 Lit: 172 Watch. Lit: 61 0.00/0.00 c Obj. Vars: 0 (0 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 1799.92/1800.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.57 c 0 86 2 172 86 93 344 0 0 0.00 1799.92/1800.57 c 101 86 103 8228 79 306 379 101 10100 0.01 1799.92/1800.57 c 251 86 253 20185 79 604 417 251 12550 0.02 1799.92/1800.57 c 476 86 212 17015 80 526 459 210 12864 0.04 1799.92/1800.57 c 816 86 244 19486 79 590 505 242 12750 0.06 1799.92/1800.57 c 1324 86 428 34132 79 956 556 426 12730 0.10 1799.92/1800.57 c 2087 86 493 39468 80 1087 612 491 12133 0.17 1799.92/1800.57 c 3233 86 498 39707 79 1098 674 496 11505 0.28 1799.92/1800.57 c 4954 86 573 45883 80 1250 742 571 11107 0.45 1799.92/1800.57 c 7540 86 502 40146 79 1113 817 500 10486 0.72 1799.92/1800.57 c 11421 86 564 45246 80 1238 899 562 9965 1.15 1799.92/1800.57 c 17245 86 634 50900 80 1379 989 632 9682 1.78 1799.92/1800.57 c 25983 86 878 70286 80 1862 1088 876 9353 2.78 1799.92/1800.57 c 39097 86 1081 86739 80 2276 1197 1079 8869 4.41 1799.92/1800.57 c 58768 86 661 53084 80 1430 1317 659 8437 6.96 1799.92/1800.57 c 88279 86 982 78919 80 2072 1449 980 8173 10.80 1799.92/1800.57 c 132550 86 1317 105668 80 2741 1594 1315 8025 16.52 1799.92/1800.57 c 198961 86 1412 113349 80 2930 1754 1410 7799 25.51 1799.92/1800.57 c 298584 86 1025 82416 80 2163 1930 1023 7361 40.56 1799.92/1800.57 c 448020 86 1787 143823 80 3678 2124 1785 7084 63.24 1799.92/1800.57 c 672178 86 1844 148346 80 3797 2337 1842 6727 99.91 1799.92/1800.57 c 1008421 86 2103 169215 80 4308 2571 2101 6485 155.50 1799.92/1800.57 c 1512794 86 1453 116957 80 3014 2829 1451 6111 247.52 1799.92/1800.57 c 2269357 86 2407 193708 80 4920 3112 2405 5782 392.43 1799.92/1800.57 c 3404209 86 3107 250095 80 6322 3424 3105 5358 635.32 1799.92/1800.57 c 5106493 86 2017 162114 80 4145 3767 2015 4960 1029.47 1799.92/1800.57 c 7659924 86 2211 177922 80 4530 4144 2209 4742 1615.12 1799.92/1800.57 c Resources Exceeded 1799.92/1800.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.57 c 26 8441751 6 8443541 2077 167094 2075 4689 1800.01 1799.92/1800.57 s UNKNOWN 1799.92/1800.57 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-365763-1177052375 -o ROOT/results/node7/solver-365763-1177052375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365763-1177052375/instance-365763-1177052375.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: 1.15 1.03 1.01 3/77 28691 /proc/meminfo: memFree=1689264/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=19548 CPUtime=0 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 387 0 0 0 0 0 0 0 18 0 1 0 181275091 20017152 354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4887 359 304 324 0 3956 0 [startup+0.0611809 s] /proc/loadavg: 1.15 1.03 1.01 3/77 28691 /proc/meminfo: memFree=1689264/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=12252 CPUtime=0.05 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 534 0 0 0 5 0 0 0 18 0 1 0 181275091 12546048 501 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3063 501 311 324 0 2132 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12252 [startup+0.101185 s] /proc/loadavg: 1.15 1.03 1.01 3/77 28691 /proc/meminfo: memFree=1689264/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=12380 CPUtime=0.09 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 564 0 0 0 9 0 0 0 18 0 1 0 181275091 12677120 531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3095 531 311 324 0 2164 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12380 [startup+0.301205 s] /proc/loadavg: 1.15 1.03 1.01 3/77 28691 /proc/meminfo: memFree=1689264/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=12508 CPUtime=0.29 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 595 0 0 0 29 0 0 0 19 0 1 0 181275091 12808192 562 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3127 562 311 324 0 2196 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12508 [startup+0.701247 s] /proc/loadavg: 1.15 1.03 1.01 3/77 28691 /proc/meminfo: memFree=1689264/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=12764 CPUtime=0.69 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 633 0 0 0 69 0 0 0 23 0 1 0 181275091 13070336 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3191 600 311 324 0 2260 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12764 [startup+1.50133 s] /proc/loadavg: 1.15 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1687976/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=12892 CPUtime=1.49 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 678 0 0 0 148 1 0 0 25 0 1 0 181275091 13201408 645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3223 645 311 324 0 2292 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12892 [startup+3.1015 s] /proc/loadavg: 1.15 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1687656/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=13152 CPUtime=3.09 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 732 0 0 0 308 1 0 0 25 0 1 0 181275091 13467648 699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3288 699 311 324 0 2357 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13152 [startup+6.30184 s] /proc/loadavg: 1.13 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1687400/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=13272 CPUtime=6.29 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 765 0 0 0 626 3 0 0 25 0 1 0 181275091 13590528 732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3318 732 311 324 0 2387 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13272 [startup+12.7015 s] /proc/loadavg: 1.12 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1687144/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=13528 CPUtime=12.68 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 836 0 0 0 1262 6 0 0 25 0 1 0 181275091 13852672 803 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3382 803 311 324 0 2451 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13528 [startup+25.5018 s] /proc/loadavg: 1.10 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1687080/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=13660 CPUtime=25.49 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 878 0 0 0 2537 12 0 0 25 0 1 0 181275091 13987840 845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3415 845 311 324 0 2484 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13660 [startup+51.1015 s] /proc/loadavg: 1.06 1.03 1.01 2/78 28692 /proc/meminfo: memFree=1686696/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=14044 CPUtime=51.08 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 975 0 0 0 5085 23 0 0 25 0 1 0 181275091 14381056 942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3511 942 311 324 0 2580 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14044 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/84 28800 /proc/meminfo: memFree=1684728/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=14560 CPUtime=102.22 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1091 0 0 0 10178 44 0 0 25 0 1 0 181275091 14909440 1058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3640 1058 311 324 0 2709 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 14560 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 28890 /proc/meminfo: memFree=1685672/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=14816 CPUtime=162.14 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1158 0 0 0 16147 67 0 0 25 0 1 0 181275091 15171584 1125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3704 1125 311 324 0 2773 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 14816 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28890 /proc/meminfo: memFree=1685608/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=14816 CPUtime=222.13 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1159 0 0 0 22125 88 0 0 25 0 1 0 181275091 15171584 1126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3704 1126 311 324 0 2773 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 14816 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685352/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15072 CPUtime=282.11 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1233 0 0 0 28102 109 0 0 25 0 1 0 181275091 15433728 1200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10858241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3768 1200 311 324 0 2837 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 15072 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685480/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15072 CPUtime=342.09 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1233 0 0 0 34080 129 0 0 25 0 1 0 181275091 15433728 1200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3768 1200 311 324 0 2837 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 15072 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685160/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15452 CPUtime=402.08 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1314 0 0 0 40057 151 0 0 25 0 1 0 181275091 15822848 1281 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3863 1281 311 324 0 2932 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 15452 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685160/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15452 CPUtime=462.06 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1315 0 0 0 46037 169 0 0 25 0 1 0 181275091 15822848 1282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3863 1282 311 324 0 2932 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 15452 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685160/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15452 CPUtime=522.05 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1315 0 0 0 52020 185 0 0 25 0 1 0 181275091 15822848 1282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3863 1282 311 324 0 2932 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 15452 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1685160/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15452 CPUtime=582.03 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1315 0 0 0 57998 205 0 0 25 0 1 0 181275091 15822848 1282 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3863 1282 311 324 0 2932 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 15452 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1684840/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=15828 CPUtime=642.02 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1403 0 0 0 63979 223 0 0 25 0 1 0 181275091 16207872 1370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 3957 1370 311 324 0 3026 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 15828 ################ # More data... # ################ /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1061.91 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 105846 345 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 16204 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1121.89 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 111829 360 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 16204 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1684456/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1181.88 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 117812 376 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 16204 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1684456/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1241.86 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 123795 391 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 16204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1301.86 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 129780 406 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 16204 [startup+1362.3 s] /proc/loadavg: 1.12 1.03 1.01 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1361.84 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 135761 423 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 16204 [startup+1422.31 s] /proc/loadavg: 1.04 1.02 1.00 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1421.82 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 141741 441 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 16204 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1481.8 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1502 0 0 0 147721 459 0 0 25 0 1 0 181275091 16592896 1469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1469 311 324 0 3120 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 16204 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28890 /proc/meminfo: memFree=1684392/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1541.79 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1503 0 0 0 153700 479 0 0 25 0 1 0 181275091 16592896 1470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1470 311 324 0 3120 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 16204 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28890 /proc/meminfo: memFree=1684328/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16204 CPUtime=1601.77 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1503 0 0 0 159680 497 0 0 25 0 1 0 181275091 16592896 1470 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4051 1470 311 324 0 3120 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 16204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1661.76 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 165662 514 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 16592 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1721.74 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 171646 528 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 16592 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1781.72 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 177627 545 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 16592 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1791.33 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 178586 547 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 16592 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1794.53 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 178905 548 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 16592 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1797.72 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 179223 549 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 16592 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1799.32 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 179383 549 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1799.32 Current children cumulated vsize (KiB) 16592 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1799.72 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 179423 549 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (KiB) 16592 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28890 /proc/meminfo: memFree=1683944/2055920 swapFree=4159720/4192956 [pid=28691] ppid=28689 vsize=16592 CPUtime=1799.92 /proc/28691/stat : 28691 (bsolo3.0.16) R 28689 28691 30333 0 -1 4194304 1611 0 0 0 179443 549 0 0 25 0 1 0 181275091 16990208 1578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28691/statm: 4148 1578 311 324 0 3217 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 16592 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.01 CPU user time (s): 1794.51 CPU system time (s): 5.49916 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 16592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.51 system time used= 5.49916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1612 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= 36174 runsolver used 2.22166 second user time and 4.10938 second system time The end
Begin job on node7 on Fri Apr 20 06:59:35 UTC 2007 IDJOB= 365763 IDBENCH= 2564 IDSOLVER= 163 FILE ID= node7/365763-1177052375 PBS_JOBID= 4640152 Free space on /tmp= 66367 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-prob8.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365763-1177052375/instance-365763-1177052375.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-365763-1177052375 -o ROOT/results/node7/solver-365763-1177052375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365763-1177052375/instance-365763-1177052375.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9a5e6e5ac9dd04defb35f28c3f495740 RANDOM SEED= 947520938 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1689736 kB Buffers: 41492 kB Cached: 253184 kB SwapCached: 13296 kB Active: 104400 kB Inactive: 219096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1689736 kB SwapTotal: 4192956 kB SwapFree: 4159720 kB Dirty: 4448 kB Writeback: 0 kB Mapped: 35532 kB Slab: 28104 kB Committed_AS: 8777708 kB PageTables: 1876 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= 66367 MiB End job on node7 on Fri Apr 20 07:29:35 UTC 2007