Trace number 3737430

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
PB07: bsolo 3.0.17SAT (TO)-17 1800.05 1800.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_2.opb
MD5SUM219f407da86957d900e068170e9af8b6
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-33
Best CPU time to get the best result obtained on this benchmark1796.73
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)12440
Sum of products size (including duplicates)24880
Number of different products6220
Sum of products size12440

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737430-1338719314.opb
0.00/0.00	c File size is 166850 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.03 s
0.00/0.04	c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442
0.00/0.04	c Obj. Vars: 200 (1.55763 % of total variables)
17.88/17.96	c Pre-processing Time: 17.952 s
17.88/17.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.96	c        0  12840    25482    88280    3    75442  208763      0      0 17.95
17.88/17.96	c Switching off LPR mode.
17.88/17.96	o -1	17.957
17.88/17.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.97	c        0  12840    25483    88480    3    75445  208897      1      0 17.96
17.88/17.97	o -2	17.961
17.88/17.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.97	c        0  12840    25484    88680    3    75449  209097      2      0 17.96
17.88/17.97	o -3	17.966
17.88/17.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.98	c        0  12840    25485    88880    3    75454  209363      3      0 17.97
17.88/17.98	o -4	17.971
17.88/17.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.98	c        0  12840    25486    89080    3    75460  209697      4      0 17.97
17.88/17.98	o -5	17.976
17.88/17.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.99	c        0  12840    25487    89280    3    75467  210097      5      0 17.98
17.88/17.99	o -6	17.98
17.88/17.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.99	c        0  12840    25488    89480    3    75475  210563      6      0 17.98
17.88/17.99	o -7	17.985
17.98/18.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.00	c        0  12840    25489    89680    3    75484  211097      7      0 17.99
17.98/18.00	o -8	17.99
17.98/18.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.00	c        0  12840    25490    89880    3    75494  211697      8      0 17.99
17.98/18.00	o -9	17.995
17.98/18.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.01	c        0  12840    25491    90080    3    75505  212363      9      0 18.00
17.98/18.01	o -10	18
17.98/18.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.01	c        0  12840    25492    90280    3    75517  213097     10      0 18.00
17.98/18.01	o -11	18.005
17.98/18.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.02	c        0  12840    25493    90480    3    75530  213897     11      0 18.01
17.98/18.02	o -12	18.01
17.98/18.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.02	c        0  12840    25494    90680    3    75544  214763     12      0 18.01
17.98/18.02	o -13	18.015
17.98/18.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.03	c        0  12840    25495    90880    3    75559  215697     13      0 18.02
17.98/18.03	o -14	18.02
17.98/18.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.04	c        0  12840    25496    91080    3    75575  216697     14      0 18.02
17.98/18.04	o -15	18.031
18.18/18.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.18/18.25	c        9  12840    25506    93402    3    75610  216697     24      0 18.03
18.18/18.25	c      109  12840    25606   115065    4    75810  238367    124      6 18.09
18.18/18.25	c      359  12840    25856   186889    7    76310  262204    374     19 18.20
18.18/18.25	o -16	18.238
172.66/172.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
172.66/172.71	c      494  12840    25992   228924    8    76598  216697    510     27 18.24
172.66/172.71	c      594  12840    26092   250561    9    76798  238367    610     32 18.28
172.66/172.71	c      844  12840    26342   306333   11    77298  262204    860     45 18.36
172.66/172.71	c     1319  12840    26817   408771   15    78248  288425   1335     71 18.50
172.66/172.71	c     2132  12840    27630   583314   21    79874  317268   2148    113 18.80
172.66/172.71	c     3452  12840    28950   863703   29    82514  348995   3468    180 19.15
172.66/172.71	c     5533  12840    31031  1291375   41    86676  383895   5549    282 19.61
172.66/172.71	c     8756  12840    34254  1999217   58    93122  422285   8772    424 20.64
172.66/172.71	c    13692  12840    39190  3074048   78   102994  464514  13708    613 22.31
172.66/172.71	c    21198  12840    46696  4658574   99   118006  510966  21214    833 25.43
172.66/172.71	c    32559  12840    58057  7097652  122   140728  562063  32575   1104 29.47
172.66/172.71	c    49703  12840    75201 10556572  140   175016  618270  49719   1422 34.93
172.66/172.71	c    75522  12840   101020 15940020  157   226654  680098  75538   1489 50.72
172.66/172.71	c   114354  12840   139852 24559688  175   304318  748108 114370   1339 85.36
172.66/172.71	c   172706  12840   198204 38107131  192   421022  822919 172722   1110 155.50
172.66/172.71	o -17	172.682
1800.00/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.00/1800.80	c   190754  12840   216253 41943782  193   457137  216697 190771   1104 172.69
1800.00/1800.80	c   190854  12840   216353 41965952  193   457337  238367 190871   1103 172.90
1800.00/1800.80	c   191104  12840   216603 42020619  193   457837  262204 191121   1102 173.26
1800.00/1800.80	c   191579  12840   217078 42119705  194   458787  288425 191596   1102 173.76
1800.00/1800.80	c   192392  12840   217891 42292834  194   460413  317268 192409   1101 174.73
1800.00/1800.80	c   193712  12840   219211 42585553  194   463053  348995 193729   1097 176.48
1800.00/1800.80	c   195793  12840   221292 43039138  194   467215  383895 195810   1095 178.69
1800.00/1800.80	c   199016  12840   224515 43731295  194   473661  422285 199033   1095 181.69
1800.00/1800.80	c   203952  12840   229451 44735756  194   483533  464514 203969   1090 186.95
1800.00/1800.80	c   211458  12840   236957 46338458  195   498545  510966 211475   1084 194.97
1800.00/1800.80	c   222819  12840   248318 48640562  195   521267  562063 222836   1091 204.11
1800.00/1800.80	c   239963  12840   265462 52100464  196   555555  618270 239980   1111 215.80
1800.00/1800.80	c   265782  12840   291281 57340126  196   607193  680098 265799   1095 242.62
1800.00/1800.80	c   304614  12840   330113 65717385  199   684857  748108 304631    935 325.69
1800.00/1800.80	c   362966  12840   388465 78521207  202   801561  822919 362983    774 468.37
1800.00/1800.80	c   450598  12840   476097 98107708  206   976825  905211 450615    690 652.22
1800.00/1800.80	c   582150  12840   607649 130048255  214  1239929  995733 582167    539 1079.07
1800.00/1800.80	c Caught signal: 15
1800.00/1800.80	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 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343 -x380 -x350 -x294 -x238 -x250 -x255 -x374 -x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 -x223 -x277 -x283 -x292 -x327 -x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 x383 -x362 -x397 x253 x378 -x274 x398 -x358 -x329 x307 -x261 -x366 -x357 -x315 -x276 -x245 -x204 -x217 -x234 x239 -x241 x249 -x260 x263 -x287 -x341 -x202 -x246 -x400 -x367 -x361 -x310 -x324 -x349 -x206 -x363 -x344 -x322 -x317 -x257 -x318 -x369 -x391 -x311 -x371 -x205 -x218 -x225 -x227 -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 -x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330 -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 x306 -x275 x273 -x342 -x221 -x232 -x244 -x270 x303 -x323 -x372 -x269 -x280 -x321 x267 -x213 -x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 -x365 -x272 -x230 -x248 -x286 -x338 -x364 -x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 -x305 -x258 -x216 -x326 x377 -x313 -x226 -x394 -x215 -x312 -x388 -x328 x396 -x247 -x237 -x256 -x325 x290 -x375 -x295 -x289 -x233 -x301 x334 -x335 -x384 
1800.00/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.80	c   49   745848    259   896239   771347 169801120 745865    414 1800.01
1800.00/1800.80	c Objective: -17
1800.00/1800.80	s SATISFIABLE
1800.00/1800.80	c Total time: 1800.01 s

