Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -25 | 1800 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_4.opb |
MD5SUM | d0c1e6f66b584092ef8bd8f37f3a4db9 |
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 | -25 |
Best CPU time to get the best result obtained on this benchmark | 675.688 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
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) | 1258 |
Sum of products size (including duplicates) | 2516 |
Number of different products | 629 |
Sum of products size | 1258 |
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/454575-1178027596/instance-454575-1178027596.opb 0.00/0.00 c File size is 15096 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.011 s 0.00/0.01 c Var: 1358 Constr: 2716 1358/100/1258 Lit: 10064 Watch. Lit: 7548 0.00/0.01 c Obj. Vars: 100 (7.36377 % of total variables) 0.00/0.02 c Pre-processing Time: 0.022 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 629 1887 3 1258 209 0 0 0.02 0.00/0.02 c Switching off LPR mode. 0.00/0.02 o -21 0.022 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 630 1987 3 1281 942 1 0 0.02 0.00/0.02 o -22 0.022 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 631 2087 3 1305 1709 2 0 0.02 0.00/0.02 o -23 0.023 13.09/13.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.12 c 7 100 639 2715 4 1344 1742 10 304 0.02 13.09/13.12 c 107 100 739 10099 13 1544 1917 110 3689 0.03 13.09/13.12 c 357 100 989 28409 28 2044 2109 360 7595 0.05 13.09/13.12 c 833 100 1465 63320 43 2996 2320 836 8956 0.09 13.09/13.12 c 1646 100 2278 122883 53 4622 2553 1649 8994 0.18 13.09/13.12 c 2966 100 3598 219842 61 7262 2809 2969 6547 0.45 13.09/13.12 c 5048 100 2941 171080 58 5905 3090 2312 6216 0.81 13.09/13.12 c 8271 100 3289 195622 59 6601 3400 2660 5903 1.40 13.09/13.12 c 13208 100 5189 335816 64 10401 3741 4560 4759 2.77 13.09/13.12 c 20714 100 3082 179487 58 6187 4116 2453 3964 5.22 13.09/13.12 c 32077 100 4276 268641 62 8575 4528 3647 3605 8.90 13.09/13.12 o -24 13.117 78.16/78.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.16/78.30 c 42979 100 4374 273953 62 8795 1042 3745 3276 13.12 78.16/78.30 c 43080 100 1252 45811 36 2528 1147 623 3274 13.16 78.16/78.30 c 43332 100 1504 64078 42 3032 1262 875 3287 13.18 78.16/78.30 c 43808 100 1980 98692 49 3984 1389 1351 3313 13.22 78.16/78.30 c 44621 100 2793 157395 56 5610 1528 2164 3346 13.33 78.16/78.30 c 45941 100 2011 101206 50 4046 1681 1382 3382 13.58 78.16/78.30 c 48022 100 1932 95495 49 3888 1850 1303 3450 13.92 78.16/78.30 c 51245 100 2902 165572 57 5828 2036 2273 3556 14.41 78.16/78.30 c 56182 100 3137 181868 57 6298 2240 2508 3658 15.36 78.16/78.30 c 63688 100 3280 192110 58 6584 2465 2651 3714 17.14 78.16/78.30 c 75051 100 1863 90526 48 3750 2712 1234 3746 20.03 78.16/78.30 c 92195 100 2892 164874 57 5808 2984 2263 3830 24.07 78.16/78.30 c 118016 100 3308 194197 58 6640 3283 2679 3798 31.07 78.16/78.30 c 156849 100 3532 210592 59 7088 3612 2903 3693 42.46 78.16/78.30 c 215201 100 5485 350704 63 10994 3974 4856 3491 61.64 78.16/78.30 o -25 78.264 1799.92/1800.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.67 c 257594 100 4749 299127 62 9547 1076 4120 3291 78.27 1799.92/1800.67 c 257694 100 1268 47423 37 2561 1184 639 3290 78.31 1799.92/1800.67 c 257945 100 1519 65336 43 3063 1303 890 3293 78.33 1799.92/1800.67 c 258420 100 1994 99310 49 4013 1434 1365 3297 78.37 1799.92/1800.67 c 259234 100 2808 157343 56 5641 1578 2179 3303 78.48 1799.92/1800.67 c 260555 100 2023 100832 49 4071 1736 1394 3311 78.69 1799.92/1800.67 c 262636 100 1904 92126 48 3833 1910 1275 3324 79.01 1799.92/1800.67 c 265859 100 2835 158249 55 5695 2102 2206 3344 79.50 1799.92/1800.67 c 270795 100 3009 170287 56 6043 2313 2380 3366 80.43 1799.92/1800.67 c 278301 100 3078 173886 56 6181 2545 2449 3382 82.27 1799.92/1800.67 c 289663 100 4056 243166 59 8137 2800 3427 3412 84.87 1799.92/1800.67 c 306807 100 2083 104365 50 4191 3081 1454 3427 89.50 1799.92/1800.67 c 332626 100 4962 307994 62 9949 3390 4333 3456 96.24 1799.92/1800.67 c 371458 100 4532 278298 61 9089 3730 3903 3455 107.49 1799.92/1800.67 c 429811 100 5412 340533 62 10849 4104 4783 3387 126.86 1799.92/1800.67 c 517443 100 5173 323640 62 10371 4515 4544 3239 159.72 1799.92/1800.67 c 648995 100 4102 248000 60 8229 4967 3473 3069 211.45 1799.92/1800.67 c 846427 100 3566 209030 58 7157 5464 2937 2874 294.43 1799.92/1800.67 c 1142680 100 3736 220868 59 7497 6011 3107 2667 428.33 1799.92/1800.67 c 1587162 100 6714 435188 64 13453 6613 6085 2387 664.89 1799.92/1800.67 c 2253989 100 7316 473163 64 14657 7275 6687 2184 1031.88 1799.92/1800.67 c 3254334 100 6206 396006 63 12437 8003 5577 1967 1654.03 1799.92/1800.67 c Resources Exceeded 1799.92/1800.67 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 1799.92/1800.67 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 1799.92/1800.67 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 x83 1799.92/1800.67 v -x84 x85 x86 -x87 x88 -x89 x90 x91 -x92 -x93 -x94 x95 x96 -x97 -x98 x99 x100 1799.92/1800.67 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.67 c 50 3474318 241600 3758007 7874 516930 7245 1930 1800.00 1799.92/1800.67 c Objective: -25 1799.92/1800.67 s SATISFIABLE 1799.92/1800.67 c Total time: 1800 s
OK -25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node39/watcher-454575-1178027596 -o ROOT/results/node39/solver-454575-1178027596 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454575-1178027596/instance-454575-1178027596.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.85 0.97 0.99 3/77 14412 /proc/meminfo: memFree=1861920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11752 CPUtime=0 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 250671625 12034048 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11432808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2938 346 292 324 0 2003 0 [startup+0.041672 s] /proc/loadavg: 0.85 0.97 0.99 3/77 14412 /proc/meminfo: memFree=1861920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=4848 CPUtime=0.03 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 610 0 0 0 3 0 0 0 18 0 1 0 250671625 4964352 575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 1212 576 312 324 0 281 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4848 [startup+0.101683 s] /proc/loadavg: 0.85 0.97 0.99 3/77 14412 /proc/meminfo: memFree=1861920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=5376 CPUtime=0.09 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 751 0 0 0 9 0 0 0 18 0 1 0 250671625 5505024 716 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 1344 716 312 324 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5376 [startup+0.301712 s] /proc/loadavg: 0.85 0.97 0.99 3/77 14412 /proc/meminfo: memFree=1861920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=6684 CPUtime=0.29 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 1097 0 0 0 29 0 0 0 19 0 1 0 250671625 6844416 1062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 1671 1062 313 324 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6684 [startup+0.701778 s] /proc/loadavg: 0.85 0.97 0.99 3/77 14412 /proc/meminfo: memFree=1861920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=8628 CPUtime=0.69 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 1563 0 0 0 69 0 0 0 23 0 1 0 250671625 8835072 1528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2157 1528 313 324 0 1226 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8628 [startup+1.50191 s] /proc/loadavg: 0.85 0.97 0.99 2/78 14413 /proc/meminfo: memFree=1856920/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=8884 CPUtime=1.49 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 1632 0 0 0 147 2 0 0 25 0 1 0 250671625 9097216 1597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2221 1597 313 324 0 1290 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8884 [startup+3.10116 s] /proc/loadavg: 0.85 0.97 0.99 2/78 14413 /proc/meminfo: memFree=1856152/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=9536 CPUtime=3.09 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 1807 0 0 0 307 2 0 0 25 0 1 0 250671625 9764864 1772 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2384 1772 313 324 0 1453 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9536 [startup+6.30168 s] /proc/loadavg: 0.86 0.97 0.99 2/78 14413 /proc/meminfo: memFree=1855768/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=9920 CPUtime=6.29 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 1898 0 0 0 625 4 0 0 25 0 1 0 250671625 10158080 1863 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2480 1863 313 324 0 1549 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9920 [startup+12.7017 s] /proc/loadavg: 0.87 0.97 0.99 2/78 14413 /proc/meminfo: memFree=1855032/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10436 CPUtime=12.68 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2015 0 0 0 1263 5 0 0 25 0 1 0 250671625 10686464 1980 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2609 1980 313 324 0 1678 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10436 [startup+25.5018 s] /proc/loadavg: 0.97 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1855096/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10336 CPUtime=25.49 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2015 0 0 0 2538 11 0 0 25 0 1 0 250671625 10584064 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2584 1978 313 324 0 1653 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10336 [startup+51.1019 s] /proc/loadavg: 0.98 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1855096/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10280 CPUtime=51.07 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2015 0 0 0 5087 20 0 0 25 0 1 0 250671625 10526720 1964 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2570 1964 313 324 0 1639 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10280 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1855288/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=9928 CPUtime=102.25 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2015 0 0 0 10192 33 0 0 25 0 1 0 250671625 10166272 1876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2482 1876 313 324 0 1551 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 9928 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1855160/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10200 CPUtime=162.23 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2103 0 0 0 16176 47 0 0 25 0 1 0 250671625 10444800 1936 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2550 1936 313 324 0 1619 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 10200 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1854648/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10692 CPUtime=222.21 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2219 0 0 0 22162 59 0 0 25 0 1 0 250671625 10948608 2052 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2673 2052 313 324 0 1742 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 10692 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1854648/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=10688 CPUtime=282.19 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2220 0 0 0 28147 72 0 0 25 0 1 0 250671625 10944512 2053 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2672 2053 313 324 0 1741 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 10688 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1854072/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11204 CPUtime=342.17 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2349 0 0 0 34134 83 0 0 25 0 1 0 250671625 11472896 2182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2801 2182 313 324 0 1870 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 11204 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1854072/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11204 CPUtime=402.16 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2351 0 0 0 40122 94 0 0 25 0 1 0 250671625 11472896 2184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2801 2184 313 324 0 1870 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 11204 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 14413 /proc/meminfo: memFree=1853496/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11716 CPUtime=462.14 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2484 0 0 0 46107 107 0 0 25 0 1 0 250671625 11997184 2317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2929 2317 313 324 0 1998 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 11716 [startup+522.302 s] /proc/loadavg: 1.06 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1853032/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11796 CPUtime=522.03 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2491 0 0 0 52085 118 0 0 25 0 1 0 250671625 12079104 2324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2949 2324 313 324 0 2018 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 11796 [startup+582.302 s] /proc/loadavg: 1.02 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1853104/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11784 CPUtime=582.01 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2491 0 0 0 58073 128 0 0 25 0 1 0 250671625 12066816 2324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2946 2324 313 324 0 2015 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 11784 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1853104/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=11760 CPUtime=642 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2491 0 0 0 64062 138 0 0 25 0 1 0 250671625 12042240 2324 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 2940 2324 313 324 0 2009 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 11760 ################ # More data... # ################ Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 13024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851896/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1181.82 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 117951 231 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 13024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851832/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1241.79 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 123939 240 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 13024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851896/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1301.78 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 129928 250 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 13024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851896/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1361.76 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 135917 259 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 13024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851896/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1421.74 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 141904 270 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 13024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851896/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1481.72 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 147891 281 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 13024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851832/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1541.7 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 153880 290 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 13024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851832/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13024 CPUtime=1601.69 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2816 0 0 0 159869 300 0 0 25 0 1 0 250671625 13336576 2649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3256 2649 313 324 0 2325 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 13024 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851064/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13796 CPUtime=1661.66 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2993 0 0 0 165856 310 0 0 25 0 1 0 250671625 14127104 2826 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3449 2826 313 324 0 2518 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 13796 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851064/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13796 CPUtime=1721.65 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2994 0 0 0 171845 320 0 0 25 0 1 0 250671625 14127104 2827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3449 2827 313 324 0 2518 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 13796 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851000/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=13796 CPUtime=1781.63 /proc/14412/stat : 14412 (bsolo3.0.16) R 14410 14412 13189 0 -1 4194304 2998 0 0 0 177833 330 0 0 25 0 1 0 250671625 14127104 2831 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14412/statm: 3449 2831 313 324 0 2518 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 13796 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14611 /proc/meminfo: memFree=1851000/2055920 swapFree=4159404/4192956 [pid=14412] ppid=14410 vsize=0 CPUtime=1800 /proc/14412/stat : 14412 (bsolo3.0.16) D 14410 14412 13189 0 -1 4194308 3001 0 0 0 179668 332 0 0 24 0 1 0 250671625 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/14412/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1800 s) to the 'lost time'. [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 1/77 14611 /proc/meminfo: memFree=1860928/2055920 swapFree=4159404/4192956 [pid=14412] ppid=-1 vsize=0 CPUtime=0 /proc/14412/stat : -- couldn't open stat file --/proc/14412/statm: 7296 448 278 14 0 5290 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 1/77 14611 /proc/meminfo: memFree=1860928/2055920 swapFree=4159404/4192956 [pid=14412] ppid=-1 vsize=0 CPUtime=0 /proc/14412/stat : -- couldn't open stat file --/proc/14412/statm: 7296 448 278 14 0 5290 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 1/77 14611 /proc/meminfo: memFree=1860928/2055920 swapFree=4159404/4192956 [pid=14412] ppid=-1 vsize=0 CPUtime=0 /proc/14412/stat : -- couldn't open stat file --/proc/14412/statm: 7296 448 278 14 0 5290 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14412 and gives # childrusage.ru_utime.tv_sec=1796 # childrusage.ru_utime.tv_usec=680862 # childrusage.ru_stime.tv_sec=3 # childrusage.ru_stime.tv_usec=324494 # CPU time returned by wait4() is 1800.01 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800 # lost CPU user time (s): 1796.68 # lost CPU system time (s): 3.32 Real time (s): 1800.74 CPU time (s): 1800 CPU user time (s): 1796.68 CPU system time (s): 3.32 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 13796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.68 system time used= 3.32449 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3001 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= 38384 runsolver used 1.47978 second user time and 3.9474 second system time The end
Begin job on node39 on Tue May 1 13:53:16 UTC 2007 IDJOB= 454575 IDBENCH= 48206 IDSOLVER= 163 FILE ID= node39/454575-1178027596 PBS_JOBID= 4728352 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454575-1178027596/instance-454575-1178027596.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-454575-1178027596 -o ROOT/results/node39/solver-454575-1178027596 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454575-1178027596/instance-454575-1178027596.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9 RANDOM SEED= 132641397 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node39.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.256 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.256 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: 1862328 kB Buffers: 33056 kB Cached: 68828 kB SwapCached: 13784 kB Active: 78424 kB Inactive: 47776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862328 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 31332 kB Slab: 52700 kB Committed_AS: 3189992 kB PageTables: 2012 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 node39 on Tue May 1 14:23:17 UTC 2007