Trace number 3463101

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.01 1797.96

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.06
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-3463101-1307176035.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.00/0.03	c Pre-processing Time: 0.033 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    540     4626    21888    4    14136   31514      0      0 0.03
0.00/0.03	c Switching off lower bounding mode.
0.00/0.05	c      101    540     4758    25004    5    15373   34666    132   2589 0.04
0.00/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   4089 0.11
0.09/0.15	c      558    540     5313    57304   10    16413   35062    687   4227 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   4374 0.15
0.09/0.18	c      780    540     5597    73887   13    16820   35062    971   4431 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   4238 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   3939 0.58
2.79/2.87	c     2764    540     8134   235562   28    22379   42426   3508   3690 0.75
2.79/2.87	c     3577    540     9178   319222   34    24841   46669   4552   3202 1.12
2.79/2.87	c     4897    540    10977   493753   44    28726   51336   6351   2627 1.86
2.79/2.87	o 74
6.29/6.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.35	c     6371    540    12917   683169   52    33864   31874   8291   2217 2.87
6.29/6.35	c     6472    540    13038   689734   52    33657   35062   8412   2206 2.93
6.29/6.35	c     6722    540    13367   722911   54    34585   38569   8741   2170 3.10
6.29/6.35	c     7198    540    13997   783513   55    35259   42426   9371   2114 3.40
6.29/6.35	c     8013    540    15128   852390   56    37587   46669  10502   2008 3.99
6.29/6.35	c     9333    540    16977  1038041   61    42104   51336  12351   1753 5.32
6.29/6.35	o 72
202.41/202.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
202.41/202.46	c    10191    540    18193  1180439   64    44781   31874  13567   1602 6.36
202.41/202.46	c    10291    540    18320  1187932   64    44760   35062  13694   1588 6.48
202.41/202.46	c    10543    540    18641  1210796   64    45264   38569  14015   1565 6.73
202.41/202.46	c    11019    540    19255  1267400   65    46287   42426  14629   1533 7.18
202.41/202.46	c    11832    540    20308  1376745   67    48881   46669  15682   1458 8.11
202.41/202.46	c    13152    540    22052  1556399   70    52848   51336  17426   1391 9.45
202.41/202.46	c    15237    540    24849  1821425   73    58747   56470  20223   1283 11.87
202.41/202.46	c    18460    540    29144  2273724   78    67841   62118  24518   1087 16.98
202.41/202.46	c    23396    540    35793  2996364   83    82350   68330  31167    868 26.94
202.41/202.46	c    30903    540    47128  3929324   83   105844   75164  42502    653 47.27
202.41/202.46	c    42265    540    63361  5949173   93   141009   82681  58735    471 89.62
202.41/202.46	c    59411    540    27178  3051929  112    63124   90950  22552    317 187.19
202.41/202.46	o 70
1275.33/1275.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1275.33/1275.32	c    66815    540    38112  4267099  111    86546   31874  33486    329 202.47
1275.33/1275.32	c    66917    540    20703  1715932   82    49072   35062  16077    329 202.83
1275.33/1275.32	c    67167    540    21039  1743585   82    49706   38569  16413    330 203.04
1275.33/1275.32	c    67643    540    21656  1796208   82    50909   42426  17030    332 203.66
1275.33/1275.32	c    68457    540    22749  1903772   83    52635   46669  18123    334 204.60
1275.33/1275.32	c    69777    540    24516  2086633   85    56898   51336  19890    337 206.74
1275.33/1275.32	c    71859    540    27358  2350325   85    63379   56470  22732    342 209.94
1275.33/1275.32	c    75082    540    31930  2757531   86    73186   62118  27304    349 214.90
1275.33/1275.32	c    80018    540    38762  3537272   91    87750   68330  34136    352 226.77
1275.33/1275.32	c    87524    540    49355  4766079   96   110154   75164  44729    350 249.90
1275.33/1275.32	c    98886    540    65640  6668590  101   145364   82681  61014    337 292.92
1275.33/1275.32	c   116030    540    27482  2409453   87    62652   90950  22856    309 374.83
1275.33/1275.32	c   141850    540    66605  5576984   83   143895  100046  61979    300 471.39
1275.33/1275.32	c   180684    540    44670  4916102  110    98844  110051  40044    272 663.35
1275.33/1275.32	c   239039    540    43501  4903766  112    96188  121057  38875    232 1028.01
1275.33/1275.32	o 68
1797.94/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.94	c   279127    540   103263 13139010  127   222875   31874  98637    218 1275.36
1797.94/1797.94	c   279227    540    20715  1621534   78    47906   35062  16089    218 1278.74
1797.94/1797.94	c   279477    540    21057  1663350   78    48327   38569  16431    218 1279.14
1797.94/1797.94	c   279952    540    21719  1736578   79    49774   42426  17093    218 1279.86
1797.94/1797.94	c   280765    540    22909  1853214   80    52164   46669  18283    219 1281.06
1797.94/1797.94	c   282085    540    24775  2057568   83    56465   51336  20149    219 1283.34
1797.94/1797.94	c   284166    540    27770  2394798   86    62653   56470  23144    220 1287.10
1797.94/1797.94	c   287390    540    32508  2990417   91    72562   62118  27882    222 1294.43
1797.94/1797.94	c   292326    540    39547  3636936   91    87261   68330  34921    223 1308.17
1797.94/1797.94	c   299832    540    49865  4909419   98   110105   75164  45239    225 1330.33
1797.94/1797.94	c   311195    540    65711  6923825  105   144030   82681  61085    225 1380.29
1797.94/1797.94	c   328339    540    28126  2647561   94    64582   90950  23500    221 1484.09
1797.94/1797.94	c   354162    540    65975  7153282  108   144864  100046  61349    223 1581.57
1797.94/1797.94	c   392995    540    42602  5075075  119    95049  110051  37976    219 1792.81
1797.94/1797.94	c Resources Exceeded
1797.94/1797.94	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.94/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.94	c   65   395219  89632   655106    45708  5419556  41082    219 1798.00
1797.94/1797.94	c Objective: 68
1797.94/1797.94	s SATISFIABLE
1797.94/1797.94	c Total time: 1798 s

