Trace number 3462612

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.2OPT3 1143.14 1143.11

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
MD5SUM854cc656dc0682d745f606d1e6722452
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.12498
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints9
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 constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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-3462612-1307181479.opb
0.00/0.00	c File size is 5687 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    432      661     2763    4     2377    3689      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
892.31/892.36	c      100    432      845    12778   15     2854    4058    184   5882 0.02
892.31/892.36	c      250    432     1121    33757   30     3465    4464    460   6756 0.04
892.31/892.36	c      475    432     1521    61822   40     4359    4911    860   5792 0.08
892.31/892.36	c      814    432     2150   105155   48     5889    5403   1489   5184 0.16
892.31/892.36	c     1322    432     3133   169694   54     8409    5944   2472   4511 0.29
892.31/892.36	c     2086    432     4619   265131   57    12274    6539   3958   4082 0.51
892.31/892.36	c     3232    432     6850   404369   59    18039    7193   6189   3456 0.94
892.31/892.36	c     4953    432     6346   402643   63    16241    7913   5685   3425 1.45
892.31/892.36	c     7538    432     7055   447541   63    17982    8705   6394   3293 2.29
892.31/892.36	c    11419    432     5320   329475   61    13928    9576   4659   3290 3.47
892.31/892.36	c    17241    432     5739   404121   70    13013   10534   5078   2948 5.85
892.31/892.36	c    25979    432     5928   363461   61    15562   11588   5267   2872 9.04
892.31/892.36	c    39090    432     6456   410321   63    16671   12747   5795   2536 15.41
892.31/892.36	c    58760    432    10503   626307   59    27594   14022   9842   2366 24.84
892.31/892.36	c    88270    432    10768   619989   57    28691   15425  10107   2250 39.22
892.31/892.36	c   132541    432    14757  1011360   68    38717   16968  14096   1991 66.55
892.31/892.36	c   198951    432    10647   681494   64    27466   18665   9986   1860 106.92
892.31/892.36	c   298571    432     9995   704597   70    24808   20532   9334   1757 169.91
892.31/892.36	c   448007    432    11817   770673   65    30804   22586  11156   1652 271.14
892.31/892.36	c   672166    432    17544  1279165   72    42009   24845  16883   1442 465.99
892.31/892.36	c  1008409    431    18671  1390167   74    47101   27330  18010   1430 704.70
892.31/892.36	o 17
1004.61/1004.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1004.61/1004.62	c  1226098    430    16896  1215687   71    42988    3707  16235   1373 892.38
1004.61/1004.62	c  1226198    420     2713   160874   59     7298    4078   2052   1373 892.59
1004.61/1004.62	c  1226449    420     3215   190077   59     8769    4486   2554   1373 892.63
1004.61/1004.62	c  1226925    420     4157   243809   58    11581    4935   3496   1374 892.74
1004.61/1004.62	c  1227738    420     3138   175872   56     8674    5429   2477   1374 893.05
1004.61/1004.62	c  1229059    420     5648   335504   59    15602    5972   4987   1375 893.62
1004.61/1004.62	c  1231140    420     6456   402923   62    17163    6570   5795   1376 894.71
1004.61/1004.62	c  1234363    420     5618   331556   59    15243    7228   4957   1377 896.15
1004.61/1004.62	c  1239299    420     7105   445750   62    18468    7951   6444   1379 898.57
1004.61/1004.62	c  1246806    420     8250   528710   64    20942    8747   7589   1381 902.47
1004.61/1004.62	c  1258167    410     6140   343381   55    17269    9622   5479   1386 907.68
1004.61/1004.62	c  1275312    410     8301   527966   63    21480   10585   7640   1392 916.13
1004.61/1004.62	c  1301132    410    10431   659221   63    26481   11644   9770   1396 931.63
1004.61/1004.62	c  1339965    399     8614   539145   62    21956   12809   7953   1401 956.13
1004.61/1004.62	c  1398318    386    11081   679410   61    29296   14090  10420   1410 991.51
1004.61/1004.62	o 5
1019.81/1019.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1019.81/1019.83	c  1422614    386    12521  1017580   81    31239    3699  11860   1416 1004.64
1019.81/1019.83	c  1422714    364     2713   206819   76     7074    4069   2052   1415 1004.75
1019.81/1019.83	c  1422964    364     3201   237539   74     8444    4476   2540   1416 1004.81
1019.81/1019.83	c  1423440    364     4137   293422   70    11194    4924   3476   1416 1004.91
1019.81/1019.83	c  1424253    364     3135   181046   57     8616    5417   2474   1416 1005.25
1019.81/1019.83	c  1425573    364     5697   339610   59    15985    5959   5036   1417 1005.71
1019.81/1019.83	c  1427654    364     6469   396578   61    17882    6555   5808   1418 1006.64
1019.81/1019.83	c  1430878    364     5698   346453   60    15560    7211   5037   1419 1008.05
1019.81/1019.83	c  1435814    364     7391   456555   61    19843    7933   6730   1421 1010.21
1019.81/1019.83	c  1443321    364     4971   296623   59    13151    8727   4310   1423 1013.59
1019.81/1019.83	c  1454682    364     7964   494902   62    20962    9600   7303   1427 1018.89
1019.81/1019.83	o 3
1143.11/1143.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1143.11/1143.11	c  1456425    364     6110   375429   61    15759    3695   5449   1428 1019.86
1143.11/1143.11	c  1456526    354     2714   140108   51     7355    4065   2053   1428 1019.89
1143.11/1143.11	c  1456776    354     3208   172783   53     8826    4472   2547   1428 1019.94
1143.11/1143.11	c  1457251    354     4145   225240   54    11583    4920   3484   1428 1020.06
1143.11/1143.11	c  1458064    354     3133   165912   52     8863    5413   2472   1429 1020.31
1143.11/1143.11	c  1459385    354     5671   318355   56    16122    5955   5010   1429 1020.84
1143.11/1143.11	c  1461466    354     6521   378130   57    18362    6551   5860   1430 1021.69
1143.11/1143.11	c  1464690    354     5605   347554   62    14753    7207   4944   1431 1023.17
1143.11/1143.11	c  1469626    341     6822   425996   62    17775    7928   6161   1433 1025.24
1143.11/1143.11	c  1477133    341     8383   504389   60    22586    8721   7722   1435 1028.79
1143.11/1143.11	c  1488494    341     6189   388463   62    15707    9594   5528   1438 1034.77
1143.11/1143.11	c  1505638    341     7839   481670   61    20991   10554   7178   1442 1043.63
1143.11/1143.11	c  1531457    331     9937   551437   55    27094   11610   9276   1450 1055.61
1143.11/1143.11	c  1570290    331     9424   536393   56    24380   12772   8763   1456 1078.07
1143.11/1143.11	c  1628643    331    12592   700146   55    33837   14050  11931   1464 1111.90
1143.11/1143.11	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 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 
1143.11/1143.11	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1143.11/1143.11	c   62  1682422   9296  1708753    12952   680385  12291   1471 1143.13
1143.11/1143.11	c Objective: 3
1143.11/1143.11	s OPTIMUM FOUND
1143.11/1143.11	c Total time: 1143.13 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462612-1307181479/watcher-3462612-1307181479 -o /tmp/evaluation-result-3462612-1307181479/solver-3462612-1307181479 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462612-1307181479.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.06 2.06 2.01 2/527 20419
/proc/meminfo: memFree=24879548/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=11048 CPUtime=0.01 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 363 0 0 0 1 0 0 0 25 0 1 0 908378573 11313152 316 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 2762 316 192 642 0 2118 0

