Trace number 3462866

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-24 1798.04 1798

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
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.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
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)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

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-3462866-1307184410.opb
0.00/0.00	c File size is 167828 bytes.
0.02/0.02	c Highest Coefficient sum: 400
0.02/0.02	c Parsing was ok!!
0.02/0.02	c Total parsing time: 0.027 s
0.02/0.03	c Var: 12920 Constr: 25642 12720/402/12520 Lit: 88840 Watch. Lit: 75922
0.02/0.03	c Obj. Vars: 200 (1.54799 % of total variables)
18.79/18.85	c Pre-processing Time: 18.856 s
18.79/18.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.85	c        0  12920    25642    88840    3    75922  211334      0      0 18.86
18.79/18.85	c Switching off lower bounding mode.
18.79/18.86	o -1
18.79/18.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.88	c        0  12920    25643    89040    3    75925  211467      1      0 18.87
18.79/18.88	o -2
18.79/18.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.79/18.89	c        1  12920    25646    89640    3    75934  211534      4      0 18.88
18.79/18.89	o -3
18.90/18.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.90	c        3  12920    25650    90294    3    75947  211601      8      0 18.90
18.90/18.90	o -4
18.90/18.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.92	c        5  12920    25654    90946    3    75962  211667     12      0 18.91
18.90/18.92	o -5
18.90/18.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.93	c        6  12920    25657    91596    3    75977  211734     15      0 18.92
18.90/18.93	o -6
18.90/18.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.94	c        7  12920    25660    92247    3    75994  211801     18      0 18.93
18.90/18.94	o -7
18.90/18.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.95	c        8  12920    25663    92920    3    76013  211867     21      0 18.94
18.90/18.95	o -8
18.90/18.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.96	c       10  12920    25667    93625    3    76036  211934     25      0 18.95
18.90/18.96	o -9
18.90/18.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.97	c       14  12920    25673    94894    3    76065  212001     31      0 18.96
18.90/18.97	o -10
18.90/18.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.90/18.98	c       21  12920    25682    96751    3    76102  212067     40      1 18.98
18.90/18.98	o -11
19.00/19.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.00	c       29  12920    25692    98789    3    76143  212134     50      1 18.99
19.00/19.00	o -12
19.00/19.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.02	c       44  12920    25709   101027    3    76200  212201     67      2 19.00
19.00/19.02	o -13
19.00/19.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.03	c       69  12920    25736   104407    4    76279  212267     94      3 19.02
19.00/19.03	o -14
19.00/19.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.05	c       92  12920    25761   108878    4    76356  212334    119      4 19.04
19.00/19.05	o -15
19.00/19.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.07	c      112  12920    25783   112411    4    76429  212334    141      5 19.05
19.00/19.07	o -16
19.00/19.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.00/19.09	c      143  12920    25816   116686    4    76526  212334    174      7 19.08
19.00/19.09	o -17
19.09/19.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.09/19.12	c      176  12920    25851   121321    4    76629  212334    209      9 19.10
19.09/19.12	o -18
19.09/19.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.09/19.16	c      221  12920    25898   126162    4    76758  212334    256     11 19.13
19.09/19.16	o -19
19.19/19.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.19/19.22	c      308  12920    25987   132005    5    76973  212334    345     16 19.16
19.19/19.22	c      408  12920    26088   138049    5    77194  233568    446     21 19.20
19.19/19.22	o -20
19.99/20.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.99/20.07	c      453  12920    26134   138384    5    77306  212334    492     23 19.23
19.99/20.07	c      553  12920    26237   141051    5    77512  233568    595     28 19.57
19.99/20.07	c      803  12920    26502   173386    6    78042  256925    860     40 19.97
19.99/20.07	o -21
20.09/20.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.09/20.10	c      907  12920    26610   186627    7    78299  212334    968     45 20.07
20.09/20.10	o -22
20.09/20.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.09/20.13	c      945  12920    26650   188219    7    78422  212334   1008     47 20.11
20.09/20.13	o -23
20.80/20.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.80/20.88	c      974  12920    26681   189070    7    78529  212334   1039     48 20.14
20.80/20.88	c     1074  12920    26781   190155    7    78729  233568   1139     52 20.43
20.80/20.88	c     1324  12920    27037   216919    8    79264  256925   1395     63 20.70
20.80/20.88	o -24
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c     1747  12920    27462   271294    9    80138  212334   1820     83 20.89
1797.93/1797.95	c     1847  12920    27563   285042   10    80364  233568   1921     88 20.94
1797.93/1797.95	c     2097  12920    27815   333253   11    80868  256925   2173     99 21.05
1797.93/1797.95	c     2572  12920    28294   425680   15    81826  282618   2652    121 21.24
1797.93/1797.95	c     3385  12920    29109   586901   20    83456  310880   3467    156 21.59
1797.93/1797.95	c     4705  12920    30433   846169   27    86104  341969   4791    210 22.39
1797.93/1797.95	c     6786  12920    32518  1255472   38    90274  376166   6876    285 23.79
1797.93/1797.95	c    10009  12920    35763  1806083   50    96764  413783  10121    385 25.98
1797.93/1797.95	c    14945  12920    40833  2799650   68   107392  455162  15191    503 29.67
1797.93/1797.95	c    22451  12920    48613  4545461   93   123413  500679  22971    620 36.16
1797.93/1797.95	c    33812  12920    60468  7302187  120   147702  550747  34826    704 47.98
1797.93/1797.95	c    50956  12920    78314 11315442  144   183874  605822  52672    728 69.97
1797.93/1797.95	c    76775  12920   105312 17199098  163   238350  666405  79670    667 115.06
1797.93/1797.95	c   115607  12920   146156 26449613  180   322148  733046 120514    560 206.26
1797.93/1797.95	c   173959  12920   207161 39935327  192   445043  806351 181519    484 358.72
1797.93/1797.95	c   261591  12920   299009 61132154  204   630715  886987 273367    376 694.54
1797.93/1797.95	c Reducing formula size due to memory constraints
1797.93/1797.95	c Memory Limit: 1000.00 MB  Used: 1000.24 MB
1797.93/1797.95	c   393143  12920    61108  7742882  126   147956   49647  35466    280 1403.30
1797.93/1797.95	c   590575  12920    38813  2959497   76   102607   54612  13171    350 1684.23
1797.93/1797.95	c Resources Exceeded
1797.93/1797.95	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 -x302 -x284 -x275 -x327 -x364 -x338 -x226 -x229 x386 -x345 -x355 -x315 -x365 -x204 -x215 x303 -x342 -x202 -x350 -x318 -x205 -x369 -x280 x374 -x319 -x238 -x240 -x253 -x262 x263 -x267 -x309 -x322 -x335 -x393 -x399 -x201 -x323 -x283 -x321 -x221 -x231 -x305 -x257 -x300 -x220 x395 -x325 x384 -x223 -x377 -x376 -x245 x332 -x343 -x299 -x273 x344 -x210 -x212 -x219 -x227 -x244 -x248 -x278 -x290 -x292 -x294 -x304 -x312 -x314 -x367 -x372 -x388 -x390 -x348 -x368 -x222 -x287 -x296 -x207 x317 x373 -x394 -x232 x392 -x340 x308 -x362 x370 x291 x297 -x239 -x250 -x266 -x270 x334 x381 -x203 -x301 -x247 -x233 -x268 x361 -x306 -x264 -x249 -x378 -x286 -x213 -x214 -x235 -x251 -x260 -x269 -x279 -x298 -x341 -x356 -x380 -x397 -x379 -x313 -x265 -x389 -x385 -x217 -x258 -x259 -x329 -x339 -x357 -x363 -x391 -x271 -x310 x360 -x387 -x352 -x237 -x324 -x228 -x246 -x255 -x274 -x288 -x398 -x206 -x333 -x382 -x330 -x347 -x211 -x254 -x331 -x241 -x225 -x358 -x230 -x243 -x285 -x252 -x337 -x208 -x261 x359 x396 -x281 -x276 -x218 -x277 -x293 -x346 -x349 -x209 -x366 -x328 -x242 x307 -x316 -x289 -x234 -x256 -x236 -x354 -x400 x311 x375 -x216 -x351 -x295 -x272 -x353 -x282 -x326 -x320 -x224 -x336 -x383 -x371 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   46   682003 223122  1218654    81808 12816734  56166    379 1798.00
1797.93/1797.95	c Objective: -24
1797.93/1797.95	s SATISFIABLE
1797.93/1797.95	c Total time: 1798 s

