Trace number 3737452

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.09 1800.81

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-58
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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-3737452-1338720029.opb
0.00/0.00	c File size is 75229 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.016 s
0.00/0.02	c Var: 5448 Constr: 10698 5248/402/5048 Lit: 36536 Watch. Lit: 31090
0.00/0.02	c Obj. Vars: 200 (3.67107 % of total variables)
0.99/1.09	c Pre-processing Time: 1.081 s
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c        0   5448    10698    36536    3    31090   54403      0      0 1.08
0.99/1.09	c Switching off LPR mode.
0.99/1.09	o -1	1.083
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c        0   5448    10699    36736    3    31093   54537      1      0 1.08
0.99/1.09	o -2	1.085
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c        0   5448    10700    36936    3    31097   54737      2      0 1.08
0.99/1.09	o -3	1.087
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c        0   5448    10701    37136    3    31102   55003      3      0 1.09
0.99/1.09	o -4	1.089
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c        0   5448    10702    37336    3    31108   55337      4      0 1.09
0.99/1.10	o -5	1.09
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c        0   5448    10703    37536    3    31115   55737      5      0 1.09
0.99/1.10	o -6	1.092
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c        0   5448    10704    37736    3    31123   56203      6      0 1.09
0.99/1.10	o -7	1.094
1.08/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.10	c        0   5448    10705    37936    3    31132   56737      7      0 1.09
1.08/1.10	o -8	1.096
1.08/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.10	c        0   5448    10706    38136    3    31142   57337      8      0 1.10
1.08/1.10	o -9	1.098
1.08/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.11	c        0   5448    10707    38336    3    31153   58003      9      0 1.10
1.08/1.11	o -10	1.1
1.08/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.11	c        0   5448    10708    38536    3    31165   58737     10      0 1.10
1.08/1.11	o -11	1.102
1.08/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.11	c        0   5448    10709    38736    3    31178   59537     11      0 1.10
1.08/1.11	o -12	1.104
1.08/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.08/1.11	c        0   5448    10710    38936    3    31192   60403     12      0 1.10
1.08/1.11	o -13	1.108
1.28/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.39	c        6   5448    10717    40464    3    31219   60470     19      5 1.11
1.28/1.39	c      106   5448    10817    64465    5    31419   66518    119     89 1.18
1.28/1.39	c      356   5448    11067   127691   11    31919   73170    369    279 1.27
1.28/1.39	o -14	1.388
102.96/103.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.96/103.03	c      769   5448    11481   251936   21    32761   60537    783    553 1.39
102.96/103.03	c      869   5448    11581   276782   23    32961   66591    883    594 1.46
102.96/103.03	c     1119   5448    11831   338303   28    33461   73251   1133    739 1.51
102.96/103.03	c     1594   5448    12306   464211   37    34411   80577   1608    851 1.87
102.96/103.03	c     2407   5448    13119   684775   52    36037   88635   2421    983 2.45
102.96/103.03	c     3727   5448    14439  1049631   72    38677   97499   3741   1107 3.36
102.96/103.03	c     5808   5448    16520  1599263   96    42839  107249   5822   1259 4.61
102.96/103.03	c     9031   5448    19743  2498208  126    49285  117974   9045   1430 6.31
102.96/103.03	c    13967   5448    24679  3867277  156    59157  129772  13981   1645 8.49
102.96/103.03	c    21473   5448    32185  5842631  181    74169  142750  21487   1666 12.89
102.96/103.03	c    32834   5448    43546  8964148  205    96891  157026  32848   1601 20.50
102.96/103.03	c    49978   5448    60690 13423904  221   131179  172729  49992   1418 35.23
102.96/103.03	c    75797   5448    86509 19821369  229   182817  190002  75811   1308 57.92
102.96/103.03	o -15	103.006
117.46/117.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
117.46/117.53	c   112795   5448   123508 29716173  240   256830   60537 112810   1095 103.01
117.46/117.53	c   112895   5448    23187  3451800  148    56083   66591  12489    961 117.42
117.46/117.53	o -16	117.504
1790.68/1791.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1790.68/1791.43	c   113141   5448    23434  3510116  149    56593   55403  12736    962 117.50
1790.68/1791.43	c   113241   5448    23534  3534217  150    56793   60944  12836    962 117.62
1790.68/1791.43	c   113491   5448    23784  3597110  151    57293   67039  13086    963 117.79
1790.68/1791.43	c   113966   5448    24259  3716172  153    58243   73743  13561    964 118.13
1790.68/1791.43	c   114779   5448    25072  3921527  156    59869   81118  14374    967 118.68
1790.68/1791.43	c   116099   5448    26392  4243327  160    62509   89230  15694    972 119.41
1790.68/1791.43	c   118180   5448    28473  4766138  167    66671   98154  17775    981 120.38
1790.68/1791.43	c   121403   5448    31696  5578979  176    73117  107970  20998    997 121.73
1790.68/1791.43	c   126339   5448    36632  6741454  184    82989  118768  25934   1025 123.15
1790.68/1791.43	c   133845   5448    44138  8245745  186    98001  130645  33440   1072 124.81
1790.68/1791.43	c   145206   5448    55499 10890141  196   120723  143710  44801   1108 131.02
1790.68/1791.43	c   162350   5448    72643 15260952  210   155011  158082  61945   1120 144.91
1790.68/1791.43	c   188169   5448    98462 21414403  217   206649  173891  87764   1128 166.72
1790.68/1791.43	c   227001   5448   137294 30774961  224   284313  191281 126596   1050 216.04
1790.68/1791.43	c   285353   5448   195646 46188538  236   401017  210410 184948   1009 282.54
1790.68/1791.43	c   372985   5448    80827 18051924  223   171364  231452  70129    654 569.84
1790.68/1791.43	c   504537   5448   212379 51047169  240   434468  254598 201681    678 744.01
1790.68/1791.43	c   701969   5448   163506 42584278  260   336722  280058 152808    607 1155.96
1790.68/1791.43	c   998221   5448   187952 51861416  275   385614  308064 177254    572 1742.84
1790.68/1791.43	o -17	1790.72
1800.08/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.80	c  1018447   5448   208179 57358227  275   426085   55403 197481    568 1790.72
1800.08/1800.80	c Caught signal: 15
1800.08/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 -x302 -x284 x275 -x327 -x364 -x338 -x226 -x229 -x386 -x345 -x242 -x317 -x328 -x384 -x201 x355 x315 x365 -x204 -x215 x303 -x342 x350 x318 -x205 -x212 -x225 x231 -x252 -x280 -x339 -x360 -x202 -x369 -x374 -x319 -x323 -x283 -x321 -x221 -x305 -x208 -x233 -x257 -x367 -x203 -x300 -x220 -x395 -x325 -x223 -x262 -x236 -x240 -x295 -x307 -x373 -x377 -x376 -x245 -x332 -x343 -x299 -x273 -x344 -x248 -x217 -x246 -x292 -x370 -x390 -x348 x368 -x222 -x287 x296 -x207 x218 -x238 -x282 -x297 -x309 -x363 -x397 -x206 -x394 -x232 x392 -x340 -x308 -x211 -x230 -x256 -x258 -x354 -x362 -x291 -x239 -x301 -x247 -x271 -x330 -x380 -x383 -x334 -x388 -x268 -x361 x306 -x264 -x224 -x234 -x250 -x286 -x389 -x209 x249 -x378 -x241 -x272 -x210 -x294 -x379 -x313 -x251 -x285 -x288 -x289 -x290 -x357 -x227 -x278 -x253 -x213 -x316 x265 -x381 -x385 -x274 -x263 -x356 -x261 -x214 -x335 -x310 -x387 -x352 -x237 -x267 -x320 -x324 -x269 -x243 -x277 -x216 -x333 -x382 -x260 -x372 -x279 -x371 -x347 -x266 -x314 -x219 -x270 -x358 x322 -x244 -x255 -x346 -x399 -x228 x359 -x396 -x281 -x341 -x276 -x349 -x366 -x304 -x259 -x331 -x336 -x293 -x312 -x398 -x393 -x400 -x235 -x391 -x351 -x311 -x329 -x353 -x375 -x298 -x326 -x254 -x337 
1800.08/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.80	c   50  1018447    152  1085703   183026 49972279 172328    565 1800.08
1800.08/1800.80	c Objective: -17
1800.08/1800.80	s SATISFIABLE
1800.08/1800.80	c Total time: 1800.08 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-3737452-1338720029/watcher-3737452-1338720029 -o /tmp/evaluation-result-3737452-1338720029/solver-3737452-1338720029 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737452-1338720029.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.92 2.10 2.22 2/177 23639
/proc/meminfo: memFree=27372788/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4194304 96 0 0 0 0 0 0 0 20 0 1 0 338131344 2723840 48 33554432000 134512640 135840783 4287337872 4287335988 7230350 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23639/statm: 694 51 39 325 0 32 0

