Trace number 1878478

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT-40 1798.23 1798.94

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1794.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
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 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning
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 HOME/instance-1878478-1245167719.opb
0.00/0.00	c File size is 1935391 bytes.
0.19/0.23	c Highest Coefficient sum: 1150
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.237 s
0.19/0.26	c Var: 1150 Constr: 80035 80035/0/0 Lit: 160070 Watch. Lit: 160070
0.19/0.26	c Obj. Vars: 1150 (100 % of total variables)
2.29/2.31	c Pre-processing Time: 2.315 s
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c        0   1150    80035   160070    2   160070   26678      0      0 2.31
2.29/2.32	c Switching off lower bounding mode.
2.29/2.33	o -37
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   1150    80036   161220    2   160109   27678      1      0 2.33
2.29/2.35	o -38
22.38/22.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.38/22.45	c       27   1150    80064   192329    2   160203   27678     29     11 2.35
22.38/22.45	c      127   1150    80164   303154    3   160403   30446    129     52 2.43
22.38/22.45	c      378   1150    80415   581365    7   160905   33491    380    143 2.64
22.38/22.45	c      853   1150    80890  1107856   13   161855   36841    855    282 3.02
22.38/22.45	c     1666   1150    81703  2008402   24   163481   40526   1668    438 3.80
22.38/22.45	c     2986   1150    83023  3470367   41   166121   44579   2988    586 5.09
22.38/22.45	c     5067   1150    85104  5776623   67   170283   49037   5069    657 7.70
22.38/22.45	c     8291   1150    88328  9349312  105   176731   53941   8293    633 13.09
22.38/22.45	c    13227   1150    93264 14819805  158   186603   59336  13229    593 22.29
22.38/22.45	o -39
640.44/640.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
640.44/640.77	c    13289   1150    93327 14889701  159   186768   27678  13292    591 22.45
640.44/640.77	c    13389   1150    93427 15000394  160   186968   30446  13392    592 22.59
640.44/640.77	c    13639   1150    93677 15276983  163   187468   33491  13642    595 22.90
640.44/640.77	c    14115   1150    94153 15803881  167   188420   36841  14118    602 23.42
640.44/640.77	c    14929   1150    94967 16705012  175   190048   40526  14932    611 24.43
640.44/640.77	c    16250   1150    96288 18167132  188   192690   44579  16253    614 26.43
640.44/640.77	c    18331   1150    98369 20470429  208   196852   49037  18334    610 30.05
640.44/640.77	c    21554   1150   101592 24039559  236   203298   53941  21557    607 35.48
640.44/640.77	c    26490   1150   106528 29504143  276   213170   59336  26493    532 49.79
640.44/640.77	c    33996   1150   114034 37815966  331   228182   65270  33999    513 66.22
640.44/640.77	c    45357   1150   125395 50388075  401   250904   71798  45360    452 100.22
640.44/640.77	c    62501   1150   142539 69362574  486   285192   78978  62504    246 253.05
640.44/640.77	c    88320   1150   100300 22597676  225   200639   86876  20265    227 387.56
640.44/640.77	c   127152   1150   139132 65573411  471   278303   95564  59097    211 599.92
640.44/640.77	o -40
1797.98/1798.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.72	c   138921   1150   150902 78599904  520   301883   27678  70867    216 640.52
1797.98/1798.72	c   139021   1150    92058 13466113  146   184156   30446  12023    193 719.49
1797.98/1798.72	c   139271   1150    92308 13742693  148   184656   33491  12273    193 720.24
1797.98/1798.72	c   139746   1150    92783 14268203  153   185606   36841  12748    193 720.72
1797.98/1798.72	c   140559   1150    93596 15166981  162   187232   40526  13561    194 721.61
1797.98/1798.72	c   141879   1150    94916 16627751  175   189872   44579  14881    196 723.22
1797.98/1798.72	c   143961   1150    96998 18931587  195   194036   49037  16963    197 727.28
1797.98/1798.72	c   147185   1150   100222 22496247  224   200484   53941  20187    200 732.31
1797.98/1798.72	c   152121   1150   105158 27957627  265   210356   59336  25123    202 750.37
1797.98/1798.72	c   159627   1150   112664 36260050  321   225368   65270  32629    205 775.02
1797.98/1798.72	c   170988   1150   124025 48806192  393   248090   71798  43990    208 820.04
1797.98/1798.72	c   188132   1150   141169 67759183  479   282378   78978  61134    211 891.31
1797.98/1798.72	c   213952   1150    98946 21078617  213   197932   86876  18911    212 1007.95
1797.98/1798.72	c   252784   1150   137778 64033257  464   275596   95564  57743    207 1219.65
1797.98/1798.72	c   311138   1150   111764 35249139  315   223568  105121  31729    186 1666.55
1797.98/1798.72	c Resources Exceeded
1797.98/1798.72	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1797.98/1798.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.73	c   39   343505  29962   381542   144131 71038425  64096    191 1798.02
1797.98/1798.73	c Objective: -40
1797.98/1798.73	s SATISFIABLE
1797.98/1798.73	c Total time: 1798.02 s

