Trace number 3462845

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-13 1798.01 1798.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
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-14
Best CPU time to get the best result obtained on this benchmark293.497
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
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)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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-3462845-1307184013.opb
0.00/0.00	c File size is 16255 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: 1312 Constr: 2576 1262/102/1212 Lit: 8784 Watch. Lit: 7474
0.00/0.00	c Obj. Vars: 50 (3.81098 % of total variables)
0.19/0.24	c Pre-processing Time: 0.245 s
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   1312     2576     8784    3     7474   14303      0      0 0.24
0.19/0.24	c Switching off lower bounding mode.
0.19/0.24	o -1
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   1312     2577     8834    3     7477   14336      1      0 0.25
0.19/0.25	o -2
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        1   1312     2580     8984    3     7486   14353      4      4 0.25
0.19/0.25	o -3
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        2   1312     2583     9155    3     7497   14369      7      8 0.25
0.19/0.25	o -4
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        4   1312     2587     9319    3     7512   14386     11     16 0.25
0.19/0.25	o -5
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        8   1312     2593     9627    3     7533   14403     17     31 0.25
0.19/0.25	o -6
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c       17   1312     2604     9958    3     7566   14419     28     67 0.25
0.19/0.25	o -7
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c       38   1312     2627    10852    4     7625   14436     51    148 0.26
0.19/0.26	o -8
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c       54   1312     2645    11644    4     7676   14453     69    208 0.26
0.19/0.26	o -9
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c       68   1312     2661    12257    4     7725   14469     85    260 0.26
0.19/0.26	o -10
2.49/2.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.53	c      112   1312     2708    13649    5     7838   14486    132    421 0.27
2.49/2.53	c      212   1312     2811    15939    5     8054   15935    235    757 0.28
2.49/2.53	c      462   1312     3083    25926    8     8602   17529    507   1500 0.31
2.49/2.53	c      937   1312     3591    49159   13     9641   19282   1015   2472 0.38
2.49/2.53	c     1750   1312     4492    95255   21    11451   21211   1916   3365 0.52
2.49/2.53	c     3070   1312     5932   170877   28    14435   23333   3356   3951 0.78
2.49/2.53	c     5152   1312     8239   297488   36    19092   25667   5663   4101 1.26
2.49/2.53	c     8375   1312    11805   493342   41    26261   28234   9229   3845 2.18
2.49/2.53	o -11
40.69/40.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.69/40.74	c     9419   1312    12998   556233   42    28708   14503  10422   3718 2.53
40.69/40.74	c     9519   1312    13110   561531   42    28943   15954  10534   3712 2.56
40.69/40.74	c     9769   1312    13383   574683   42    29489   17550  10807   3698 2.64
40.69/40.74	c    10244   1312    13903   600270   43    30577   19306  11327   3675 2.79
40.69/40.74	c    11057   1312    14788   646407   43    32400   21237  12212   3578 3.09
40.69/40.74	c    12378   1312    16216   714920   44    35256   23361  13640   3473 3.56
40.69/40.74	c    14459   1312    18488   832022   45    39893   25698  15912   3329 4.34
40.69/40.74	c    17682   1312    22036  1027197   46    47047   28268  19460   3092 5.72
40.69/40.74	c    22619   1312    27435  1307845   47    57975   31095  24859   2729 8.29
40.69/40.74	c    30125   1312    16153   721787   44    37055   34205  13577   2025 14.88
40.69/40.74	c    41487   1312    28929  1437073   49    62994   37626  26353   2015 20.58
40.69/40.74	c    58631   1312    22666  1145499   50    48372   41389  20090   1627 36.04
40.69/40.74	o -12
1205.28/1205.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1205.28/1205.58	c    66369   1312    31358  1628248   51    66097   14520  28782   1629 40.74
1205.28/1205.58	c    66469   1312     9952   389473   39    22475   15973   7376   1590 41.79
1205.28/1205.58	c    66719   1312    10225   403835   39    23085   17571   7649   1594 41.85
1205.28/1205.58	c    67194   1312    10761   433379   40    24159   19329   8185   1600 41.98
1205.28/1205.58	c    68007   1312    11659   484507   41    26040   21262   9083   1610 42.23
1205.28/1205.58	c    69327   1312    13089   556228   42    28931   23389  10513   1624 42.67
1205.28/1205.58	c    71408   1312    15354   676391   44    33505   25728  12778   1646 43.36
1205.28/1205.58	c    74632   1312    18907   870094   46    40751   28301  16331   1669 44.72
1205.28/1205.58	c    79568   1312    24323  1156065   47    51692   31132  21747   1688 47.12
1205.28/1205.58	c    87075   1312    32611  1605165   49    68507   34246  30035   1687 51.60
1205.28/1205.58	c    98436   1312    22845  1058239   46    48459   37671  20269   1646 59.79
1205.28/1205.58	c   115580   1312    17024   767880   45    36707   41439  14448   1573 73.45
1205.28/1205.58	c   141399   1312    16744   720312   43    36106   45583  14168   1520 92.97
1205.28/1205.58	c   180231   1312    26926  1287652   47    56841   50142  24350   1517 118.80
1205.28/1205.58	c   238583   1312    16596   733219   44    35865   55157  14020   1410 169.21
1205.28/1205.58	c   326215   1312    30221  1513371   50    63471   60673  27645   1353 240.96
1205.28/1205.58	c   457767   1312    34021  1774458   52    71225   66741  31445   1252 365.52
1205.28/1205.58	c   655199   1312    39727  2070980   52    82645   73416  37151   1138 575.53
1205.28/1205.58	c   951451   1312    70615  4027565   57   146060   80758  68039   1028 925.29
1205.28/1205.58	o -13
1797.93/1798.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.57	c  1166529   1312    42205  2338613   55    88295   14536  39629    967 1205.37
1797.93/1798.57	c  1166629   1312     9953   444174   44    22489   15990   7377    965 1208.46
1797.93/1798.57	c  1166879   1312    10213   454290   44    23042   17590   7637    965 1208.53
1797.93/1798.57	c  1167354   1312    10715   474379   44    24081   19350   8139    965 1208.63
1797.93/1798.57	c  1168168   1312    11590   513907   44    25838   21286   9014    966 1208.81
1797.93/1798.57	c  1169488   1312    13004   576247   44    28701   23415  10428    967 1209.12
1797.93/1798.57	c  1171569   1312    15255   677097   44    33284   25757  12679    968 1209.71
1797.93/1798.57	c  1174793   1312    18815   848760   45    40580   28333  16239    970 1210.78
1797.93/1798.57	c  1179729   1312    24210  1112662   45    51494   31167  21634    972 1212.71
1797.93/1798.57	c  1187236   1312    32435  1502067   46    68304   34284  29859    975 1216.52
1797.93/1798.57	c  1198599   1312    22465   941727   41    48099   37713  19889    979 1223.50
1797.93/1798.57	c  1215743   1312    15897   656295   41    34518   41485  13321    983 1236.23
1797.93/1798.57	c  1241564   1312    15561   614027   39    33630   45634  12985    989 1254.38
1797.93/1798.57	c  1280396   1312    25196  1106903   43    53179   50198  22620   1001 1278.11
1797.93/1798.57	c  1338749   1312    52416  2471790   47   108283   55218  49840   1008 1327.51
1797.93/1798.57	c  1426381   1312    21487   955522   44    47032   60740  18911   1011 1409.78
1797.93/1798.57	c  1557934   1312    22889  1045640   45    48496   66815  20313   1011 1539.85
1797.93/1798.57	c  1755367   1312    26113  1204736   46    58310   73497  23537   1002 1750.82
1797.93/1798.57	c Resources Exceeded
1797.93/1798.57	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 -x76 -x66 -x61 x73 x77 -x83 -x71 x100 -x74 x82 -x56 x60 x67 -x85 -x88 -x95 x51 x99 -x79 -x87 -x65 -x80 x55 -x63 -x68 -x98 -x52 -x84 -x97 -x78 -x59 -x58 x89 -x93 x94 -x53 -x62 -x91 x72 -x64 -x86 -x57 -x81 -x96 -x54 x90 -x69 -x70 -x75 -x92 
1797.93/1798.57	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.57	c   66  1793345 230702  2103284    68319  3386865  65743    997 1798.00
1797.93/1798.57	c Objective: -13
1797.93/1798.57	s SATISFIABLE
1797.93/1798.57	c Total time: 1798 s