[startup+0.044634 s]
/proc/loadavg: 1.92 2.10 2.22 2/177 23639
/proc/meminfo: memFree=27372788/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=7384 CPUtime=0.03 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 1167 0 0 0 3 0 0 0 20 0 1 0 338131344 7561216 1084 33554432000 134512640 135840783 4287337872 4287271472 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23639/statm: 1846 1084 345 325 0 782 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7384

[startup+0.100223 s]
/proc/loadavg: 1.92 2.10 2.22 2/177 23639
/proc/meminfo: memFree=27372788/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=7384 CPUtime=0.08 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 1167 0 0 0 8 0 0 0 20 0 1 0 338131344 7561216 1084 33554432000 134512640 135840783 4287337872 4287271424 11698721 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23639/statm: 1846 1084 345 325 0 782 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7384

[startup+0.300181 s]
/proc/loadavg: 1.92 2.10 2.22 2/177 23639
/proc/meminfo: memFree=27372788/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=7384 CPUtime=0.28 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 1167 0 0 0 28 0 0 0 20 0 1 0 338131344 7561216 1084 33554432000 134512640 135840783 4287337872 4287271248 1817324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23639/statm: 1846 1084 345 325 0 782 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7384

[startup+0.700179 s]
/proc/loadavg: 1.92 2.10 2.22 2/177 23639
/proc/meminfo: memFree=27372788/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=7384 CPUtime=0.68 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 1168 0 0 0 68 0 0 0 20 0 1 0 338131344 7561216 1085 33554432000 134512640 135840783 4287337872 4287271472 134551786 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/23639/statm: 1846 1085 345 325 0 782 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7384

