Trace number 3708428

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-14 1798 1798.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
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 benchmark214.256
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)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

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-3708428-1338178709.opb
0.00/0.00	c File size is 16355 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: 1320 Constr: 2592 1270/102/1220 Lit: 8840 Watch. Lit: 7522
0.00/0.00	c Obj. Vars: 50 (3.78788 % of total variables)
0.19/0.22	c Pre-processing Time: 0.227 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   1320     2592     8840    3     7522   14413      0      0 0.23
0.19/0.23	c Switching off lower bounding mode.
0.19/0.23	o -1
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   1320     2593     8890    3     7525   14447      1      0 0.23
0.19/0.23	o -2
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        1   1320     2596     9040    3     7534   14463      4      4 0.23
0.19/0.23	o -3
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        2   1320     2599     9212    3     7545   14480      7      8 0.23
0.19/0.23	o -4
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        3   1320     2602     9377    3     7558   14497     10     12 0.23
0.19/0.23	o -5
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        9   1320     2610     9564    3     7583   14513     18     38 0.23
0.19/0.23	o -6
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c       20   1320     2623    10035    3     7620   14530     31     84 0.24
0.19/0.23	o -7
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       30   1320     2635    10567    4     7657   14547     43    126 0.24
0.19/0.24	o -8
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       44   1320     2651    11268    4     7704   14563     59    184 0.24
0.19/0.24	o -9
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       54   1320     2663    11560    4     7745   14580     71    224 0.24
0.19/0.24	o -10
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c       83   1320     2694    11915    4     7826   14597    102    341 0.24
0.29/0.30	c      183   1320     2796    13333    4     8040   16057    204    723 0.25
0.29/0.30	c      436   1320     3054    24421    7     8556   17663    462   1508 0.29
0.29/0.30	o -11
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c      607   1320     3230    29086    9     8944   14613    638   1977 0.31
0.29/0.36	c      707   1320     3335    32802    9     9165   16075    743   2202 0.32
0.29/0.36	c      957   1320     3596    45076   12     9689   17683   1004   2688 0.36
0.29/0.36	o -12
694.45/694.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
694.45/694.61	c      976   1320     3617    46026   12     9743   14630   1025   2711 0.36
694.45/694.61	c     1076   1320     3728    51469   13     9983   16094   1136   2884 0.37
694.45/694.61	c     1326   1320     3996    64525   16    10548   17704   1404   3250 0.41
694.45/694.61	c     1801   1320     4505    86343   19    11633   19475   1913   3767 0.48
694.45/694.61	c     2614   1320     5383   128121   23    13392   21423   2791   4285 0.61
694.45/694.61	c     3934   1320     6812   196264   28    16270   23566   4220   4661 0.84
694.45/694.61	c     6015   1320     9085   307094   33    20848   25923   6493   4789 1.26
694.45/694.61	c     9238   1320    12608   482429   38    27957   28516  10016   4396 2.10
694.45/694.61	c    14174   1320    18114   763916   42    39099   31368  15522   3640 3.89
694.45/694.61	c    21680   1320    26480  1196512   45    56089   34505  23888   2981 7.27
694.45/694.61	c    33041   1320    16420   729051   44    35504   37956  13828   2072 15.95
694.45/694.61	c    50187   1320    35628  1783655   50    74552   41752  33036   1986 25.26
694.45/694.61	c    76006   1320    34681  1720654   49    72751   45928  32089   1706 44.53
694.45/694.61	c   114838   1320    44207  2184475   49    92542   50521  41615   1477 77.71
694.45/694.61	c   173191   1320    33189  1758551   52    70207   55574  30597   1335 129.64
694.45/694.61	c   260824   1320    45261  2313190   51    93926   61132  42669   1266 205.94
694.45/694.61	c   392378   1320    44488  2216558   49    92311   67246  41896   1271 308.54
694.45/694.61	c   589810   1320    48208  2501209   51    99578   73971  45616   1159 508.75
694.45/694.61	o -13
1503.03/1503.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1503.03/1503.33	c   765668   1320    61165  3653873   59   128814   14647  58573   1102 694.48
1503.03/1503.33	c   765768   1320    10039   377953   37    22647   16112   7447   1096 698.09
1503.03/1503.33	c   766019   1320    10322   391363   37    23213   17724   7730   1097 698.15
1503.03/1503.33	c   766494   1320    10853   416730   38    24275   19497   8261   1097 698.25
1503.03/1503.33	c   767308   1320    11769   460336   39    26143   21447   9177   1098 698.42
1503.03/1503.33	c   768628   1320    13227   530732   40    29100   23592  10635   1100 698.75
1503.03/1503.33	c   770709   1320    15558   650506   41    33898   25952  12966   1102 699.35
1503.03/1503.33	c   773933   1320    19111   833738   43    41206   28548  16519   1104 700.55
1503.03/1503.33	c   778869   1320    24541  1119887   45    52385   31403  21949   1108 702.47
1503.03/1503.33	c   786375   1320    32902  1583297   48    69304   34544  30310   1112 706.69
1503.03/1503.33	c   797740   1320    22699  1034876   45    48136   37999  20107   1118 713.04
1503.03/1503.33	c   814885   1320    15853   653110   41    34266   41799  13261   1125 724.31
1503.03/1503.33	c   840704   1320    15858   665513   41    34305   45979  13266   1137 738.93
1503.03/1503.33	c   879536   1320    25464  1181179   46    53540   50577  22872   1154 762.06
1503.03/1503.33	c   937889   1320    51978  2593547   49   107713   55635  49386   1165 805.01
1503.03/1503.33	c  1025522   1320    20234   946097   46    43177   61199  17642   1163 881.36
1503.03/1503.33	c  1157074   1320    21447   999920   46    45768   67319  18855   1152 1003.63
1503.03/1503.33	c  1354507   1320    25230  1148963   45    53145   74051  22638   1117 1212.22
1503.03/1503.33	o -14
1797.98/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.30	c  1619937   1320    75205  3792758   50   155031   14664  72613   1077 1503.07
1797.98/1798.30	c  1620037   1320    10030   390842   38    22706   16131   7438   1075 1506.72
1797.98/1798.30	c  1620287   1320    10294   401460   38    23234   17745   7702   1075 1506.78
1797.98/1798.30	c  1620763   1320    10807   423264   39    24260   19520   8215   1075 1506.89
1797.98/1798.30	c  1621576   1320    11688   460897   39    26042   21473   9096   1075 1507.08
1797.98/1798.30	c  1622896   1320    13116   523379   39    28912   23621  10524   1076 1507.42
1797.98/1798.30	c  1624977   1320    15369   618932   40    33440   25984  12777   1077 1508.01
1797.98/1798.30	c  1628200   1320    18872   771964   40    40539   28583  16280   1078 1509.03
1797.98/1798.30	c  1633136   1320    24265  1009072   41    51429   31442  21673   1080 1511.03
1797.98/1798.30	c  1640642   1320    32488  1379454   42    67962   34587  29896   1082 1515.22
1797.98/1798.30	c  1652003   1320    22746   900539   39    48539   38046  20154   1085 1521.51
1797.98/1798.30	c  1669148   1320    15885   586666   36    34276   41851  13293   1088 1532.77
1797.98/1798.30	c  1694968   1320    44119  1873985   42    91623   46037  41527   1097 1544.50
1797.98/1798.30	c  1733801   1320    20459   832257   40    43466   50641  17867   1103 1571.69
1797.98/1798.30	c  1792153   1320    47792  2188084   45    98970   55706  45200   1113 1609.23
1797.98/1798.30	c  1879785   1320    16305   684926   42    35228   61277  13713   1111 1690.49
1797.98/1798.30	c Resources Exceeded
1797.98/1798.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 x84 -x87 -x78 -x66 x94 x86 -x93 x100 -x72 x63 -x58 -x68 -x85 -x97 x99 -x51 -x91 -x60 -x64 -x77 -x73 -x62 -x69 -x59 x61 -x67 -x70 x82 -x52 -x80 -x83 -x81 -x74 x53 -x57 -x65 -x54 x88 -x75 x71 x92 -x79 x95 -x55 x76 -x96 -x56 -x90 -x89 -x98 
1797.98/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.30	c   67  2005327 273057  2379124    58513  2690994  55921   1115 1798.00
1797.98/1798.30	c Objective: -14
1797.98/1798.30	s SATISFIABLE
1797.98/1798.30	c Total time: 1798 s

