Trace number 2670610

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT3 1798.01 1798.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
MD5SUM133707692e98c55077a0d19203c18204
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 benchmark6.74797
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 variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670610-1276703506.opb
0.00/0.00	c File size is 36228 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    648      991     4149    4     3569    5544      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
53.67/53.72	c      126    648     1117    13091   11     3750    6099    126   4846 0.03
53.67/53.72	c      276    648     1267    25138   19     3915    6709    276   3493 0.08
53.67/53.72	c      501    648     1492    44457   29     4405    7380    501   4554 0.11
53.67/53.72	c      839    648     1830    74454   40     5100    8119    839   5211 0.16
53.67/53.72	c     1348    648     2339   117819   50     6157    8931   1348   5687 0.24
53.67/53.72	c     2111    648     3102   177408   57     7658    9825   2111   5752 0.37
53.67/53.72	c     3257    648     4248   265570   62     9923   10808   3257   4796 0.68
53.67/53.72	c     4978    648     5969   410271   68    13329   11889   4978   4763 1.04
53.67/53.72	c     7562    648     8553   602751   70    18509   13078   7562   4022 1.88
53.67/53.72	c    11441    648    12432   883063   71    26280   14386  11441   2291 4.99
53.67/53.72	c    17263    648    10982   745493   67    23361   15825   9991   1743 9.90
53.67/53.72	c    26001    648    11720   808725   69    24788   17408  10729   1343 19.36
53.67/53.72	c    39112    648    16046  1137884   70    33494   19149  15055   1196 32.70
53.67/53.72	c    58782    648    15937  1279119   80    33297   21064  14946   1127 52.12
53.67/53.72	o 345
370.39/370.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
370.39/370.58	c    63965    648    21121  1716430   81    43646    5562  20130   1190 53.71
370.39/370.58	c    64065    648     3873   249199   64     9223    6119   2882   1184 54.07
370.39/370.58	c    64316    648     4124   272090   65     9772    6731   3133   1188 54.11
370.39/370.58	c    64791    648     4599   315295   68    10659    7405   3608   1195 54.22
370.39/370.58	c    65605    648     5413   380402   70    12340    8146   4422   1207 54.34
370.39/370.58	c    66925    648     6733   480798   71    15003    8961   5742   1224 54.66
370.39/370.58	c    69006    648     8814   631848   71    19101    9858   7823   1242 55.53
370.39/370.58	c    72230    648     6510   425450   65    14543   10844   5519   1266 57.03
370.39/370.58	c    77167    648    11447   828581   72    24398   11929  10456   1287 59.93
370.39/370.58	c    84674    648     6957   437429   62    15410   13122   5966   1250 67.73
370.39/370.58	c    96035    648    11673   809887   69    24805   14435  10682   1272 75.45
370.39/370.58	c   113180    648    13892  1084484   78    29185   15879  12901   1324 85.46
370.39/370.58	c   139000    648    15122  1073364   70    31639   17467  14131   1335 104.04
370.39/370.58	c   177833    648     9957   623941   62    21301   19214   8966   1155 153.96
370.39/370.58	c   236185    645    19921  1447814   72    41214   21136  18930   1084 217.74
370.39/370.58	c   323817    645    19821  1659172   83    41124   23250  18830    947 341.64
370.39/370.58	o 9
1277.72/1278.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1277.72/1278.20	c   351237    645    22039  1825770   82    45539    5562  21048    948 370.47
1277.72/1278.20	c   351337    603     3875   275950   71     9254    6119   2884    947 370.75
1277.72/1278.20	c   351587    603     4125   296085   71     9728    6731   3134    948 370.80
1277.72/1278.20	c   352063    603     4601   336701   73    10676    7405   3610    949 370.90
1277.72/1278.20	c   352877    603     5415   404404   74    12307    8146   4424    950 371.10
1277.72/1278.20	c   354197    603     6735   514463   76    14951    8961   5744    952 371.68
1277.72/1278.20	c   356280    603     8818   686772   77    19080    9858   7827    957 372.28
1277.72/1278.20	c   359503    603     6660   484780   72    14815   10844   5669    961 373.86
1277.72/1278.20	c   364439    603    11596   906371   78    24595   11929  10605    970 375.69
1277.72/1278.20	c   371946    603    12952  1031948   79    27301   13122  11961    978 380.03
1277.72/1278.20	c   383310    603    10939   831610   76    23323   14435   9948    983 389.70
1277.72/1278.20	c   400454    603    12984  1003864   77    27419   15879  11993    991 403.85
1277.72/1278.20	c   426273    603    13675  1150361   84    28826   17467  12684    988 431.03
1277.72/1278.20	c   465106    590    15559  1203455   77    32629   19214  14568    975 476.83
1277.72/1278.20	c   523459    590    13114  1035922   78    27639   21136  12123    968 540.67
1277.72/1278.20	c   611092    590    14809  1127337   76    31072   23250  13818    891 685.75
1277.72/1278.20	c   742645    590    20538  1678217   81    42544   25576  19547    819 906.43
1277.72/1278.20	c   940079    590    24934  1978138   79    51304   28134  23943    796 1179.98
1277.72/1278.20	o 5
1503.55/1504.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1503.55/1504.08	c  1019477    590    17286  1341290   77    36041    5552  16295    797 1277.82
1503.55/1504.08	c  1019577    590     3875   238739   61     9240    6108   2884    797 1278.02
1503.55/1504.08	c  1019828    579     4126   260011   63     9754    6719   3135    797 1278.09
1503.55/1504.08	c  1020303    579     4601   301215   65    10685    7391   3610    798 1278.18
1503.55/1504.08	c  1021116    579     5414   370691   68    12335    8131   4423    798 1278.37
1503.55/1504.08	c  1022436    579     6734   481774   71    14974    8945   5743    799 1278.92
1503.55/1504.08	c  1024517    579     8815   652312   74    19079    9840   7824    800 1280.23
1503.55/1504.08	c  1027741    579     6969   495991   71    15412   10825   5978    801 1282.26
1503.55/1504.08	c  1032677    579     6413   465332   72    14296   11908   5422    803 1285.97
1503.55/1504.08	c  1040183    579     7753   593499   76    16985   13099   6762    805 1292.13
1503.55/1504.08	c  1051545    579    12441   950672   76    26336   14409  11450    805 1305.14
1503.55/1504.08	c  1068689    579    14895  1137555   76    31253   15850  13904    807 1322.85
1503.55/1504.08	c  1094508    579    16074  1256798   78    33497   17436  15083    811 1349.06
1503.55/1504.08	c  1133340    579    10240   759918   74    21923   19180   9249    808 1401.29
1503.55/1504.08	c  1191693    579    19936  1534102   76    41298   21099  18945    805 1479.47
1503.55/1504.08	o 3
1797.97/1798.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.52	c  1220200    579    15489  1228110   79    32384    5550  14498    811 1503.64
1797.97/1798.52	c  1220301    556     3876   244221   63     9205    6106   2885    811 1503.82
1797.97/1798.52	c  1220552    556     4127   266251   64     9719    6717   3136    811 1503.86
1797.97/1798.52	c  1221027    556     4602   305469   66    10675    7389   3611    811 1504.00
1797.97/1798.52	c  1221840    556     5415   376350   69    12296    8128   4424    812 1504.18
1797.97/1798.52	c  1223161    556     6736   488375   72    14913    8941   5745    812 1504.67
1797.97/1798.52	c  1225243    556     8818   660448   74    19089    9836   7827    813 1505.65
1797.97/1798.52	c  1228467    556     6947   495932   71    15322   10820   5956    814 1508.05
1797.97/1798.52	c  1233403    556    11883   901693   75    25239   11903  10892    815 1511.65
1797.97/1798.52	c  1240909    556     7141   508057   71    15721   13094   6150    817 1518.05
1797.97/1798.52	c  1252271    556    11435   899963   78    24329   14404  10444    821 1523.49
1797.97/1798.52	c  1269415    556    13268  1033435   77    28017   15845  12277    825 1538.37
1797.97/1798.52	c  1295234    556    14510  1146771   79    30442   17430  13519    827 1564.51
1797.97/1798.52	c  1334068    556    17177  1448803   84    35839   19174  16186    830 1607.10
1797.97/1798.52	c  1392421    556    16849  1284143   76    35177   21092  15858    824 1688.87
1797.97/1798.52	c Resources Exceeded
1797.97/1798.52	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 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 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 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -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 x73 -x74 -x75 -x76 x77 -x78 -x79 x80 x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x325 -x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 x406 -x407 -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 -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 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.97/1798.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.52	c   78  1475957  10343  1513958    12441   968578  11450    820 1798.00
1797.97/1798.52	c Objective: 3
1797.97/1798.52	s SATISFIABLE
1797.97/1798.52	c Total time: 1798 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-2670610-1276703506/watcher-2670610-1276703506 -o /tmp/evaluation-result-2670610-1276703506/solver-2670610-1276703506 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670610-1276703506.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.99 0.98 0.95 3/105 19779
/proc/meminfo: memFree=1758248/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=10920 CPUtime=0
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 373 0 0 0 0 0 0 0 18 0 1 0 11641995 11182080 283 1992294400 134512640 137138936 4294119872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 2730 285 182 642 0 2086 0

