Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -17 | 1800.3 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
MD5SUM | 219f407da86957d900e068170e9af8b6 |
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 | -32 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
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/455061-1178036431/instance-455061-1178036431.opb 0.00/0.00 c File size is 166850 bytes. 0.09/0.11 c Highest Coefficient sum: 400 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.114 s 0.09/0.13 c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442 0.09/0.13 c Obj. Vars: 200 (1.55763 % of total variables) 64.96/65.01 c Pre-processing Time: 64.985 s 64.96/65.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.01 c 0 12840 25482 88280 3 75442 208763 0 0 64.98 64.96/65.01 c Switching off LPR mode. 64.96/65.03 o -1 65.001 64.96/65.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.05 c 0 12840 25483 88480 3 75445 208897 1 0 65.01 64.96/65.05 o -2 65.023 64.96/65.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.07 c 0 12840 25484 88680 3 75449 209097 2 0 65.03 64.96/65.07 o -3 65.045 64.96/65.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.96/65.09 c 0 12840 25485 88880 3 75454 209363 3 0 65.05 64.96/65.09 o -4 65.067 65.06/65.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.06/65.12 c 0 12840 25486 89080 3 75460 209697 4 0 65.07 65.06/65.12 o -5 65.09 65.06/65.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.06/65.14 c 0 12840 25487 89280 3 75467 210097 5 0 65.10 65.06/65.14 o -6 65.114 65.06/65.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.06/65.16 c 0 12840 25488 89480 3 75475 210563 6 0 65.12 65.06/65.16 o -7 65.137 65.06/65.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.06/65.19 c 0 12840 25489 89680 3 75484 211097 7 0 65.14 65.06/65.19 o -8 65.161 65.16/65.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.21 c 0 12840 25490 89880 3 75494 211697 8 0 65.17 65.16/65.21 o -9 65.185 65.16/65.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.24 c 0 12840 25491 90080 3 75505 212363 9 0 65.19 65.16/65.24 o -10 65.208 65.16/65.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.26 c 0 12840 25492 90280 3 75517 213097 10 0 65.22 65.16/65.26 o -11 65.232 65.16/65.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.28 c 0 12840 25493 90480 3 75530 213897 11 0 65.24 65.16/65.28 o -12 65.256 65.26/65.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.26/65.31 c 0 12840 25494 90680 3 75544 214763 12 0 65.26 65.26/65.31 o -13 65.28 65.26/65.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.26/65.33 c 0 12840 25495 90880 3 75559 215697 13 0 65.29 65.26/65.33 o -14 65.305 65.26/65.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.26/65.38 c 0 12840 25496 91080 3 75575 216697 14 0 65.31 65.26/65.38 o -15 65.353 65.96/66.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.96/66.01 c 9 12840 25506 93402 3 75610 216697 24 0 65.36 65.96/66.01 c 109 12840 25606 115065 4 75810 238367 124 1 65.56 65.96/66.01 c 359 12840 25856 186889 7 76310 262204 374 5 65.87 65.96/66.01 o -16 65.979 386.85/387.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 386.85/387.07 c 494 12840 25992 228924 8 76598 216697 510 7 65.99 386.85/387.07 c 594 12840 26092 250561 9 76798 238367 610 8 66.11 386.85/387.07 c 844 12840 26342 306333 11 77298 262204 860 12 66.33 386.85/387.07 c 1319 12840 26817 408771 15 78248 288425 1335 19 66.71 386.85/387.07 c 2132 12840 27630 583314 21 79874 317268 2148 31 67.51 386.85/387.07 c 3452 12840 28950 863703 29 82514 348995 3468 50 68.45 386.85/387.07 c 5533 12840 31031 1291375 41 86676 383895 5549 79 69.57 386.85/387.07 c 8756 12840 34254 1999217 58 93122 422285 8772 121 71.95 386.85/387.07 c 13692 12840 39190 3074048 78 102994 464514 13708 180 75.70 386.85/387.07 c 21198 12840 46696 4658574 99 118006 510966 21214 253 83.64 386.85/387.07 c 32559 12840 58057 7097652 122 140728 562063 32575 354 91.92 386.85/387.07 c 49703 12840 75201 10556572 140 175016 618270 49719 486 102.08 386.85/387.07 c 75522 12840 101020 15940020 157 226654 680098 75538 558 135.25 386.85/387.07 c 114354 12840 139852 24559688 175 304318 748108 114370 549 208.07 386.85/387.07 c 172706 12840 198204 38107131 192 421022 822919 172722 490 351.79 386.85/387.07 o -17 386.926 1800.06/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.70 c 190754 12840 216253 41943782 193 457137 216697 190771 492 386.94 1800.06/1800.70 c 190854 12840 216353 41965952 193 457337 238367 190871 492 387.42 1800.06/1800.70 c 191104 12840 216603 42020619 193 457837 262204 191121 492 388.21 1800.06/1800.70 c 191579 12840 217078 42119705 194 458787 288425 191596 492 389.27 1800.06/1800.70 c 192392 12840 217891 42292834 194 460413 317268 192409 491 391.38 1800.06/1800.70 c 193712 12840 219211 42585553 194 463053 348995 193729 490 395.26 1800.06/1800.70 c 195793 12840 221292 43039138 194 467215 383895 195810 489 399.99 1800.06/1800.70 c 199016 12840 224515 43731295 194 473661 422285 199033 490 405.90 1800.06/1800.70 c 203952 12840 229451 44735756 194 483533 464514 203969 489 416.47 1800.06/1800.70 c 211458 12840 236957 46338458 195 498545 510966 211475 488 433.05 1800.06/1800.70 c 222819 12840 248318 48640562 195 521267 562063 222836 495 449.44 1800.06/1800.70 c 239963 12840 265462 52100464 196 555555 618270 239980 510 469.69 1800.06/1800.70 c 265782 12840 291281 57340126 196 607193 680098 265799 510 521.01 1800.06/1800.70 c 304614 12840 330113 65717385 199 684857 748108 304631 448 678.47 1800.06/1800.70 c 362966 12840 388465 78521207 202 801561 822919 362983 384 943.07 1800.06/1800.70 c 450598 12840 476097 98107708 206 976825 905211 450615 340 1321.89 1800.06/1800.70 c Caught signal: 15 1800.06/1800.70 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 -x30 1800.06/1800.70 v -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 1800.06/1800.70 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 1800.06/1800.70 v -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.06/1800.70 v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.06/1800.70 v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.06/1800.70 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1800.06/1800.70 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1800.06/1800.70 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343 1800.06/1800.70 v -x380 -x350 -x294 -x238 -x250 -x255 -x374 -x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 -x223 -x277 -x283 -x292 -x327 1800.06/1800.70 v -x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 x383 -x362 -x397 x253 x378 -x274 1800.06/1800.70 v x398 -x358 -x329 x307 -x261 -x366 -x357 -x315 -x276 -x245 -x204 -x217 -x234 x239 -x241 x249 -x260 x263 -x287 -x341 -x202 -x246 1800.06/1800.70 v -x400 -x367 -x361 -x310 -x324 -x349 -x206 -x363 -x344 -x322 -x317 -x257 -x318 -x369 -x391 -x311 -x371 -x205 -x218 -x225 -x227 1800.06/1800.70 v -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 -x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330 1800.06/1800.70 v -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 x306 -x275 x273 -x342 -x221 -x232 -x244 -x270 x303 -x323 -x372 -x269 1800.06/1800.70 v -x280 -x321 x267 -x213 -x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 -x365 -x272 -x230 -x248 1800.06/1800.70 v -x286 -x338 -x364 -x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 -x305 -x258 -x216 -x326 x377 -x313 1800.06/1800.70 v -x226 -x394 -x215 -x312 -x388 -x328 x396 -x247 -x237 -x256 -x325 x290 -x375 -x295 -x289 -x233 -x301 x334 -x335 -x384 1800.06/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.71 c 48 527709 242 677715 553208 116264255 527726 293 1800.07 1800.06/1800.71 c Objective: -17 1800.06/1800.71 s SATISFIABLE 1800.06/1800.71 c Total time: 1800.07 s
OK -17
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-455061-1178036431 -o ROOT/results/node20/solver-455061-1178036431 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.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: 1.00 1.00 1.00 3/77 26146 /proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=11900 CPUtime=0 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 251560442 12185600 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2975 332 279 324 0 2004 0 [startup+0.073927 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26146 /proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=6540 CPUtime=0.06 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 993 0 0 0 6 0 0 0 18 0 1 0 251560442 6696960 963 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 1635 963 313 324 0 664 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6540 [startup+0.101931 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26146 /proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=7532 CPUtime=0.09 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 1256 0 0 0 9 0 0 0 18 0 1 0 251560442 7712768 1226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 1883 1226 323 324 0 912 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7532 [startup+0.301971 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26146 /proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=0.28 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2115 0 0 0 28 0 0 0 19 0 1 0 251560442 11055104 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550705 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2044 305 324 0 1769 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10796 [startup+0.70105 s] /proc/loadavg: 1.00 1.00 1.00 3/77 26146 /proc/meminfo: memFree=1748056/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=0.69 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2115 0 0 0 68 1 0 0 23 0 1 0 251560442 11055104 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2044 305 324 0 1769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10796 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1741072/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=1.49 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 148 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10796 [startup+3.10153 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1740880/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=3.09 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 308 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10796 [startup+6.30117 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1740760/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=6.29 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 628 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10796 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1740824/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=12.68 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 1267 1 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10796 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1740888/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=25.48 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 2546 2 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8060658 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10796 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1740824/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=10796 CPUtime=51.07 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 2116 0 0 0 5103 4 0 0 25 0 1 0 251560442 11055104 2045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8050007 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 2699 2045 305 324 0 1769 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10796 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1601496/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=150100 CPUtime=102.25 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 37343 0 0 0 10195 30 0 0 25 0 1 0 251560442 153702400 36881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 37525 36881 311 324 0 36595 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 150100 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1482456/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=269204 CPUtime=162.22 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 67124 0 0 0 16170 52 0 0 25 0 1 0 251560442 275664896 66662 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 67301 66662 311 324 0 66371 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 269204 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1395352/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=355784 CPUtime=222.21 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 88770 0 0 0 22150 71 0 0 25 0 1 0 251560442 364322816 88308 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 88946 88308 311 324 0 88016 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 355784 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1319064/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=432468 CPUtime=282.18 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 107948 0 0 0 28131 87 0 0 25 0 1 0 251560442 442847232 107486 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 108117 107486 311 324 0 107187 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 432468 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1247576/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=503316 CPUtime=342.16 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 125643 0 0 0 34115 101 0 0 25 0 1 0 251560442 515395584 125181 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 125829 125181 311 324 0 124899 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 503316 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1169880/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=581776 CPUtime=402.14 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 145253 0 0 0 40095 119 0 0 25 0 1 0 251560442 595738624 144791 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 145444 144791 311 324 0 144514 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 581776 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=1069272/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=681896 CPUtime=462.12 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 170296 0 0 0 46074 138 0 0 25 0 1 0 251560442 698261504 169834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 170474 169834 311 324 0 169544 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 681896 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=981528/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=769236 CPUtime=522.1 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 192133 0 0 0 52056 154 0 0 25 0 1 0 251560442 787697664 191671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 192309 191671 311 324 0 191379 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 769236 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=930968/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=819228 CPUtime=582.08 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 204628 0 0 0 58041 167 0 0 25 0 1 0 251560442 838889472 204166 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 204807 204166 311 324 0 203877 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 819228 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=895896/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=853972 CPUtime=642.06 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 213324 0 0 0 64031 175 0 0 25 0 1 0 251560442 874467328 212862 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 213493 212862 311 324 0 212563 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 853972 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=702296/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1047872 CPUtime=941.95 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 261778 0 0 0 93969 226 0 0 25 0 1 0 251560442 1073020928 261316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 261968 261316 311 324 0 261038 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1047872 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=647256/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1102448 CPUtime=1001.93 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 275438 0 0 0 99954 239 0 0 25 0 1 0 251560442 1128906752 274976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 275612 274976 311 324 0 274682 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1102448 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=603032/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1146872 CPUtime=1061.91 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 286529 0 0 0 105941 250 0 0 25 0 1 0 251560442 1174396928 286067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 286718 286067 311 324 0 285788 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1146872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=555224/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1194268 CPUtime=1121.89 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 298399 0 0 0 111928 261 0 0 25 0 1 0 251560442 1222930432 297937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 298567 297937 311 324 0 297637 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1194268 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=519512/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1230016 CPUtime=1181.87 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 307315 0 0 0 117916 271 0 0 25 0 1 0 251560442 1259536384 306853 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091713 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 307504 306853 311 324 0 306574 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1230016 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26147 /proc/meminfo: memFree=489048/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1260424 CPUtime=1241.85 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 314913 0 0 0 123906 279 0 0 25 0 1 0 251560442 1290674176 314451 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 315106 314451 311 324 0 314176 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1260424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=453848/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1295296 CPUtime=1301.83 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 323637 0 0 0 129895 288 0 0 25 0 1 0 251560442 1326383104 323175 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 323824 323175 311 324 0 322894 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1295296 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=416600/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1332664 CPUtime=1361.8 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 333000 0 0 0 135885 295 0 0 25 0 1 0 251560442 1364647936 332538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 333166 332538 311 324 0 332236 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1332664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=382040/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1366888 CPUtime=1421.78 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 341534 0 0 0 141874 304 0 0 25 0 1 0 251560442 1399693312 341072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8060645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 341722 341072 311 324 0 340792 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1366888 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=356376/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1392620 CPUtime=1481.76 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 347977 0 0 0 147866 310 0 0 25 0 1 0 251560442 1426042880 347515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 348155 347515 311 324 0 347225 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 1392620 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=329816/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1419040 CPUtime=1541.74 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 354586 0 0 0 153858 316 0 0 25 0 1 0 251560442 1453096960 354124 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 354760 354124 311 324 0 353830 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1419040 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=304216/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1444784 CPUtime=1601.72 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 361033 0 0 0 159848 324 0 0 25 0 1 0 251560442 1479458816 360571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 361196 360571 311 324 0 360266 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1444784 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=278680/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1470040 CPUtime=1661.7 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 367334 0 0 0 165840 330 0 0 25 0 1 0 251560442 1505320960 366872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 367510 366872 311 324 0 366580 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1470040 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 26149 /proc/meminfo: memFree=244888/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1504236 CPUtime=1721.68 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 375879 0 0 0 171828 340 0 0 25 0 1 0 251560442 1540337664 375417 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 376059 375417 311 324 0 375129 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1504236 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=211608/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1537060 CPUtime=1781.65 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 384095 0 0 0 177816 349 0 0 25 0 1 0 251560442 1573949440 383633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 384265 383633 311 324 0 383335 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 1537060 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=1546552 CPUtime=1800.06 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194304 386465 0 0 0 179654 352 0 0 25 0 1 0 251560442 1583669248 386003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 386638 386003 311 324 0 385708 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1546552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=0 CPUtime=1800.15 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194308 386469 0 0 0 179654 361 0 0 25 0 1 0 251560442 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 26149 /proc/meminfo: memFree=201944/2055920 swapFree=4154876/4192956 [pid=26146] ppid=26144 vsize=0 CPUtime=1800.25 /proc/26146/stat : 26146 (bsolo3.0.17) R 26144 26146 25535 0 -1 4194308 386469 0 0 0 179654 371 0 0 25 0 1 0 251560442 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/26146/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.95 CPU time (s): 1800.3 CPU user time (s): 1796.54 CPU system time (s): 3.75943 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 1546552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.54 system time used= 3.75943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386469 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= 37467 runsolver used 1.34879 second user time and 3.9554 second system time The end
Begin job on node20 on Tue May 1 16:20:31 UTC 2007 IDJOB= 455061 IDBENCH= 48238 IDSOLVER= 199 FILE ID= node20/455061-1178036431 PBS_JOBID= 4728447 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/bsg/normalized-bsg_200_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-455061-1178036431 -o ROOT/results/node20/solver-455061-1178036431 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455061-1178036431/instance-455061-1178036431.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED= 671821394 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1748528 kB Buffers: 89188 kB Cached: 127808 kB SwapCached: 16448 kB Active: 159468 kB Inactive: 81768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748528 kB SwapTotal: 4192956 kB SwapFree: 4154876 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 29948 kB Slab: 51784 kB Committed_AS: 4590132 kB PageTables: 1744 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 node20 on Tue May 1 16:50:34 UTC 2007