Trace number 3462823

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-23 1798.05 1798.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_1.opb
MD5SUM4142356c9f50acd7c9005938f6b31a6d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-32
Best CPU time to get the best result obtained on this benchmark1797.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -32
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12408
Sum of products size (including duplicates)24816
Number of different products6204
Sum of products size12408

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-3462823-1307183569.opb
0.00/0.00	c File size is 166526 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.027 s
0.00/0.03	c Var: 12808 Constr: 25418 12608/402/12408 Lit: 88056 Watch. Lit: 75250
0.00/0.03	c Obj. Vars: 200 (1.56152 % of total variables)
18.09/18.14	c Pre-processing Time: 18.14 s
18.09/18.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.09/18.14	c        0  12808    25418    88056    3    75250  207557      0      0 18.14
18.09/18.14	c Switching off lower bounding mode.
18.09/18.15	o -1
18.09/18.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.09/18.16	c        0  12808    25419    88256    3    75253  207690      1      0 18.15
18.09/18.16	o -2
18.09/18.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.09/18.17	c        1  12808    25422    88856    3    75262  207757      4      0 18.17
18.09/18.17	o -3
18.09/18.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.09/18.19	c        2  12808    25425    89514    3    75273  207823      7      0 18.18
18.09/18.19	o -4
18.19/18.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.20	c        8  12808    25433    90163    3    75296  207890     15      0 18.19
18.19/18.20	o -6
18.19/18.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.23	c       10  12808    25436    90369    3    75308  208023     18      0 18.21
18.19/18.23	o -7
18.19/18.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.24	c       15  12808    25443    90981    3    75335  208090     25      0 18.24
18.19/18.24	o -8
18.19/18.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.25	c       16  12808    25446    91659    3    75356  208157     28      0 18.25
18.19/18.25	o -9
18.19/18.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.27	c       18  12808    25450    92548    3    75381  208223     32      0 18.26
18.19/18.27	o -10
18.19/18.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.28	c       21  12808    25455    93460    3    75410  208290     37      1 18.27
18.19/18.28	o -11
18.19/18.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.29	c       31  12808    25467    95141    3    75455  208357     49      1 18.28
18.19/18.29	o -12
18.29/18.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.30	c       45  12808    25483    97399    3    75510  208423     65      2 18.30
18.29/18.30	o -13
18.29/18.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.32	c       53  12808    25493    98530    3    75555  208490     75      2 18.31
18.29/18.32	o -14
18.29/18.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.33	c       70  12808    25512    99333    3    75620  208557     94      3 18.32
18.29/18.33	o -15
18.29/18.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.34	c       74  12808    25518   100093    3    75661  208557    100      4 18.33
18.29/18.34	o -16
18.29/18.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.29/18.37	c       84  12808    25530   100880    3    75716  208557    112      4 18.35
18.29/18.37	o -17
18.39/18.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.40	c      126  12808    25574   105579    4    75837  208557    156      6 18.37
18.39/18.40	o -18
18.39/18.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.42	c      172  12808    25622   109723    4    75968  208557    204      9 18.40
18.39/18.42	o -19
18.39/18.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.47	c      197  12808    25649   110573    4    76059  208557    231     10 18.43
18.39/18.47	o -20
18.49/18.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.54	c      290  12808    25744   122332    4    76288  208557    326     15 18.48
18.49/18.54	c      390  12808    25845   128174    4    76510  229413    427     21 18.52
18.49/18.54	o -21
19.39/19.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.39/19.46	c      441  12808    25897   128527    4    76635  208557    479     23 18.54
19.39/19.46	c      541  12808    26002   133166    5    76845  229413    584     28 18.84
19.39/19.46	c      792  12808    26269   168477    6    77379  252355    851     41 19.25
19.39/19.46	o -22
25.89/25.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.89/25.93	c     1256  12808    26738   223267    8    78360  208557   1320     64 19.47
25.89/25.93	c     1356  12808    26839   231112    8    78584  229413   1421     69 19.51
25.89/25.93	c     1606  12808    27090   249298    9    79086  252355   1672     81 19.64
25.89/25.93	c     2081  12808    27570   343292   12    80046  277591   2152    104 19.83
25.89/25.93	c     2894  12808    28387   504123   17    81680  305351   2969    143 20.21
25.89/25.93	c     4214  12808    29711   764581   25    84328  335887   4293    201 20.91
25.89/25.93	c     6295  12808    31796  1175269   36    88498  369476   6378    284 22.16
25.89/25.93	c     9518  12808    35023  1808241   51    94952  406424   9605    383 24.82
25.89/25.93	o -23
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c    10891  12808    36398  2042909   56    97725  208557  10980    419 25.94
1797.92/1797.97	c    10991  12808    36499  2047388   56    97950  229413  11081    423 25.98
1797.92/1797.97	c    11241  12808    36751  2097193   57    98454  252355  11333    430 26.12
1797.92/1797.97	c    11716  12808    37228  2191405   58    99408  277591  11810    444 26.36
1797.92/1797.97	c    12529  12808    38044  2352026   61   101040  305351  12626    466 26.86
1797.92/1797.97	c    13849  12808    39367  2612653   66   103686  335887  13949    498 27.76
1797.92/1797.97	c    15930  12808    41451  3021716   72   107854  369476  16033    544 29.27
1797.92/1797.97	c    19153  12808    44690  3581226   80   114332  406424  19272    600 31.92
1797.92/1797.97	c    24090  12808    49778  4564971   91   124568  447067  24360    675 35.64
1797.92/1797.97	c    31596  12808    57643  6314455  109   140565  491774  32225    745 42.41
1797.92/1797.97	c    42957  12808    69411  8851107  127   164414  540952  43993    796 53.94
1797.92/1797.97	c    60101  12808    87298 12770068  146   200430  595048  61880    807 74.43
1797.92/1797.97	c    85920  12808   114407 18807572  164   255476  654553  88989    737 116.44
1797.92/1797.97	c   124752  12808   155422 28228630  181   338352  720009 130004    590 211.10
1797.92/1797.97	c   183104  12808   217059 42580456  196   462406  792010 191641    478 382.31
1797.92/1797.97	c   270736  12808   309210 63124902  204   648437  871212 283792    388 697.73
1797.92/1797.97	c Reducing formula size due to memory constraints
1797.92/1797.97	c Memory Limit: 1000.00 MB  Used: 1001.44 MB
1797.92/1797.97	c   402288  12808    38349  2933890   76   101406   49892  12931    300 1338.76
1797.92/1797.97	c   599720  12808    53033  6440798  121   131227   54882  27615    377 1587.41
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x384 -x287 -x378 -x316 -x394 -x336 -x387 -x293 -x250 -x222 -x363 -x228 -x291 -x260 -x364 x327 -x341 -x227 x373 -x337 -x212 -x369 -x368 -x230 x383 -x211 -x235 -x241 -x262 -x275 -x280 x281 -x283 -x285 -x308 -x311 -x313 -x358 -x376 -x379 -x393 -x201 -x331 -x263 -x324 -x268 -x330 -x203 -x223 -x259 x270 x257 -x243 -x374 -x320 -x385 x338 -x399 -x325 -x371 -x205 -x210 x279 -x296 -x301 x302 -x305 -x307 -x202 -x214 -x292 -x381 -x357 -x274 x397 -x282 -x306 -x326 -x328 -x247 -x314 -x258 -x346 -x215 -x216 -x218 -x226 -x248 -x254 -x271 -x294 -x323 -x347 -x367 -x386 -x365 -x244 -x351 -x288 -x209 -x277 x389 -x252 -x355 -x400 -x333 -x261 x340 -x213 -x295 x396 -x236 -x255 -x266 -x267 -x310 -x344 -x204 -x298 -x303 -x318 -x253 -x242 -x290 -x245 -x220 -x232 -x372 -x276 -x208 -x312 x335 -x354 -x366 -x284 -x225 -x329 -x272 x304 -x309 -x350 -x219 x246 -x221 -x289 -x345 -x380 -x395 -x206 -x322 -x356 -x229 -x315 -x388 -x233 -x352 -x238 -x234 x353 -x392 -x207 -x377 -x339 -x370 -x264 x300 x391 -x343 -x265 -x398 -x239 -x278 x349 -x321 -x217 -x362 -x237 -x269 -x332 -x334 x382 -x240 x348 -x360 -x231 -x273 -x319 -x256 -x251 -x299 -x297 -x390 -x359 -x249 -x224 -x342 -x286 -x361 -x317 x375 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   49   759597 246338  1358358    61300  8277848  35882    422 1798.00
1797.92/1797.97	c Objective: -23
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798 s

