Trace number 3708418

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-43 1798 1798.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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.2 - 23/05/2010 : 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 Instance file HOME/instance-3708418-1338180101.opb
0.00/0.00	c File size is 75229 bytes.
0.00/0.01	c Highest Coefficient sum: 400
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.02	c Var: 5448 Constr: 10698 5248/402/5048 Lit: 36536 Watch. Lit: 31090
0.00/0.02	c Obj. Vars: 200 (3.67107 % of total variables)
1.29/1.35	c Pre-processing Time: 1.348 s
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        0   5448    10698    36536    3    31090   54403      0      0 1.35
1.29/1.39	c Switching off lower bounding mode.
1.29/1.39	o -1
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        0   5448    10699    36736    3    31093   54537      1      0 1.35
1.29/1.39	o -2
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        1   5448    10702    37336    3    31102   54603      4      0 1.36
1.29/1.39	o -3
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        2   5448    10705    37960    3    31113   54670      7      1 1.37
1.29/1.39	o -4
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        3   5448    10708    38584    3    31126   54737     10      2 1.38
1.29/1.39	o -5
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c        4   5448    10711    39226    3    31141   54803     13      2 1.39
1.29/1.39	o -6
1.38/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.40	c        7   5448    10716    40252    3    31162   54870     18      5 1.39
1.38/1.40	o -7
1.38/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.41	c       13   5448    10724    41693    3    31191   54937     26      9 1.40
1.38/1.41	o -8
1.38/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.42	c       17   5448    10730    42364    3    31218   55003     32     12 1.41
1.38/1.42	o -9
1.38/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.42	c       30   5448    10745    44596    4    31265   55070     47     21 1.42
1.38/1.42	o -10
1.38/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.43	c       31   5448    10748    45274    4    31290   55137     50     21 1.42
1.38/1.43	o -11
1.38/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.43	c       36   5448    10755    45973    4    31325   55203     57     25 1.43
1.38/1.43	o -12
1.38/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.44	c       40   5448    10761    46675    4    31360   55270     63     27 1.44
1.38/1.44	o -13
1.38/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.45	c       42   5448    10765    47372    4    31393   55337     67     29 1.44
1.38/1.45	o -14
1.38/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.46	c       45   5448    10770    48072    4    31430   55403     72     31 1.45
1.38/1.46	o -15
1.38/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.46	c       55   5448    10782    48808    4    31483   55403     84     37 1.46
1.38/1.46	o -16
1.38/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.47	c       61   5448    10790    49518    4    31530   55403     92     41 1.47
1.38/1.47	o -17
1.38/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.48	c       70   5448    10801    50244    4    31585   55403    103     47 1.47
1.38/1.48	o -18
1.49/1.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.53	c       78   5448    10811    50957    4    31640   55403    113     52 1.48
1.49/1.53	c      178   5448    10913    67589    6    31880   60944    215    117 1.52
1.49/1.53	o -19
1.49/1.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.53	c      214   5448    10950    73448    6    31973   55403    252    139 1.53
1.49/1.53	o -20
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c      219   5448    10957    74158    6    32026   55403    259    142 1.54
1.49/1.54	o -21
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c      220   5448    10960    74859    6    32073   55403    262    142 1.54
1.49/1.55	o -22
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c      222   5448    10964    75571    6    32124   55403    266    143 1.55
1.49/1.55	o -23
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c      224   5448    10968    76294    6    32177   55403    270    144 1.55
1.49/1.56	o -24
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c      226   5448    10972    77017    7    32232   55403    274    144 1.56
1.49/1.56	o -25
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c      229   5448    10977    77745    7    32291   55403    279    146 1.57
1.49/1.57	o -26
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c      240   5448    10990    78499    7    32368   55403    292    152 1.57
1.49/1.58	o -27
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c      246   5448    10998    79248    7    32437   55403    300    155 1.58
1.49/1.58	o -28
1.49/1.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.59	c      248   5448    11002    79986    7    32500   55403    304    156 1.58
1.49/1.59	o -29
1.59/1.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.62	c      257   5448    11013    80746    7    32579   55403    315    161 1.59
1.59/1.62	o -30
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c      338   5448    11096    94186    8    32804   55403    398    208 1.62
1.59/1.63	o -31
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c      339   5448    11099    94930    8    32871   55403    401    208 1.63
1.59/1.63	o -32
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c      344   5448    11106    95689    8    32948   55403    408    210 1.63
1.59/1.64	o -33
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c      357   5448    11121    96475    8    33043   55403    423    217 1.64
1.59/1.65	o -34
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c      367   5448    11133    97256    8    33134   55403    435    222 1.65
1.59/1.65	o -35
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c      382   5448    11150    98051    8    33237   55403    452    230 1.66
1.59/1.66	o -36
1.69/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.70	c      405   5448    11175    98869    8    33358   55403    477    242 1.67
1.69/1.70	c      505   5448    11276   112498    9    33596   60944    578    297 1.70
1.69/1.70	o -37
1.69/1.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.71	c      505   5448    11277   112698    9    33635   55403    579    296 1.70
1.69/1.71	o -38
4.89/4.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.91	c      511   5448    11285   113470   10    33726   55403    587    299 1.71
4.89/4.91	c      612   5448    11387   124779   10    33968   60944    689    351 1.74
4.89/4.91	c      862   5448    11639   174342   14    34472   67039    941    477 1.81
4.89/4.91	c     1337   5448    12120   267151   22    35434   73743   1422    687 1.95
4.89/4.91	c     2150   5448    12935   426986   33    37064   81118   2237    938 2.29
4.89/4.91	c     3470   5448    14256   687225   48    39706   89230   3558   1135 3.06
4.89/4.91	c     5551   5448    16342  1089742   66    43878   98154   5644   1265 4.38
4.89/4.91	o -39
4.89/4.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.92	c     6171   5448    16963  1198145   70    45159   55403   6265   1256 4.91
4.89/4.92	o -40
4.89/4.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.92	c     6175   5448    16969  1199067   70    45250   55403   6271   1255 4.92
4.89/4.92	o -41
7.39/7.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.44	c     6184   5448    16980  1200946   70    45353   55403   6282   1255 4.92
7.39/7.44	c     6284   5448    17081  1208466   70    45596   60944   6383   1268 4.96
7.39/7.44	c     6534   5448    17332  1258049   72    46098   67039   6634   1300 5.02
7.39/7.44	c     7009   5448    17814  1351059   75    47062   73743   7116   1358 5.16
7.39/7.44	c     7822   5448    18628  1511284   81    48690   81118   7930   1443 5.42
7.39/7.44	c     9142   5448    19950  1771124   88    51334   89230   9252   1543 5.92
7.39/7.44	c    11223   5448    22033  2180992   98    55500   98154  11335   1626 6.90
7.39/7.44	o -42
7.39/7.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.44	c    12365   5448    23177  2394238  103    57830   55403  12479   1662 7.44
7.39/7.44	o -43
1797.96/1798.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.63	c    12368   5448    23182  2394996  103    57925   55403  12484   1661 7.44
1797.96/1798.63	c    12468   5448    23283  2404568  103    58170   60944  12585   1666 7.48
1797.96/1798.63	c    12719   5448    23535  2433807  103    58674   67039  12837   1677 7.58
1797.96/1798.63	c    13194   5448    24011  2527603  105    59626   73743  13313   1706 7.73
1797.96/1798.63	c    14007   5448    24827  2687434  108    61258   81118  14129   1749 8.01
1797.96/1798.63	c    15327   5448    26150  2947866  112    63904   89230  15452   1799 8.52
1797.96/1798.63	c    17408   5448    28246  3293545  116    68096   98154  17548   1805 9.64
1797.96/1798.63	c    20631   5448    31539  3834093  121    74781  107970  20841   1705 12.10
1797.96/1798.63	c    25567   5448    36500  4698591  128    84703  118768  25802   1773 14.41
1797.96/1798.63	c    33073   5448    44267  6169972  139   100765  130645  33569   1574 21.00
1797.96/1798.63	c    44434   5448    55775  8275827  148   123839  143710  45077   1336 33.25
1797.96/1798.63	c    61578   5448    73473 11832459  161   159916  158082  62775   1135 54.25
1797.96/1798.63	c    87397   5448   100079 17024940  170   214173  173891  89381    960 91.03
1797.96/1798.63	c   126229   5448   140129 25096293  179   295442  191281 129431    794 158.91
1797.96/1798.63	c   184581   5448   200649 37333583  186   418387  210410 189951    645 286.06
1797.96/1798.63	c   272213   5448    90809 16427939  180   196056  231452  80111    502 541.52
1797.96/1798.63	c   403765   5448   227149 45580518  200   477282  254598 216451    494 817.05
1797.96/1798.63	c   601197   5448   186542 36676424  196   393267  280058 175844    478 1255.60
1797.96/1798.63	c Resources Exceeded
1797.96/1798.63	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 x84 -x85 -x86 x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 x138 -x139 x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x302 -x284 -x275 x327 -x364 -x338 -x226 -x229 -x386 -x345 -x242 x317 -x328 -x384 -x201 -x355 x315 -x365 x204 -x215 x303 -x342 -x350 -x318 -x205 x212 -x225 -x231 -x252 -x280 -x339 -x360 x202 -x369 -x374 -x319 -x323 x283 -x321 -x221 -x305 x208 -x233 -x257 -x367 -x203 -x300 -x220 -x395 -x325 x223 -x262 -x236 -x240 -x295 -x307 -x373 x377 -x376 -x245 -x332 -x343 x299 -x273 -x344 -x248 -x217 -x246 -x292 -x370 x390 x348 -x368 -x222 -x287 -x296 -x207 -x218 -x238 -x282 x297 -x309 -x363 x397 -x206 x394 -x232 -x392 -x340 -x308 -x211 x230 -x256 -x258 -x354 -x362 -x291 -x239 x301 -x247 -x271 -x330 -x380 x383 -x334 x388 -x268 -x361 -x306 -x264 -x224 -x234 -x250 -x286 -x389 -x209 -x249 x378 -x241 -x272 -x210 x294 -x379 x313 -x251 -x285 -x288 -x289 -x290 -x357 x227 -x278 -x253 -x213 -x316 -x265 -x381 -x385 -x274 -x263 x356 -x261 x214 -x335 x310 x387 -x352 -x237 -x267 x320 -x324 -x269 -x243 x277 -x216 -x333 -x382 -x260 x372 x279 x371 x347 -x266 -x314 -x219 -x270 -x358 -x322 -x244 x255 -x346 x399 -x228 -x359 -x396 -x281 x341 -x276 -x349 -x366 -x304 -x259 -x331 x336 -x293 -x312 -x398 -x393 -x400 -x235 x391 x351 -x311 x329 x353 -x375 -x298 -x326 -x254 -x337 
1797.96/1798.63	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.63	c   74   806619 206970  1234748   130118 27905175 119420    448 1798.00
1797.96/1798.63	c Objective: -43
1797.96/1798.63	s SATISFIABLE
1797.96/1798.63	c Total time: 1798 s

