Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -108 | 1800.02 | 1800.47 |
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.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/453945-1178019049/instance-453945-1178019049.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.039 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.09/0.12 c Pre-processing Time: 0.123 s 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 500 3163 9489 3 6326 1054 0 0 0.12 0.09/0.12 c Switching off LPR mode. 0.09/0.12 o -100 0.124 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 500 3164 9989 3 6428 2054 1 0 0.12 0.09/0.13 o -101 0.131 6.69/6.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.77 c 32 500 3197 23225 7 6595 2054 34 242 0.13 6.69/6.77 c 132 500 3297 62893 19 6795 2260 134 840 0.16 6.69/6.77 c 383 500 3548 162463 45 7297 2487 385 1725 0.22 6.69/6.77 c 858 500 4023 350922 87 8247 2736 860 2370 0.36 6.69/6.77 c 1672 500 4837 673651 139 9875 3010 1674 2745 0.61 6.69/6.77 c 2992 500 6157 1196481 194 12515 3312 2994 2852 1.05 6.69/6.77 c 5073 500 8238 2022218 245 16677 3644 5075 2426 2.09 6.69/6.77 c 8298 500 11463 3300569 287 23127 4009 8300 2224 3.73 6.69/6.77 c 13235 500 7603 1769605 232 15307 4410 4440 1970 6.72 6.69/6.77 o -102 6.768 6.79/6.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.87 c 13401 500 7770 1835968 236 15743 2054 4607 1979 6.77 6.79/6.87 c 13501 500 7870 1875501 238 15943 2260 4707 1984 6.80 6.79/6.87 o -103 6.873 31.97/32.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.97/32.00 c 13711 500 8081 1959103 242 16468 2054 4918 1994 6.87 31.97/32.00 c 13812 500 8182 1998917 244 16670 2260 5019 1999 6.91 31.97/32.00 c 14063 500 8433 2097946 248 17172 2487 5270 2004 7.01 31.97/32.00 c 14539 500 8909 2285462 256 18124 2736 5746 2026 7.17 31.97/32.00 c 15352 500 9722 2606032 268 19750 3010 6559 2049 7.49 31.97/32.00 c 16672 500 11042 3126996 283 22390 3312 7879 2066 8.07 31.97/32.00 c 18755 500 4820 662329 137 9743 3644 1657 1989 9.43 31.97/32.00 c 21979 500 8044 1934239 240 16191 4009 4881 2048 10.73 31.97/32.00 c 26915 500 12980 3879698 298 26063 4410 9817 1922 14.00 31.97/32.00 c 34421 500 11490 3293440 286 23083 4852 8327 1519 22.66 31.97/32.00 c 45783 500 13634 4141332 303 27371 5338 10471 1443 31.72 31.97/32.00 o -104 31.982 35.27/35.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.27/35.31 c 46458 500 14310 4408147 308 28827 2054 11147 1452 31.98 35.27/35.31 c 46559 500 4292 454917 105 8688 2260 1129 1425 32.67 35.27/35.31 c 46809 500 4542 553269 121 9188 2487 1379 1430 32.73 35.27/35.31 c 47285 500 5018 740634 147 10140 2736 1855 1438 32.88 35.27/35.31 c 48099 500 5832 1060752 181 11768 3010 2669 1453 33.09 35.27/35.31 c 49420 500 7153 1580307 220 14410 3312 3990 1470 33.61 35.27/35.31 c 51502 500 9235 2399031 259 18574 3644 6072 1483 34.71 35.27/35.31 o -105 35.286 315.79/315.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 315.79/315.98 c 52837 500 10571 2924693 276 21351 2054 7408 1497 35.29 315.79/315.98 c 52938 500 10672 2964343 277 21553 2260 7509 1498 35.33 315.79/315.98 c 53190 500 10924 3063258 280 22057 2487 7761 1500 35.45 315.79/315.98 c 53665 500 11399 3249523 285 23007 2736 8236 1495 35.89 315.79/315.98 c 54478 500 12212 3568214 292 24633 3010 9049 1505 36.19 315.79/315.98 c 55800 500 5244 825780 157 10593 3312 2081 1498 37.23 315.79/315.98 c 57881 500 7325 1642250 224 14755 3644 4162 1522 38.01 315.79/315.98 c 61104 500 10548 2906408 275 21201 4009 7385 1547 39.48 315.79/315.98 c 66040 500 6695 1395131 208 13495 4410 3532 1554 42.49 315.79/315.98 c 73547 500 5369 874652 162 10843 4852 2206 1528 48.13 315.79/315.98 c 84909 500 7521 1718512 228 15147 5338 4358 1452 58.48 315.79/315.98 c 102054 500 5833 1055498 180 11771 5872 2670 1390 73.37 315.79/315.98 c 127873 500 12224 3562274 291 24553 6460 9061 1344 95.10 315.79/315.98 c 166705 500 11021 3091234 280 22147 7107 7858 1301 128.04 315.79/315.98 c 225057 500 7381 1662033 225 14867 7818 4218 1167 192.78 315.79/315.98 c 312690 500 9525 2502796 262 19155 8600 6362 1021 305.96 315.79/315.98 o -106 315.886 561.34/561.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 561.34/561.53 c 323831 500 9580 2528125 263 19371 2054 6417 1025 315.89 561.34/561.53 c 323932 500 9681 2567659 265 19573 2260 6518 1025 315.95 561.34/561.53 c 324182 500 9931 2665416 268 20073 2487 6768 1025 316.03 561.34/561.53 c 324657 500 10406 2851041 273 21023 2736 7243 1026 316.22 561.34/561.53 c 325470 500 11219 3169113 282 22649 3010 8056 1028 316.55 561.34/561.53 c 326790 500 4669 598650 128 9444 3312 1506 1028 317.74 561.34/561.53 c 328871 500 6750 1412667 209 13606 3644 3587 1032 318.59 561.34/561.53 c 332094 500 9973 2673591 268 20052 4009 6810 1037 320.02 561.34/561.53 c 337030 500 6124 1167210 190 12354 4410 2961 1045 322.49 561.34/561.53 c 344536 500 13630 4102090 300 27366 4852 10467 1056 326.20 561.34/561.53 c 355897 500 6585 1347287 204 13276 5338 3422 1061 335.15 561.34/561.53 c 373042 500 14281 4355228 304 28668 5872 11118 1065 350.00 561.34/561.53 c 398861 500 10935 3051449 279 21976 6460 7772 1043 382.37 561.34/561.53 c 437693 500 9760 2589324 265 19626 7107 6597 1054 414.88 561.34/561.53 c 496045 500 16446 5205458 316 32998 7818 13283 1017 487.65 561.34/561.53 o -107 561.382 781.18/781.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 781.18/781.41 c 552730 500 9011 2297624 254 18235 2054 5848 984 561.38 781.18/781.41 c 552830 500 9111 2336656 256 18435 2260 5948 984 561.45 781.18/781.41 c 553080 500 9361 2434201 260 18935 2487 6198 984 561.53 781.18/781.41 c 553555 500 9836 2619437 266 19885 2736 6673 985 561.79 781.18/781.41 c 554368 500 10649 2936664 275 21511 3010 7486 986 562.09 781.18/781.41 c 555689 500 11970 3451792 288 24153 3312 8807 987 562.56 781.18/781.41 c 557770 500 5610 964561 171 11327 3644 2447 987 565.04 781.18/781.41 c 560993 500 8833 2221731 251 17773 4009 5670 989 566.68 781.18/781.41 c 565930 500 5169 792209 153 10445 4410 2006 994 568.98 781.18/781.41 c 573436 500 12675 3722458 293 25457 4852 9512 997 574.63 781.18/781.41 c 584797 500 5650 978396 173 11407 5338 2487 998 585.95 781.18/781.41 c 601942 500 13344 3980661 298 26795 5872 10181 1003 599.92 781.18/781.41 c 627761 500 10018 2684020 267 20143 6460 6855 998 628.85 781.18/781.41 c 666593 500 8816 2215301 251 17739 7107 5653 997 668.27 781.18/781.41 c 724945 500 15532 4837405 311 31171 7818 12369 1001 723.73 781.18/781.41 o -108 781.205 1799.94/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.94/1800.45 c 777351 500 14473 4428386 305 29161 2054 11310 995 781.21 1799.94/1800.45 c 777451 500 4291 449970 104 8690 2260 1128 994 781.91 1799.94/1800.45 c 777702 500 4542 547645 120 9192 2487 1379 994 781.97 1799.94/1800.45 c 778177 500 5017 732378 145 10142 2736 1854 994 782.10 1799.94/1800.45 c 778990 500 5830 1048816 179 11768 3010 2667 995 782.32 1799.94/1800.45 c 780310 500 7150 1562152 218 14408 3312 3987 996 782.80 1799.94/1800.45 c 782392 500 9232 2371287 256 18572 3644 6069 998 783.52 1799.94/1800.45 c 785616 500 12456 3626777 291 25020 4009 9293 1000 784.99 1799.94/1800.45 c 790552 500 8615 2130073 247 17338 4410 5452 1002 788.84 1799.94/1800.45 c 798059 500 7137 1555384 217 14382 4852 3974 1003 794.90 1799.94/1800.45 c 809420 500 9287 2392660 257 18682 5338 6124 1008 802.50 1799.94/1800.45 c 826565 500 7559 1717845 227 15226 5872 4396 1014 814.40 1799.94/1800.45 c 852385 500 13947 4208190 301 28002 6460 10784 1019 836.21 1799.94/1800.45 c 891217 500 12770 3745618 293 25648 7107 9607 1029 865.47 1799.94/1800.45 c 949570 500 9163 2340505 255 18434 7818 6000 1018 932.23 1799.94/1800.45 c 1037204 500 11332 3187338 281 22772 8600 8169 1005 1031.90 1799.94/1800.45 c 1168757 500 10012 2676382 267 20132 9461 6849 992 1178.06 1799.94/1800.45 c 1366190 500 12049 3463682 287 24206 10408 8886 998 1368.80 1799.94/1800.45 c 1662442 500 9027 2289170 253 18162 11449 5864 1000 1661.55 1799.94/1800.45 c Resources Exceeded 1799.94/1800.45 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1799.94/1800.45 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 1799.94/1800.45 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.94/1800.45 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 1799.94/1800.45 v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x127 1799.94/1800.45 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 1799.94/1800.45 v -x149 -x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1799.94/1800.45 v -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1799.94/1800.45 v -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 x210 -x211 x212 -x213 1799.94/1800.45 v -x214 x215 -x216 x217 x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 1799.94/1800.45 v x236 -x237 -x238 x239 -x240 -x241 -x242 x243 x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 1799.94/1800.45 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 1799.94/1800.45 v -x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 1799.94/1800.45 v -x300 -x301 -x302 x303 x304 x305 x306 -x307 x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 1799.94/1800.45 v -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 x338 -x339 -x340 -x341 -x342 1799.94/1800.45 v -x343 -x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 x357 x358 x359 -x360 x361 -x362 x363 -x364 x365 1799.94/1800.45 v -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 1799.94/1800.45 v -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 x403 -x404 x405 -x406 x407 -x408 -x409 1799.94/1800.45 v -x410 -x411 -x412 x413 -x414 -x415 x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 x426 -x427 x428 -x429 -x430 -x431 1799.94/1800.45 v -x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 1799.94/1800.45 v x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475 1799.94/1800.45 v -x476 -x477 x478 x479 x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 1799.94/1800.45 v -x498 x499 -x500 1799.94/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.94/1800.45 c 95 1771430 386902 2492967 18091 5816575 14928 984 1800.00 1799.94/1800.45 c Objective: -108 1799.94/1800.45 s SATISFIABLE 1799.94/1800.45 c Total time: 1800 s
OK -108
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-453945-1178019049 -o ROOT/results/node29/solver-453945-1178019049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.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.81 1.16 1.15 3/77 12293 /proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=11824 CPUtime=0 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 249820657 12107776 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 2956 334 281 324 0 2003 0 [startup+0.0851751 s] /proc/loadavg: 0.81 1.16 1.15 3/77 12293 /proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=7616 CPUtime=0.07 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 1294 0 0 0 7 0 0 0 18 0 1 0 249820657 7798784 1241 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 1904 1241 306 324 0 973 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7616 [startup+0.101174 s] /proc/loadavg: 0.81 1.16 1.15 3/77 12293 /proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=7616 CPUtime=0.09 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 1307 0 0 0 9 0 0 0 18 0 1 0 249820657 7798784 1254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4558937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 1904 1254 306 324 0 973 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7616 [startup+0.301187 s] /proc/loadavg: 0.81 1.16 1.15 3/77 12293 /proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=10668 CPUtime=0.29 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 2088 0 0 0 28 1 0 0 19 0 1 0 249820657 10924032 2013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 2667 2013 313 324 0 1736 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10668 [startup+0.701213 s] /proc/loadavg: 0.81 1.16 1.15 3/77 12293 /proc/meminfo: memFree=1760176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=17024 CPUtime=0.69 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 3697 0 0 0 67 2 0 0 23 0 1 0 249820657 17432576 3622 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 4256 3622 313 324 0 3325 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17024 [startup+1.50126 s] /proc/loadavg: 0.81 1.16 1.15 2/78 12294 /proc/meminfo: memFree=1742376/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=27756 CPUtime=1.49 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 6368 0 0 0 145 4 0 0 25 0 1 0 249820657 28422144 6293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 6939 6293 313 324 0 6008 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27756 [startup+3.10136 s] /proc/loadavg: 0.81 1.16 1.15 2/78 12294 /proc/meminfo: memFree=1731048/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=43980 CPUtime=3.09 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 10444 0 0 0 304 5 0 0 25 0 1 0 249820657 45035520 10369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 10995 10369 313 324 0 10064 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43980 [startup+6.30157 s] /proc/loadavg: 0.82 1.16 1.15 2/78 12294 /proc/meminfo: memFree=1702056/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=61592 CPUtime=6.29 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 14837 0 0 0 621 8 0 0 25 0 1 0 249820657 63070208 14762 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 15398 14762 313 324 0 14467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 61592 [startup+12.702 s] /proc/loadavg: 0.84 1.16 1.14 2/78 12294 /proc/meminfo: memFree=1718056/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=50340 CPUtime=12.69 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 16076 0 0 0 1259 10 0 0 25 0 1 0 249820657 51548160 11951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 12585 11951 313 324 0 11654 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50340 [startup+25.5018 s] /proc/loadavg: 0.87 1.15 1.14 2/78 12294 /proc/meminfo: memFree=1697512/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=66100 CPUtime=25.48 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 20009 0 0 0 2534 14 0 0 25 0 1 0 249820657 67686400 15884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 16525 15884 313 324 0 15594 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66100 [startup+51.1014 s] /proc/loadavg: 0.91 1.14 1.14 2/78 12294 /proc/meminfo: memFree=1700648/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=63064 CPUtime=51.06 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 20310 0 0 0 5088 18 0 0 25 0 1 0 249820657 64577536 15120 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 15766 15120 313 324 0 14835 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 63064 [startup+102.306 s] /proc/loadavg: 0.96 1.11 1.13 2/78 12294 /proc/meminfo: memFree=1689576/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=74068 CPUtime=102.25 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 23702 0 0 0 10197 28 0 0 25 0 1 0 249820657 75845632 17891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 18517 17891 313 324 0 17586 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 74068 [startup+162.301 s] /proc/loadavg: 0.98 1.09 1.12 2/78 12294 /proc/meminfo: memFree=1686120/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=77384 CPUtime=162.24 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 24586 0 0 0 16187 37 0 0 25 0 1 0 249820657 79241216 18720 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 19346 18720 313 324 0 18415 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 77384 [startup+222.301 s] /proc/loadavg: 0.99 1.07 1.10 2/78 12294 /proc/meminfo: memFree=1682600/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80984 CPUtime=222.22 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 25478 0 0 0 22176 46 0 0 25 0 1 0 249820657 82927616 19612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20246 19612 313 324 0 19315 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 80984 [startup+282.301 s] /proc/loadavg: 0.99 1.06 1.09 2/78 12294 /proc/meminfo: memFree=1682472/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=81080 CPUtime=282.21 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 25496 0 0 0 28167 54 0 0 25 0 1 0 249820657 83025920 19626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20270 19626 313 324 0 19339 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81080 [startup+342.302 s] /proc/loadavg: 0.99 1.04 1.09 2/78 12294 /proc/meminfo: memFree=1682920/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80420 CPUtime=342.19 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 34156 63 0 0 25 0 1 0 249820657 82350080 19479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20105 19479 313 324 0 19174 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 80420 [startup+402.302 s] /proc/loadavg: 1.07 1.05 1.08 2/78 12294 /proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80188 CPUtime=402.18 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 40144 74 0 0 25 0 1 0 249820657 82112512 19421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20047 19421 313 324 0 19116 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 80188 [startup+462.302 s] /proc/loadavg: 1.09 1.05 1.08 2/78 12294 /proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80188 CPUtime=462.16 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26487 0 0 0 46134 82 0 0 25 0 1 0 249820657 82112512 19421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20047 19421 313 324 0 19116 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 80188 [startup+522.301 s] /proc/loadavg: 1.03 1.04 1.08 2/78 12296 /proc/meminfo: memFree=1682472/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80952 CPUtime=522.14 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26668 0 0 0 52123 91 0 0 25 0 1 0 249820657 82894848 19602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20238 19602 313 324 0 19307 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 80952 [startup+582.301 s] /proc/loadavg: 1.01 1.03 1.07 2/78 12296 /proc/meminfo: memFree=1682728/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80628 CPUtime=582.13 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26669 0 0 0 58113 100 0 0 25 0 1 0 249820657 82563072 19531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20157 19531 313 324 0 19226 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 80628 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.07 2/78 12296 /proc/meminfo: memFree=1683176/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=80152 CPUtime=642.12 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 26669 0 0 0 64104 108 0 0 25 0 1 0 249820657 82075648 19412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 20038 19412 313 324 0 19107 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 80152 ################ # More data... # ################ /proc/meminfo: memFree=1679144/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=84412 CPUtime=1122.01 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 28232 0 0 0 112013 188 0 0 25 0 1 0 249820657 86437888 20477 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 21103 20477 313 324 0 20172 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 84412 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 12296 /proc/meminfo: memFree=1679144/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=84488 CPUtime=1181.98 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 28244 0 0 0 118002 196 0 0 25 0 1 0 249820657 86515712 20479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 21122 20479 313 324 0 20191 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 84488 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.01 2/78 12296 /proc/meminfo: memFree=1674792/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=88696 CPUtime=1241.97 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29319 0 0 0 123991 206 0 0 25 0 1 0 249820657 90824704 21548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 22174 21548 313 324 0 21243 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 88696 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1674792/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=88664 CPUtime=1301.97 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29319 0 0 0 129981 216 0 0 25 0 1 0 249820657 90791936 21540 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 22166 21540 313 324 0 21235 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 88664 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1674856/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=88740 CPUtime=1361.94 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 29364 0 0 0 135968 226 0 0 25 0 1 0 249820657 90869760 21543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 22185 21543 313 324 0 21254 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 88740 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=93468 CPUtime=1421.94 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30619 0 0 0 141958 236 0 0 25 0 1 0 249820657 95711232 22741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 23367 22741 313 324 0 22436 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 93468 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1669992/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=93420 CPUtime=1481.91 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30632 0 0 0 147947 244 0 0 25 0 1 0 249820657 95662080 22729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 23355 22729 313 324 0 22424 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 93420 [startup+1542.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 12296 /proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=93524 CPUtime=1541.9 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30665 0 0 0 153936 254 0 0 25 0 1 0 249820657 95768576 22755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 23381 22755 313 324 0 22450 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 93524 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 12296 /proc/meminfo: memFree=1669928/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=93512 CPUtime=1601.88 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30669 0 0 0 159927 261 0 0 25 0 1 0 249820657 95756288 22752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 23378 22752 313 324 0 22447 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 93512 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1670056/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=93536 CPUtime=1661.87 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 30704 0 0 0 165917 270 0 0 25 0 1 0 249820657 95780864 22756 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 23384 22756 313 324 0 22453 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 93536 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98788 CPUtime=1721.86 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 32831 0 0 0 171905 281 0 0 25 0 1 0 249820657 101158912 24057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24697 24057 313 324 0 23766 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 98788 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1781.84 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33652 0 0 0 177897 287 0 0 25 0 1 0 249820657 101036032 24037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24037 313 324 0 23736 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 98668 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1791.44 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 178855 289 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 98668 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1794.64 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179175 289 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 98668 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1797.84 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179494 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 98668 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1798.64 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179574 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (KiB) 98668 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1799.44 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179654 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1799.44 Current children cumulated vsize (KiB) 98668 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1799.84 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179694 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1799.84 Current children cumulated vsize (KiB) 98668 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 12296 /proc/meminfo: memFree=1664872/2055920 swapFree=4146640/4192956 [pid=12293] ppid=12291 vsize=98668 CPUtime=1799.94 /proc/12293/stat : 12293 (bsolo3.0.16) R 12291 12293 12184 0 -1 4194304 33655 0 0 0 179704 290 0 0 25 0 1 0 249820657 101036032 24040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571695 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12293/statm: 24667 24040 313 324 0 23736 0 Current children cumulated CPU time (s) 1799.94 Current children cumulated vsize (KiB) 98668 Child status: 0 Real time (s): 1800.47 CPU time (s): 1800.02 CPU user time (s): 1797.1 CPU system time (s): 2.92455 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 98860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.1 system time used= 2.92455 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= 37493 runsolver used 1.2978 second user time and 3.98439 second system time The end
Begin job on node29 on Tue May 1 11:30:49 UTC 2007 IDJOB= 453945 IDBENCH= 48164 IDSOLVER= 163 FILE ID= node29/453945-1178019049 PBS_JOBID= 4728355 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-453945-1178019049 -o ROOT/results/node29/solver-453945-1178019049 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453945-1178019049/instance-453945-1178019049.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED= 98939299 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1760648 kB Buffers: 60856 kB Cached: 151844 kB SwapCached: 11224 kB Active: 125780 kB Inactive: 110380 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1760648 kB SwapTotal: 4192956 kB SwapFree: 4146640 kB Dirty: 6912 kB Writeback: 0 kB Mapped: 29768 kB Slab: 44600 kB Committed_AS: 4275252 kB PageTables: 1872 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 node29 on Tue May 1 12:00:50 UTC 2007