Verifier Data 

OK	-23

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-3462823-1307183569/watcher-3462823-1307183569 -o /tmp/evaluation-result-3462823-1307183569/solver-3462823-1307183569 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462823-1307183569.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.00 2.03 2.00 2/558 9525
/proc/meminfo: memFree=27655172/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=11784 CPUtime=0 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 513 0 0 0 0 0 0 0 22 0 1 0 908587597 12066816 467 33554432000 134512640 137138936 4293361376 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 2946 468 181 642 0 2261 0

[startup+0.074207 s]
/proc/loadavg: 2.00 2.03 2.00 2/558 9525
/proc/meminfo: memFree=27655172/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=0.07 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 7 0 0 0 22 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17568

[startup+0.100204 s]
/proc/loadavg: 2.00 2.03 2.00 2/558 9525
/proc/meminfo: memFree=27655172/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=0.09 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 9 0 0 0 22 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17568

[startup+0.300182 s]
/proc/loadavg: 2.00 2.03 2.00 2/558 9525
/proc/meminfo: memFree=27655172/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=0.29 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 29 0 0 0 23 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17568

[startup+0.700101 s]
/proc/loadavg: 2.00 2.03 2.00 2/558 9525
/proc/meminfo: memFree=27655172/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=0.69 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 69 0 0 0 25 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17568