Verifier Data 

OK	68

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463101-1307176035/watcher-3463101-1307176035 -o /tmp/evaluation-result-3463101-1307176035/solver-3463101-1307176035 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463101-1307176035.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.08 2.00 1.86 2/273 13130
/proc/meminfo: memFree=28422232/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 345 0 0 0 0 0 0 0 25 0 1 0 829204210 11399168 299 33554432000 134512640 137138936 4292709648 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 2783 299 185 642 0 2089 0

[startup+0.0596459 s]
/proc/loadavg: 2.08 2.00 1.86 2/273 13130
/proc/meminfo: memFree=28422232/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=11880 CPUtime=0.05 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 669 0 0 0 5 0 0 0 25 0 1 0 829204210 12165120 546 33554432000 134512640 137138936 4292709648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 2970 546 192 642 0 2326 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11880

[startup+0.100643 s]
/proc/loadavg: 2.08 2.00 1.86 2/273 13130
/proc/meminfo: memFree=28422232/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=12120 CPUtime=0.09 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 707 0 0 0 9 0 0 0 25 0 1 0 829204210 12410880 584 33554432000 134512640 137138936 4292709648 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 3030 584 192 642 0 2386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12120

[startup+0.300603 s]
/proc/loadavg: 2.08 2.00 1.86 2/273 13130
/proc/meminfo: memFree=28422232/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=13116 CPUtime=0.29 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 950 0 0 0 29 0 0 0 25 0 1 0 829204210 13430784 827 33554432000 134512640 137138936 4292709648 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 3279 827 192 642 0 2635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13116

[startup+0.70053 s]
/proc/loadavg: 2.08 2.00 1.86 2/273 13130
/proc/meminfo: memFree=28422232/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=14628 CPUtime=0.69 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 1347 0 0 0 68 1 0 0 25 0 1 0 829204210 14979072 1224 33554432000 134512640 137138936 4292709648 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 3657 1224 192 642 0 3013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14628

