Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 14 | 1800.07 | 1800.7 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb |
MD5SUM | 64354bd2b9c3cc2f1ca2c32032e5c032 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
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 | 26 |
Maximum length of a constraint | 51 |
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) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 6260 |
Sum of products size | 12520 |
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/453465-1178139163/instance-453465-1178139163.opb 0.00/0.00 c File size is 84610 bytes. 0.03/0.03 c Highest Coefficient sum: 200 0.03/0.03 c Parsing was ok!! 0.03/0.03 c Total parsing time: 0.034 s 0.03/0.04 c Var: 6460 Constr: 12720 6460/0/6260 Lit: 44020 Watch. Lit: 31700 0.03/0.04 c Obj. Vars: 200 (3.09598 % of total variables) 0.39/0.43 c Pre-processing Time: 0.434 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 6460 12720 44020 3 31700 39713 0 0 0.43 0.39/0.43 c Switching off LPR mode. 0.39/0.44 o 199 0.44 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 0 6460 12721 44220 3 31703 39846 1 0 0.44 0.39/0.45 o 198 0.449 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 0 6460 12722 44420 3 31707 40046 2 0 0.45 0.39/0.46 o 197 0.457 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6460 12723 44620 3 31712 40313 3 0 0.46 0.39/0.47 o 196 0.465 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 0 6460 12724 44820 3 31718 40646 4 0 0.47 0.39/0.47 o 195 0.474 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 0 6460 12725 45020 3 31725 41046 5 0 0.48 0.39/0.48 o 194 0.482 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 6460 12726 45220 3 31733 41513 6 0 0.48 0.39/0.49 o 193 0.49 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 6460 12727 45420 3 31742 42046 7 0 0.49 0.49/0.50 o 192 0.499 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 6460 12728 45620 3 31752 42646 8 0 0.50 0.49/0.51 o 191 0.507 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12729 45820 3 31763 43313 9 0 0.51 0.49/0.52 o 190 0.515 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 6460 12730 46020 3 31775 44046 10 0 0.52 0.49/0.52 o 189 0.524 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 6460 12731 46220 3 31788 44846 11 0 0.53 0.49/0.53 o 188 0.532 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 6460 12732 46420 3 31802 45713 12 0 0.54 0.49/0.54 o 187 0.54 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 6460 12733 46620 3 31817 46646 13 0 0.54 0.49/0.55 o 186 0.549 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 6460 12734 46820 3 31833 47646 14 0 0.55 0.49/0.56 o 185 0.558 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 6460 12735 47020 3 31850 48646 15 0 0.56 0.49/0.57 o 184 0.566 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12736 47220 3 31868 49646 16 0 0.57 0.49/0.58 o 183 0.575 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 6460 12737 47420 3 31887 50646 17 0 0.58 0.49/0.58 o 182 0.583 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 6460 12738 47620 3 31907 51646 18 0 0.59 0.49/0.59 o 181 0.592 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 6460 12739 47820 3 31928 52646 19 0 0.59 0.59/0.60 o 174 0.602 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 1 6460 12741 48201 3 31958 52646 21 1 0.60 0.59/0.61 o 18 0.613 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 1 6460 12742 48401 3 32142 52646 22 1 0.62 0.59/0.62 o 16 0.623 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 1 6460 12743 48601 3 32328 52646 23 1 0.63 0.59/0.65 o 15 0.645 604.40/604.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 604.40/604.77 c 36 6460 12779 53218 4 32585 52646 59 55 0.65 604.40/604.77 c 136 6460 12879 63942 4 32785 57911 159 197 0.69 604.40/604.77 c 387 6460 13130 97461 7 33287 63703 410 488 0.79 604.40/604.77 c 864 6460 13607 149561 10 34241 70074 887 906 0.95 604.40/604.77 c 1677 6460 14420 248725 17 35867 77082 1700 1358 1.23 604.40/604.77 c 2997 6460 15740 394719 25 38507 84791 3020 1681 1.78 604.40/604.77 c 5079 6460 17822 686298 38 42671 93271 5102 1730 2.94 604.40/604.77 c 8302 6460 21045 1065377 50 49117 102599 8325 1743 4.76 604.40/604.77 c 13238 6460 25981 1617506 62 58989 112859 13261 1691 7.83 604.40/604.77 c 20745 6460 33488 2623654 78 74003 124145 20768 1370 15.14 604.40/604.77 c 32107 6460 44850 4416228 98 96727 136560 32130 1067 30.08 604.40/604.77 c 49251 6460 61994 6760232 109 131015 150217 49274 863 57.01 604.40/604.77 c 75073 6460 87816 10238371 116 182659 165239 75096 654 114.69 604.40/604.77 c 113906 6460 126649 15748180 124 260325 181763 113929 455 250.04 604.40/604.77 c 172259 6460 185002 23576707 127 377031 199940 172282 330 520.49 604.40/604.77 o 14 604.484 1799.96/1800.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.64 c 186998 6460 199742 25695059 128 406697 52646 187022 309 604.49 1799.96/1800.64 c 187099 6460 26069 1967509 75 58584 57911 13349 279 668.99 1799.96/1800.64 c 187349 6460 26319 2001468 76 59084 63703 13599 279 669.20 1799.96/1800.64 c 187824 6460 26794 2067826 77 60034 70074 14074 280 669.61 1799.96/1800.64 c 188639 6460 27609 2156927 78 61664 77082 14889 281 670.32 1799.96/1800.64 c 189959 6460 28929 2309945 79 64304 84791 16209 282 671.33 1799.96/1800.64 c 192041 6460 31011 2610738 84 68468 93271 18291 285 673.20 1799.96/1800.64 c 195266 6460 34236 2928799 85 74918 102599 21516 288 675.95 1799.96/1800.64 c 200202 6460 39172 3356414 85 84790 112859 26452 294 680.63 1799.96/1800.64 c 207708 6460 46678 4272506 91 99802 124145 33958 300 691.54 1799.96/1800.64 c 219070 6460 58040 5168276 89 122526 136560 45320 308 709.93 1799.96/1800.64 c 236217 6460 75187 7263956 96 156820 150217 62467 314 750.93 1799.96/1800.64 c 262037 6460 101007 11360150 112 208460 165239 88287 318 822.58 1799.96/1800.64 c 300871 6460 139841 16723599 119 286128 181763 127121 302 994.11 1799.96/1800.64 c 359224 6460 27477 2292804 83 61400 199940 14757 258 1388.91 1799.96/1800.64 c Resources Exceeded 1799.96/1800.64 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.96/1800.64 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.96/1800.64 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 1799.96/1800.64 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 1799.96/1800.64 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 1799.96/1800.64 v -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 1799.96/1800.64 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1799.96/1800.64 v -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1799.96/1800.64 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.96/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.64 c 52 434375 135300 692242 102628 15550785 89908 241 1800.00 1799.96/1800.64 c Objective: 14 1799.96/1800.64 s SATISFIABLE 1799.96/1800.64 c Total time: 1800 s
OK 14
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-453465-1178139163 -o ROOT/results/node6/solver-453465-1178139163 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453465-1178139163/instance-453465-1178139163.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.78 0.94 0.97 3/77 21091 /proc/meminfo: memFree=1827632/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=11820 CPUtime=0 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 289953947 12103680 345 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 2955 346 291 324 0 2003 0 [startup+0.0383941 s] /proc/loadavg: 0.78 0.94 0.97 3/77 21091 /proc/meminfo: memFree=1827632/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=5936 CPUtime=0.03 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 856 0 0 0 3 0 0 0 18 0 1 0 289953947 6078464 826 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2623099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 1484 827 311 324 0 532 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5936 [startup+0.101402 s] /proc/loadavg: 0.78 0.94 0.97 3/77 21091 /proc/meminfo: memFree=1827632/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=7164 CPUtime=0.09 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 1190 0 0 0 9 0 0 0 18 0 1 0 289953947 7335936 1139 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 1791 1139 305 324 0 860 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7164 [startup+0.301428 s] /proc/loadavg: 0.78 0.94 0.97 3/77 21091 /proc/meminfo: memFree=1827632/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=7164 CPUtime=0.29 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 1190 0 0 0 29 0 0 0 19 0 1 0 289953947 7335936 1139 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 1791 1139 305 324 0 860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7164 [startup+0.701472 s] /proc/loadavg: 0.78 0.94 0.97 3/77 21091 /proc/meminfo: memFree=1827632/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=7620 CPUtime=0.69 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 1621 0 0 0 67 2 0 0 23 0 1 0 289953947 7802880 1262 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 1905 1262 312 324 0 974 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7620 [startup+1.50157 s] /proc/loadavg: 0.80 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1822376/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=11132 CPUtime=1.49 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 2513 0 0 0 147 2 0 0 25 0 1 0 289953947 11399168 2154 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 2783 2154 312 324 0 1852 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11132 [startup+3.10175 s] /proc/loadavg: 0.80 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1817896/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=16580 CPUtime=3.09 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 3856 0 0 0 305 4 0 0 25 0 1 0 289953947 16977920 3497 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 4145 3497 312 324 0 3214 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16580 [startup+6.30213 s] /proc/loadavg: 0.80 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1807528/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=25808 CPUtime=6.29 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 6164 0 0 0 623 6 0 0 25 0 1 0 289953947 26427392 5805 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 6452 5805 312 324 0 5521 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25808 [startup+12.7019 s] /proc/loadavg: 0.83 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1793128/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=39028 CPUtime=12.69 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 9482 0 0 0 1258 11 0 0 25 0 1 0 289953947 39964672 9123 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 9757 9123 312 324 0 8826 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39028 [startup+25.5014 s] /proc/loadavg: 0.85 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1771176/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=60420 CPUtime=25.48 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 14820 0 0 0 2532 16 0 0 25 0 1 0 289953947 61870080 14461 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 15105 14461 312 324 0 14174 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60420 [startup+51.1014 s] /proc/loadavg: 0.90 0.94 0.97 2/78 21092 /proc/meminfo: memFree=1737640/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=93768 CPUtime=51.06 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 23172 0 0 0 5080 26 0 0 25 0 1 0 289953947 96018432 22813 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 23442 22813 312 324 0 22511 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 93768 [startup+102.305 s] /proc/loadavg: 0.96 0.95 0.97 2/78 21092 /proc/meminfo: memFree=1692776/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=138320 CPUtime=102.25 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 34294 0 0 0 10184 41 0 0 25 0 1 0 289953947 141639680 33935 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 34580 33935 312 324 0 33649 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 138320 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.97 2/78 21092 /proc/meminfo: memFree=1648872/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=182380 CPUtime=162.24 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 45305 0 0 0 16167 57 0 0 25 0 1 0 289953947 186757120 44946 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 45595 44946 312 324 0 44664 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 182380 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 21092 /proc/meminfo: memFree=1621288/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=209560 CPUtime=222.22 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 52110 0 0 0 22155 67 0 0 25 0 1 0 289953947 214589440 51751 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 52390 51751 312 324 0 51459 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 209560 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21092 /proc/meminfo: memFree=1592040/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=239076 CPUtime=282.2 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 59502 0 0 0 28144 76 0 0 25 0 1 0 289953947 244813824 59143 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 59769 59143 312 324 0 58838 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 239076 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21092 /proc/meminfo: memFree=1567336/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=263396 CPUtime=342.19 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 65565 0 0 0 34132 87 0 0 25 0 1 0 289953947 269717504 65206 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 65849 65206 312 324 0 64918 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 263396 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21092 /proc/meminfo: memFree=1547304/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=283604 CPUtime=402.17 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 70615 0 0 0 40121 96 0 0 25 0 1 0 289953947 290410496 70256 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 70901 70256 312 324 0 69970 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 283604 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21092 /proc/meminfo: memFree=1524072/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=306420 CPUtime=462.14 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 76337 0 0 0 46109 105 0 0 25 0 1 0 289953947 313774080 75978 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 76605 75978 312 324 0 75674 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 306420 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/84 21214 /proc/meminfo: memFree=1502392/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=326872 CPUtime=522.08 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 81452 0 0 0 52094 114 0 0 25 0 1 0 289953947 334716928 81093 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 81718 81093 312 324 0 80787 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 326872 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1482984/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=347256 CPUtime=582.01 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 86541 0 0 0 58079 122 0 0 25 0 1 0 289953947 355590144 86182 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 86814 86182 312 324 0 85883 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 347256 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=642 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88704 0 0 0 64073 127 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 355140 ################ # More data... # ################ /proc/meminfo: memFree=1474856/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1121.86 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88704 0 0 0 112023 163 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 2621590 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 355140 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474920/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1181.84 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88704 0 0 0 118018 166 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 355140 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474856/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1241.82 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88704 0 0 0 124013 169 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 355140 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474856/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1301.81 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88704 0 0 0 130009 172 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 355140 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474664/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1361.79 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 136005 174 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 355140 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1421.77 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 142000 177 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 355140 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1481.75 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 147995 180 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 355140 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1541.74 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 153990 184 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 355140 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1601.71 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 159984 187 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 355140 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474728/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1661.69 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 165978 191 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 355140 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474664/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1721.68 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 171974 194 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 355140 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1781.66 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 177969 197 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 355140 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1791.26 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 178929 197 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1791.26 Current children cumulated vsize (KiB) 355140 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1794.46 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179249 197 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (KiB) 355140 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1797.66 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179568 198 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 355140 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1799.26 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179728 198 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1799.26 Current children cumulated vsize (KiB) 355140 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1799.66 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179768 198 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (KiB) 355140 [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1799.86 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179788 198 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1799.86 Current children cumulated vsize (KiB) 355140 [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 21290 /proc/meminfo: memFree=1474600/2055924 swapFree=4146580/4192956 [pid=21091] ppid=21089 vsize=355140 CPUtime=1799.96 /proc/21091/stat : 21091 (bsolo3.0.16) R 21089 21091 20935 0 -1 4194304 88886 0 0 0 179798 198 0 0 25 0 1 0 289953947 363663360 88162 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21091/statm: 88785 88162 312 324 0 87854 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 355140 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.07 CPU user time (s): 1798.02 CPU system time (s): 2.04069 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 355872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.02 system time used= 2.04069 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88887 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= 36822 runsolver used 1.46078 second user time and 3.87741 second system time The end
Begin job on node6 on Wed May 2 20:52:43 UTC 2007 IDJOB= 453465 IDBENCH= 48132 IDSOLVER= 163 FILE ID= node6/453465-1178139163 PBS_JOBID= 4751071 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/mds/normalized-mds_200_25_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453465-1178139163/instance-453465-1178139163.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-453465-1178139163 -o ROOT/results/node6/solver-453465-1178139163 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453465-1178139163/instance-453465-1178139163.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 64354bd2b9c3cc2f1ca2c32032e5c032 RANDOM SEED= 738578281 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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: 2055924 kB MemFree: 1828104 kB Buffers: 79796 kB Cached: 60768 kB SwapCached: 14272 kB Active: 86004 kB Inactive: 77804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1828104 kB SwapTotal: 4192956 kB SwapFree: 4146580 kB Dirty: 6944 kB Writeback: 0 kB Mapped: 29556 kB Slab: 49576 kB Committed_AS: 12362928 kB PageTables: 1784 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 node6 on Wed May 2 21:22:44 UTC 2007