Verifier Data 

OK	-14

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-3708428-1338178709/watcher-3708428-1338178709 -o /tmp/evaluation-result-3708428-1338178709/solver-3708428-1338178709 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708428-1338178709.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.09 2.06 2.00 2/174 1210
/proc/meminfo: memFree=28286920/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=11204 CPUtime=0 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 283996364 11472896 338 33554432000 134512640 137138936 4288431744 4288430424 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 2801 340 183 642 0 2157 0

[startup+0.094029 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 1210
/proc/meminfo: memFree=28286920/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=11336 CPUtime=0.09 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 444 0 0 0 9 0 0 0 20 0 1 0 283996364 11608064 394 33554432000 134512640 137138936 4288431744 4288414604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 2834 394 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336

[startup+0.100262 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 1210
/proc/meminfo: memFree=28286920/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=11336 CPUtime=0.09 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 444 0 0 0 9 0 0 0 20 0 1 0 283996364 11608064 394 33554432000 134512640 137138936 4288431744 4288414604 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 2834 394 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336

[startup+0.300223 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 1210
/proc/meminfo: memFree=28286920/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=11724 CPUtime=0.29 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 532 0 0 0 29 0 0 0 20 0 1 0 283996364 12005376 482 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 2931 482 192 642 0 2287 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11724

[startup+0.700226 s]
/proc/loadavg: 2.09 2.06 2.00 2/174 1210
/proc/meminfo: memFree=28286920/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=13568 CPUtime=0.69 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 1019 0 0 0 69 0 0 0 20 0 1 0 283996364 13893632 969 33554432000 134512640 137138936 4288431744 4288430672 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 3392 969 192 642 0 2748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13568

[startup+1.50023 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 1211
/proc/meminfo: memFree=28282704/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=16864 CPUtime=1.49 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 1833 0 0 0 148 1 0 0 20 0 1 0 283996364 17268736 1783 33554432000 134512640 137138936 4288431744 4288430672 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 4216 1783 192 642 0 3572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16864

[startup+3.10025 s]
/proc/loadavg: 2.09 2.06 2.00 3/175 1211
/proc/meminfo: memFree=28278472/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=21148 CPUtime=3.09 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 2912 0 0 0 307 2 0 0 20 0 1 0 283996364 21655552 2862 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 5287 2862 192 642 0 4643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21148

[startup+6.30029 s]
/proc/loadavg: 2.09 2.05 2.00 3/175 1211
/proc/meminfo: memFree=28270908/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=27672 CPUtime=6.28 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 4519 0 0 0 625 3 0 0 20 0 1 0 283996364 28336128 4469 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 6918 4469 192 642 0 6274 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27672

[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.00 3/175 1211
/proc/meminfo: memFree=28260384/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=37248 CPUtime=12.69 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 6910 0 0 0 1264 5 0 0 20 0 1 0 283996364 38141952 6860 33554432000 134512640 137138936 4288431744 4288430672 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 9312 6860 192 642 0 8668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37248

[startup+25.5003 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 1211
/proc/meminfo: memFree=28257780/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=38984 CPUtime=25.48 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 7379 0 0 0 2540 8 0 0 20 0 1 0 283996364 39919616 7294 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 9746 7294 192 642 0 9102 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38984

[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 2.00 3/175 1211
/proc/meminfo: memFree=28250836/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=45964 CPUtime=51.08 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 9182 0 0 0 5097 11 0 0 20 0 1 0 283996364 47067136 9055 33554432000 134512640 137138936 4288431744 4288430672 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 11491 9055 192 642 0 10847 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45964

[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 1214
/proc/meminfo: memFree=28244504/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=52148 CPUtime=102.28 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 10807 0 0 0 10211 17 0 0 20 0 1 0 283996364 53399552 10583 33554432000 134512640 137138936 4288431744 4288430672 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 13037 10583 192 642 0 12393 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 52148

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 1214
/proc/meminfo: memFree=28237460/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=58624 CPUtime=162.24 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 12527 0 0 0 16198 26 0 0 20 0 1 0 283996364 60030976 12224 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 14656 12224 192 642 0 14012 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 58624

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 1214
/proc/meminfo: memFree=28236344/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=60156 CPUtime=222.23 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 12969 0 0 0 22189 34 0 0 20 0 1 0 283996364 61599744 12605 33554432000 134512640 137138936 4288431744 4288430640 134542375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 15039 12605 192 642 0 14395 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60156

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 1215
/proc/meminfo: memFree=28236716/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=60476 CPUtime=282.22 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 13028 0 0 0 28180 42 0 0 20 0 1 0 283996364 61927424 12664 33554432000 134512640 137138936 4288431744 4288430672 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 15119 12664 192 642 0 14475 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 60476

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 1215
/proc/meminfo: memFree=28232188/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=64760 CPUtime=342.21 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 14170 0 0 0 34172 49 0 0 20 0 1 0 283996364 66314240 13738 33554432000 134512640 137138936 4288431744 4288430784 134540738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 16190 13738 192 642 0 15546 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 64760

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1215
/proc/meminfo: memFree=28231196/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=66068 CPUtime=402.2 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 14494 0 0 0 40165 55 0 0 20 0 1 0 283996364 67653632 14062 33554432000 134512640 137138936 4288431744 4288430192 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 16517 14062 192 642 0 15873 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 66068

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1215
/proc/meminfo: memFree=28231072/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=66068 CPUtime=462.2 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 14507 0 0 0 46157 63 0 0 20 0 1 0 283996364 67653632 14075 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 16517 14075 192 642 0 15873 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 66068

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1215
/proc/meminfo: memFree=28230012/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=67368 CPUtime=522.18 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 14822 0 0 0 52148 70 0 0 20 0 1 0 283996364 68984832 14387 33554432000 134512640 137138936 4288431744 4288430640 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 16842 14387 192 642 0 16198 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 67368

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 1216
/proc/meminfo: memFree=28225796/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=71640 CPUtime=582.17 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 15964 0 0 0 58140 77 0 0 20 0 1 0 283996364 73359360 15455 33554432000 134512640 137138936 4288431744 4288430672 134542725 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 17910 15455 192 642 0 17266 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 71640

[startup+642.3 s]

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

/proc/meminfo: memFree=28229036/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1062.1 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 106074 136 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 74656

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1258
/proc/meminfo: memFree=28199744/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1122.09 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 112067 142 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 74656

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1259
/proc/meminfo: memFree=28163784/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1182.08 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 118060 148 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 74656

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1259
/proc/meminfo: memFree=28129932/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1242.07 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 124051 156 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430456 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 74656

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 1262
/proc/meminfo: memFree=28096192/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1302.06 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 130043 163 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 74656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1262
/proc/meminfo: memFree=28072132/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1362.05 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 136035 170 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430640 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 74656

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1262
/proc/meminfo: memFree=28047208/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1422.05 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 142030 175 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 74656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1263
/proc/meminfo: memFree=28025260/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1482.04 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 148024 180 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 74656

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 1263
/proc/meminfo: memFree=28008644/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1542.03 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 154015 188 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430640 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 74656

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1263
/proc/meminfo: memFree=27990912/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1602.02 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 160007 195 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430640 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 74656

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1263
/proc/meminfo: memFree=27972488/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1662.01 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 165998 203 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 74656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1263
/proc/meminfo: memFree=27951492/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1722 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 171990 210 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430668 135984576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 74656

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27931404/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1781.99 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 177981 218 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 74656

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27928676/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1791.6 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 178940 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 74656

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27927436/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1794.79 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 179259 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 74656

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27927064/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1796.38 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 179418 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 74656

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27926692/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1797.18 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 179498 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 74656

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27926692/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1797.58 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 179538 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430672 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 74656

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 1264
/proc/meminfo: memFree=27926692/32873852 swapFree=6848/6848
[pid=1210] ppid=1208 vsize=74656 CPUtime=1797.98 cores=1,3,5,7
/proc/1210/stat : 1210 (bsolo) R 1208 1210 31475 0 -1 4202496 16838 0 0 0 179578 220 0 0 20 0 1 0 283996364 76447744 16241 33554432000 134512640 137138936 4288431744 4288430860 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1210/statm: 18664 16241 192 642 0 18020 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 74656

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798
CPU user time (s): 1795.79
CPU system time (s): 2.21066
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 75120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.79
system time used= 2.21066
maximum resident set size= 65300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16839
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= 34
involuntary context switches= 1852

runsolver used 2.42963 second user time and 7.38888 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 06:18:29
IDJOB=3708428
IDBENCH=48227
IDSOLVER=2286
FILE ID=node129/3708428-1338178709
RUNJOBID= node129-1338158686-31492
PBS_JOBID= 14624544
Free space on /tmp= 71192 MiB

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

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=854143900

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28287168 kB
Buffers:          386416 kB
Cached:          3137712 kB
SwapCached:            0 kB
Active:          1441292 kB
Inactive:        2284144 kB
Active(anon):     203744 kB
Inactive(anon):        0 kB
Active(file):    1237548 kB
Inactive(file):  2284144 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:        232260 kB
Mapped:            15060 kB
Shmem:               204 kB
Slab:             719980 kB
SReclaimable:     162580 kB
SUnreclaim:       557400 kB
KernelStack:        1464 kB
PageTables:         4560 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     324244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71188 MiB
End job on node129 at 2012-05-28 06:48:28