Trace number 3463765

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.2SAT23 1798.02 1797.97

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
MD5SUM06d341d0af76f66d4946a3c264573060
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark8.68968
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463765-1307185680.opb
0.00/0.01	c File size is 96935 bytes.
0.00/0.01	c Highest Coefficient sum: 182
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 2990 Constr: 5666 2775/485/2406 Lit: 37628 Watch. Lit: 24414
0.00/0.01	c Obj. Vars: 182 (6.08696 % of total variables)
0.09/0.15	c Pre-processing Time: 0.143 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   2273     4294    29110    6    18729   56052      0      0 0.14
0.09/0.15	c Switching off lower bounding mode.
1.69/1.76	c      102   2273     4439    45753   10    19253   61658    145    548 0.19
1.69/1.76	c      252   2273     4632    58090   12    19831   67824    338   1072 0.23
1.69/1.76	c      480   2273     4934    84165   17    20648   74607    640   1420 0.34
1.69/1.76	c      818   2273     5365   121189   22    21687   82068   1071   1632 0.50
1.69/1.76	c     1326   2273     6032   171976   28    23226   90275   1738   1768 0.75
1.69/1.76	c     2090   2273     7084   273084   38    25622   99303   2790   1648 1.27
1.69/1.76	o 52
2.49/2.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.59	c     2844   2273     8152   395111   48    28128   57084   3858   1614 1.76
2.49/2.59	c     2944   2273     8301   403757   48    28523   62793   4007   1622 1.81
2.49/2.59	c     3194   2273     8644   431093   49    29324   69073   4350   1621 1.97
2.49/2.59	c     3669   2273     9336   489894   52    30932   75981   5042   1584 2.32
2.49/2.59	o 47
7.29/7.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.37	c     4036   2273     9872   542294   54    32221   57084   5578   1558 2.59
7.29/7.37	c     4138   2273    10024   556932   55    32589   62793   5730   1547 2.67
7.29/7.37	c     4388   2273    10367   598154   57    33358   69073   6073   1538 2.85
7.29/7.37	c     4866   2273    11030   672989   61    34984   75981   6736   1519 3.20
7.29/7.37	c     5679   2273    12115   766987   63    37531   83580   7821   1509 3.76
7.29/7.37	c     7000   2273    13905   897260   64    41607   91939   9611   1480 4.73
7.29/7.37	c     9081   2273    16759  1171126   69    48214  101133  12465   1392 6.52
7.29/7.37	o 46
13.89/13.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.89/13.93	c     9989   2273    18033  1317887   73    51288   57084  13739   1355 7.37
13.89/13.93	c    10089   2273    18175  1325005   72    51609   62793  13881   1355 7.45
13.89/13.93	c    10339   2273    18561  1364238   73    52441   69073  14267   1337 7.73
13.89/13.93	c    10816   2273    19209  1403188   73    53795   75981  14915   1335 8.10
13.89/13.93	c    11634   2273    20399  1520129   74    56522   83580  16105   1306 8.90
13.89/13.93	c    12955   2273    22253  1695592   76    60810   91939  17959   1267 10.22
13.89/13.93	c    15036   2273    25175  1977937   78    67286  101133  20881   1165 12.91
13.89/13.93	o 45
17.18/17.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.18/17.24	c    15684   2273    26119  2072777   79    69751   57084  21825   1126 13.93
17.18/17.24	c    15784   2273    26265  2083316   79    70153   62793  21971   1122 14.06
17.18/17.24	c    16035   2273    26626  2113273   79    71004   69073  22332   1106 14.50
17.18/17.24	c    16511   2273    27326  2170985   79    72646   75981  23032   1074 15.36
17.18/17.24	c    17325   2273    28471  2274562   79    75289   83580  24177   1025 16.89
17.18/17.24	o 37
39.49/39.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.49/39.56	c    17608   2273    28837  2309413   80    76263   57084  24543   1021 17.24
39.49/39.56	c    17711   2273    28990  2323088   80    76759   62793  24696   1016 17.43
39.49/39.56	c    17961   2273    29310  2348851   80    77623   69073  25016   1008 17.80
39.49/39.56	c    18436   2273    29960  2400863   80    79254   75981  25666    983 18.74
39.49/39.56	c    19249   2273    31054  2486071   80    82023   83580  26760    944 20.38
39.49/39.56	c    20569   2273    32841  2649057   80    86740   91939  28547    902 22.78
39.49/39.56	c    22650   2273    35710  2943463   82    93884  101133  31416    873 25.94
39.49/39.56	c    25875   2273    40133  3423543   85   103931  111247  35839    816 31.70
39.49/39.56	o 31
467.51/467.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
467.51/467.52	c    29049   2273    45148  4230712   93   115310   57084  40854    734 39.56
467.51/467.52	c    29149   2273    45265  4234587   93   115564   62793  40971    733 39.73
467.51/467.52	c    29400   2273    45608  4260309   93   116308   69073  41314    728 40.34
467.51/467.52	c    29875   2273    46253  4329526   93   117812   75981  41959    722 41.35
467.51/467.52	c    30689   2273    47343  4434597   93   120547   83580  43049    709 43.27
467.51/467.52	c    32009   2273    48978  4640625   94   124362   91939  44684    696 45.93
467.51/467.52	c    34090   2273    51817  4960981   95   131123  101133  47523    666 51.11
467.51/467.52	c    37314   2273    56163  5428715   96   141351  111247  51869    614 60.70
467.51/467.52	c    42251   2273    62896  6541923  104   156523  122372  58602    566 74.53
467.51/467.52	c    49759   2273    73693  7724474  104   181215  134610  69399    491 101.21
467.51/467.52	c    61120   2273    90328 10350775  114   218206  148072  86034    386 158.22
467.51/467.52	c    78265   2273   113486 13132043  115   268972  162880 109192    297 262.70
467.51/467.52	c   104085   2273   149710 18576802  124   350154  179169 145416    226 460.21
467.51/467.52	o 30
484.80/484.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
484.80/484.82	c   105162   2273   151086 18731301  123   353719   57084 146792    224 467.53
484.80/484.82	c   105263   2273    24247  2855854  117    63521   62793  19953    222 472.21
484.80/484.82	c   105513   2273    24598  2878347  117    64465   69073  20304    223 472.69
484.80/484.82	c   105988   2273    25166  2906844  115    66089   75981  20872    223 473.17
484.80/484.82	c   106801   2273    26368  3012230  114    68948   83580  22074    225 474.45
484.80/484.82	c   108121   2273    28183  3163550  112    73203   91939  23889    227 476.28
484.80/484.82	c   110204   2273    31111  3513782  112    80535  101133  26817    229 479.68
484.80/484.82	o 27
494.70/494.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
494.70/494.73	c   112483   2273    34159  3771938  110    88198   57052  29865    232 484.83
494.70/494.73	c   112584   2273    34263  3775713  110    88411   62758  29969    232 484.91
494.70/494.73	c   112835   2273    34555  3793620  109    89499   69034  30261    232 485.20
494.70/494.73	c   113310   2273    35240  3878431  110    90956   75938  30946    232 486.31
494.70/494.73	c   114124   2273    36442  3979602  109    93822   83532  32148    233 488.61
494.70/494.73	c   115444   2273    38094  4086480  107    98784   91886  33800    235 490.65
494.70/494.73	c   117525   2273    40606  4291223  105   105155  101075  36312    238 493.76
494.70/494.73	o 24
1510.83/1510.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1510.83/1510.84	c   118049   2273    41387  4389824  106   106987   57052  37093    238 494.74
1510.83/1510.84	c   118149   2273    41504  4397719  105   107255   62758  37210    238 494.88
1510.83/1510.84	c   118399   2273    41857  4423200  105   107981   69034  37563    238 495.65
1510.83/1510.84	c   118876   2273    42494  4472332  105   109498   75938  38200    239 496.88
1510.83/1510.84	c   119690   2273    43550  4566245  104   111959   83532  39256    239 499.06
1510.83/1510.84	c   121011   2273    45382  4754499  104   116310   91886  41088    240 502.47
1510.83/1510.84	c   123092   2273    48273  5035344  104   123144  101075  43979    241 509.15
1510.83/1510.84	c   126315   2273    52263  5294826  101   131969  111183  47969    244 516.42
1510.83/1510.84	c   131251   2273    59115  5935750  100   146677  122302  54821    247 530.38
1510.83/1510.84	c   138757   2273    69545  7029899  101   168544  134533  65251    249 555.91
1510.83/1510.84	c   150119   2273    85116  8477195   99   201848  147987  80822    248 604.09
1510.83/1510.84	c   167265   2273   107518 10435444   97   249083  162786 103224    242 690.13
1510.83/1510.84	c   193084   2273   143700 15445597  107   324383  179065 139406    226 852.82
1510.83/1510.84	c   231916   2273    38243  3462134   90    91347  196972  33949    202 1142.74
1510.83/1510.84	c   290269   2273   113909 16133879  141   262598  216670 109615    208 1389.40
1510.83/1510.84	o 23
1797.94/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.95	c   309638   2273   140867 19825471  140   324183   57052 136573    204 1510.88
1797.94/1797.95	c   309739   2273    23638  2562708  108    62120   62758  19344    204 1515.79
1797.94/1797.95	c   309990   2273    23942  2578740  107    62990   69034  19648    204 1515.95
1797.94/1797.95	c   310465   2273    24466  2600567  106    64364   75938  20172    204 1516.09
1797.94/1797.95	c   311278   2273    25356  2633157  103    67091   83532  21062    205 1516.39
1797.94/1797.95	c   312601   2273    27042  2772819  102    72617   91886  22748    205 1518.48
1797.94/1797.95	c   314682   2273    29390  2977549  101    79296  101075  25096    207 1520.16
1797.94/1797.95	c   317906   2273    33578  3347906   99    89673  111183  29284    208 1526.44
1797.94/1797.95	c   322843   2273    40464  4239339  104   105386  122302  36170    209 1537.53
1797.94/1797.95	c   330349   2273    49761  5162552  103   126589  134533  45467    213 1550.42
1797.94/1797.95	c   341712   2273    64582  6354311   98   161504  147987  60288    216 1581.65
1797.94/1797.95	c   358856   2273    87691  8866314  101   213757  162786  83397    216 1659.16
1797.94/1797.95	c   384675   2273   122330 12023513   98   288923  179065 118036    216 1776.22
1797.94/1797.95	c Resources Exceeded
1797.94/1797.95	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 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 x221 -x220 -x219 -x218 -x217 -x222 x224 x223 x225 -x226 -x230 x229 x228 -x227 -x231 x232 -x233 x234 -x238 -x237 x236 x235 x239 -x240 -x241 x242 -x246 -x245 x244 x243 -x247 x248 -x249 x250 -x254 -x253 x252 x251 x255 -x256 -x257 -x260 -x259 -x258 x261 -x262 -x263 -x265 -x264 x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 x275 x276 -x277 x278 x279 x280 -x281 x282 x283 -x284 -x285 x286 x287 -x288 -x289 -x290 x291 -x292 x293 x294 -x295 x296 x297 x298 x299 x300 -x301 x302 x303 x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 x313 x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 x323 -x324 -x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 x334 -x335 x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 x373 x374 -x375 -x376 x377 -x378 x379 -x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 x395 x396 x397 x398 -x399 -x400 -x401 x402 x403 x404 x405 -x406 x407 -x408 x409 x410 x411 x412 x413 x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 -x430 -x431 x432 x433 -x434 -x435 -x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 -x446 -x447 x448 x449 x450 -x451 x452 x453 x454 x455 -x456 -x457 -x458 x459 x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 -x474 -x475 -x476 x477 x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 -x504 x505 -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 x517 x518 -x519 x520 x521 x522 x523 x524 -x525 x526 -x527 -x528 -x529 x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 x541 x542 x543 x544 -x545 x546 x547 -x548 x549 -x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1797.94/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.95	c   92   388780 113706   650771   127386 12399345 123092    216 1798.00
1797.94/1797.95	c Objective: 23
1797.94/1797.95	s SATISFIABLE
1797.94/1797.95	c Total time: 1798 s

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463765-1307185680/watcher-3463765-1307185680 -o /tmp/evaluation-result-3463765-1307185680/solver-3463765-1307185680 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463765-1307185680.opb 

