Trace number 3708472

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_3.opb
MD5SUM737bdf32fd69c002d569e68c523af4bf
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-26
Best CPU time to get the best result obtained on this benchmark3.01854
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
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)1244
Sum of products size (including duplicates)2488
Number of different products622
Sum of products size1244

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-3708472-1338178303.opb
0.00/0.00	c File size is 14952 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: 1344 Constr: 2688 1344/100/1244 Lit: 9952 Watch. Lit: 7464
0.00/0.00	c Obj. Vars: 100 (7.44048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.008 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      622     1866    3     1244     207      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -21
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      623     1966    3     1267     940      1      0 0.01
0.00/0.01	o -23
8.39/8.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.39/8.47	c        2    100      626     2218    3     1296    1007      4    250 0.01
8.39/8.47	c      102    100      726     9547   13     1496    1108    104   5368 0.02
8.39/8.47	c      352    100      976    27918   28     1996    1219    354   7652 0.05
8.39/8.47	c      827    100     1451    63051   43     2946    1341    829   7876 0.10
8.39/8.47	c     1642    100     2267   123070   54     4578    1476   1645   7894 0.21
8.39/8.47	c     2962    100     1532    67440   44     3087    1624    910   6920 0.43
8.39/8.47	c     5043    100     1509    66319   43     3041    1787    887   6898 0.73
8.39/8.47	c     8268    100     2531   140224   55     5106    1966   1909   6901 1.20
8.39/8.47	c    13205    100     2887   165619   57     5797    2163   2265   6501 2.03
8.39/8.47	c    20712    100     3215   191621   59     6453    2380   2593   6020 3.44
8.39/8.47	c    32074    100     2080   107412   51     4183    2619   1458   5644 5.68
8.39/8.47	o -24
115.76/115.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
115.76/115.85	c    45307    100     2233   119453   53     4513    1040   1611   5351 8.47
115.76/115.85	c    45407    100     2333   126699   54     4713    1145   1711   5355 8.48
115.76/115.85	c    45657    100     2583   144786   56     5213    1260   1961   5364 8.51
115.76/115.85	c    46132    100     3059   179038   58     6186    1387   2437   5361 8.61
115.76/115.85	c    46945    100     1863    91243   48     3750    1526   1241   5386 8.72
115.76/115.85	c    48265    100     3194   187135   58     6412    1679   2572   5416 8.91
115.76/115.85	c    50346    100     3128   180955   57     6302    1847   2506   5445 9.25
115.76/115.85	c    53569    100     1881    91504   48     3786    2032   1259   5471 9.79
115.76/115.85	c    58505    100     2162   112809   52     4348    2236   1540   5516 10.61
115.76/115.85	c    66011    100     2387   127680   53     4819    2460   1765   5490 12.02
115.76/115.85	c    77374    100     3590   213180   59     7204    2707   2968   5525 14.00
115.76/115.85	c    94518    100     2111   107239   50     4246    2978   1489   5387 17.54
115.76/115.85	c   120338    100     2755   154811   56     5534    3276   2133   5383 22.35
115.76/115.85	c   159170    100     3393   197334   58     6810    3604   2771   5184 30.70
115.76/115.85	c   217523    100     2781   155991   56     5608    3965   2159   5021 43.32
115.76/115.85	c   305155    100     5068   320725   63    10160    4362   4446   4962 61.49
115.76/115.85	c   436709    100     4308   264901   61     8640    4799   3686   4845 90.13
115.76/115.85	o -25
1106.11/1106.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1106.11/1106.35	c   543448    100     3841   231171   60     7752    1073   3219   4691 115.83
1106.11/1106.35	c   543549    100     1261    46754   37     2547    1181    639   4691 115.85
1106.11/1106.35	c   543799    100     1511    64554   42     3047    1300    889   4692 115.88
1106.11/1106.35	c   544275    100     1988    98565   49     4001    1431   1366   4694 115.94
1106.11/1106.35	c   545088    100     2803   156766   55     5631    1575   2181   4697 116.05
1106.11/1106.35	c   546411    100     2020   101287   50     4065    1733   1398   4701 116.22
1106.11/1106.35	c   548493    100     1923    93657   48     3871    1907   1301   4707 116.53
1106.11/1106.35	c   551717    100     2888   163075   56     5801    2098   2266   4715 117.00
1106.11/1106.35	c   556653    100     3112   174871   56     6288    2308   2490   4724 117.83
1106.11/1106.35	c   564159    100     3234   186553   57     6493    2539   2612   4737 119.08
1106.11/1106.35	c   575521    100     4309   262473   60     8643    2793   3687   4753 121.07
1106.11/1106.35	c   592666    100     2567   139230   54     5159    3073   1945   4771 124.21
1106.11/1106.35	c   618485    100     2879   159941   55     5783    3381   2257   4791 129.07
1106.11/1106.35	c   657317    100     2804   156294   55     5633    3720   2182   4808 136.71
1106.11/1106.35	c   715670    100     4268   260103   60     8561    4093   3646   4828 148.23
1106.11/1106.35	c   803302    100     4850   300306   61     9748    4503   4228   4820 166.66
1106.11/1106.35	c   934855    100     5037   310266   61    10121    4954   4415   4761 196.33
1106.11/1106.35	c  1132288    100     6217   387394   62    12502    5450   5595   4677 242.08
1106.11/1106.35	c  1428540    100     4879   303052   62     9783    5996   4257   4577 312.09
1106.11/1106.35	c  1873023    100     7130   455169   63    14308    6596   6508   4396 426.02
1106.11/1106.35	c  2539852    100     4056   237303   58     8160    7256   3434   4238 599.25
1106.11/1106.35	c  3540198    100     6228   399187   64    12481    7982   5606   4028 878.75
1106.11/1106.35	o -26
1797.92/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.27	c  4369760    100     6789   425752   62    13651    1107   6167   3950 1106.18
1797.92/1798.27	c  4369860    100     1277    46900   36     2580    1218    655   3950 1106.20
1797.92/1798.27	c  4370111    100     1528    64558   42     3082    1340    906   3950 1106.23
1797.92/1798.27	c  4370587    100     2004    98028   48     4034    1475   1382   3950 1106.28
1797.92/1798.27	c  4371401    100     2820   155386   55     5666    1623   2198   3951 1106.38
1797.92/1798.27	c  4372722    100     2024    99981   49     4074    1786   1402   3951 1106.56
1797.92/1798.27	c  4374803    100     1914    89229   46     3854    1965   1292   3952 1106.88
1797.92/1798.27	c  4378026    100     2843   157854   55     5712    2162   2221   3953 1107.36
1797.92/1798.27	c  4382963    100     3012   167205   55     6050    2379   2390   3955 1108.18
1797.92/1798.27	c  4390470    100     3018   168873   55     6086    2617   2396   3956 1109.60
1797.92/1798.27	c  4401831    100     3923   232055   59     7872    2879   3301   3959 1111.74
1797.92/1798.27	c  4418975    100     4603   279390   60     9232    3167   3981   3963 1114.96
1797.92/1798.27	c  4444794    100     4464   270803   60     8954    3484   3842   3969 1119.86
1797.92/1798.27	c  4483626    100     3738   219662   58     7502    3833   3116   3977 1127.16
1797.92/1798.27	c  4541978    100     4210   248378   58     8485    4217   3588   3988 1138.71
1797.92/1798.27	c  4629611    100     3195   181333   56     6416    4639   2573   3998 1157.71
1797.92/1798.27	c  4761163    100     4526   272241   60     9078    5103   3904   4015 1185.73
1797.92/1798.27	c  4958595    100     5675   355034   62    11376    5614   5053   4028 1230.77
1797.92/1798.27	c  5254848    100     6516   412815   63    13058    6176   5894   4033 1302.88
1797.92/1798.27	c  5699330    100     3848   225040   58     7722    6794   3226   4046 1408.32
1797.92/1798.27	c  6366158    100     5011   294135   58    10068    7474   4389   4031 1579.05
1797.92/1798.27	c Resources Exceeded
1797.92/1798.27	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.92/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.27	c   72  7216543 459733  7755207     5637   345283   5015   4013 1798.00
1797.92/1798.27	c Objective: -26
1797.92/1798.27	s SATISFIABLE
1797.92/1798.27	c Total time: 1798 s

Verifier Data

OK	-26

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-3708472-1338178303/watcher-3708472-1338178303 -o /tmp/evaluation-result-3708472-1338178303/solver-3708472-1338178303 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708472-1338178303.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/176 10616
/proc/meminfo: memFree=29850716/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=11336 CPUtime=0 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 449 0 0 0 0 0 0 0 20 0 1 0 283954653 11608064 398 33554432000 134512640 137138936 4289066352 4289048924 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 2834 398 185 642 0 2190 0

[startup+0.100301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 10616
/proc/meminfo: memFree=29850716/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=12024 CPUtime=0.09 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 609 0 0 0 9 0 0 0 20 0 1 0 283954653 12312576 558 33554432000 134512640 137138936 4289066352 4289064880 134602871 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3006 558 192 642 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12024

[startup+0.200307 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 10616
/proc/meminfo: memFree=29850716/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=12720 CPUtime=0.19 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 782 0 0 0 19 0 0 0 20 0 1 0 283954653 13025280 731 33554432000 134512640 137138936 4289066352 4289064632 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3180 731 192 642 0 2536 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12720

[startup+0.300305 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 10616
/proc/meminfo: memFree=29850716/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=13308 CPUtime=0.29 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 947 0 0 0 29 0 0 0 20 0 1 0 283954653 13627392 896 33554432000 134512640 137138936 4289066352 4289065100 135984544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3327 896 192 642 0 2683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13308

[startup+0.70028 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 10616
/proc/meminfo: memFree=29850716/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=13900 CPUtime=0.69 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1093 0 0 0 69 0 0 0 20 0 1 0 283954653 14233600 1042 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3475 1042 192 642 0 2831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13900

[startup+1.50028 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10617
/proc/meminfo: memFree=29846872/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=14368 CPUtime=1.49 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1217 0 0 0 149 0 0 0 20 0 1 0 283954653 14712832 1166 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3592 1166 192 642 0 2948 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14368

[startup+3.10028 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10617
/proc/meminfo: memFree=29846012/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=14620 CPUtime=3.09 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1268 0 0 0 308 1 0 0 20 0 1 0 283954653 14970880 1217 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3655 1217 192 642 0 3011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14620

[startup+6.30027 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10617
/proc/meminfo: memFree=29845640/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=15092 CPUtime=6.28 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1386 0 0 0 626 2 0 0 20 0 1 0 283954653 15454208 1335 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3773 1335 192 642 0 3129 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15092

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 10617
/proc/meminfo: memFree=29845408/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=15092 CPUtime=12.68 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1390 0 0 0 1264 4 0 0 20 0 1 0 283954653 15454208 1339 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3773 1339 192 642 0 3129 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15092

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 10617
/proc/meminfo: memFree=29844912/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=15784 CPUtime=25.49 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1550 0 0 0 2540 9 0 0 20 0 1 0 283954653 16162816 1499 33554432000 134512640 137138936 4289066352 4289065104 134575744 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 3946 1499 192 642 0 3302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15784

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 10617
/proc/meminfo: memFree=29844288/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=16488 CPUtime=51.08 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1729 0 0 0 5090 18 0 0 20 0 1 0 283954653 16883712 1676 33554432000 134512640 137138936 4289066352 4289064944 134539030 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4122 1676 192 642 0 3478 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16488

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10617
/proc/meminfo: memFree=29841124/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=17312 CPUtime=102.27 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1951 0 0 0 10195 32 0 0 20 0 1 0 283954653 17727488 1898 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4328 1898 192 642 0 3684 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17312

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10618
/proc/meminfo: memFree=29841124/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=17312 CPUtime=162.26 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1951 0 0 0 16175 51 0 0 20 0 1 0 283954653 17727488 1898 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4328 1898 192 642 0 3684 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17312

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10618
/proc/meminfo: memFree=29840936/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=17404 CPUtime=222.26 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 1970 0 0 0 22159 67 0 0 20 0 1 0 283954653 17821696 1918 33554432000 134512640 137138936 4289066352 4289065248 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4351 1918 192 642 0 3707 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 17404

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10618
/proc/meminfo: memFree=29840688/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=17888 CPUtime=282.24 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2096 0 0 0 28141 83 0 0 20 0 1 0 283954653 18317312 2044 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4472 2044 192 642 0 3828 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 17888

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10618
/proc/meminfo: memFree=29840068/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=18480 CPUtime=342.24 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2237 0 0 0 34123 101 0 0 20 0 1 0 283954653 18923520 2185 33554432000 134512640 137138936 4289066352 4289063684 136500394 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4620 2185 192 642 0 3976 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 18480

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10618
/proc/meminfo: memFree=29840564/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=18476 CPUtime=402.22 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2237 0 0 0 40107 115 0 0 20 0 1 0 283954653 18919424 2185 33554432000 134512640 137138936 4289066352 4289065280 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4619 2185 192 642 0 3975 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 18476

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10619
/proc/meminfo: memFree=29840068/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19080 CPUtime=462.21 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2386 0 0 0 46092 129 0 0 20 0 1 0 283954653 19537920 2334 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4770 2334 192 642 0 4126 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 19080

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10622
/proc/meminfo: memFree=29839564/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19080 CPUtime=522.21 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2388 0 0 0 52077 144 0 0 20 0 1 0 283954653 19537920 2336 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4770 2336 192 642 0 4126 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 19080

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10660
/proc/meminfo: memFree=29783032/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19080 CPUtime=582.2 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2391 0 0 0 58059 161 0 0 20 0 1 0 283954653 19537920 2339 33554432000 134512640 137138936 4289066352 4289065392 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4770 2339 192 642 0 4126 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 19080

[startup+642.3 s]

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

/proc/meminfo: memFree=29728680/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20520 CPUtime=1062.12 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 105948 264 0 0 20 0 1 0 283954653 21012480 2695 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5130 2695 192 642 0 4486 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 20520

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10665
/proc/meminfo: memFree=29689112/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20316 CPUtime=1122.11 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 111933 278 0 0 20 0 1 0 283954653 20803584 2655 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5079 2655 192 642 0 4435 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 20316

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 10665
/proc/meminfo: memFree=29458232/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20172 CPUtime=1182.1 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 117916 294 0 0 20 0 1 0 283954653 20656128 2619 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5043 2619 192 642 0 4399 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 20172

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10665
/proc/meminfo: memFree=29235444/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20172 CPUtime=1242.1 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 123902 308 0 0 20 0 1 0 283954653 20656128 2619 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5043 2619 192 642 0 4399 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 20172

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10665
/proc/meminfo: memFree=29129576/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20172 CPUtime=1302.08 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 129885 323 0 0 20 0 1 0 283954653 20656128 2619 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5043 2619 192 642 0 4399 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 20172

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10666
/proc/meminfo: memFree=29027056/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=20064 CPUtime=1362.08 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 135867 341 0 0 20 0 1 0 283954653 20545536 2592 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 5016 2592 192 642 0 4372 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 20064

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10666
/proc/meminfo: memFree=28945492/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19972 CPUtime=1422.08 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 141850 358 0 0 20 0 1 0 283954653 20451328 2569 33554432000 134512640 137138936 4289066352 4289065392 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4993 2569 192 642 0 4349 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 19972

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10666
/proc/meminfo: memFree=28874220/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1482.06 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 147831 375 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 19948

[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10666
/proc/meminfo: memFree=28807784/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1542.05 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 153816 389 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 19948

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10666
/proc/meminfo: memFree=28804960/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1602.04 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 159802 402 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 19948

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10667
/proc/meminfo: memFree=28805112/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1662.03 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 165786 417 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 19948

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10670
/proc/meminfo: memFree=28805256/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1722.02 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 171769 433 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 19948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805032/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1782.02 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 177754 448 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065280 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 19948

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1791.71 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 178721 450 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 19948

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1794.92 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 179040 452 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1794.92
Current children cumulated vsize (KiB) 19948

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1796.51 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 179199 452 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 19948

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1797.32 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 179279 453 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1797.32
Current children cumulated vsize (KiB) 19948

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1797.72 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 179319 453 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065348 134556036 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 19948

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10670
/proc/meminfo: memFree=28805156/32873844 swapFree=7628/7628
[pid=10616] ppid=10614 vsize=19948 CPUtime=1797.92 cores=0,2,4,6
/proc/10616/stat : 10616 (bsolo) R 10614 10616 8717 0 -1 4202496 2748 0 0 0 179339 453 0 0 20 0 1 0 283954653 20426752 2563 33554432000 134512640 137138936 4289066352 4289065468 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10616/statm: 4987 2563 192 642 0 4343 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 19948

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.47
CPU system time (s): 4.53231
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 20564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.47
system time used= 4.53231
maximum resident set size= 10780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2749
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= 7
involuntary context switches= 1888

runsolver used 3.10953 second user time and 8.44871 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-28 06:11:43
IDJOB=3708472
IDBENCH=48223
IDSOLVER=2286
FILE ID=node145/3708472-1338178303
RUNJOBID= node145-1338157126-8733
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

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

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

MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf
RANDOM SEED=2109026243

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.91
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		: 2667.149
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.91
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29851360 kB
Buffers:          329788 kB
Cached:          1836476 kB
SwapCached:            0 kB
Active:           711700 kB
Inactive:        1493276 kB
Active(anon):      29808 kB
Inactive(anon):    10912 kB
Active(file):     681892 kB
Inactive(file):  1482364 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:         90680 kB
Mapped:            14828 kB
Shmem:               200 kB
Slab:             678476 kB
SReclaimable:     120284 kB
SUnreclaim:       558192 kB
KernelStack:        1472 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     159804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 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= 71548 MiB
End job on node145 at 2012-05-28 06:41:41