Trace number 3737364

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-10 1800.09 1800.41

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737364-1338717516.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.003 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.09/0.19	c Pre-processing Time: 0.195 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   1320     2592     8840    3     7522   14413      0      0 0.20
0.09/0.19	c Switching off LPR mode.
0.09/0.19	o -1	0.195
0.09/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.20	c        0   1320     2593     8890    3     7525   14447      1      0 0.20
0.09/0.20	o -2	0.196
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1320     2594     8940    3     7529   14497      2      0 0.20
0.19/0.20	o -3	0.196
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1320     2595     8990    3     7534   14563      3      0 0.20
0.19/0.20	o -4	0.197
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1320     2596     9040    3     7540   14647      4      0 0.20
0.19/0.20	o -5	0.198
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        5   1320     2602     9460    3     7557   14663     10     25 0.20
0.19/0.21	c      105   1320     2702    15443    5     7757   16130    110    512 0.20
0.19/0.21	o -6	0.206
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c      123   1320     2721    16608    6     7801   14680    129    597 0.21
0.29/0.39	c      223   1320     2821    22369    7     8001   16149    229   1046 0.21
0.29/0.39	c      473   1320     3071    37900   12     8501   17764    479   2047 0.23
0.29/0.39	c      948   1320     3546    67366   18     9451   19541    954   3688 0.26
0.29/0.39	c     1761   1320     4359   116207   26    11077   21496   1767   5754 0.31
0.29/0.39	o -7	0.391
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     2952   1320     5551   181797   32    13468   14697   2959   7530 0.39
0.59/0.66	c     3052   1320     5651   187711   33    13668   16167   3059   7649 0.40
0.59/0.66	c     3302   1320     5901   204407   34    14168   17784   3309   7880 0.42
0.59/0.66	c     3777   1320     6376   236587   37    15118   19563   3784   8175 0.46
0.59/0.66	c     4590   1320     7189   287884   40    16744   21520   4597   8406 0.55
0.59/0.66	o -8	0.66
52.28/52.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.28/52.33	c     5765   1320     8365   357019   42    19104   14713   5773   8734 0.66
52.28/52.33	c     5865   1320     8465   364830   43    19304   16185   5873   8727 0.67
52.28/52.33	c     6115   1320     8715   382077   43    19804   17804   6123   8735 0.70
52.28/52.33	c     6590   1320     9190   413627   45    20754   19585   6598   8659 0.76
52.28/52.33	c     7403   1320    10003   456598   45    22380   21544   7411   8951 0.83
52.28/52.33	c     8723   1320    11323   529047   46    25020   23699   8731   9319 0.94
52.28/52.33	c    10804   1320    13404   645115   48    29182   26069  10812   8819 1.23
52.28/52.33	c    14027   1320    16627   842384   50    35628   28676  14035   7893 1.78
52.28/52.33	c    18963   1320    21563  1177956   54    45500   31544  18971   6543 2.90
52.28/52.33	c    26469   1320    29069  1675484   57    60512   34699  26477   5168 5.12
52.28/52.33	c    37830   1320    15689   952860   60    33724   38169  13097   3737 10.12
52.28/52.33	c    54974   1320    32833  2039276   62    68012   41986  30241   4173 13.17
52.28/52.33	c    80793   1320    26852  1608142   59    56050   46185  24260   3686 21.92
52.28/52.33	c   119625   1320    29841  1770689   59    62028   50804  27249   3346 35.74
52.28/52.33	o -9	52.319
166.84/166.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.84/166.95	c   161885   1320    31604  1952223   61    65563   14580  29012   3094 52.32
166.84/166.95	c   161985   1320     9983   534662   53    22313   16039   7391   3062 52.90
166.84/166.95	c   162235   1320    10233   547734   53    22813   17643   7641   3065 52.92
166.84/166.95	c   162710   1320    10708   573261   53    23763   19408   8116   3070 52.99
166.84/166.95	c   163523   1320    11521   620424   53    25389   21349   8929   3078 53.12
166.84/166.95	c   164843   1320    12841   695834   54    28029   23484  10249   3089 53.35
166.84/166.95	c   166924   1320    14922   815789   54    32191   25833  12330   3105 53.75
166.84/166.95	c   170147   1320    18145  1008485   55    38637   28417  15553   3124 54.46
166.84/166.95	c   175083   1320    23081  1284572   55    48509   31259  20489   3172 55.18
166.84/166.95	c   182590   1320    30588  1715352   56    63523   34385  27996   3226 56.59
166.84/166.95	c   193951   1320    17651   965989   54    37649   37824  15059   3195 60.69
166.84/166.95	c   211095   1320    34795  2090712   60    71937   41607  32203   3243 65.08
166.84/166.95	c   236914   1320    29255  1693789   57    60857   45768  26663   3215 73.67
166.84/166.95	c   275749   1320    32658  1930712   59    67663   50345  30066   3201 86.14
166.84/166.95	c   334101   1320    51106  3418315   66   104559   55380  48514   3038 109.96
166.84/166.95	c   421734   1320    49082  3287067   66   100511   60919  46490   2790 151.12
166.84/166.95	o -10	166.896
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c   457303   1320    34380  2055337   59    71117   14597  31788   2740 166.90
1800.08/1800.40	c   457403   1320     9992   537217   53    22332   16057   7400   2734 167.30
1800.08/1800.40	c   457653   1320    10242   550533   53    22832   17663   7650   2734 167.33
1800.08/1800.40	c   458128   1320    10717   577363   53    23782   19430   8125   2736 167.41
1800.08/1800.40	c   458941   1320    11530   620987   53    25408   21374   8938   2739 167.50
1800.08/1800.40	c   460261   1320    12850   693097   53    28048   23512  10258   2745 167.67
1800.08/1800.40	c   462342   1320    14931   808300   54    32210   25864  12339   2752 167.94
1800.08/1800.40	c   465565   1320    18154   989074   54    38656   28451  15562   2763 168.48
1800.08/1800.40	c   470501   1320    23090  1285420   55    48528   31297  20498   2778 169.36
1800.08/1800.40	c   478007   1320    30596  1783571   58    63540   34427  28004   2779 171.97
1800.08/1800.40	c   489368   1320    17671   935705   52    37690   37870  15079   2781 175.95
1800.08/1800.40	c   506512   1320    34815  1988883   57    71978   41658  32223   2822 179.46
1800.08/1800.40	c   532331   1320    29213  1707970   58    60774   45824  26621   2851 186.67
1800.08/1800.40	c   571163   1320    32602  1896463   58    67552   50407  30010   2856 199.97
1800.08/1800.40	c   629516   1320    51019  3301155   64   104386   55448  48427   2803 224.57
1800.08/1800.40	c   717148   1320    48847  3071247   62   100042   60993  46255   2770 258.83
1800.08/1800.40	c   848700   1320    29313  1755395   59    60974   67093  26721   2669 317.93
1800.08/1800.40	c  1046132   1320    57583  3740120   64   117514   73803  54991   2615 399.92
1800.08/1800.40	c  1342384   1320    38844  2469564   63    80036   81184  36252   2401 559.00
1800.08/1800.40	c  1786867   1320    61613  4255842   69   125574   89303  59021   2084 857.19
1800.08/1800.40	c  2453694   1320    23439  1340800   57    49226   98234  20847   1888 1299.14
1800.08/1800.40	c Caught signal: 15
1800.08/1800.40	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 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   67  3138317   1492  3148711    98279  6365421  95687   1743 1800.08
1800.08/1800.40	c Objective: -10
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.08 s