[startup+0.098915 s]
/proc/loadavg: 2.06 2.06 2.01 2/527 20419
/proc/meminfo: memFree=24879548/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=11820 CPUtime=0.09 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 575 0 0 0 9 0 0 0 25 0 1 0 908378573 12103680 528 33554432000 134512640 137138936 4286597552 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 2955 528 192 642 0 2311 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11820

[startup+0.100915 s]
/proc/loadavg: 2.06 2.06 2.01 2/527 20419
/proc/meminfo: memFree=24879548/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=11948 CPUtime=0.09 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 580 0 0 0 9 0 0 0 25 0 1 0 908378573 12234752 533 33554432000 134512640 137138936 4286597552 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 2987 533 192 642 0 2343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11948

[startup+0.300866 s]
/proc/loadavg: 2.06 2.06 2.01 2/527 20419
/proc/meminfo: memFree=24879548/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=13372 CPUtime=0.29 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 949 0 0 0 29 0 0 0 25 0 1 0 908378573 13692928 902 33554432000 134512640 137138936 4286597552 18446744073709551615 135984582 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 3343 902 192 642 0 2699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13372

[startup+0.700799 s]
/proc/loadavg: 2.06 2.06 2.01 2/527 20419
/proc/meminfo: memFree=24879548/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=15708 CPUtime=0.69 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 1543 0 0 0 69 0 0 0 25 0 1 0 908378573 16084992 1496 33554432000 134512640 137138936 4286597552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 3927 1496 192 642 0 3283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15708

[startup+1.50067 s]
/proc/loadavg: 2.06 2.06 2.01 3/528 20420
/proc/meminfo: memFree=24871976/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=18156 CPUtime=1.49 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 2137 0 0 0 148 1 0 0 25 0 1 0 908378573 18591744 2090 33554432000 134512640 137138936 4286597552 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 4539 2090 192 642 0 3895 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18156

