Trace number 3736957

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
PB07: bsolo 3.0.17SAT (TO)41 1800.13 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_4.opb
MD5SUM3feaf3974ec1ffdea6d6674c11d1a071
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
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 constraint26
Maximum length of a constraint50
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)15754
Sum of products size (including duplicates)31508
Number of different products15754
Sum of products size31508

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3736957-1338711858.opb
0.00/0.00	c File size is 223821 bytes.
0.00/0.04	c Highest Coefficient sum: 500
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.039 s
0.00/0.05	c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770
0.00/0.05	c Obj. Vars: 500 (3.07617 % of total variables)
0.38/0.46	c Pre-processing Time: 0.46 s
0.38/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.46	c        0  16254    32008   110778    3    79770   99942      0      0 0.46
0.38/0.46	c Switching off LPR mode.
0.38/0.47	o 499	0.467
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c        0  16254    32009   111278    3    79773  100275      1      0 0.47
0.38/0.48	o 498	0.476
0.38/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.49	c        0  16254    32010   111778    3    79777  100775      2      0 0.48
0.38/0.49	o 497	0.487
0.48/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.50	c        0  16254    32011   112278    3    79782  101442      3      0 0.49
0.48/0.50	o 496	0.498
0.48/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.51	c        0  16254    32012   112778    3    79788  102275      4      0 0.50
0.48/0.51	o 495	0.508
0.48/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.52	c        0  16254    32013   113278    3    79795  103275      5      0 0.51
0.48/0.52	o 494	0.518
0.48/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.53	c        0  16254    32014   113778    3    79803  104275      6      0 0.52
0.48/0.53	o 493	0.529
0.48/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.54	c        0  16254    32015   114278    3    79812  105275      7      0 0.53
0.48/0.54	o 492	0.539
0.48/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.55	c        0  16254    32016   114778    3    79822  106275      8      0 0.54
0.48/0.55	o 491	0.549
0.48/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.56	c        0  16254    32017   115278    3    79833  107275      9      0 0.55
0.48/0.56	o 490	0.558
0.48/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.57	c        0  16254    32018   115778    3    79845  108275     10      0 0.56
0.48/0.57	o 489	0.568
0.48/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.58	c        0  16254    32019   116278    3    79858  109275     11      0 0.57
0.48/0.58	o 488	0.578
0.48/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.59	c        0  16254    32020   116778    3    79872  110275     12      0 0.58
0.48/0.59	o 487	0.587
0.58/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.60	c        0  16254    32021   117278    3    79887  111275     13      0 0.59
0.58/0.60	o 486	0.597
0.58/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.61	c        0  16254    32022   117778    3    79903  112275     14      0 0.60
0.58/0.61	o 485	0.607
0.58/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.62	c        0  16254    32023   118278    3    79920  113275     15      0 0.61
0.58/0.62	o 484	0.617
0.58/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.63	c        0  16254    32024   118778    3    79938  114275     16      0 0.62
0.58/0.63	o 483	0.627
0.58/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.64	c        0  16254    32025   119278    3    79957  115275     17      0 0.63
0.58/0.64	o 482	0.637
0.58/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.65	c        0  16254    32026   119778    3    79977  116275     18      0 0.64
0.58/0.65	o 481	0.647
0.58/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.66	c        0  16254    32027   120278    3    79998  117275     19      0 0.65
0.58/0.66	o 480	0.658
0.58/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.67	c        0  16254    32028   120778    3    80020  118275     20      0 0.66
0.58/0.67	o 479	0.667
0.58/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.68	c        0  16254    32029   121278    3    80043  119275     21      0 0.67
0.58/0.68	o 478	0.677
0.58/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.69	c        0  16254    32030   121778    3    80067  120275     22      0 0.68
0.58/0.69	o 477	0.686
0.68/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.70	c        0  16254    32031   122278    3    80092  121275     23      0 0.69
0.68/0.70	o 476	0.696
0.68/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.71	c        0  16254    32032   122778    3    80118  122275     24      0 0.70
0.68/0.71	o 475	0.707
0.68/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.72	c        0  16254    32033   123278    3    80145  123275     25      0 0.71
0.68/0.72	o 474	0.716
0.68/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.73	c        0  16254    32034   123778    3    80173  124275     26      0 0.72
0.68/0.73	o 473	0.726
0.68/0.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.74	c        0  16254    32035   124278    3    80202  125275     27      0 0.73
0.68/0.74	o 472	0.736
0.68/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.75	c        0  16254    32036   124778    3    80232  126275     28      0 0.74
0.68/0.75	o 471	0.746
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c        0  16254    32037   125278    3    80263  127275     29      0 0.75
0.68/0.76	o 470	0.756
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c        0  16254    32038   125778    3    80295  128275     30      0 0.76
0.68/0.77	o 469	0.765
0.68/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.78	c        0  16254    32039   126278    3    80328  129275     31      0 0.77
0.68/0.78	o 468	0.775
0.68/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.79	c        0  16254    32040   126778    3    80362  130275     32      0 0.78
0.68/0.79	o 467	0.785
0.78/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.80	c        1  16254    32042   127746    3    80399  130275     34      1 0.79
0.78/0.80	o 43	0.797
0.78/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.81	c        1  16254    32043   128246    4    80858  130275     35      1 0.80
0.78/0.81	o 42	0.809
0.78/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.83	c        1  16254    32044   128746    4    81318  130275     36      1 0.81
0.78/0.83	o 41	0.826
1800.06/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.61	c       23  16254    32067   132609    4    81823  130275     59     27 0.83
1800.06/1800.61	c      123  16254    32167   148181    4    82023  143303    159    143 0.86
1800.06/1800.61	c      373  16254    32417   189957    5    82523  157634    409    404 0.92
1800.06/1800.61	c      848  16254    32892   258104    7    83473  173398    884    812 1.04
1800.06/1800.61	c     1661  16254    33705   367328   10    85099  190738   1697   1314 1.26
1800.06/1800.61	c     2981  16254    35025   589342   16    87739  209812   3017   1799 1.66
1800.06/1800.61	c     5062  16254    37106   964095   25    91901  230794   5098   2314 2.19
1800.06/1800.61	c     8286  16254    40330  1386743   34    98349  253874   8322   2662 3.11
1800.06/1800.61	c    13222  16254    45266  2373963   52   108221  279262  13258   2811 4.70
1800.06/1800.61	c    20728  16254    52772  3833250   72   123233  307189  20764   2491 8.32
1800.06/1800.61	c    32090  16254    64134  5629770   87   145957  337908  32126   2276 14.10
1800.06/1800.61	c    49234  16254    81278  8709894  107   180245  371699  49270   1895 25.98
1800.06/1800.61	c    75053  16254   107097 13991979  130   231883  408869  75089   1596 47.02
1800.06/1800.61	c   113885  16254   145929 21944791  150   309547  449756 113921    949 120.00
1800.06/1800.61	c   172237  16254   204281 35428393  173   426251  494732 172273    691 248.98
1800.06/1800.61	c   259869  16254   291913 57758713  197   601515  544206 259905    487 532.70
1800.06/1800.61	c   391422  16254   423466 81698145  192   864621  598627 391458    399 980.97
1800.06/1800.61	c Caught signal: 15
1800.06/1800.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 -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 
1800.06/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.61	c   52   529976 167650   873552   562020 124166690 530012    294 1800.08
1800.06/1800.61	c Objective: 41
1800.06/1800.61	s SATISFIABLE
1800.06/1800.61	c Total time: 1800.08 s

