Trace number 433138

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)20581388 1800.11 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
MD5SUM76c0eb5e4f8bf9449c4bca06a067ffea
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15325184
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15325184
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 515495338528
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 515495338528
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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/433138-1177955380/instance-433138-1177955380.opb
0.00/0.00	c File size is 155872 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.01/0.02	c Highest Coefficient sum: 5.15495e+11
0.01/0.02	c Parsing was ok!!
0.01/0.02	c Total parsing time: 0.025 s
0.01/0.03	c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140
0.01/0.03	c Obj. Vars: 3100 (100 % of total variables)
0.01/0.06	c Pre-processing Time: 0.058 s
0.01/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.06	c        0   1387      140    15100  107     9160   30200      0      0 0.06
0.01/0.06	o 20581388	0.065
1800.00/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.60	c       17   1387      158    18267  115    11060   32974     18    257 0.07
1800.00/1800.60	c      117   1387      258    30353  117    11182   36272    118   1329 0.09
1800.00/1800.60	c      374   1387      515    83067  161    11967   39900    375   1789 0.21
1800.00/1800.60	c      850   1387      991   212599  214    12899   43891    851   1717 0.49
1800.00/1800.60	c     1664   1387     1805   276956  153    14244   48281   1665   2540 0.66
1800.00/1800.60	c     2985   1387     3126   528678  169    17202   53110   2986   2222 1.34
1800.00/1800.60	c     5066   1387     5207   957711  183    21423   58422   5067   1893 2.68
1800.00/1800.60	c     8289   1387     8430  1982348  235    28004   64265   8290   1037 7.99
1800.00/1800.60	c    13226   1387    13367  3170671  237    37794   70692  13227    968 13.66
1800.00/1800.60	c    20734   1387    20875  5739199  274    52826   77762  20735    838 24.73
1800.00/1800.60	c    32098   1387    32239  9332720  289    75450   85539  32099    772 41.54
1800.00/1800.60	c    49244   1387    49385 14674858  297   109800   94093  49245    523 94.03
1800.00/1800.60	c    75063   1387    75204 29733309  395   161395  103503  75064    328 228.53
1800.00/1800.60	c   113895   1387    20191  6964561  344    51387  113854  20051    300 378.45
1800.00/1800.60	c   172247   1387    78543 27085545  344   167962  125240  78403    261 659.26
1800.00/1800.60	c   259879   1387    51059 20441356  400   112912  137765  50919    238 1091.34
1800.00/1800.60	c   391431   1387    55045 10906852  198   121003  151542  54905    236 1658.09
1800.00/1800.60	c Caught signal: 15
1800.00/1800.60	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
1800.00/1800.60	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.00/1800.60	v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.00/1800.60	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1800.00/1800.60	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1800.00/1800.60	v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036
1800.00/1800.60	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353
1800.00/1800.60	v -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
1800.00/1800.60	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
1800.00/1800.60	v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
1800.00/1800.60	v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021
1800.00/1800.60	v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1800.00/1800.60	v -x2039 -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355
1800.00/1800.60	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672
1800.00/1800.60	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689
1800.00/1800.60	v -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69
1800.00/1800.60	v -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95
1800.00/1800.60	v -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116
1800.00/1800.60	v -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137
1800.00/1800.60	v -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158
1800.00/1800.60	v -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179
1800.00/1800.60	v -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200
1800.00/1800.60	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221
1800.00/1800.60	v -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242
1800.00/1800.60	v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263
1800.00/1800.60	v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284
1800.00/1800.60	v -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305
1800.00/1800.60	v -x306 -x307 -x308 -x309 -x310 x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326
1800.00/1800.60	v -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
1800.00/1800.60	v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.00/1800.60	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.00/1800.60	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
1800.00/1800.60	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.00/1800.60	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.00/1800.60	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.00/1800.60	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.00/1800.60	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.00/1800.60	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.00/1800.60	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.00/1800.60	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.00/1800.60	v -x609 -x610 x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.00/1800.60	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.00/1800.60	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.00/1800.60	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722
1800.00/1800.60	v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
1800.00/1800.60	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764
1800.00/1800.60	v -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785
1800.00/1800.60	v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806
1800.00/1800.60	v -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
1800.00/1800.60	v -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848
1800.00/1800.60	v -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869
1800.00/1800.60	v -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
1800.00/1800.60	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911
1800.00/1800.60	v x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932
1800.00/1800.60	v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953
1800.00/1800.60	v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974
1800.00/1800.60	v -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995
1800.00/1800.60	v -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013
1800.00/1800.60	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.00/1800.60	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.00/1800.60	v -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094
1800.00/1800.60	v -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
1800.00/1800.60	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.00/1800.60	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145
1800.00/1800.60	v -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162
1800.00/1800.60	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.00/1800.60	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196
1800.00/1800.60	v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.00/1800.60	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230
1800.00/1800.60	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247
1800.00/1800.60	v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264
1800.00/1800.60	v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281
1800.00/1800.60	v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298
1800.00/1800.60	v -x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1800.00/1800.60	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.00/1800.60	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1800.00/1800.60	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1800.00/1800.60	v -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
1800.00/1800.60	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431
1800.00/1800.60	v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448
1800.00/1800.60	v -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465
1800.00/1800.60	v -x1466 -x1467 -x1468 -x1469 -x1470 x1471 x1472 x1473 x1474 x1475 x1476 x1477 x1478 x1479 x1480 -x1481 -x1482 -x1483 -x1484
1800.00/1800.60	v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.00/1800.60	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.00/1800.60	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535
1800.00/1800.60	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.00/1800.60	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.00/1800.60	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.00/1800.60	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.00/1800.60	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.00/1800.60	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.00/1800.60	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.00/1800.60	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.00/1800.60	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718
1800.00/1800.60	v -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735
1800.00/1800.60	v -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752
1800.00/1800.60	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769
1800.00/1800.60	v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786
1800.00/1800.60	v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803
1800.00/1800.60	v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.00/1800.60	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.00/1800.60	v -x1839 -x1840 -x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1800.00/1800.60	v -x1857 -x1858 -x1859 -x1860 x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 x1871 x1872 -x1873 -x1874 -x1875
1800.00/1800.60	v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892
1800.00/1800.60	v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1800.00/1800.60	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1800.00/1800.60	v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943
1800.00/1800.60	v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
1800.00/1800.60	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977
1800.00/1800.60	v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.00/1800.60	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041
1800.00/1800.60	v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058
1800.00/1800.60	v -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075
1800.00/1800.60	v -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092
1800.00/1800.60	v -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 x2104 x2105 x2106 x2107 x2108 x2109 x2110 -x2111
1800.00/1800.60	v -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128
1800.00/1800.60	v -x2129 -x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 x2143 -x2144 -x2145 -x2146
1800.00/1800.60	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163
1800.00/1800.60	v -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180
1800.00/1800.60	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197
1800.00/1800.60	v -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214
1800.00/1800.60	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231
1800.00/1800.60	v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248
1800.00/1800.60	v -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265
1800.00/1800.60	v -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282
1800.00/1800.60	v -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.00/1800.60	v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.00/1800.60	v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
1800.00/1800.60	v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
1800.00/1800.60	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397
1800.00/1800.60	v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 x2412 -x2413 -x2414
1800.00/1800.60	v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431
1800.00/1800.60	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
1800.00/1800.60	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466
1800.00/1800.60	v x2467 x2468 x2469 x2470 x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1800.00/1800.60	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1800.00/1800.60	v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518
1800.00/1800.60	v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535
1800.00/1800.60	v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552
1800.00/1800.60	v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
1800.00/1800.60	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586
1800.00/1800.60	v -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603
1800.00/1800.60	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620
1800.00/1800.60	v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
1800.00/1800.60	v -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.00/1800.60	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701
1800.00/1800.60	v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718
1800.00/1800.60	v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
1800.00/1800.60	v -x2736 -x2737 -x2738 -x2739 -x2740 x2741 x2742 x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753
1800.00/1800.60	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1800.00/1800.60	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787
1800.00/1800.60	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804
1800.00/1800.60	v -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821
1800.00/1800.60	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838
1800.00/1800.60	v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
1800.00/1800.60	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872
1800.00/1800.60	v -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889
1800.00/1800.60	v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
1800.00/1800.60	v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923
1800.00/1800.60	v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
1800.00/1800.60	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957
1800.00/1800.60	v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974
1800.00/1800.60	v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991
1800.00/1800.60	v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3013 -x3024 -x3035 -x3046 -x3057 x3068
1800.00/1800.60	v -x3079 x3090 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
1800.00/1800.60	v -x3020 x3021 x3022 -x3023 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3036 -x3037 -x3038 -x3039
1800.00/1800.60	v -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3047 -x3048 -x3049 x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3058 -x3059
1800.00/1800.60	v -x3060 x3061 x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078
1800.00/1800.60	v -x3080 x3081 x3082 x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3091 x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098
1800.00/1800.60	v -x3099 -x3100
1800.00/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.61	c   17   472858  34502   586701   136472 24614866 136332    262 1800.01
1800.00/1800.61	c Objective: 20581388
1800.00/1800.61	s SATISFIABLE
1800.00/1800.61	c Total time: 1800.01 s

