Trace number 3462628

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.2SAT161 1798 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
MD5SUM0f650891245dab338bc3d2f3a3dc10c7
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.235963
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 variables189
Total number of constraints15
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 constraints15
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)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3462628-1307181512.opb
0.00/0.01	c File size is 10107 bytes.
0.00/0.01	c Highest Coefficient sum: 523264
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963
0.00/0.01	c Obj. Vars: 9 (1.19048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.005 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    756     1156     4842    4     4165    6471      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
437.49/437.58	c      101    756     1352    14371   10     4672    7119    196   4809 0.02
437.49/437.58	c      251    756     1649    32138   19     5308    7831    493   5229 0.05
437.49/437.58	c      476    756     2089    62214   29     6562    8615    933   5288 0.09
437.49/437.58	c      815    756     2739   107839   39     8178    9477   1583   5699 0.14
437.49/437.58	c     1323    756     3733   168744   45    10904   10425   2577   5444 0.24
437.49/437.58	c     2087    756     5230   280196   53    15014   11468   4074   4775 0.44
437.49/437.58	c     3234    756     7471   432294   57    20906   12615   6315   4012 0.81
437.49/437.58	c     4957    756    10801   642395   59    29769   13877   9645   3088 1.60
437.49/437.58	c     7541    756     8643   539949   62    23063   15265   7487   2683 2.81
437.49/437.58	c    11421    756    16141   998739   61    43121   16792  14985   2568 4.45
437.49/437.58	c    17244    756    10464   567350   54    27828   18472   9308   2087 8.26
437.49/437.58	c    25982    756    17606  1363581   77    44655   20320  16450   2065 12.58
437.49/437.58	c    39093    756    21300  1936221   90    52300   22353  20144   1726 22.64
437.49/437.58	c    58764    756    23336  1451886   62    59517   24589  22180   1523 38.57
437.49/437.58	c    88276    756    16838  1116402   66    43674   27048  15682   1419 62.18
437.49/437.58	c   132546    756    20861  1226572   58    55700   29753  19705   1361 97.37
437.49/437.58	c   198956    756    26586  1794707   67    68607   32729  25430   1188 167.44
437.49/437.58	c   298576    756    18464  1222744   66    49222   36002  17308   1089 274.12
437.49/437.58	o 467
1373.31/1373.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1373.31/1373.33	c   442294    756    30625  2346881   76    74174    6489  29469   1010 437.59
1373.31/1373.33	c   442394    756     4593   271902   59    11654    7138   3437   1009 438.16
1373.31/1373.33	c   442645    756     5004   306040   61    12620    7852   3848   1009 438.30
1373.31/1373.33	c   443120    756     5925   372073   62    14892    8638   4769   1010 438.40
1373.31/1373.33	c   443934    756     7475   478713   64    18838    9502   6319   1012 438.63
1373.31/1373.33	c   445254    756     9893   702044   70    25043   10453   8737   1013 439.17
1373.31/1373.33	c   447335    756     7937   533983   67    21047   11499   6781   1017 439.79
1373.31/1373.33	c   450558    756     7695   490683   63    20764   12649   6539   1021 441.12
1373.31/1373.33	c   455496    756    10295   643336   62    27696   13914   9139   1028 442.77
1373.31/1373.33	c   463004    756    10023   664774   66    25968   15306   8867   1035 447.25
1373.31/1373.33	c   474365    756    15318  1102563   71    39075   16837  14162   1043 454.64
1373.31/1373.33	c   491510    756    13109   851993   64    34256   18521  11953   1054 466.18
1373.31/1373.33	c   517329    756    13971   929215   66    36421   20374  12815   1076 480.52
1373.31/1373.33	c   556162    756    14097   905595   64    36681   22412  12941   1095 507.73
1373.31/1373.33	c   614514    756    22639  1509389   66    59233   24654  21483   1109 554.00
1373.31/1373.33	c   702147    756    15557   983804   63    40832   27120  14401   1110 632.02
1373.31/1373.33	c   833699    756    17607  1017680   57    46602   29833  16451   1095 761.18
1373.31/1373.33	c  1031131    756    29147  2084501   71    76916   32817  27991   1094 942.50
1373.31/1373.33	c  1327384    756    19905  1391206   69    51381   36099  18749   1078 1231.30
1373.31/1373.33	o 257
1663.02/1663.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1663.02/1663.03	c  1463588    755    22865  1566218   68    57519    6489  21709   1065 1373.36
1663.02/1663.03	c  1463688    755     4567   249536   54    11827    7138   3411   1065 1373.58
1663.02/1663.03	c  1463939    755     5013   283956   56    12766    7852   3857   1065 1373.62
1663.02/1663.03	c  1464415    755     5889   347888   59    14762    8638   4733   1066 1373.72
1663.02/1663.03	c  1465229    755     7373   451875   61    18594    9502   6217   1066 1374.07
1663.02/1663.03	c  1466550    755     9797   621487   63    24754   10453   8641   1066 1374.63
1663.02/1663.03	c  1468631    755     8251   508972   61    21855   11499   7095   1067 1375.73
1663.02/1663.03	c  1471854    755     8421   493842   58    23037   12649   7265   1068 1377.06
1663.02/1663.03	c  1476790    755    11494   625241   54    33281   13914  10338   1070 1379.28
1663.02/1663.03	c  1484296    755    10523   747974   71    27005   15306   9367   1073 1383.15
1663.02/1663.03	c  1495657    755    15722  1069917   68    42834   16837  14566   1077 1388.53
1663.02/1663.03	c  1512801    755    13587   841909   61    36233   18521  12431   1079 1401.54
1663.02/1663.03	c  1538620    755    15268   898889   58    42611   20374  14112   1083 1420.56
1663.02/1663.03	c  1577454    755    14616   984548   67    38250   22412  13460   1092 1444.32
1663.02/1663.03	c  1635806    755    21688  1497699   69    51414   24654  20532   1093 1495.71
1663.02/1663.03	c  1723439    755    18701  1275019   68    47205   27120  17545   1092 1577.66
1663.02/1663.03	o 161
1797.92/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.96	c  1836892    755    14719   989376   67    37530    6489  13563   1104 1663.32
1797.92/1797.96	c  1836992    755     4580   268337   58    11922    7138   3424   1104 1663.44
1797.92/1797.96	c  1837245    755     5017   306612   61    12812    7852   3861   1104 1663.51
1797.92/1797.96	c  1837720    755     5866   369674   63    14862    8638   4710   1104 1663.63
1797.92/1797.96	c  1838541    744     7314   477497   65    18445    9502   6158   1104 1664.08
1797.92/1797.96	c  1839861    744     9741   664555   68    24794   10453   8585   1105 1664.48
1797.92/1797.96	c  1841943    744     8111   516568   63    21849   11499   6955   1106 1665.09
1797.92/1797.96	c  1845167    744     8287   493926   59    22538   12649   7131   1107 1666.65
1797.92/1797.96	c  1850104    744    10751   661498   61    28433   13914   9595   1107 1670.37
1797.92/1797.96	c  1857611    744    10052   608258   60    26172   15306   8896   1108 1676.46
1797.92/1797.96	c  1868972    744    15570  1031114   66    40654   16837  14414   1110 1682.67
1797.92/1797.96	c  1886116    744    13481   888887   65    34706   18521  12325   1113 1694.53
1797.92/1797.96	c  1911936    744    13184   780796   59    36244   20374  12028   1115 1714.07
1797.92/1797.96	c  1950769    744    21461  1348320   62    56565   22412  20305   1114 1749.69
1797.92/1797.96	c  2009122    744    15037   939905   62    39857   24654  13881   1117 1797.73
1797.92/1797.96	c Resources Exceeded
1797.92/1797.96	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 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 -x135 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 x108 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 
1797.92/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.96	c   68  2009921  19034  2083638    16614  1028067  15458   1117 1798.00
1797.92/1797.96	c Objective: 161
1797.92/1797.96	s SATISFIABLE
1797.92/1797.96	c Total time: 1798 s

Verifier Data 

OK	161

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-3462628-1307181512/watcher-3462628-1307181512 -o /tmp/evaluation-result-3462628-1307181512/solver-3462628-1307181512 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462628-1307181512.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.11 2.05 2.01 3/511 7180
/proc/meminfo: memFree=16577536/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=11056 CPUtime=0 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 381 0 0 0 0 0 0 0 25 0 1 0 810567367 11321344 333 33554432000 134512640 137138936 4288095264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 2764 333 186 642 0 2120 0

[startup+0.0519481 s]
/proc/loadavg: 2.11 2.05 2.01 3/511 7180
/proc/meminfo: memFree=16577536/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=11436 CPUtime=0.04 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 470 0 0 0 4 0 0 0 25 0 1 0 810567367 11710464 422 33554432000 134512640 137138936 4288095264 18446744073709551615 134601121 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 2859 423 192 642 0 2215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11436

[startup+0.10096 s]
/proc/loadavg: 2.11 2.05 2.01 3/511 7180
/proc/meminfo: memFree=16577536/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=11948 CPUtime=0.09 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 595 0 0 0 9 0 0 0 25 0 1 0 810567367 12234752 547 33554432000 134512640 137138936 4288095264 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 2987 547 192 642 0 2343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11948

[startup+0.300951 s]
/proc/loadavg: 2.11 2.05 2.01 3/511 7180
/proc/meminfo: memFree=16577536/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=13992 CPUtime=0.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 1097 0 0 0 29 0 0 0 25 0 1 0 810567367 14327808 1049 33554432000 134512640 137138936 4288095264 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 3498 1049 192 642 0 2854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13992

[startup+0.700858 s]
/proc/loadavg: 2.11 2.05 2.01 3/511 7180
/proc/meminfo: memFree=16577536/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=16828 CPUtime=0.68 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 1813 0 0 0 68 0 0 0 25 0 1 0 810567367 17231872 1765 33554432000 134512640 137138936 4288095264 18446744073709551615 136511136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 4207 1765 192 642 0 3563 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16828

[startup+1.50072 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 7181
/proc/meminfo: memFree=16567608/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=20032 CPUtime=1.49 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 2619 0 0 0 148 1 0 0 25 0 1 0 810567367 20512768 2571 33554432000 134512640 137138936 4288095264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 5008 2571 192 642 0 4364 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20032

[startup+3.10045 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 7181
/proc/meminfo: memFree=16567484/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=25284 CPUtime=3.08 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 3932 0 0 0 307 1 0 0 25 0 1 0 810567367 25890816 3884 33554432000 134512640 137138936 4288095264 18446744073709551615 134600314 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 6321 3884 192 642 0 5677 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25284

[startup+6.30085 s]
/proc/loadavg: 2.10 2.05 2.01 4/512 7181
/proc/meminfo: memFree=16561284/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=27460 CPUtime=6.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 4474 0 0 0 627 2 0 0 25 0 1 0 810567367 28119040 4426 33554432000 134512640 137138936 4288095264 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 6865 4426 192 642 0 6221 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27460

[startup+12.7007 s]
/proc/loadavg: 2.09 2.05 2.01 3/512 7181
/proc/meminfo: memFree=16558896/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=30764 CPUtime=12.68 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 5315 0 0 0 1265 3 0 0 25 0 1 0 810567367 31502336 5267 33554432000 134512640 137138936 4288095264 18446744073709551615 136504108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 7691 5267 192 642 0 7047 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30764

[startup+25.5005 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 7181
/proc/meminfo: memFree=16560248/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=41484 CPUtime=25.49 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 7990 0 0 0 2543 6 0 0 25 0 1 0 810567367 42479616 7942 33554432000 134512640 137138936 4288095264 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 10371 7942 192 642 0 9727 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41484

[startup+51.101 s]
/proc/loadavg: 2.05 2.04 2.01 3/512 7182
/proc/meminfo: memFree=16552344/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=41492 CPUtime=51.09 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 7993 0 0 0 5101 8 0 0 25 0 1 0 810567367 42487808 7945 33554432000 134512640 137138936 4288095264 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 10373 7945 192 642 0 9729 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41492

[startup+102.319 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 7183
/proc/meminfo: memFree=16545636/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=41512 CPUtime=102.31 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 8001 0 0 0 10217 14 0 0 25 0 1 0 810567367 42508288 7953 33554432000 134512640 137138936 4288095264 18446744073709551615 134555456 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 10378 7953 192 642 0 9734 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41512

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7195
/proc/meminfo: memFree=16539860/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=42940 CPUtime=162.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 8357 0 0 0 16210 19 0 0 25 0 1 0 810567367 43970560 8309 33554432000 134512640 137138936 4288095264 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 10735 8309 192 642 0 10091 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42940

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7196
/proc/meminfo: memFree=16533628/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=45108 CPUtime=222.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 8902 0 0 0 22206 23 0 0 25 0 1 0 810567367 46190592 8821 33554432000 134512640 137138936 4288095264 18446744073709551615 134542886 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 11277 8821 192 642 0 10633 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45108

[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/512 7198
/proc/meminfo: memFree=16531368/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=47416 CPUtime=282.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 9517 0 0 0 28202 27 0 0 25 0 1 0 810567367 48553984 9400 33554432000 134512640 137138936 4288095264 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 11854 9400 192 642 0 11210 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 47416

[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/512 7200
/proc/meminfo: memFree=16538416/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=48492 CPUtime=342.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 9784 0 0 0 34198 31 0 0 25 0 1 0 810567367 49655808 9667 33554432000 134512640 137138936 4288095264 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 12123 9667 192 642 0 11479 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 48492

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/512 7201
/proc/meminfo: memFree=16519796/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=54912 CPUtime=402.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 40193 36 0 0 25 0 1 0 810567367 56229888 11272 33554432000 134512640 137138936 4288095264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13728 11272 192 642 0 13084 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 54912

[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7203
/proc/meminfo: memFree=16516544/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=54748 CPUtime=462.3 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 46188 42 0 0 25 0 1 0 810567367 56061952 11263 33554432000 134512640 137138936 4288095264 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13687 11263 192 642 0 13043 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 54748

[startup+522.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/512 7204
/proc/meminfo: memFree=16513652/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=54748 CPUtime=522.3 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 52180 50 0 0 25 0 1 0 810567367 56061952 11263 33554432000 134512640 137138936 4288095264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13687 11263 192 642 0 13043 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 54748

[startup+582.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/512 7206
/proc/meminfo: memFree=16508788/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=54748 CPUtime=582.29 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 58174 55 0 0 25 0 1 0 810567367 56061952 11263 33554432000 134512640 137138936 4288095264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13687 11263 192 642 0 13043 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 54748

[startup+642.3 s]

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

/proc/meminfo: memFree=16480208/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=53808 CPUtime=1062.31 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 106135 96 0 0 25 0 1 0 810567367 55099392 11028 33554432000 134512640 137138936 4288095264 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13452 11028 192 642 0 12808 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 53808

[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/512 7220
/proc/meminfo: memFree=16463700/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=53808 CPUtime=1122.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 112131 101 0 0 25 0 1 0 810567367 55099392 11028 33554432000 134512640 137138936 4288095264 18446744073709551615 134607584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13452 11028 192 642 0 12808 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 53808

[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/512 7222
/proc/meminfo: memFree=16461460/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=53808 CPUtime=1182.31 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 118125 106 0 0 25 0 1 0 810567367 55099392 11028 33554432000 134512640 137138936 4288095264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13452 11028 192 642 0 12808 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 53808

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7224
/proc/meminfo: memFree=16473220/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=53808 CPUtime=1242.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 124120 112 0 0 25 0 1 0 810567367 55099392 11028 33554432000 134512640 137138936 4288095264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13452 11028 192 642 0 12808 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 53808

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7253
/proc/meminfo: memFree=16527388/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=51876 CPUtime=1302.33 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11389 0 0 0 130117 116 0 0 25 0 1 0 810567367 53121024 10545 33554432000 134512640 137138936 4288095264 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 12969 10545 192 642 0 12325 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 51876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/512 7256
/proc/meminfo: memFree=16516072/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=53152 CPUtime=1362.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 136112 120 0 0 25 0 1 0 810567367 54427648 10832 33554432000 134512640 137138936 4288095264 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13288 10832 192 642 0 12644 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 53152

[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/512 7257
/proc/meminfo: memFree=16515304/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1422.34 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 142106 128 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 52988

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/512 7260
/proc/meminfo: memFree=16509692/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1482.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 148098 134 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 52988

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 7263
/proc/meminfo: memFree=16503716/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1542.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 154092 140 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 52988

[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/512 7269
/proc/meminfo: memFree=16503180/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1602.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 160087 145 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 52988

[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/512 7272
/proc/meminfo: memFree=16503888/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1662.32 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 166081 151 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 52988

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/512 7274
/proc/meminfo: memFree=16504236/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1722.33 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 172073 160 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 52988

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16502852/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1782.33 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 178067 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 52988

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16502852/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1785.53 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 178387 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 52988

[startup+1791.92 s]
/proc/loadavg: 2.01 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16504088/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1791.95 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 179029 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 52988

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16504088/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1795.13 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 179347 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 52988

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16504088/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1796.72 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 179506 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 52988

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16503592/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1797.52 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 179586 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 52988

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/512 7276
/proc/meminfo: memFree=16503592/32951124 swapFree=67111204/67111528
[pid=7180] ppid=7178 vsize=52988 CPUtime=1797.92 cores=0,2,4,6
/proc/7180/stat : 7180 (bsolo) R 7178 7180 5093 0 -1 4202496 11676 0 0 0 179626 166 0 0 25 0 1 0 810567367 54259712 10823 33554432000 134512640 137138936 4288095264 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7180/statm: 13247 10823 192 642 0 12603 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 52988

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1796.33
CPU system time (s): 1.67075
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 54912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.33
system time used= 1.67075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11677
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 24575

runsolver used 9.55055 second user time and 19.899 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-04 11:58:32
IDJOB=3462628
IDBENCH=48044
IDSOLVER=1955
FILE ID=node144/3462628-1307181512
RUNJOBID= node144-1307175565-6572
PBS_JOBID= 13508845
Free space on /tmp= 73924 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462628-1307181512/watcher-3462628-1307181512 -o /tmp/evaluation-result-3462628-1307181512/solver-3462628-1307181512 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462628-1307181512.opb

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

MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7
RANDOM SEED=1109405104

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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	: 5226.16
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.850
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.75
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.850
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.850
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.75
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16580428 kB
Buffers:        313332 kB
Cached:         474996 kB
SwapCached:        140 kB
Active:       15685660 kB
Inactive:       410720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16580428 kB
SwapTotal:    67111528 kB
SwapFree:     67111204 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:    15307624 kB
Mapped:          43548 kB
Slab:           136160 kB
PageTables:      69592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 157946280 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= 73920 MiB
End job on node144 at 2011-06-04 12:28:30