Trace number 3708482

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT-27 1798 1798.32

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_3.opb
MD5SUM1b4456ec5e57b53956abc30521c99789
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-29
Best CPU time to get the best result obtained on this benchmark1797.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint45
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6216
Sum of products size (including duplicates)12432
Number of different products3108
Sum of products size6216

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708482-1338177084.opb
0.00/0.00	c File size is 76271 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.016 s
0.00/0.02	c Var: 6416 Constr: 12832 6416/200/6216 Lit: 49728 Watch. Lit: 37296
0.00/0.02	c Obj. Vars: 200 (3.11721 % of total variables)
0.00/0.06	c Pre-processing Time: 0.067 s
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    200     3108     9324    3     6216    1035      0      0 0.07
0.00/0.07	c Switching off lower bounding mode.
0.00/0.07	o -25
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    200     3109     9524    3     6243    2035      1      0 0.07
0.00/0.07	o -26
2.88/2.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.99	c        3    200     3113    10241    3     6277    2035      5     44 0.07
2.88/2.99	c      103    200     3213    27274    8     6477    2239    105   1144 0.09
2.88/2.99	c      353    200     3463    69768   20     6977    2463    355   2322 0.15
2.88/2.99	c      829    200     3941   151122   38     7933    2710    833   3025 0.27
2.88/2.99	c     1642    200     4760   290438   61     9594    2982   1652   3145 0.52
2.88/2.99	c     2962    200     6082   515054   84    12238    3281   2974   3191 0.93
2.88/2.99	c     5043    200     8166   869297  106    16406    3610   5058   2964 1.70
2.88/2.99	o -27
1797.97/1798.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.31	c     8220    200    11351  1411627  124    22803    2035   8243   2743 3.00
1797.97/1798.31	c     8320    200     4127   182412   44     8281    2239   1019   2685 3.10
1797.97/1798.31	c     8571    200     4378   224810   51     8783    2463   1270   2705 3.17
1797.97/1798.31	c     9046    200     4853   305122   62     9733    2710   1745   2747 3.29
1797.97/1798.31	c     9859    200     5666   442381   78    11359    2982   2558   2785 3.54
1797.97/1798.31	c    11179    200     6988   665802   95    14003    3281   3880   2822 3.96
1797.97/1798.31	c    13260    200     9071  1017469  112    18169    3610   5963   2826 4.69
1797.97/1798.31	c    16483    200    12295  1563094  127    24617    3972   9187   2740 6.01
1797.97/1798.31	c    21420    200     8861   981341  110    17749    4370   5753   2650 8.08
1797.97/1798.31	c    28927    200     7813   801527  102    15699    4808   4705   2573 11.24
1797.97/1798.31	c    40289    200    10424  1243878  119    20875    5289   7316   2347 17.16
1797.97/1798.31	c    57433    200     9548  1092796  114    19123    5818   6440   2144 26.78
1797.97/1798.31	c    83252    200     7543   753264   99    15113    6400   4435   1881 44.25
1797.97/1798.31	c   122086    200     8165   859716  105    16381    7041   5057   1837 66.46
1797.97/1798.31	c   180438    200     7197   698127   97    14421    7746   4089   1797 100.38
1797.97/1798.31	c   268070    200    13039  1678949  128    26168    8521   9931   1660 161.42
1797.97/1798.31	c   399623    200    17169  2354754  137    34436    9374  14061   1604 249.12
1797.97/1798.31	c   597055    200    15871  2136014  134    31840   10312  12763   1562 382.00
1797.97/1798.31	c   893309    200    12779  1638215  128    25585   11344   9671   1543 578.58
1797.97/1798.31	c  1337791    200    12536  1597353  127    25124   12479   9428   1462 914.91
1797.97/1798.31	c  2004618    200    12375  1563359  126    24802   13727   9267   1418 1413.40
1797.97/1798.31	c Resources Exceeded
1797.97/1798.31	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 
1797.97/1798.31	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.31	c   29  2542584 126683  2686933    22090  3200107  18982   1414 1798.00
1797.97/1798.31	c Objective: -27
1797.97/1798.31	s SATISFIABLE
1797.97/1798.31	c Total time: 1798 s