Verifier Data 

OK	-17

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737430-1338719314/watcher-3737430-1338719314 -o /tmp/evaluation-result-3737430-1338719314/solver-3737430-1338719314 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737430-1338719314.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: 5.32 3.41 2.53 3/177 23591
/proc/meminfo: memFree=26597300/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) D 23589 23591 23291 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 338059866 2723840 47 33554432000 134512640 135840783 4292390064 4292388100 7230404 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 665 47 37 325 0 32 0

[startup+0.06965 s]
/proc/loadavg: 5.32 3.41 2.53 3/177 23591
/proc/meminfo: memFree=26597300/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=0.05 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2190 0 0 0 5 0 0 0 20 0 1 0 338059866 11628544 2085 33554432000 134512640 135840783 4292390064 4292234960 134550826 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2085 345 325 0 1775 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11356

[startup+0.100327 s]
/proc/loadavg: 5.32 3.41 2.53 3/177 23591
/proc/meminfo: memFree=26597300/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=0.09 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2191 0 0 0 9 0 0 0 20 0 1 0 338059866 11628544 2086 33554432000 134512640 135840783 4292390064 4292234944 2693887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2086 345 325 0 1775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11356

[startup+0.300214 s]
/proc/loadavg: 5.32 3.41 2.53 3/177 23591
/proc/meminfo: memFree=26597300/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=0.29 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2192 0 0 0 29 0 0 0 20 0 1 0 338059866 11628544 2087 33554432000 134512640 135840783 4292390064 4292234948 3063785 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2087 345 325 0 1775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11356