[startup+1.50037 s]
/proc/loadavg: 2.08 2.00 1.86 3/274 13131
/proc/meminfo: memFree=28417016/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=17276 CPUtime=1.49 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 1997 0 0 0 148 1 0 0 25 0 1 0 829204210 17690624 1874 33554432000 134512640 137138936 4292709648 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 4319 1874 192 642 0 3675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17276

[startup+3.1011 s]
/proc/loadavg: 2.08 2.00 1.86 3/274 13131
/proc/meminfo: memFree=28413048/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=21708 CPUtime=3.09 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 3112 0 0 0 308 1 0 0 25 0 1 0 829204210 22228992 2989 33554432000 134512640 137138936 4292709648 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 5427 2989 192 642 0 4783 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21708

[startup+6.30051 s]
/proc/loadavg: 2.07 2.00 1.86 3/274 13132
/proc/meminfo: memFree=28405248/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=28040 CPUtime=6.29 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 4685 0 0 0 627 2 0 0 25 0 1 0 829204210 28712960 4562 33554432000 134512640 137138936 4292709648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 7010 4562 192 642 0 6366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28040

[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 1.86 3/274 13132
/proc/meminfo: memFree=28394020/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=37884 CPUtime=12.69 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 7146 0 0 0 1266 3 0 0 25 0 1 0 829204210 38793216 7023 33554432000 134512640 137138936 4292709648 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 9471 7023 192 642 0 8827 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37884

[startup+25.501 s]
/proc/loadavg: 2.05 2.00 1.86 3/274 13132
/proc/meminfo: memFree=28379132/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=51836 CPUtime=25.49 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 10656 0 0 0 2544 5 0 0 25 0 1 0 829204210 53080064 10533 33554432000 134512640 137138936 4292709648 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 12959 10533 192 642 0 12315 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51836

[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 1.86 3/274 13133
/proc/meminfo: memFree=28362312/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=69164 CPUtime=51.09 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 14962 0 0 0 5101 8 0 0 25 0 1 0 829204210 70823936 14839 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 17291 14839 192 642 0 16647 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 69164

[startup+102.31 s]
/proc/loadavg: 2.01 2.00 1.87 3/274 13134
/proc/meminfo: memFree=28329320/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=101568 CPUtime=102.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 23079 0 0 0 10219 11 0 0 25 0 1 0 829204210 104005632 22956 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 25392 22956 192 642 0 24748 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101568

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.87 3/274 13136
/proc/meminfo: memFree=28297684/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=133156 CPUtime=162.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 30961 0 0 0 16214 16 0 0 25 0 1 0 829204210 136351744 30838 33554432000 134512640 137138936 4292709648 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 33289 30838 192 642 0 32645 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 133156

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.88 3/274 13137
/proc/meminfo: memFree=28287384/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=222.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33500 0 0 0 22211 19 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143008

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/274 13139
/proc/meminfo: memFree=28282528/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=282.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33500 0 0 0 28209 21 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 143008

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.89 3/274 13141
/proc/meminfo: memFree=28282624/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=342.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33500 0 0 0 34207 23 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 143008

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.90 3/274 13142
/proc/meminfo: memFree=28282492/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=402.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33582 0 0 0 40206 24 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 143008

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.90 3/274 13144
/proc/meminfo: memFree=28282348/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=462.31 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33582 0 0 0 46205 26 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 143008

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/274 13145
/proc/meminfo: memFree=28282460/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143008 CPUtime=522.3 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33582 0 0 0 52203 27 0 0 25 0 1 0 829204210 146440192 33296 33554432000 134512640 137138936 4292709648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35752 33296 192 642 0 35108 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 143008

[startup+582.301 s]
/proc/loadavg: 2.06 2.01 1.91 3/274 13147
/proc/meminfo: memFree=28282552/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=143040 CPUtime=582.31 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 33590 0 0 0 58203 28 0 0 25 0 1 0 829204210 146472960 33304 33554432000 134512640 137138936 4292709648 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 35760 33304 192 642 0 35116 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 143040

[startup+642.301 s]

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

/proc/meminfo: memFree=28199620/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211492 CPUtime=1062.33 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 50911 0 0 0 106185 48 0 0 25 0 1 0 829204210 216567808 50419 33554432000 134512640 137138936 4292709648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52873 50419 192 642 0 52229 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 211492

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/274 13161
/proc/meminfo: memFree=28191676/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211492 CPUtime=1122.32 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 50911 0 0 0 112183 49 0 0 25 0 1 0 829204210 216567808 50419 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52873 50419 192 642 0 52229 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 211492

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/274 13163
/proc/meminfo: memFree=28191160/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211492 CPUtime=1182.33 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 50911 0 0 0 118182 51 0 0 25 0 1 0 829204210 216567808 50419 33554432000 134512640 137138936 4292709648 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52873 50419 192 642 0 52229 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 211492

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/274 13165
/proc/meminfo: memFree=28190780/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211492 CPUtime=1242.33 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 50911 0 0 0 124181 52 0 0 25 0 1 0 829204210 216567808 50419 33554432000 134512640 137138936 4292709648 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52873 50419 192 642 0 52229 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 211492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 13166
/proc/meminfo: memFree=28190388/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1302.34 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 130180 54 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 211880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 13168
/proc/meminfo: memFree=28190380/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1362.34 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 136178 56 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 211880

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 13169
/proc/meminfo: memFree=28190740/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1422.34 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 142176 58 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 211880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 13171
/proc/meminfo: memFree=28190856/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1482.33 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 148174 59 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 211880

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/274 13173
/proc/meminfo: memFree=28191208/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1542.33 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 154172 61 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 211880

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/274 13174
/proc/meminfo: memFree=28191076/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1602.34 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 160170 64 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 211880

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/274 13203
/proc/meminfo: memFree=28117940/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1662.34 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 166168 66 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 211880

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/274 13204
/proc/meminfo: memFree=27722188/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1722.35 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 172167 68 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 211880

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27555520/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1782.35 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 178165 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 211880

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27555640/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1785.55 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 178485 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 211880

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27556136/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1791.95 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 179125 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 211880

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27556136/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1795.15 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 179445 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 211880

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27556136/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1796.74 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 179604 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 211880

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27556136/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1797.54 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 179684 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 211880

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 1.94 3/274 13206
/proc/meminfo: memFree=27556136/32951124 swapFree=55664332/67111528
[pid=13130] ppid=13128 vsize=211880 CPUtime=1797.94 cores=0,2,4,6
/proc/13130/stat : 13130 (bsolo) R 13128 13130 10640 0 -1 4202496 51006 0 0 0 179724 70 0 0 25 0 1 0 829204210 216965120 50514 33554432000 134512640 137138936 4292709648 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13130/statm: 52970 50514 192 642 0 52326 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 211880

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798.01
CPU user time (s): 1797.29
CPU system time (s): 0.71889
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 211924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.29
system time used= 0.71889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51007
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= 4
involuntary context switches= 2303

runsolver used 4.67729 second user time and 10.0405 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-04 10:27:15
IDJOB=3463101
IDBENCH=2007
IDSOLVER=1955
FILE ID=node109/3463101-1307176035
RUNJOBID= node109-1307174724-12724
PBS_JOBID= 13508846
Free space on /tmp= 74008 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-3463101-1307176035/watcher-3463101-1307176035 -o /tmp/evaluation-result-3463101-1307176035/solver-3463101-1307176035 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463101-1307176035.opb

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=885167209

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28422396 kB
Buffers:        319472 kB
Cached:        2199400 kB
SwapCached:      10392 kB
Active:         884736 kB
Inactive:      3387580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28422396 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:     1749716 kB
Mapped:          17524 kB
Slab:           156204 kB
PageTables:      36916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30917976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74000 MiB
End job on node109 at 2011-06-04 10:57:13