Trace number 1879370

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 pbOPT3 1618.02 1618.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
MD5SUM1141c23e5342793635b3f22754b52627
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.2994
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 variables189
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 constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

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: Generic Pseudo-Boolean 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-1879370-1245243540.opb
0.00/0.00	c File size is 33211 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
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: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369
0.00/0.00	c Obj. Vars: 7 (1.11111 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    630      910     3836    4     3289    5173      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
980.42/980.82	c      101    630     1105    12504   11     5875    5691    195   3258 0.03
980.42/980.82	c      251    630     1392    28320   20     8960    6261    482   3391 0.07
980.42/980.82	c      476    630     1803    51809   28    12202    6888    893   3070 0.15
980.42/980.82	c      815    630     2446    82064   33    18220    7577   1536   2302 0.35
980.42/980.82	c     1323    630     3377   141883   42    28162    8335   2467   2379 0.56
980.42/980.82	c     2087    630     4767   220552   46    38249    9169   3857   1840 1.13
980.42/980.82	c     3233    630     6902   357306   51    54725   10086   5992   1618 2.00
980.42/980.82	c     4954    630    10119   534863   52    76503   11095   9209   1201 4.12
980.42/980.82	c     7538    630     9106   463865   50    72988   12205   8196    806 9.34
980.42/980.82	c    11419    630    10233   484583   47    99181   13426   9323    478 23.89
980.42/980.82	c    17241    630    13540   665823   49   108716   14769  12630    350 49.17
980.42/980.82	c    25979    629    13411   705414   52    94129   16246  12501    349 74.39
980.42/980.82	c    39089    628    12379   609478   49   121185   17871  11469    170 228.80
980.42/980.82	c    58759    628    10608   560737   52    86552   19659   9698    196 298.66
980.42/980.82	c    88270    625    12960   695237   53    79373   21625  12050    161 546.91
980.42/980.82	o 49
1042.30/1042.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1042.30/1042.78	c   126979    624    18037   994487   55   151201    5187  17127    129 980.46
1042.30/1042.78	c   127081    624     3704   160167   43    24428    5706   2794    129 983.73
1042.30/1042.78	c   127331    615     4173   195691   46    32017    6277   3263    129 983.93
1042.30/1042.78	c   127807    615     5105   251649   49    42719    6905   4195    129 984.22
1042.30/1042.78	c   128621    615     6689   337621   50    68769    7596   5779    130 985.53
1042.30/1042.78	c   129942    615     4919   227820   46    51923    8356   4009    131 988.75
1042.30/1042.78	c   132024    615     8779   438636   49   101689    9192   7869    132 995.57
1042.30/1042.78	c   135248    615     9798   493448   50    96870   10112   8888    134 1003.55
1042.30/1042.78	c   140185    615     8860   421126   47    90030   11124   7950    135 1034.27
1042.30/1042.78	o 33
1057.50/1057.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1057.50/1057.94	c   143022    615     8418   400085   47    71932    5185   7508    137 1042.40
1057.50/1057.94	c   143122    615     3707   152286   41    26849    5704   2797    137 1042.77
1057.50/1057.94	c   143373    615     4194   180256   42    31106    6275   3284    137 1042.86
1057.50/1057.94	c   143848    615     5119   231364   45    42785    6903   4209    137 1043.31
1057.50/1057.94	c   144661    615     6681   314196   47    58808    7594   5771    138 1045.67
1057.50/1057.94	c   145981    615     4997   225817   45    36241    8354   4087    139 1047.72
1057.50/1057.94	c   148062    615     8915   435076   48    91779    9190   8005    140 1054.93
1057.50/1057.94	o 17
1066.39/1066.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1066.39/1066.86	c   149080    615     5817   261966   45    61657    5185   4907    140 1057.55
1066.39/1066.86	c   149181    606     6007   271435   45    51841    5704   5097    141 1057.78
1066.39/1066.86	c   149431    606     6380   291735   45    52397    6275   5470    141 1058.32
1066.39/1066.86	c   149907    606     4060   173176   42    29202    6903   3150    141 1059.04
1066.39/1066.86	c   150721    606     5494   254768   46    37111    7594   4584    142 1059.51
1066.39/1066.86	c   152042    606     7646   376005   49    41541    8354   6736    143 1060.29
1066.39/1066.86	c   154124    606     7279   345610   47    39507    9190   6369    144 1064.22
1066.39/1066.86	o 11
1079.68/1080.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1079.68/1080.14	c   155576    606     9966   489307   49    63714    5183   9056    145 1066.47
1079.68/1080.14	c   155677    597     3707   151732   40    28401    5702   2797    145 1066.79
1079.68/1080.14	c   155927    597     4206   179151   42    32669    6273   3296    146 1066.96
1079.68/1080.14	c   156402    597     5133   226791   44    47628    6901   4223    146 1067.37
1079.68/1080.14	c   157217    597     6729   317624   47    59421    7592   5819    147 1067.91
1079.68/1080.14	c   158537    597     4825   218080   45    38012    8352   3915    148 1069.15
1079.68/1080.14	c   160618    597     8561   422227   49    69440    9188   7651    149 1072.80
1079.68/1080.14	o 9
1081.59/1082.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1081.59/1082.09	c   162733    596     7980   381407   47    73076    5181   7070    150 1079.74
1081.59/1082.09	c   162834    596     3707   147174   39    36623    5700   2797    150 1080.10
1081.59/1082.09	c   163085    596     4171   170525   40    42671    6271   3261    150 1080.25
1081.59/1082.09	c   163560    596     5088   224835   44    57112    6899   4178    151 1081.35
1081.59/1082.09	o 5
1209.55/1210.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1209.55/1210.04	c   163965    596     5855   266447   45    62218    5181   4945    151 1081.69
1209.55/1210.04	c   164068    587     6037   275808   45    63046    5700   5127    151 1081.78
1209.55/1210.04	c   164319    587     6522   303313   46    73943    6271   5612    151 1082.30
1209.55/1210.04	c   164794    587     4195   179127   42    43277    6899   3285    152 1084.14
1209.55/1210.04	c   165608    587     5800   265342   45    68344    7589   4890    152 1086.55
1209.55/1210.04	c   166929    587     8288   399622   48    99844    8348   7378    153 1089.12
1209.55/1210.04	c   169011    587     7519   385829   51    65908    9183   6609    153 1098.58
1209.55/1210.04	c   172234    587     8769   429163   48    75031   10102   7859    154 1113.72
1209.55/1210.04	c   177171    587     7805   367977   47    72144   11113   6895    152 1163.68
1209.55/1210.04	o 3
1618.00/1618.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1618.00/1618.61	c   182044    584    11306   548009   48   105650    5179  10396    150 1209.60
1618.00/1618.61	c   182145    584     3698   152698   41    29189    5697   2788    150 1211.36
1618.00/1618.61	c   182396    584     4151   178617   43    30619    6267   3241    150 1211.47
1618.00/1618.61	c   182873    584     4935   222327   45    33884    6894   4025    150 1211.76
1618.00/1618.61	c   183691    583     6470   306847   47    47861    7584   5560    151 1212.45
1618.00/1618.61	c   185012    565     5103   230569   45    48434    8343   4193    151 1217.39
1618.00/1618.61	c   187094    565     8920   437051   48    85829    9178   8010    153 1220.71
1618.00/1618.61	c   190318    565     5667   254464   44    71647   10096   4757    153 1240.54
1618.00/1618.61	c   195255    565     9605   471124   49    71650   11106   8695    155 1259.20
1618.00/1618.61	c   202761    565     6784   310371   45    61850   12217   5874    155 1306.12
1618.00/1618.61	c   214123    557     8785   421323   47    70522   13439   7875    155 1372.63
1618.00/1618.61	c   231267    556    11443   529578   46    78165   14783  10533    153 1503.94
1618.00/1618.61	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 x190 x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x71 -x72 x73 x74 -x75 -x76 -x77 x127 -x128 -x129 -x130 -x131 -x132 -x133 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 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x78 -x79 -x80 -x81 -x82 -x83 x84 -x134 -x135 -x136 -x137 -x138 -x139 -x140 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 x85 -x86 -x87 -x88 -x89 -x90 -x91 x141 -x142 -x143 -x144 -x145 x146 -x147 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x92 x93 -x94 -x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 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 x99 -x100 -x101 x102 -x103 -x104 -x105 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x106 -x107 x108 x109 -x110 x111 -x112 -x162 -x163 -x164 -x165 -x166 -x167 -x168 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 x113 -x114 x115 x116 x117 x118 x119 x169 -x170 x171 -x172 -x173 -x174 -x175 x533 -x534 x535 x536 x537 x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 x549 x550 x551 x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 x563 x564 x565 x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 x577 x578 x579 x580 x581 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 x177 -x178 -x179 x180 -x181 x182 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 -x183 -x184 -x185 -x186 -x187 -x188 -x189 
1618.00/1618.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1618.00/1618.61	c   70   240345   3877   261556    12891   587311  11981    148 1618.01
1618.00/1618.61	c Objective: 3
1618.00/1618.61	s OPTIMUM FOUND
1618.00/1618.61	c Total time: 1618.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-1879370-1245243540/watcher-1879370-1245243540 -o /tmp/evaluation-result-1879370-1245243540/solver-1879370-1245243540 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879370-1245243540.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.92 3/64 8340
/proc/meminfo: memFree=1817064/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=10744 CPUtime=0
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191953327 11001856 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 2686 245 177 640 0 2033 0

[startup+0.10374 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 8340
/proc/meminfo: memFree=1817064/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=11612 CPUtime=0.1
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 497 0 0 0 10 0 0 0 18 0 1 0 191953327 11890688 472 1992294400 134512640 137136520 4294956256 18446744073709551615 136501965 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 2903 472 198 640 0 2259 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11612

[startup+0.20275 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 8340
/proc/meminfo: memFree=1817064/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=12008 CPUtime=0.19
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 619 0 0 0 19 0 0 0 18 0 1 0 191953327 12296192 594 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 3002 594 198 640 0 2358 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12008

[startup+0.30276 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 8340
/proc/meminfo: memFree=1817064/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=12264 CPUtime=0.29
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 684 0 0 0 29 0 0 0 19 0 1 0 191953327 12558336 659 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 3066 659 198 640 0 2422 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12264

[startup+0.702804 s]
/proc/loadavg: 1.00 1.00 0.92 3/64 8340
/proc/meminfo: memFree=1817064/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=14068 CPUtime=0.7
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 1140 0 0 0 69 1 0 0 24 0 1 0 191953327 14405632 1115 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 3517 1115 198 640 0 2873 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 14068

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1812704/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=15888 CPUtime=1.49
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 1596 0 0 0 148 1 0 0 25 0 1 0 191953327 16269312 1571 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 3972 1571 198 640 0 3328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15888

[startup+3.10107 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1809824/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=19368 CPUtime=3.08
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 2460 0 0 0 306 2 0 0 25 0 1 0 191953327 19832832 2435 1992294400 134512640 137136520 4294956256 18446744073709551615 134605680 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 4842 2435 198 640 0 4198 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19368

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1805024/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=22912 CPUtime=6.29
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 3332 0 0 0 626 3 0 0 25 0 1 0 191953327 23461888 3307 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 5728 3307 198 640 0 5084 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22912

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1804256/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=22912 CPUtime=12.68
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 3332 0 0 0 1265 3 0 0 25 0 1 0 191953327 23461888 3307 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 5728 3307 198 640 0 5084 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22912

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1803744/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=23436 CPUtime=25.48
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 3475 0 0 0 2544 4 0 0 25 0 1 0 191953327 23998464 3450 1992294400 134512640 137136520 4294956256 18446744073709551615 134598556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 5859 3450 198 640 0 5215 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23436

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1802848/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=24444 CPUtime=51.07
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 3717 0 0 0 5102 5 0 0 25 0 1 0 191953327 25030656 3692 1992294400 134512640 137136520 4294956256 18446744073709551615 134574996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 6111 3692 198 640 0 5467 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24444

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8341
/proc/meminfo: memFree=1798624/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=28680 CPUtime=102.26
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 4780 0 0 0 10218 8 0 0 25 0 1 0 191953327 29368320 4755 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7170 4755 198 640 0 6526 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28680

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1797720/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=29396 CPUtime=162.23
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 4968 0 0 0 16213 10 0 0 25 0 1 0 191953327 30101504 4943 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7349 4943 198 640 0 6705 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 29396

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1797656/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=29396 CPUtime=222.21
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 4968 0 0 0 22210 11 0 0 25 0 1 0 191953327 30101504 4943 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7349 4943 198 640 0 6705 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29396

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1796376/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=30780 CPUtime=282.18
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5307 0 0 0 28204 14 0 0 25 0 1 0 191953327 31518720 5282 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7695 5282 198 640 0 7051 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 30780

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1795544/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=31560 CPUtime=342.16
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5507 0 0 0 34200 16 0 0 25 0 1 0 191953327 32317440 5482 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7890 5482 198 640 0 7246 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 31560

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1795480/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=31560 CPUtime=402.14
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5507 0 0 0 40198 16 0 0 25 0 1 0 191953327 32317440 5482 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 7890 5482 198 640 0 7246 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 31560

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1794976/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=32016 CPUtime=462.12
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5618 0 0 0 46194 18 0 0 25 0 1 0 191953327 32784384 5593 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8004 5593 198 640 0 7360 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 32016

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1794848/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=32116 CPUtime=522.1
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5642 0 0 0 52190 20 0 0 25 0 1 0 191953327 32886784 5617 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8029 5617 198 640 0 7385 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 32116

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1793568/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=33424 CPUtime=582.07
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5970 0 0 0 58185 22 0 0 25 0 1 0 191953327 34226176 5945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8356 5945 198 640 0 7712 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 33424

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1793504/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=33424 CPUtime=642.05
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 5970 0 0 0 64182 23 0 0 25 0 1 0 191953327 34226176 5945 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8356 5945 198 640 0 7712 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 33424

[startup+702.302 s]

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

/proc/meminfo: memFree=1790816/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=881.96
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 88168 28 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 35988

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790752/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=941.94
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 94164 30 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 35988

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790688/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1001.92
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 100159 33 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136518947 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 35988

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790624/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1061.89
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 106154 35 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 35988

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790560/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1121.87
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 112148 39 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 35988

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790496/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1181.85
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 118144 41 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136505351 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 35988

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790368/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1241.83
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 124140 43 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 35988

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790304/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1301.81
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 130136 45 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 35988

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790304/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1361.79
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 136131 48 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 35988

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790304/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1421.76
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 142127 49 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 35988

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790240/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1481.74
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 148123 51 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 35988

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1541.72
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 154119 53 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 35988

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790240/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1601.69
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 160115 54 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 35988

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

[startup+1606.4 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790240/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1605.79
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 160525 54 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1605.79
Current children cumulated vsize (KiB) 35988

[startup+1612.8 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1612.19
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 161165 54 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1612.19
Current children cumulated vsize (KiB) 35988

[startup+1616.01 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1615.39
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 161485 54 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1615.39
Current children cumulated vsize (KiB) 35988

[startup+1617.6 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1616.99
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 161645 54 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1616.99
Current children cumulated vsize (KiB) 35988

[startup+1618.4 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1617.8
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 161725 55 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1617.8
Current children cumulated vsize (KiB) 35988

[startup+1618.6 s]
/proc/loadavg: 1.00 1.00 0.92 2/65 8347
/proc/meminfo: memFree=1790176/2055920 swapFree=4181932/4192956
[pid=8340] ppid=8338 vsize=35988 CPUtime=1618
/proc/8340/stat : 8340 (bsolo) R 8338 8340 8142 0 -1 4194304 6622 0 0 0 161745 55 0 0 25 0 1 0 191953327 36851712 6597 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/8340/statm: 8997 6597 198 640 0 8353 0
Current children cumulated CPU time (s) 1618
Current children cumulated vsize (KiB) 35988

Child status: 0
Real time (s): 1618.62
CPU time (s): 1618.02
CPU user time (s): 1617.46
CPU system time (s): 0.555915
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 35988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1617.46
system time used= 0.555915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6624
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= 2
involuntary context switches= 4808

runsolver used 1.48477 second user time and 4.41033 second system time

The end

Launcher Data 

Begin job on node35 at 2009-06-17 14:59:00
IDJOB=1879370
IDBENCH=47920
IDSOLVER=701
FILE ID=node35/1879370-1245243540
PBS_JOBID= 9372303
Free space on /tmp= 66136 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879370-1245243540/watcher-1879370-1245243540 -o /tmp/evaluation-result-1879370-1245243540/solver-1879370-1245243540 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879370-1245243540.opb

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

MD5SUM BENCH= 1141c23e5342793635b3f22754b52627
RANDOM SEED=870927483

node35.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.232
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.232
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:       1817736 kB
Buffers:         14004 kB
Cached:         162108 kB
SwapCached:       4972 kB
Active:          22824 kB
Inactive:       161300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1817736 kB
SwapTotal:     4192956 kB
SwapFree:      4181932 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          14024 kB
Slab:            40104 kB
Committed_AS:   212856 kB
PageTables:       1400 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-1879370-1245243540.opb

Free space on /tmp at the end= 66132 MiB
End job on node35 at 2009-06-17 15:25:59