[startup+1.50024 s]
/proc/loadavg: 1.92 2.10 2.22 3/178 23640
/proc/meminfo: memFree=27368316/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=10996 CPUtime=1.49 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 2339 0 0 0 148 1 0 0 20 0 1 0 338131344 11259904 2020 33554432000 134512640 135840783 4287337872 4287334304 1819943 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 2749 2020 351 325 0 1685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10996

[startup+3.10025 s]
/proc/loadavg: 1.92 2.10 2.22 3/178 23640
/proc/meminfo: memFree=27360256/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=19232 CPUtime=3.08 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 4393 0 0 0 307 1 0 0 20 0 1 0 338131344 19693568 4074 33554432000 134512640 135840783 4287337872 4287337232 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 4808 4074 351 325 0 3744 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19232

[startup+6.30027 s]
/proc/loadavg: 1.93 2.10 2.22 3/178 23640
/proc/meminfo: memFree=27339372/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=39552 CPUtime=6.29 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 9495 0 0 0 627 2 0 0 20 0 1 0 338131344 40501248 9176 33554432000 134512640 135840783 4287337872 4287332364 1444607 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 9920 9177 351 325 0 8856 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39552

[startup+12.7003 s]
/proc/loadavg: 1.93 2.10 2.22 3/178 23640
/proc/meminfo: memFree=27288784/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=82524 CPUtime=12.68 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 20231 0 0 0 1264 4 0 0 20 0 1 0 338131344 84504576 19912 33554432000 134512640 135840783 4287337872 4287337232 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 20631 19912 351 325 0 19567 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82524