Verifier Data 

OK	-13

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 5830
/proc/meminfo: memFree=15068748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=11340 CPUtime=0 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 444 0 0 0 0 0 0 0 25 0 1 0 829999985 11612160 394 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 2835 394 185 642 0 2191 0

[startup+0.114524 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 5830
/proc/meminfo: memFree=15068748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=11340 CPUtime=0.11 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 444 0 0 0 11 0 0 0 25 0 1 0 829999985 11612160 394 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 2835 394 185 642 0 2191 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 11340

[startup+0.200517 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 5830
/proc/meminfo: memFree=15068748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=11340 CPUtime=0.19 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 444 0 0 0 19 0 0 0 25 0 1 0 829999985 11612160 394 33554432000 134512640 137138936 4287779584 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 2835 394 185 642 0 2191 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11340

[startup+0.300489 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 5830
/proc/meminfo: memFree=15068748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=11600 CPUtime=0.29 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 512 0 0 0 29 0 0 0 25 0 1 0 829999985 11878400 462 33554432000 134512640 137138936 4287779584 18446744073709551615 136505187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 2900 462 192 642 0 2256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11600

[startup+0.700423 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 5830
/proc/meminfo: memFree=15068748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=13572 CPUtime=0.69 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 1001 0 0 0 69 0 0 0 25 0 1 0 829999985 13897728 951 33554432000 134512640 137138936 4287779584 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 3393 951 192 642 0 2749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13572

[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5831
/proc/meminfo: memFree=15063036/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=16636 CPUtime=1.49 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 1764 0 0 0 148 1 0 0 25 0 1 0 829999985 17035264 1714 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 4159 1714 192 642 0 3515 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16636

[startup+3.10099 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5831
/proc/meminfo: memFree=15058200/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=21012 CPUtime=3.09 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 2861 0 0 0 307 2 0 0 25 0 1 0 829999985 21516288 2811 33554432000 134512640 137138936 4287779584 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 5253 2811 192 642 0 4609 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21012

[startup+6.30047 s]
/proc/loadavg: 2.16 2.05 2.01 3/531 5833
/proc/meminfo: memFree=15050748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=27612 CPUtime=6.29 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 4505 0 0 0 626 3 0 0 25 0 1 0 829999985 28274688 4455 33554432000 134512640 137138936 4287779584 18446744073709551615 134542472 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 6903 4455 192 642 0 6259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27612

[startup+12.7004 s]
/proc/loadavg: 2.15 2.05 2.01 3/531 5833
/proc/meminfo: memFree=15040376/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=36616 CPUtime=12.69 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 6753 0 0 0 1265 4 0 0 25 0 1 0 829999985 37494784 6703 33554432000 134512640 137138936 4287779584 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 9154 6703 192 642 0 8510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36616

[startup+25.5012 s]
/proc/loadavg: 2.11 2.05 2.01 3/531 5833
/proc/meminfo: memFree=15038276/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=38476 CPUtime=25.49 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 7228 0 0 0 2543 6 0 0 25 0 1 0 829999985 39399424 7178 33554432000 134512640 137138936 4287779584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 9619 7178 192 642 0 8975 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38476

[startup+51.1008 s]
/proc/loadavg: 2.14 2.06 2.01 3/531 5833
/proc/meminfo: memFree=15023624/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=43580 CPUtime=51.09 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 8529 0 0 0 5099 10 0 0 25 0 1 0 829999985 44625920 8441 33554432000 134512640 137138936 4287779584 18446744073709551615 134576446 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5830/statm: 10895 8441 192 642 0 10251 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43580

[startup+102.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/531 5835
/proc/meminfo: memFree=15020884/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=45588 CPUtime=102.27 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 9075 0 0 0 10211 16 0 0 25 0 1 0 829999985 46682112 8945 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 11397 8945 192 642 0 10753 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45588

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/531 5837
/proc/meminfo: memFree=15014300/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=51588 CPUtime=162.25 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 10697 0 0 0 16201 24 0 0 25 0 1 0 829999985 52826112 10470 33554432000 134512640 137138936 4287779584 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 12897 10470 192 642 0 12253 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 51588

[startup+222.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5837
/proc/meminfo: memFree=15009324/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=56440 CPUtime=222.26 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 11960 0 0 0 22193 33 0 0 25 0 1 0 829999985 57794560 11678 33554432000 134512640 137138936 4287779584 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 14110 11678 192 642 0 13466 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 56440

[startup+282.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/531 5839
/proc/meminfo: memFree=15004848/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=61260 CPUtime=282.23 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 13266 0 0 0 28184 39 0 0 25 0 1 0 829999985 62730240 12867 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 15315 12867 192 642 0 14671 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 61260

[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/531 5841
/proc/meminfo: memFree=15002976/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=63036 CPUtime=342.22 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 13704 0 0 0 34176 46 0 0 25 0 1 0 829999985 64548864 13305 33554432000 134512640 137138936 4287779584 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 15759 13305 192 642 0 15115 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 63036

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/531 5843
/proc/meminfo: memFree=14999864/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=66392 CPUtime=402.21 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 14558 0 0 0 40169 52 0 0 25 0 1 0 829999985 67985408 14159 33554432000 134512640 137138936 4287779584 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 16598 14159 192 642 0 15954 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 66392

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5845
/proc/meminfo: memFree=14998992/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=67664 CPUtime=462.21 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 14928 0 0 0 46163 58 0 0 25 0 1 0 829999985 69287936 14462 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 16916 14462 192 642 0 16272 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 67664

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5845
/proc/meminfo: memFree=14998856/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=67664 CPUtime=522.2 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 14928 0 0 0 52157 63 0 0 25 0 1 0 829999985 69287936 14462 33554432000 134512640 137138936 4287779584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 16916 14462 192 642 0 16272 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 67664

[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/531 5847
/proc/meminfo: memFree=14998976/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=67664 CPUtime=582.19 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 14928 0 0 0 58151 68 0 0 25 0 1 0 829999985 69287936 14462 33554432000 134512640 137138936 4287779584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 16916 14462 192 642 0 16272 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 67664

[startup+642.301 s]

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

/proc/meminfo: memFree=14943588/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82356 CPUtime=1122.09 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18754 0 0 0 112097 112 0 0 25 0 1 0 829999985 84332544 18135 33554432000 134512640 137138936 4287779584 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 20589 18135 192 642 0 19945 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 82356

[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 5863
/proc/meminfo: memFree=14942588/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1182.08 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 118093 115 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 82668

[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/531 5865
/proc/meminfo: memFree=14941840/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1242.07 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 124084 123 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136504147 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 82668

[startup+1302.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/531 5876
/proc/meminfo: memFree=14941772/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1302.04 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 130073 131 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 82668

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5878
/proc/meminfo: memFree=14941396/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1362.04 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 136066 138 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 82668

[startup+1422.3 s]
/proc/loadavg: 2.36 2.10 2.02 3/531 5911
/proc/meminfo: memFree=15148372/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1421.73 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 142026 147 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 82668

[startup+1482.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/531 5947
/proc/meminfo: memFree=15152332/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1481.71 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 148019 152 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 82668

[startup+1542.32 s]
/proc/loadavg: 2.07 2.09 2.02 3/531 5949
/proc/meminfo: memFree=15147920/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1541.73 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 154014 159 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 82668

[startup+1602.3 s]
/proc/loadavg: 2.18 2.10 2.03 3/531 5955
/proc/meminfo: memFree=15139712/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1601.71 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 160007 164 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136504105 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 82668

[startup+1662.3 s]
/proc/loadavg: 2.30 2.13 2.04 3/527 6497
/proc/meminfo: memFree=15156792/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1661.72 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 166001 171 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 82668

[startup+1722.3 s]
/proc/loadavg: 2.26 2.14 2.04 3/531 6589
/proc/meminfo: memFree=15082664/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1721.72 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 171997 175 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 82668

[startup+1782.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15039760/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1781.72 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 177993 179 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 82668

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

[startup+1792.02 s]
/proc/loadavg: 2.13 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040872/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1791.44 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 178964 180 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 82668

[startup+1795.2 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040872/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1794.62 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179282 180 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 82668

[startup+1796.8 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040748/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1796.22 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179442 180 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134533448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 82668

[startup+1797.6 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040252/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1797.02 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179522 180 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 82668

[startup+1798 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040252/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1797.42 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179562 180 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 82668

[startup+1798.4 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040252/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1797.83 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179602 181 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 82668

[startup+1798.5 s]
/proc/loadavg: 2.12 2.12 2.04 3/531 6591
/proc/meminfo: memFree=15040864/32951132 swapFree=46579808/67111528
[pid=5830] ppid=5828 vsize=82668 CPUtime=1797.93 cores=0,2,4,6
/proc/5830/stat : 5830 (bsolo) R 5828 5830 4029 0 -1 4202496 18832 0 0 0 179612 181 0 0 25 0 1 0 829999985 84652032 18213 33554432000 134512640 137138936 4287779584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5830/statm: 20667 18213 192 642 0 20023 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 82668

Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.01
CPU user time (s): 1796.19
CPU system time (s): 1.81572
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 82668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 1.81572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18833
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= 4
involuntary context switches= 3225

runsolver used 10.0815 second user time and 21.0168 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 12:40:13
IDJOB=3462845
IDBENCH=48261
IDSOLVER=1955
FILE ID=node128/3462845-1307184013
RUNJOBID= node128-1307174881-4950
PBS_JOBID= 13508827
Free space on /tmp= 73916 MiB

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

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

MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24
RANDOM SEED=2041649514

node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15068904 kB
Buffers:        330904 kB
Cached:        3484644 kB
SwapCached:      35620 kB
Active:        9192556 kB
Inactive:      8374036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15068904 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:    13725084 kB
Mapped:          18516 kB
Slab:           133868 kB
PageTables:     112872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174969924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node128 at 2011-06-04 13:10:12