Verifier Data 

OK	-24

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-3462866-1307184410/watcher-3462866-1307184410 -o /tmp/evaluation-result-3462866-1307184410/solver-3462866-1307184410 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462866-1307184410.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: 1.99 2.04 2.01 2/498 24682
/proc/meminfo: memFree=29317400/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=13160 CPUtime=0.01 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 873 0 0 0 1 0 0 0 25 0 1 0 830041989 13475840 827 33554432000 134512640 137138936 4292060304 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 3290 827 195 642 0 2605 0

[startup+0.026893 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 24682
/proc/meminfo: memFree=29317400/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=14624 CPUtime=0.02 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 1220 0 0 0 2 0 0 0 25 0 1 0 830041989 14974976 1174 33554432000 134512640 137138936 4292060304 18446744073709551615 134531305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 3656 1174 208 642 0 2971 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14624

[startup+0.100912 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 24682
/proc/meminfo: memFree=29317400/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=0.09 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2038 0 0 0 9 0 0 0 25 0 1 0 830041989 18165760 1951 33554432000 134512640 137138936 4292060304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1951 185 642 0 3791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17740

[startup+0.300872 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 24682
/proc/meminfo: memFree=29317400/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=0.29 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2041 0 0 0 29 0 0 0 25 0 1 0 830041989 18165760 1954 33554432000 134512640 137138936 4292060304 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1954 185 642 0 3791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17740

[startup+0.700802 s]
/proc/loadavg: 1.99 2.04 2.01 2/498 24682
/proc/meminfo: memFree=29317400/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=0.69 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2042 0 0 0 69 0 0 0 25 0 1 0 830041989 18165760 1955 33554432000 134512640 137138936 4292060304 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1955 185 642 0 3791 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17740

[startup+1.50064 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29309208/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=1.49 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2042 0 0 0 149 0 0 0 25 0 1 0 830041989 18165760 1955 33554432000 134512640 137138936 4292060304 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1955 185 642 0 3791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17740

[startup+3.10039 s]
/proc/loadavg: 1.99 2.04 2.01 3/499 24683
/proc/meminfo: memFree=29307844/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=3.09 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2042 0 0 0 309 0 0 0 25 0 1 0 830041989 18165760 1955 33554432000 134512640 137138936 4292060304 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1955 185 642 0 3791 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17740

[startup+6.30081 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24683
/proc/meminfo: memFree=29306352/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=6.29 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2042 0 0 0 629 0 0 0 25 0 1 0 830041989 18165760 1955 33554432000 134512640 137138936 4292060304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1955 185 642 0 3791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17740

[startup+12.7007 s]
/proc/loadavg: 1.99 2.04 2.00 3/499 24710
/proc/meminfo: memFree=30265688/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=17740 CPUtime=12.69 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 2042 0 0 0 1269 0 0 0 25 0 1 0 830041989 18165760 1955 33554432000 134512640 137138936 4292060304 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 4435 1955 185 642 0 3791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17740

[startup+25.5004 s]
/proc/loadavg: 1.99 2.03 2.00 3/499 24711
/proc/meminfo: memFree=30193148/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=39644 CPUtime=25.49 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 7934 0 0 0 2544 5 0 0 25 0 1 0 830041989 40595456 7456 33554432000 134512640 137138936 4292060304 18446744073709551615 134542662 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 9911 7456 192 642 0 9267 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39644

[startup+51.1009 s]
/proc/loadavg: 1.99 2.03 2.00 3/499 24711
/proc/meminfo: memFree=30047484/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=121232 CPUtime=51.09 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 28357 0 0 0 5097 12 0 0 25 0 1 0 830041989 124141568 27879 33554432000 134512640 137138936 4292060304 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 30308 27879 192 642 0 29664 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 121232

[startup+102.319 s]
/proc/loadavg: 1.99 2.02 2.00 3/499 24713
/proc/meminfo: memFree=29841376/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=226508 CPUtime=102.31 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 54651 0 0 0 10210 21 0 0 25 0 1 0 830041989 231944192 54173 33554432000 134512640 137138936 4292060304 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 56627 54173 192 642 0 55983 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 226508

[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 24714
/proc/meminfo: memFree=29662792/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=309676 CPUtime=162.29 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 75442 0 0 0 16200 29 0 0 25 0 1 0 830041989 317108224 74964 33554432000 134512640 137138936 4292060304 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 77419 74964 192 642 0 76775 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 309676

[startup+222.301 s]
/proc/loadavg: 2.16 2.07 2.01 3/499 24716
/proc/meminfo: memFree=29500320/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=386360 CPUtime=222.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 94643 0 0 0 22193 37 0 0 25 0 1 0 830041989 395632640 94165 33554432000 134512640 137138936 4292060304 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 96590 94165 192 642 0 95946 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 386360

[startup+282.301 s]
/proc/loadavg: 2.12 2.07 2.01 4/499 24717
/proc/meminfo: memFree=29372936/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=458108 CPUtime=282.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 112582 0 0 0 28185 45 0 0 25 0 1 0 830041989 469102592 112104 33554432000 134512640 137138936 4292060304 18446744073709551615 134551655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 114527 112104 192 642 0 113883 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 458108

[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/499 24719
/proc/meminfo: memFree=29302724/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=527724 CPUtime=342.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 129956 0 0 0 34181 49 0 0 25 0 1 0 830041989 540389376 129478 33554432000 134512640 137138936 4292060304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 131931 129478 192 642 0 131287 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 527724

[startup+402.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 24721
/proc/meminfo: memFree=29237340/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=593780 CPUtime=402.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 146472 0 0 0 40174 56 0 0 25 0 1 0 830041989 608030720 145994 33554432000 134512640 137138936 4292060304 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 148445 145994 192 642 0 147801 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 593780

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 24722
/proc/meminfo: memFree=29184108/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=647516 CPUtime=462.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 159928 0 0 0 46168 62 0 0 25 0 1 0 830041989 663056384 159450 33554432000 134512640 137138936 4292060304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 161879 159450 192 642 0 161235 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 647516

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 24724
/proc/meminfo: memFree=29129628/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=702484 CPUtime=522.31 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 173670 0 0 0 52163 68 0 0 25 0 1 0 830041989 719343616 173192 33554432000 134512640 137138936 4292060304 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 175621 173192 192 642 0 174977 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 702484

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 5/500 24726
/proc/meminfo: memFree=29062756/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=748820 CPUtime=582.3 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 185244 0 0 0 58157 73 0 0 25 0 1 0 830041989 766791680 184766 33554432000 134512640 137138936 4292060304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 187205 184766 192 642 0 186561 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 748820

[startup+642.3 s]

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

/proc/meminfo: memFree=28628168/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1122.31 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 112123 108 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1037468

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24753
/proc/meminfo: memFree=28624300/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1182.32 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 118124 108 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1037468

[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/499 24755
/proc/meminfo: memFree=28623404/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1242.32 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 124124 108 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1037468

[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/499 24757
/proc/meminfo: memFree=28622376/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1302.34 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 130126 108 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1037468

[startup+1362.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 24758
/proc/meminfo: memFree=28623832/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1362.33 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 136121 112 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1037468

[startup+1422.32 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 24760
/proc/meminfo: memFree=28624920/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1422.34 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 142119 115 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1037468

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 24761
/proc/meminfo: memFree=28624896/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1482.32 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 148113 119 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1037468

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 24763
/proc/meminfo: memFree=28625492/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1542.33 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 154110 123 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1037468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 24765
/proc/meminfo: memFree=28625092/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1602.33 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 160103 130 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1037468

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 24766
/proc/meminfo: memFree=28625800/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1662.33 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 166099 134 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1037468

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24768
/proc/meminfo: memFree=28625144/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1722.33 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 172094 139 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1037468

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28623620/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1782.34 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 178089 145 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1037468

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28623744/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1785.54 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 178409 145 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 1037468

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622872/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1791.95 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 179050 145 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1037468

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622748/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1795.16 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 179370 146 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 1037468

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622748/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1796.74 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 179528 146 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1037468

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622748/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1797.54 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 179608 146 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1037468

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622748/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=1037468 CPUtime=1797.93 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) R 24680 24682 21775 0 -1 4202496 257730 0 0 0 179647 146 0 0 25 0 1 0 830041989 1062367232 256912 33554432000 134512640 137138936 4292060304 18446744073709551615 134607589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/24682/statm: 259367 256912 192 642 0 258723 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1037468

[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 24770
/proc/meminfo: memFree=28622748/32951124 swapFree=53876548/67111528
[pid=24682] ppid=24680 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/24682/stat : 24682 (bsolo) S 24680 24682 21775 0 -1 4202500 257731 0 0 0 179653 150 0 0 25 0 1 0 830041989 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/24682/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798
CPU time (s): 1798.04
CPU user time (s): 1796.54
CPU system time (s): 1.50677
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1038828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 1.50677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257731
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= 6
involuntary context switches= 1599

runsolver used 9.38957 second user time and 20.038 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-04 12:46:50
IDJOB=3462866
IDBENCH=48282
IDSOLVER=1955
FILE ID=node108/3462866-1307184410
RUNJOBID= node108-1307175411-23857
PBS_JOBID= 13508826
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=116767625

node108.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.820
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.64
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.820
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	: 5226.15
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.820
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.82
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.820
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.77
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.820
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.820
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29317564 kB
Buffers:        322772 kB
Cached:        1052772 kB
SwapCached:      13540 kB
Active:        2367240 kB
Inactive:       980012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29317564 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:     1968840 kB
Mapped:          13388 kB
Slab:           149924 kB
PageTables:      67492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135547348 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= 73828 MiB
End job on node108 at 2011-06-04 13:16:49