[startup+25.5003 s]
/proc/loadavg: 1.95 2.09 2.21 3/178 23640
/proc/meminfo: memFree=27215120/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=143732 CPUtime=25.48 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 35535 0 0 0 2540 8 0 0 20 0 1 0 338131344 147181568 35216 33554432000 134512640 135840783 4287337872 4287337232 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 35933 35216 351 325 0 34869 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 143732

[startup+51.1003 s]
/proc/loadavg: 1.96 2.09 2.21 3/177 23641
/proc/meminfo: memFree=27087152/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=249964 CPUtime=51.08 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 62097 0 0 0 5092 16 0 0 20 0 1 0 338131344 255963136 61778 33554432000 134512640 135840783 4287337872 4287337232 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 62491 61778 351 325 0 61427 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 249964

[startup+102.306 s]
/proc/loadavg: 2.02 2.08 2.20 3/177 23641
/proc/meminfo: memFree=26900452/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=394612 CPUtime=102.27 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 98248 0 0 0 10199 28 0 0 20 0 1 0 338131344 404082688 97929 33554432000 134512640 135840783 4287337872 4287337232 134550884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 98653 97930 351 325 0 97589 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 394612

[startup+162.3 s]
/proc/loadavg: 2.01 2.07 2.18 3/177 23641
/proc/meminfo: memFree=26827320/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=397176 CPUtime=162.26 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 98998 0 0 0 16198 28 0 0 20 0 1 0 338131344 406708224 98568 33554432000 134512640 135840783 4287337872 4287337232 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 99294 98568 351 325 0 98230 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 397176

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.17 3/176 23641
/proc/meminfo: memFree=26728528/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=428404 CPUtime=222.25 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 106801 0 0 0 22194 31 0 0 20 0 1 0 338131344 438685696 106371 33554432000 134512640 135840783 4287337872 4287337184 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 107101 106371 351 325 0 106037 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 428404

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.16 3/177 23642
/proc/meminfo: memFree=26483152/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=613804 CPUtime=282.24 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 153162 0 0 0 28182 42 0 0 20 0 1 0 338131344 628535296 152732 33554432000 134512640 135840783 4287337872 4287337232 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 153451 152732 351 325 0 152387 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 613804

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.15 3/177 23642
/proc/meminfo: memFree=26334752/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=713716 CPUtime=342.23 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 178329 0 0 0 34172 51 0 0 20 0 1 0 338131344 730845184 177688 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 178429 177688 351 325 0 177365 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 713716

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/177 23643
/proc/meminfo: memFree=26283568/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=713716 CPUtime=402.22 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 178329 0 0 0 40171 51 0 0 20 0 1 0 338131344 730845184 177688 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 178429 177688 351 325 0 177365 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 713716

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/177 23643
/proc/meminfo: memFree=26251480/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=713716 CPUtime=462.21 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 178329 0 0 0 46170 51 0 0 20 0 1 0 338131344 730845184 177688 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 178429 177688 351 325 0 177365 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 713716

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/177 23643
/proc/meminfo: memFree=26216292/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=713716 CPUtime=522.21 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 178329 0 0 0 52170 51 0 0 20 0 1 0 338131344 730845184 177688 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 178429 177688 351 325 0 177365 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 713716

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.10 3/178 23646
/proc/meminfo: memFree=26169812/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=713716 CPUtime=582.2 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 178329 0 0 0 58169 51 0 0 20 0 1 0 338131344 730845184 177688 33554432000 134512640 135840783 4287337872 4287337168 134572903 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 178429 177688 351 325 0 177365 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 713716

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.08 3/177 23647
/proc/meminfo: memFree=25918708/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=823652 CPUtime=822.16 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 205827 0 0 0 82156 60 0 0 20 0 1 0 338131344 843419648 205186 33554432000 134512640 135840783 4287337872 4287337176 11303120 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 205913 205186 351 325 0 204849 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 823652