Verifier Data 

OK	-10

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-3737364-1338717516/watcher-3737364-1338717516 -o /tmp/evaluation-result-3737364-1338717516/solver-3737364-1338717516 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737364-1338717516.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8999
/proc/meminfo: memFree=25454700/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=4848 CPUtime=0 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 337878883 4964352 459 33554432000 134512640 135840783 4286997056 4286995788 12592176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 1212 459 333 325 0 144 0

[startup+0.0263229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8999
/proc/meminfo: memFree=25454700/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=5228 CPUtime=0.02 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 638 0 0 0 2 0 0 0 20 0 1 0 337878883 5353472 570 33554432000 134512640 135840783 4286997056 4286980332 12592176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 1307 570 345 325 0 243 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5228

[startup+0.100205 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8999
/proc/meminfo: memFree=25454700/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=5228 CPUtime=0.09 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 638 0 0 0 9 0 0 0 20 0 1 0 337878883 5353472 570 33554432000 134512640 135840783 4286997056 4286980332 12592176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 1307 570 345 325 0 243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5228

[startup+0.300174 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8999
/proc/meminfo: memFree=25454700/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=6660 CPUtime=0.29 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 1012 0 0 0 29 0 0 0 20 0 1 0 337878883 6819840 944 33554432000 134512640 135840783 4286997056 4286994800 1754407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 1665 945 351 325 0 601 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6660

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8999
/proc/meminfo: memFree=25454700/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=10672 CPUtime=0.69 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 2006 0 0 0 69 0 0 0 20 0 1 0 337878883 10928128 1938 33554432000 134512640 135840783 4286997056 4286994800 1754407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 2668 1939 351 325 0 1604 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10672

[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25444516/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=16100 CPUtime=1.49 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 3354 0 0 0 148 1 0 0 20 0 1 0 337878883 16486400 3286 33554432000 134512640 135840783 4286997056 4286994848 1754407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 4025 3286 351 325 0 2961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16100

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25438688/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=23320 CPUtime=3.09 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 5152 0 0 0 308 1 0 0 20 0 1 0 337878883 23879680 5084 33554432000 134512640 135840783 4286997056 4286995280 1754407 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 5830 5084 351 325 0 4766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23320

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25426860/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=32620 CPUtime=6.29 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 7497 0 0 0 627 2 0 0 20 0 1 0 337878883 33402880 7429 33554432000 134512640 135840783 4286997056 4286996368 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 8155 7429 351 325 0 7091 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32620

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25416940/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=39592 CPUtime=12.69 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 9268 0 0 0 1266 3 0 0 20 0 1 0 337878883 40542208 9164 33554432000 134512640 135840783 4286997056 4286996368 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 9898 9164 351 325 0 8834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39592

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25410368/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=46484 CPUtime=25.49 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 11028 0 0 0 2546 3 0 0 20 0 1 0 337878883 47599616 10881 33554432000 134512640 135840783 4286997056 4286996416 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 11621 10881 351 325 0 10557 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46484

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9000
/proc/meminfo: memFree=25399656/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=55496 CPUtime=51.08 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 13374 0 0 0 5104 4 0 0 20 0 1 0 337878883 56827904 13125 33554432000 134512640 135840783 4286997056 4286996368 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 13874 13125 351 325 0 12810 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55496

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9003
/proc/meminfo: memFree=25399364/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=55496 CPUtime=102.26 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 13424 0 0 0 10222 4 0 0 20 0 1 0 337878883 56827904 13155 33554432000 134512640 135840783 4286997056 4286996360 15413768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 13874 13155 351 325 0 12810 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55496

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9027
/proc/meminfo: memFree=25388420/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=65940 CPUtime=162.24 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 16150 0 0 0 16219 5 0 0 20 0 1 0 337878883 67522560 15760 33554432000 134512640 135840783 4286997056 4286996416 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 16485 15760 351 325 0 15421 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 65940

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9027
/proc/meminfo: memFree=25282632/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=66168 CPUtime=222.23 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 16194 0 0 0 22218 5 0 0 20 0 1 0 337878883 67756032 15804 33554432000 134512640 135840783 4286997056 4286996416 134550896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 16542 15804 351 325 0 15478 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 66168

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9027
/proc/meminfo: memFree=25094432/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=66168 CPUtime=282.22 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 16205 0 0 0 28217 5 0 0 20 0 1 0 337878883 67756032 15815 33554432000 134512640 135840783 4286997056 4286996416 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 16542 15815 351 325 0 15478 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 66168

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 9027
/proc/meminfo: memFree=24534728/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=71076 CPUtime=342.21 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 17503 0 0 0 34216 5 0 0 20 0 1 0 337878883 72781824 17046 33554432000 134512640 135840783 4286997056 4286995564 134520568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 17769 17046 351 325 0 16705 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 71076

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 9027
/proc/meminfo: memFree=23880036/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=73844 CPUtime=402.2 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 18167 0 0 0 40214 6 0 0 20 0 1 0 337878883 75616256 17710 33554432000 134512640 135840783 4286997056 4286996368 134551501 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 18461 17710 351 325 0 17397 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 73844

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 9028
/proc/meminfo: memFree=23323800/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=80816 CPUtime=462.19 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 19984 0 0 0 46213 6 0 0 20 0 1 0 337878883 82755584 19453 33554432000 134512640 135840783 4286997056 4286996416 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 20204 19453 351 325 0 19140 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 80816

[startup+522.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 9028
/proc/meminfo: memFree=22822620/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=84968 CPUtime=522.19 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 21022 0 0 0 52212 7 0 0 20 0 1 0 337878883 87007232 20491 33554432000 134512640 135840783 4286997056 4286996352 134572342 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 21242 20491 351 325 0 20178 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 84968

[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 9028
/proc/meminfo: memFree=22322544/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=84980 CPUtime=582.18 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 21024 0 0 0 58211 7 0 0 20 0 1 0 337878883 87019520 20493 33554432000 134512640 135840783 4286997056 4286996192 1751772 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 21245 20493 351 325 0 20181 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 84980

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 4.67 3.12 2.41 3/178 9072
/proc/meminfo: memFree=25395860/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=94240 CPUtime=882.13 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 23421 0 0 0 88205 8 0 0 20 0 1 0 337878883 96501760 22809 33554432000 134512640 135840783 4286997056 4286996416 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 23560 22809 351 325 0 22496 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 94240

[startup+942.306 s]
/proc/loadavg: 2.90 2.90 2.38 3/177 9072
/proc/meminfo: memFree=25357024/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=95268 CPUtime=942.11 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 23781 0 0 0 94203 8 0 0 20 0 1 0 337878883 97554432 23065 33554432000 134512640 135840783 4286997056 4286996360 15018192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 23817 23065 351 325 0 22753 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 95268

[startup+1002.3 s]
/proc/loadavg: 2.42 2.76 2.36 3/177 9072
/proc/meminfo: memFree=25312512/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=95268 CPUtime=1002.09 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 23781 0 0 0 100201 8 0 0 20 0 1 0 337878883 97554432 23065 33554432000 134512640 135840783 4286997056 4286996416 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 23817 23065 351 325 0 22753 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 95268

[startup+1062.3 s]
/proc/loadavg: 2.18 2.63 2.34 3/177 9073
/proc/meminfo: memFree=25279528/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=95268 CPUtime=1062.08 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 23781 0 0 0 106200 8 0 0 20 0 1 0 337878883 97554432 23065 33554432000 134512640 135840783 4286997056 4286996356 15405012 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 23817 23065 351 325 0 22753 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 95268

[startup+1122.3 s]
/proc/loadavg: 2.07 2.52 2.32 3/177 9073
/proc/meminfo: memFree=25266508/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=95268 CPUtime=1122.07 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 23781 0 0 0 112199 8 0 0 20 0 1 0 337878883 97554432 23065 33554432000 134512640 135840783 4286997056 4286996416 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 23817 23065 351 325 0 22753 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 95268

[startup+1182.3 s]
/proc/loadavg: 2.02 2.42 2.29 3/177 9073
/proc/meminfo: memFree=25264232/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=97432 CPUtime=1182.07 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 24322 0 0 0 118199 8 0 0 20 0 1 0 337878883 99770368 23606 33554432000 134512640 135840783 4286997056 4286996192 1751739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 24358 23606 351 325 0 23294 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 97432

[startup+1242.3 s]
/proc/loadavg: 2.01 2.34 2.27 3/177 9073
/proc/meminfo: memFree=25263920/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=97432 CPUtime=1242.05 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 24323 0 0 0 124197 8 0 0 20 0 1 0 337878883 99770368 23606 33554432000 134512640 135840783 4286997056 4286996416 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 24358 23606 351 325 0 23294 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 97432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.28 2.25 3/178 9076
/proc/meminfo: memFree=25264324/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=97432 CPUtime=1302.05 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 24323 0 0 0 130197 8 0 0 20 0 1 0 337878883 99770368 23606 33554432000 134512640 135840783 4286997056 4286996416 134551081 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 24358 23606 351 325 0 23294 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 97432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.22 2.23 3/177 9077
/proc/meminfo: memFree=25246592/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=97464 CPUtime=1362.04 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 24337 0 0 0 136196 8 0 0 20 0 1 0 337878883 99803136 23620 33554432000 134512640 135840783 4286997056 4286996368 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 24366 23620 351 325 0 23302 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 97464

[startup+1422.3 s]
/proc/loadavg: 2.00 2.18 2.22 3/177 9077
/proc/meminfo: memFree=25220552/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103008 CPUtime=1422.02 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 25731 0 0 0 142194 8 0 0 20 0 1 0 337878883 105480192 25014 33554432000 134512640 135840783 4286997056 4286996416 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25752 25014 351 325 0 24688 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 103008

[startup+1482.3 s]
/proc/loadavg: 2.06 2.16 2.20 3/177 9077
/proc/meminfo: memFree=25213484/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1482.03 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26047 0 0 0 148194 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 103932

[startup+1542.3 s]
/proc/loadavg: 2.07 2.14 2.19 3/177 9077
/proc/meminfo: memFree=25213572/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1542.01 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26047 0 0 0 154192 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996368 134551451 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 103932

[startup+1602.31 s]
/proc/loadavg: 2.02 2.11 2.18 3/177 9077
/proc/meminfo: memFree=25213504/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1602.01 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 160192 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 103932

[startup+1662.3 s]
/proc/loadavg: 2.01 2.09 2.17 3/177 9078
/proc/meminfo: memFree=25213944/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1661.99 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 166190 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996408 15018192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 103932

[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.15 3/177 9078
/proc/meminfo: memFree=25214068/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1721.98 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 172189 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 103932

[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.14 3/177 9078
/proc/meminfo: memFree=25201172/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1781.98 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 178189 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 103932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.14 3/177 9078
/proc/meminfo: memFree=25194972/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1800.08 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 179999 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134551365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 103932

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.14 3/177 9078
/proc/meminfo: memFree=25194972/32873648 swapFree=6852/6852
[pid=8999] ppid=8997 vsize=103932 CPUtime=1800.08 cores=1,3,5,7
/proc/8999/stat : 8999 (bsolo3.0.17) R 8997 8999 8706 0 -1 4202496 26050 0 0 0 179999 9 0 0 20 0 1 0 337878883 106426368 25232 33554432000 134512640 135840783 4286997056 4286996416 134551365 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8999/statm: 25983 25232 351 325 0 24919 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 103932

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.99
CPU system time (s): 0.091986
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 103932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.091986
maximum resident set size= 100932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26053
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= 55
involuntary context switches= 1851

runsolver used 3.48047 second user time and 8.98463 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 11:58:36
IDJOB=3737364
IDBENCH=48227
IDSOLVER=2318
FILE ID=node112/3737364-1338717516
RUNJOBID= node112-1338713910-8723
PBS_JOBID= 14636749
Free space on /tmp= 71208 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737364-1338717516/watcher-3737364-1338717516 -o /tmp/evaluation-result-3737364-1338717516/solver-3737364-1338717516 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737364-1338717516.opb            

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1448232579

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25458792 kB
Buffers:          542120 kB
Cached:          5921760 kB
SwapCached:            0 kB
Active:          1817976 kB
Inactive:        4736292 kB
Active(anon):      79228 kB
Inactive(anon):    10924 kB
Active(file):    1738748 kB
Inactive(file):  4725368 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15360 kB
Writeback:             0 kB
AnonPages:         94104 kB
Mapped:            15712 kB
Shmem:               200 kB
Slab:             724388 kB
SReclaimable:     167980 kB
SUnreclaim:       556408 kB
KernelStack:        1440 kB
PageTables:         3880 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     202672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71204 MiB
End job on node112 at 2012-06-03 12:28:39