Trace number 3732417

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)146 1800.02 1802.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUMd9e9e5fece70ebbc4c28befed36e7afc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark5.85411
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 360
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 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-3732417-1338689857.opb
0.00/0.00	c File size is 28467 bytes.
0.00/0.00	c Highest Coefficient sum: 360
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 360 Constr: 980 980/0/0 Lit: 2412 Watch. Lit: 1960
0.00/0.00	c Obj. Vars: 360 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.006 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    360      974     2364    2     1948     324      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 156	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        7    360      982     2767    2     2168    1324      8   1166 0.01
0.00/0.01	o 155	0.006
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        9    360      985     3147    3     2379    1324     11   1500 0.01
0.09/0.17	c      110    360     1086    18890   17     2581    1457    112   7857 0.01
0.09/0.17	c      360    360     1336    58768   43     3081    1603    362  10000 0.04
0.09/0.17	c      836    360     1812   135592   74     4033    1764    838   9500 0.09
0.09/0.17	c     1652    360     2628   269666  102     5665    1941   1654   9604 0.17
0.09/0.17	o 154	0.172
0.38/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.42	c     1655    360     2632   270059  102     5879    1324   1658   9622 0.17
0.38/0.42	c     1755    360     1737   127251   73     3680    1457    763   9590 0.18
0.38/0.42	c     2007    360     1989   167690   84     4184    1603   1015  10035 0.20
0.38/0.42	c     2483    360     2465   243047   98     5136    1764   1491  10656 0.23
0.38/0.42	c     3296    360     2060   178417   86     4326    1941   1086  10632 0.31
0.38/0.42	c     4616    360     2081   181409   87     4368    2136   1107  10990 0.42
0.38/0.42	o 152	0.42
0.48/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.57	c     4617    360     2083   181776   87     4580    1324   1109  10966 0.42
0.48/0.57	c     4718    360     2184   197630   90     4782    1457   1210  10997 0.43
0.48/0.57	c     4968    360     1704   119161   69     3616    1603    730  11040 0.45
0.48/0.57	c     5443    360     2179   193706   88     4566    1764   1205  11108 0.49
0.48/0.57	c     6257    360     1857   145168   78     3922    1941    883  10996 0.57
0.48/0.57	o 149	0.57
0.48/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.58	c     6258    360     1859   145535   78     4137    1324    885  10978 0.57
0.48/0.58	c     6359    360     1960   161446   82     4339    1457    986  11020 0.58
0.48/0.58	o 146	0.578
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c     6364    360     1966   161841   82     4565    1324    992  11010 0.58
1800.01/1800.30	c     6465    360     2067   177165   85     4767    1457   1093  11032 0.59
1800.01/1800.30	c     6716    360     2318   215474   92     5269    1603   1344  11064 0.61
1800.01/1800.30	c     7192    360     1777   125717   70     3768    1764    803  10980 0.66
1800.01/1800.30	c     8005    360     2590   249527   96     5394    1941   1616  10980 0.73
1800.01/1800.30	c     9326    360     2642   253799   96     5498    2136   1668  11128 0.84
1800.01/1800.30	c    11408    360     2044   165675   81     4302    2350   1070  10314 1.11
1800.01/1800.30	c    14631    360     2308   204314   88     4830    2586   1334   9372 1.56
1800.01/1800.30	c    19567    360     2471   227904   92     5156    2845   1497   8782 2.23
1800.01/1800.30	c    27073    360     3029   314251  103     6272    3130   2055   8885 3.05
1800.01/1800.30	c    38434    360     3265   341665  104     6744    3444   2291   8780 4.38
1800.01/1800.30	c    55578    360     4182   492178  117     8578    3789   3208   8149 6.82
1800.01/1800.30	c    81397    360     3763   430865  114     7740    4168   2789   7756 10.49
1800.01/1800.30	c   120229    360     4387   523177  119     8988    4585   3413   7476 16.08
1800.01/1800.30	c   178582    360     3269   341790  104     6752    5044   2295   7168 24.91
1800.01/1800.30	c   266214    360     3533   378287  107     7280    5549   2559   6522 40.82
1800.01/1800.30	c   397766    360     5320   671781  126    10854    6104   4346   6300 63.13
1800.01/1800.30	c   595199    360     5527   675590  122    11268    6715   4553   6136 97.00
1800.01/1800.30	c   891452    360     6247   809049  129    12708    7387   5273   5956 149.66
1800.01/1800.30	c  1335935    360     7615   991476  130    15444    8126   6641   5195 257.13
1800.01/1800.30	c  2002762    360     6656   832556  125    13526    8939   5682   5380 372.20
1800.01/1800.30	c  3003108    360     5992   763190  127    12198    9833   5018   4976 603.50
1800.01/1800.30	c  4503730    360     8298  1100463  132    16810   10817   7324   4847 929.14
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	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 -x201 x202 -x203 -x204 x205 -x206 -x207 x208 -x209 x210 -x211 -x212 -x213 x214 -x215 x216 x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 x230 -x231 x232 -x233 x234 -x235 x236 x237 -x238 -x239 x240 -x241 -x242 -x243 x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 x254 -x255 -x256 -x257 x258 -x259 x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 x295 -x296 -x297 x298 -x299 x300 -x301 -x302 -x303 x304 -x305 x306 x307 -x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 x323 -x324 x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 -x346 -x347 x348 -x349 -x350 -x351 x352 x353 -x354 -x355 -x356 -x357 x358 -x359 x360 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c   42  6511357 1836582  9734312     7934  1050507   6960   3617 1800.02
1800.01/1800.30	c Objective: 146
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.02 s