Verifier Data (download as text)

OK	20581388

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-433138-1177955380 -o ROOT/results/node18/solver-433138-1177955380 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 4182
/proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=11892 CPUtime=0
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243455371 12177408 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 2973 333 279 324 0 2004 0

[startup+0.0235229 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 4182
/proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=12336 CPUtime=0.01
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 489 0 0 0 1 0 0 0 18 0 1 0 243455371 12632064 459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 3084 460 309 324 0 2115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12336

[startup+0.101531 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 4182
/proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=5188 CPUtime=0.09
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 737 0 0 0 9 0 0 0 18 0 1 0 243455371 5312512 665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 1297 666 310 324 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5188

[startup+0.30155 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 4182
/proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=6352 CPUtime=0.29
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 1032 0 0 0 29 0 0 0 19 0 1 0 243455371 6504448 960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 1588 960 311 324 0 658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6352

[startup+0.701588 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 4182
/proc/meminfo: memFree=1831232/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=8684 CPUtime=0.69
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 1619 0 0 0 68 1 0 0 22 0 1 0 243455371 8892416 1547 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 2171 1547 311 324 0 1241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8684

[startup+1.50167 s]
/proc/loadavg: 0.92 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1824504/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=12560 CPUtime=1.49
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 2601 0 0 0 148 1 0 0 25 0 1 0 243455371 12861440 2529 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 3140 2529 311 324 0 2210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12560

[startup+3.10182 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1818872/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=19012 CPUtime=3.09
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 4208 0 0 0 307 2 0 0 25 0 1 0 243455371 19468288 4136 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 4753 4136 311 324 0 3823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19012

[startup+6.30113 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1809528/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=26844 CPUtime=6.29
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 6163 0 0 0 626 3 0 0 25 0 1 0 243455371 27488256 6091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 6711 6091 311 324 0 5781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26844

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1791992/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=44232 CPUtime=12.68
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 10519 0 0 0 1264 4 0 0 25 0 1 0 243455371 45293568 10447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 11058 10447 311 324 0 10128 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44232

[startup+25.502 s]
/proc/loadavg: 0.95 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1753016/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=82608 CPUtime=25.48
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 20085 0 0 0 2540 8 0 0 25 0 1 0 243455371 84590592 20013 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 20652 20013 311 324 0 19722 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 82608

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1682808/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=152656 CPUtime=51.07
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 37604 0 0 0 5089 18 0 0 25 0 1 0 243455371 156319744 37532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 38164 37532 311 324 0 37234 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152656

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1620408/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=214116 CPUtime=102.26
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 52972 0 0 0 10195 31 0 0 25 0 1 0 243455371 219254784 52900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 53529 52900 311 324 0 52599 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 214116

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1520632/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=314176 CPUtime=162.24
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 77994 0 0 0 16179 45 0 0 25 0 1 0 243455371 321716224 77922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 78544 77922 311 324 0 77614 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 314176

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1450104/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=383900 CPUtime=222.23
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 95419 0 0 0 22168 55 0 0 25 0 1 0 243455371 393113600 95347 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 95975 95347 311 324 0 95045 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 383900

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1371448/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=463272 CPUtime=282.21
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 115269 0 0 0 28152 69 0 0 25 0 1 0 243455371 474390528 115197 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 115818 115197 311 324 0 114888 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 463272

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1312504/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=521616 CPUtime=342.19
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 129843 0 0 0 34139 80 0 0 25 0 1 0 243455371 534134784 129771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 130404 129771 311 324 0 129474 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 521616

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1302264/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=531380 CPUtime=402.17
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 40135 82 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 132845 132208 311 324 0 131915 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 531380

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1302264/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=531380 CPUtime=462.16
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 46133 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 132845 132208 311 324 0 131915 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 531380

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1302328/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=531380 CPUtime=522.14
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 52131 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 132845 132208 311 324 0 131915 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 531380

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4183
/proc/meminfo: memFree=1302328/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=531380 CPUtime=582.12
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 58129 83 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 132845 132208 311 324 0 131915 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 531380

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 3/78 4183
/proc/meminfo: memFree=1302456/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=531380 CPUtime=642.11
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 132384 0 0 0 64127 84 0 0 25 0 1 0 243455371 544133120 132208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 132845 132208 311 324 0 131915 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 531380


################
# More data... #
################

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1291832/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=542312 CPUtime=821.97
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 135137 0 0 0 82108 89 0 0 25 0 1 0 243455371 555327488 134961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 135578 134961 311 324 0 134648 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 542312

[startup+882.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1254968/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=578492 CPUtime=881.95
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 144174 0 0 0 88099 96 0 0 25 0 1 0 243455371 592375808 143998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 144623 143998 311 324 0 143693 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 578492

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236856/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=941.93
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 94094 99 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 596324

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1001.92
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 100092 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 596324

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1061.9
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 106090 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 596324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1121.88
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 112088 100 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294814 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 596324

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1181.87
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 118086 101 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 596324

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237112/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1241.85
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 124084 101 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 596324

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237176/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1301.84
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 130082 102 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 596324

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237112/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596324 CPUtime=1361.81
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148754 0 0 0 136079 102 0 0 25 0 1 0 243455371 610635776 148453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149081 148453 311 324 0 148151 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 596324

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596344 CPUtime=1421.81
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148760 0 0 0 142078 103 0 0 25 0 1 0 243455371 610656256 148459 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149086 148459 311 324 0 148156 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 596344

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596368 CPUtime=1481.78
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148766 0 0 0 148075 103 0 0 25 0 1 0 243455371 610680832 148465 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149092 148465 311 324 0 148162 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 596368

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596372 CPUtime=1541.77
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 154073 104 0 0 25 0 1 0 243455371 610684928 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149093 148466 311 324 0 148163 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 596372

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1237048/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596340 CPUtime=1601.75
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 160071 104 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149085 148466 311 324 0 148155 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 596340

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596340 CPUtime=1661.73
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 166069 104 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149085 148466 311 324 0 148155 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 596340

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236984/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596340 CPUtime=1721.72
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 172067 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149085 148466 311 324 0 148155 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 596340

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596340 CPUtime=1781.7
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 178065 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149085 148466 311 324 0 148155 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 596340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 4381
/proc/meminfo: memFree=1236920/2055920 swapFree=4147196/4192956
[pid=4182] ppid=4180 vsize=596340 CPUtime=1800
/proc/4182/stat : 4182 (bsolo3.0.17) R 4180 4182 2742 0 -1 4194304 148767 0 0 0 179895 105 0 0 25 0 1 0 243455371 610652160 148466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4182/statm: 149085 148466 311 324 0 148155 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 596340

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.7
CPU time (s): 1800.11
CPU user time (s): 1798.96
CPU system time (s): 1.14782
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 596824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.14783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148771
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= 25003

runsolver used 1.48777 second user time and 3.73943 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Mon Apr 30 17:49:40 UTC 2007

IDJOB= 433138
IDBENCH= 2290
IDSOLVER= 199
FILE ID= node18/433138-1177955380

PBS_JOBID= 4727671

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-433138-1177955380 -o ROOT/results/node18/solver-433138-1177955380 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433138-1177955380/instance-433138-1177955380.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  76c0eb5e4f8bf9449c4bca06a067ffea

RANDOM SEED= 107911708

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.234
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.234
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:       1831648 kB
Buffers:         36328 kB
Cached:          97856 kB
SwapCached:      14328 kB
Active:          57636 kB
Inactive:       100204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1831648 kB
SwapTotal:     4192956 kB
SwapFree:      4147196 kB
Dirty:            6760 kB
Writeback:           0 kB
Mapped:          30844 kB
Slab:            51960 kB
Committed_AS:  5537872 kB
PageTables:       1780 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 node18 on Mon Apr 30 18:19:43 UTC 2007