Trace number 3462803

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.2SAT-64 1798.01 1798

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
MD5SUMe40e55fe30ea19a1cae02f7f820bc9fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products7835
Sum of products size15670

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462803-1307183067.opb
0.00/0.00	c File size is 202610 bytes.
0.00/0.03	c Highest Coefficient sum: 500
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.034 s
0.00/0.04	c Var: 16170 Constr: 32340 16170/500/15670 Lit: 125360 Watch. Lit: 94020
0.00/0.04	c Obj. Vars: 500 (3.09215 % of total variables)
0.09/0.17	c Pre-processing Time: 0.17 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0    500     7835    23505    3    15670    2611      0      0 0.17
0.09/0.17	c Switching off lower bounding mode.
0.09/0.17	o -56
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0    500     7836    24005    3    15728    3611      1      0 0.17
0.09/0.18	o -57
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c       10    500     7847    28921    3    15807    3611     12     56 0.18
0.39/0.44	c      110    500     7947    72923    9    16007    3973    112    476 0.23
0.39/0.44	c      360    500     8197   182927   22    16507    4371    362    960 0.38
0.39/0.44	o -58
37.59/37.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.59/37.60	c      479    500     8317   235811   28    16805    3611    482   1073 0.45
37.59/37.60	c      580    500     8418   280139   33    17007    3973    583   1153 0.50
37.59/37.60	c      830    500     8668   389943   44    17507    4371    833   1274 0.65
37.59/37.60	c     1307    500     9145   599409   65    18461    4809   1310   1391 0.94
37.59/37.60	c     2121    500     9960   957099   96    20091    5290   2125   1453 1.46
37.59/37.60	c     3441    500    11287  1539453  136    22745    5820   3452   1490 2.31
37.59/37.60	c     5522    500    13372  2452891  183    26971    6403   5537   1454 3.80
37.59/37.60	c     8745    500    16607  3872013  233    33441    7044   8772   1439 6.07
37.59/37.60	c    13682    500    21555  6040042  280    43393    7749  13720   1268 10.78
37.59/37.60	c    21188    500    29073  9339514  321    58429    8524  21238   1088 19.46
37.59/37.60	c    32549    500    20075  5383084  268    40372    9377  12240    918 35.43
37.59/37.60	o -59
57.49/57.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.49/57.52	c    35258    500    22791  6574809  288    45863    3611  14956    937 37.60
57.49/57.52	c    35359    500    22892  6619066  289    46065    3973  15057    938 37.68
57.49/57.52	c    35610    500    23143  6728927  290    46567    4371  15308    939 37.91
57.49/57.52	c    36086    500    23620  6937718  293    47521    4809  15785    939 38.40
57.49/57.52	c    36900    500    24436  7294848  298    49153    5290  16601    946 39.00
57.49/57.52	c    38221    500    25764  7875953  305    51809    5820  17929    953 40.08
57.49/57.52	c    40302    500    27847  8785068  315    56031    6403  20012    964 41.80
57.49/57.52	c    43526    500    11734  1729007  147    23527    7044   3899    953 45.64
57.49/57.52	c    48463    500    16680  3893300  233    33419    7749   8845    980 49.41
57.49/57.52	c    55969    500    24215  7191547  296    48489    8524  16380    976 57.33
57.49/57.52	o -60
57.81/57.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.81/57.87	c    56170    500    24417  7280126  298    48953    3611  16582    976 57.52
57.81/57.87	c    56270    500    24517  7323851  298    49153    3973  16682    976 57.60
57.81/57.87	c    56521    500    24768  7433544  300    49655    4371  16933    977 57.84
57.81/57.87	o -61
78.49/78.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.49/78.56	c    56559    500    24807  7450657  300    49794    3611  16972    977 57.87
78.49/78.56	c    56659    500    24907  7494272  300    49994    3973  17072    977 57.95
78.49/78.56	c    56910    500    25158  7603697  302    50496    4371  17323    978 58.14
78.49/78.56	c    57385    500    25633  7810650  304    51446    4809  17798    980 58.52
78.49/78.56	c    58198    500    26448  8165977  308    53076    5290  18613    985 59.08
78.49/78.56	c    59518    500    27770  8742342  314    55720    5820  19935    989 60.13
78.49/78.56	c    61599    500    10810  1320028  122    21681    6403   2975    982 62.70
78.49/78.56	c    64822    500    14045  2728490  194    28151    7044   6210    995 65.10
78.49/78.56	c    69758    500    18983  4879540  257    38027    7749  11148   1009 69.13
78.49/78.56	c    77264    500    26509  8157808  307    53079    8524  18674   1010 76.46
78.49/78.56	o -62
111.70/111.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
111.70/111.74	c    79281    500    28532  9039803  316    57187    3611  20697   1009 78.57
111.70/111.74	c    79381    500     9742   854592   87    19546    3973   1907   1002 79.19
111.70/111.74	c    79631    500     9992   963297   96    20046    4371   2157   1003 79.34
111.70/111.74	c    80107    500    10469  1170485  111    21000    4809   2634   1006 79.61
111.70/111.74	c    80921    500    11284  1524511  135    22630    5290   3449   1009 80.19
111.70/111.74	c    82241    500    12611  2100705  166    25284    5820   4776   1014 81.07
111.70/111.74	c    84322    500    14699  3008350  204    29460    6403   6864   1022 82.46
111.70/111.74	c    87545    500    17930  4410051  245    35982    7044  10095   1032 84.76
111.70/111.74	c    92481    500    22886  6562338  286    45953    7749  15051   1035 89.27
111.70/111.74	c    99987    500    30428  9840415  323    61037    8524  22593   1038 96.25
111.70/111.74	c   111349    500    21443  5890820  274    43272    9377  13608   1000 111.26
111.70/111.74	o -63
744.80/744.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
744.80/744.87	c   111987    500    22082  6168915  279    44613    3611  14247   1002 111.75
744.80/744.87	c   112087    500    22184  6213142  280    44817    3973  14349   1002 111.82
744.80/744.87	c   112338    500    22436  6322436  281    45321    4371  14601   1002 112.10
744.80/744.87	c   112814    500    22912  6528878  284    46273    4809  15077   1003 112.42
744.80/744.87	c   113627    500    23726  6881920  290    47901    5290  15891   1004 113.12
744.80/744.87	c   114948    500    25050  7456345  297    50549    5820  17215   1006 114.20
744.80/744.87	c   117029    500    27133  8358485  308    54776    6403  19298   1004 116.53
744.80/744.87	c   120253    500    11038  1407302  127    22139    7044   3203    999 120.37
744.80/744.87	c   125190    500    15990  3548936  221    32159    7749   8155   1003 124.71
744.80/744.87	c   132696    500    23507  6809491  289    47193    8524  15672    998 132.93
744.80/744.87	c   144057    500    14498  2888385  199    29119    9377   6663    983 146.50
744.80/744.87	c   161201    500    31679 10338300  326    63481   10315  23844    964 167.07
744.80/744.87	c   187022    500    15023  3081718  205    30264   11347   7188    921 202.85
744.80/744.87	c   225854    500    32178 10445240  324    64861   12482  24343    857 263.27
744.80/744.87	c   284206    500    23632  6759550  286    47502   13731  15797    786 361.24
744.80/744.87	c   371838    500    19547  4922140  251    40075   15105  11712    706 526.59
744.80/744.87	o -64
1797.91/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1797.98	c   475849    500    29145  9040700  310    59375    3611  21310    638 744.88
1797.91/1797.98	c   475949    500     9742   830370   85    19588    3973   1907    638 745.63
1797.91/1797.98	c   476199    500     9992   938579   93    20088    4371   2157    638 745.79
1797.91/1797.98	c   476675    500    10469  1145055  109    21042    4809   2634    638 746.09
1797.91/1797.98	c   477489    500    11284  1497737  132    22672    5290   3449    639 746.59
1797.91/1797.98	c   478810    500    12609  2070746  164    25322    5820   4774    640 747.48
1797.91/1797.98	c   480891    500    14694  2972447  202    29492    6403   6859    642 748.98
1797.91/1797.98	c   484114    500    17917  4367106  243    35938    7044  10082    644 751.44
1797.91/1797.98	c   489052    500    22868  6507348  284    45840    7749  15033    646 756.03
1797.91/1797.98	c   496558    500    30388  9751129  320    60942    8524  22553    650 763.52
1797.91/1797.98	c   507921    500    21390  5869269  274    42905    9377  13555    654 776.31
1797.91/1797.98	c   525065    500    17781  4325289  243    35626   10315   9946    660 795.10
1797.91/1797.98	c   550886    500    22384  6162595  275    45084   11347  14549    661 832.99
1797.91/1797.98	c   589718    500    17767  4176985  235    35815   12482   9932    662 889.66
1797.91/1797.98	c   648070    500    31617 10267256  324    63359   13731  23782    661 979.33
1797.91/1797.98	c   735702    500    27632  8308521  300    55989   15105  19797    634 1158.99
1797.91/1797.98	c   867254    500    17517  4113523  234    35205   16616   9682    622 1394.28
1797.91/1797.98	c  1064686    500    20030  5119266  255    40450   18278  12195    611 1741.28
1797.91/1797.98	c Resources Exceeded
1797.91/1797.98	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 x161 -x162 -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 -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 -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 -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 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 x499 -x500 
1797.91/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1797.98	c   83  1100523 152835  1320644    30704  9791545  22869    612 1798.00
1797.91/1797.98	c Objective: -64
1797.91/1797.98	s SATISFIABLE
1797.91/1797.98	c Total time: 1798 s

