Trace number 1878028

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clOPT3 989.014 989.295

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 benchmark7.08792
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878028-1245187982.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.005 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.014 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.01
0.00/0.01	c Switching off lower bounding mode.
40.07/40.12	c      103    792     1283    10526    8     4409    7322    103   4120 0.03
40.07/40.12	c      253    792     1433    19687   13     4620    8055    253   6023 0.04
40.07/40.12	c      479    792     1659    35220   21     5059    8861    479   7044 0.07
40.07/40.12	c      818    792     1998    56400   28     5719    9748    818   7238 0.11
40.07/40.12	c     1327    792     2507    89447   35     6764   10723   1327   6984 0.19
40.07/40.12	c     2090    792     3270   139751   42     8309   11796   2090   6830 0.31
40.07/40.12	c     3238    792     4418   208372   47    10587   12976   3238   5478 0.59
40.07/40.12	c     4960    792     6140   319761   52    14040   14274   4960   5188 0.96
40.07/40.12	c     7544    792     8724   476777   54    19137   15702   7544   4080 1.85
40.07/40.12	c    11424    792    12604   701758   55    26885   17273  11424   2433 4.69
40.07/40.12	c    17247    792    18427  1064087   57    38588   19001  17247   1883 9.16
40.07/40.12	c    25986    792    17254  1014229   58    36223   20902  16074   1577 16.47
40.07/40.12	c    39097    792    19500  1285553   65    40707   22993  18320   1757 22.25
40.07/40.12	c    58767    792    14457   826198   57    30632   25293  13277   1624 36.17
40.07/40.12	o 73
213.03/213.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
213.03/213.12	c    68620    792    24311  1462203   60    50372    6672  23131   1711 40.10
213.03/213.12	c    68720    792     4617   240230   52    11102    7340   3437   1702 40.36
213.03/213.12	c    68970    792     4867   257244   52    11542    8075   3687   1707 40.40
213.03/213.12	c    69446    782     5343   294327   55    12537    8883   4163   1715 40.48
213.03/213.12	c    70260    782     6157   346237   56    14135    9772   4977   1730 40.60
213.03/213.12	c    71580    782     7477   434273   58    16731   10750   6297   1753 40.82
213.03/213.12	c    73663    782     9560   562901   58    20893   11826   8380   1783 41.30
213.03/213.12	c    76886    782    12783   747259   58    27350   13009  11603   1808 42.51
213.03/213.12	c    81823    782    11155   610592   54    24096   14310   9975   1837 44.52
213.03/213.12	c    89329    782    11365   673762   59    24530   15742  10185   1843 48.46
213.03/213.12	c   100691    781    14784   827249   55    31310   17317  13604   1886 53.38
213.03/213.12	c   117835    781    13988   889244   63    29754   19049  12808   1845 63.85
213.03/213.12	c   143655    781    19597  1277007   65    40965   20954  18417   1743 82.38
213.03/213.12	c   182487    781    14379   930921   64    30492   23050  13199   1523 119.81
213.03/213.12	c   240840    780    22475  1383696   61    46607   25356  21295   1380 174.44
213.03/213.12	o 41
549.83/550.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.83/550.00	c   289026    780    26470  1777606   67    54728    6670  25290   1356 213.06
549.83/550.00	c   289126    780     4619   226660   49    11053    7338   3439   1355 213.34
549.83/550.00	c   289376    780     4869   245481   50    11595    8072   3689   1356 213.38
549.83/550.00	c   289851    780     5344   280840   52    12460    8880   4164   1357 213.45
549.83/550.00	c   290664    770     6157   336520   54    14066    9769   4977   1360 213.60
549.83/550.00	c   291984    770     7477   423328   56    16716   10746   6297   1364 214.01
549.83/550.00	c   294065    770     9558   565903   59    20948   11821   8378   1371 214.40
549.83/550.00	c   297288    770    12781   778309   60    27378   13004  11601   1379 215.45
549.83/550.00	c   302224    770    11131   663679   59    24070   14305   9951   1377 219.44
549.83/550.00	c   309731    770    10794   627374   58    23411   15736   9614   1391 222.63
549.83/550.00	c   321093    770    14056   809427   57    29976   17310  12876   1412 227.35
549.83/550.00	c   338238    770    12724   759633   59    27245   19042  11544   1396 242.19
549.83/550.00	c   364058    770    19344  1161375   60    40392   20947  18164   1301 279.82
549.83/550.00	c   402890    767    14094   910978   64    29935   23042  12914   1241 324.50
549.83/550.00	c   461242    767    22422  1445341   64    46565   25347  21242   1244 370.71
549.83/550.00	c   548874    766    22331  1420426   63    46415   27882  21151   1080 508.15
549.83/550.00	o 35
556.03/556.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
556.03/556.26	c   610107    764    14537   875311   60    30804    6668  13357   1109 549.85
556.03/556.26	c   610209    764     4625   222214   48    11039    7335   3445   1109 550.03
556.03/556.26	c   610459    764     4875   240993   49    11560    8069   3695   1109 550.07
556.03/556.26	c   610934    764     5350   272276   50    12499    8876   4170   1110 550.14
556.03/556.26	c   611747    764     6163   325959   52    14119    9764   4983   1111 550.29
556.03/556.26	c   613068    764     7484   413112   55    16712   10741   6304   1113 550.63
556.03/556.26	c   615150    764     9566   555709   58    20906   11816   8386   1115 551.30
556.03/556.26	c   618374    764    12790   774679   60    27285   12998  11610   1119 552.25
556.03/556.26	c   623310    764    10885   668467   61    23453   14298   9705   1123 554.91
556.03/556.26	o 27
623.41/623.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
623.41/623.67	c   626444    764    14020   868623   61    29827    6668  12840   1126 556.11
623.41/623.67	c   626544    764     4623   223968   48    10975    7335   3443   1126 556.21
623.41/623.67	c   626795    754     4874   238894   49    11554    8069   3694   1126 556.25
623.41/623.67	c   627270    754     5349   271276   50    12482    8876   4169   1127 556.33
623.41/623.67	c   628083    754     6162   327248   53    14125    9764   4982   1128 556.58
623.41/623.67	c   629404    754     7483   412491   55    16761   10741   6303   1129 557.04
623.41/623.67	c   631485    754     9564   546430   57    20882   11816   8384   1132 557.68
623.41/623.67	c   634708    754    12787   760896   59    27321   12998  11607   1134 559.51
623.41/623.67	c   639644    754    11135   662736   59    24030   14298   9955   1135 563.47
623.41/623.67	c   647151    754    11387   662452   58    24507   15728  10207   1134 570.25
623.41/623.67	c   658512    754    14544   910115   62    30805   17301  13364   1140 577.34
623.41/623.67	c   675656    754    13579   780036   57    28839   19032  12399   1148 588.13
623.41/623.67	c   701476    754    20181  1197273   59    42071   20936  19001   1127 622.15
623.41/623.67	o 25
624.31/624.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
624.31/624.54	c   705464    754    13214   778269   58    28146    6666  12034   1131 623.50
624.31/624.54	c   705565    754     4626   235236   50    10976    7333   3446   1131 623.63
624.31/624.54	c   705816    754     4877   252192   51    11507    8067   3697   1131 623.68
624.31/624.54	c   706291    754     5352   285989   53    12481    8874   4172   1132 623.74
624.31/624.54	c   707104    754     6165   342084   55    14097    9762   4985   1133 623.88
624.31/624.54	c   708424    754     7485   438665   58    16731   10739   6305   1134 624.17
624.31/624.54	o 13
624.82/625.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
624.82/625.02	c   709470    754     8532   501225   58    18822    6666   7352   1136 624.37
624.82/625.02	c   709570    744     4624   235410   50    11015    7333   3444   1136 624.41
624.82/625.02	c   709820    744     4874   251755   51    11460    8067   3694   1136 624.48
624.82/625.02	c   710297    744     5351   281463   52    12478    8874   4171   1137 624.57
624.82/625.02	c   711110    744     6164   338385   54    14030    9762   4984   1138 624.78
624.82/625.02	o 3
988.91/989.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
988.91/989.29	c   711507    744     6562   365055   55    14853    6664   5382   1138 624.85
988.91/989.29	c   711608    713     6663   370833   55    15116    7331   5483   1138 624.88
988.91/989.29	c   711859    713     6914   387295   56    15643    8065   5734   1139 624.94
988.91/989.29	c   712334    713     7389   421657   57    16537    8872   6209   1139 625.06
988.91/989.29	c   713148    713     8203   474959   57    18184    9760   7023   1140 625.29
988.91/989.29	c   714469    713     9524   566947   59    20824   10737   8344   1142 625.59
988.91/989.29	c   716551    713    11606   720621   62    24963   11811  10426   1144 626.26
988.91/989.29	c   719775    713     8251   494200   59    18247   12993   7071   1147 627.10
988.91/989.29	c   724711    713    13187   821804   62    28138   14293  12007   1153 628.38
988.91/989.29	c   732218    713    13408   797294   59    28608   15723  12228   1155 633.76
988.91/989.29	c   743579    713    16473  1086760   65    34731   17296  15293   1163 638.83
988.91/989.29	c   760723    712    15489   937149   60    32721   19026  14309   1175 647.38
988.91/989.29	c   786542    712    11578   682675   58    24912   20929  10398   1161 677.09
988.91/989.29	c   825375    712    17307  1106143   63    36330   23022  16127   1155 714.40
988.91/989.29	c   883727    711    13308   782955   58    28423   25325  12128   1149 768.68
988.91/989.29	c   971359    710    14338   797350   55    30441   27858  13158   1068 909.45
988.91/989.29	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 
988.91/989.29	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
988.91/989.29	c   94  1018765  10526  1073137    27881  1472167  26701   1030 989.01
988.91/989.29	c Objective: 3
988.91/989.29	s OPTIMUM FOUND
988.91/989.29	c Total time: 989.007 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-1878028-1245187982/watcher-1878028-1245187982 -o /tmp/evaluation-result-1878028-1245187982/solver-1878028-1245187982 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878028-1245187982.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: 0.92 0.98 0.99 3/64 6978
/proc/meminfo: memFree=1877760/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=10748 CPUtime=0
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 186395200 11005952 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 2687 239 175 640 0 2032 0