running on 4 cores: 1,3,5,7

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.04 2.03 2.00 3/327 29440
/proc/meminfo: memFree=24121900/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=11436 CPUtime=0 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 430 0 0 0 0 0 0 0 22 0 1 0 908798566 11710464 384 33554432000 134512640 137138936 4290923056 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 2859 384 184 642 0 2191 0

[startup+0.102393 s]
/proc/loadavg: 2.04 2.03 2.00 3/327 29440
/proc/meminfo: memFree=24121900/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=12544 CPUtime=0.09 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 766 0 0 0 9 0 0 0 18 0 1 0 908798566 12845056 696 33554432000 134512640 137138936 4290923056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 3136 696 185 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544

[startup+0.200376 s]
/proc/loadavg: 2.04 2.03 2.00 3/327 29440
/proc/meminfo: memFree=24121900/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=12768 CPUtime=0.19 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 819 0 0 0 19 0 0 0 18 0 1 0 908798566 13074432 744 33554432000 134512640 137138936 4290923056 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 3192 744 192 642 0 2548 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12768

[startup+0.30036 s]
/proc/loadavg: 2.04 2.03 2.00 3/327 29440
/proc/meminfo: memFree=24121900/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=12980 CPUtime=0.29 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 883 0 0 0 29 0 0 0 18 0 1 0 908798566 13291520 808 33554432000 134512640 137138936 4290923056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 3245 808 192 642 0 2601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12980