[startup+0.700211 s]
/proc/loadavg: 5.32 3.41 2.53 3/177 23591
/proc/meminfo: memFree=26597300/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=0.69 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2192 0 0 0 69 0 0 0 20 0 1 0 338059866 11628544 2087 33554432000 134512640 135840783 4292390064 4292234960 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2087 345 325 0 1775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11356

[startup+1.50022 s]
/proc/loadavg: 5.32 3.41 2.53 3/178 23592
/proc/meminfo: memFree=26589480/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=1.48 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2192 0 0 0 148 0 0 0 20 0 1 0 338059866 11628544 2087 33554432000 134512640 135840783 4292390064 4292235072 134583456 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2087 345 325 0 1775 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11356

[startup+3.10021 s]
/proc/loadavg: 5.32 3.41 2.53 3/178 23592
/proc/meminfo: memFree=26587956/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=3.08 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2192 0 0 0 308 0 0 0 20 0 1 0 338059866 11628544 2087 33554432000 134512640 135840783 4292390064 4292234736 3066782 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2087 345 325 0 1775 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11356

[startup+6.30021 s]
/proc/loadavg: 5.06 3.39 2.52 3/178 23592
/proc/meminfo: memFree=26583244/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=6.28 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2192 0 0 0 628 0 0 0 20 0 1 0 338059866 11628544 2087 33554432000 134512640 135840783 4292390064 4292234960 134551635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2087 345 325 0 1775 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11356

[startup+12.7002 s]
/proc/loadavg: 4.81 3.36 2.52 3/178 23592
/proc/meminfo: memFree=26569892/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=11356 CPUtime=12.68 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 2194 0 0 0 1268 0 0 0 20 0 1 0 338059866 11628544 2111 33554432000 134512640 135840783 4292390064 4292234960 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 2839 2111 345 325 0 1775 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11356

[startup+25.5003 s]
/proc/loadavg: 4.19 3.29 2.51 3/178 23592
/proc/meminfo: memFree=26482728/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=72564 CPUtime=25.48 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 17874 0 0 0 2543 5 0 0 20 0 1 0 338059866 74305536 17400 33554432000 134512640 135840783 4292390064 4292386496 3069223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 18141 17400 351 325 0 17077 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 72564