[startup+1.50097 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9526
/proc/meminfo: memFree=27646980/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=1.49 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 149 0 0 0 25 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17568

[startup+3.1007 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9526
/proc/meminfo: memFree=27645744/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=3.09 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 309 0 0 0 25 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17568

[startup+6.30017 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9526
/proc/meminfo: memFree=27645480/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=6.29 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 629 0 0 0 25 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17568

[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9526
/proc/meminfo: memFree=27645044/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=17568 CPUtime=12.69 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 2023 0 0 0 1269 0 0 0 25 0 1 0 908587597 17989632 1936 33554432000 134512640 137138936 4293361376 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 4392 1936 185 642 0 3748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17568

[startup+25.501 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9528
/proc/meminfo: memFree=27620376/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=42972 CPUtime=25.49 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 8790 0 0 0 2541 8 0 0 25 0 1 0 908587597 44003328 8312 33554432000 134512640 137138936 4293361376 18446744073709551615 134603166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 10743 8312 192 642 0 10099 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42972

[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9528
/proc/meminfo: memFree=27537376/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=126676 CPUtime=51.09 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 29721 0 0 0 5090 19 0 0 25 0 1 0 908587597 129716224 29243 33554432000 134512640 137138936 4293361376 18446744073709551615 136502620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 31669 29243 192 642 0 31025 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126676

[startup+102.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9530
/proc/meminfo: memFree=27419428/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=241764 CPUtime=102.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 58490 0 0 0 10199 32 0 0 25 0 1 0 908587597 247566336 58012 33554432000 134512640 137138936 4293361376 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 60441 58012 192 642 0 59797 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 241764

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9530
/proc/meminfo: memFree=27330852/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=330372 CPUtime=162.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 80615 0 0 0 16185 45 0 0 25 0 1 0 908587597 338300928 80137 33554432000 134512640 137138936 4293361376 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 82593 80137 192 642 0 81949 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 330372

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9532
/proc/meminfo: memFree=27255924/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=404760 CPUtime=222.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 99212 0 0 0 22176 54 0 0 25 0 1 0 908587597 414474240 98734 33554432000 134512640 137138936 4293361376 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 101190 98734 192 642 0 100546 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 404760

[startup+282.301 s]
/proc/loadavg: 2.13 2.03 2.01 3/559 9534
/proc/meminfo: memFree=27191036/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=470452 CPUtime=282.29 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 115639 0 0 0 28166 63 0 0 25 0 1 0 908587597 481742848 115161 33554432000 134512640 137138936 4293361376 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 117613 115161 192 642 0 116969 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 470452

[startup+342.301 s]
/proc/loadavg: 2.11 2.04 2.01 3/559 9536
/proc/meminfo: memFree=27128388/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=540044 CPUtime=342.29 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 133064 0 0 0 34159 70 0 0 25 0 1 0 908587597 553005056 132586 33554432000 134512640 137138936 4293361376 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 135011 132586 192 642 0 134367 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 540044

[startup+402.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/559 9541
/proc/meminfo: memFree=27069788/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=598712 CPUtime=402.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 147721 0 0 0 40152 78 0 0 25 0 1 0 908587597 613081088 147243 33554432000 134512640 137138936 4293361376 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 149678 147243 192 642 0 149034 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 598712

[startup+462.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/559 9541
/proc/meminfo: memFree=27018280/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=649928 CPUtime=462.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 160534 0 0 0 46143 87 0 0 25 0 1 0 908587597 665526272 160056 33554432000 134512640 137138936 4293361376 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 162482 160056 192 642 0 161838 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 649928

[startup+522.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/559 9543
/proc/meminfo: memFree=26964552/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=704440 CPUtime=522.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 174132 0 0 0 52136 94 0 0 25 0 1 0 908587597 721346560 173654 33554432000 134512640 137138936 4293361376 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 176110 173654 192 642 0 175466 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 704440

[startup+582.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 9545
/proc/meminfo: memFree=26916152/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=752356 CPUtime=582.3 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 186143 0 0 0 58130 100 0 0 25 0 1 0 908587597 770412544 185665 33554432000 134512640 137138936 4293361376 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 188089 185665 192 642 0 187445 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 752356

[startup+642.301 s]

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

/proc/meminfo: memFree=27475288/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1122.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 112090 141 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1038808

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/559 9588
/proc/meminfo: memFree=27446596/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1182.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 118090 141 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1038808

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9590
/proc/meminfo: memFree=27420388/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1242.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 124090 141 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1038808

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9592
/proc/meminfo: memFree=27391452/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1302.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 130086 145 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1038808

[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/559 9592
/proc/meminfo: memFree=27364744/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1362.32 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 136079 153 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1038808

[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 2.01 3/559 9594
/proc/meminfo: memFree=27342880/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1422.33 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 142075 158 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1038808

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/559 9596
/proc/meminfo: memFree=27322252/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1482.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 148066 165 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1038808

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/559 9598
/proc/meminfo: memFree=27301648/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1542.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 154060 171 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1038808

[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/559 9600
/proc/meminfo: memFree=27281024/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1602.32 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 160055 177 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134573064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1038808

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/559 9600
/proc/meminfo: memFree=27261144/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1662.32 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 166047 185 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134576057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1038808

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/559 9611
/proc/meminfo: memFree=27244388/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1722.31 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 172039 192 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 1038808

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27224996/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1782.32 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 178032 200 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1038808

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27224004/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1785.51 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 178351 200 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 1038808

[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27222392/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1791.94 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 178993 201 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134618126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1038808

[startup+1795.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27221648/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1795.12 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 179311 201 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1038808

[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27221400/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1796.72 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 179470 202 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1038808

[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27221152/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1797.52 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 179550 202 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 1038808

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27221152/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=1038808 CPUtime=1797.92 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202496 258063 0 0 0 179590 202 0 0 25 0 1 0 908587597 1063739392 257245 33554432000 134512640 137138936 4293361376 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9525/statm: 259702 257245 192 642 0 259058 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1038808

[startup+1798 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 9613
/proc/meminfo: memFree=27221152/32951124 swapFree=34426104/67111528
[pid=9525] ppid=9523 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/9525/stat : 9525 (bsolo) R 9523 9525 7463 0 -1 4202500 258064 0 0 0 179597 204 0 0 25 0 1 0 908587597 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/9525/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.05
CPU user time (s): 1795.98
CPU system time (s): 2.06669
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1040168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 2.06669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 20487

runsolver used 10.0565 second user time and 23.7224 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 12:32:49
IDJOB=3462823
IDBENCH=48239
IDSOLVER=1955
FILE ID=node118/3462823-1307183569
RUNJOBID= node118-1307174408-8563
PBS_JOBID= 13508852
Free space on /tmp= 73764 MiB

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

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

MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d
RANDOM SEED=273876305

node118.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.842
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.68
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.842
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.842
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.842
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.842
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.68
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.842
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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27655452 kB
Buffers:        324996 kB
Cached:        2015468 kB
SwapCached:      56168 kB
Active:        1948728 kB
Inactive:      3007036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27655452 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     2572224 kB
Mapped:          15532 kB
Slab:           150800 kB
PageTables:     117728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 184860784 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= 73760 MiB
End job on node118 at 2011-06-04 13:02:47