Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -108 | 1800.12 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb |
MD5SUM | 81ea6ef3f58dd056541f0542171b5402 |
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 | -112 |
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 | -112 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6326 |
Sum of products size (including duplicates) | 12652 |
Number of different products | 3163 |
Sum of products size | 6326 |
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/453951-1178019128/instance-453951-1178019128.opb 0.00/0.00 c File size is 86057 bytes. 0.00/0.04 c Highest Coefficient sum: 500 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.038 s 0.00/0.05 c Var: 6826 Constr: 13652 6826/500/6326 Lit: 50608 Watch. Lit: 37956 0.00/0.05 c Obj. Vars: 500 (7.32493 % of total variables) 0.08/0.12 c Pre-processing Time: 0.12 s 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 500 3163 9489 3 6326 1054 0 0 0.12 0.08/0.12 c Switching off LPR mode. 0.08/0.12 o -100 0.121 0.08/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.13 c 0 500 3164 9989 3 6428 2054 1 0 0.12 0.08/0.13 o -101 0.128 6.69/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.78 c 32 500 3197 23225 7 6595 2054 34 250 0.13 6.69/6.78 c 132 500 3297 62893 19 6795 2260 134 862 0.15 6.69/6.78 c 383 500 3548 162463 45 7297 2487 385 1764 0.22 6.69/6.78 c 858 500 4023 350922 87 8247 2736 860 2416 0.35 6.69/6.78 c 1672 500 4837 673651 139 9875 3010 1674 2782 0.60 6.69/6.78 c 2992 500 6157 1196481 194 12515 3312 2994 2882 1.04 6.69/6.78 c 5073 500 8238 2022218 245 16677 3644 5075 2436 2.08 6.69/6.78 c 8298 500 11463 3300569 287 23127 4009 8300 2225 3.73 6.69/6.78 c 13235 500 7603 1769605 232 15307 4410 4440 1968 6.72 6.69/6.78 o -102 6.774 6.79/6.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.88 c 13401 500 7770 1835968 236 15743 2054 4607 1978 6.77 6.79/6.88 c 13501 500 7870 1875501 238 15943 2260 4707 1983 6.81 6.79/6.88 o -103 6.878 31.88/31.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.88/31.99 c 13711 500 8081 1959103 242 16468 2054 4918 1993 6.88 31.88/31.99 c 13812 500 8182 1998917 244 16670 2260 5019 1997 6.91 31.88/31.99 c 14063 500 8433 2097946 248 17172 2487 5270 2003 7.02 31.88/31.99 c 14539 500 8909 2285462 256 18124 2736 5746 2024 7.18 31.88/31.99 c 15352 500 9722 2606032 268 19750 3010 6559 2048 7.50 31.88/31.99 c 16672 500 11042 3126996 283 22390 3312 7879 2064 8.08 31.88/31.99 c 18755 500 4820 662329 137 9743 3644 1657 1985 9.45 31.88/31.99 c 21979 500 8044 1934239 240 16191 4009 4881 2045 10.75 31.88/31.99 c 26915 500 12980 3879698 298 26063 4410 9817 1924 13.98 31.88/31.99 c 34421 500 11490 3293440 286 23083 4852 8327 1523 22.59 31.88/31.99 c 45783 500 13634 4141332 303 27371 5338 10471 1442 31.73 31.88/31.99 o -104 31.985 35.17/35.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.17/35.24 c 46458 500 14310 4408147 308 28827 2054 11147 1452 31.98 35.17/35.24 c 46559 500 4292 454917 105 8688 2260 1129 1425 32.66 35.17/35.24 c 46809 500 4542 553269 121 9188 2487 1379 1430 32.72 35.17/35.24 c 47285 500 5018 740634 147 10140 2736 1855 1439 32.86 35.17/35.24 c 48099 500 5832 1060752 181 11768 3010 2669 1454 33.07 35.17/35.24 c 49420 500 7153 1580307 220 14410 3312 3990 1471 33.58 35.17/35.24 c 51502 500 9235 2399031 259 18574 3644 6072 1485 34.66 35.17/35.24 o -105 35.226 314.89/315.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 314.89/315.05 c 52837 500 10571 2924693 276 21351 2054 7408 1499 35.23 314.89/315.05 c 52938 500 10672 2964343 277 21553 2260 7509 1501 35.27 314.89/315.05 c 53190 500 10924 3063258 280 22057 2487 7761 1502 35.39 314.89/315.05 c 53665 500 11399 3249523 285 23007 2736 8236 1498 35.82 314.89/315.05 c 54478 500 12212 3568214 292 24633 3010 9049 1508 36.12 314.89/315.05 c 55800 500 5244 825780 157 10593 3312 2081 1502 37.15 314.89/315.05 c 57881 500 7325 1642250 224 14755 3644 4162 1526 37.91 314.89/315.05 c 61104 500 10548 2906408 275 21201 4009 7385 1552 39.36 314.89/315.05 c 66040 500 6695 1395131 208 13495 4410 3532 1558 42.37 314.89/315.05 c 73547 500 5369 874652 162 10843 4852 2206 1530 48.05 314.89/315.05 c 84909 500 7521 1718512 228 15147 5338 4358 1456 58.31 314.89/315.05 c 102054 500 5833 1055498 180 11771 5872 2670 1394 73.20 314.89/315.05 c 127873 500 12224 3562274 291 24553 6460 9061 1347 94.86 314.89/315.05 c 166705 500 11021 3091234 280 22147 7107 7858 1305 127.72 314.89/315.05 c 225057 500 7381 1662033 225 14867 7818 4218 1170 192.23 314.89/315.05 c 312690 500 9525 2502796 262 19155 8600 6362 1024 305.07 314.89/315.05 o -106 314.958 559.63/559.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 559.63/559.88 c 323831 500 9580 2528125 263 19371 2054 6417 1028 314.96 559.63/559.88 c 323932 500 9681 2567659 265 19573 2260 6518 1028 315.02 559.63/559.88 c 324182 500 9931 2665416 268 20073 2487 6768 1028 315.10 559.63/559.88 c 324657 500 10406 2851041 273 21023 2736 7243 1029 315.29 559.63/559.88 c 325470 500 11219 3169113 282 22649 3010 8056 1031 315.61 559.63/559.88 c 326790 500 4669 598650 128 9444 3312 1506 1031 316.79 559.63/559.88 c 328871 500 6750 1412667 209 13606 3644 3587 1035 317.62 559.63/559.88 c 332094 500 9973 2673591 268 20052 4009 6810 1040 319.03 559.63/559.88 c 337030 500 6124 1167210 190 12354 4410 2961 1048 321.49 559.63/559.88 c 344536 500 13630 4102090 300 27366 4852 10467 1059 325.22 559.63/559.88 c 355897 500 6585 1347287 204 13276 5338 3422 1065 334.16 559.63/559.88 c 373042 500 14281 4355228 304 28668 5872 11118 1068 348.98 559.63/559.88 c 398861 500 10935 3051449 279 21976 6460 7772 1046 381.18 559.63/559.88 c 437693 500 9760 2589324 265 19626 7107 6597 1058 413.60 559.63/559.88 c 496045 500 16446 5205458 316 32998 7818 13283 1020 486.19 559.63/559.88 o -107 559.709 778.85/779.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 778.85/779.20 c 552730 500 9011 2297624 254 18235 2054 5848 987 559.71 778.85/779.20 c 552830 500 9111 2336656 256 18435 2260 5948 987 559.78 778.85/779.20 c 553080 500 9361 2434201 260 18935 2487 6198 987 559.85 778.85/779.20 c 553555 500 9836 2619437 266 19885 2736 6673 988 560.11 778.85/779.20 c 554368 500 10649 2936664 275 21511 3010 7486 989 560.41 778.85/779.20 c 555689 500 11970 3451792 288 24153 3312 8807 990 560.88 778.85/779.20 c 557770 500 5610 964561 171 11327 3644 2447 990 563.38 778.85/779.20 c 560993 500 8833 2221731 251 17773 4009 5670 992 565.02 778.85/779.20 c 565930 500 5169 792209 153 10445 4410 2006 997 567.32 778.85/779.20 c 573436 500 12675 3722458 293 25457 4852 9512 1000 572.95 778.85/779.20 c 584797 500 5650 978396 173 11407 5338 2487 1000 584.25 778.85/779.20 c 601942 500 13344 3980661 298 26795 5872 10181 1006 598.15 778.95/779.20 c 627761 500 10018 2684020 267 20143 6460 6855 1001 627.04 778.95/779.20 c 666593 500 8816 2215301 251 17739 7107 5653 1000 666.40 778.95/779.20 c 724945 500 15532 4837405 311 31171 7818 12369 1004 721.66 778.95/779.20 o -108 778.967 1800.09/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.70 c 777351 500 14473 4428386 305 29161 2054 11310 997 778.97 1800.09/1800.70 c 777451 500 4291 449970 104 8690 2260 1128 997 779.68 1800.09/1800.70 c 777702 500 4542 547645 120 9192 2487 1379 997 779.74 1800.09/1800.70 c 778177 500 5017 732378 145 10142 2736 1854 997 779.87 1800.09/1800.70 c 778990 500 5830 1048816 179 11768 3010 2667 998 780.08 1800.09/1800.70 c 780310 500 7150 1562152 218 14408 3312 3987 999 780.56 1800.09/1800.70 c 782392 500 9232 2371287 256 18572 3644 6069 1001 781.28 1800.09/1800.70 c 785616 500 12456 3626777 291 25020 4009 9293 1003 782.75 1800.09/1800.70 c 790552 500 8615 2130073 247 17338 4410 5452 1005 786.62 1800.09/1800.70 c 798059 500 7137 1555384 217 14382 4852 3974 1006 792.65 1800.09/1800.70 c 809420 500 9287 2392660 257 18682 5338 6124 1011 800.18 1800.09/1800.70 c 826565 500 7559 1717845 227 15226 5872 4396 1017 812.09 1800.09/1800.70 c 852385 500 13947 4208190 301 28002 6460 10784 1022 833.79 1800.09/1800.70 c 891217 500 12770 3745618 293 25648 7107 9607 1032 862.96 1800.09/1800.70 c 949570 500 9163 2340505 255 18434 7818 6000 1021 929.54 1800.09/1800.70 c 1037204 500 11332 3187338 281 22772 8600 8169 1008 1028.89 1800.09/1800.70 c 1168757 500 10012 2676382 267 20132 9461 6849 994 1174.70 1800.09/1800.70 c 1366190 500 12049 3463682 287 24206 10408 8886 1000 1364.85 1800.09/1800.70 c 1662442 500 9027 2289170 253 18162 11449 5864 1003 1656.54 1800.09/1800.70 c Caught signal: 15 1800.09/1800.71 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.09/1800.71 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.09/1800.71 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.09/1800.71 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.09/1800.71 v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127 1800.09/1800.71 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1800.09/1800.71 v -x149 -x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1800.09/1800.71 v -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.09/1800.71 v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 x212 -x213 1800.09/1800.71 v -x214 x215 -x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.09/1800.71 v x236 -x237 -x238 x239 -x240 -x241 -x242 x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 1800.09/1800.71 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 1800.09/1800.71 v -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 1800.09/1800.71 v -x300 -x301 -x302 x303 x304 x305 x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 1800.09/1800.71 v -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342 1800.09/1800.71 v -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 1800.09/1800.71 v -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 1800.09/1800.71 v -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409 1800.09/1800.71 v -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 x428 -x429 -x430 -x431 1800.09/1800.71 v -x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 1800.09/1800.71 v x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475 1800.09/1800.71 v -x476 -x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 1800.09/1800.71 v -x498 x499 -x500 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 95 1774395 387274 2496450 21056 6970211 17893 985 1800.10 1800.09/1800.71 c Objective: -108 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 c Total time: 1800.1 s
OK -108
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-453951-1178019128 -o ROOT/results/node63/solver-453951-1178019128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/64 8593 /proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=11824 CPUtime=0 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 277902776 12107776 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 2956 333 279 324 0 2004 0 [startup+0.066122 s] /proc/loadavg: 0.85 0.97 0.99 3/64 8593 /proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=7616 CPUtime=0.05 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 1291 0 0 0 5 0 0 0 18 0 1 0 277902776 7798784 1239 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 1904 1239 304 324 0 974 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7616 [startup+0.101126 s] /proc/loadavg: 0.85 0.97 0.99 3/64 8593 /proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=7616 CPUtime=0.08 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 1305 0 0 0 8 0 0 0 18 0 1 0 277902776 7798784 1253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134556784 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 1904 1253 305 324 0 974 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7616 [startup+0.301146 s] /proc/loadavg: 0.85 0.97 0.99 3/64 8593 /proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=10668 CPUtime=0.29 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 2108 0 0 0 28 1 0 0 19 0 1 0 277902776 10924032 2034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 2667 2034 311 324 0 1737 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10668 [startup+0.701189 s] /proc/loadavg: 0.85 0.97 0.99 3/64 8593 /proc/meminfo: memFree=1909532/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=17152 CPUtime=0.69 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 3728 0 0 0 68 1 0 0 22 0 1 0 277902776 17563648 3654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 4288 3654 311 324 0 3358 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17152 [startup+1.50127 s] /proc/loadavg: 0.85 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1891604/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=27884 CPUtime=1.48 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 6407 0 0 0 146 2 0 0 25 0 1 0 277902776 28553216 6333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547664 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 6971 6333 311 324 0 6041 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 27884 [startup+3.10144 s] /proc/loadavg: 0.86 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1880340/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=44108 CPUtime=3.09 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 10449 0 0 0 304 5 0 0 25 0 1 0 277902776 45166592 10375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 11027 10375 311 324 0 10097 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44108 [startup+6.30178 s] /proc/loadavg: 0.86 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1851156/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=61592 CPUtime=6.29 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 14834 0 0 0 622 7 0 0 25 0 1 0 277902776 63070208 14760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 15398 14760 311 324 0 14468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61592 [startup+12.7015 s] /proc/loadavg: 0.88 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1867220/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=50340 CPUtime=12.69 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 16072 0 0 0 1261 8 0 0 25 0 1 0 277902776 51548160 11948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 12585 11948 311 324 0 11655 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50340 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1846804/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=66100 CPUtime=25.48 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 20006 0 0 0 2538 10 0 0 25 0 1 0 277902776 67686400 15882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 16525 15882 311 324 0 15595 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66100 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1849876/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=63064 CPUtime=51.06 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 20307 0 0 0 5096 10 0 0 25 0 1 0 277902776 64577536 15118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 15766 15118 311 324 0 14836 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 63064 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1838740/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=74068 CPUtime=102.26 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 23699 0 0 0 10214 12 0 0 25 0 1 0 277902776 75845632 17889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411727 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 18517 17889 311 324 0 17587 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74068 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1835348/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=77384 CPUtime=162.24 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 24583 0 0 0 16211 13 0 0 25 0 1 0 277902776 79241216 18718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 19346 18718 311 324 0 18416 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 77384 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1831828/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80984 CPUtime=222.22 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 25475 0 0 0 22209 13 0 0 25 0 1 0 277902776 82927616 19610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20246 19610 311 324 0 19316 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 80984 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1831700/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=81080 CPUtime=282.2 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 25493 0 0 0 28207 13 0 0 25 0 1 0 277902776 83025920 19624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20270 19624 311 324 0 19340 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 81080 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1832084/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80420 CPUtime=342.19 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 34205 14 0 0 25 0 1 0 277902776 82350080 19477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403453 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20105 19477 311 324 0 19175 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 80420 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80188 CPUtime=402.17 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 40203 14 0 0 25 0 1 0 277902776 82112512 19419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20047 19419 311 324 0 19117 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 80188 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80188 CPUtime=462.15 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26484 0 0 0 46201 14 0 0 25 0 1 0 277902776 82112512 19419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20047 19419 311 324 0 19117 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 80188 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1831700/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80952 CPUtime=522.13 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26665 0 0 0 52199 14 0 0 25 0 1 0 277902776 82894848 19600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20238 19600 311 324 0 19308 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 80952 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8594 /proc/meminfo: memFree=1831764/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80628 CPUtime=582.12 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26666 0 0 0 58198 14 0 0 25 0 1 0 277902776 82563072 19529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20157 19529 311 324 0 19227 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 80628 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1832212/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80152 CPUtime=642.1 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26666 0 0 0 64196 14 0 0 25 0 1 0 277902776 82075648 19410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20038 19410 311 324 0 19108 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 80152 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1832276/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80064 CPUtime=882.03 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 26922 0 0 0 88188 15 0 0 25 0 1 0 277902776 81985536 19388 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20016 19388 311 324 0 19086 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 80064 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1832148/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80444 CPUtime=942.02 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 27007 0 0 0 94187 15 0 0 25 0 1 0 277902776 82374656 19473 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20111 19473 311 324 0 19181 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 80444 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1832084/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=80536 CPUtime=1002 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 27125 0 0 0 100185 15 0 0 25 0 1 0 277902776 82468864 19488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 20134 19488 311 324 0 19204 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 80536 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1828116/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=84324 CPUtime=1061.97 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 28188 0 0 0 106182 15 0 0 25 0 1 0 277902776 86347776 20453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 21081 20453 311 324 0 20151 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 84324 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1828052/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=84412 CPUtime=1121.96 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 28229 0 0 0 112181 15 0 0 25 0 1 0 277902776 86437888 20475 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 21103 20475 311 324 0 20173 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 84412 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1825364/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=88744 CPUtime=1181.94 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29306 0 0 0 118178 16 0 0 25 0 1 0 277902776 90873856 21542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 22186 21542 311 324 0 21256 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 88744 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=88696 CPUtime=1241.93 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29316 0 0 0 124177 16 0 0 25 0 1 0 277902776 90824704 21546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403304 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 22174 21546 311 324 0 21244 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 88696 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=88644 CPUtime=1301.91 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29316 0 0 0 130175 16 0 0 25 0 1 0 277902776 90771456 21533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 22161 21533 311 324 0 21231 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 88644 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1823764/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=88492 CPUtime=1361.89 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 29361 0 0 0 136173 16 0 0 25 0 1 0 277902776 90615808 21495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 22123 21495 311 324 0 21193 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 88492 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1818900/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=93464 CPUtime=1421.89 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30616 0 0 0 142171 18 0 0 25 0 1 0 277902776 95707136 22738 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23366 22738 311 324 0 22436 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 93464 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1818900/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=93512 CPUtime=1481.86 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30637 0 0 0 148168 18 0 0 25 0 1 0 277902776 95756288 22735 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23378 22735 311 324 0 22448 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 93512 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=93524 CPUtime=1541.85 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30662 0 0 0 154167 18 0 0 25 0 1 0 277902776 95768576 22753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23381 22753 311 324 0 22451 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 93524 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=93512 CPUtime=1601.83 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30666 0 0 0 160165 18 0 0 25 0 1 0 277902776 95756288 22750 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23378 22750 311 324 0 22448 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 93512 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1818836/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=93536 CPUtime=1661.81 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 30701 0 0 0 166163 18 0 0 25 0 1 0 277902776 95780864 22754 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23384 22754 311 324 0 22454 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 93536 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8596 /proc/meminfo: memFree=1816788/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=95368 CPUtime=1721.8 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 32828 0 0 0 172161 19 0 0 25 0 1 0 277902776 97656832 23214 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 23842 23214 311 324 0 22912 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 95368 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/71 8772 /proc/meminfo: memFree=1812260/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=98668 CPUtime=1781.7 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33649 0 0 0 178150 20 0 0 25 0 1 0 277902776 101036032 24035 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 24667 24035 311 324 0 23737 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 98668 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8794 /proc/meminfo: memFree=1813268/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=98668 CPUtime=1800.09 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33652 0 0 0 179989 20 0 0 25 0 1 0 277902776 101036032 24038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 24667 24038 311 324 0 23737 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 98668 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.99 2/65 8794 /proc/meminfo: memFree=1813268/2055920 swapFree=4182904/4192956 [pid=8593] ppid=8591 vsize=98668 CPUtime=1800.09 /proc/8593/stat : 8593 (bsolo3.0.17) R 8591 8593 8528 0 -1 4194304 33652 0 0 0 179989 20 0 0 25 0 1 0 277902776 101036032 24038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8593/statm: 24667 24038 311 324 0 23737 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 98668 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.12 CPU user time (s): 1799.9 CPU system time (s): 0.222966 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 98860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.222966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33656 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= 3057 runsolver used 1.44178 second user time and 3.53246 second system time The end
Begin job on node63 on Tue May 1 11:32:09 UTC 2007 IDJOB= 453951 IDBENCH= 48164 IDSOLVER= 199 FILE ID= node63/453951-1178019128 PBS_JOBID= 4728358 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_500_10_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-453951-1178019128 -o ROOT/results/node63/solver-453951-1178019128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453951-1178019128/instance-453951-1178019128.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED= 152963528 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1909940 kB Buffers: 12604 kB Cached: 62848 kB SwapCached: 3632 kB Active: 40852 kB Inactive: 43756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1909940 kB SwapTotal: 4192956 kB SwapFree: 4182904 kB Dirty: 6860 kB Writeback: 0 kB Mapped: 15268 kB Slab: 47372 kB Committed_AS: 3352548 kB PageTables: 1460 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 node63 on Tue May 1 12:02:11 UTC 2007