Trace number 2670584

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.2 ClOPT3 984.625 985.021

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb
MD5SUMcdc1e49bcf2e6b6913c93a683c821b72
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.834872
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670584-1276702877.opb
0.00/0.00	c File size is 43525 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.007 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.01	c Pre-processing Time: 0.016 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1180     4960    4     4260    6656      0      0 0.02
0.00/0.01	c Switching off lower bounding mode.
39.86/39.96	c      103    792     1283    10526    8     4409    7322    103   3814 0.03
39.86/39.96	c      253    792     1433    19687   13     4620    8055    253   5750 0.04
39.86/39.96	c      479    792     1659    35220   21     5059    8861    479   6842 0.07
39.86/39.96	c      818    792     1998    56400   28     5719    9748    818   7113 0.12
39.86/39.96	c     1327    792     2507    89447   35     6764   10723   1327   6911 0.19
39.86/39.96	c     2090    792     3270   139751   42     8309   11796   2090   6763 0.31
39.86/39.96	c     3238    792     4418   208372   47    10587   12976   3238   5460 0.59
39.86/39.96	c     4960    792     6140   319761   52    14040   14274   4960   5182 0.96
39.86/39.96	c     7544    792     8724   476777   54    19137   15702   7544   4080 1.85
39.86/39.96	c    11424    792    12604   701758   55    26885   17273  11424   2442 4.68
39.86/39.96	c    17247    792    18427  1064087   57    38588   19001  17247   1889 9.13
39.86/39.96	c    25986    792    17254  1014229   58    36223   20902  16074   1582 16.42
39.86/39.96	c    39097    792    19500  1285553   65    40707   22993  18320   1766 22.14
39.86/39.96	c    58767    792    14457   826198   57    30632   25293  13277   1630 36.04
39.86/39.96	o 73
212.11/212.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.11/212.24	c    68620    792    24311  1462203   60    50372    6672  23131   1718 39.94
212.11/212.24	c    68720    792     4617   240230   52    11102    7340   3437   1709 40.20
212.11/212.24	c    68970    792     4867   257244   52    11542    8075   3687   1713 40.24
212.11/212.24	c    69446    782     5343   294327   55    12537    8883   4163   1722 40.31
212.11/212.24	c    70260    782     6157   346237   56    14135    9772   4977   1737 40.44
212.11/212.24	c    71580    782     7477   434273   58    16731   10750   6297   1760 40.65
212.11/212.24	c    73663    782     9560   562901   58    20893   11826   8380   1791 41.13
212.11/212.24	c    76886    782    12783   747259   58    27350   13009  11603   1816 42.32
212.11/212.24	c    81823    782    11155   610592   54    24096   14310   9975   1846 44.31
212.11/212.24	c    89329    782    11365   673762   59    24530   15742  10185   1851 48.24
212.11/212.24	c   100691    781    14784   827249   55    31310   17317  13604   1894 53.16
212.11/212.24	c   117835    781    13988   889244   63    29754   19049  12808   1853 63.57
212.11/212.24	c   143655    781    19597  1277007   65    40965   20954  18417   1750 82.07
212.11/212.25	c   182487    781    14379   930921   64    30492   23050  13199   1529 119.33
212.11/212.25	c   240840    780    22475  1383696   61    46607   25356  21295   1386 173.73
212.11/212.25	o 41
547.47/547.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
547.47/547.77	c   289026    780    26470  1777606   67    54728    6670  25290   1362 212.16
547.47/547.77	c   289126    780     4619   226660   49    11053    7338   3439   1360 212.44
547.47/547.77	c   289376    780     4869   245481   50    11595    8072   3689   1361 212.48
547.47/547.77	c   289851    780     5344   280840   52    12460    8880   4164   1363 212.55
547.47/547.77	c   290664    770     6157   336520   54    14066    9769   4977   1366 212.70
547.47/547.77	c   291984    770     7477   423328   56    16716   10746   6297   1370 213.11
547.47/547.77	c   294065    770     9558   565903   59    20948   11821   8378   1377 213.51
547.47/547.77	c   297288    770    12781   778309   60    27378   13004  11601   1385 214.57
547.47/547.77	c   302224    770    11131   663679   59    24070   14305   9951   1382 218.56
547.47/547.77	c   309731    770    10794   627374   58    23411   15736   9614   1396 221.73
547.47/547.77	c   321093    770    14056   809427   57    29976   17310  12876   1417 226.45
547.47/547.77	c   338238    770    12724   759633   59    27245   19042  11544   1401 241.29
547.47/547.77	c   364058    770    19344  1161375   60    40392   20947  18164   1305 278.79
547.47/547.77	c   402890    767    14094   910978   64    29935   23042  12914   1246 323.23
547.47/547.77	c   461242    767    22422  1445341   64    46565   25347  21242   1249 369.27
547.47/547.77	c   548874    766    22331  1420426   63    46415   27882  21151   1084 506.01
547.47/547.77	o 35
553.76/554.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
553.76/554.04	c   610107    764    14537   875311   60    30804    6668  13357   1114 547.55
553.76/554.04	c   610209    764     4625   222214   48    11039    7335   3445   1114 547.73
553.76/554.04	c   610459    764     4875   240993   49    11560    8069   3695   1114 547.78
553.76/554.04	c   610934    764     5350   272276   50    12499    8876   4170   1115 547.85
553.76/554.04	c   611747    764     6163   325959   52    14119    9764   4983   1116 548.00
553.76/554.04	c   613068    764     7484   413112   55    16712   10741   6304   1118 548.34
553.76/554.04	c   615150    764     9566   555709   58    20906   11816   8386   1120 549.01
553.76/554.04	c   618374    764    12790   774679   60    27285   12998  11610   1124 549.96
553.76/554.04	c   623310    764    10885   668467   61    23453   14298   9705   1127 552.62
553.76/554.04	o 27
620.74/621.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
620.74/621.09	c   626444    764    14020   868623   61    29827    6668  12840   1131 553.82
620.74/621.09	c   626544    764     4623   223968   48    10975    7335   3443   1131 553.92
620.74/621.09	c   626795    754     4874   238894   49    11554    8069   3694   1131 553.97
620.74/621.09	c   627270    754     5349   271276   50    12482    8876   4169   1132 554.04
620.74/621.09	c   628083    754     6162   327248   53    14125    9764   4982   1133 554.29
620.74/621.09	c   629404    754     7483   412491   55    16761   10741   6303   1134 554.75
620.74/621.09	c   631485    754     9564   546430   57    20882   11816   8384   1137 555.38
620.74/621.09	c   634708    754    12787   760896   59    27321   12998  11607   1139 557.19
620.74/621.09	c   639644    754    11135   662736   59    24030   14298   9955   1139 561.10
620.74/621.09	c   647151    754    11387   662452   58    24507   15728  10207   1139 567.87
620.74/621.09	c   658512    754    14544   910115   62    30805   17301  13364   1145 574.96
620.74/621.09	c   675656    754    13579   780036   57    28839   19032  12399   1153 585.66
620.74/621.09	c   701476    754    20181  1197273   59    42071   20936  19001   1132 619.50
620.74/621.09	o 25
621.64/621.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
621.64/621.95	c   705464    754    13214   778269   58    28146    6666  12034   1136 620.84
621.64/621.95	c   705565    754     4626   235236   50    10976    7333   3446   1136 620.98
621.64/621.95	c   705816    754     4877   252192   51    11507    8067   3697   1136 621.02
621.64/621.95	c   706291    754     5352   285989   53    12481    8874   4172   1137 621.09
621.64/621.95	c   707104    754     6165   342084   55    14097    9762   4985   1138 621.23
621.64/621.95	c   708424    754     7485   438665   58    16731   10739   6305   1139 621.51
621.64/621.95	o 13
622.14/622.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
622.14/622.43	c   709470    754     8532   501225   58    18822    6666   7352   1141 621.71
622.14/622.43	c   709570    744     4624   235410   50    11015    7333   3444   1141 621.75
622.14/622.43	c   709820    744     4874   251755   51    11460    8067   3694   1141 621.82
622.14/622.43	c   710297    744     5351   281463   52    12478    8874   4171   1142 621.91
622.14/622.43	c   711110    744     6164   338385   54    14030    9762   4984   1143 622.12
622.14/622.43	o 3
984.60/985.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
984.60/985.01	c   711507    744     6562   365055   55    14853    6664   5382   1143 622.18
984.60/985.01	c   711608    713     6663   370833   55    15116    7331   5483   1143 622.22
984.60/985.01	c   711859    713     6914   387295   56    15643    8065   5734   1143 622.28
984.60/985.01	c   712334    713     7389   421657   57    16537    8872   6209   1144 622.39
984.60/985.01	c   713148    713     8203   474959   57    18184    9760   7023   1145 622.62
984.60/985.01	c   714469    713     9524   566947   59    20824   10737   8344   1146 622.92
984.60/985.01	c   716551    713    11606   720621   62    24963   11811  10426   1149 623.59
984.60/985.01	c   719775    713     8251   494200   59    18247   12993   7071   1152 624.44
984.60/985.01	c   724711    713    13187   821804   62    28138   14293  12007   1158 625.72
984.60/985.01	c   732218    713    13408   797294   59    28608   15723  12228   1160 631.09
984.60/985.01	c   743579    713    16473  1086760   65    34731   17296  15293   1168 636.15
984.60/985.01	c   760723    712    15489   937149   60    32721   19026  14309   1180 644.64
984.60/985.01	c   786542    712    11578   682675   58    24912   20929  10398   1166 674.23
984.60/985.01	c   825375    712    17307  1106143   63    36330   23022  16127   1160 711.30
984.60/985.01	c   883727    711    13308   782955   58    28423   25325  12128   1154 765.29
984.60/985.01	c   971359    710    14338   797350   55    30441   27858  13158   1072 905.40
984.60/985.01	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 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 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 x97 x98 -x99 x100 x101 -x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 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 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
984.60/985.01	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
984.60/985.01	c   94  1018765  10526  1073137    27881  1472167  26701   1034 984.62
984.60/985.01	c Objective: 3
984.60/985.01	s OPTIMUM FOUND
984.60/985.01	c Total time: 984.621 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670584-1276702877/watcher-2670584-1276702877 -o /tmp/evaluation-result-2670584-1276702877/solver-2670584-1276702877 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670584-1276702877.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 14364
/proc/meminfo: memFree=1737420/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=10836 CPUtime=0
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 45889272 11096064 254 1992294400 134512640 137138936 4292875200 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 2709 255 175 642 0 2054 0