Verifier Data 

OK	-40

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878478-1245167719/watcher-1878478-1245167719 -o /tmp/evaluation-result-1878478-1245167719/solver-1878478-1245167719 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878478-1245167719.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13747
/proc/meminfo: memFree=1681800/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=12616 CPUtime=0
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 269 0 0 0 0 0 0 0 18 0 1 0 69495317 12918784 253 1992294400 134512640 137136520 4294956256 18446744073709551615 136501996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 3154 253 176 640 0 2037 0

[startup+0.0367321 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13747
/proc/meminfo: memFree=1681800/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=13716 CPUtime=0.03
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 591 0 0 0 3 0 0 0 18 0 1 0 69495317 14045184 575 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 3429 575 236 640 0 2312 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13716

[startup+0.10174 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13747
/proc/meminfo: memFree=1681800/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=15916 CPUtime=0.09
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 1264 0 0 0 9 0 0 0 18 0 1 0 69495317 16297984 1248 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 3979 1248 367 640 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15916

[startup+0.301765 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13747
/proc/meminfo: memFree=1681800/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=22400 CPUtime=0.29
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 3647 0 0 0 28 1 0 0 19 0 1 0 69495317 22937600 3158 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 5600 3158 188 640 0 4956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22400

[startup+0.701816 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 13747
/proc/meminfo: memFree=1681800/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=24908 CPUtime=0.69
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 4297 0 0 0 68 1 0 0 23 0 1 0 69495317 25505792 3808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 6227 3808 190 640 0 5583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24908

[startup+1.50192 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13748
/proc/meminfo: memFree=1667200/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=24908 CPUtime=1.49
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 4297 0 0 0 146 3 0 0 25 0 1 0 69495317 25505792 3808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 6227 3808 190 640 0 5583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24908

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13748
/proc/meminfo: memFree=1667072/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=35908 CPUtime=3.09
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 8242 0 0 0 302 7 0 0 25 0 1 0 69495317 36769792 6557 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 8977 6557 196 640 0 8333 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35908

[startup+6.30154 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13748
/proc/meminfo: memFree=1622208/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=81016 CPUtime=6.29
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 19525 0 0 0 618 11 0 0 25 0 1 0 69495317 82960384 17840 1992294400 134512640 137136520 4294956256 18446744073709551615 134617013 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 20254 17845 196 640 0 19610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81016

[startup+12.7024 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13748
/proc/meminfo: memFree=1558848/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=137480 CPUtime=12.69
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 33629 0 0 0 1251 18 0 0 25 0 1 0 69495317 140779520 31944 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 34370 31944 196 640 0 33726 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 137480

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=1449344/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=245252 CPUtime=25.48
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 60590 0 0 0 2519 29 0 0 25 0 1 0 69495317 251138048 58905 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 61313 58905 196 640 0 60669 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245252

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=1288256/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=407204 CPUtime=51.07
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 101058 0 0 0 5058 49 0 0 25 0 1 0 69495317 416976896 99373 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 101801 99373 196 640 0 101157 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 407204

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=1017600/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=673160 CPUtime=102.26
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 167571 0 0 0 10143 83 0 0 25 0 1 0 69495317 689315840 165886 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 168290 165886 196 640 0 167646 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 673160

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=913600/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=778524 CPUtime=162.23
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 193891 0 0 0 16124 99 0 0 25 0 1 0 69495317 797208576 192206 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 194631 192206 196 640 0 193987 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 778524

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=824384/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=866176 CPUtime=222.22
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 215817 0 0 0 22110 112 0 0 25 0 1 0 69495317 886964224 214132 1992294400 134512640 137136520 4294956256 18446744073709551615 136500595 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 216544 214132 196 640 0 215900 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 866176

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=643968/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1048244 CPUtime=282.2
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 261328 0 0 0 28081 139 0 0 25 0 1 0 69495317 1073401856 259643 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 262061 259643 196 640 0 261417 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1048244

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13750
/proc/meminfo: memFree=531840/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=342.17
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 34063 154 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1157740

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13756
/proc/meminfo: memFree=531840/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=402.15
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 40056 159 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 1157740

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13756
/proc/meminfo: memFree=531840/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=462.12
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 46050 162 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1157740

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13756
/proc/meminfo: memFree=531840/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=522.08
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 52044 164 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1157740

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13756
/proc/meminfo: memFree=531904/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=582.06
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 58039 167 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 1157740

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 13756
/proc/meminfo: memFree=531904/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1157740 CPUtime=642.04
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 288777 0 0 0 64032 172 0 0 25 0 1 0 69495317 1185525760 287013 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289435 287013 196 640 0 288791 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 1157740

[startup+702.302 s]

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

/proc/meminfo: memFree=532928/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1156760 CPUtime=1061.86
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 289456 0 0 0 105990 196 0 0 25 0 1 0 69495317 1184522240 286755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289190 286755 196 640 0 288546 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1156760

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=532864/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1156760 CPUtime=1121.84
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 289456 0 0 0 111985 199 0 0 25 0 1 0 69495317 1184522240 286755 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289190 286755 196 640 0 288546 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1156760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=532864/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1156760 CPUtime=1181.81
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 289456 0 0 0 117980 201 0 0 25 0 1 0 69495317 1184522240 286755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289190 286755 196 640 0 288546 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1156760

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=532672/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1156760 CPUtime=1241.79
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 289456 0 0 0 123976 203 0 0 25 0 1 0 69495317 1184522240 286755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289190 286755 196 640 0 288546 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1156760

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=532608/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1156760 CPUtime=1301.77
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 289456 0 0 0 129971 206 0 0 25 0 1 0 69495317 1184522240 286755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 289190 286755 196 640 0 288546 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1156760

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=457088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1232816 CPUtime=1361.75
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 308472 0 0 0 135956 219 0 0 25 0 1 0 69495317 1262403584 305771 1992294400 134512640 137136520 4294956256 18446744073709551615 136295678 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 308204 305771 196 640 0 307560 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 1232816

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=349504/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1339908 CPUtime=1421.74
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 335250 0 0 0 141938 236 0 0 25 0 1 0 69495317 1372065792 332549 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 334977 332549 196 640 0 334333 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1339908

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297280/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1481.71
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 147927 244 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1391560

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297344/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1541.68
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 153924 244 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1391560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297280/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1601.66
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 159920 246 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1391560

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297280/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1661.64
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 165914 250 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543939 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1391560

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297216/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1721.61
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 171907 254 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 1391560

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1781.59
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 177903 256 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1391560

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1791.19
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 178862 257 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 1391560

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1794.39
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 179182 257 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 1391560

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1795.98
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 179341 257 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1795.98
Current children cumulated vsize (KiB) 1391560

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1797.58
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 179501 257 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 1391560

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=1391560 CPUtime=1797.98
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194304 348277 0 0 0 179541 257 0 0 25 0 1 0 69495317 1424957440 345481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13747/statm: 347890 345481 196 640 0 347246 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1391560

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 0.92 2/67 13756
/proc/meminfo: memFree=297088/2055920 swapFree=4192956/4192956
[pid=13747] ppid=13745 vsize=0 CPUtime=1798.19
/proc/13747/stat : 13747 (bsolo) R 13745 13747 13379 0 -1 4194308 348279 0 0 0 179544 275 0 0 18 0 1 0 69495317 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13747/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.94
CPU time (s): 1798.23
CPU user time (s): 1795.44
CPU system time (s): 2.79057
CPU usage (%): 99.9606
Max. virtual memory (cumulated for all children) (KiB): 1391560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.44
system time used= 2.79058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348279
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= 4
involuntary context switches= 3264

runsolver used 1.84972 second user time and 4.69928 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-16 17:55:19
IDJOB=1878478
IDBENCH=2262
IDSOLVER=700
FILE ID=node40/1878478-1245167719
PBS_JOBID= 9363807
Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878478-1245167719/watcher-1878478-1245167719 -o /tmp/evaluation-result-1878478-1245167719/solver-1878478-1245167719 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878478-1245167719.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=614292111

node40.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.216
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.216
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:       1682280 kB
Buffers:         46884 kB
Cached:         244972 kB
SwapCached:          0 kB
Active:         143272 kB
Inactive:       163236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682280 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            5828 kB
Writeback:           0 kB
Mapped:          24708 kB
Slab:            52932 kB
Committed_AS:    54712 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878478-1245167719.opb

Free space on /tmp at the end= 66556 MiB
End job on node40 at 2009-06-16 18:25:18