[startup+51.1003 s]
/proc/loadavg: 3.44 3.19 2.50 3/178 23592
/proc/meminfo: memFree=26277624/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=222864 CPUtime=51.07 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 55438 0 0 0 5091 16 0 0 20 0 1 0 338059866 228212736 54964 33554432000 134512640 135840783 4292390064 4292389376 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 55716 54964 351 325 0 54652 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 222864

[startup+102.307 s]
/proc/loadavg: 2.66 3.02 2.47 3/178 23595
/proc/meminfo: memFree=25984240/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=387816 CPUtime=102.28 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 96681 0 0 0 10198 30 0 0 20 0 1 0 338059866 397123584 96207 33554432000 134512640 135840783 4292390064 4292389376 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 96954 96207 351 325 0 95890 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 387816

[startup+162.3 s]
/proc/loadavg: 2.24 2.83 2.44 3/177 23596
/proc/meminfo: memFree=25696596/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=531352 CPUtime=162.25 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 132569 0 0 0 16184 41 0 0 20 0 1 0 338059866 544104448 132095 33554432000 134512640 135840783 4292390064 4292389424 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 132838 132095 351 325 0 131774 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 531352

[startup+222.3 s]
/proc/loadavg: 2.09 2.68 2.41 3/177 23596
/proc/meminfo: memFree=25370380/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=715756 CPUtime=222.25 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 178672 0 0 0 22170 55 0 0 20 0 1 0 338059866 732934144 178198 33554432000 134512640 135840783 4292390064 4292389376 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 178939 178198 351 325 0 177875 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 715756

[startup+282.3 s]
/proc/loadavg: 2.09 2.57 2.39 3/177 23596
/proc/meminfo: memFree=25108396/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=826396 CPUtime=282.24 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 206322 0 0 0 28160 64 0 0 20 0 1 0 338059866 846229504 205848 33554432000 134512640 135840783 4292390064 4292389424 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 206599 205848 351 325 0 205535 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 826396

[startup+342.3 s]
/proc/loadavg: 2.03 2.46 2.36 3/177 23596
/proc/meminfo: memFree=24874932/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=906232 CPUtime=342.23 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 226305 0 0 0 34152 71 0 0 20 0 1 0 338059866 927981568 225831 33554432000 134512640 135840783 4292390064 4292389376 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 226558 225831 351 325 0 225494 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 906232

[startup+402.3 s]
/proc/loadavg: 2.01 2.37 2.34 3/178 23597
/proc/meminfo: memFree=24656588/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=978276 CPUtime=402.22 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 244312 0 0 0 40145 77 0 0 20 0 1 0 338059866 1001754624 243838 33554432000 134512640 135840783 4292390064 4292389424 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 244569 243838 351 325 0 243505 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 978276

[startup+462.3 s]
/proc/loadavg: 2.00 2.30 2.31 3/177 23598
/proc/meminfo: memFree=24433176/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1042776 CPUtime=462.21 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 260435 0 0 0 46136 85 0 0 20 0 1 0 338059866 1067802624 259961 33554432000 134512640 135840783 4292390064 4292389368 9132240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 260694 259961 351 325 0 259630 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1042776

[startup+522.3 s]
/proc/loadavg: 2.00 2.25 2.29 3/177 23598
/proc/meminfo: memFree=24171564/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1142572 CPUtime=522.2 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 285363 0 0 0 52127 93 0 0 20 0 1 0 338059866 1169993728 284889 33554432000 134512640 135840783 4292390064 4292389376 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 285643 284889 351 325 0 284579 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1142572

