Trace number 3708527

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 1798.38

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 benchmark1.69474
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.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-3708527-1338190105.opb
0.00/0.00	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.012 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.156 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.16
0.09/0.15	c Switching off lower bounding mode.
1.79/1.87	c      102   2273     4439    45753   10    19253   61658    145    504 0.20
1.79/1.87	c      252   2273     4632    58090   12    19831   67824    338    992 0.25
1.79/1.87	c      480   2273     4934    84165   17    20648   74607    640   1318 0.36
1.79/1.87	c      818   2273     5365   121189   22    21687   82068   1071   1523 0.54
1.79/1.87	c     1326   2273     6032   171976   28    23226   90275   1738   1653 0.80
1.79/1.87	c     2090   2273     7084   273084   38    25622   99303   2790   1545 1.35
1.79/1.87	o 52
2.69/2.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.75	c     2844   2273     8152   395111   48    28128   57084   3858   1515 1.88
2.69/2.75	c     2944   2273     8301   403757   48    28523   62793   4007   1523 1.93
2.69/2.75	c     3194   2273     8644   431093   49    29324   69073   4350   1521 2.10
2.69/2.75	c     3669   2273     9336   489894   52    30932   75981   5042   1487 2.47
2.69/2.75	o 47
7.79/7.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.83	c     4036   2273     9872   542294   54    32221   57084   5578   1464 2.76
7.79/7.83	c     4138   2273    10024   556932   55    32589   62793   5730   1453 2.85
7.79/7.83	c     4388   2273    10367   598154   57    33358   69073   6073   1445 3.04
7.79/7.83	c     4866   2273    11030   672989   61    34984   75981   6736   1428 3.41
7.79/7.83	c     5679   2273    12115   766987   63    37531   83580   7821   1420 4.00
7.79/7.83	c     7000   2273    13905   897260   64    41607   91939   9611   1392 5.03
7.79/7.83	c     9081   2273    16759  1171126   69    48214  101133  12465   1310 6.93
7.79/7.83	o 46
14.78/14.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.78/14.86	c     9989   2273    18033  1317887   73    51288   57084  13739   1275 7.83
14.78/14.86	c    10089   2273    18175  1325005   72    51609   62793  13881   1274 7.92
14.78/14.86	c    10339   2273    18561  1364238   73    52441   69073  14267   1258 8.22
14.78/14.86	c    10816   2273    19209  1403188   73    53795   75981  14915   1255 8.62
14.78/14.86	c    11634   2273    20399  1520129   74    56522   83580  16105   1228 9.47
14.78/14.86	c    12955   2273    22253  1695592   76    60810   91939  17959   1191 10.87
14.78/14.86	c    15036   2273    25175  1977937   78    67286  101133  20881   1092 13.76
14.78/14.86	o 45
18.39/18.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.43	c    15684   2273    26119  2072777   79    69751   57084  21825   1055 14.86
18.39/18.43	c    15784   2273    26265  2083316   79    70153   62793  21971   1051 15.01
18.39/18.43	c    16035   2273    26626  2113273   79    71004   69073  22332   1036 15.47
18.39/18.43	c    16511   2273    27326  2170985   79    72646   75981  23032   1006 16.41
18.39/18.43	c    17325   2273    28471  2274562   79    75289   83580  24177    960 18.04
18.39/18.43	o 37
40.88/40.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.88/40.90	c    17608   2273    28837  2309413   80    76263   57084  24543    955 18.43
40.88/40.90	c    17711   2273    28990  2323088   80    76759   62793  24696    950 18.63
40.88/40.90	c    17961   2273    29310  2348851   80    77623   69073  25016    943 19.03
40.88/40.90	c    18436   2273    29960  2400863   80    79254   75981  25666    919 20.04
40.88/40.90	c    19249   2273    31054  2486071   80    82023   83580  26760    883 21.79
40.88/40.90	c    20569   2273    32841  2649057   80    86740   91939  28547    849 24.22
40.88/40.90	c    22650   2273    35710  2943463   82    93884  101133  31416    827 27.36
40.88/40.90	c    25875   2273    40133  3423543   85   103931  111247  35839    783 33.03
40.88/40.90	o 31
432.33/432.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
432.33/432.51	c    29049   2273    45148  4230712   93   115310   57084  40854    710 40.89
432.33/432.51	c    29149   2273    45265  4234587   93   115564   62793  40971    709 41.06
432.33/432.51	c    29400   2273    45608  4260309   93   116308   69073  41314    705 41.66
432.33/432.51	c    29875   2273    46253  4329526   93   117812   75981  41959    701 42.61
432.33/432.51	c    30689   2273    47343  4434597   93   120547   83580  43049    690 44.45
432.33/432.51	c    32009   2273    48978  4640625   94   124362   91939  44684    680 47.00
432.33/432.51	c    34090   2273    51817  4960981   95   131123  101133  47523    655 51.98
432.33/432.51	c    37314   2273    56163  5428715   96   141351  111247  51869    611 61.01
432.33/432.51	c    42251   2273    62896  6541923  104   156523  122372  58602    572 73.82
432.33/432.51	c    49759   2273    73693  7724474  104   181215  134610  69399    503 98.82
432.33/432.51	c    61120   2273    90328 10350775  114   218206  148072  86034    398 153.26
432.33/432.51	c    78265   2273   113486 13132043  115   268972  162880 109192    313 249.60
432.33/432.51	c   104085   2273   149710 18576802  124   350154  179169 145416    244 425.90
432.33/432.51	o 30
446.63/446.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
446.63/446.87	c   105162   2273   151086 18731301  123   353719   57084 146792    243 432.36
446.63/446.87	c   105263   2273    24247  2855854  117    63521   62793  19953    241 435.42
446.63/446.87	c   105513   2273    24598  2878347  117    64465   69073  20304    242 435.84
446.63/446.87	c   105988   2273    25166  2906844  115    66089   75981  20872    242 436.26
446.63/446.87	c   106801   2273    26368  3012230  114    68948   83580  22074    244 437.40
446.63/446.87	c   108121   2273    28183  3163550  112    73203   91939  23889    246 439.02
446.63/446.87	c   110204   2273    31111  3513782  112    80535  101133  26817    249 442.07
446.63/446.87	o 27
455.53/455.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
455.53/455.71	c   112483   2273    34159  3771938  110    88198   57052  29865    251 446.71
455.53/455.71	c   112584   2273    34263  3775713  110    88411   62758  29969    251 446.78
455.53/455.71	c   112835   2273    34555  3793620  109    89499   69034  30261    252 447.04
455.53/455.71	c   113310   2273    35240  3878431  110    90956   75938  30946    252 448.02
455.53/455.71	c   114124   2273    36442  3979602  109    93822   83532  32148    253 450.07
455.53/455.71	c   115444   2273    38094  4086480  107    98784   91886  33800    255 451.89
455.53/455.71	c   117525   2273    40606  4291223  105   105155  101075  36312    258 454.66
455.53/455.71	o 24
1355.68/1356.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1355.68/1356.02	c   118049   2273    41387  4389824  106   106987   57052  37093    259 455.55
1355.68/1356.02	c   118149   2273    41504  4397719  105   107255   62758  37210    259 455.67
1355.68/1356.02	c   118399   2273    41857  4423200  105   107981   69034  37563    259 456.36
1355.68/1356.02	c   118876   2273    42494  4472332  105   109498   75938  38200    259 457.45
1355.68/1356.02	c   119690   2273    43550  4566245  104   111959   83532  39256    260 459.41
1355.68/1356.02	c   121011   2273    45382  4754499  104   116310   91886  41088    261 462.46
1355.68/1356.02	c   123092   2273    48273  5035344  104   123144  101075  43979    262 468.46
1355.68/1356.02	c   126315   2273    52263  5294826  101   131969  111183  47969    265 475.04
1355.68/1356.02	c   131251   2273    59115  5935750  100   146677  122302  54821    269 487.52
1355.68/1356.02	c   138757   2273    69545  7029899  101   168544  134533  65251    271 510.31
1355.68/1356.02	c   150119   2273    85116  8477195   99   201848  147987  80822    271 553.43
1355.68/1356.02	c   167265   2273   107518 10435444   97   249083  162786 103224    265 629.88
1355.68/1356.02	c   193084   2273   143700 15445597  107   324383  179065 139406    249 774.09
1355.68/1356.02	c   231916   2273    38243  3462134   90    91347  196972  33949    225 1027.89
1355.68/1356.02	c   290269   2273   113909 16133879  141   262598  216670 109615    232 1248.12
1355.68/1356.02	o 23
1797.92/1798.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.38	c   309638   2273   140867 19825471  140   324183   57052 136573    228 1355.71
1797.92/1798.38	c   309739   2273    23638  2562708  108    62120   62758  19344    227 1358.88
1797.92/1798.38	c   309990   2273    23942  2578740  107    62990   69034  19648    228 1359.02
1797.92/1798.38	c   310465   2273    24466  2600567  106    64364   75938  20172    228 1359.14
1797.92/1798.38	c   311278   2273    25356  2633157  103    67091   83532  21062    228 1359.42
1797.92/1798.38	c   312601   2273    27042  2772819  102    72617   91886  22748    229 1361.26
1797.92/1798.38	c   314682   2273    29390  2977549  101    79296  101075  25096    230 1362.77
1797.92/1798.38	c   317906   2273    33578  3347906   99    89673  111183  29284    232 1368.35
1797.92/1798.38	c   322843   2273    40464  4239339  104   105386  122302  36170    234 1378.22
1797.92/1798.38	c   330349   2273    49761  5162552  103   126589  134533  45467    237 1389.69
1797.92/1798.38	c   341712   2273    64582  6354311   98   161504  147987  60288    241 1417.55
1797.92/1798.38	c   358856   2273    87691  8866314  101   213757  162786  83397    241 1487.07
1797.92/1798.38	c   384675   2273   122330 12023513   98   288923  179065 118036    241 1591.69
1797.92/1798.38	c Resources Exceeded
1797.92/1798.38	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.92/1798.38	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.38	c   92   418385 122530   701327   166590 16777079 162296    232 1798.00
1797.92/1798.38	c Objective: 23
1797.92/1798.38	s SATISFIABLE
1797.92/1798.38	c Total time: 1798 s