Verifier Data 

OK	146

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-3732417-1338689857/watcher-3732417-1338689857 -o /tmp/evaluation-result-3732417-1338689857/solver-3732417-1338689857 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732417-1338689857.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.00 2.00 2.00 3/176 32733
/proc/meminfo: memFree=28692164/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 335111360 4583424 155 33554432000 134512640 135840783 4293693888 4293693228 5440767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 1119 156 134 325 0 39 0

[startup+0.0735981 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32733
/proc/meminfo: memFree=28692164/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=6232 CPUtime=0.06 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 885 0 0 0 6 0 0 0 20 0 1 0 335111360 6381568 814 33554432000 134512640 135840783 4293693888 4293690816 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 1558 814 350 325 0 494 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6232

[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32733
/proc/meminfo: memFree=28692164/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=6748 CPUtime=0.09 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 1014 0 0 0 9 0 0 0 20 0 1 0 335111360 6909952 943 33554432000 134512640 135840783 4293693888 4293690560 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 1687 943 350 325 0 623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6748

[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32733
/proc/meminfo: memFree=28692164/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=9332 CPUtime=0.28 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 1668 0 0 0 28 0 0 0 20 0 1 0 335111360 9555968 1597 33554432000 134512640 135840783 4293693888 4293693136 13529736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 2333 1597 350 325 0 1269 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9332

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32733
/proc/meminfo: memFree=28692164/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=9720 CPUtime=0.68 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 1763 0 0 0 68 0 0 0 20 0 1 0 335111360 9953280 1692 33554432000 134512640 135840783 4293693888 4293690880 1581809 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 2430 1692 350 325 0 1366 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9720

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32734
/proc/meminfo: memFree=28686808/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=10232 CPUtime=1.48 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 1886 0 0 0 148 0 0 0 20 0 1 0 335111360 10477568 1815 33554432000 134512640 135840783 4293693888 4293693248 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 2558 1815 350 325 0 1494 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10232

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32734
/proc/meminfo: memFree=28685196/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=11276 CPUtime=3.08 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 2159 0 0 0 308 0 0 0 20 0 1 0 335111360 11546624 2088 33554432000 134512640 135840783 4293693888 4293693248 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 2819 2088 350 325 0 1755 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11276

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32734
/proc/meminfo: memFree=28682972/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=12580 CPUtime=6.28 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 2478 0 0 0 628 0 0 0 20 0 1 0 335111360 12881920 2407 33554432000 134512640 135840783 4293693888 4293693248 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 3145 2407 350 325 0 2081 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12580

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32734
/proc/meminfo: memFree=28679940/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=14124 CPUtime=12.68 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 2867 0 0 0 1268 0 0 0 20 0 1 0 335111360 14462976 2796 33554432000 134512640 135840783 4293693888 4293693200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 3531 2796 350 325 0 2467 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14124

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32734
/proc/meminfo: memFree=28678700/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=15360 CPUtime=25.48 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 3184 0 0 0 2548 0 0 0 20 0 1 0 335111360 15728640 3097 33554432000 134512640 135840783 4293693888 4293690864 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 3840 3097 350 325 0 2776 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15360

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32735
/proc/meminfo: memFree=28676840/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=16924 CPUtime=51.07 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 3740 0 0 0 5107 0 0 0 20 0 1 0 335111360 17330176 3506 33554432000 134512640 135840783 4293693888 4293693248 134550791 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 4231 3506 350 325 0 3167 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16924

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32735
/proc/meminfo: memFree=28673980/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=19424 CPUtime=102.27 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 4464 0 0 0 10227 0 0 0 20 0 1 0 335111360 19890176 4114 33554432000 134512640 135840783 4293693888 4293693200 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 4856 4114 350 325 0 3792 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19424

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32738
/proc/meminfo: memFree=28672420/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=20692 CPUtime=162.25 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 4879 0 0 0 16225 0 0 0 20 0 1 0 335111360 21188608 4450 33554432000 134512640 135840783 4293693888 4293693248 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5173 4450 350 325 0 4109 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20692

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 346
/proc/meminfo: memFree=28687820/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=20656 CPUtime=222.24 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 4879 0 0 0 22224 0 0 0 20 0 1 0 335111360 21151744 4441 33554432000 134512640 135840783 4293693888 4293693248 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5164 4441 350 325 0 4100 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20656

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 346
/proc/meminfo: memFree=28685400/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=22220 CPUtime=282.24 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 5334 0 0 0 28223 1 0 0 20 0 1 0 335111360 22753280 4809 33554432000 134512640 135840783 4293693888 4293693248 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5555 4809 350 325 0 4491 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 22220

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 347
/proc/meminfo: memFree=28685276/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=22236 CPUtime=342.23 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 5417 0 0 0 34222 1 0 0 20 0 1 0 335111360 22769664 4836 33554432000 134512640 135840783 4293693888 4293693248 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5559 4836 350 325 0 4495 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 22236

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 347
/proc/meminfo: memFree=28683724/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=23920 CPUtime=402.22 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 5893 0 0 0 40221 1 0 0 20 0 1 0 335111360 24494080 5253 33554432000 134512640 135840783 4293693888 4293693248 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5980 5253 350 325 0 4916 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 23920

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 347
/proc/meminfo: memFree=28683784/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=23964 CPUtime=462.21 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 5955 0 0 0 46220 1 0 0 20 0 1 0 335111360 24539136 5268 33554432000 134512640 135840783 4293693888 4293693248 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5991 5268 350 325 0 4927 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 23964

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 347
/proc/meminfo: memFree=28683784/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=23976 CPUtime=522.2 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 6061 0 0 0 52219 1 0 0 20 0 1 0 335111360 24551424 5271 33554432000 134512640 135840783 4293693888 4293693200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 5994 5271 350 325 0 4930 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23976

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 347
/proc/meminfo: memFree=28683660/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=24100 CPUtime=582.19 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 6168 0 0 0 58218 1 0 0 20 0 1 0 335111360 24678400 5302 33554432000 134512640 135840783 4293693888 4293693248 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6025 5302 350 325 0 4961 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 24100

[startup+642.3 s]

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

/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8066 0 0 0 106210 1 0 0 20 0 1 0 335111360 28442624 6221 33554432000 134512640 135840783 4293693888 4293693248 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6944 6221 350 325 0 5880 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 27776

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 474
/proc/meminfo: memFree=28662796/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27648 CPUtime=1122.1 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8137 0 0 0 112209 1 0 0 20 0 1 0 335111360 28311552 6189 33554432000 134512640 135840783 4293693888 4293691016 134585049 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6912 6189 350 325 0 5848 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 27648

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 474
/proc/meminfo: memFree=28661740/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27716 CPUtime=1182.09 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8240 0 0 0 118208 1 0 0 20 0 1 0 335111360 28381184 6206 33554432000 134512640 135840783 4293693888 4293693248 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6929 6206 350 325 0 5865 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 27716

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 474
/proc/meminfo: memFree=28661244/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27688 CPUtime=1242.08 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8268 0 0 0 124207 1 0 0 20 0 1 0 335111360 28352512 6199 33554432000 134512640 135840783 4293693888 4293693248 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6922 6199 350 325 0 5858 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 27688

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 475
/proc/meminfo: memFree=28660436/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27676 CPUtime=1302.08 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8369 0 0 0 130207 1 0 0 20 0 1 0 335111360 28340224 6196 33554432000 134512640 135840783 4293693888 4293693248 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6919 6196 350 325 0 5855 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 27676

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 478
/proc/meminfo: memFree=28660428/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27648 CPUtime=1362.06 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8465 0 0 0 136205 1 0 0 20 0 1 0 335111360 28311552 6189 33554432000 134512640 135840783 4293693888 4293693184 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6912 6189 350 325 0 5848 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 27648

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 478
/proc/meminfo: memFree=28660188/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27672 CPUtime=1422.06 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8492 0 0 0 142205 1 0 0 20 0 1 0 335111360 28336128 6185 33554432000 134512640 135840783 4293693888 4293693248 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6918 6185 350 325 0 5854 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 27672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 478
/proc/meminfo: memFree=28660248/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27740 CPUtime=1482.04 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8618 0 0 0 148203 1 0 0 20 0 1 0 335111360 28405760 6212 33554432000 134512640 135840783 4293693888 4293693248 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6935 6212 350 325 0 5871 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 27740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 478
/proc/meminfo: memFree=28660248/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27808 CPUtime=1542.03 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8692 0 0 0 154202 1 0 0 20 0 1 0 335111360 28475392 6221 33554432000 134512640 135840783 4293693888 4293693248 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6952 6221 350 325 0 5888 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 27808

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 479
/proc/meminfo: memFree=28660372/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27640 CPUtime=1602.03 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8695 0 0 0 160202 1 0 0 20 0 1 0 335111360 28303360 6187 33554432000 134512640 135840783 4293693888 4293693248 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6910 6187 350 325 0 5846 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 27640

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 479
/proc/meminfo: memFree=28660372/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27884 CPUtime=1662.03 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8836 0 0 0 166201 2 0 0 20 0 1 0 335111360 28553216 6231 33554432000 134512640 135840783 4293693888 4293693184 134571540 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6971 6231 350 325 0 5907 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 27884

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 479
/proc/meminfo: memFree=28660620/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27996 CPUtime=1722.02 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 8969 0 0 0 172200 2 0 0 20 0 1 0 335111360 28667904 6272 33554432000 134512640 135840783 4293693888 4293693248 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6999 6272 350 325 0 5935 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 27996

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 479
/proc/meminfo: memFree=28660124/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27752 CPUtime=1782.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 9044 0 0 0 178199 2 0 0 20 0 1 0 335111360 28418048 6215 33554432000 134512640 135840783 4293693888 4293693248 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6938 6215 350 325 0 5874 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 27752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 479
/proc/meminfo: memFree=28660496/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27668 CPUtime=1800.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) R 32731 32733 31541 0 -1 4202496 9044 0 0 0 179999 2 0 0 20 0 1 0 335111360 28332032 6194 33554432000 134512640 135840783 4293693888 4293693248 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6917 6194 350 325 0 5853 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27668

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -32733

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 480
/proc/meminfo: memFree=28660496/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27668 CPUtime=1800.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) S 32731 32733 31541 0 -1 4202496 9045 0 0 0 179999 2 0 0 20 0 1 0 335111360 28332032 6195 33554432000 134512640 135840783 4293693888 4293691380 14869552 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6917 6195 351 325 0 5853 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27668

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 480
/proc/meminfo: memFree=28660240/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27668 CPUtime=1800.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) S 32731 32733 31541 0 -1 4202496 9045 0 0 0 179999 2 0 0 20 0 1 0 335111360 28332032 6195 33554432000 134512640 135840783 4293693888 4293691380 14869552 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6917 6195 351 325 0 5853 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27668

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 480
/proc/meminfo: memFree=28660240/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27668 CPUtime=1800.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) S 32731 32733 31541 0 -1 4202496 9045 0 0 0 179999 2 0 0 20 0 1 0 335111360 28332032 6195 33554432000 134512640 135840783 4293693888 4293691380 14869552 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6917 6195 351 325 0 5853 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27668

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 480
/proc/meminfo: memFree=28660240/32873844 swapFree=7112/7112
[pid=32733] ppid=32731 vsize=27668 CPUtime=1800.01 cores=1,3,5,7
/proc/32733/stat : 32733 (bsolo3.0.17) S 32731 32733 31541 0 -1 4202496 9045 0 0 0 179999 2 0 0 20 0 1 0 335111360 28332032 6195 33554432000 134512640 135840783 4293693888 4293691380 14869552 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/32733/statm: 6917 6195 351 325 0 5853 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 27668

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.021996
CPU usage (%): 99.873
Max. virtual memory (cumulated for all children) (KiB): 28168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.021996
maximum resident set size= 25276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9045
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= 28
involuntary context switches= 1851

runsolver used 3.04054 second user time and 8.45971 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-03 04:17:37
IDJOB=3732417
IDBENCH=2060
IDSOLVER=2318
FILE ID=node119/3732417-1338689857
RUNJOBID= node119-1338678620-31561
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732417-1338689857/watcher-3732417-1338689857 -o /tmp/evaluation-result-3732417-1338689857/solver-3732417-1338689857 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732417-1338689857.opb            

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

MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc
RANDOM SEED=918033277

node119.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.943
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.88
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.943
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.943
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.93
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.943
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.943
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.93
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.943
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.943
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.943
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:        28693164 kB
Buffers:          391332 kB
Cached:          2944976 kB
SwapCached:         1936 kB
Active:          1469608 kB
Inactive:        1890828 kB
Active(anon):      17704 kB
Inactive(anon):     8460 kB
Active(file):    1451904 kB
Inactive(file):  1882368 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              6632 kB
Writeback:             0 kB
AnonPages:         29364 kB
Mapped:            13448 kB
Shmem:                 0 kB
Slab:             681676 kB
SReclaimable:     123872 kB
SUnreclaim:       557804 kB
KernelStack:        1456 kB
PageTables:         4080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     144136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 70888 MiB
End job on node119 at 2012-06-03 04:47:39