[startup+582.3 s]
/proc/loadavg: 2.00 2.20 2.27 3/177 23598
/proc/meminfo: memFree=23957320/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1229016 CPUtime=582.19 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 306991 0 0 0 58119 100 0 0 20 0 1 0 338059866 1258512384 306517 33554432000 134512640 135840783 4292390064 4292389376 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 307254 306517 351 325 0 306190 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1229016

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.08 2.20 3/177 23641
/proc/meminfo: memFree=26892764/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1466132 CPUtime=822.1 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 366351 0 0 0 82083 127 0 0 20 0 1 0 338059866 1501319168 365810 33554432000 134512640 135840783 4292390064 4292389376 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 366533 365810 351 325 0 365469 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 1466132

[startup+882.3 s]
/proc/loadavg: 2.00 2.06 2.18 3/177 23641
/proc/meminfo: memFree=26820996/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1536836 CPUtime=882.06 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 384046 0 0 0 88071 135 0 0 20 0 1 0 338059866 1573720064 383468 33554432000 134512640 135840783 4292390064 4292384352 3069223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 384209 383468 351 325 0 383145 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1536836

[startup+942.3 s]
/proc/loadavg: 2.00 2.05 2.17 3/176 23641
/proc/meminfo: memFree=26707572/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1606600 CPUtime=942.03 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 401507 0 0 0 94059 144 0 0 20 0 1 0 338059866 1645158400 400898 33554432000 134512640 135840783 4292390064 4292389424 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 401650 400898 351 325 0 400586 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1606600

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.16 3/177 23642
/proc/meminfo: memFree=26459592/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1665016 CPUtime=1001.98 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 416156 0 0 0 100047 151 0 0 20 0 1 0 338059866 1704976384 415508 33554432000 134512640 135840783 4292390064 4292389376 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 416254 415508 351 325 0 415190 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1665016

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/177 23642
/proc/meminfo: memFree=26330164/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1712068 CPUtime=1061.95 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 427948 0 0 0 106038 157 0 0 20 0 1 0 338059866 1753157632 427264 33554432000 134512640 135840783 4292390064 4292389376 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 428017 427264 351 325 0 426953 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1712068

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/177 23643
/proc/meminfo: memFree=26279600/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1761372 CPUtime=1121.92 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 440327 0 0 0 112029 163 0 0 20 0 1 0 338059866 1803644928 439606 33554432000 134512640 135840783 4292390064 4292389424 134550916 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 440343 439606 351 325 0 439279 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1761372

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/177 23643
/proc/meminfo: memFree=26249744/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1791640 CPUtime=1181.89 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 447944 0 0 0 118019 170 0 0 20 0 1 0 338059866 1834639360 447179 33554432000 134512640 135840783 4292390064 4292389376 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 447910 447179 351 325 0 446846 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1791640

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/177 23643
/proc/meminfo: memFree=26209472/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1831828 CPUtime=1241.85 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 458008 0 0 0 124009 176 0 0 20 0 1 0 338059866 1875791872 457209 33554432000 134512640 135840783 4292390064 4292386496 3069223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 457957 457209 351 325 0 456893 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1831828

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.10 3/178 23646
/proc/meminfo: memFree=26165348/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1874256 CPUtime=1301.81 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 468665 0 0 0 129999 182 0 0 20 0 1 0 338059866 1919238144 467828 33554432000 134512640 135840783 4292390064 4292389424 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 468564 467828 351 325 0 467500 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1874256

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.09 3/177 23646
/proc/meminfo: memFree=26135872/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1904256 CPUtime=1361.77 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 476203 0 0 0 135989 188 0 0 20 0 1 0 338059866 1949958144 475325 33554432000 134512640 135840783 4292390064 4292389424 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 476064 475325 351 325 0 475000 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1904256

