Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -25 | 1800.01 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
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 | 218.328 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
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/454095-1178021251/instance-454095-1178021251.opb 0.00/0.00 c File size is 15046 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.007 s 0.00/0.01 c Var: 1352 Constr: 2704 1352/100/1252 Lit: 10016 Watch. Lit: 7512 0.00/0.01 c Obj. Vars: 100 (7.39645 % of total variables) 0.00/0.02 c Pre-processing Time: 0.018 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 626 1878 3 1252 208 0 0 0.02 0.00/0.02 c Switching off LPR mode. 0.00/0.02 o -22 0.018 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 100 627 1978 3 1276 975 1 0 0.02 0.00/0.02 o -23 0.019 73.46/73.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 73.46/73.55 c 6 100 634 2534 3 1313 1008 8 315 0.02 73.46/73.55 c 106 100 734 9901 13 1513 1109 108 4240 0.03 73.46/73.55 c 357 100 985 28357 28 2015 1220 359 8302 0.04 73.46/73.55 c 833 100 1461 63376 43 2967 1343 835 9686 0.09 73.46/73.55 c 1646 100 2274 122985 54 4593 1478 1648 8484 0.19 73.46/73.55 c 2966 100 1532 68009 44 3087 1626 906 7930 0.37 73.46/73.55 c 5048 100 1483 63892 43 2989 1789 857 6530 0.77 73.46/73.55 c 8272 100 2490 137733 55 5003 1968 1864 6518 1.27 73.46/73.55 c 13208 100 2807 161289 57 5637 2165 2181 5893 2.24 73.46/73.55 c 20714 100 3075 180923 58 6173 2382 2449 5081 4.08 73.46/73.55 c 32076 100 1858 91634 49 3739 2621 1232 4773 6.72 73.46/73.55 c 49221 100 3184 188674 59 6391 2884 2558 4489 10.96 73.46/73.55 c 75041 100 4140 256570 61 8303 3173 3514 4141 18.12 73.46/73.55 c 113874 100 2241 119205 53 4505 3491 1615 3796 30.00 73.46/73.55 c 172228 100 2397 130061 54 4817 3841 1771 3687 46.70 73.46/73.55 o -24 73.516 102.84/102.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 102.84/102.98 c 243785 100 2617 145040 55 5281 1041 1991 3316 73.52 102.84/102.98 c 243885 100 2717 152298 56 5481 1146 2091 3316 73.53 102.84/102.98 c 244135 100 2967 170422 57 5981 1261 2341 3319 73.55 102.84/102.98 c 244610 100 1495 63543 42 3014 1388 869 3322 73.62 102.84/102.98 c 245423 100 2308 122326 53 4640 1527 1682 3329 73.71 102.84/102.98 c 246743 100 1540 67511 43 3104 1680 914 3338 73.91 102.84/102.98 c 248824 100 1467 62122 42 2958 1849 841 3352 74.22 102.84/102.98 c 252047 100 2445 132732 54 4914 2034 1819 3373 74.72 102.84/102.98 c 256984 100 2698 150933 55 5420 2238 2072 3388 75.85 102.84/102.98 c 264490 100 2887 163746 56 5798 2462 2261 3409 77.58 102.84/102.98 c 275851 100 4032 246523 61 8088 2709 3406 3447 80.01 102.84/102.98 c 292996 100 2438 131775 54 4900 2980 1812 3496 83.80 102.84/102.98 c 318815 100 2926 166762 56 5876 3279 2300 3493 91.25 102.84/102.98 c 357647 100 3281 192204 58 6586 3607 2655 3498 102.22 102.84/102.98 o -25 102.936 1799.92/1800.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.67 c 360281 100 2784 157245 56 5617 1075 2158 3500 102.94 1799.92/1800.67 c 360381 100 2884 164399 57 5817 1183 2258 3500 102.96 1799.92/1800.67 c 360631 100 1219 44199 36 2463 1302 593 3500 103.02 1799.92/1800.67 c 361107 100 1695 78140 46 3415 1433 1069 3503 103.06 1799.92/1800.67 c 361921 100 2509 136071 54 5043 1577 1883 3508 103.16 1799.92/1800.67 c 363241 100 1717 78906 45 3459 1735 1091 3514 103.35 1799.92/1800.67 c 365322 100 1616 71763 44 3257 1909 990 3524 103.64 1799.92/1800.67 c 368546 100 2559 139046 54 5143 2100 1933 3538 104.16 1799.92/1800.67 c 373482 100 2746 151829 55 5517 2311 2120 3550 105.18 1799.92/1800.67 c 380989 100 2824 156984 55 5673 2543 2198 3567 106.80 1799.92/1800.67 c 392351 100 3798 227010 59 7621 2798 3172 3583 109.48 1799.92/1800.67 c 409495 100 4617 283753 61 9259 3078 3991 3583 114.27 1799.92/1800.67 c 435315 100 4698 290149 61 9421 3386 4072 3590 121.25 1799.92/1800.67 c 474148 100 4365 265746 60 8755 3725 3739 3578 132.50 1799.92/1800.67 c 532501 100 5419 342348 63 10863 4098 4793 3523 151.14 1799.92/1800.67 c 620133 100 5460 343333 62 10945 4508 4834 3450 179.70 1799.92/1800.67 c 751685 100 4810 297518 61 9645 4959 4184 3297 227.97 1799.92/1800.67 c 949117 100 4674 288721 61 9373 5455 4048 3029 313.34 1799.92/1800.67 c 1245369 100 5720 362681 63 11465 6001 5094 2766 450.22 1799.92/1800.67 c 1689851 100 5409 340221 62 10843 6602 4783 2496 676.98 1799.92/1800.67 c 2356680 100 7445 483073 64 14915 7263 6819 2192 1074.83 1799.92/1800.67 c 3357025 100 8590 563378 65 17205 7990 7964 2009 1670.22 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 -x29 1799.92/1800.67 v -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 x56 1799.92/1800.67 v -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 52 3552550 254848 3856821 7566 492106 6940 1973 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/node37/watcher-454095-1178021251 -o ROOT/results/node37/solver-454095-1178021251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454095-1178021251/instance-454095-1178021251.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.91 0.98 0.99 3/78 5762 /proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11752 CPUtime=0 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 250037525 12034048 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3632753 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2938 347 292 324 0 2003 0 [startup+0.098672 s] /proc/loadavg: 0.91 0.98 0.99 3/78 5762 /proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=5372 CPUtime=0.09 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 753 0 0 0 9 0 0 0 18 0 1 0 250037525 5500928 718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1343 718 313 324 0 412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5372 [startup+0.101671 s] /proc/loadavg: 0.91 0.98 0.99 3/78 5762 /proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=5372 CPUtime=0.09 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 761 0 0 0 9 0 0 0 18 0 1 0 250037525 5500928 726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1343 726 313 324 0 412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5372 [startup+0.301708 s] /proc/loadavg: 0.91 0.98 0.99 3/78 5762 /proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=6808 CPUtime=0.29 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1125 0 0 0 29 0 0 0 19 0 1 0 250037525 6971392 1090 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1702 1090 313 324 0 771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6808 [startup+0.701783 s] /proc/loadavg: 0.91 0.98 0.99 3/78 5762 /proc/meminfo: memFree=1808304/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=7196 CPUtime=0.69 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1213 0 0 0 68 1 0 0 23 0 1 0 250037525 7368704 1178 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1799 1178 313 324 0 868 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7196 [startup+1.50193 s] /proc/loadavg: 0.91 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1804648/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=7712 CPUtime=1.49 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1339 0 0 0 148 1 0 0 25 0 1 0 250037525 7897088 1304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1928 1304 313 324 0 997 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7712 [startup+3.10124 s] /proc/loadavg: 0.91 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1804200/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=7968 CPUtime=3.09 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1392 0 0 0 307 2 0 0 25 0 1 0 250037525 8159232 1357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 1992 1357 313 324 0 1061 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7968 [startup+6.30284 s] /proc/loadavg: 0.92 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1803624/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=8096 CPUtime=6.29 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1449 0 0 0 626 3 0 0 25 0 1 0 250037525 8290304 1414 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2024 1414 313 324 0 1093 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8096 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1803240/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=8612 CPUtime=12.68 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1579 0 0 0 1263 5 0 0 25 0 1 0 250037525 8818688 1544 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2153 1544 313 324 0 1222 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8612 [startup+25.5015 s] /proc/loadavg: 0.94 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1802984/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=8996 CPUtime=25.48 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1659 0 0 0 2538 10 0 0 25 0 1 0 250037525 9211904 1624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2249 1624 313 324 0 1318 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8996 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1802344/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=9636 CPUtime=51.06 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1828 0 0 0 5090 16 0 0 25 0 1 0 250037525 9867264 1793 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2409 1793 313 324 0 1478 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 9636 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1802408/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=9408 CPUtime=102.24 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1828 0 0 0 10192 32 0 0 25 0 1 0 250037525 9633792 1745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2352 1745 313 324 0 1421 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 9408 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1802216/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=9748 CPUtime=162.22 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 1953 0 0 0 16171 51 0 0 25 0 1 0 250037525 9981952 1827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2437 1827 313 324 0 1506 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 9748 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1801704/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=10232 CPUtime=222.2 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2060 0 0 0 22155 65 0 0 25 0 1 0 250037525 10477568 1934 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2558 1934 313 324 0 1627 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 10232 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1801256/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=10620 CPUtime=282.18 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2173 0 0 0 28141 77 0 0 25 0 1 0 250037525 10874880 2047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2655 2047 313 324 0 1724 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 10620 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800744/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11204 CPUtime=342.15 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2299 0 0 0 34128 87 0 0 25 0 1 0 250037525 11472896 2173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2801 2173 313 324 0 1870 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 11204 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800744/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11188 CPUtime=402.13 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2301 0 0 0 40114 99 0 0 25 0 1 0 250037525 11456512 2175 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2797 2175 313 324 0 1866 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 11188 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800232/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11704 CPUtime=462.11 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2442 0 0 0 46100 111 0 0 25 0 1 0 250037525 11984896 2316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2926 2316 313 324 0 1995 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 11704 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800168/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11704 CPUtime=522.09 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2445 0 0 0 52084 125 0 0 25 0 1 0 250037525 11984896 2319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2926 2319 313 324 0 1995 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 11704 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800232/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11704 CPUtime=582.07 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2445 0 0 0 58070 137 0 0 25 0 1 0 250037525 11984896 2319 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2926 2319 313 324 0 1995 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 11704 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1800168/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=11808 CPUtime=642.05 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2446 0 0 0 64056 149 0 0 25 0 1 0 250037525 12091392 2320 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 2952 2320 313 324 0 2021 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 11808 ################ # More data... # ################ /proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1121.87 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2761 0 0 0 111952 235 0 0 25 0 1 0 250037525 13316096 2635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2635 313 324 0 2320 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 13004 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1181.85 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2761 0 0 0 117939 246 0 0 25 0 1 0 250037525 13316096 2635 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2635 313 324 0 2320 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 13004 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1241.83 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2766 0 0 0 123925 258 0 0 25 0 1 0 250037525 13316096 2640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3600534 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2640 313 324 0 2320 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 13004 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798952/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1301.81 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 129911 270 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 13004 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1361.79 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 135900 279 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 13004 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1421.77 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 141888 289 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 13004 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1481.74 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 147875 299 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 13004 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1541.72 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 153862 310 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 13004 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1601.7 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 159848 322 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 13004 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798888/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13004 CPUtime=1661.68 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2770 0 0 0 165836 332 0 0 25 0 1 0 250037525 13316096 2644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3251 2644 313 324 0 2320 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 13004 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798120/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13760 CPUtime=1721.65 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 171823 342 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3440 2823 313 324 0 2509 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 13760 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13760 CPUtime=1781.63 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 177811 352 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3440 2823 313 324 0 2509 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 13760 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13760 CPUtime=1791.23 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 178770 353 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3440 2823 313 324 0 2509 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 13760 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13760 CPUtime=1794.43 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179089 354 0 0 25 0 1 0 250037525 14090240 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3440 2823 313 324 0 2509 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 13760 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13756 CPUtime=1797.62 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179407 355 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3439 2823 313 324 0 2508 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 13756 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13756 CPUtime=1799.22 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179566 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3439 2823 313 324 0 2508 0 Current children cumulated CPU time (s) 1799.22 Current children cumulated vsize (KiB) 13756 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13756 CPUtime=1799.62 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179606 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3439 2823 313 324 0 2508 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (KiB) 13756 [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13756 CPUtime=1799.82 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179626 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3439 2823 313 324 0 2508 0 Current children cumulated CPU time (s) 1799.82 Current children cumulated vsize (KiB) 13756 [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/79 5763 /proc/meminfo: memFree=1798184/2055920 swapFree=4145560/4192956 [pid=5762] ppid=5760 vsize=13756 CPUtime=1799.92 /proc/5762/stat : 5762 (bsolo3.0.16) R 5760 5762 5154 0 -1 4194304 2949 0 0 0 179636 356 0 0 25 0 1 0 250037525 14086144 2823 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5762/statm: 3439 2823 313 324 0 2508 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 13756 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.01 CPU user time (s): 1796.43 CPU system time (s): 3.57146 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 13760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.43 system time used= 3.57146 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2950 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= 10 involuntary context switches= 38296 runsolver used 1.72674 second user time and 4.03439 second system time The end
Begin job on node37 on Tue May 1 12:07:31 UTC 2007 IDJOB= 454095 IDBENCH= 48174 IDSOLVER= 163 FILE ID= node37/454095-1178021251 PBS_JOBID= 4728353 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_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454095-1178021251/instance-454095-1178021251.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-454095-1178021251 -o ROOT/results/node37/solver-454095-1178021251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454095-1178021251/instance-454095-1178021251.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED= 953588511 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1808776 kB Buffers: 45020 kB Cached: 114584 kB SwapCached: 14952 kB Active: 87504 kB Inactive: 95796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808776 kB SwapTotal: 4192956 kB SwapFree: 4145560 kB Dirty: 6768 kB Writeback: 0 kB Mapped: 30372 kB Slab: 49144 kB Committed_AS: 3192644 kB PageTables: 2004 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 node37 on Tue May 1 12:37:32 UTC 2007