[startup+3.10039 s]
/proc/loadavg: 2.06 2.06 2.01 3/528 20420
/proc/meminfo: memFree=24869000/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=19444 CPUtime=3.09 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 2468 0 0 0 308 1 0 0 25 0 1 0 908378573 19910656 2421 33554432000 134512640 137138936 4286597552 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 4861 2421 192 642 0 4217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19444

[startup+6.30082 s]
/proc/loadavg: 2.06 2.06 2.01 3/528 20420
/proc/meminfo: memFree=24866104/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=21896 CPUtime=6.29 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 3078 0 0 0 627 2 0 0 25 0 1 0 908378573 22421504 3031 33554432000 134512640 137138936 4286597552 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 5474 3031 192 642 0 4830 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21896

[startup+12.7007 s]
/proc/loadavg: 2.05 2.06 2.01 3/528 20421
/proc/meminfo: memFree=24862732/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=24856 CPUtime=12.69 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 3834 0 0 0 1265 4 0 0 25 0 1 0 908378573 25452544 3787 33554432000 134512640 137138936 4286597552 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 6214 3787 192 642 0 5570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24856

[startup+25.5005 s]
/proc/loadavg: 2.04 2.06 2.01 3/528 20421
/proc/meminfo: memFree=24862476/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=24860 CPUtime=25.49 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 3835 0 0 0 2543 6 0 0 25 0 1 0 908378573 25456640 3788 33554432000 134512640 137138936 4286597552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 6215 3788 192 642 0 5571 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24860

[startup+51.101 s]
/proc/loadavg: 2.02 2.05 2.00 3/528 20422
/proc/meminfo: memFree=24857132/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=30416 CPUtime=51.09 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 5222 0 0 0 5098 11 0 0 25 0 1 0 908378573 31145984 5175 33554432000 134512640 137138936 4286597552 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 7604 5175 192 642 0 6960 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30416

