Trace number 1877951

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 1476.02 1476.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
MD5SUM870560ebbd959d9c8bd54c4fcdba3455
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 benchmark10.9023
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 variables192
Total number of constraints17
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 constraints17
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)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

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-1877951-1245186864.opb
0.00/0.00	c File size is 38507 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.004 s
0.00/0.00	c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.00	c Obj. Vars: 8 (1.13636 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
390.50/390.70	c      100    704     1149     9795    8     3880    6506    100   5000 0.02
390.50/390.70	c      252    704     1301    19155   14     4165    7157    252   7411 0.03
390.50/390.70	c      478    704     1527    32768   21     4574    7873    478   8241 0.06
390.50/390.70	c      816    704     1865    60789   32     5314    8661    816   7922 0.10
390.50/390.70	c     1327    704     2376    97550   41     6287    9528   1327   8345 0.16
390.50/390.70	c     2091    704     3140   155421   49     7807   10481   2091   7831 0.27
390.50/390.70	c     3238    704     4287   235328   54    10099   11530   3238   7565 0.43
390.50/390.70	c     4960    704     6009   364351   60    13484   12684   4960   7209 0.69
390.50/390.70	c     7544    704     8593   542363   63    18627   13953   7544   5676 1.33
390.50/390.70	c    11423    704    12472   784838   62    26402   15349  11423   5539 2.06
390.50/390.70	c    17245    704    10560   582572   55    22560   16884   9511   3694 4.67
390.50/390.70	c    25984    704    10798   580325   53    23052   18573   9749   1985 13.08
390.50/390.70	c    39094    704    14077  1064061   75    29596   20431  13028   2132 18.33
390.50/390.70	c    58765    704    13127   788954   60    27690   22475  12078   1791 32.80
390.50/390.70	c    88276    704    18878  1162036   61    39234   24723  17829   1530 57.66
390.50/390.70	c   132546    704    21023  1255020   59    43519   27196  19974   1264 104.84
390.50/390.70	c   198956    704    22375  1383399   61    46255   29916  21326   1111 179.00
390.50/390.70	c   298577    704    26913  1698310   63    55223   32908  25864    821 363.43
390.50/390.70	o 129
440.19/440.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
440.19/440.44	c   340095    703    24317  1567248   64    50079    5930  23268    870 390.51
440.19/440.44	c   340195    703     4116   229849   55     9782    6524   3067    870 390.78
440.19/440.44	c   340445    703     4366   248544   56    10354    7177   3317    871 390.82
440.19/440.44	c   340921    703     4842   282175   58    11292    7895   3793    872 390.90
440.19/440.44	c   341734    703     5655   336393   59    12912    8685   4606    873 391.06
440.19/440.44	c   343055    703     6976   421092   60    15566    9554   5927    876 391.39
440.19/440.44	c   345137    703     9058   571855   63    19659   10510   8009    880 391.82
440.19/440.44	c   348360    703     6453   371864   57    14468   11562   5404    886 393.01
440.19/440.44	c   353296    703    11389   705966   61    24407   12719  10340    895 394.35
440.19/440.44	c   360803    703    12408   774765   62    26429   13991  11359    905 398.50
440.19/440.44	c   372164    703     9654   562712   58    20899   15391   8605    905 411.22
440.19/440.44	c   389309    703    10226   585223   57    22013   16931   9177    923 421.43
440.19/440.44	c   415128    703     9635   584236   60    20795   18625   8586    947 437.96
440.19/440.44	o 33
680.48/680.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
680.48/680.83	c   422953    703    17461  1150968   65    36420    5930  16412    960 440.23
680.48/680.83	c   423053    703     4116   241900   58     9730    6524   3067    960 440.38
680.48/680.83	c   423303    703     4366   259593   59    10294    7177   3317    961 440.42
680.48/680.83	c   423779    703     4842   290518   59    11254    7895   3793    962 440.50
680.48/680.83	c   424592    703     5655   351801   62    12879    8685   4606    963 440.63
680.48/680.83	c   425913    703     6976   443709   63    15555    9554   5927    966 440.88
680.48/680.83	c   427995    703     9058   587788   64    19654   10510   8009    969 441.27
680.48/680.83	c   431218    703     6764   412690   61    15135   11562   5715    974 442.54
680.48/680.83	c   436154    703    11700   745018   63    24942   12719  10651    982 444.01
680.48/680.83	c   443660    703    12767   780071   61    27065   13991  11718    989 448.44
680.48/680.83	c   455021    703     9355   550635   58    20332   15391   8306   1003 453.63
680.48/680.83	c   472166    703    10920   649066   59    23431   16931   9871   1003 470.54
680.48/680.83	c   497985    703    10163   615620   60    21825   18625   9114   1026 485.33
680.48/680.83	c   536817    693    10489   672876   64    22540   20488   9440   1036 517.67
680.48/680.83	c   595169    691    14710   960288   65    31007   22537  13661   1039 572.73
680.48/680.83	c   682801    679    17360  1080989   62    36327   24791  16311   1004 679.91
680.48/680.83	o 9
762.54/762.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
762.54/762.94	c   684789    679    19349  1191908   61    40261    5926  18300   1006 680.52
762.54/762.94	c   684891    679     4121   184033   44     9905    6519   3072   1006 680.72
762.54/762.94	c   685142    679     4372   201475   46    10389    7171   3323   1006 680.76
762.54/762.94	c   685617    679     4847   234079   48    11327    7889   3798   1007 680.85
762.54/762.94	c   686431    679     5661   289692   51    12957    8678   4612   1007 681.04
762.54/762.94	c   687752    679     6982   378322   54    15564    9546   5933   1009 681.56
762.54/762.94	c   689833    679     9063   515668   56    19739   10501   8014   1010 682.57
762.54/762.94	c   693056    679     6948   395110   56    15512   11552   5899   1012 684.72
762.54/762.94	c   697992    679    11884   735143   61    25340   12708  10835   1016 686.55
762.54/762.94	c   705498    679    12785   804340   62    27073   13979  11736   1020 691.32
762.54/762.94	c   716860    679     9987   577993   57    21490   15377   8938   1023 700.73
762.54/762.94	c   734004    679    10532   644759   61    22544   16915   9483   1032 710.69
762.54/762.94	c   759824    659    10165   624781   61    21787   18607   9116   1048 724.77
762.54/762.94	c   798656    659    11092   644418   58    23659   20468  10043   1048 761.76
762.54/762.94	o 3
1475.92/1476.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1475.92/1476.68	c   803513    659    15950   956519   59    33404    5922  14901   1053 762.59
1475.92/1476.68	c   803613    628     4120   195942   47     9857    6515   3071   1053 762.78
1475.92/1476.68	c   803865    628     4372   213384   48    10300    7167   3323   1053 762.81
1475.92/1476.68	c   804340    628     4847   244820   50    11283    7884   3798   1054 762.87
1475.92/1476.68	c   805154    628     5661   302933   53    12878    8673   4612   1055 762.98
1475.92/1476.68	c   806474    628     6981   389329   55    15541    9541   5932   1056 763.22
1475.92/1476.68	c   808555    628     9062   536073   59    19696   10496   8013   1058 763.65
1475.92/1476.68	c   811778    628     6756   386127   57    15078   11546   5707   1061 764.59
1475.92/1476.68	c   816714    628    11692   712716   60    24958   12701  10643   1064 767.40
1475.92/1476.68	c   824222    628    12724   765525   60    26982   13972  11675   1066 773.19
1475.92/1476.68	c   835583    628     9393   541107   57    20351   15370   8344   1072 778.93
1475.92/1476.68	c   852728    626    10341   563009   54    22250   16908   9292   1084 786.33
1475.92/1476.68	c   878548    626     9725   556229   57    20922   18599   8676   1094 802.47
1475.92/1476.68	c   917381    617    19460  1200724   61    40531   20459  18411   1100 833.86
1475.92/1476.68	c   975734    617    14486   749664   51    30517   22505  13437   1077 905.66
1475.92/1476.68	c  1063368    614    17783  1192884   67    37111   24756  16734   1077 987.25
1475.92/1476.68	c  1194921    613    22366  1232942   55    46296   27232  21317   1011 1181.47
1475.92/1476.68	c  1392354    612    28120  1687195   59    57781   29956  27071    962 1446.51
1475.92/1476.68	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 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -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 x81 x82 -x83 x84 -x85 -x86 -x87 -x88 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 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 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x145 x146 x147 -x148 -x149 -x150 -x151 -x152 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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x105 x106 -x107 -x108 x109 x110 -x111 -x112 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x113 -x114 -x115 x116 x117 -x118 -x119 x120 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x577 -x578 -x579 x580 x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -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 x121 -x122 -x123 x124 x125 x126 -x127 -x128 -x177 -x178 -x179 -x180 -x181 x182 x183 -x184 x641 -x642 -x643 x644 x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 x657 -x658 -x659 x660 x661 x662 -x663 -x664 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 -x185 x186 x187 -x188 -x189 x190 -x191 -x192 
1475.92/1476.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1475.92/1476.68	c   79  1411861  12648  1469117    28543  1493380  27494    956 1476.01
1475.92/1476.68	c Objective: 3
1475.92/1476.68	s OPTIMUM FOUND
1475.92/1476.68	c Total time: 1476.01 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-1877951-1245186864/watcher-1877951-1245186864 -o /tmp/evaluation-result-1877951-1245186864/solver-1877951-1245186864 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877951-1245186864.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 1.00 3/64 7902
/proc/meminfo: memFree=1866168/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=10748 CPUtime=0
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 186282780 11005952 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 2687 246 177 640 0 2033 0

[startup+0.0996281 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7902
/proc/meminfo: memFree=1866168/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=11744 CPUtime=0.09
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 535 0 0 0 9 0 0 0 18 0 1 0 186282780 12025856 509 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 2936 509 196 640 0 2292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11744

[startup+0.101628 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7902
/proc/meminfo: memFree=1866168/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=11744 CPUtime=0.09
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 539 0 0 0 9 0 0 0 18 0 1 0 186282780 12025856 513 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 2936 513 196 640 0 2292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11744

[startup+0.301664 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7902
/proc/meminfo: memFree=1866168/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=13380 CPUtime=0.29
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 947 0 0 0 28 1 0 0 19 0 1 0 186282780 13701120 921 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 3345 921 196 640 0 2701 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13380

[startup+0.701732 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7902
/proc/meminfo: memFree=1866168/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=16148 CPUtime=0.69
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 1637 0 0 0 68 1 0 0 23 0 1 0 186282780 16535552 1611 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 4037 1611 196 640 0 3393 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16148

[startup+1.50187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1858992/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=19648 CPUtime=1.49
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 2525 0 0 0 147 2 0 0 25 0 1 0 186282780 20119552 2499 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 4912 2499 196 640 0 4268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19648

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1854128/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=24416 CPUtime=3.09
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 3726 0 0 0 306 3 0 0 25 0 1 0 186282780 25001984 3700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 6104 3700 196 640 0 5460 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24416

[startup+6.3017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1850608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=25676 CPUtime=6.29
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 4041 0 0 0 625 4 0 0 25 0 1 0 186282780 26292224 4015 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 6419 4015 196 640 0 5775 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25676

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1850480/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=25928 CPUtime=12.69
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 4095 0 0 0 1264 5 0 0 25 0 1 0 186282780 26550272 4069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 6482 4069 196 640 0 5838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25928

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1843120/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=33200 CPUtime=25.48
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 5922 0 0 0 2539 9 0 0 25 0 1 0 186282780 33996800 5896 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 8300 5896 196 640 0 7656 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33200

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1843120/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=33208 CPUtime=51.06
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 5925 0 0 0 5094 12 0 0 25 0 1 0 186282780 34004992 5899 1992294400 134512640 137136520 4294956256 18446744073709551615 136502397 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 8302 5899 196 640 0 7658 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 33208

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1841584/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=34796 CPUtime=102.24
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 6316 0 0 0 10203 21 0 0 25 0 1 0 186282780 35631104 6290 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 8699 6290 196 640 0 8055 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 34796

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1838832/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=37492 CPUtime=162.22
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 6993 0 0 0 16191 31 0 0 25 0 1 0 186282780 38391808 6967 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 9373 6967 196 640 0 8729 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 37492

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1836464/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=39816 CPUtime=222.19
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 7576 0 0 0 22181 38 0 0 25 0 1 0 186282780 40771584 7550 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 9954 7550 196 640 0 9310 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 39816

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1836464/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=39808 CPUtime=282.16
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 7576 0 0 0 28172 44 0 0 25 0 1 0 186282780 40763392 7550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 9952 7550 196 640 0 9308 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 39808

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1835888/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=40484 CPUtime=342.13
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 7743 0 0 0 34162 51 0 0 25 0 1 0 186282780 41455616 7717 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10121 7717 196 640 0 9477 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 40484

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41752 CPUtime=402.1
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 40148 62 0 0 25 0 1 0 186282780 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10438 8037 197 640 0 9794 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 41752

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41752 CPUtime=462.07
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 46132 75 0 0 25 0 1 0 186282780 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10438 8037 197 640 0 9794 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 41752

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834544/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41752 CPUtime=522.05
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 52121 84 0 0 25 0 1 0 186282780 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10438 8037 197 640 0 9794 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 41752

[startup+582.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 7903
/proc/meminfo: memFree=1834480/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41752 CPUtime=582.02
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 58108 94 0 0 25 0 1 0 186282780 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 136499605 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10438 8037 197 640 0 9794 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 41752

[startup+642.303 s]
/proc/loadavg: 1.35 1.10 1.03 2/65 7903
/proc/meminfo: memFree=1834416/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41752 CPUtime=642
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 64100 100 0 0 25 0 1 0 186282780 42754048 8037 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10438 8037 197 640 0 9794 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 41752

[startup+702.301 s]

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

/proc/meminfo: memFree=1834608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=881.9
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 88049 141 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 41440

[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 7903
/proc/meminfo: memFree=1834608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=941.85
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 94034 151 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 41440

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7903
/proc/meminfo: memFree=1834544/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1001.82
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 100021 161 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 41440

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 7903
/proc/meminfo: memFree=1834608/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1061.8
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 106011 169 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 41440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 7903
/proc/meminfo: memFree=1834544/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1121.77
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 112002 175 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 41440

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834480/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1181.74
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 117990 184 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543912 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 41440

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834416/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1241.73
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 123979 194 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 136509061 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1241.73
Current children cumulated vsize (KiB) 41440

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834352/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1301.71
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 129968 203 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 136502216 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 41440

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834352/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1361.67
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 135957 210 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 41440

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1421.65
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 141950 215 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 41440

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

[startup+1433.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1432.84
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 143067 217 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1432.84
Current children cumulated vsize (KiB) 41440

[startup+1459.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1458.43
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 145623 220 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 136502123 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1458.43
Current children cumulated vsize (KiB) 41440

[startup+1465.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834224/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1464.83
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 146262 221 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1464.83
Current children cumulated vsize (KiB) 41440

[startup+1471.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1471.23
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 146901 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1471.23
Current children cumulated vsize (KiB) 41440

[startup+1475.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1474.43
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 147221 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1474.43
Current children cumulated vsize (KiB) 41440

[startup+1475.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1475.22
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 147300 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1475.22
Current children cumulated vsize (KiB) 41440

[startup+1476.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1475.62
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 147340 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1475.62
Current children cumulated vsize (KiB) 41440

[startup+1476.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1475.82
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 147360 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1475.82
Current children cumulated vsize (KiB) 41440

[startup+1476.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7903
/proc/meminfo: memFree=1834288/2055920 swapFree=4181248/4192956
[pid=7902] ppid=7900 vsize=41440 CPUtime=1475.92
/proc/7902/stat : 7902 (bsolo) R 7900 7902 7506 0 -1 4194304 8098 0 0 0 147370 222 0 0 25 0 1 0 186282780 42434560 7959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7902/statm: 10360 7959 197 640 0 9716 0
Current children cumulated CPU time (s) 1475.92
Current children cumulated vsize (KiB) 41440

Child status: 0
Real time (s): 1476.69
CPU time (s): 1476.02
CPU user time (s): 1473.79
CPU system time (s): 2.23466
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (KiB): 41888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1473.78
system time used= 2.23466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8100
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= 5382

runsolver used 1.51477 second user time and 3.86241 second system time

The end

Launcher Data 

Begin job on node48 at 2009-06-16 23:14:24
IDJOB=1877951
IDBENCH=47931
IDSOLVER=700
FILE ID=node48/1877951-1245186864
PBS_JOBID= 9368276
Free space on /tmp= 66236 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=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877951-1245186864/watcher-1877951-1245186864 -o /tmp/evaluation-result-1877951-1245186864/solver-1877951-1245186864 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1877951-1245186864.opb

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

MD5SUM BENCH= 870560ebbd959d9c8bd54c4fcdba3455
RANDOM SEED=1352736819

node48.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.270
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.270
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:       1866648 kB
Buffers:         40504 kB
Cached:          80640 kB
SwapCached:       5472 kB
Active:          59736 kB
Inactive:        69252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1866648 kB
SwapTotal:     4192956 kB
SwapFree:      4181248 kB
Dirty:            4140 kB
Writeback:           0 kB
Mapped:          13544 kB
Slab:            46300 kB
Committed_AS:   158772 kB
PageTables:       1376 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-1877951-1245186864.opb

Free space on /tmp at the end= 66232 MiB
End job on node48 at 2009-06-16 23:39:01