Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -27 | 1800.07 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 43 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 3102 |
Sum of products size | 6204 |
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/454596-1178028067/instance-454596-1178028067.opb 0.00/0.00 c File size is 76083 bytes. 0.02/0.03 c Highest Coefficient sum: 200 0.02/0.03 c Parsing was ok!! 0.02/0.03 c Total parsing time: 0.035 s 0.02/0.04 c Var: 6404 Constr: 12808 6404/200/6204 Lit: 49632 Watch. Lit: 37224 0.02/0.04 c Obj. Vars: 200 (3.12305 % of total variables) 0.09/0.15 c Pre-processing Time: 0.155 s 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 0 200 3102 9306 3 6204 1033 0 0 0.15 0.09/0.15 c Switching off LPR mode. 0.09/0.16 o -24 0.156 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3103 9506 3 6230 2033 1 0 0.16 0.09/0.16 o -25 0.157 29.43/29.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.43/29.52 c 9 200 3113 11264 3 6275 2033 11 57 0.16 29.43/29.52 c 109 200 3213 28429 8 6475 2237 111 644 0.17 29.43/29.52 c 360 200 3464 71390 20 6977 2461 362 1782 0.20 29.43/29.52 c 836 200 3940 152950 38 7929 2708 838 2996 0.28 29.43/29.52 c 1649 200 4753 291619 61 9555 2979 1651 3584 0.46 29.43/29.52 c 2969 200 6073 517515 85 12195 3277 2971 3688 0.81 29.43/29.52 c 5051 200 8155 873096 107 16359 3605 5053 3104 1.63 29.43/29.52 c 8276 200 11380 1424510 125 22809 3966 8278 2616 3.16 29.43/29.52 c 13212 200 7955 838961 105 15935 4363 4853 2143 6.17 29.43/29.52 c 20719 200 6900 658699 95 13825 4800 3798 1626 12.73 29.43/29.52 c 32080 200 9484 1100001 115 18993 5281 6382 1482 21.64 29.43/29.52 o -26 29.46 703.23/703.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 703.23/703.55 c 41128 200 9512 1105658 116 19075 2033 6410 1396 29.46 703.23/703.55 c 41228 200 9612 1122704 116 19275 2237 6510 1397 29.50 703.23/703.55 c 41478 200 9862 1165205 118 19775 2461 6760 1395 29.72 703.23/703.55 c 41953 200 10337 1245993 120 20725 2708 7235 1401 29.93 703.23/703.55 c 42766 200 11150 1384386 124 22351 2979 8048 1398 30.59 703.23/703.55 c 44086 200 4599 263778 57 9224 3277 1497 1392 31.66 703.23/703.55 c 46167 200 6680 617684 92 13386 3605 3578 1429 32.30 703.23/703.55 c 49391 200 9904 1165019 117 19834 3966 6802 1461 33.80 703.23/703.55 c 54327 200 6474 581278 89 12974 4363 3372 1476 36.80 703.23/703.55 c 61834 200 5421 402127 74 10868 4800 2319 1421 43.51 703.23/703.55 c 73195 200 8017 841737 104 16060 5281 4915 1369 53.44 703.23/703.55 c 90339 200 7122 691119 97 14270 5810 4020 1240 72.80 703.23/703.55 c 116159 200 14373 1923645 133 28772 6392 11271 1124 103.28 703.23/703.55 c 154991 200 14916 2014318 135 29858 7032 11814 958 161.73 703.23/703.55 c 213344 200 13929 1843537 132 27884 7736 10827 856 249.08 703.23/703.55 c 300976 200 9388 1075495 114 18802 8510 6286 753 399.32 703.23/703.55 c 432528 200 13418 1759100 131 26862 9362 10316 715 604.90 703.23/703.55 o -27 703.293 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 486260 200 11858 1494652 126 23769 2033 8756 691 703.29 1800.04/1800.60 c 486361 200 4221 198973 47 8469 2237 1119 691 703.44 1800.04/1800.60 c 486611 200 4471 241283 53 8969 2461 1369 691 703.49 1800.04/1800.60 c 487087 200 4947 321603 65 9921 2708 1845 692 703.59 1800.04/1800.60 c 487900 200 5760 458981 79 11547 2979 2658 693 703.78 1800.04/1800.60 c 489220 200 7080 682272 96 14187 3277 3978 694 704.15 1800.04/1800.60 c 491303 200 9163 1033875 112 18353 3605 6061 696 705.11 1800.04/1800.60 c 494527 200 12387 1578766 127 24801 3966 9285 699 706.54 1800.04/1800.60 c 499465 200 8970 998708 111 17967 4363 5868 702 710.96 1800.04/1800.60 c 506971 200 7922 822725 103 15871 4800 4820 706 717.44 1800.04/1800.60 c 518332 200 10527 1261104 119 21081 5281 7425 711 728.12 1800.04/1800.60 c 535476 200 9644 1113095 115 19315 5810 6542 719 744.51 1800.04/1800.60 c 561295 200 7617 770954 101 15261 6392 4515 720 778.96 1800.04/1800.60 c 600127 200 8176 863191 105 16379 7032 5074 719 834.24 1800.04/1800.60 c 658480 200 7178 695304 96 14383 7736 4076 709 928.39 1800.04/1800.60 c 746113 200 12911 1664275 128 25849 8510 9809 702 1062.10 1800.04/1800.60 c 877665 200 16963 2346893 138 33953 9362 13861 675 1299.65 1800.04/1800.60 c 1075098 200 15492 2099605 135 31011 10299 12390 632 1700.00 1800.04/1800.60 c Caught signal: 15 1800.04/1800.61 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 1800.04/1800.61 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 1800.04/1800.61 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 1800.04/1800.61 v -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 1800.04/1800.61 v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 1800.04/1800.61 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1800.04/1800.61 v x149 -x150 -x151 x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 1800.04/1800.61 v x171 x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 1800.04/1800.61 v -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 47 1115353 65357 1191337 9644 1112339 6542 619 1800.06 1800.04/1800.61 c Objective: -27 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.06 s
OK -27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-454596-1178028067 -o ROOT/results/node5/solver-454596-1178028067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454596-1178028067/instance-454596-1178028067.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/83 7876 /proc/meminfo: memFree=1890128/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=4000 CPUtime=0 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 278844359 4096000 352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 1000 353 290 324 0 51 0 [startup+0.02469 s] /proc/loadavg: 0.92 0.98 0.99 3/83 7876 /proc/meminfo: memFree=1890128/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=5096 CPUtime=0.02 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 665 0 0 0 2 0 0 0 18 0 1 0 278844359 5218304 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 1274 636 300 324 0 325 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5096 [startup+0.101698 s] /proc/loadavg: 0.92 0.98 0.99 3/83 7876 /proc/meminfo: memFree=1890128/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=7368 CPUtime=0.09 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 1249 0 0 0 9 0 0 0 18 0 1 0 278844359 7544832 1200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 1842 1200 304 324 0 912 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7368 [startup+0.301721 s] /proc/loadavg: 0.92 0.98 0.99 3/83 7876 /proc/meminfo: memFree=1890128/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=8932 CPUtime=0.29 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 1669 0 0 0 28 1 0 0 19 0 1 0 278844359 9146368 1600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 2233 1600 311 324 0 1303 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8932 [startup+0.701777 s] /proc/loadavg: 0.92 0.98 0.99 3/83 7876 /proc/meminfo: memFree=1890128/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=12364 CPUtime=0.69 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 2524 0 0 0 68 1 0 0 23 0 1 0 278844359 12660736 2455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 3091 2455 311 324 0 2161 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12364 [startup+1.50186 s] /proc/loadavg: 0.93 0.98 0.99 2/84 7877 /proc/meminfo: memFree=1879624/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=16852 CPUtime=1.49 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 3631 0 0 0 147 2 0 0 25 0 1 0 278844359 17256448 3562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 4213 3562 311 324 0 3283 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16852 [startup+3.10104 s] /proc/loadavg: 0.93 0.98 0.99 2/84 7877 /proc/meminfo: memFree=1873288/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=24296 CPUtime=3.09 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 5492 0 0 0 306 3 0 0 25 0 1 0 278844359 24879104 5423 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 6074 5423 311 324 0 5144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24296 [startup+6.3014 s] /proc/loadavg: 0.93 0.98 0.99 2/84 7879 /proc/meminfo: memFree=1864648/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=29176 CPUtime=6.28 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 6719 0 0 0 624 4 0 0 25 0 1 0 278844359 29876224 6650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 7294 6650 311 324 0 6364 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29176 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.99 2/84 7921 /proc/meminfo: memFree=1863432/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=30316 CPUtime=12.66 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 6997 0 0 0 1262 4 0 0 25 0 1 0 278844359 31043584 6928 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574335 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 7579 6928 311 324 0 6649 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 30316 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/84 7969 /proc/meminfo: memFree=1861704/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=32372 CPUtime=25.44 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 7519 0 0 0 2539 5 0 0 25 0 1 0 278844359 33148928 7450 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 8093 7450 311 324 0 7163 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 32372 [startup+51.1015 s] /proc/loadavg: 0.97 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1864440/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=30396 CPUtime=51.01 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 7580 0 0 0 5096 5 0 0 25 0 1 0 278844359 31125504 6967 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 7599 6967 311 324 0 6669 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 30396 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1861688/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=33216 CPUtime=102.2 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 8282 0 0 0 10214 6 0 0 25 0 1 0 278844359 34013184 7669 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 8304 7669 311 324 0 7374 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 33216 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1860280/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=35908 CPUtime=162.17 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 8930 0 0 0 16211 6 0 0 25 0 1 0 278844359 36769792 8317 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 8977 8317 311 324 0 8047 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 35908 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1858808/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=36016 CPUtime=222.15 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 8983 0 0 0 22209 6 0 0 25 0 1 0 278844359 36880384 8370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9004 8370 311 324 0 8074 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 36016 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1857080/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=37680 CPUtime=282.14 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9387 0 0 0 28207 7 0 0 25 0 1 0 278844359 38584320 8774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9420 8774 311 324 0 8490 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 37680 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1857080/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=37596 CPUtime=342.13 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9387 0 0 0 34205 8 0 0 25 0 1 0 278844359 38498304 8770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9399 8770 311 324 0 8469 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 37596 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1857016/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=37596 CPUtime=402.11 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9387 0 0 0 40203 8 0 0 25 0 1 0 278844359 38498304 8770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9399 8770 311 324 0 8469 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 37596 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1855288/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39424 CPUtime=462.1 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9835 0 0 0 46201 9 0 0 25 0 1 0 278844359 40370176 9218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9856 9218 311 324 0 8926 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 39424 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1855224/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39400 CPUtime=522.08 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9835 0 0 0 52199 9 0 0 25 0 1 0 278844359 40345600 9218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9850 9218 311 324 0 8920 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 39400 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1855224/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39400 CPUtime=582.07 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 9835 0 0 0 58197 10 0 0 25 0 1 0 278844359 40345600 9218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9850 9218 311 324 0 8920 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 39400 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1853176/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41392 CPUtime=642.05 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 64195 10 0 0 25 0 1 0 278844359 42385408 9702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8010868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10348 9702 311 324 0 9418 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 41392 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854712/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39516 CPUtime=821.99 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 82188 11 0 0 25 0 1 0 278844359 40464384 9250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9879 9250 311 324 0 8949 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 39516 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854712/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39436 CPUtime=881.98 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 88186 12 0 0 25 0 1 0 278844359 40382464 9230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8334990 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9859 9230 311 324 0 8929 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 39436 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854840/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39248 CPUtime=941.96 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 94184 12 0 0 25 0 1 0 278844359 40189952 9183 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9812 9183 311 324 0 8882 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 39248 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854904/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39160 CPUtime=1001.95 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 100182 13 0 0 25 0 1 0 278844359 40099840 9161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9790 9161 311 324 0 8860 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 39160 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1855032/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39060 CPUtime=1061.94 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10319 0 0 0 106181 13 0 0 25 0 1 0 278844359 39997440 9136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9765 9136 311 324 0 8835 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 39060 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854968/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39192 CPUtime=1121.92 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10340 0 0 0 112179 13 0 0 25 0 1 0 278844359 40132608 9157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9798 9157 311 324 0 8868 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 39192 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854904/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39192 CPUtime=1181.91 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10340 0 0 0 118177 14 0 0 25 0 1 0 278844359 40132608 9157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9798 9157 311 324 0 8868 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 39192 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1854712/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=39192 CPUtime=1241.89 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10340 0 0 0 124175 14 0 0 25 0 1 0 278844359 40132608 9157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 9798 9157 311 324 0 8868 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 39192 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1853048/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=40972 CPUtime=1301.87 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10780 0 0 0 130172 15 0 0 25 0 1 0 278844359 41955328 9597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10243 9597 311 324 0 9313 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 40972 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852792/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41084 CPUtime=1361.86 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10820 0 0 0 136170 16 0 0 25 0 1 0 278844359 42070016 9637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10271 9637 311 324 0 9341 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 41084 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852728/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41084 CPUtime=1421.85 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10820 0 0 0 142169 16 0 0 25 0 1 0 278844359 42070016 9637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10271 9637 311 324 0 9341 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 41084 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852664/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41084 CPUtime=1481.82 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10823 0 0 0 148166 16 0 0 25 0 1 0 278844359 42070016 9640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10271 9640 311 324 0 9341 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 41084 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852664/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41048 CPUtime=1541.8 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10823 0 0 0 154164 16 0 0 25 0 1 0 278844359 42033152 9633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10262 9633 311 324 0 9332 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 41048 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852664/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41016 CPUtime=1601.79 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10823 0 0 0 160162 17 0 0 25 0 1 0 278844359 42000384 9625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10254 9625 311 324 0 9324 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 41016 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1852664/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=41072 CPUtime=1661.78 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 10835 0 0 0 166161 17 0 0 25 0 1 0 278844359 42057728 9637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10268 9637 311 324 0 9338 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 41072 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1850552/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=43132 CPUtime=1721.76 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 11349 0 0 0 172158 18 0 0 25 0 1 0 278844359 44167168 10151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10783 10151 311 324 0 9853 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 43132 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1850424/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=43160 CPUtime=1781.74 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 11355 0 0 0 178156 18 0 0 25 0 1 0 278844359 44195840 10157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10790 10157 311 324 0 9860 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 43160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 8003 /proc/meminfo: memFree=1850360/2055920 swapFree=4149732/4192956 [pid=7876] ppid=7874 vsize=43160 CPUtime=1800.04 /proc/7876/stat : 7876 (bsolo3.0.17) R 7874 7876 20401 0 -1 4194304 11355 0 0 0 179986 18 0 0 25 0 1 0 278844359 44195840 10157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/7876/statm: 10790 10157 311 324 0 9860 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 43160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.07 CPU user time (s): 1799.87 CPU system time (s): 0.19597 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 43208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.19597 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11359 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= 2261 runsolver used 1.60476 second user time and 4.17037 second system time The end
Begin job on node5 on Tue May 1 14:01:07 UTC 2007 IDJOB= 454596 IDBENCH= 48207 IDSOLVER= 199 FILE ID= node5/454596-1178028067 PBS_JOBID= 4728341 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_200_25_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454596-1178028067/instance-454596-1178028067.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-454596-1178028067 -o ROOT/results/node5/solver-454596-1178028067 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454596-1178028067/instance-454596-1178028067.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED= 442850916 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1890728 kB Buffers: 30300 kB Cached: 59500 kB SwapCached: 11180 kB Active: 83988 kB Inactive: 33368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1890728 kB SwapTotal: 4192956 kB SwapFree: 4149732 kB Dirty: 6796 kB Writeback: 0 kB Mapped: 34476 kB Slab: 33024 kB Committed_AS: 10271932 kB PageTables: 1964 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 node5 on Tue May 1 14:31:10 UTC 2007