Trace number 3731913

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
PB09: bsolo 3.1SAT25836 1798.02 1798.39

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUMf675f355e04fd5af6f49610fb88dbbd3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23954
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24674
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731913-1338701173.opb
0.00/0.00	c File size is 202954 bytes.
0.00/0.01	c Highest Coefficient sum: 116904
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 540 Constr: 4626 2682/264/1680 Lit: 21888 Watch. Lit: 10776
0.00/0.01	c Obj. Vars: 180 (33.3333 % of total variables)
0.02/0.03	c Pre-processing Time: 0.033 s
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c        0    540     4626    21888    4    14136   31514      0      0 0.03
0.02/0.03	c Switching off lower bounding mode.
0.02/0.05	c      101    540     4762    25113    5    15381   34666    136   2589 0.04
0.02/0.05	o 33369
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      187    540     4878    31648    6    15649   31874    252   3740 0.05
0.02/0.06	o 30147
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      239    540     4937    34864    7    15805   31874    311   4050 0.06
0.02/0.06	o 29532
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c      283    540     4988    37880    7    16099   31874    362   4223 0.07
0.29/0.37	c      383    540     5104    44395    8    16149   35062    478   4505 0.09
0.29/0.37	c      635    540     5407    65611   12    16473   38569    781   5039 0.13
0.29/0.37	c     1110    540     6098   126453   20    18214   42426   1472   4530 0.24
0.29/0.37	o 29177
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     1647    540     6807   168642   24    20232   31874   2181   4451 0.37
0.39/0.43	c     1747    540     6938   178815   25    20650   35062   2312   4324 0.40
0.39/0.43	o 28345
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     1847    540     7075   186966   26    20979   31874   2449   4275 0.43
0.59/0.66	c     1947    540     7200   196703   27    20971   35062   2574   4178 0.47
0.59/0.66	c     2197    540     7518   212476   28    21591   38569   2892   4106 0.54
0.59/0.66	o 28033
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c     2510    540     7904   240427   30    22395   31874   3278   3814 0.66
1.29/1.36	c     2616    540     8046   255268   31    22629   35062   3420   3663 0.71
1.29/1.36	c     2866    540     8350   282757   33    22889   38569   3724   3507 0.82
1.29/1.36	c     3341    540     8922   326118   36    24250   42426   4296   3234 1.03
1.29/1.36	o 27089
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c     3947    540     9705   403804   41    26331   31874   5079   2895 1.36
1.59/1.64	c     4049    540     9852   421983   42    26622   35062   5226   2839 1.43
1.59/1.64	c     4299    540    10181   450859   44    27420   38569   5555   2759 1.56
1.59/1.64	o 26784
3.59/3.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.68	c     4465    540    10389   468303   45    28036   31874   5763   2724 1.64
3.59/3.68	c     4566    540    10520   479946   45    28220   35062   5894   2696 1.69
3.59/3.68	c     4816    540    10838   497757   45    29215   38569   6212   2657 1.81
3.59/3.68	c     5291    540    11424   541229   47    30382   42426   6798   2557 2.07
3.59/3.68	c     6105    540    12449   617645   49    32552   46669   7823   2339 2.61
3.59/3.68	c     7426    540    14162   768110   54    36564   51336   9536   2042 3.63
3.59/3.68	o 26736
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c     7485    540    14234   773692   54    36856   31874   9608   2031 3.68
3.69/3.73	o 26149
239.64/239.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
239.64/239.72	c     7546    540    14307   779767   54    36988   31874   9681   2021 3.73
239.64/239.72	c     7647    540    14427   787762   54    36901   35062   9801   2009 3.81
239.64/239.72	c     7899    540    14748   807568   54    37606   38569  10122   2002 3.94
239.64/239.72	c     8379    540    15375   850094   55    39158   42426  10749   1950 4.30
239.64/239.72	c     9195    540    16438   954513   58    41351   46669  11812   1799 5.11
239.64/239.72	c    10516    540    18202  1141225   62    45154   51336  13576   1601 6.57
239.64/239.72	c    12597    540    21037  1433241   68    51347   56470  16411   1440 8.74
239.64/239.72	c    15820    540    25381  1898513   74    60324   62118  20755   1217 13.00
239.64/239.72	c    20756    540    32395  2759199   85    75481   68330  27769    898 23.10
239.64/239.72	c    28265    540    43429  3893753   89    98359   75164  38803    651 43.40
239.64/239.72	c    39626    540    59880  5786426   96   134842   82681  55254    462 85.65
239.64/239.72	c    56770    540    85269  9146469  107   189473   90950  80643    306 185.04
239.64/239.72	o 26012
388.76/388.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
388.76/388.90	c    64585    540    26041  2329745   89    60905   31874  21415    269 239.66
388.76/388.90	c    64685    540    26176  2343400   89    61056   35062  21550    269 239.84
388.76/388.90	c    64936    540    26506  2372938   89    61610   38569  21880    270 240.29
388.76/388.90	c    65414    540    27133  2438326   89    62948   42426  22507    271 241.25
388.76/388.90	c    66228    540    28257  2556305   90    65594   46669  23631    272 242.90
388.76/388.90	c    67549    540    30018  2747663   91    68624   51336  25392    275 245.21
388.76/388.90	c    69630    540    32990  2961114   89    74979   56470  28364    279 249.39
388.76/388.90	c    72853    540    37386  3394442   90    84807   62118  32760    284 255.75
388.76/388.90	c    77790    540    44390  4190939   94    99807   68330  39764    288 269.96
388.76/388.90	c    85296    540    55015  5425030   98   122549   75164  50389    292 291.81
388.76/388.90	c    96658    540    71302  7238043  101   157747   82681  66676    289 334.21
388.76/388.90	o 25836
1797.93/1798.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.38	c   108748    540    25108  2223005   88    58860   31874  20482    279 388.78
1797.93/1798.38	c   108848    540    25239  2233318   88    59218   35062  20613    279 388.90
1797.93/1798.38	c   109098    540    25579  2267664   88    59894   38569  20953    280 389.29
1797.93/1798.38	c   109574    540    26223  2333993   89    61082   42426  21597    281 389.93
1797.93/1798.38	c   110388    540    27331  2448221   89    63980   46669  22705    282 391.23
1797.93/1798.38	c   111708    540    29141  2634477   90    67901   51336  24515    284 393.02
1797.93/1798.38	c   113789    540    32077  2946690   91    74054   56470  27451    287 396.36
1797.93/1798.38	c   117012    540    36553  3440284   94    83406   62118  31927    291 401.45
1797.93/1798.38	c   121949    540    43491  4197651   96    98506   68330  38865    296 410.85
1797.93/1798.38	c   129455    540    54148  5519557  101   121095   75164  49522    301 428.70
1797.93/1798.38	c   140816    540    70676  7438333  105   156529   82681  66050    299 469.93
1797.93/1798.38	c   157960    540    34419  3441993  100    78368   90950  29793    293 537.65
1797.93/1798.38	c   183779    540    72204  8763073  121   157903  100046  67578    290 633.19
1797.93/1798.38	c   222612    540    50815  5554967  109   113668  110051  46189    269 824.97
1797.93/1798.38	c   280966    540    52525  6025024  114   115417  121057  47899    247 1137.28
1797.93/1798.38	c   368598    540    87633  8815849  100   191093  133163  83007    222 1658.13
1797.93/1798.38	c Resources Exceeded
1797.93/1798.38	v -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 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 x532 -x533 -x534 -x535 x536 -x537 x538 -x539 x540 -x2 -x38 -x74 -x110 -x146 -x182 -x218 x254 -x290 -x326 -x3 -x39 x75 -x111 -x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 -x256 x292 -x328 -x5 -x41 -x77 x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 x187 -x223 -x259 -x295 -x331 -x9 x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 -x333 x10 -x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 -x299 x335 -x12 -x48 x84 -x120 -x156 -x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 x337 -x14 -x50 -x86 x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x233 -x269 x305 -x341 -x18 -x54 -x90 -x126 -x162 x198 -x234 -x270 -x306 -x342 -x19 x55 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 x273 -x309 -x345 -x23 -x59 x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 x132 -x168 -x204 -x240 -x276 -x312 -x348 x25 -x61 -x97 -x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 x243 -x279 -x315 -x351 -x28 -x64 -x100 -x136 -x172 x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 x320 -x356 x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 -x322 x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 x287 -x323 -x359 -x8 -x44 -x80 x116 x152 -x188 x224 x260 x296 -x332 x15 x51 x87 -x123 -x159 -x195 x231 x267 -x303 -x339 x22 -x58 -x94 -x130 x166 x202 -x238 -x274 x310 x346 -x29 -x65 x101 x137 -x173 -x209 -x245 x281 x317 x353 -x36 x72 x108 x144 -x180 x216 x252 -x288 -x324 -x360 x1 x37 -x73 -x109 x145 x181 -x217 -x253 -x289 x325 
1797.93/1798.38	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.38	c   65   389757  92679   663588   118289 12223236 113663    216 1798.02
1797.93/1798.38	c Objective: 25836
1797.93/1798.38	s SATISFIABLE
1797.93/1798.38	c Total time: 1798.02 s