[startup+0.0313981 s]
/proc/loadavg: 0.99 0.98 0.95 3/105 19779
/proc/meminfo: memFree=1758248/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=11064 CPUtime=0.02
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 431 0 0 0 2 0 0 0 20 0 1 0 11641995 11329536 341 1992294400 134512640 137138936 4294119872 18446744073709551615 134575820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 2799 342 190 642 0 2155 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11064

[startup+0.101407 s]
/proc/loadavg: 0.99 0.98 0.95 3/105 19779
/proc/meminfo: memFree=1758248/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=11440 CPUtime=0.09
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 511 0 0 0 9 0 0 0 20 0 1 0 11641995 11714560 421 1992294400 134512640 137138936 4294119872 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 2860 421 190 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301431 s]
/proc/loadavg: 0.99 0.98 0.95 3/105 19779
/proc/meminfo: memFree=1758248/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=12940 CPUtime=0.29
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 889 0 0 0 29 0 0 0 20 0 1 0 11641995 13250560 799 1992294400 134512640 137138936 4294119872 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 3235 799 190 642 0 2591 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12940

[startup+0.701481 s]
/proc/loadavg: 0.99 0.98 0.95 3/105 19779
/proc/meminfo: memFree=1758248/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=14692 CPUtime=0.69
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 1336 0 0 0 68 1 0 0 20 0 1 0 11641995 15044608 1246 1992294400 134512640 137138936 4294119872 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 3673 1246 190 642 0 3029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14692