Verifier Data 

OK	-64

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462803-1307183067/watcher-3462803-1307183067 -o /tmp/evaluation-result-3462803-1307183067/solver-3462803-1307183067 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462803-1307183067.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=11544 CPUtime=0 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 433 0 0 0 0 0 0 0 25 0 1 0 829906329 11821056 388 33554432000 134512640 137138936 4287398320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 2886 389 179 642 0 2192 0

[startup+0.0526199 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=19604 CPUtime=0.04 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2495 0 0 0 4 0 0 0 25 0 1 0 829906329 20074496 2400 33554432000 134512640 137138936 4287398320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 4901 2400 185 642 0 4257 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19604

[startup+0.100611 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=19604 CPUtime=0.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2495 0 0 0 9 0 0 0 25 0 1 0 829906329 20074496 2400 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 4901 2400 185 642 0 4257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19604

[startup+0.300579 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=20804 CPUtime=0.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2942 0 0 0 28 1 0 0 25 0 1 0 829906329 21303296 2719 33554432000 134512640 137138936 4287398320 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 5201 2719 192 642 0 4557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20804

[startup+0.700508 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=24268 CPUtime=0.69 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 3822 0 0 0 68 1 0 0 25 0 1 0 829906329 24850432 3599 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 6067 3599 192 642 0 5423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24268

[startup+1.50671 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8890
/proc/meminfo: memFree=12215272/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=30992 CPUtime=1.5 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 5493 0 0 0 149 1 0 0 25 0 1 0 829906329 31735808 5270 33554432000 134512640 137138936 4287398320 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 7781 5305 192 642 0 7137 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 30992

[startup+3.10109 s]
/proc/loadavg: 2.16 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12202376/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=44080 CPUtime=3.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 8748 0 0 0 308 1 0 0 25 0 1 0 829906329 45137920 8525 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 11020 8525 192 642 0 10376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44080

[startup+6.30053 s]
/proc/loadavg: 2.16 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12172008/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=69080 CPUtime=6.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 15022 0 0 0 627 2 0 0 25 0 1 0 829906329 70737920 14799 33554432000 134512640 137138936 4287398320 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 17270 14799 192 642 0 16626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69080

[startup+12.7204 s]
/proc/loadavg: 2.14 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12128276/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=108068 CPUtime=12.71 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 24748 0 0 0 1267 4 0 0 25 0 1 0 829906329 110661632 24525 33554432000 134512640 137138936 4287398320 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 27017 24525 192 642 0 26373 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 108068

[startup+25.5012 s]
/proc/loadavg: 2.11 2.05 2.01 3/435 8890
/proc/meminfo: memFree=12072476/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=156672 CPUtime=25.49 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 36894 0 0 0 2541 8 0 0 25 0 1 0 829906329 160432128 36671 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 39168 36671 192 642 0 38524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 156672

[startup+51.1008 s]
/proc/loadavg: 2.07 2.05 2.01 3/435 8891
/proc/meminfo: memFree=12066568/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=150472 CPUtime=51.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 36894 0 0 0 5099 10 0 0 25 0 1 0 829906329 154083328 35153 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 37618 35153 192 642 0 36974 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 150472

[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/435 8893
/proc/meminfo: memFree=12047084/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=155860 CPUtime=102.28 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 39117 0 0 0 10214 14 0 0 25 0 1 0 829906329 159600640 36484 33554432000 134512640 137138936 4287398320 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 38965 36484 192 642 0 38321 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 155860

[startup+162.316 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 8894
/proc/meminfo: memFree=12047196/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=155860 CPUtime=162.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 39117 0 0 0 16211 19 0 0 25 0 1 0 829906329 159600640 36484 33554432000 134512640 137138936 4287398320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 38965 36484 192 642 0 38321 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 155860

[startup+222.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8896
/proc/meminfo: memFree=12037884/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=163928 CPUtime=222.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 41545 0 0 0 22206 23 0 0 25 0 1 0 829906329 167862272 38517 33554432000 134512640 137138936 4287398320 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 40982 38517 192 642 0 40338 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 163928

[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8897
/proc/meminfo: memFree=12028456/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=176084 CPUtime=282.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 44563 0 0 0 28201 28 0 0 25 0 1 0 829906329 180310016 41535 33554432000 134512640 137138936 4287398320 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 44021 41535 192 642 0 43377 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 176084

[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 8899
/proc/meminfo: memFree=12027584/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=176744 CPUtime=342.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 44731 0 0 0 34198 31 0 0 25 0 1 0 829906329 180985856 41703 33554432000 134512640 137138936 4287398320 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 44186 41703 192 642 0 43542 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 176744

[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/435 8901
/proc/meminfo: memFree=12021376/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182896 CPUtime=402.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 40195 34 0 0 25 0 1 0 829906329 187285504 43254 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45724 43254 192 642 0 45080 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 182896

[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/435 8902
/proc/meminfo: memFree=12021372/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182896 CPUtime=462.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 46191 38 0 0 25 0 1 0 829906329 187285504 43254 33554432000 134512640 137138936 4287398320 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45724 43254 192 642 0 45080 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 182896

[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 8904
/proc/meminfo: memFree=12021360/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182460 CPUtime=522.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 52189 40 0 0 25 0 1 0 829906329 186839040 43150 33554432000 134512640 137138936 4287398320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45615 43150 192 642 0 44971 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 182460

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8905
/proc/meminfo: memFree=12013788/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190668 CPUtime=582.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48313 0 0 0 58184 45 0 0 25 0 1 0 829906329 195244032 45181 33554432000 134512640 137138936 4287398320 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47667 45181 192 642 0 47023 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 190668

[startup+642.3 s]

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

/proc/meminfo: memFree=12017332/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=186444 CPUtime=1062.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48579 0 0 0 106156 74 0 0 25 0 1 0 829906329 190918656 44146 33554432000 134512640 137138936 4287398320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 46611 44146 192 642 0 45967 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 186444

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8920
/proc/meminfo: memFree=12017820/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=186444 CPUtime=1122.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48579 0 0 0 112153 77 0 0 25 0 1 0 829906329 190918656 44146 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 46611 44146 192 642 0 45967 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 186444

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8921
/proc/meminfo: memFree=12016200/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=188408 CPUtime=1182.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49051 0 0 0 118149 81 0 0 25 0 1 0 829906329 192929792 44618 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47102 44618 192 642 0 46458 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 188408

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8923
/proc/meminfo: memFree=12014084/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190752 CPUtime=1242.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49638 0 0 0 124146 85 0 0 25 0 1 0 829906329 195330048 45205 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47688 45205 192 642 0 47044 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 190752

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8952
/proc/meminfo: memFree=12293508/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190052 CPUtime=1302.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49638 0 0 0 130143 88 0 0 25 0 1 0 829906329 194613248 45048 33554432000 134512640 137138936 4287398320 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47513 45048 192 642 0 46869 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 190052

[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/435 8953
/proc/meminfo: memFree=12260200/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190184 CPUtime=1362.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49669 0 0 0 136139 91 0 0 25 0 1 0 829906329 194748416 45079 33554432000 134512640 137138936 4287398320 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47546 45079 192 642 0 46902 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 190184

[startup+1422.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/435 8955
/proc/meminfo: memFree=12255356/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190184 CPUtime=1422.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49669 0 0 0 142136 94 0 0 25 0 1 0 829906329 194748416 45079 33554432000 134512640 137138936 4287398320 18446744073709551615 134552049 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47546 45079 192 642 0 46902 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 190184

[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/435 8956
/proc/meminfo: memFree=12244184/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=196280 CPUtime=1482.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51264 0 0 0 148134 97 0 0 25 0 1 0 829906329 200990720 46605 33554432000 134512640 137138936 4287398320 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49070 46605 192 642 0 48426 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 196280

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/435 8958
/proc/meminfo: memFree=12239088/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=198128 CPUtime=1542.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 154131 100 0 0 25 0 1 0 829906329 202883072 47049 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49532 47049 192 642 0 48888 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 198128

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8960
/proc/meminfo: memFree=12237592/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=198128 CPUtime=1602.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 160127 104 0 0 25 0 1 0 829906329 202883072 47049 33554432000 134512640 137138936 4287398320 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49532 47049 192 642 0 48888 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 198128

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8961
/proc/meminfo: memFree=12234620/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=197488 CPUtime=1662.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 166125 106 0 0 25 0 1 0 829906329 202227712 46907 33554432000 134512640 137138936 4287398320 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49372 46907 192 642 0 48728 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 197488

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8963
/proc/meminfo: memFree=12234244/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=197488 CPUtime=1722.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 172122 109 0 0 25 0 1 0 829906329 202227712 46907 33554432000 134512640 137138936 4287398320 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49372 46907 192 642 0 48728 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 197488

[startup+1782.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8964
/proc/meminfo: memFree=12224436/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1782.33 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 178120 113 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 206980

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

[startup+1786.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8964
/proc/meminfo: memFree=12224436/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1786.91 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 178578 113 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1786.91
Current children cumulated vsize (KiB) 206980

[startup+1793.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1793.33 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179219 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1793.33
Current children cumulated vsize (KiB) 206980

[startup+1796.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1796.52 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179538 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (KiB) 206980

[startup+1797.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179617 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 206980

[startup+1797.72 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.73 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179659 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 206980

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.91 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179677 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 206980

Child status: 0
Real time (s): 1798
CPU time (s): 1798.01
CPU user time (s): 1796.86
CPU system time (s): 1.14982
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 206980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.86
system time used= 1.14982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54070
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= 5
involuntary context switches= 3407

runsolver used 8.66268 second user time and 17.4943 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-04 12:24:27
IDJOB=3462803
IDBENCH=48219
IDSOLVER=1955
FILE ID=node131/3462803-1307183067
RUNJOBID= node131-1307175315-7503
PBS_JOBID= 13508857
Free space on /tmp= 73908 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462803-1307183067/watcher-3462803-1307183067 -o /tmp/evaluation-result-3462803-1307183067/solver-3462803-1307183067 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462803-1307183067.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe
RANDOM SEED=602318734

node131.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12233300 kB
Buffers:        352548 kB
Cached:        5682140 kB
SwapCached:        948 kB
Active:       16233308 kB
Inactive:      4164400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12233300 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:    14361920 kB
Mapped:          39240 kB
Slab:           198048 kB
PageTables:      56312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95606612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73904 MiB
End job on node131 at 2011-06-04 12:54:25