Trace number 3707871

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT68 1798.02 1798.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
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 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707871-1338149166.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.01	c Highest Coefficient sum: 324
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     4758    25004    5    15373   34666    132   2525 0.04
0.02/0.05	o 86
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      187    540     4872    31404    6    15634   31874    246   3596 0.05
0.09/0.11	c      287    540     4988    38306    7    15636   35062    362   3986 0.07
0.09/0.11	o 84
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      458    540     5198    50417    9    16442   31874    572   4053 0.11
0.09/0.15	c      558    540     5313    57304   10    16413   35062    687   4195 0.13
0.09/0.15	o 82
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      664    540     5459    66735   12    16784   31874    833   4368 0.15
0.09/0.15	o 80
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      678    540     5475    67413   12    17058   31874    849   4346 0.16
0.09/0.18	c      780    540     5597    73887   13    16820   35062    971   4406 0.18
0.09/0.18	o 78
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c      810    540     5631    75257   13    17054   31874   1005   4450 0.18
0.39/0.48	c      910    540     5742    81094   14    17318   35062   1116   4482 0.20
0.39/0.48	c     1160    540     6030   104954   17    18264   38569   1404   4142 0.28
0.39/0.48	c     1636    540     6681   141049   21    18848   42426   2055   4227 0.39
0.39/0.48	o 76
2.79/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.87	c     1939    540     7093   164831   23    20477   31874   2467   4031 0.48
2.79/2.87	c     2039    540     7228   170918   23    20763   35062   2602   3974 0.51
2.79/2.87	c     2289    540     7551   187224   24    21922   38569   2925   3932 0.58
2.79/2.87	c     2764    540     8134   235562   28    22379   42426   3508   3685 0.75
2.79/2.87	c     3577    540     9178   319222   34    24841   46669   4552   3199 1.12
2.79/2.87	c     4897    540    10977   493753   44    28726   51336   6351   2622 1.87
2.79/2.87	o 74
6.09/6.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.11	c     6371    540    12917   683169   52    33864   31874   8291   2219 2.87
6.09/6.11	c     6472    540    13038   689734   52    33657   35062   8412   2211 2.93
6.09/6.11	c     6722    540    13367   722911   54    34585   38569   8741   2185 3.08
6.09/6.11	c     7198    540    13997   783513   55    35259   42426   9371   2142 3.36
6.09/6.11	c     8013    540    15128   852390   56    37587   46669  10502   2054 3.90
6.09/6.11	c     9333    540    16977  1038041   61    42104   51336  12351   1816 5.14
6.09/6.11	o 72
219.32/219.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
219.32/219.41	c    10191    540    18193  1180439   64    44781   31874  13567   1667 6.11
219.32/219.41	c    10291    540    18320  1187932   64    44760   35062  13694   1652 6.23
219.32/219.41	c    10543    540    18641  1210796   64    45264   38569  14015   1630 6.46
219.32/219.41	c    11019    540    19255  1267400   65    46287   42426  14629   1600 6.89
219.32/219.41	c    11832    540    20308  1376745   67    48881   46669  15682   1523 7.76
219.32/219.41	c    13152    540    22052  1556399   70    52848   51336  17426   1454 9.04
219.32/219.41	c    15237    540    24849  1821425   73    58747   56470  20223   1338 11.39
219.32/219.41	c    18460    540    29144  2273724   78    67841   62118  24518   1118 16.51
219.32/219.41	c    23396    540    35793  2996364   83    82350   68330  31167    868 26.94
219.32/219.41	c    30903    540    47128  3929324   83   105844   75164  42502    626 49.35
219.32/219.41	c    42265    540    63361  5949173   93   141009   82681  58735    439 96.27
219.32/219.41	c    59411    540    27178  3051929  112    63124   90950  22552    290 204.19
219.32/219.41	o 70
1371.80/1372.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1371.80/1372.10	c    66815    540    38112  4267099  111    86546   31874  33486    304 219.33
1371.80/1372.10	c    66917    540    20703  1715932   82    49072   35062  16077    304 219.60
1371.80/1372.10	c    67167    540    21039  1743585   82    49706   38569  16413    305 219.78
1371.80/1372.10	c    67643    540    21656  1796208   82    50909   42426  17030    307 220.33
1371.80/1372.10	c    68457    540    22749  1903772   83    52635   46669  18123    309 221.17
1371.80/1372.10	c    69777    540    24516  2086633   85    56898   51336  19890    312 223.09
1371.80/1372.10	c    71859    540    27358  2350325   85    63379   56470  22732    318 225.97
1371.80/1372.10	c    75082    540    31930  2757531   86    73186   62118  27304    325 230.50
1371.80/1372.10	c    80018    540    38762  3537272   91    87750   68330  34136    330 241.92
1371.80/1372.10	c    87524    540    49355  4766079   96   110154   75164  44729    330 265.13
1371.80/1372.10	c    98886    540    65640  6668590  101   145364   82681  61014    318 310.23
1371.80/1372.10	c   116030    540    27482  2409453   87    62652   90950  22856    291 398.03
1371.80/1372.10	c   141850    540    66605  5576984   83   143895  100046  61979    285 496.58
1371.80/1372.10	c   180684    540    44670  4916102  110    98844  110051  40044    256 703.88
1371.80/1372.10	c   239039    540    43501  4903766  112    96188  121057  38875    216 1102.16
1371.80/1372.10	o 68
1797.93/1798.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.37	c   279127    540   103263 13139010  127   222875   31874  98637    203 1371.81
1797.93/1798.37	c   279227    540    20715  1621534   78    47906   35062  16089    203 1374.00
1797.93/1798.37	c   279477    540    21057  1663350   78    48327   38569  16431    203 1374.37
1797.93/1798.37	c   279952    540    21719  1736578   79    49774   42426  17093    203 1375.01
1797.93/1798.37	c   280765    540    22909  1853214   80    52164   46669  18283    204 1376.09
1797.93/1798.37	c   282085    540    24775  2057568   83    56465   51336  20149    204 1378.19
1797.93/1798.37	c   284166    540    27770  2394798   86    62653   56470  23144    205 1381.68
1797.93/1798.37	c   287390    540    32508  2990417   91    72562   62118  27882    206 1388.64
1797.93/1798.37	c   292326    540    39547  3636936   91    87261   68330  34921    208 1401.80
1797.93/1798.37	c   299832    540    49865  4909419   98   110105   75164  45239    210 1423.85
1797.93/1798.37	c   311195    540    65711  6923825  105   144030   82681  61085    210 1476.15
1797.93/1798.37	c   328339    540    28126  2647561   94    64582   90950  23500    206 1588.24
1797.93/1798.37	c   354162    540    65975  7153282  108   144864  100046  61349    209 1688.62
1797.93/1798.37	c Resources Exceeded
1797.93/1798.37	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.37	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.37	c   64   371543  84592   618875    90601 10347249  85975    206 1798.02
1797.93/1798.37	c Objective: 68
1797.93/1798.37	s SATISFIABLE
1797.93/1798.37	c Total time: 1798.02 s