Verifier Data 

OK	23

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-3708527-1338190105/watcher-3708527-1338190105 -o /tmp/evaluation-result-3708527-1338190105/solver-3708527-1338190105 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708527-1338190105.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/174 2304
/proc/meminfo: memFree=28426116/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=11168 CPUtime=0 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 285135911 11436032 313 33554432000 134512640 137138936 4292264768 4292262744 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 2792 313 179 642 0 2124 0

[startup+0.0613681 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2304
/proc/meminfo: memFree=28426116/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=12548 CPUtime=0.05 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 766 0 0 0 5 0 0 0 20 0 1 0 285135911 12849152 695 33554432000 134512640 137138936 4292264768 4292227376 134542508 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 3137 695 185 642 0 2493 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12548

[startup+0.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2304
/proc/meminfo: memFree=28426116/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=12548 CPUtime=0.09 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 766 0 0 0 9 0 0 0 20 0 1 0 285135911 12849152 695 33554432000 134512640 137138936 4292264768 4292227300 136511125 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 3137 695 185 642 0 2493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12548

[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2304
/proc/meminfo: memFree=28426116/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=12984 CPUtime=0.29 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 873 0 0 0 29 0 0 0 20 0 1 0 285135911 13295616 797 33554432000 134512640 137138936 4292264768 4292263696 134542246 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 3246 797 192 642 0 2602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12984

[startup+0.70018 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2304
/proc/meminfo: memFree=28426116/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=14040 CPUtime=0.68 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 1147 0 0 0 68 0 0 0 20 0 1 0 285135911 14376960 1071 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 3510 1071 192 642 0 2866 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14040

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28422156/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=16132 CPUtime=1.49 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 1672 0 0 0 148 1 0 0 20 0 1 0 285135911 16519168 1596 33554432000 134512640 137138936 4292264768 4292263192 134606964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 4033 1596 192 642 0 3389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16132

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28418312/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=20412 CPUtime=3.08 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 2741 0 0 0 307 1 0 0 20 0 1 0 285135911 20901888 2665 33554432000 134512640 137138936 4292264768 4292263480 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 5103 2665 192 642 0 4459 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20412

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28411244/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=27152 CPUtime=6.28 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 4413 0 0 0 626 2 0 0 20 0 1 0 285135911 27803648 4337 33554432000 134512640 137138936 4292264768 4292263472 136297625 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 6788 4337 192 642 0 6144 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27152

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28398984/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=38044 CPUtime=12.69 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 7136 0 0 0 1265 4 0 0 20 0 1 0 285135911 38957056 7060 33554432000 134512640 137138936 4292264768 4292259648 134573839 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 9511 7060 192 642 0 8867 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38044

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28386452/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=50464 CPUtime=25.49 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 10266 0 0 0 2543 6 0 0 20 0 1 0 285135911 51675136 10186 33554432000 134512640 137138936 4292264768 4292263696 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 12616 10186 192 642 0 11972 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50464

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2305
/proc/meminfo: memFree=28356660/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=79852 CPUtime=51.06 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 17617 0 0 0 5095 11 0 0 20 0 1 0 285135911 81768448 17521 33554432000 134512640 137138936 4292264768 4292263696 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 19963 17521 192 642 0 19319 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79852

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2308
/proc/meminfo: memFree=28312924/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=120768 CPUtime=102.25 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 27880 0 0 0 10207 18 0 0 20 0 1 0 285135911 123666432 28213 33554432000 134512640 137138936 4292264768 4292263688 135984569 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 30192 28213 192 642 0 29548 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 120768

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2309
/proc/meminfo: memFree=28274948/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=158584 CPUtime=162.23 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 37336 0 0 0 16198 25 0 0 20 0 1 0 285135911 162390016 37664 33554432000 134512640 137138936 4292264768 4292263192 134606693 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2304/statm: 39646 37664 192 642 0 39002 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 158584

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2309
/proc/meminfo: memFree=28249956/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=184304 CPUtime=222.19 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 43807 0 0 0 22189 30 0 0 20 0 1 0 285135911 188727296 44101 33554432000 134512640 137138936 4292264768 4292263192 134606852 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 46076 44101 192 642 0 45432 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 184304

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2309
/proc/meminfo: memFree=28228564/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=204924 CPUtime=282.18 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 48961 0 0 0 28183 35 0 0 20 0 1 0 285135911 209842176 49255 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 51231 49255 192 642 0 50587 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 204924

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2309
/proc/meminfo: memFree=28203452/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=230056 CPUtime=342.17 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 55244 0 0 0 34177 40 0 0 20 0 1 0 285135911 235577344 55537 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 57514 55537 192 642 0 56870 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 230056

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 2309
/proc/meminfo: memFree=28177592/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=256228 CPUtime=402.13 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 61799 0 0 0 40169 44 0 0 20 0 1 0 285135911 262377472 62061 33554432000 134512640 137138936 4292264768 4292263696 134542620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 64057 62061 192 642 0 63413 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 256228

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2310
/proc/meminfo: memFree=28164012/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=268128 CPUtime=462.12 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 64938 0 0 0 46164 48 0 0 20 0 1 0 285135911 274563072 65056 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 67032 65056 192 642 0 66388 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 268128

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2310
/proc/meminfo: memFree=28164508/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=268128 CPUtime=522.12 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 64938 0 0 0 52160 52 0 0 20 0 1 0 285135911 274563072 65056 33554432000 134512640 137138936 4292264768 4292263696 134542286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 67032 65056 192 642 0 66388 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 268128

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2310
/proc/meminfo: memFree=28161888/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=268128 CPUtime=582.1 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 64946 0 0 0 58155 55 0 0 20 0 1 0 285135911 274563072 65056 33554432000 134512640 137138936 4292264768 4292263696 134543082 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 67032 65056 192 642 0 66388 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 268128

[startup+642.3 s]

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

/proc/meminfo: memFree=28053780/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1062.03 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69193 0 0 0 106125 78 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263192 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 284460

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28030840/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1122.01 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69193 0 0 0 112121 80 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263520 134575044 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 284460

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28019680/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1182.01 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69193 0 0 0 118117 84 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 284460

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2353
/proc/meminfo: memFree=28019608/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1241.99 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69198 0 0 0 124113 86 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 284460

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2356
/proc/meminfo: memFree=28019564/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1301.99 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69198 0 0 0 130109 90 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 284460

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2356
/proc/meminfo: memFree=28019580/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1361.98 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 136106 92 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263264 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 284460

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2357
/proc/meminfo: memFree=28019696/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1421.97 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 142101 96 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263884 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 284460

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 2357
/proc/meminfo: memFree=28018952/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1481.96 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 148098 98 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 284460

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2357
/proc/meminfo: memFree=28000476/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1541.95 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 154093 102 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 284460

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2357
/proc/meminfo: memFree=27978588/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1601.94 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 160089 105 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263688 135984550 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 284460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2357
/proc/meminfo: memFree=27962296/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1661.93 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 166085 108 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 284460

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2358
/proc/meminfo: memFree=27947912/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1721.92 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 172083 109 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542761 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 284460

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2358
/proc/meminfo: memFree=27935016/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1781.92 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 178081 111 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 284460

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

[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2358
/proc/meminfo: memFree=27932784/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1791.52 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179041 111 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 284460

[startup+1795.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2358
/proc/meminfo: memFree=27932040/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1794.71 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179360 111 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 284460

[startup+1796.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 2358
/proc/meminfo: memFree=27931668/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1796.32 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179520 112 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263192 134606623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 284460

[startup+1797.5 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 2358
/proc/meminfo: memFree=27931420/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1797.12 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179600 112 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 284460

[startup+1797.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 2358
/proc/meminfo: memFree=27931420/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1797.52 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179640 112 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 284460

[startup+1798.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 2358
/proc/meminfo: memFree=27931420/32873852 swapFree=6848/6848
[pid=2304] ppid=2302 vsize=284460 CPUtime=1797.92 cores=0,2,4,6
/proc/2304/stat : 2304 (bsolo) R 2302 2304 31475 0 -1 4202496 69332 0 0 0 179680 112 0 0 20 0 1 0 285135911 291287040 69124 33554432000 134512640 137138936 4292264768 4292263696 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2304/statm: 71115 69124 192 642 0 70471 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 284460

Child status: 0
Real time (s): 1798.38
CPU time (s): 1798
CPU user time (s): 1796.88
CPU system time (s): 1.12183
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 285164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.12183
maximum resident set size= 277200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69333
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= 135
involuntary context switches= 2236

runsolver used 4.51031 second user time and 8.5537 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 09:28:25
IDJOB=3708527
IDBENCH=72484
IDSOLVER=2286
FILE ID=node129/3708527-1338190105
RUNJOBID= node129-1338158686-31491
PBS_JOBID= 14624544
Free space on /tmp= 71192 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-3708527-1338190105/watcher-3708527-1338190105 -o /tmp/evaluation-result-3708527-1338190105/solver-3708527-1338190105 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708527-1338190105.opb

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

MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060
RANDOM SEED=424545116

node129.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		: 2666.957
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	: 5333.91
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		: 2666.957
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		: 2666.957
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	: 5331.91
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		: 2666.957
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		: 2666.957
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.90
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		: 2666.957
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.92
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		: 2666.957
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.90
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		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28426380 kB
Buffers:          388560 kB
Cached:          3140692 kB
SwapCached:            0 kB
Active:          1299656 kB
Inactive:        2288568 kB
Active(anon):      59600 kB
Inactive(anon):     1848 kB
Active(file):    1240056 kB
Inactive(file):  2286720 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3944 kB
Writeback:             0 kB
AnonPages:         65620 kB
Mapped:            15460 kB
Shmem:               204 kB
Slab:             720180 kB
SReclaimable:     162808 kB
SUnreclaim:       557372 kB
KernelStack:        1448 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     182232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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= 71188 MiB
End job on node129 at 2012-05-28 09:58:23