[startup+0.0233801 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 14364
/proc/meminfo: memFree=1737420/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=11188 CPUtime=0.02
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 435 0 0 0 2 0 0 0 18 0 1 0 45889272 11456512 342 1992294400 134512640 137138936 4292875200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 2797 342 190 642 0 2153 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11188

[startup+0.101395 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 14364
/proc/meminfo: memFree=1737420/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=11684 CPUtime=0.09
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 576 0 0 0 9 0 0 0 20 0 1 0 45889272 11964416 483 1992294400 134512640 137138936 4292875200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 2921 483 190 642 0 2277 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11684

[startup+0.301434 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 14364
/proc/meminfo: memFree=1737420/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=12956 CPUtime=0.29
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 895 0 0 0 29 0 0 0 20 0 1 0 45889272 13266944 802 1992294400 134512640 137138936 4292875200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 3239 802 190 642 0 2595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12956

[startup+0.701513 s]
/proc/loadavg: 1.00 1.00 0.91 3/106 14364
/proc/meminfo: memFree=1737420/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=14336 CPUtime=0.69
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 1239 0 0 0 68 1 0 0 20 0 1 0 45889272 14680064 1146 1992294400 134512640 137138936 4292875200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 3584 1146 190 642 0 2940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14336

[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14365
/proc/meminfo: memFree=1732080/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=17216 CPUtime=1.5
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 1961 0 0 0 148 2 0 0 23 0 1 0 45889272 17629184 1868 1992294400 134512640 137138936 4292875200 18446744073709551615 134542554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 4304 1868 190 642 0 3660 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 17216

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14365
/proc/meminfo: memFree=1729600/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=19468 CPUtime=3.09
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 2519 0 0 0 306 3 0 0 25 0 1 0 45889272 19935232 2426 1992294400 134512640 137138936 4292875200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 4867 2426 190 642 0 4223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19468

[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14365
/proc/meminfo: memFree=1725508/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=22980 CPUtime=6.29
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 3402 0 0 0 623 6 0 0 25 0 1 0 45889272 23531520 3309 1992294400 134512640 137138936 4292875200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 5745 3309 190 642 0 5101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22980

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14367
/proc/meminfo: memFree=1718936/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=28636 CPUtime=12.69
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 4816 0 0 0 1260 9 0 0 25 0 1 0 45889272 29323264 4723 1992294400 134512640 137138936 4292875200 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 7159 4723 190 642 0 6515 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28636

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14367
/proc/meminfo: memFree=1713108/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=34492 CPUtime=25.48
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6282 0 0 0 2534 14 0 0 25 0 1 0 45889272 35319808 6189 1992294400 134512640 137138936 4292875200 18446744073709551615 136504414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 8623 6189 190 642 0 7979 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34492

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14367
/proc/meminfo: memFree=1712984/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=34484 CPUtime=51.06
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6283 0 0 0 5084 22 0 0 25 0 1 0 45889272 35311616 6190 1992294400 134512640 137138936 4292875200 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 8621 6190 191 642 0 7977 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34484

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14369
/proc/meminfo: memFree=1712984/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=34480 CPUtime=102.25
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6283 0 0 0 10187 38 0 0 25 0 1 0 45889272 35307520 6190 1992294400 134512640 137138936 4292875200 18446744073709551615 134542381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 8620 6190 191 642 0 7976 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34480

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14371
/proc/meminfo: memFree=1712984/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=34484 CPUtime=162.22
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6284 0 0 0 16170 52 0 0 25 0 1 0 45889272 35311616 6191 1992294400 134512640 137138936 4292875200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 8621 6191 191 642 0 7977 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 34484

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14371
/proc/meminfo: memFree=1710752/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=36636 CPUtime=222.19
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6828 0 0 0 22149 70 0 0 25 0 1 0 45889272 37515264 6735 1992294400 134512640 137138936 4292875200 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9159 6735 191 642 0 8515 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 36636

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14373
/proc/meminfo: memFree=1710752/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=36636 CPUtime=282.17
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6828 0 0 0 28132 85 0 0 25 0 1 0 45889272 37515264 6735 1992294400 134512640 137138936 4292875200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9159 6735 191 642 0 8515 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 36636

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14375
/proc/meminfo: memFree=1710752/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=36636 CPUtime=342.15
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6828 0 0 0 34115 100 0 0 25 0 1 0 45889272 37515264 6735 1992294400 134512640 137138936 4292875200 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9159 6735 191 642 0 8515 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 36636

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14377
/proc/meminfo: memFree=1710132/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=37236 CPUtime=402.12
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6971 0 0 0 40098 114 0 0 25 0 1 0 45889272 38129664 6878 1992294400 134512640 137138936 4292875200 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9309 6878 191 642 0 8665 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 37236

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14379
/proc/meminfo: memFree=1710132/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=37232 CPUtime=462.1
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 6971 0 0 0 46086 124 0 0 25 0 1 0 45889272 38125568 6878 1992294400 134512640 137138936 4292875200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9308 6878 191 642 0 8664 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 37232

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14379
/proc/meminfo: memFree=1708892/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38376 CPUtime=522.07
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7286 0 0 0 52067 140 0 0 25 0 1 0 45889272 39297024 7170 1992294400 134512640 137138936 4292875200 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9594 7170 191 642 0 8950 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 38376

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14381
/proc/meminfo: memFree=1708892/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=582.06
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 58047 159 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 38380

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14383
/proc/meminfo: memFree=1708768/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=642.04
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 64029 175 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 38380

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14385
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=702
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 70013 187 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 38380

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14387
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=761.99
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 75998 201 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 38380

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14387
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=821.96
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 81984 212 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 38380

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 14389
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=881.94
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 87970 224 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 38380

[startup+942.302 s]
/proc/loadavg: 1.06 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=941.91
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 93957 234 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 38380

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

[startup+947.108 s]
/proc/loadavg: 1.05 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=946.72
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 94437 235 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 946.72
Current children cumulated vsize (KiB) 38380

[startup+959.901 s]
/proc/loadavg: 1.04 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=959.5
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 95712 238 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 959.5
Current children cumulated vsize (KiB) 38380

[startup+972.701 s]
/proc/loadavg: 1.03 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=972.3
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 96989 241 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 972.3
Current children cumulated vsize (KiB) 38380

[startup+979.101 s]
/proc/loadavg: 1.03 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=978.7
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 97627 243 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134574990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 978.7
Current children cumulated vsize (KiB) 38380

[startup+982.308 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=981.9
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 97947 243 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134617548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 981.9
Current children cumulated vsize (KiB) 38380

[startup+983.901 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=983.49
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 98106 243 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 983.49
Current children cumulated vsize (KiB) 38380

[startup+984.701 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=984.29
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 98186 243 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 984.29
Current children cumulated vsize (KiB) 38380

[startup+984.901 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=984.5
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 98206 244 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 984.5
Current children cumulated vsize (KiB) 38380

[startup+985.001 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 14391
/proc/meminfo: memFree=1708644/2059040 swapFree=4136232/4192956
[pid=14364] ppid=14362 vsize=38380 CPUtime=984.6
/proc/14364/stat : 14364 (bsolo_pb10) R 14362 14364 14051 0 -1 4202496 7287 0 0 0 98216 244 0 0 25 0 1 0 45889272 39301120 7171 1992294400 134512640 137138936 4292875200 18446744073709551615 134617548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14364/statm: 9595 7171 191 642 0 8951 0
Current children cumulated CPU time (s) 984.6
Current children cumulated vsize (KiB) 38380

Child status: 0
Real time (s): 985.021
CPU time (s): 984.625
CPU user time (s): 982.182
CPU system time (s): 2.44363
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 38380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 982.182
system time used= 2.44363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7288
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= 1
involuntary context switches= 4141

runsolver used 1.50877 second user time and 4.77227 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-16 17:41:17
IDJOB=2670584
IDBENCH=48008
IDSOLVER=1163
FILE ID=node011/2670584-1276702877
PBS_JOBID= 11174123
Free space on /tmp= 62360 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=37-P1=223-P2=197-P3=97-P4=11-P5=157-P6=97-P7=127-P8=79-P9=11-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670584-1276702877/watcher-2670584-1276702877 -o /tmp/evaluation-result-2670584-1276702877/solver-2670584-1276702877 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670584-1276702877.opb

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

MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72
RANDOM SEED=1892053992

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1738196 kB
Buffers:         79192 kB
Cached:         159288 kB
SwapCached:       9968 kB
Active:          84540 kB
Inactive:       167016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1738196 kB
SwapTotal:     4192956 kB
SwapFree:      4136232 kB
Dirty:            3988 kB
Writeback:           0 kB
AnonPages:       11532 kB
Mapped:           9440 kB
Slab:            47564 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670584-1276702877.opb

Free space on /tmp at the end= 62356 MiB
End job on node011 at 2010-06-16 17:57:42