Verifier Data 

OK	25836

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-3731913-1338701173/watcher-3731913-1338701173 -o /tmp/evaluation-result-3731913-1338701173/solver-3731913-1338701173 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731913-1338701173.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.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 336242788 11399168 299 33554432000 134512640 137136520 4286963536 4286961784 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 2783 299 189 641 0 2089 0

[startup+0.029741 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=11996 CPUtime=0.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 668 0 0 0 2 0 0 0 20 0 1 0 336242788 12283904 571 33554432000 134512640 137136520 4286963536 4286955564 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 2999 571 191 641 0 2355 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11996

[startup+0.100269 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=12132 CPUtime=0.09 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 733 0 0 0 9 0 0 0 20 0 1 0 336242788 12423168 609 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3033 609 197 641 0 2389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12132

[startup+0.300234 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=13524 CPUtime=0.29 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 1057 0 0 0 29 0 0 0 20 0 1 0 336242788 13848576 933 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3381 933 198 641 0 2737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13524

[startup+0.700236 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=15020 CPUtime=0.69 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 1454 0 0 0 69 0 0 0 20 0 1 0 336242788 15380480 1330 33554432000 134512640 137136520 4286963536 4286962464 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3755 1330 198 641 0 3111 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15020

[startup+1.50024 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25872172/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=17672 CPUtime=1.48 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 2108 0 0 0 148 0 0 0 20 0 1 0 336242788 18096128 1984 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 4418 1984 198 641 0 3774 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17672

[startup+3.10024 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25862996/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=21164 CPUtime=3.09 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 2989 0 0 0 307 2 0 0 20 0 1 0 336242788 21671936 2865 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 5291 2865 198 641 0 4647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21164

[startup+6.30025 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25842784/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=27112 CPUtime=6.29 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 4478 0 0 0 627 2 0 0 20 0 1 0 336242788 27762688 4354 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 6778 4354 198 641 0 6134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27112

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25805752/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=37712 CPUtime=12.68 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 7128 0 0 0 1265 3 0 0 20 0 1 0 336242788 38617088 7004 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 9428 7004 198 641 0 8784 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37712

[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25755936/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=51708 CPUtime=25.48 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 10640 0 0 0 2542 6 0 0 20 0 1 0 336242788 52948992 10508 33554432000 134512640 137136520 4286963536 4286962464 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 12927 10508 198 641 0 12283 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51708

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25705684/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=70924 CPUtime=51.06 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 15435 0 0 0 5097 9 0 0 20 0 1 0 336242788 72626176 15783 33554432000 134512640 137136520 4286963536 4286962464 134544472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 17731 15783 198 641 0 17087 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70924

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 18472
/proc/meminfo: memFree=25611316/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=100560 CPUtime=102.26 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 22847 0 0 0 10210 16 0 0 20 0 1 0 336242788 102973440 23195 33554432000 134512640 137136520 4286963536 4286962464 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 25140 23195 198 641 0 24496 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100560

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 18472
/proc/meminfo: memFree=25517352/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=129612 CPUtime=162.24 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 30114 0 0 0 16202 22 0 0 20 0 1 0 336242788 132722688 30462 33554432000 134512640 137136520 4286963536 4286962464 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 32403 30462 198 641 0 31759 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129612

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25443724/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=150224 CPUtime=222.23 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 35275 0 0 0 22198 25 0 0 20 0 1 0 336242788 153829376 35623 33554432000 134512640 137136520 4286963536 4286962464 134544408 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 37556 35623 198 641 0 36912 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150224

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 18475
/proc/meminfo: memFree=25384304/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155280 CPUtime=282.23 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36643 0 0 0 28194 29 0 0 20 0 1 0 336242788 159006720 36901 33554432000 134512640 137136520 4286963536 4286962464 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38820 36901 198 641 0 38176 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 155280

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25351788/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155280 CPUtime=342.19 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36661 0 0 0 34188 31 0 0 20 0 1 0 336242788 159006720 36901 33554432000 134512640 137136520 4286963536 4286962464 134544703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38820 36901 198 641 0 38176 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 155280

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25311628/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=402.17 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 40182 35 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134543852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 155724

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25288440/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=462.15 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 46177 38 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962292 136500587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 155724

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18477
/proc/meminfo: memFree=25262152/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=522.15 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 52173 42 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 155724

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18477
/proc/meminfo: memFree=25240956/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=582.14 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 58168 46 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134544393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 155724

[startup+642.3 s]

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

/proc/meminfo: memFree=24980192/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=195116 CPUtime=1062.05 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 46735 0 0 0 106137 68 0 0 20 0 1 0 336242788 199798784 46842 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 48779 46842 198 641 0 48135 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 195116

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18482
/proc/meminfo: memFree=24935180/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1122.04 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 112132 72 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 203980

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18482
/proc/meminfo: memFree=24912612/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1182.03 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 118128 75 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 203980

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24877272/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1242.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 124125 77 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 203980

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24845060/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1302.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 130123 79 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 203980

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24818552/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1362 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 136120 80 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962464 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 203980

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24792948/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203992 CPUtime=1422 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49077 0 0 0 142118 82 0 0 20 0 1 0 336242788 208887808 49076 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50998 49076 198 641 0 50354 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 203992

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18486
/proc/meminfo: memFree=24763676/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1481.99 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49204 0 0 0 148115 84 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 204024

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 18487
/proc/meminfo: memFree=24741092/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1541.96 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 154109 87 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 204024

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 18487
/proc/meminfo: memFree=24721376/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1601.96 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 160107 89 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 204024

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24698436/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1661.95 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 166104 91 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 204024

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24676116/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1721.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 172100 93 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 204024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24652060/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1781.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 178098 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 204024

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24648588/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1791.53 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179058 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 204024

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24647596/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1794.73 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179378 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 204024

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24647100/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1796.32 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179537 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 204024

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.12 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179617 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 204024

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.52 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179657 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 204024

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179697 96 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962128 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 204024

Child status: 0
Real time (s): 1798.39
CPU time (s): 1798.02
CPU user time (s): 1797.06
CPU system time (s): 0.962853
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 204500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 0.962853
maximum resident set size= 196812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49218
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= 94
involuntary context switches= 1871

runsolver used 2.71959 second user time and 7.09592 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-03 07:26:13
IDJOB=3731913
IDBENCH=2010
IDSOLVER=2320
FILE ID=node129/3731913-1338701173
RUNJOBID= node129-1338697570-18135
PBS_JOBID= 14636684
Free space on /tmp= 70480 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731913-1338701173/watcher-3731913-1338701173 -o /tmp/evaluation-result-3731913-1338701173/solver-3731913-1338701173 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731913-1338701173.opb

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

MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3
RANDOM SEED=228827730

node129.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.957
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.91
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.957
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.957
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.91
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.957
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.957
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.90
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.957
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.957
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25883832 kB
Buffers:          461708 kB
Cached:          5630348 kB
SwapCached:            0 kB
Active:          2581180 kB
Inactive:        3530740 kB
Active(anon):      11304 kB
Inactive(anon):    10748 kB
Active(file):    2569876 kB
Inactive(file):  3519992 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8868 kB
Writeback:             0 kB
AnonPages:         26248 kB
Mapped:            15040 kB
Shmem:               204 kB
Slab:             742024 kB
SReclaimable:     183700 kB
SUnreclaim:       558324 kB
KernelStack:        1464 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     140500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731913-1338701173.opb

Free space on /tmp at the end= 70480 MiB
End job on node129 at 2012-06-03 07:56:12