[startup+102.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20423
/proc/meminfo: memFree=24854872/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=30420 CPUtime=102.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 5223 0 0 0 10212 19 0 0 25 0 1 0 908378573 31150080 5176 33554432000 134512640 137138936 4286597552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 7605 5176 192 642 0 6961 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 30420

[startup+162.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 20425
/proc/meminfo: memFree=24851568/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=32308 CPUtime=162.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 5691 0 0 0 16200 30 0 0 25 0 1 0 908378573 33083392 5644 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 8077 5644 192 642 0 7433 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32308

[startup+222.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/528 20435
/proc/meminfo: memFree=24850596/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=32300 CPUtime=222.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 5692 0 0 0 22191 39 0 0 25 0 1 0 908378573 33075200 5645 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 8075 5645 192 642 0 7431 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 32300

[startup+282.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/528 20437
/proc/meminfo: memFree=24847968/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=35444 CPUtime=282.29 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 6475 0 0 0 28181 48 0 0 25 0 1 0 908378573 36294656 6428 33554432000 134512640 137138936 4286597552 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 8861 6428 192 642 0 8217 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35444

[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20438
/proc/meminfo: memFree=24847180/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=36076 CPUtime=342.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 6634 0 0 0 34176 54 0 0 25 0 1 0 908378573 36941824 6587 33554432000 134512640 137138936 4286597552 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9019 6587 192 642 0 8375 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 36076

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20440
/proc/meminfo: memFree=24847372/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=36040 CPUtime=402.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 6634 0 0 0 40169 61 0 0 25 0 1 0 908378573 36904960 6586 33554432000 134512640 137138936 4286597552 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9010 6586 192 642 0 8366 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 36040

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20442
/proc/meminfo: memFree=24848172/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=36032 CPUtime=462.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 6634 0 0 0 46162 68 0 0 25 0 1 0 908378573 36896768 6584 33554432000 134512640 137138936 4286597552 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9008 6584 192 642 0 8364 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36032

[startup+522.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/528 20443
/proc/meminfo: memFree=24844896/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=38664 CPUtime=522.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7286 0 0 0 52151 79 0 0 25 0 1 0 908378573 39591936 7236 33554432000 134512640 137138936 4286597552 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9666 7236 192 642 0 9022 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 38664

[startup+582.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/528 20445
/proc/meminfo: memFree=24845452/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=38656 CPUtime=582.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7286 0 0 0 58143 88 0 0 25 0 1 0 908378573 39583744 7236 33554432000 134512640 137138936 4286597552 18446744073709551615 134618314 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9664 7236 192 642 0 9020 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 38656

[startup+642.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/528 20446
/proc/meminfo: memFree=24844924/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=38648 CPUtime=642.32 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7286 0 0 0 64138 94 0 0 25 0 1 0 908378573 39575552 7236 33554432000 134512640 137138936 4286597552 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9662 7236 192 642 0 9018 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 38648

[startup+702.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20448
/proc/meminfo: memFree=24844992/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=38688 CPUtime=702.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7292 0 0 0 70129 101 0 0 25 0 1 0 908378573 39616512 7242 33554432000 134512640 137138936 4286597552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9672 7242 192 642 0 9028 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 38688

[startup+762.32 s]
/proc/loadavg: 2.16 2.06 2.01 3/528 20450
/proc/meminfo: memFree=24844064/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=39836 CPUtime=762.33 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7583 0 0 0 76125 108 0 0 25 0 1 0 908378573 40792064 7533 33554432000 134512640 137138936 4286597552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9959 7533 192 642 0 9315 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 39836

[startup+822.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 20451
/proc/meminfo: memFree=24843892/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=39832 CPUtime=822.3 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7583 0 0 0 82115 115 0 0 25 0 1 0 908378573 40787968 7533 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9958 7533 192 642 0 9314 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 39832

[startup+882.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 20453
/proc/meminfo: memFree=24843712/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=39860 CPUtime=882.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7586 0 0 0 88108 123 0 0 25 0 1 0 908378573 40816640 7536 33554432000 134512640 137138936 4286597552 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 9965 7536 192 642 0 9321 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 39860

[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20454
/proc/meminfo: memFree=24843268/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40500 CPUtime=942.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 94100 131 0 0 25 0 1 0 908378573 41472000 7701 33554432000 134512640 137138936 4286597552 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10125 7701 192 642 0 9481 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 40500

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20456
/proc/meminfo: memFree=24843340/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40492 CPUtime=1002.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 100089 142 0 0 25 0 1 0 908378573 41463808 7699 33554432000 134512640 137138936 4286597552 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10123 7699 192 642 0 9479 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 40492

[startup+1062.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20458
/proc/meminfo: memFree=24843020/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1062.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 106076 155 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 40384

[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/528 20459
/proc/meminfo: memFree=24843212/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1122.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 112067 164 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 134575191 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 40384

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

[startup+1126.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/528 20459
/proc/meminfo: memFree=24842592/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1126.33 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 112468 165 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1126.33
Current children cumulated vsize (KiB) 40384

[startup+1132.7 s]
/proc/loadavg: 2.08 2.04 2.00 3/528 20459
/proc/meminfo: memFree=24842092/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1132.72 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 113106 166 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1132.72
Current children cumulated vsize (KiB) 40384

[startup+1139.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20460
/proc/meminfo: memFree=24842084/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1139.12 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 113745 167 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1139.12
Current children cumulated vsize (KiB) 40384

[startup+1140.72 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20460
/proc/meminfo: memFree=24843076/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1140.73 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 113906 167 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1140.73
Current children cumulated vsize (KiB) 40384

[startup+1142.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20460
/proc/meminfo: memFree=24843076/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1142.31 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 114064 167 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1142.31
Current children cumulated vsize (KiB) 40384

[startup+1142.7 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20460
/proc/meminfo: memFree=24843076/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1142.71 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 114104 167 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 136505219 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1142.71
Current children cumulated vsize (KiB) 40384

[startup+1143.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20460
/proc/meminfo: memFree=24843572/32951124 swapFree=56241860/67111528
[pid=20419] ppid=20417 vsize=40384 CPUtime=1143.11 cores=1,3,5,7
/proc/20419/stat : 20419 (bsolo) R 20417 20419 18760 0 -1 4202496 7772 0 0 0 114144 167 0 0 25 0 1 0 908378573 41353216 7672 33554432000 134512640 137138936 4286597552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20419/statm: 10096 7672 192 642 0 9452 0
Current children cumulated CPU time (s) 1143.11
Current children cumulated vsize (KiB) 40384

Child status: 0
Real time (s): 1143.11
CPU time (s): 1143.14
CPU user time (s): 1141.45
CPU system time (s): 1.68174
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 40604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1141.45
system time used= 1.68174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7773
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= 5
involuntary context switches= 1961

runsolver used 5.68713 second user time and 14.0729 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 11:57:59
IDJOB=3462612
IDBENCH=48028
IDSOLVER=1955
FILE ID=node119/3462612-1307181479
RUNJOBID= node119-1307174996-19888
PBS_JOBID= 13508823
Free space on /tmp= 73660 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462612-1307181479/watcher-3462612-1307181479 -o /tmp/evaluation-result-3462612-1307181479/solver-3462612-1307181479 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462612-1307181479.opb

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

MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452
RANDOM SEED=1208982293

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24879704 kB
Buffers:        246272 kB
Cached:         602000 kB
SwapCached:      59076 kB
Active:         750628 kB
Inactive:      7022864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24879704 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            4008 kB
Writeback:           4 kB
AnonPages:     6869708 kB
Mapped:          34168 kB
Slab:           149740 kB
PageTables:      79292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163916032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73656 MiB
End job on node119 at 2011-06-04 12:17:02