Trace number 1877047

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.1SAT-40 1798.23 1798.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
MD5SUMe81d6b8e8ff8ec031773b7b65d16ea78
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 benchmark1795.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -50
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80258
Number of constraints which are clauses80258
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: Cardinality Constraint 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-1877047-1245167775.opb
0.00/0.00	c File size is 1941373 bytes.
0.19/0.25	c Highest Coefficient sum: 1150
0.19/0.25	c Parsing was ok!!
0.19/0.25	c Total parsing time: 0.254 s
0.19/0.28	c Var: 1150 Constr: 80258 80258/0/0 Lit: 160516 Watch. Lit: 160516
0.19/0.28	c Obj. Vars: 1150 (100 % of total variables)
2.29/2.34	c Pre-processing Time: 2.34 s
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   1150    80258   160516    2   160516   26752      0      0 2.34
2.29/2.35	c Switching off lower bounding mode.
2.29/2.36	o -36
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        0   1150    80259   161666    2   160554   27752      1      0 2.36
2.29/2.36	o -37
2.49/2.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.58	c        3   1150    80263   166151    2   160599   27752      5      1 2.37
2.49/2.58	c      105   1150    80377   292503    3   160827   30528    119     41 2.54
2.49/2.58	o -38
138.35/138.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.35/138.46	c      130   1150    80405   323598    4   160921   27752    147     50 2.58
138.35/138.46	c      230   1150    80514   444368    5   161139   30528    256     83 2.75
138.35/138.46	c      480   1150    80787   746845    9   161685   33581    529    149 3.22
138.35/138.46	c      955   1150    81300  1315179   16   162711   36940   1042    231 4.13
138.35/138.46	c     1769   1150    82211  2323769   28   164533   40635   1953    303 5.82
138.35/138.46	c     3089   1150    83667  3936852   47   167445   44699   3409    349 8.84
138.35/138.46	c     5170   1150    85942  6457363   75   171995   49169   5684    351 14.71
138.35/138.46	c     8393   1150    89547 10449332  116   179205   54086   9289    349 24.00
138.35/138.46	c    13330   1150    95015 16505018  173   190141   59495  14757    331 40.26
138.35/138.46	c    20837   1150   103429 25819066  249   206969   65445  23171    267 77.87
138.35/138.46	c    32198   1150   115881 39612851  341   231909   71990  35623    232 138.26
138.35/138.46	o -39
142.05/142.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
142.05/142.19	c    32214   1150   115899 39632852  341   231984   27752  35641    232 138.42
142.05/142.19	c    32314   1150    92605 13837891  149   185285   30528  12347    228 141.69
142.05/142.19	o -40
1797.94/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.48	c    32487   1150    92793 14046053  151   185701   27752  12535    228 142.15
1797.94/1798.48	c    32587   1150    92901 14165495  152   185917   30528  12643    228 142.48
1797.94/1798.48	c    32837   1150    93179 14472856  155   186473   33581  12921    229 143.12
1797.94/1798.48	c    33312   1150    93711 15060397  160   187537   36940  13453    230 144.31
1797.94/1798.48	c    34125   1150    94611 16054974  169   189337   40635  14353    232 146.52
1797.94/1798.48	c    35445   1150    96084 17682836  184   192283   44699  15826    233 151.73
1797.94/1798.48	c    37528   1150    98380 20220749  205   196912   49169  18122    232 161.26
1797.94/1798.48	c    40751   1150   102057 24282884  237   204266   54086  21799    230 177.02
1797.94/1798.48	c    45687   1150   107572 30378050  282   215296   59495  27314    228 199.85
1797.94/1798.48	c    53193   1150   116037 39722322  342   232226   65445  35779    225 236.02
1797.94/1798.48	c    64554   1150   128817 53845892  418   257786   71990  48559    211 305.90
1797.94/1798.48	c    81699   1150   148377 75453148  508   296944   79190  68119    196 415.43
1797.94/1798.49	c   107518   1150   110570 33626240  304   221218   87110  30312    158 678.42
1797.94/1798.49	c   146350   1150   154743 82318775  531   309804   95822  74485    147 988.96
1797.94/1798.49	c Resources Exceeded
1797.94/1798.49	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.94/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.49	c   30   204440  19195   229188   137480 63239965  57222    113 1798.03
1797.94/1798.49	c Objective: -40
1797.94/1798.49	s SATISFIABLE
1797.94/1798.49	c Total time: 1798.03 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-1877047-1245167775/watcher-1877047-1245167775 -o /tmp/evaluation-result-1877047-1245167775/solver-1877047-1245167775 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877047-1245167775.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 1.00 3/64 2913
/proc/meminfo: memFree=1919472/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=12620 CPUtime=0
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 184377662 12922880 246 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 3155 247 175 640 0 2037 0