[startup+0.0905601 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6978
/proc/meminfo: memFree=1877760/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=11608 CPUtime=0.08
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 501 0 0 0 8 0 0 0 18 0 1 0 186395200 11886592 474 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 2902 474 196 640 0 2258 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11608

[startup+0.102561 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6978
/proc/meminfo: memFree=1877760/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=11608 CPUtime=0.09
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 519 0 0 0 9 0 0 0 18 0 1 0 186395200 11886592 492 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 2902 492 196 640 0 2258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11608

[startup+0.301581 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6978
/proc/meminfo: memFree=1877760/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=12880 CPUtime=0.29
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 835 0 0 0 29 0 0 0 19 0 1 0 186395200 13189120 808 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 3220 808 196 640 0 2576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12880

[startup+0.701621 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6978
/proc/meminfo: memFree=1877760/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=14260 CPUtime=0.69
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 1178 0 0 0 69 0 0 0 22 0 1 0 186395200 14602240 1151 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 3565 1151 196 640 0 2921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14260

[startup+1.5017 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1872248/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=17140 CPUtime=1.49
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 1900 0 0 0 148 1 0 0 25 0 1 0 186395200 17551360 1873 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 4285 1873 196 640 0 3641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17140

[startup+3.10187 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1869816/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=19392 CPUtime=3.09
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 2457 0 0 0 308 1 0 0 25 0 1 0 186395200 19857408 2430 1992294400 134512640 137136520 4294956256 18446744073709551615 134543781 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 4848 2430 196 640 0 4204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19392

[startup+6.30119 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1865848/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=22904 CPUtime=6.29
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 3334 0 0 0 627 2 0 0 25 0 1 0 186395200 23453696 3307 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 5726 3307 196 640 0 5082 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22904

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1859192/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=28560 CPUtime=12.69
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 4754 0 0 0 1265 4 0 0 25 0 1 0 186395200 29245440 4727 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 7140 4727 196 640 0 6496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28560

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1853496/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=34416 CPUtime=25.48
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6220 0 0 0 2541 7 0 0 25 0 1 0 186395200 35241984 6193 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 8604 6193 196 640 0 7960 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34416

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1853368/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=34408 CPUtime=51.07
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6221 0 0 0 5093 14 0 0 25 0 1 0 186395200 35233792 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 8602 6194 197 640 0 7958 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34408

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1853368/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=34404 CPUtime=102.26
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6221 0 0 0 10203 23 0 0 25 0 1 0 186395200 35229696 6194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 8601 6194 197 640 0 7957 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34404

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1853368/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=34408 CPUtime=162.24
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6222 0 0 0 16193 31 0 0 25 0 1 0 186395200 35233792 6195 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 8602 6195 197 640 0 7958 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 34408

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1851192/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=36560 CPUtime=222.22
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6766 0 0 0 22179 43 0 0 25 0 1 0 186395200 37437440 6739 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9140 6739 197 640 0 8496 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 36560

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1851128/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=36560 CPUtime=282.21
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6766 0 0 0 28169 52 0 0 25 0 1 0 186395200 37437440 6739 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9140 6739 197 640 0 8496 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 36560

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1851192/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=36560 CPUtime=342.19
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6766 0 0 0 34159 60 0 0 25 0 1 0 186395200 37437440 6739 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9140 6739 197 640 0 8496 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 36560

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1850616/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=37160 CPUtime=402.18
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6909 0 0 0 40150 68 0 0 25 0 1 0 186395200 38051840 6882 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9290 6882 197 640 0 8646 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 37160

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1850552/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=37156 CPUtime=462.15
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 6909 0 0 0 46142 73 0 0 25 0 1 0 186395200 38047744 6882 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9289 6882 197 640 0 8645 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 37156

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38300 CPUtime=522.14
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7223 0 0 0 52131 83 0 0 25 0 1 0 186395200 39219200 7173 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9575 7173 197 640 0 8931 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 38300

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849400/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=582.12
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 58115 97 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 38304

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=642.11
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 64100 111 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136502201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 38304

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849400/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=702.09
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 70089 120 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 38304

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=762.08
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 76078 130 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 38304

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849400/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=822.06
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 82068 138 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 38304

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=882.04
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 88057 147 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 38304

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=942.02
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 94047 155 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 38304

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

[startup+947.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849336/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=946.82
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 94526 156 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 946.82
Current children cumulated vsize (KiB) 38304

[startup+972.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=972.41
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 97082 159 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 972.41
Current children cumulated vsize (KiB) 38304

[startup+979.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=978.81
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 97721 160 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 978.81
Current children cumulated vsize (KiB) 38304

[startup+985.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=985.21
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98361 160 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 985.21
Current children cumulated vsize (KiB) 38304

[startup+987.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=986.81
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98521 160 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 986.81
Current children cumulated vsize (KiB) 38304

[startup+987.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=987.61
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98600 161 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 987.61
Current children cumulated vsize (KiB) 38304

[startup+988.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=988.41
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98680 161 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 988.41
Current children cumulated vsize (KiB) 38304

[startup+989.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=988.81
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98720 161 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 988.81
Current children cumulated vsize (KiB) 38304

[startup+989.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6979
/proc/meminfo: memFree=1849272/2055920 swapFree=4192812/4192956
[pid=6978] ppid=6976 vsize=38304 CPUtime=988.91
/proc/6978/stat : 6978 (bsolo) R 6976 6978 5825 0 -1 4194304 7225 0 0 0 98730 161 0 0 25 0 1 0 186395200 39223296 7175 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6978/statm: 9576 7175 197 640 0 8932 0
Current children cumulated CPU time (s) 988.91
Current children cumulated vsize (KiB) 38304

Child status: 0
Real time (s): 989.295
CPU time (s): 989.014
CPU user time (s): 987.397
CPU system time (s): 1.61675
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 38304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 987.397
system time used= 1.61675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7227
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= 3
involuntary context switches= 1720

runsolver used 0.72289 second user time and 2.14967 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-16 23:33:02
IDJOB=1878028
IDBENCH=48008
IDSOLVER=700
FILE ID=node45/1878028-1245187982
PBS_JOBID= 9363928
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878028-1245187982/watcher-1878028-1245187982 -o /tmp/evaluation-result-1878028-1245187982/solver-1878028-1245187982 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878028-1245187982.opb

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

MD5SUM BENCH= cdc1e49bcf2e6b6913c93a683c821b72
RANDOM SEED=843124922

node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1878176 kB
Buffers:         41944 kB
Cached:          72700 kB
SwapCached:        140 kB
Active:          68288 kB
Inactive:        60464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1878176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            35008 kB
Committed_AS:   165168 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878028-1245187982.opb

Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-06-16 23:49:31