Trace number 3708473

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-25 1798 1798.28

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
MD5SUMa142d6d7b95394ce9dab5e7d7d075ea6
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark3.14852
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1252
Sum of products size (including duplicates)2504
Number of different products626
Sum of products size1252

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-3708473-1338174856.opb
0.00/0.00	c File size is 15046 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 1352 Constr: 2704 1352/100/1252 Lit: 10016 Watch. Lit: 7512
0.00/0.00	c Obj. Vars: 100 (7.39645 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      626     1878    3     1252     208      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -22
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      627     1978    3     1276     975      1      0 0.01
0.00/0.01	o -23
14.88/14.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.88/14.92	c        6    100      634     2534    3     1313    1008      8    750 0.01
14.88/14.92	c      107    100      735     9954   13     1515    1109    109   5631 0.02
14.88/14.92	c      357    100      985    28334   28     2015    1220    359   7760 0.05
14.88/14.92	c      833    100     1461    63310   43     2967    1343    835   7933 0.10
14.88/14.92	c     1647    100     2281   123368   54     4607    1478   1655   7918 0.21
14.88/14.92	c     2967    100     1530    67695   44     3083    1626    904   6852 0.43
14.88/14.92	c     5048    100     1489    64409   43     3001    1789    863   6730 0.75
14.88/14.92	c     8272    100     2512   139979   55     5047    1968   1886   6392 1.29
14.88/14.92	c    13209    100     2846   163958   57     5715    2165   2220   6532 2.02
14.88/14.92	c    20715    100     3146   185531   58     6315    2382   2520   6315 3.28
14.88/14.92	c    32076    100     1982   100048   50     3987    2621   1356   5920 5.42
14.88/14.92	c    49220    100     3395   202065   59     6854    2884   2769   5709 8.62
14.88/14.92	c    75039    100     4462   280565   62     8947    3173   3836   5498 13.65
14.88/14.92	o -24
166.26/166.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.26/166.38	c    80939    100     4563   287619   63     9173    1041   3937   5424 14.92
166.26/166.38	c    81040    100     1249    47166   37     2522    1146    623   5424 14.94
166.26/166.38	c    81290    100     1501    65418   43     3026    1261    875   5429 14.97
166.26/166.38	c    81766    100     1977    99805   50     3978    1388   1351   5442 15.02
166.26/166.38	c    82579    100     2792   158767   56     5608    1527   2166   5457 15.13
166.26/166.38	c    83900    100     2026   102692   50     4076    1680   1400   5476 15.32
166.26/166.38	c    85981    100     1946    97310   50     3916    1849   1320   5499 15.63
166.26/166.38	c    89205    100     2938   167432   56     5921    2034   2312   5526 16.14
166.26/166.38	c    94141    100     3193   185696   58     6432    2238   2567   5554 16.95
166.26/166.38	c   101647    100     3390   198989   58     6826    2462   2764   5536 18.36
166.26/166.38	c   113009    100     2042   103855   50     4108    2709   1416   5505 20.53
166.26/166.38	c   130153    100     3176   181142   57     6396    2980   2550   5508 23.63
166.26/166.38	c   155973    100     3796   229141   60     7616    3279   3170   5358 29.11
166.26/166.38	c   194805    100     4312   265761   61     8669    3607   3686   5301 36.75
166.26/166.38	c   253157    100     3552   212002   59     7128    3968   2926   5187 48.80
166.26/166.38	c   340789    100     5559   356796   64    11142    4365   4933   5103 66.78
166.26/166.38	c   472342    100     4414   274004   62     8852    4802   3788   5011 94.26
166.26/166.38	c   669775    100     5428   342105   63    10901    5283   4802   4749 141.02
166.26/166.38	o -25
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c   771871    100     4863   306775   63     9796    1075   4237   4640 166.35
1797.91/1798.28	c   771971    100     1265    46840   37     2555    1183    639   4640 166.37
1797.91/1798.28	c   772222    100     1516    64813   42     3057    1302    890   4640 166.40
1797.91/1798.28	c   772697    100     1992    98626   49     4009    1433   1366   4642 166.45
1797.91/1798.28	c   773510    100     2806   156620   55     5637    1577   2180   4644 166.56
1797.91/1798.28	c   774830    100     2028   100910   49     4081    1735   1402   4647 166.74
1797.91/1798.28	c   776911    100     1919    92845   48     3863    1909   1293   4651 167.03
1797.91/1798.28	c   780134    100     2868   161310   56     5761    2100   2242   4657 167.49
1797.91/1798.28	c   785071    100     3069   175443   57     6163    2311   2443   4666 168.24
1797.91/1798.28	c   792577    100     3170   180616   56     6388    2543   2544   4673 169.58
1797.91/1798.28	c   803939    100     4189   255387   60     8403    2798   3563   4685 171.58
1797.91/1798.28	c   821083    100     2334   122531   52     4693    3078   1708   4697 174.78
1797.91/1798.28	c   846903    100     2480   130122   52     5006    3386   1854   4720 179.41
1797.91/1798.28	c   885738    100     5257   329720   62    10539    3725   4631   4737 186.98
1797.91/1798.28	c   944092    100     3364   196106   58     6753    4098   2738   4750 198.75
1797.91/1798.28	c  1031725    100     3689   218731   59     7403    4508   3063   4763 216.57
1797.91/1798.28	c  1163277    100     3473   203463   58     6971    4959   2847   4772 243.77
1797.91/1798.28	c  1360709    100     4215   255973   60     8455    5455   3589   4668 291.48
1797.91/1798.28	c  1656961    100     6105   384357   62    12292    6001   5479   4637 357.32
1797.91/1798.28	c  2101443    100     7536   492610   65    15097    6602   6910   4526 464.29
1797.91/1798.28	c  2768271    100     7075   459109   64    14175    7263   6449   4364 634.20
1797.91/1798.28	c  3768616    100     6801   440025   64    13627    7990   6175   4224 892.10
1797.91/1798.28	c  5269238    100     9706   645795   66    19437    8790   9080   4040 1304.13
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	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 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c   55  6994732 476341  7564385     5098   289668   4472   3890 1798.00
1797.91/1798.28	c Objective: -25
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data 

OK	-25

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-3708473-1338174856/watcher-3708473-1338174856 -o /tmp/evaluation-result-3708473-1338174856/solver-3708473-1338174856 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708473-1338174856.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: 1.99 2.00 2.00 2/176 25855
/proc/meminfo: memFree=27151448/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=11336 CPUtime=0 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 283614222 11608064 398 33554432000 134512640 137138936 4293588208 4293570684 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 2834 398 185 642 0 2190 0

[startup+0.0888499 s]
/proc/loadavg: 1.99 2.00 2.00 2/176 25855
/proc/meminfo: memFree=27151448/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=11912 CPUtime=0.08 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 588 0 0 0 8 0 0 0 20 0 1 0 283614222 12197888 537 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 2978 537 192 642 0 2334 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11912

[startup+0.100258 s]
/proc/loadavg: 1.99 2.00 2.00 2/176 25855
/proc/meminfo: memFree=27151448/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=12028 CPUtime=0.09 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 608 0 0 0 9 0 0 0 20 0 1 0 283614222 12316672 557 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3007 557 192 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028

[startup+0.300224 s]
/proc/loadavg: 1.99 2.00 2.00 2/176 25855
/proc/meminfo: memFree=27151448/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=13312 CPUtime=0.29 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 941 0 0 0 29 0 0 0 20 0 1 0 283614222 13631488 890 33554432000 134512640 137138936 4293588208 4293587136 134542330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3328 890 192 642 0 2684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13312

[startup+0.700225 s]
/proc/loadavg: 1.99 2.00 2.00 2/176 25855
/proc/meminfo: memFree=27151448/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=13912 CPUtime=0.69 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1097 0 0 0 69 0 0 0 20 0 1 0 283614222 14245888 1046 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3478 1046 192 642 0 2834 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13912

[startup+1.50022 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27147712/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=14492 CPUtime=1.49 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1225 0 0 0 148 1 0 0 20 0 1 0 283614222 14839808 1174 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3623 1174 192 642 0 2979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14492

[startup+3.10022 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27146968/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=14616 CPUtime=3.09 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1275 0 0 0 307 2 0 0 20 0 1 0 283614222 14966784 1224 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3654 1224 192 642 0 3010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14616

[startup+6.30023 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27146596/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=15084 CPUtime=6.29 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1391 0 0 0 626 3 0 0 20 0 1 0 283614222 15446016 1340 33554432000 134512640 137138936 4293588208 4293587136 134542149 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3771 1340 192 642 0 3127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15084

[startup+12.7002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27145380/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=15428 CPUtime=12.68 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1462 0 0 0 1264 4 0 0 20 0 1 0 283614222 15798272 1411 33554432000 134512640 137138936 4293588208 4293587136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3857 1411 192 642 0 3213 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15428

[startup+25.5002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27145564/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=15436 CPUtime=25.49 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1536 0 0 0 2541 8 0 0 20 0 1 0 283614222 15806464 1434 33554432000 134512640 137138936 4293588208 4293587136 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 3859 1434 192 642 0 3215 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15436

[startup+51.1002 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27144944/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=16464 CPUtime=51.08 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1783 0 0 0 5094 14 0 0 20 0 1 0 283614222 16859136 1681 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4116 1681 192 642 0 3472 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16464

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25856
/proc/meminfo: memFree=27143268/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=17372 CPUtime=102.28 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 1999 0 0 0 10200 28 0 0 20 0 1 0 283614222 17788928 1896 33554432000 134512640 137138936 4293588208 4293587136 134543241 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4343 1896 192 642 0 3699 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17372

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25857
/proc/meminfo: memFree=27142896/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=17832 CPUtime=162.26 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2127 0 0 0 16183 43 0 0 20 0 1 0 283614222 18259968 2024 33554432000 134512640 137138936 4293588208 4293587136 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4458 2024 192 642 0 3814 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17832

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25857
/proc/meminfo: memFree=27142832/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=17480 CPUtime=222.25 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2128 0 0 0 22165 60 0 0 20 0 1 0 283614222 17899520 1945 33554432000 134512640 137138936 4293588208 4293587136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4370 1945 192 642 0 3726 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17480

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25857
/proc/meminfo: memFree=27141964/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=17400 CPUtime=282.24 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2128 0 0 0 28147 77 0 0 20 0 1 0 283614222 17817600 1925 33554432000 134512640 137138936 4293588208 4293585336 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4350 1925 192 642 0 3706 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 17400

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25857
/proc/meminfo: memFree=27142024/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=17948 CPUtime=342.23 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2250 0 0 0 34128 95 0 0 20 0 1 0 283614222 18378752 2046 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4487 2046 192 642 0 3843 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 17948

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 25860
/proc/meminfo: memFree=27141396/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=18500 CPUtime=402.23 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2389 0 0 0 40111 112 0 0 20 0 1 0 283614222 18944000 2185 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4625 2185 192 642 0 3981 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 18500

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 25861
/proc/meminfo: memFree=27141712/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=18500 CPUtime=462.21 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2389 0 0 0 46093 128 0 0 20 0 1 0 283614222 18944000 2185 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4625 2185 192 642 0 3981 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 18500

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25861
/proc/meminfo: memFree=27140472/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=19096 CPUtime=522.2 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2543 0 0 0 52078 142 0 0 20 0 1 0 283614222 19554304 2339 33554432000 134512640 137138936 4293588208 4293587136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4774 2339 192 642 0 4130 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 19096

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25861
/proc/meminfo: memFree=27140532/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=19096 CPUtime=582.19 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2544 0 0 0 58064 155 0 0 20 0 1 0 283614222 19554304 2340 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 4774 2340 192 642 0 4130 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 19096

[startup+642.3 s]

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

/proc/meminfo: memFree=27138856/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=20504 CPUtime=1122.11 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2910 0 0 0 111930 281 0 0 20 0 1 0 283614222 20996096 2701 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5126 2701 192 642 0 4482 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 20504

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27138980/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=20504 CPUtime=1182.11 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2910 0 0 0 117917 294 0 0 20 0 1 0 283614222 20996096 2701 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5126 2701 192 642 0 4482 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 20504

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27139104/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=20504 CPUtime=1242.1 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2910 0 0 0 123902 308 0 0 20 0 1 0 283614222 20996096 2701 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5126 2701 192 642 0 4482 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 20504

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25867
/proc/meminfo: memFree=27139228/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=20560 CPUtime=1302.09 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 2911 0 0 0 129887 322 0 0 20 0 1 0 283614222 21053440 2702 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5140 2702 192 642 0 4496 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 20560

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25868
/proc/meminfo: memFree=27137988/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21356 CPUtime=1362.08 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3109 0 0 0 135876 332 0 0 20 0 1 0 283614222 21868544 2900 33554432000 134512640 137138936 4293588208 4293587136 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5339 2900 192 642 0 4695 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 21356

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26845028/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21356 CPUtime=1422.07 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 141862 345 0 0 20 0 1 0 283614222 21868544 2902 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5339 2902 192 642 0 4695 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 21356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26603504/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21328 CPUtime=1482.06 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 147849 357 0 0 20 0 1 0 283614222 21839872 2902 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5332 2902 192 642 0 4688 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 21328

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25944
/proc/meminfo: memFree=26571416/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21324 CPUtime=1542.05 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 153834 371 0 0 20 0 1 0 283614222 21835776 2902 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5331 2902 192 642 0 4687 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 21324

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25947
/proc/meminfo: memFree=26571188/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21260 CPUtime=1602.04 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 159821 383 0 0 20 0 1 0 283614222 21770240 2890 33554432000 134512640 137138936 4293588208 4293587136 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5315 2890 192 642 0 4671 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 21260

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25948
/proc/meminfo: memFree=26571348/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1662.03 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 165806 397 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 21220

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25948
/proc/meminfo: memFree=26550916/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1722.02 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 171792 410 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 21220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25948
/proc/meminfo: memFree=26549604/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1782.01 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 177779 422 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 21220

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26537940/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1791.62 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 178737 425 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 21220

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1794.81 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179056 425 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 21220

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1796.41 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179215 426 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587324 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 21220

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1797.21 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179295 426 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587136 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 21220

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1797.61 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179335 426 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293586940 136520912 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 21220

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1797.81 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179355 426 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587136 134542369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 21220

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25949
/proc/meminfo: memFree=26530500/32873844 swapFree=6088/6088
[pid=25855] ppid=25853 vsize=21220 CPUtime=1797.91 cores=1,3,5,7
/proc/25855/stat : 25855 (bsolo) R 25853 25855 24287 0 -1 4202496 3111 0 0 0 179365 426 0 0 20 0 1 0 283614222 21729280 2880 33554432000 134512640 137138936 4293588208 4293587136 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25855/statm: 5305 2880 192 642 0 4661 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 21220

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.74
CPU system time (s): 4.26535
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 21368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 4.26535
maximum resident set size= 11608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3112
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= 8
involuntary context switches= 1850

runsolver used 2.76058 second user time and 7.06693 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 05:14:16
IDJOB=3708473
IDBENCH=48174
IDSOLVER=2286
FILE ID=node108/3708473-1338174856
RUNJOBID= node108-1338158223-24304
PBS_JOBID= 14624538
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6
RANDOM SEED=58600123

node108.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.273
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	: 5332.54
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.273
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.273
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.273
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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5438.55
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.273
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.273
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:        27151968 kB
Buffers:          321264 kB
Cached:          4580572 kB
SwapCached:            0 kB
Active:           673268 kB
Inactive:        4254480 kB
Active(anon):      25224 kB
Inactive(anon):        0 kB
Active(file):     648044 kB
Inactive(file):  4254480 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:         65416 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             656248 kB
SReclaimable:      98516 kB
SUnreclaim:       557732 kB
KernelStack:        1480 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     141952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     45056 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= 71720 MiB
End job on node108 at 2012-05-28 05:44:15