Trace number 3708518

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.2SAT3 1798 1798.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
MD5SUM747af0da1666dabab7e7b60330c37a87
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.112982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
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 constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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-3708518-1338169715.opb
0.00/0.00	c File size is 10541 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044
0.00/0.00	c Obj. Vars: 8 (1.0101 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    792     1180     4960    4     4260    6656      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
259.63/259.78	c      100    792     1365    12741    9     4683    7322    185   5882 0.02
259.63/259.78	c      250    792     1663    31023   18     5363    8055    483   6578 0.04
259.63/259.78	c      475    792     2097    54698   26     6565    8861    917   6690 0.07
259.63/259.78	c      813    792     2708    92789   34     8032    9748   1528   6775 0.12
259.63/259.78	c     1321    792     3711   148103   39    10613   10723   2531   6880 0.19
259.63/259.78	c     2084    792     5175   238861   46    14275   11796   3995   6005 0.35
259.63/259.78	c     3230    792     7347   359671   48    19600   12976   6167   5338 0.60
259.63/259.78	c     4952    792    10661   529858   49    27730   14274   9481   4340 1.14
259.63/259.78	c     7537    792     8425   384681   45    21807   15702   7245   3211 2.35
259.63/259.78	c    11416    792    15865   790187   49    40602   17273  14685   3377 3.38
259.63/259.78	c    17239    792    17902   932043   52    44288   19001  16722   3228 5.34
259.63/259.78	c    25977    792    15392   710677   46    38395   20902  14212   2347 11.06
259.63/259.78	c    39088    792    18315  1085878   59    43431   22993  17135   2142 18.25
259.63/259.78	c    58758    792    19067  1058770   55    44299   25293  17887   2077 28.28
259.63/259.78	c    88269    792    23783  1286225   54    57905   27823  22603   1812 48.71
259.63/259.78	c   132539    792    22503  1240328   55    58104   30606  21323   1859 71.30
259.63/259.78	c   198950    792    22595  1338312   59    55288   33667  21415   1650 120.56
259.63/259.78	c   298570    792    20469  1306225   63    51509   37034  19289   1565 190.66
259.63/259.78	o 33
369.52/369.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
369.52/369.64	c   382442    792    28941  1649435   56    69660    6672  27761   1472 259.73
369.52/369.64	c   382543    792     4710   232809   49    11946    7340   3530   1471 259.88
369.52/369.64	c   382793    792     5194   257963   49    13276    8075   4014   1472 259.92
369.52/369.64	c   383270    792     6120   309078   50    15521    8883   4940   1474 260.01
369.52/369.64	c   384084    792     7670   394090   51    19163    9772   6490   1475 260.22
369.52/369.64	c   385404    792    10235   526680   51    25560   10750   9055   1478 260.66
369.52/369.64	c   387485    772     7998   457034   57    20353   11826   6818   1483 261.27
369.52/369.64	c   390710    772     7998   426020   53    20546   13009   6818   1489 262.28
369.52/369.64	c   395646    772    10259   524740   51    26224   14310   9079   1500 263.60
369.52/369.64	c   403152    772     9179   513221   55    23658   15742   7999   1512 266.59
369.52/369.64	c   414514    772    13508   627984   46    34721   17317  12328   1531 270.65
369.52/369.64	c   431658    772    18279   938577   51    46661   19049  17099   1548 278.69
369.52/369.64	c   457477    772    17253  1009118   58    42860   20954  16073   1559 293.26
369.52/369.64	c   496310    772    13177   776630   58    32921   23050  11997   1571 315.76
369.52/369.64	c   554662    769    15436   749803   48    38730   25356  14256   1571 352.90
369.52/369.64	o 3
1797.89/1798.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.29	c   582874    769    15890   817827   51    39666    6668  14710   1577 369.57
1797.89/1798.29	c   582975    751     4700   207792   44    12262    7335   3520   1577 369.67
1797.89/1798.29	c   583226    751     5166   242702   46    13424    8069   3986   1577 369.73
1797.89/1798.29	c   583702    751     6040   305978   50    15529    8876   4860   1578 369.81
1797.89/1798.29	c   584516    742     7475   399557   53    19124    9764   6295   1579 369.97
1797.89/1798.29	c   585837    742     9861   540551   54    25095   10741   8681   1582 370.29
1797.89/1798.29	c   587920    742     8357   452865   54    22141   11816   7177   1584 370.96
1797.89/1798.29	c   591144    742     8060   385388   47    21971   12998   6880   1589 371.91
1797.89/1798.29	c   596080    742    10228   505016   49    26282   14298   9048   1589 374.95
1797.89/1798.29	c   603586    742     8849   422742   47    22559   15728   7669   1590 379.40
1797.89/1798.29	c   614947    733    12244   633904   51    29830   17301  11064   1592 386.05
1797.89/1798.29	c   632091    733    17081   907269   53    43001   19032  15901   1598 395.48
1797.89/1798.29	c   657910    717    14078   685581   48    36063   20936  12898   1593 412.76
1797.89/1798.29	c   696742    717    11765   684203   58    29788   23030  10585   1593 437.17
1797.89/1798.29	c   755095    717    13549   719014   53    33950   25334  12369   1578 478.47
1797.89/1798.29	c   842728    716    16980   941143   55    42969   27868  15800   1549 543.76
1797.89/1798.29	c   974280    716    20865  1179745   56    51069   30655  19685   1495 651.56
1797.89/1798.29	c  1171712    707    18353  1037548   56    45618   33721  17173   1431 818.27
1797.89/1798.29	c  1467964    706    20392  1035503   50    51125   37094  19212   1355 1083.34
1797.89/1798.29	c  1912446    705    19584   904001   46    49586   40804  18404   1209 1580.68
1797.89/1798.29	c Resources Exceeded
1797.89/1798.29	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 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x153 -x154 x155 x156 x157 -x158 -x159 -x160 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x105 -x106 -x107 x108 x109 x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
1797.89/1798.29	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.29	c   53  2098552  20175  2172687    39120  1837377  37940   1167 1798.00
1797.89/1798.29	c Objective: 3
1797.89/1798.29	s SATISFIABLE
1797.89/1798.29	c Total time: 1798 s

Verifier Data 

OK	3

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.15 2.04 2.01 3/174 603
/proc/meminfo: memFree=28411680/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=11064 CPUtime=0 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 283096976 11329536 312 33554432000 134512640 137138936 4291352448 4291341644 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 2766 312 184 642 0 2122 0

[startup+0.0146781 s]
/proc/loadavg: 2.15 2.04 2.01 3/174 603
/proc/meminfo: memFree=28411680/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=11184 CPUtime=0.01 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 394 0 0 0 1 0 0 0 20 0 1 0 283096976 11452416 344 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 2796 344 192 642 0 2152 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11184

[startup+0.100258 s]
/proc/loadavg: 2.15 2.04 2.01 3/174 603
/proc/meminfo: memFree=28411680/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=12080 CPUtime=0.09 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 641 0 0 0 9 0 0 0 20 0 1 0 283096976 12369920 591 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 3020 591 192 642 0 2376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12080

[startup+0.300228 s]
/proc/loadavg: 2.15 2.04 2.01 3/174 603
/proc/meminfo: memFree=28411680/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=14140 CPUtime=0.29 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 1161 0 0 0 29 0 0 0 20 0 1 0 283096976 14479360 1111 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 3535 1111 192 642 0 2891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14140

[startup+0.700227 s]
/proc/loadavg: 2.15 2.04 2.01 3/174 603
/proc/meminfo: memFree=28411680/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=16832 CPUtime=0.69 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 1823 0 0 0 69 0 0 0 20 0 1 0 283096976 17235968 1773 33554432000 134512640 137138936 4291352448 4291350952 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 4208 1773 192 642 0 3564 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16832

[startup+1.50023 s]
/proc/loadavg: 2.15 2.04 2.01 3/175 604
/proc/meminfo: memFree=28403240/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=20512 CPUtime=1.49 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 2724 0 0 0 148 1 0 0 20 0 1 0 283096976 21004288 2674 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 5128 2674 192 642 0 4484 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20512

[startup+3.10022 s]
/proc/loadavg: 2.14 2.04 2.01 3/175 604
/proc/meminfo: memFree=28399272/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=22812 CPUtime=3.08 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 3324 0 0 0 307 1 0 0 20 0 1 0 283096976 23359488 3274 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 5703 3274 192 642 0 5059 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22812

[startup+6.30025 s]
/proc/loadavg: 2.14 2.04 2.01 3/175 604
/proc/meminfo: memFree=28406280/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=26860 CPUtime=6.29 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 4336 0 0 0 627 2 0 0 20 0 1 0 283096976 27504640 4286 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 6715 4286 192 642 0 6071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26860

[startup+12.7002 s]
/proc/loadavg: 2.12 2.04 2.01 3/175 604
/proc/meminfo: memFree=28389544/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=28484 CPUtime=12.68 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 4736 0 0 0 1266 2 0 0 20 0 1 0 283096976 29167616 4686 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 7121 4686 192 642 0 6477 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28484

[startup+25.5002 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 604
/proc/meminfo: memFree=28387740/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=32092 CPUtime=25.49 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 5640 0 0 0 2545 4 0 0 20 0 1 0 283096976 32862208 5590 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 8023 5590 192 642 0 7379 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32092

[startup+51.1003 s]
/proc/loadavg: 2.13 2.05 2.01 3/175 605
/proc/meminfo: memFree=28384624/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=35348 CPUtime=51.08 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 6462 0 0 0 5101 7 0 0 20 0 1 0 283096976 36196352 6409 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 8837 6409 192 642 0 8193 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35348

[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.01 3/176 608
/proc/meminfo: memFree=28380876/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=39644 CPUtime=102.26 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 7548 0 0 0 10214 12 0 0 20 0 1 0 283096976 40595456 7485 33554432000 134512640 137138936 4291352448 4291351344 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 9911 7485 192 642 0 9267 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39644

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/175 608
/proc/meminfo: memFree=28386456/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=49580 CPUtime=162.25 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10041 0 0 0 16205 20 0 0 20 0 1 0 283096976 50769920 9939 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12395 9939 192 642 0 11751 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49580

[startup+222.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 608
/proc/meminfo: memFree=28358792/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50432 CPUtime=222.24 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10271 0 0 0 22196 28 0 0 20 0 1 0 283096976 51642368 10169 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12608 10169 192 642 0 11964 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50432

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/175 608
/proc/meminfo: memFree=28337268/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50432 CPUtime=282.22 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 28188 34 0 0 20 0 1 0 283096976 51642368 10169 33554432000 134512640 137138936 4291352448 4291351376 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12608 10169 192 642 0 11964 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 50432

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/174 608
/proc/meminfo: memFree=28319628/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=342.21 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 34179 42 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351376 134542823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 50092

[startup+402.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/175 609
/proc/meminfo: memFree=28319372/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=402.21 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 40170 51 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50092

[startup+462.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/175 609
/proc/meminfo: memFree=28315500/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=462.2 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 46163 57 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 50092

[startup+522.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/175 685
/proc/meminfo: memFree=28431092/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=522.19 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 52156 63 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 50092

[startup+582.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/175 685
/proc/meminfo: memFree=28429044/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=582.18 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 58149 69 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351200 134576176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 50092

[startup+642.3 s]

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

/proc/meminfo: memFree=28360904/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50092 CPUtime=1122.1 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10273 0 0 0 112090 120 0 0 20 0 1 0 283096976 51294208 10099 33554432000 134512640 137138936 4291352448 4291351488 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12523 10099 192 642 0 11879 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 50092

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 751
/proc/meminfo: memFree=28356004/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1182.09 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 118083 126 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351376 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 50096

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 751
/proc/meminfo: memFree=28343660/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1242.08 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 124078 130 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351328 136297633 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 50096

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 755
/proc/meminfo: memFree=28329632/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1302.08 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 130074 134 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351128 136505593 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 50096

[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 755
/proc/meminfo: memFree=28329624/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1362.06 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 136068 138 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351376 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 50096

[startup+1422.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 755
/proc/meminfo: memFree=28329624/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1422.06 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 142063 143 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351488 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 50096

[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/175 755
/proc/meminfo: memFree=28329684/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1482.05 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 148058 147 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 50096

[startup+1542.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/175 755
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50096 CPUtime=1542.03 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10274 0 0 0 154052 151 0 0 20 0 1 0 283096976 51298304 10100 33554432000 134512640 137138936 4291352448 4291351372 136296998 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12524 10100 192 642 0 11880 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 50096

[startup+1602.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1602.03 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 160046 157 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 50108

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1662.02 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 166041 161 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 50108

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 756
/proc/meminfo: memFree=28330056/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1722 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 172034 166 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 50108

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329684/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1782 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 178030 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 50108

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329684/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1791.6 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 178990 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 50108

[startup+1795.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1794.8 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179310 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351344 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 50108

[startup+1796.7 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1796.39 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179469 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351564 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 50108

[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1797.19 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179549 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351344 134542442 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 50108

[startup+1797.9 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1797.59 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179589 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 50108

[startup+1798.1 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1797.79 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179609 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 50108

[startup+1798.2 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 756
/proc/meminfo: memFree=28329808/32873852 swapFree=6848/6848
[pid=603] ppid=601 vsize=50108 CPUtime=1797.89 cores=1,3,5,7
/proc/603/stat : 603 (bsolo) R 601 603 31475 0 -1 4202496 10277 0 0 0 179619 170 0 0 20 0 1 0 283096976 51310592 10103 33554432000 134512640 137138936 4291352448 4291351376 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/603/statm: 12527 10103 192 642 0 11883 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 50108

Child status: 0
Real time (s): 1798.3
CPU time (s): 1798
CPU user time (s): 1796.29
CPU system time (s): 1.70874
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 50432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.29
system time used= 1.70874
maximum resident set size= 40676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10278
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= 22
involuntary context switches= 1853

runsolver used 2.85757 second user time and 8.96764 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 03:48:35
IDJOB=3708518
IDBENCH=47985
IDSOLVER=2286
FILE ID=node129/3708518-1338169715
RUNJOBID= node129-1338158686-31492
PBS_JOBID= 14624544
Free space on /tmp= 71192 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708518-1338169715/watcher-3708518-1338169715 -o /tmp/evaluation-result-3708518-1338169715/solver-3708518-1338169715 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708518-1338169715.opb

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

MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87
RANDOM SEED=1530510530

node129.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.957
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.91
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.957
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.957
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		: 2666.957
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.91
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.957
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.957
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.92
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.957
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.90
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.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28427640 kB
Buffers:          385124 kB
Cached:          3138508 kB
SwapCached:            0 kB
Active:          1300456 kB
Inactive:        2287388 kB
Active(anon):      62816 kB
Inactive(anon):     3820 kB
Active(file):    1237640 kB
Inactive(file):  2283568 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:         70676 kB
Mapped:            15512 kB
Shmem:               204 kB
Slab:             720044 kB
SReclaimable:     162516 kB
SUnreclaim:       557528 kB
KernelStack:        1456 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     181680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71188 MiB
End job on node129 at 2012-05-28 04:18:34