Verifier Data 

OK	68

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-3707871-1338149166/watcher-3707871-1338149166 -o /tmp/evaluation-result-3707871-1338149166/solver-3707871-1338149166 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707871-1338149166.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.04 2.03 2.00 3/176 13340
/proc/meminfo: memFree=28211496/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=11132 CPUtime=0 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 281045152 11399168 280 33554432000 134512640 137138936 4294438976 4294437488 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 2783 281 182 642 0 2089 0

[startup+0.0270619 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 13340
/proc/meminfo: memFree=28211496/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=12000 CPUtime=0.02 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 662 0 0 0 2 0 0 0 20 0 1 0 281045152 12288000 566 33554432000 134512640 137138936 4294438976 4294431004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 3000 566 185 642 0 2356 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12000

[startup+0.100261 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 13340
/proc/meminfo: memFree=28211496/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=12124 CPUtime=0.09 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 704 0 0 0 9 0 0 0 20 0 1 0 281045152 12414976 581 33554432000 134512640 137138936 4294438976 4294437520 134607623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 3031 581 192 642 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12124

[startup+0.300231 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 13340
/proc/meminfo: memFree=28211496/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=12988 CPUtime=0.29 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 945 0 0 0 29 0 0 0 20 0 1 0 281045152 13299712 822 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 3247 822 192 642 0 2603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12988

[startup+0.700228 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 13340
/proc/meminfo: memFree=28211496/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=14632 CPUtime=0.69 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 1345 0 0 0 69 0 0 0 20 0 1 0 281045152 14983168 1222 33554432000 134512640 137138936 4294438976 4294437904 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 3658 1222 192 642 0 3014 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14632

[startup+1.50023 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 13341
/proc/meminfo: memFree=28206644/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=17280 CPUtime=1.49 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 1994 0 0 0 148 1 0 0 20 0 1 0 281045152 17694720 1871 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 4320 1871 192 642 0 3676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17280

[startup+3.10024 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 13341
/proc/meminfo: memFree=28202924/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=21712 CPUtime=3.09 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 3123 0 0 0 308 1 0 0 20 0 1 0 281045152 22233088 2996 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 5428 2996 192 642 0 4784 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21712

[startup+6.30028 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 13341
/proc/meminfo: memFree=28195104/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=28288 CPUtime=6.29 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 4759 0 0 0 627 2 0 0 20 0 1 0 281045152 28966912 4632 33554432000 134512640 137138936 4294438976 4294437904 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 7072 4632 192 642 0 6428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28288

[startup+12.7003 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 13341
/proc/meminfo: memFree=28183968/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=38512 CPUtime=12.69 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 7302 0 0 0 1265 4 0 0 20 0 1 0 281045152 39436288 7175 33554432000 134512640 137138936 4294438976 4294437904 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 9628 7175 192 642 0 8984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38512

[startup+25.5003 s]
/proc/loadavg: 2.15 2.06 2.01 3/177 13341
/proc/meminfo: memFree=28170204/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=51972 CPUtime=25.48 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 10684 0 0 0 2543 5 0 0 20 0 1 0 281045152 53219328 10557 33554432000 134512640 137138936 4294438976 4294437904 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 12993 10557 192 642 0 12349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51972

[startup+51.1003 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 13341
/proc/meminfo: memFree=28155696/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=67416 CPUtime=51.08 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 14548 0 0 0 5099 9 0 0 20 0 1 0 281045152 69033984 14421 33554432000 134512640 137138936 4294438976 4294437904 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 16854 14421 192 642 0 16210 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67416

[startup+102.307 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 13341
/proc/meminfo: memFree=28128164/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=97240 CPUtime=102.25 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 22031 0 0 0 10208 17 0 0 20 0 1 0 281045152 99573760 21872 33554432000 134512640 137138936 4294438976 4294437904 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 24310 21872 192 642 0 23666 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 97240

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 13341
/proc/meminfo: memFree=28098208/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=127040 CPUtime=162.23 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 29491 0 0 0 16198 25 0 0 20 0 1 0 281045152 130088960 29327 33554432000 134512640 137138936 4294438976 4294437904 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 31760 29327 192 642 0 31116 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 127040

[startup+222.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 13341
/proc/meminfo: memFree=28082064/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=222.21 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33553 0 0 0 22191 30 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294437904 134542953 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 143012

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 13345
/proc/meminfo: memFree=28082160/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=282.19 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33563 0 0 0 28186 33 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294437904 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 143012

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 13345
/proc/meminfo: memFree=28089116/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=342.18 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33563 0 0 0 34181 37 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294437520 134618964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 143012

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 13345
/proc/meminfo: memFree=28088992/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=402.17 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33645 0 0 0 40178 39 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294437904 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 143012

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13345
/proc/meminfo: memFree=28089116/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=462.17 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33645 0 0 0 46174 43 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 143012

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13345
/proc/meminfo: memFree=28089116/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143012 CPUtime=522.16 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33645 0 0 0 52169 47 0 0 20 0 1 0 281045152 146444288 33296 33554432000 134512640 137138936 4294438976 4294437904 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35753 33296 192 642 0 35109 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 143012

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13346
/proc/meminfo: memFree=28089240/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=143016 CPUtime=582.14 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 33646 0 0 0 58166 48 0 0 20 0 1 0 281045152 146448384 33297 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 35754 33297 192 642 0 35110 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 143016

[startup+642.3 s]

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

/proc/meminfo: memFree=28004288/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=208456 CPUtime=1062.05 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 50160 0 0 0 106127 78 0 0 20 0 1 0 281045152 213458944 49687 33554432000 134512640 137138936 4294438976 4294437872 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52114 49687 192 642 0 51470 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 208456

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13388
/proc/meminfo: memFree=28000568/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211496 CPUtime=1122.04 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51000 0 0 0 112122 82 0 0 20 0 1 0 281045152 216571904 50419 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52874 50419 192 642 0 52230 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 211496

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13389
/proc/meminfo: memFree=28000568/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211496 CPUtime=1182.03 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51000 0 0 0 118118 85 0 0 20 0 1 0 281045152 216571904 50419 33554432000 134512640 137138936 4294438976 4294437520 134598916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52874 50419 192 642 0 52230 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 211496

[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 13389
/proc/meminfo: memFree=28000248/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211496 CPUtime=1242.02 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51005 0 0 0 124115 87 0 0 20 0 1 0 281045152 216571904 50419 33554432000 134512640 137138936 4294438976 4294437904 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52874 50419 192 642 0 52230 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 211496

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 13389
/proc/meminfo: memFree=27999876/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211496 CPUtime=1302.01 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51005 0 0 0 130113 88 0 0 20 0 1 0 281045152 216571904 50419 33554432000 134512640 137138936 4294438976 4294437904 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52874 50419 192 642 0 52230 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 211496

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 13389
/proc/meminfo: memFree=28000000/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211496 CPUtime=1362 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51005 0 0 0 136110 90 0 0 20 0 1 0 281045152 216571904 50419 33554432000 134512640 137138936 4294438976 4294437904 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52874 50419 192 642 0 52230 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 211496

[startup+1422.31 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 13389
/proc/meminfo: memFree=28000000/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1421.99 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 142105 94 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437828 136511176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 211884

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 13393
/proc/meminfo: memFree=27999744/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1481.98 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 148100 98 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 211884

[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 13393
/proc/meminfo: memFree=27999876/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1541.97 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 154098 99 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 211884

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 13393
/proc/meminfo: memFree=27999876/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1601.97 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 160094 103 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 211884

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 13393
/proc/meminfo: memFree=28000124/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1661.95 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 166090 105 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294438092 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 211884

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 13393
/proc/meminfo: memFree=28000248/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1721.94 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 172086 108 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437896 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 211884

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 13395
/proc/meminfo: memFree=27999744/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1781.93 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 178083 110 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 211884

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

[startup+1791.91 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 13395
/proc/meminfo: memFree=27999744/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1791.54 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179043 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 211884

[startup+1795.1 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13395
/proc/meminfo: memFree=27999744/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1794.74 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179363 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 211884

[startup+1796.7 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13395
/proc/meminfo: memFree=27999752/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1796.33 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179522 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1796.33
Current children cumulated vsize (KiB) 211884

[startup+1797.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13395
/proc/meminfo: memFree=27999752/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1797.13 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179602 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (KiB) 211884

[startup+1797.9 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13395
/proc/meminfo: memFree=27999752/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1797.53 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179642 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 211884

[startup+1798.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 13395
/proc/meminfo: memFree=27999752/32873844 swapFree=7620/7620
[pid=13340] ppid=13338 vsize=211884 CPUtime=1797.93 cores=1,3,5,7
/proc/13340/stat : 13340 (bsolo) R 13338 13340 10269 0 -1 4202496 51100 0 0 0 179682 111 0 0 20 0 1 0 281045152 216969216 50514 33554432000 134512640 137138936 4294438976 4294437904 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13340/statm: 52971 50514 192 642 0 52327 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 211884

Child status: 0
Real time (s): 1798.38
CPU time (s): 1798.02
CPU user time (s): 1796.91
CPU system time (s): 1.11483
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 211928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 1.11483
maximum resident set size= 202108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51101
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= 100
involuntary context switches= 1866

runsolver used 3.97539 second user time and 8.72167 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-27 22:06:06
IDJOB=3707871
IDBENCH=2007
IDSOLVER=2286
FILE ID=node107/3707871-1338149166
RUNJOBID= node107-1338138724-12013
PBS_JOBID= 14624494
Free space on /tmp= 71568 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707871-1338149166/watcher-3707871-1338149166 -o /tmp/evaluation-result-3707871-1338149166/solver-3707871-1338149166 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707871-1338149166.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1146807322

node107.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.760
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.52
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.760
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.760
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.92
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.760
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.760
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.91
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.760
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.91
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.760
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.86
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.760
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:        28211760 kB
Buffers:          361476 kB
Cached:          3399408 kB
SwapCached:            0 kB
Active:           887060 kB
Inactive:        2941540 kB
Active(anon):      67776 kB
Inactive(anon):     2032 kB
Active(file):     819284 kB
Inactive(file):  2939508 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:        129864 kB
Mapped:            15428 kB
Shmem:               200 kB
Slab:             691408 kB
SReclaimable:     134008 kB
SUnreclaim:       557400 kB
KernelStack:        1472 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     190384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 71564 MiB
End job on node107 at 2012-05-27 22:36:05