[startup+0.700282 s]
/proc/loadavg: 2.04 2.03 2.00 3/327 29440
/proc/meminfo: memFree=24121900/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=14140 CPUtime=0.68 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 1186 0 0 0 68 0 0 0 18 0 1 0 908798566 14479360 1111 33554432000 134512640 137138936 4290923056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 3535 1111 192 642 0 2891 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14140

[startup+1.50014 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 29441
/proc/meminfo: memFree=24117552/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=16484 CPUtime=1.48 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 1746 0 0 0 148 0 0 0 19 0 1 0 908798566 16879616 1671 33554432000 134512640 137138936 4290923056 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 4121 1671 192 642 0 3477 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16484

[startup+3.10086 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 29441
/proc/meminfo: memFree=24113460/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=20988 CPUtime=3.08 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 2873 0 0 0 307 1 0 0 25 0 1 0 908798566 21491712 2798 33554432000 134512640 137138936 4290923056 18446744073709551615 134544865 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 5247 2798 192 642 0 4603 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20988

[startup+6.30026 s]
/proc/loadavg: 2.03 2.03 2.00 3/328 29442
/proc/meminfo: memFree=24105280/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=27832 CPUtime=6.28 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 4601 0 0 0 626 2 0 0 25 0 1 0 908798566 28499968 4526 33554432000 134512640 137138936 4290923056 18446744073709551615 134539030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 6958 4526 192 642 0 6314 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27832

[startup+12.7011 s]
/proc/loadavg: 2.03 2.03 2.00 3/328 29442
/proc/meminfo: memFree=24095640/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=39284 CPUtime=12.69 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 7457 0 0 0 1265 4 0 0 25 0 1 0 908798566 40226816 7382 33554432000 134512640 137138936 4290923056 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 9821 7382 192 642 0 9177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39284

[startup+25.5007 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 29442
/proc/meminfo: memFree=24079516/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=52648 CPUtime=25.48 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 10787 0 0 0 2542 6 0 0 25 0 1 0 908798566 53911552 10712 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 13162 10712 192 642 0 12518 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52648

[startup+51.1011 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 29443
/proc/meminfo: memFree=24050664/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=80848 CPUtime=51.09 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 17855 0 0 0 5098 11 0 0 25 0 1 0 908798566 82788352 17780 33554432000 134512640 137138936 4290923056 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 20212 17780 192 642 0 19568 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 80848

[startup+102.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 29444
/proc/meminfo: memFree=24011828/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=119304 CPUtime=102.3 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 27457 0 0 0 10213 17 0 0 25 0 1 0 908798566 122167296 27382 33554432000 134512640 137138936 4290923056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 29826 27382 192 642 0 29182 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 119304

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 29446
/proc/meminfo: memFree=23973092/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=155680 CPUtime=162.29 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 36561 0 0 0 16206 23 0 0 25 0 1 0 908798566 159416320 36486 33554432000 134512640 137138936 4290923056 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 38920 36486 192 642 0 38276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155680

[startup+222.313 s]
/proc/loadavg: 2.07 2.03 2.00 3/328 29447
/proc/meminfo: memFree=23949220/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=181908 CPUtime=222.3 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 43113 0 0 0 22201 29 0 0 25 0 1 0 908798566 186273792 43038 33554432000 134512640 137138936 4290923056 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 45477 43038 192 642 0 44833 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 181908

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 29449
/proc/meminfo: memFree=23932068/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=199016 CPUtime=282.29 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 47390 0 0 0 28196 33 0 0 25 0 1 0 908798566 203792384 47315 33554432000 134512640 137138936 4290923056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 49754 47315 192 642 0 49110 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 199016

[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 29451
/proc/meminfo: memFree=23906128/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=220024 CPUtime=342.3 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 52655 0 0 0 34192 38 0 0 25 0 1 0 908798566 225304576 52580 33554432000 134512640 137138936 4290923056 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 55006 52580 192 642 0 54362 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 220024

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 29452
/proc/meminfo: memFree=23877312/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=245772 CPUtime=402.29 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 59077 0 0 0 40187 42 0 0 25 0 1 0 908798566 251670528 59002 33554432000 134512640 137138936 4290923056 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 61443 59002 192 642 0 60799 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 245772

[startup+462.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/328 29454
/proc/meminfo: memFree=23838428/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=266656 CPUtime=462.3 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 64290 0 0 0 46182 48 0 0 25 0 1 0 908798566 273055744 64215 33554432000 134512640 137138936 4290923056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 66664 64215 192 642 0 66020 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 266656

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 29455
/proc/meminfo: memFree=23826120/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=268124 CPUtime=522.3 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 64824 0 0 0 52178 52 0 0 25 0 1 0 908798566 274558976 64605 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 67031 64605 192 642 0 66387 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 268124

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 29457
/proc/meminfo: memFree=23826092/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=268124 CPUtime=582.31 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 64824 0 0 0 58175 56 0 0 25 0 1 0 908798566 274558976 64605 33554432000 134512640 137138936 4290923056 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 67031 64605 192 642 0 66387 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 268124

[startup+642.301 s]

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

/proc/meminfo: memFree=23782508/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1122.32 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 112151 81 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 284456

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 29473
/proc/meminfo: memFree=23782608/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1182.32 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 118147 85 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 284456

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 29475
/proc/meminfo: memFree=23784680/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1242.32 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 124145 87 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 284456

[startup+1302.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/328 29476
/proc/meminfo: memFree=23782532/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1302.33 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 130143 90 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 284456

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 29478
/proc/meminfo: memFree=23784196/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1362.33 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 136141 92 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 284456

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 29479
/proc/meminfo: memFree=23784904/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1422.34 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 142140 94 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 284456

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 29481
/proc/meminfo: memFree=23784228/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1482.33 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69068 0 0 0 148134 99 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 284456

[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 29483
/proc/meminfo: memFree=23784452/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1542.35 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 154132 103 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 284456

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 29484
/proc/meminfo: memFree=23784400/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1602.34 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 160128 106 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 284456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 29486
/proc/meminfo: memFree=23784356/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1662.34 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 166125 109 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 284456

[startup+1722.3 s]
/proc/loadavg: 1.66 1.93 1.97 2/322 29504
/proc/meminfo: memFree=23862216/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1722.34 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 172121 113 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 284456

[startup+1782.3 s]
/proc/loadavg: 1.24 1.76 1.91 2/322 29506
/proc/meminfo: memFree=23861796/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1782.34 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 178118 116 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 284456

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

[startup+1785.6 s]
/proc/loadavg: 1.22 1.74 1.90 2/322 29506
/proc/meminfo: memFree=23862416/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1785.64 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 178447 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 284456

[startup+1792.01 s]
/proc/loadavg: 1.20 1.73 1.90 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1792.05 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179088 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 284456

[startup+1795.2 s]
/proc/loadavg: 1.19 1.72 1.89 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1795.25 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179408 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 284456

[startup+1796.8 s]
/proc/loadavg: 1.19 1.72 1.89 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1796.84 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179567 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 284456

[startup+1797.6 s]
/proc/loadavg: 1.19 1.72 1.89 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1797.64 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179647 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 284456

[startup+1797.8 s]
/proc/loadavg: 1.19 1.72 1.89 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1797.84 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179667 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134617968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 284456

[startup+1797.9 s]
/proc/loadavg: 1.19 1.72 1.89 2/322 29506
/proc/meminfo: memFree=23862408/32951124 swapFree=67056304/67111528
[pid=29440] ppid=29438 vsize=284456 CPUtime=1797.94 cores=1,3,5,7
/proc/29440/stat : 29440 (bsolo) R 29438 29440 27326 0 -1 4202496 69202 0 0 0 179677 117 0 0 25 0 1 0 908798566 291282944 68673 33554432000 134512640 137138936 4290923056 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29440/statm: 71114 68673 192 642 0 70470 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 284456

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.02
CPU user time (s): 1796.83
CPU system time (s): 1.18882
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 285160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 1.18882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69203
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= 5
involuntary context switches= 2368

runsolver used 5.39518 second user time and 12.5901 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-04 13:08:00
IDJOB=3463765
IDBENCH=72484
IDSOLVER=1955
FILE ID=node110/3463765-1307185680
RUNJOBID= node110-1307174890-28476
PBS_JOBID= 13508825
Free space on /tmp= 74040 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463765-1307185680/watcher-3463765-1307185680 -o /tmp/evaluation-result-3463765-1307185680/solver-3463765-1307185680 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463765-1307185680.opb

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

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=491738223

node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24122304 kB
Buffers:        302980 kB
Cached:        4588308 kB
SwapCached:       8652 kB
Active:        4039920 kB
Inactive:      4468656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24122304 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            3908 kB
Writeback:           0 kB
AnonPages:     3614932 kB
Mapped:          28488 kB
Slab:           229212 kB
PageTables:      27068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75627352 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74040 MiB
End job on node110 at 2011-06-04 13:37:58