Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -25 | 1800.01 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb |
MD5SUM | 737bdf32fd69c002d569e68c523af4bf |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 217.679 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1244 |
Sum of products size (including duplicates) | 2488 |
Number of different products | 622 |
Sum of products size | 1244 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454836-1178032130/instance-454836-1178032130.opb 0.00/0.00 c File size is 14952 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.008 s 0.00/0.01 c Var: 1344 Constr: 2688 1344/100/1244 Lit: 9952 Watch. Lit: 7464 0.00/0.01 c Obj. Vars: 100 (7.44048 % of total variables) 0.00/0.02 c Pre-processing Time: 0.019 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 622 1866 3 1244 207 0 0 0.02 0.00/0.02 c Switching off LPR mode. 0.00/0.02 o -21 0.019 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 623 1966 3 1267 940 1 0 0.02 0.00/0.02 o -23 0.019 49.38/49.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.38/49.50 c 2 100 626 2218 3 1296 1007 4 105 0.02 49.38/49.50 c 102 100 726 9575 13 1496 1108 104 4080 0.03 49.38/49.50 c 353 100 977 27951 28 1998 1219 355 8404 0.04 49.38/49.50 c 828 100 1452 62804 43 2948 1341 830 9857 0.08 49.38/49.50 c 1642 100 2266 122138 53 4576 1476 1644 8923 0.18 49.38/49.50 c 2963 100 1536 68403 44 3095 1624 914 7776 0.38 49.38/49.50 c 5044 100 1495 65431 43 3013 1787 873 7236 0.70 49.38/49.50 c 8270 100 2514 139637 55 5051 1966 1892 6260 1.32 49.38/49.50 c 13206 100 2843 163140 57 5709 2163 2221 5799 2.28 49.38/49.50 c 20712 100 3174 187199 58 6371 2380 2552 5410 3.83 49.38/49.50 c 32073 100 1989 101674 51 4001 2619 1367 4685 6.84 49.38/49.50 c 49218 100 3391 203023 59 6805 2881 2769 4448 11.06 49.38/49.50 c 75037 100 4383 275253 62 8789 3170 3761 4225 17.76 49.38/49.50 c 113869 100 2579 144600 56 5181 3488 1957 3840 29.65 49.38/49.50 c 172222 100 2821 160628 56 5665 3837 2199 3507 49.10 49.38/49.50 o -24 49.484 1603.75/1604.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1603.75/1604.25 c 174345 100 4945 316651 64 9937 1040 4323 3523 49.48 1603.75/1604.25 c 174446 100 1244 46829 37 2512 1145 622 3522 49.52 1603.75/1604.25 c 174698 100 1496 65054 43 3016 1260 874 3526 49.55 1603.75/1604.25 c 175174 100 1972 99530 50 3968 1387 1350 3531 49.60 1603.75/1604.25 c 175987 100 2785 158239 56 5594 1526 2163 3539 49.72 1603.75/1604.25 c 177307 100 2033 103546 50 4090 1679 1411 3552 49.91 1603.75/1604.25 c 179388 100 1964 98106 49 3952 1847 1342 3571 50.23 1603.75/1604.25 c 182611 100 2943 169353 57 5910 2032 2321 3595 50.78 1603.75/1604.25 c 187547 100 3216 188642 58 6456 2236 2594 3626 51.72 1603.75/1604.25 c 195053 100 3402 200523 58 6828 2460 2780 3643 53.53 1603.75/1604.25 c 206415 100 2032 102481 50 4088 2707 1410 3644 56.63 1603.75/1604.25 c 223559 100 3174 185777 58 6372 2978 2552 3674 60.84 1603.75/1604.25 c 249379 100 3770 227782 60 7564 3276 3148 3676 67.83 1603.75/1604.25 c 288211 100 4216 260431 61 8456 3604 3594 3629 79.40 1603.75/1604.25 c 346563 100 3362 198377 59 6748 3965 2740 3497 99.10 1603.75/1604.25 c 434196 100 5377 342562 63 10778 4362 4755 3255 133.37 1603.75/1604.25 c 565749 100 4125 252772 61 8274 4799 3503 3011 187.83 1603.75/1604.25 c 763182 100 4878 308009 63 9780 5279 4256 2797 272.83 1603.75/1604.25 c 1059434 100 4851 306113 63 9726 5807 4229 2642 400.85 1603.75/1604.25 c 1503917 100 6818 446641 65 13660 6388 6196 2456 612.21 1603.75/1604.25 c 2170745 100 6948 458705 66 13920 7027 6326 2189 991.38 1603.75/1604.25 o -25 1603.81 1800.00/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.50 c 3168894 100 6707 439692 65 13463 1073 6085 1975 1603.81 1800.00/1800.50 c 3168994 100 1260 47152 37 2545 1181 638 1975 1603.90 1800.00/1800.50 c 3169244 100 1510 65054 43 3045 1300 888 1975 1603.92 1800.00/1800.50 c 3169720 100 1986 99027 49 3997 1431 1364 1976 1603.97 1800.00/1800.50 c 3170534 100 2800 156969 56 5625 1575 2178 1976 1604.10 1800.00/1800.50 c 3171855 100 2023 101252 50 4071 1733 1401 1977 1604.30 1800.00/1800.50 c 3173936 100 1923 93653 48 3871 1907 1301 1978 1604.57 1800.00/1800.50 c 3177159 100 2874 161577 56 5773 2098 2252 1979 1605.05 1800.00/1800.50 c 3182095 100 3071 174274 56 6167 2308 2449 1981 1606.04 1800.00/1800.50 c 3189601 100 3155 181024 57 6335 2539 2533 1984 1607.60 1800.00/1800.50 c 3200963 100 4187 255066 60 8399 2793 3565 1987 1610.56 1800.00/1800.50 c 3218108 100 2345 123476 52 4715 3073 1723 1992 1615.45 1800.00/1800.50 c 3243927 100 2523 135142 53 5071 3381 1901 1998 1623.27 1800.00/1800.50 c 3282761 100 2314 121524 52 4653 3720 1692 2007 1634.97 1800.00/1800.50 c 3341113 100 3617 213860 59 7259 4093 2995 2020 1653.25 1800.00/1800.50 c 3428746 100 3926 233354 59 7877 4503 3304 2032 1686.65 1800.00/1800.50 c 3560298 100 3700 220221 59 7425 4954 3078 2048 1737.91 1800.00/1800.50 c Caught signal: 15 1800.00/1800.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 1800.00/1800.50 v -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 x43 x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 1800.00/1800.50 v -x56 -x57 x58 -x59 x60 -x61 x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 -x80 -x81 -x82 1800.00/1800.50 v x83 -x84 x85 x86 x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 1800.00/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.50 c 54 3706727 310553 4084691 6120 392074 5498 2059 1800.01 1800.00/1800.50 c Objective: -25 1800.00/1800.50 s SATISFIABLE 1800.00/1800.50 c Total time: 1800.01 s
OK -25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-454836-1178032130 -o ROOT/results/node60/solver-454836-1178032130 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454836-1178032130/instance-454836-1178032130.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/64 28557 /proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11752 CPUtime=0 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 251122993 12034048 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5874536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2938 344 290 324 0 2004 0 [startup+0.0571539 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28557 /proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=4972 CPUtime=0.04 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 666 0 0 0 4 0 0 0 18 0 1 0 251122993 5091328 632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1243 632 311 324 0 313 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4972 [startup+0.101158 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28557 /proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=5368 CPUtime=0.09 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 766 0 0 0 9 0 0 0 18 0 1 0 251122993 5496832 732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1342 732 311 324 0 412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5368 [startup+0.301177 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28557 /proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=6936 CPUtime=0.29 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1131 0 0 0 28 1 0 0 19 0 1 0 251122993 7102464 1097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1734 1097 311 324 0 804 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6936 [startup+0.701216 s] /proc/loadavg: 0.92 0.98 0.99 3/64 28557 /proc/meminfo: memFree=1884760/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=7320 CPUtime=0.69 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1242 0 0 0 68 1 0 0 23 0 1 0 251122993 7495680 1208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1830 1208 311 324 0 900 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.5013 s] /proc/loadavg: 0.92 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1881104/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=7576 CPUtime=1.49 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1308 0 0 0 148 1 0 0 25 0 1 0 251122993 7757824 1274 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1894 1274 311 324 0 964 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7576 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1880656/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=7836 CPUtime=3.09 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1385 0 0 0 308 1 0 0 25 0 1 0 251122993 8024064 1351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 1959 1351 311 324 0 1029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7836 [startup+6.30176 s] /proc/loadavg: 0.93 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1880016/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=8092 CPUtime=6.29 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1447 0 0 0 628 1 0 0 25 0 1 0 251122993 8286208 1413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5965662 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2023 1413 311 324 0 1093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8092 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1879568/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=8612 CPUtime=12.69 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1573 0 0 0 1268 1 0 0 25 0 1 0 251122993 8818688 1539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967624 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2153 1539 311 324 0 1223 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8612 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1879248/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=8992 CPUtime=25.48 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1651 0 0 0 2547 1 0 0 25 0 1 0 251122993 9207808 1617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2248 1617 311 324 0 1318 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8992 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1878928/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=9248 CPUtime=51.07 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1733 0 0 0 5106 1 0 0 25 0 1 0 251122993 9469952 1699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2312 1699 311 324 0 1382 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9248 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1878544/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=9728 CPUtime=102.26 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1865 0 0 0 10225 1 0 0 25 0 1 0 251122993 9961472 1807 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2432 1807 311 324 0 1502 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9728 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1878096/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=10124 CPUtime=162.24 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 1971 0 0 0 16223 1 0 0 25 0 1 0 251122993 10366976 1913 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2531 1913 311 324 0 1601 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 10124 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1877584/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=10608 CPUtime=222.23 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2084 0 0 0 22221 2 0 0 25 0 1 0 251122993 10862592 2026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2652 2026 311 324 0 1722 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10608 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1877072/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11120 CPUtime=282.22 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2205 0 0 0 28220 2 0 0 25 0 1 0 251122993 11386880 2147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2780 2147 311 324 0 1850 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 11120 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1877072/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11116 CPUtime=342.2 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2212 0 0 0 34218 2 0 0 25 0 1 0 251122993 11382784 2154 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2779 2154 311 324 0 1849 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11116 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1877008/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11620 CPUtime=402.18 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2339 0 0 0 40216 2 0 0 25 0 1 0 251122993 11898880 2281 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2905 2281 311 324 0 1975 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 11620 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1876496/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11620 CPUtime=462.16 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2346 0 0 0 46214 2 0 0 25 0 1 0 251122993 11898880 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5975781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2905 2288 311 324 0 1975 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 11620 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1876432/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11620 CPUtime=522.15 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2346 0 0 0 52213 2 0 0 25 0 1 0 251122993 11898880 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2905 2288 311 324 0 1975 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 11620 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1876432/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=11620 CPUtime=582.13 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2349 0 0 0 58211 2 0 0 25 0 1 0 251122993 11898880 2291 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 2905 2291 311 324 0 1975 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 11620 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875792/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12248 CPUtime=642.12 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2499 0 0 0 64210 2 0 0 25 0 1 0 251122993 12541952 2441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3062 2441 311 324 0 2132 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12248 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875728/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12244 CPUtime=882.05 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2500 0 0 0 88202 3 0 0 25 0 1 0 251122993 12537856 2442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3061 2442 311 324 0 2131 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 12244 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875728/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12244 CPUtime=942.03 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2500 0 0 0 94200 3 0 0 25 0 1 0 251122993 12537856 2442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3061 2442 311 324 0 2131 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 12244 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1002.02 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2661 0 0 0 100199 3 0 0 25 0 1 0 251122993 13193216 2603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2603 311 324 0 2291 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 12884 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1062 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2661 0 0 0 106197 3 0 0 25 0 1 0 251122993 13193216 2603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2603 311 324 0 2291 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 12884 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1121.98 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 112195 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 12884 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1181.96 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 118193 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551952 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 12884 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1241.95 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 124192 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 12884 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1301.94 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 130191 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 12884 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875024/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1361.92 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 136189 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 12884 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1421.9 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 142187 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 12884 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1481.88 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 148185 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 12884 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874896/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1541.86 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 154183 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 12884 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874896/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12884 CPUtime=1601.85 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 160182 3 0 0 25 0 1 0 251122993 13193216 2608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3221 2608 311 324 0 2291 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 12884 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1874960/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12600 CPUtime=1661.83 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 166180 3 0 0 25 0 1 0 251122993 12902400 2542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3150 2542 311 324 0 2220 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 12600 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 28558 /proc/meminfo: memFree=1875088/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12500 CPUtime=1721.81 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 172178 3 0 0 25 0 1 0 251122993 12800000 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3125 2517 311 324 0 2195 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 12500 [startup+1782.3 s] /proc/loadavg: 1.05 1.00 1.00 2/65 28558 /proc/meminfo: memFree=1875152/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12364 CPUtime=1781.8 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 178176 4 0 0 25 0 1 0 251122993 12660736 2483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3091 2483 311 324 0 2161 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 12364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.04 1.00 1.00 2/65 28558 /proc/meminfo: memFree=1875216/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12320 CPUtime=1800 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 179996 4 0 0 25 0 1 0 251122993 12615680 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3080 2472 311 324 0 2150 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 12320 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.04 1.00 1.00 2/65 28558 /proc/meminfo: memFree=1875216/2055920 swapFree=4183252/4192956 [pid=28557] ppid=28555 vsize=12320 CPUtime=1800 /proc/28557/stat : 28557 (bsolo3.0.17) R 28555 28557 14857 0 -1 4194304 2666 0 0 0 179996 4 0 0 25 0 1 0 251122993 12615680 2472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552323 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28557/statm: 3080 2472 311 324 0 2150 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 12320 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.97 CPU system time (s): 0.044993 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 12884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.044993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2670 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= 2135 runsolver used 1.26481 second user time and 3.66044 second system time The end
Begin job on node60 on Tue May 1 15:08:50 UTC 2007 IDJOB= 454836 IDBENCH= 48223 IDSOLVER= 199 FILE ID= node60/454836-1178032130 PBS_JOBID= 4728378 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454836-1178032130/instance-454836-1178032130.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-454836-1178032130 -o ROOT/results/node60/solver-454836-1178032130 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454836-1178032130/instance-454836-1178032130.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf RANDOM SEED= 126785022 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1885168 kB Buffers: 31952 kB Cached: 63812 kB SwapCached: 3244 kB Active: 73444 kB Inactive: 37812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1885168 kB SwapTotal: 4192956 kB SwapFree: 4183252 kB Dirty: 6592 kB Writeback: 0 kB Mapped: 21292 kB Slab: 45444 kB Committed_AS: 4313652 kB PageTables: 1480 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 node60 on Tue May 1 15:38:53 UTC 2007