[startup+1.50158 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1752412/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=18328 CPUtime=1.49
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 2245 0 0 0 148 1 0 0 23 0 1 0 11641995 18767872 2155 1992294400 134512640 137138936 4294119872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 4582 2155 190 642 0 3938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18328

[startup+3.10178 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1748816/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=21460 CPUtime=3.09
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 3021 0 0 0 307 2 0 0 25 0 1 0 11641995 21975040 2931 1992294400 134512640 137138936 4294119872 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 5365 2931 190 642 0 4721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21460

[startup+6.30118 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1744476/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=25340 CPUtime=6.29
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 3985 0 0 0 626 3 0 0 25 0 1 0 11641995 25948160 3895 1992294400 134512640 137138936 4294119872 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 6335 3895 190 642 0 5691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25340

[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1741624/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=26840 CPUtime=12.69
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 4362 0 0 0 1264 5 0 0 25 0 1 0 11641995 27484160 4272 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 6710 4272 190 642 0 6066 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26840

[startup+25.5006 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1740508/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=28340 CPUtime=25.48
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 4734 0 0 0 2539 9 0 0 25 0 1 0 11641995 29020160 4644 1992294400 134512640 137138936 4294119872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 7085 4644 190 642 0 6441 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28340

[startup+51.1008 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19780
/proc/meminfo: memFree=1735424/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=33092 CPUtime=51.08
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 5934 0 0 0 5091 17 0 0 25 0 1 0 11641995 33886208 5844 1992294400 134512640 137138936 4294119872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 8273 5844 190 642 0 7629 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33092

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19782
/proc/meminfo: memFree=1733192/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=35180 CPUtime=102.27
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 6449 0 0 0 10194 33 0 0 25 0 1 0 11641995 36024320 6359 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 8795 6359 191 642 0 8151 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 35180

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19784
/proc/meminfo: memFree=1733068/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=35180 CPUtime=162.24
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 6449 0 0 0 16180 44 0 0 25 0 1 0 11641995 36024320 6359 1992294400 134512640 137138936 4294119872 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 8795 6359 191 642 0 8151 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35180

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19786
/proc/meminfo: memFree=1733068/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=35188 CPUtime=222.23
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 6451 0 0 0 22165 58 0 0 25 0 1 0 11641995 36032512 6361 1992294400 134512640 137138936 4294119872 18446744073709551615 136504440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 8797 6361 191 642 0 8153 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35188

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19786
/proc/meminfo: memFree=1730588/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=37764 CPUtime=282.21
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7096 0 0 0 28151 70 0 0 25 0 1 0 11641995 38670336 7006 1992294400 134512640 137138936 4294119872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9441 7006 191 642 0 8797 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 37764

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19788
/proc/meminfo: memFree=1730588/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=37756 CPUtime=342.19
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7096 0 0 0 34134 85 0 0 25 0 1 0 11641995 38662144 7006 1992294400 134512640 137138936 4294119872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9439 7006 191 642 0 8795 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37756

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19790
/proc/meminfo: memFree=1728480/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=39576 CPUtime=402.18
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7577 0 0 0 40116 102 0 0 25 0 1 0 11641995 40525824 7470 1992294400 134512640 137138936 4294119872 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9894 7470 191 642 0 9250 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 39576

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19792
/proc/meminfo: memFree=1728480/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=39576 CPUtime=462.17
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7577 0 0 0 46099 118 0 0 25 0 1 0 11641995 40525824 7470 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9894 7470 191 642 0 9250 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 39576

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19794
/proc/meminfo: memFree=1728480/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=39576 CPUtime=522.14
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7577 0 0 0 52080 134 0 0 25 0 1 0 11641995 40525824 7470 1992294400 134512640 137138936 4294119872 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9894 7470 191 642 0 9250 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 39576

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19803
/proc/meminfo: memFree=1727860/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=39568 CPUtime=582.11
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7577 0 0 0 58064 147 0 0 25 0 1 0 11641995 40517632 7468 1992294400 134512640 137138936 4294119872 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9892 7468 191 642 0 9248 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 39568

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/106 19805
/proc/meminfo: memFree=1727860/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=39568 CPUtime=642.09
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 7577 0 0 0 64049 160 0 0 25 0 1 0 11641995 40517632 7468 1992294400 134512640 137138936 4294119872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 9892 7468 191 642 0 9248 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 39568

[startup+702.301 s]

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

/proc/meminfo: memFree=1723892/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=43936 CPUtime=1061.97
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 8667 0 0 0 105955 242 0 0 25 0 1 0 11641995 44990464 8557 1992294400 134512640 137138936 4294119872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 10984 8557 191 642 0 10340 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 43936

[startup+1122.3 s]
/proc/loadavg: 1.02 1.00 0.96 2/106 19819
/proc/meminfo: memFree=1717568/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50300 CPUtime=1121.96
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10255 0 0 0 111939 257 0 0 25 0 1 0 11641995 51507200 10145 1992294400 134512640 137138936 4294119872 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12575 10145 191 642 0 11931 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 50300

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.96 2/106 19819
/proc/meminfo: memFree=1717444/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50292 CPUtime=1181.94
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10255 0 0 0 117926 268 0 0 25 0 1 0 11641995 51499008 10145 1992294400 134512640 137138936 4294119872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12573 10145 191 642 0 11929 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 50292

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19821
/proc/meminfo: memFree=1717320/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50304 CPUtime=1241.92
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 123910 282 0 0 25 0 1 0 11641995 51511296 10147 1992294400 134512640 137138936 4294119872 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12576 10147 191 642 0 11932 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 50304

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19823
/proc/meminfo: memFree=1717196/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50028 CPUtime=1301.91
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 129893 298 0 0 25 0 1 0 11641995 51228672 10082 1992294400 134512640 137138936 4294119872 18446744073709551615 136511190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12507 10082 191 642 0 11863 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 50028

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19825
/proc/meminfo: memFree=1717072/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50028 CPUtime=1361.89
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 135876 313 0 0 25 0 1 0 11641995 51228672 10082 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12507 10082 191 642 0 11863 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 50028

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19827
/proc/meminfo: memFree=1717072/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50028 CPUtime=1421.88
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 141861 327 0 0 25 0 1 0 11641995 51228672 10082 1992294400 134512640 137138936 4294119872 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12507 10082 191 642 0 11863 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 50028

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19827
/proc/meminfo: memFree=1717072/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=50028 CPUtime=1481.85
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 147846 339 0 0 25 0 1 0 11641995 51228672 10082 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12507 10082 191 642 0 11863 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 50028

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19829
/proc/meminfo: memFree=1717940/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1541.84
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 153826 358 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 136521049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 49048

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19831
/proc/meminfo: memFree=1717940/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1601.82
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 159809 373 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 49048

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19833
/proc/meminfo: memFree=1717940/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1661.8
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 165795 385 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 49048

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19835
/proc/meminfo: memFree=1717940/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1721.79
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 171781 398 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 49048

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19835
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1781.77
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 177768 409 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 49048

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1791.38
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 178726 412 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 49048

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1794.57
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 179045 412 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 49048

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1796.17
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 179204 413 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 49048

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1796.97
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 179284 413 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 49048

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1797.76
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 179363 413 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 49048

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 0.96 2/106 19837
/proc/meminfo: memFree=1717692/2059040 swapFree=4140536/4192956
[pid=19779] ppid=19777 vsize=49048 CPUtime=1797.97
/proc/19779/stat : 19779 (bsolo_pb10) R 19777 19779 19285 0 -1 4202496 10257 0 0 0 179384 413 0 0 25 0 1 0 11641995 50225152 9837 1992294400 134512640 137138936 4294119872 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19779/statm: 12262 9837 191 642 0 11618 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 49048

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.01
CPU user time (s): 1793.86
CPU system time (s): 4.14137
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 50304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 4.14137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10258
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 6731

runsolver used 2.91856 second user time and 8.5447 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-16 17:51:46
IDJOB=2670610
IDBENCH=48021
IDSOLVER=1163
FILE ID=node054/2670610-1276703506
PBS_JOBID= 11174091
Free space on /tmp= 62480 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670610-1276703506/watcher-2670610-1276703506 -o /tmp/evaluation-result-2670610-1276703506/solver-2670610-1276703506 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670610-1276703506.opb

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

MD5SUM BENCH= 133707692e98c55077a0d19203c18204
RANDOM SEED=1385474976

node054.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1759024 kB
Buffers:         95344 kB
Cached:         123364 kB
SwapCached:       6896 kB
Active:         103772 kB
Inactive:       128876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759024 kB
SwapTotal:     4192956 kB
SwapFree:      4140536 kB
Dirty:            3984 kB
Writeback:           0 kB
AnonPages:       11224 kB
Mapped:          13036 kB
Slab:            45792 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670610-1276703506.opb

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-16 18:21:45