[startup+0.01256 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2913
/proc/meminfo: memFree=1919472/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=12896 CPUtime=0
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 337 0 0 0 0 0 0 0 18 0 1 0 184377662 13205504 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 3224 323 189 640 0 2106 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12896

[startup+0.101568 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2913
/proc/meminfo: memFree=1919472/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=15644 CPUtime=0.09
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 1191 0 0 0 9 0 0 0 18 0 1 0 184377662 16019456 1175 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 3911 1176 353 640 0 2793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15644

[startup+0.301587 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2913
/proc/meminfo: memFree=1919472/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=22388 CPUtime=0.29
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 3656 0 0 0 28 1 0 0 19 0 1 0 184377662 22925312 3166 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 5597 3166 188 640 0 4953 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22388

[startup+0.701625 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2913
/proc/meminfo: memFree=1919472/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=24908 CPUtime=0.69
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 4308 0 0 0 67 2 0 0 22 0 1 0 184377662 25505792 3818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 6227 3818 190 640 0 5583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24908

[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1904872/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=24908 CPUtime=1.49
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 4308 0 0 0 144 5 0 0 25 0 1 0 184377662 25505792 3818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 6227 3818 190 640 0 5583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24908

[startup+3.10185 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1904552/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=29048 CPUtime=3.09
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 6532 0 0 0 299 10 0 0 25 0 1 0 184377662 29745152 4830 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 7262 4830 196 640 0 6618 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29048

[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1882280/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=53912 CPUtime=6.29
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 12775 0 0 0 616 13 0 0 25 0 1 0 184377662 55205888 11073 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 13478 11073 196 640 0 12834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53912

[startup+12.7028 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1839272/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=93784 CPUtime=12.68
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 22735 0 0 0 1250 18 0 0 25 0 1 0 184377662 96034816 21033 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 23446 21033 196 640 0 22802 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93784

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1767720/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=163308 CPUtime=25.49
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 40111 0 0 0 2522 27 0 0 25 0 1 0 184377662 167227392 38409 1992294400 134512640 137136520 4294956256 18446744073709551615 134574336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 40827 38409 197 640 0 40183 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 163308

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1653416/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=278216 CPUtime=51.07
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 68842 0 0 0 5064 43 0 0 25 0 1 0 184377662 284893184 67140 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 69554 67140 197 640 0 68910 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 278216

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1494120/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=434896 CPUtime=102.26
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 108019 0 0 0 10159 67 0 0 25 0 1 0 184377662 445333504 106317 1992294400 134512640 137136520 4294956256 18446744073709551615 134544396 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 108724 106317 197 640 0 108080 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 434896

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1400680/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=527828 CPUtime=162.24
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 131276 0 0 0 16140 84 0 0 25 0 1 0 184377662 540495872 129539 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 131957 129539 197 640 0 131313 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 527828

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1400680/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=527828 CPUtime=222.23
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 131276 0 0 0 22136 87 0 0 25 0 1 0 184377662 540495872 129539 1992294400 134512640 137136520 4294956256 18446744073709551615 134572511 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 131957 129539 197 640 0 131313 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 527828

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2914
/proc/meminfo: memFree=1266408/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=664536 CPUtime=282.21
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 165440 0 0 0 28113 108 0 0 25 0 1 0 184377662 680484864 163703 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 166134 163703 197 640 0 165490 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 664536

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=1109608/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=818876 CPUtime=342.19
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 204050 0 0 0 34089 130 0 0 25 0 1 0 184377662 838529024 202313 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 204719 202313 197 640 0 204075 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 818876

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=968872/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=960048 CPUtime=402.18
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 239341 0 0 0 40066 152 0 0 25 0 1 0 184377662 983089152 237604 1992294400 134512640 137136520 4294956256 18446744073709551615 134544080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 240012 237604 197 640 0 239368 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 960048

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=816808/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1111216 CPUtime=462.16
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 277109 0 0 0 46042 174 0 0 25 0 1 0 184377662 1137885184 275372 1992294400 134512640 137136520 4294956256 18446744073709551615 136502112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 277804 275372 197 640 0 277160 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1111216

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=768104/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1158884 CPUtime=522.15
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 289131 0 0 0 52034 181 0 0 25 0 1 0 184377662 1186697216 287315 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 289721 287315 197 640 0 289077 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1158884

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=768104/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1158884 CPUtime=582.12
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 289131 0 0 0 58030 182 0 0 25 0 1 0 184377662 1186697216 287315 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 289721 287315 197 640 0 289077 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1158884

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=768104/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1158884 CPUtime=642.12
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 289131 0 0 0 64027 185 0 0 25 0 1 0 184377662 1186697216 287315 1992294400 134512640 137136520 4294956256 18446744073709551615 134543884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 289721 287315 197 640 0 289077 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1158884

[startup+702.302 s]

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

/proc/meminfo: memFree=571688/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1355780 CPUtime=1122
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 338329 0 0 0 111971 229 0 0 25 0 1 0 184377662 1388318720 336513 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 338945 336513 197 640 0 338301 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1355780

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534760/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1181.98
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 117963 235 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1391480

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534760/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1241.97
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 123960 237 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134598513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1391480

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534760/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1301.96
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 129958 238 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1391480

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534760/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1361.94
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 135955 239 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1391480

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534696/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1421.92
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 141952 240 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1391480

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534632/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1481.91
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 147950 241 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1391480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534696/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1541.9
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 153947 243 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1391480

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534696/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1601.88
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 159945 243 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1391480

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534632/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1661.86
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 165942 244 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1391480

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1721.85
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 171940 245 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1391480

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534504/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1781.83
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 177938 245 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1391480

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1791.44
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 178898 246 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 1391480

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1794.64
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 179218 246 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 1391480

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1796.23
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 179377 246 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 1391480

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1797.03
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 179457 246 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 1391480

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=1391480 CPUtime=1797.83
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194304 347371 0 0 0 179537 246 0 0 25 0 1 0 184377662 1424875520 345460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2913/statm: 347870 345460 197 640 0 347226 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1391480

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=0 CPUtime=1798.03
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194308 347373 0 0 0 179556 247 0 0 17 0 1 0 184377662 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2920
/proc/meminfo: memFree=534568/2055920 swapFree=4181652/4192956
[pid=2913] ppid=2911 vsize=0 CPUtime=1798.13
/proc/2913/stat : 2913 (bsolo) R 2911 2913 2588 0 -1 4194308 347373 0 0 0 179556 257 0 0 17 0 1 0 184377662 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2913/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.69
CPU time (s): 1798.23
CPU user time (s): 1795.57
CPU system time (s): 2.65959
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1391480

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

runsolver used 1.42878 second user time and 3.87741 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 17:56:15
IDJOB=1877047
IDBENCH=2263
IDSOLVER=699
FILE ID=node18/1877047-1245167775
PBS_JOBID= 9363849
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= e81d6b8e8ff8ec031773b7b65d16ea78
RANDOM SEED=493063120

node18.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.236
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.236
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:       1919888 kB
Buffers:         30316 kB
Cached:          61384 kB
SwapCached:       5540 kB
Active:          50024 kB
Inactive:        49576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1919888 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:            5832 kB
Writeback:           0 kB
Mapped:          12940 kB
Slab:            22436 kB
Committed_AS:   149652 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877047-1245167775.opb

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-16 18:26:14