[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.09 3/177 23647
/proc/meminfo: memFree=26098948/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1940992 CPUtime=1421.74 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 485419 0 0 0 141981 193 0 0 20 0 1 0 338059866 1987575808 484501 33554432000 134512640 135840783 4292390064 4292389424 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 485248 484501 351 325 0 484184 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1940992

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.08 3/177 23647
/proc/meminfo: memFree=26047020/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=1979452 CPUtime=1481.72 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 495075 0 0 0 147973 199 0 0 20 0 1 0 338059866 2026958848 494121 33554432000 134512640 135840783 4292390064 4292389376 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 494863 494121 351 325 0 493799 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1979452

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/177 23647
/proc/meminfo: memFree=25906680/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2016852 CPUtime=1541.68 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 504454 0 0 0 153963 205 0 0 20 0 1 0 338059866 2065256448 503467 33554432000 134512640 135840783 4292390064 4292389424 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 504213 503467 351 325 0 503149 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 2016852

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/177 23647
/proc/meminfo: memFree=25817924/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2059664 CPUtime=1601.64 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 515210 0 0 0 159953 211 0 0 20 0 1 0 338059866 2109095936 514181 33554432000 134512640 135840783 4292390064 4292389376 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 514916 514181 351 325 0 513852 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 2059664

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 23647
/proc/meminfo: memFree=25767856/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2109472 CPUtime=1661.6 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 527705 0 0 0 165941 219 0 0 20 0 1 0 338059866 2160099328 526635 33554432000 134512640 135840783 4292390064 4292389376 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 527368 526635 351 325 0 526304 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 2109472

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 23648
/proc/meminfo: memFree=25709976/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2168156 CPUtime=1721.55 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 542405 0 0 0 171928 227 0 0 20 0 1 0 338059866 2220191744 541297 33554432000 134512640 135840783 4292390064 4292389424 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 542039 541297 351 325 0 540975 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 2168156

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 23648
/proc/meminfo: memFree=25639448/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2237284 CPUtime=1781.51 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 559721 0 0 0 177916 235 0 0 20 0 1 0 338059866 2290978816 558573 33554432000 134512640 135840783 4292390064 4292389424 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 559321 558573 351 325 0 558257 0
Current children cumulated CPU time (s) 1781.51
Current children cumulated vsize (KiB) 2237284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 23648
/proc/meminfo: memFree=25624660/32873844 swapFree=6872/6872
[pid=23591] ppid=23589 vsize=2251824 CPUtime=1800 cores=1,3,5,7
/proc/23591/stat : 23591 (bsolo3.0.17) R 23589 23591 23291 0 -1 4202496 563369 0 0 0 179763 237 0 0 20 0 1 0 338059866 2305867776 562209 33554432000 134512640 135840783 4292390064 4292389376 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23591/statm: 562956 562209 351 325 0 561892 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2251824

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.85
CPU time (s): 1800.05
CPU user time (s): 1797.64
CPU system time (s): 2.41463
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 2251824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.64
system time used= 2.41463
maximum resident set size= 2248836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563372
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= 752
involuntary context switches= 1824

runsolver used 3.64045 second user time and 9.8365 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 12:28:34
IDJOB=3737430
IDBENCH=48238
IDSOLVER=2318
FILE ID=node106/3737430-1338719314
RUNJOBID= node106-1338714620-23308
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737430-1338719314/watcher-3737430-1338719314 -o /tmp/evaluation-result-3737430-1338719314/solver-3737430-1338719314 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737430-1338719314.opb            

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

MD5SUM BENCH= 219f407da86957d900e068170e9af8b6
RANDOM SEED=2041365509

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26597276 kB
Buffers:          307192 kB
Cached:          2958628 kB
SwapCached:         2004 kB
Active:          3164376 kB
Inactive:        2249020 kB
Active(anon):    2144740 kB
Inactive(anon):     4984 kB
Active(file):    1019636 kB
Inactive(file):  2244036 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             12268 kB
Writeback:             0 kB
AnonPages:       2151780 kB
Mapped:            10368 kB
Shmem:                 0 kB
Slab:             717628 kB
SReclaimable:     159128 kB
SUnreclaim:       558500 kB
KernelStack:        1464 kB
PageTables:         8036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2268084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70848 MiB
End job on node106 at 2012-06-03 12:58:37