Verifier Data 

OK	-27

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-3708482-1338177084/watcher-3708482-1338177084 -o /tmp/evaluation-result-3708482-1338177084/solver-3708482-1338177084 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708482-1338177084.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9607
/proc/meminfo: memFree=30759328/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=11288 CPUtime=0 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 406 0 0 0 0 0 0 0 20 0 1 0 283833315 11558912 360 33554432000 134512640 137138936 4292193136 4292191408 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 2822 360 177 642 0 2159 0

[startup+0.078097 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9607
/proc/meminfo: memFree=30759328/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=14196 CPUtime=0.07 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 1206 0 0 0 7 0 0 0 20 0 1 0 283833315 14536704 1121 33554432000 134512640 137138936 4292193136 4292191672 136504025 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 3549 1121 192 642 0 2905 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14196

[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9607
/proc/meminfo: memFree=30759328/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=14196 CPUtime=0.09 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 1206 0 0 0 9 0 0 0 20 0 1 0 283833315 14536704 1121 33554432000 134512640 137138936 4292193136 4292192032 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 3549 1121 192 642 0 2905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14196

[startup+0.300183 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9607
/proc/meminfo: memFree=30759328/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=15644 CPUtime=0.28 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 1567 0 0 0 28 0 0 0 20 0 1 0 283833315 16019456 1482 33554432000 134512640 137138936 4292193136 4292191668 134617956 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 3911 1482 192 642 0 3267 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15644

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9607
/proc/meminfo: memFree=30759328/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=18384 CPUtime=0.69 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 2241 0 0 0 68 1 0 0 20 0 1 0 283833315 18825216 2156 33554432000 134512640 137138936 4292193136 4292192064 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 4596 2156 192 642 0 3952 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18384

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9608
/proc/meminfo: memFree=30749508/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=22856 CPUtime=1.49 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 3359 0 0 0 148 1 0 0 20 0 1 0 283833315 23404544 3274 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 5714 3274 192 642 0 5070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22856

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9608
/proc/meminfo: memFree=30741556/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=31292 CPUtime=3.08 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 5466 0 0 0 306 2 0 0 20 0 1 0 283833315 32043008 5381 33554432000 134512640 137138936 4292193136 4292191888 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 7823 5381 192 642 0 7179 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 31292

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9608
/proc/meminfo: memFree=30736844/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=34244 CPUtime=6.29 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 6208 0 0 0 626 3 0 0 20 0 1 0 283833315 35065856 6123 33554432000 134512640 137138936 4292193136 4292191648 134533451 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 8561 6123 192 642 0 7917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34244

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9608
/proc/meminfo: memFree=30731636/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=36564 CPUtime=12.68 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 6782 0 0 0 1264 4 0 0 20 0 1 0 283833315 37441536 6697 33554432000 134512640 137138936 4292193136 4292191812 136511093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 9141 6697 192 642 0 8497 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36564

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9608
/proc/meminfo: memFree=30702852/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=38560 CPUtime=25.48 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 7293 0 0 0 2542 6 0 0 20 0 1 0 283833315 39485440 7208 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 9640 7208 192 642 0 8996 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38560

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=30690048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=41008 CPUtime=51.08 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 7900 0 0 0 5098 10 0 0 20 0 1 0 283833315 41992192 7815 33554432000 134512640 137138936 4292193136 4292191652 134551543 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 10252 7815 192 642 0 9608 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41008

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=30688216/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=42460 CPUtime=102.28 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 8286 0 0 0 10211 17 0 0 20 0 1 0 283833315 43479040 8185 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 10615 8185 192 642 0 9971 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42460

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=30664948/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=44116 CPUtime=162.26 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 8706 0 0 0 16203 23 0 0 20 0 1 0 283833315 45174784 8601 33554432000 134512640 137138936 4292193136 4292191632 134618476 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 11029 8601 192 642 0 10385 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 44116

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=30663348/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=45836 CPUtime=222.24 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 9142 0 0 0 22193 31 0 0 20 0 1 0 283833315 46936064 9031 33554432000 134512640 137138936 4292193136 4292192132 134555571 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/9607/statm: 11459 9031 192 642 0 10815 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 45836

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9609
/proc/meminfo: memFree=30661408/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=47768 CPUtime=282.23 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 9636 0 0 0 28185 38 0 0 20 0 1 0 283833315 48914432 9514 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 11942 9514 192 642 0 11298 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47768

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9610
/proc/meminfo: memFree=30640108/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=47756 CPUtime=342.22 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 9636 0 0 0 34179 43 0 0 20 0 1 0 283833315 48902144 9511 33554432000 134512640 137138936 4292193136 4292192064 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 11939 9511 192 642 0 11295 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 47756

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9610
/proc/meminfo: memFree=30638344/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=49624 CPUtime=402.19 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 10105 0 0 0 40168 51 0 0 20 0 1 0 283833315 50814976 9974 33554432000 134512640 137138936 4292193136 4292192032 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 12406 9974 192 642 0 11762 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49624

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9610
/proc/meminfo: memFree=30637952/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=49840 CPUtime=462.18 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 10191 0 0 0 46161 57 0 0 20 0 1 0 283833315 51036160 10043 33554432000 134512640 137138936 4292193136 4292189016 136504500 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 12460 10043 192 642 0 11816 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 49840

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9613
/proc/meminfo: memFree=30637324/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=49888 CPUtime=522.18 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 10197 0 0 0 52154 64 0 0 20 0 1 0 283833315 51085312 10039 33554432000 134512640 137138936 4292193136 4292191664 134602762 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 12472 10039 192 642 0 11828 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 49888

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9636
/proc/meminfo: memFree=30632804/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=52216 CPUtime=582.16 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 10788 0 0 0 58145 71 0 0 20 0 1 0 283833315 53469184 10622 33554432000 134512640 137138936 4292193136 4292192064 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13054 10622 192 642 0 12410 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 52216

[startup+642.3 s]

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

/proc/meminfo: memFree=30638068/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54816 CPUtime=1062.09 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11515 0 0 0 106088 121 0 0 20 0 1 0 283833315 56131584 11285 33554432000 134512640 137138936 4292193136 4292192064 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13704 11285 192 642 0 13060 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 54816

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 9642
/proc/meminfo: memFree=30636796/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54772 CPUtime=1122.08 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11515 0 0 0 112082 126 0 0 20 0 1 0 283833315 56086528 11276 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13693 11276 192 642 0 13049 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 54772

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9642
/proc/meminfo: memFree=30619956/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54716 CPUtime=1182.07 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11515 0 0 0 118075 132 0 0 20 0 1 0 283833315 56029184 11262 33554432000 134512640 137138936 4292193136 4292192064 134542912 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13679 11262 192 642 0 13035 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 54716

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9642
/proc/meminfo: memFree=30620204/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54680 CPUtime=1242.06 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11518 0 0 0 124068 138 0 0 20 0 1 0 283833315 55992320 11239 33554432000 134512640 137138936 4292193136 4292189128 134599780 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13670 11239 192 642 0 13026 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 54680

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 9643
/proc/meminfo: memFree=30584412/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54704 CPUtime=1302.06 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11553 0 0 0 130061 145 0 0 20 0 1 0 283833315 56016896 11259 33554432000 134512640 137138936 4292193136 4292192064 134542519 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13676 11259 192 642 0 13032 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 54704

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9643
/proc/meminfo: memFree=30584660/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=54860 CPUtime=1362.04 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 11620 0 0 0 136053 151 0 0 20 0 1 0 283833315 56176640 11284 33554432000 134512640 137138936 4292193136 4292192064 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 13715 11284 192 642 0 13071 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 54860

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9643
/proc/meminfo: memFree=30581932/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57596 CPUtime=1422.04 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12327 0 0 0 142046 158 0 0 20 0 1 0 283833315 58978304 11969 33554432000 134512640 137138936 4292193136 4292191560 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14399 11969 192 642 0 13755 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 57596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9643
/proc/meminfo: memFree=30581188/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57644 CPUtime=1482.02 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12354 0 0 0 148037 165 0 0 20 0 1 0 283833315 59027456 11994 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14411 11994 192 642 0 13767 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 57644

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9643
/proc/meminfo: memFree=30581064/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57636 CPUtime=1542.01 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12354 0 0 0 154030 171 0 0 20 0 1 0 283833315 59019264 11992 33554432000 134512640 137138936 4292193136 4292192064 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14409 11992 192 642 0 13765 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 57636

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9644
/proc/meminfo: memFree=30581312/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57556 CPUtime=1602.01 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12354 0 0 0 160024 177 0 0 20 0 1 0 283833315 58937344 11972 33554432000 134512640 137138936 4292193136 4292192032 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14389 11972 192 642 0 13745 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 57556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9682
/proc/meminfo: memFree=31184456/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57528 CPUtime=1661.99 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12377 0 0 0 166015 184 0 0 20 0 1 0 283833315 58908672 11965 33554432000 134512640 137138936 4292193136 4292189268 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14382 11965 192 642 0 13738 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 57528

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9685
/proc/meminfo: memFree=31182336/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57524 CPUtime=1721.98 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12377 0 0 0 172007 191 0 0 20 0 1 0 283833315 58904576 11964 33554432000 134512640 137138936 4292193136 4292191884 135984544 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14381 11964 192 642 0 13737 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 57524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9685
/proc/meminfo: memFree=31179420/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57552 CPUtime=1781.97 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 177999 198 0 0 20 0 1 0 283833315 58933248 11959 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14388 11959 192 642 0 13744 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 57552

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

[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1791.58 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 178958 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192252 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 57516

[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1794.78 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 179278 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192064 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 57516

[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1796.38 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 179438 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192032 134542442 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 57516

[startup+1797.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1797.18 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 179518 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192064 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 57516

[startup+1797.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1797.58 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 179558 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192064 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 57516

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9685
/proc/meminfo: memFree=31179048/32873844 swapFree=7112/7112
[pid=9607] ppid=9605 vsize=57516 CPUtime=1797.97 cores=0,2,4,6
/proc/9607/stat : 9607 (bsolo) R 9605 9607 7024 0 -1 4202496 12382 0 0 0 179597 200 0 0 20 0 1 0 283833315 58896384 11959 33554432000 134512640 137138936 4292193136 4292192064 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/9607/statm: 14379 11959 192 642 0 13735 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 57516

Child status: 0
Real time (s): 1798.32
CPU time (s): 1798
CPU user time (s): 1796
CPU system time (s): 2.00469
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 57692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796
system time used= 2.00469
maximum resident set size= 47984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12383
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= 25
involuntary context switches= 2049

runsolver used 4.87126 second user time and 11.3893 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-28 05:51:24
IDJOB=3708482
IDBENCH=48212
IDSOLVER=2286
FILE ID=node142/3708482-1338177084
RUNJOBID= node142-1338150692-7040
PBS_JOBID= 14624520
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 1b4456ec5e57b53956abc30521c99789
RANDOM SEED=1228963269

node142.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		: 2666.776
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	: 5333.55
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		: 2666.776
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		: 2666.776
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	: 5391.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		: 2666.776
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		: 2666.776
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.90
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		: 2666.776
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		: 2666.776
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		: 2666.776
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:        30759700 kB
Buffers:          335956 kB
Cached:           385676 kB
SwapCached:            0 kB
Active:          1046276 kB
Inactive:         245800 kB
Active(anon):     560992 kB
Inactive(anon):    11212 kB
Active(file):     485284 kB
Inactive(file):   234588 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:        576276 kB
Mapped:            12404 kB
Shmem:               200 kB
Slab:             682168 kB
SReclaimable:     124540 kB
SUnreclaim:       557628 kB
KernelStack:        1472 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     692032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71684 MiB
End job on node142 at 2012-05-28 06:21:23