[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/177 23647
/proc/meminfo: memFree=25821768/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=882.15 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219234 0 0 0 88149 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 876252

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 23647
/proc/meminfo: memFree=25772692/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=942.14 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219234 0 0 0 94148 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 876252

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 23648
/proc/meminfo: memFree=25714068/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1002.13 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219234 0 0 0 100147 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 876252

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 23648
/proc/meminfo: memFree=25644284/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1062.12 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219234 0 0 0 106146 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337168 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 876252

[startup+1122.3 s]
/proc/loadavg: 1.95 1.98 2.04 3/177 23687
/proc/meminfo: memFree=27818768/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1122.08 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219266 0 0 0 112142 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337184 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 876252

[startup+1182.3 s]
/proc/loadavg: 1.98 1.98 2.04 3/178 23690
/proc/meminfo: memFree=27775504/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1182.02 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219314 0 0 0 118136 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337232 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 876252

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/178 23713
/proc/meminfo: memFree=27747516/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1241.96 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219362 0 0 0 124130 66 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337232 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 876252

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/177 23714
/proc/meminfo: memFree=27724736/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=876252 CPUtime=1301.92 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 219410 0 0 0 130125 67 0 0 20 0 1 0 338131344 897282048 218339 33554432000 134512640 135840783 4287337872 4287337232 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 219063 218339 351 325 0 217999 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 876252

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/177 23714
/proc/meminfo: memFree=27697360/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=892752 CPUtime=1361.85 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 223583 0 0 0 136117 68 0 0 20 0 1 0 338131344 914178048 222466 33554432000 134512640 135840783 4287337872 4287337232 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 223188 222466 351 325 0 222124 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 892752

[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 2.02 3/177 23714
/proc/meminfo: memFree=27599180/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=989960 CPUtime=1421.8 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 247939 0 0 0 142103 77 0 0 20 0 1 0 338131344 1013719040 246776 33554432000 134512640 135840783 4287337872 4287332528 1819943 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 247490 246776 351 325 0 246426 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 989960

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/177 23714
/proc/meminfo: memFree=27555188/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1481.74 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 258986 0 0 0 148093 81 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1032904

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 23714
/proc/meminfo: memFree=27555216/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1541.68 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259033 0 0 0 154087 81 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1032904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23715
/proc/meminfo: memFree=27555120/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1601.63 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259074 0 0 0 160082 81 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337232 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1032904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23715
/proc/meminfo: memFree=27555520/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1661.61 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259087 0 0 0 166080 81 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337184 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1032904

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23715
/proc/meminfo: memFree=27546264/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1721.59 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259116 0 0 0 172077 82 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337232 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1032904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23718
/proc/meminfo: memFree=27533016/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1781.58 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259116 0 0 0 178076 82 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337184 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1032904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23718
/proc/meminfo: memFree=27528768/32873844 swapFree=6872/6872
[pid=23639] ppid=23637 vsize=1032904 CPUtime=1800.08 cores=0,2,4,6
/proc/23639/stat : 23639 (bsolo3.0.17) R 23637 23639 23291 0 -1 4202496 259116 0 0 0 179926 82 0 0 20 0 1 0 338131344 1057693696 257497 33554432000 134512640 135840783 4287337872 4287337296 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23639/statm: 258226 257497 351 325 0 257162 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1032904

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.81
CPU time (s): 1800.09
CPU user time (s): 1799.27
CPU system time (s): 0.824874
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 1034020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 0.824874
maximum resident set size= 1031104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259119
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= 463
involuntary context switches= 1977

runsolver used 3.42248 second user time and 8.69368 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 12:40:29
IDJOB=3737452
IDBENCH=48240
IDSOLVER=2318
FILE ID=node106/3737452-1338720029
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70856 MiB

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

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
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:        27372680 kB
Buffers:          307384 kB
Cached:          2956344 kB
SwapCached:         2004 kB
Active:          2395556 kB
Inactive:        2248572 kB
Active(anon):    1377528 kB
Inactive(anon):     4984 kB
Active(file):    1018028 kB
Inactive(file):  2243588 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              6676 kB
Writeback:             0 kB
AnonPages:       1384724 kB
Mapped:            10328 kB
Shmem:                 0 kB
Slab:             712792 kB
SReclaimable:     154944 kB
SUnreclaim:       557848 kB
KernelStack:        1488 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1500092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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 13:10:31