Verifier Data 

OK	41

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3736957-1338711858/watcher-3736957-1338711858 -o /tmp/evaluation-result-3736957-1338711858/solver-3736957-1338711858 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736957-1338711858.opb 

running on 4 cores: 1,3,5,7

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.07 2.02 2.00 3/176 2320
/proc/meminfo: memFree=28284608/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) D 2318 2320 31541 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 337311443 2723840 47 33554432000 134512640 135840783 4289903328 4289901364 5489604 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 665 47 37 325 0 32 0

[startup+0.00996901 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 2320
/proc/meminfo: memFree=28284608/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=4916 CPUtime=0 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 496 0 0 0 0 0 0 0 20 0 1 0 337311443 5033984 432 33554432000 134512640 135840783 4289903328 4289902240 134541066 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 1262 433 331 325 0 143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4916

[startup+0.100266 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 2320
/proc/meminfo: memFree=28284608/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=12720 CPUtime=0.08 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 2499 0 0 0 8 0 0 0 20 0 1 0 337311443 13025280 2380 33554432000 134512640 135840783 4289903328 4289707372 13247536 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 3180 2380 342 325 0 2116 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12720

[startup+0.300272 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 2320
/proc/meminfo: memFree=28284608/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=12720 CPUtime=0.28 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 2499 0 0 0 28 0 0 0 20 0 1 0 337311443 13025280 2380 33554432000 134512640 135840783 4289903328 4289707372 13247536 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 3180 2380 342 325 0 2116 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12720

[startup+0.700285 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 2320
/proc/meminfo: memFree=28284608/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=13280 CPUtime=0.68 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 3171 0 0 0 67 1 0 0 20 0 1 0 337311443 13598720 2524 33554432000 134512640 135840783 4289903328 4289902688 134551532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 3320 2524 347 325 0 2256 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13280

[startup+1.50022 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2321
/proc/meminfo: memFree=28274408/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=18452 CPUtime=1.48 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 4490 0 0 0 147 1 0 0 20 0 1 0 337311443 18894848 3843 33554432000 134512640 135840783 4289903328 4289898080 6001959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 4613 3843 348 325 0 3549 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18452

[startup+3.10024 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 2321
/proc/meminfo: memFree=28264612/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=30244 CPUtime=3.08 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 7425 0 0 0 306 2 0 0 20 0 1 0 337311443 30969856 6778 33554432000 134512640 135840783 4289903328 4289902688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 7561 6779 348 325 0 6497 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30244

[startup+6.3003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2321
/proc/meminfo: memFree=28240192/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=54272 CPUtime=6.29 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 13432 0 0 0 625 4 0 0 20 0 1 0 337311443 55574528 12785 33554432000 134512640 135840783 4289903328 4289902564 6007347 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 13568 12785 348 325 0 12504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54272

[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 2321
/proc/meminfo: memFree=28208704/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=81736 CPUtime=12.68 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 20312 0 0 0 1263 5 0 0 20 0 1 0 337311443 83697664 19665 33554432000 134512640 135840783 4289903328 4289902688 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 20434 19665 348 325 0 19370 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81736

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2321
/proc/meminfo: memFree=28162708/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=126892 CPUtime=25.48 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 31602 0 0 0 2540 8 0 0 20 0 1 0 337311443 129937408 30955 33554432000 134512640 135840783 4289903328 4289900048 6001959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 31723 30955 348 325 0 30659 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126892

[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2321
/proc/meminfo: memFree=28078760/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=211760 CPUtime=51.08 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 52805 0 0 0 5093 15 0 0 20 0 1 0 337311443 216842240 52158 33554432000 134512640 135840783 4289903328 4289902724 5992251 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 52940 52158 348 325 0 51876 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 211760

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2321
/proc/meminfo: memFree=28000020/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=288304 CPUtime=102.27 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 71954 0 0 0 10205 22 0 0 20 0 1 0 337311443 295223296 71307 33554432000 134512640 135840783 4289903328 4289902464 5999361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 72076 71307 348 325 0 71012 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 288304

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2322
/proc/meminfo: memFree=27904532/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=384580 CPUtime=162.26 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 96012 0 0 0 16195 31 0 0 20 0 1 0 337311443 393809920 95365 33554432000 134512640 135840783 4289903328 4289895744 6001959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 96145 95365 348 325 0 95081 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 384580

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2322
/proc/meminfo: memFree=27828776/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=459392 CPUtime=222.25 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 114725 0 0 0 22187 38 0 0 20 0 1 0 337311443 470417408 114078 33554432000 134512640 135840783 4289903328 4289902688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 114848 114078 348 325 0 113784 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 459392

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2322
/proc/meminfo: memFree=27761804/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=529056 CPUtime=282.23 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 132171 0 0 0 28177 46 0 0 20 0 1 0 337311443 541753344 131530 33554432000 134512640 135840783 4289903328 4289902688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 132264 131530 348 325 0 131200 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 529056

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2323
/proc/meminfo: memFree=27681976/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=608128 CPUtime=342.2 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 151965 0 0 0 34168 52 0 0 20 0 1 0 337311443 622723072 151291 33554432000 134512640 135840783 4289903328 4289883888 134586828 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 152032 151291 348 325 0 150968 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 608128

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2326
/proc/meminfo: memFree=27631528/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=658980 CPUtime=402.15 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 164709 0 0 0 40158 57 0 0 20 0 1 0 337311443 674795520 163995 33554432000 134512640 135840783 4289903328 4289902688 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 164745 163995 348 325 0 163681 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 658980

[startup+462.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27771924/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=705344 CPUtime=462.12 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 176349 0 0 0 46149 63 0 0 20 0 1 0 337311443 722272256 175603 33554432000 134512640 135840783 4289903328 4289902688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 176336 175603 348 325 0 175272 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 705344

[startup+522.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27357064/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=766684 CPUtime=522.1 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 191683 0 0 0 52140 70 0 0 20 0 1 0 337311443 785084416 190916 33554432000 134512640 135840783 4289903328 4289902688 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 191671 190916 348 325 0 190607 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 766684

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 2365
/proc/meminfo: memFree=27279592/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=842920 CPUtime=582.06 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 210789 0 0 0 58127 79 0 0 20 0 1 0 337311443 863150080 209984 33554432000 134512640 135840783 4289903328 4289902688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 210730 209984 348 325 0 209666 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 842920

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 2366
/proc/meminfo: memFree=27023768/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1013560 CPUtime=821.93 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 253586 0 0 0 82092 101 0 0 20 0 1 0 337311443 1037885440 252640 33554432000 134512640 135840783 4289903328 4289902688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 253390 252640 348 325 0 252326 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 1013560

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2366
/proc/meminfo: memFree=26994228/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1042840 CPUtime=881.9 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 260950 0 0 0 88084 106 0 0 20 0 1 0 337311443 1067868160 259959 33554432000 134512640 135840783 4289903328 4289902688 134550726 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 260710 259959 348 325 0 259646 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 1042840

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2367
/proc/meminfo: memFree=27017516/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1073800 CPUtime=941.88 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 268678 0 0 0 94078 110 0 0 20 0 1 0 337311443 1099571200 267687 33554432000 134512640 135840783 4289903328 4289902464 5999335 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 268450 267687 348 325 0 267386 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 1073800

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 2370
/proc/meminfo: memFree=26892172/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1118304 CPUtime=1001.87 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 279813 0 0 0 100072 115 0 0 20 0 1 0 337311443 1145143296 278822 33554432000 134512640 135840783 4289903328 4289902688 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 279576 278822 348 325 0 278512 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 1118304

[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2370
/proc/meminfo: memFree=26846204/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1164712 CPUtime=1061.87 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 291430 0 0 0 106068 119 0 0 20 0 1 0 337311443 1192665088 290439 33554432000 134512640 135840783 4289903328 4289902688 134551347 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 291178 290439 348 325 0 290114 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 1164712

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2370
/proc/meminfo: memFree=26859128/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1232716 CPUtime=1121.86 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 308426 0 0 0 112061 125 0 0 20 0 1 0 337311443 1262301184 307435 33554432000 134512640 135840783 4289903328 4289902688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 308179 307435 348 325 0 307115 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1232716

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2370
/proc/meminfo: memFree=26753384/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1338540 CPUtime=1181.85 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 334877 0 0 0 118051 134 0 0 20 0 1 0 337311443 1370664960 333886 33554432000 134512640 135840783 4289903328 4289902688 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 334635 333886 348 325 0 333571 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 1338540

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2371
/proc/meminfo: memFree=26630404/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1403288 CPUtime=1241.84 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 351082 0 0 0 124045 139 0 0 20 0 1 0 337311443 1436966912 350091 33554432000 134512640 135840783 4289903328 4289902688 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 350822 350091 348 325 0 349758 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1403288

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2371
/proc/meminfo: memFree=26578920/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1430668 CPUtime=1301.83 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 357918 0 0 0 130041 142 0 0 20 0 1 0 337311443 1465004032 356927 33554432000 134512640 135840783 4289903328 4289902688 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 357667 356927 348 325 0 356603 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1430668

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 2371
/proc/meminfo: memFree=26529320/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1451344 CPUtime=1361.82 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 363078 0 0 0 136037 145 0 0 20 0 1 0 337311443 1486176256 362087 33554432000 134512640 135840783 4289903328 4289902688 134550924 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 362836 362087 348 325 0 361772 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1451344

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2371
/proc/meminfo: memFree=26507372/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1473312 CPUtime=1421.82 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 368581 0 0 0 142033 149 0 0 20 0 1 0 337311443 1508671488 367590 33554432000 134512640 135840783 4289903328 4289902688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 368328 367590 348 325 0 367264 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1473312

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2371
/proc/meminfo: memFree=26478976/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1502104 CPUtime=1481.8 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 375755 0 0 0 148028 152 0 0 20 0 1 0 337311443 1538154496 374764 33554432000 134512640 135840783 4289903328 4289902688 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 375526 374764 348 325 0 374462 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1502104

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2372
/proc/meminfo: memFree=26442892/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1537360 CPUtime=1541.8 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 384590 0 0 0 154023 157 0 0 20 0 1 0 337311443 1574256640 383599 33554432000 134512640 135840783 4289903328 4289902688 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 384340 383599 348 325 0 383276 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1537360

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2375
/proc/meminfo: memFree=26422300/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1557952 CPUtime=1601.78 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 389736 0 0 0 160019 159 0 0 20 0 1 0 337311443 1595342848 388745 33554432000 134512640 135840783 4289903328 4289902688 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 389488 388745 348 325 0 388424 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1557952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26391928/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1588628 CPUtime=1661.77 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 397410 0 0 0 166013 164 0 0 20 0 1 0 337311443 1626755072 396419 33554432000 134512640 135840783 4289903328 4289902688 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 397157 396419 348 325 0 396093 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1588628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26356836/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1623292 CPUtime=1721.76 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 406083 0 0 0 172008 168 0 0 20 0 1 0 337311443 1662251008 405092 33554432000 134512640 135840783 4289903328 4289902688 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 405823 405092 348 325 0 404759 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1623292

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26334144/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1645340 CPUtime=1781.76 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 411577 0 0 0 178004 172 0 0 20 0 1 0 337311443 1684828160 410586 33554432000 134512640 135840783 4289903328 4289902688 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 411335 410586 348 325 0 410271 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1645340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2375
/proc/meminfo: memFree=26328936/32873844 swapFree=7112/7112
[pid=2320] ppid=2318 vsize=1650792 CPUtime=1800.06 cores=1,3,5,7
/proc/2320/stat : 2320 (bsolo3.0.17) R 2318 2320 31541 0 -1 4202496 412946 0 0 0 179834 172 0 0 20 0 1 0 337311443 1690411008 411955 33554432000 134512640 135840783 4289903328 4289902688 134550782 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/2320/statm: 412698 411955 348 325 0 411634 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1650792

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.66
CPU time (s): 1800.13
CPU user time (s): 1798.35
CPU system time (s): 1.77773
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1650792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 1.77773
maximum resident set size= 1647820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412949
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= 411
involuntary context switches= 1838

runsolver used 3.76143 second user time and 10.0155 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 10:24:18
IDJOB=3736957
IDBENCH=48153
IDSOLVER=2318
FILE ID=node119/3736957-1338711858
RUNJOBID= node119-1338678620-31561
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736957-1338711858/watcher-3736957-1338711858 -o /tmp/evaluation-result-3736957-1338711858/solver-3736957-1338711858 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736957-1338711858.opb            

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

MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071
RANDOM SEED=778281466

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28284872 kB
Buffers:          403016 kB
Cached:          2952904 kB
SwapCached:         1936 kB
Active:          1862644 kB
Inactive:        1895136 kB
Active(anon):     397260 kB
Inactive(anon):     6624 kB
Active(file):    1465384 kB
Inactive(file):  1888512 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6624 kB
Writeback:             0 kB
AnonPages:        406980 kB
Mapped:            13128 kB
Shmem:                 0 kB
Slab:             689336 kB
SReclaimable:     131472 kB
SUnreclaim:       557864 kB
KernelStack:        1464 kB
PageTables:         4908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     520008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70888 MiB
End job on node119 at 2012-06-03 10:54:20