Verifier Data 

OK	-43

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708418-1338180101/watcher-3708418-1338180101 -o /tmp/evaluation-result-3708418-1338180101/solver-3708418-1338180101 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708418-1338180101.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10707
/proc/meminfo: memFree=28815680/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=11288 CPUtime=0 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 389 0 0 0 0 0 0 0 20 0 1 0 284134497 11558912 343 33554432000 134512640 137138936 4292243904 4292241912 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10707/statm: 2822 344 176 642 0 2159 0

[startup+0.0396871 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10707
/proc/meminfo: memFree=28815680/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=13516 CPUtime=0.03 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 983 0 0 0 3 0 0 0 20 0 1 0 284134497 13840384 918 33554432000 134512640 137138936 4292243904 4292177228 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10707/statm: 3379 918 185 642 0 2735 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13516

[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10707
/proc/meminfo: memFree=28815680/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=13516 CPUtime=0.09 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 984 0 0 0 9 0 0 0 20 0 1 0 284134497 13840384 919 33554432000 134512640 137138936 4292243904 4292177264 134566253 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10707/statm: 3379 919 185 642 0 2735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516

[startup+0.300178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10707
/proc/meminfo: memFree=28815680/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=13516 CPUtime=0.29 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 984 0 0 0 29 0 0 0 20 0 1 0 284134497 13840384 919 33554432000 134512640 137138936 4292243904 4292177040 134542017 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10707/statm: 3379 919 185 642 0 2735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13516

[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10707
/proc/meminfo: memFree=28815680/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=13516 CPUtime=0.69 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 984 0 0 0 69 0 0 0 20 0 1 0 284134497 13840384 919 33554432000 134512640 137138936 4292243904 4292177264 134566412 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10707/statm: 3379 919 185 642 0 2735 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13516

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28812696/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=13904 CPUtime=1.49 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 1358 0 0 0 148 1 0 0 20 0 1 0 284134497 14237696 1055 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 3476 1055 192 642 0 2832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13904

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28807372/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=22548 CPUtime=3.09 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 3508 0 0 0 306 3 0 0 20 0 1 0 284134497 23089152 3205 33554432000 134512640 137138936 4292243904 4292242184 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 5637 3205 192 642 0 4993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22548

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28792244/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=38828 CPUtime=6.29 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 7590 0 0 0 625 4 0 0 20 0 1 0 284134497 39759872 7287 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 9707 7287 192 642 0 9063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38828

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28761268/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=68120 CPUtime=12.69 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 14911 0 0 0 1261 8 0 0 20 0 1 0 284134497 69754880 14608 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 17030 14608 192 642 0 16386 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68120

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28719976/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=105816 CPUtime=25.48 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 24335 0 0 0 2536 12 0 0 20 0 1 0 284134497 108355584 24032 33554432000 134512640 137138936 4292243904 4292242656 134575759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 26454 24032 192 642 0 25810 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105816

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28661944/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=164288 CPUtime=51.08 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 38936 0 0 0 5089 19 0 0 20 0 1 0 284134497 168230912 38633 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 41072 38633 192 642 0 40428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 164288

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10708
/proc/meminfo: memFree=28564976/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=259532 CPUtime=102.28 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 62755 0 0 0 10196 32 0 0 20 0 1 0 284134497 265760768 62452 33554432000 134512640 137138936 4292243904 4292242832 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 64883 62452 192 642 0 64239 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 259532

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10709
/proc/meminfo: memFree=28473216/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=352168 CPUtime=162.26 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 85919 0 0 0 16182 44 0 0 20 0 1 0 284134497 360620032 85616 33554432000 134512640 137138936 4292243904 4292242400 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 88042 85616 192 642 0 87398 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 352168

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10709
/proc/meminfo: memFree=28390260/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=434320 CPUtime=222.26 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 106456 0 0 0 22170 56 0 0 20 0 1 0 284134497 444743680 106153 33554432000 134512640 137138936 4292243904 4292242832 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 108580 106153 192 642 0 107936 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 434320

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10709
/proc/meminfo: memFree=28318340/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=506756 CPUtime=282.24 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 124565 0 0 0 28158 66 0 0 20 0 1 0 284134497 518918144 124262 33554432000 134512640 137138936 4292243904 4292242652 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 126689 124262 192 642 0 126045 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 506756

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10709
/proc/meminfo: memFree=28259688/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=565076 CPUtime=342.24 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 139147 0 0 0 34149 75 0 0 20 0 1 0 284134497 578637824 138844 33554432000 134512640 137138936 4292243904 4292242660 136502620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 141269 138844 192 642 0 140625 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 565076

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10709
/proc/meminfo: memFree=28249892/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=573836 CPUtime=402.23 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 141554 0 0 0 40147 76 0 0 20 0 1 0 284134497 587608064 141041 33554432000 134512640 137138936 4292243904 4292242944 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 143459 141041 192 642 0 142815 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 573836

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10710
/proc/meminfo: memFree=28249892/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=573836 CPUtime=462.21 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 141554 0 0 0 46145 76 0 0 20 0 1 0 284134497 587608064 141041 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 143459 141041 192 642 0 142815 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 573836

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10713
/proc/meminfo: memFree=28250008/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=573836 CPUtime=522.21 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 141554 0 0 0 52139 82 0 0 20 0 1 0 284134497 587608064 141041 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 143459 141041 192 642 0 142815 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 573836

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10751
/proc/meminfo: memFree=29275660/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=573836 CPUtime=582.17 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 141578 0 0 0 58131 86 0 0 20 0 1 0 284134497 587608064 141041 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 143459 141041 192 642 0 142815 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 573836

[startup+642.3 s]

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

/proc/meminfo: memFree=29029672/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1121.79 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 112046 133 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292242832 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 729568

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10779
/proc/meminfo: memFree=29029672/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1181.78 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 118041 137 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292242832 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 729568

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10779
/proc/meminfo: memFree=29029060/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1241.78 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 124036 142 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292242832 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 729568

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10779
/proc/meminfo: memFree=29029556/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1301.77 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 130030 147 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 729568

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10779
/proc/meminfo: memFree=29029556/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1361.75 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 136025 150 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292242832 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 729568

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10780
/proc/meminfo: memFree=29023356/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=729568 CPUtime=1421.75 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 181064 0 0 0 142022 153 0 0 20 0 1 0 284134497 747077632 179967 33554432000 134512640 137138936 4292243904 4292242832 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 182392 179967 192 642 0 181748 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 729568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10780
/proc/meminfo: memFree=28992356/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=757508 CPUtime=1481.74 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 188036 0 0 0 148014 160 0 0 20 0 1 0 284134497 775688192 186939 33554432000 134512640 137138936 4292243904 4292242832 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 189377 186939 192 642 0 188733 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 757508

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10780
/proc/meminfo: memFree=28944780/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1541.72 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199819 0 0 0 154003 169 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242944 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 803440

[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10780
/proc/meminfo: memFree=28944792/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1601.69 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 160000 169 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242944 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 803440

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10780
/proc/meminfo: memFree=28944604/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1661.68 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 165996 172 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292243020 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 803440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10784
/proc/meminfo: memFree=28944836/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1721.67 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 171992 175 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242328 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 803440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1781.67 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 177988 179 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 803440

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1791.27 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 178947 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 803440

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1794.47 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179267 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 803440

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1796.06 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179426 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 803440

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1796.86 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179506 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242448 134607568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 803440

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1797.66 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179586 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 803440

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1797.87 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179607 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 803440

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10784
/proc/meminfo: memFree=28944348/32873844 swapFree=7628/7628
[pid=10707] ppid=10705 vsize=803440 CPUtime=1797.96 cores=0,2,4,6
/proc/10707/stat : 10707 (bsolo) R 10705 10707 8717 0 -1 4202496 199842 0 0 0 179616 180 0 0 20 0 1 0 284134497 822722560 198435 33554432000 134512640 137138936 4292243904 4292242832 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10707/statm: 200860 198435 192 642 0 200216 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 803440

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798
CPU user time (s): 1796.2
CPU system time (s): 1.80572
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 803440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.2
system time used= 1.80572
maximum resident set size= 794852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199843
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= 369
involuntary context switches= 2000

runsolver used 2.6476 second user time and 7.16791 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 06:41:41
IDJOB=3708418
IDBENCH=48240
IDSOLVER=2286
FILE ID=node145/3708418-1338180101
RUNJOBID= node145-1338157126-8733
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708418-1338180101/watcher-3708418-1338180101 -o /tmp/evaluation-result-3708418-1338180101/solver-3708418-1338180101 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708418-1338180101.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=1571151824

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28815944 kB
Buffers:          330024 kB
Cached:          1839032 kB
SwapCached:            0 kB
Active:          1744244 kB
Inactive:        1493076 kB
Active(anon):    1060004 kB
Inactive(anon):    10912 kB
Active(file):     684240 kB
Inactive(file):  1482164 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:       1083892 kB
Mapped:            14828 kB
Shmem:               200 kB
Slab:             678476 kB
SReclaimable:     120292 kB
SUnreclaim:       558184 kB
KernelStack:        1472 kB
PageTables:         5732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1189740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1054720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71548 MiB
End job on node145 at 2012-05-28 07:11:40