Trace number 3721550

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: minisat+ 1.14OPT8034 376.615 376.69

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
MD5SUMdfa433e4e6a88cd1c776cef0a80ce991
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8034
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8034
Optimality of the best value was proved YES
Number of variables210
Total number of constraints220
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 210
Biggest coefficient in the objective function 2937
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 109101
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2937
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 109101
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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 Parsing PB file...
0.00/0.00	c Converting 240 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: ####################
0.00/0.00	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................
0.00/0.00	c ---[ 238]---> BDD-cost:   17
0.00/0.00	c ---[ 236]---> BDD-cost:   17
0.00/0.00	c ---[ 234]---> BDD-cost:   17
0.00/0.00	c ---[ 232]---> BDD-cost:   17
0.00/0.00	c ---[ 230]---> BDD-cost:   17
0.00/0.00	c ---[ 228]---> BDD-cost:   17
0.00/0.00	c ---[ 226]---> BDD-cost:   17
0.00/0.00	c ---[ 224]---> BDD-cost:   17
0.00/0.00	c ---[ 222]---> BDD-cost:   17
0.00/0.00	c ---[ 220]---> BDD-cost:   17
0.00/0.00	c ---[ 218]---> BDD-cost:   17
0.00/0.00	c ---[ 216]---> BDD-cost:   17
0.00/0.00	c ---[ 214]---> BDD-cost:   17
0.00/0.00	c ---[ 212]---> BDD-cost:   17
0.00/0.00	c ---[ 210]---> BDD-cost:   17
0.00/0.00	c ---[ 208]---> BDD-cost:   17
0.00/0.00	c ---[ 206]---> BDD-cost:   17
0.00/0.00	c ---[ 204]---> BDD-cost:   17
0.00/0.00	c ---[ 202]---> BDD-cost:   17
0.00/0.00	c ---[ 200]---> BDD-cost:   17
0.00/0.00	c ==================================[MINISAT+]==================================
0.00/0.00	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    1040     2600 |     346       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Found solution: 9519
0.00/0.00	o 9519
0.00/0.00	c ---[   0]---> Sorter-cost:62168     Base: 2 3 3 2 3 3
0.59/0.66	c ==================================[MINISAT+]==================================
0.59/0.66	c | Conflicts | Original         | Learnt                           | Progress |
0.59/0.66	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.59/0.66	c ==============================================================================
0.59/0.66	c |         0 |  158216   369717 |   52738       0        0     nan |  0.000 % |
0.69/0.74	c |       100 |  158216   369717 |   58011     100     1051    10.5 |  0.037 % |
0.79/0.87	c |       251 |  158216   369717 |   63812     251    42082   167.7 |  0.037 % |
1.10/1.11	c |       478 |  158216   369717 |   70194     478    80353   168.1 |  0.037 % |
1.29/1.39	c |       816 |  158162   369595 |   77213     815   132211   162.2 |  0.059 % |
2.20/2.28	c |      1324 |  157749   368661 |   84935    1265   186086   147.1 |  0.247 % |
4.19/4.21	c |      2084 |  157749   368661 |   93428    2025   335648   165.8 |  0.247 % |
5.09/5.13	c |      3223 |  156898   366728 |  102771    3155   457707   145.1 |  0.664 % |
7.99/8.03	c |      4933 |  156079   364865 |  113048    4850   803075   165.6 |  1.071 % |
11.69/11.76	c |      7496 |  156079   364865 |  124353    7413  1166811   157.4 |  1.071 % |
16.28/16.32	c |     11341 |  155733   364077 |  136788   11255  1735486   154.2 |  1.241 % |
25.69/25.72	c |     17107 |  155141   362722 |  150467   17014  3085988   181.4 |  1.550 % |
36.88/36.97	c |     25756 |  154866   362102 |  165514   25656  4855834   189.3 |  1.676 % |
56.47/56.50	c |     38730 |  154035   360201 |  182065   38547  7818863   202.8 |  2.100 % |
66.66/66.77	c ==============================================================================
66.66/66.77	c Found solution: 9479
66.66/66.77	o 9479
66.66/66.77	c ---[   0]---> Sorter-cost:   10     Base: 2 3 3 2 3 3
67.36/67.41	c ==================================[MINISAT+]==================================
67.36/67.41	c | Conflicts | Original         | Learnt                           | Progress |
67.36/67.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
67.36/67.41	c ==============================================================================
67.36/67.41	c |     45126 |  154304   361367 |   51434   44916  8870539   197.5 |  2.100 % |
67.46/67.57	c |     45228 |  154304   361367 |   56577   45018  8881144   197.3 |  2.382 % |
67.66/67.75	c |     45379 |  154304   361367 |   62235   45169  8904901   197.1 |  2.382 % |
67.96/68.08	c |     45606 |  154304   361367 |   68458   45396  8943684   197.0 |  2.382 % |
68.36/68.44	c |     45943 |  154304   361367 |   75304   45733  8979519   196.3 |  2.382 % |
69.06/69.18	c |     46449 |  153899   360439 |   82834   46236  9039754   195.5 |  2.594 % |
70.06/70.16	c |     47208 |  153899   360439 |   91118   46995  9083614   193.3 |  2.594 % |
70.38/70.42	c ==============================================================================
70.38/70.42	c Found solution: 9113
70.38/70.42	o 9113
70.38/70.42	c ---[   0]---> Sorter-cost:    7     Base: 2 3 3 2 3 3
70.97/71.05	c ==================================[MINISAT+]==================================
70.97/71.05	c | Conflicts | Original         | Learnt                           | Progress |
70.97/71.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
70.97/71.05	c ==============================================================================
70.97/71.05	c |     47360 |  153915   360570 |   51305   47147  9133040   193.7 |  2.594 % |
71.17/71.20	c |     47462 |  153915   360570 |   56435   47249  9149553   193.6 |  2.596 % |
71.48/71.51	c |     47613 |  153915   360570 |   62079   47400  9182066   193.7 |  2.596 % |
71.77/71.83	c |     47840 |  153915   360570 |   68286   47627  9225076   193.7 |  2.596 % |
71.97/72.09	c |     48179 |  153915   360570 |   75115   47966  9247108   192.8 |  2.596 % |
72.97/73.04	c |     48686 |  153915   360570 |   82627   48473  9360589   193.1 |  2.596 % |
74.17/74.28	c |     49445 |  153088   358690 |   90889   49194  9385065   190.8 |  3.006 % |
77.17/77.20	c |     50586 |  153088   358690 |   99978   50335  9656117   191.8 |  3.006 % |
79.57/79.69	c |     52294 |  153088   358690 |  109976   52043 10131021   194.7 |  3.006 % |
87.87/87.95	c |     54856 |  153088   358690 |  120974   54605 10576096   193.7 |  3.006 % |
95.36/95.47	c |     58700 |  152868   358189 |  133071   58446 11172470   191.2 |  3.116 % |
117.36/117.40	c |     64466 |  152274   356826 |  146379   64205 12741655   198.5 |  3.425 % |
124.96/125.08	c ==============================================================================
124.96/125.08	c Found solution: 8447
124.96/125.08	o 8447
124.96/125.09	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
125.66/125.74	c ==================================[MINISAT+]==================================
125.66/125.74	c | Conflicts | Original         | Learnt                           | Progress |
125.66/125.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
125.66/125.74	c ==============================================================================
125.66/125.74	c |     68935 |  151275   354529 |   50425   68632 13973382   203.6 |  3.425 % |
125.86/125.93	c |     69035 |  151091   354111 |   55467   17349  3257794   187.8 |  4.058 % |
126.47/126.55	c |     69186 |  151091   354111 |   61014   17500  3277511   187.3 |  4.058 % |
127.16/127.22	c |     69412 |  151091   354111 |   67115   17726  3305752   186.5 |  4.058 % |
127.47/127.56	c |     69749 |  151091   354111 |   73827   18063  3367771   186.4 |  4.058 % |
128.26/128.33	c |     70255 |  150760   353348 |   81209   18564  3433762   185.0 |  4.235 % |
129.77/129.84	c |     71016 |  150760   353348 |   89330   19325  3556457   184.0 |  4.235 % |
131.87/131.91	c |     72155 |  150760   353348 |   98264   20464  3769889   184.2 |  4.235 % |
135.06/135.15	c |     73867 |  150752   353330 |  108090   22175  4058035   183.0 |  4.239 % |
135.27/135.32	c ==============================================================================
135.27/135.32	c Found solution: 8119
135.27/135.32	o 8119
135.27/135.32	c ---[   0]---> Sorter-cost:    8     Base: 2 3 3 2 3 3
135.86/135.93	c ==================================[MINISAT+]==================================
135.86/135.93	c | Conflicts | Original         | Learnt                           | Progress |
135.86/135.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
135.86/135.93	c ==============================================================================
135.86/135.93	c |     73999 |  150776   353479 |   50258   22307  4079045   182.9 |  4.239 % |
135.96/136.01	c |     74101 |  150776   353479 |   55283   22409  4083892   182.2 |  4.239 % |
136.37/136.42	c |     74252 |  150776   353479 |   60812   22560  4108863   182.1 |  4.239 % |
136.56/136.69	c |     74477 |  150776   353479 |   66893   22785  4135708   181.5 |  4.239 % |
136.96/137.03	c |     74814 |  150776   353479 |   73582   23122  4170009   180.3 |  4.239 % |
137.76/137.87	c |     75320 |  150697   353298 |   80941   23627  4256555   180.2 |  4.281 % |
138.76/138.88	c |     76081 |  150697   353298 |   89035   24388  4373544   179.3 |  4.281 % |
140.67/140.78	c |     77220 |  150697   353298 |   97938   25527  4519378   177.0 |  4.281 % |
140.96/141.04	c ==============================================================================
140.96/141.04	c Found solution: 8061
140.96/141.04	o 8061
140.96/141.04	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
141.56/141.66	c ==================================[MINISAT+]==================================
141.56/141.66	c | Conflicts | Original         | Learnt                           | Progress |
141.56/141.66	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
141.56/141.66	c ==============================================================================
141.56/141.66	c |     77480 |  150707   353326 |   50235   25787  4563868   177.0 |  4.281 % |
141.66/141.76	c |     77581 |  150707   353326 |   55258   25888  4570968   176.6 |  4.282 % |
141.77/141.87	c |     77731 |  150707   353326 |   60784   26038  4575940   175.7 |  4.282 % |
142.06/142.11	c |     77956 |  150707   353326 |   66862   26263  4587739   174.7 |  4.282 % |
142.36/142.41	c |     78294 |  150632   353155 |   73549   26600  4612597   173.4 |  4.321 % |
142.66/142.78	c |     78801 |  150632   353155 |   80903   27107  4652896   171.6 |  4.322 % |
144.07/144.12	c |     79560 |  149739   351086 |   88994   27827  4751119   170.7 |  4.821 % |
146.36/146.41	c |     80701 |  149739   351086 |   97893   28968  4940040   170.5 |  4.821 % |
148.37/148.41	c |     82411 |  149739   351086 |  107683   30678  5046941   164.5 |  4.821 % |
153.06/153.13	c |     84974 |  149733   351072 |  118451   33240  5453656   164.1 |  4.824 % |
162.36/162.45	c |     88818 |  149733   351072 |  130296   37084  6045873   163.0 |  4.824 % |
172.06/172.19	c |     94584 |  149567   350698 |  143326   42845  6879142   160.6 |  4.900 % |
191.95/192.03	c |    103233 |  149567   350698 |  157658   51494  8129904   157.9 |  4.900 % |
218.65/218.79	c |    116210 |  149567   350698 |  173424   64471 10284065   159.5 |  4.900 % |
251.34/251.44	c ==============================================================================
251.34/251.44	c Found solution: 8034
251.34/251.44	o 8034
251.34/251.44	c ---[   0]---> Sorter-cost:    6     Base: 2 3 3 2 3 3
252.04/252.10	c ==================================[MINISAT+]==================================
252.04/252.10	c | Conflicts | Original         | Learnt                           | Progress |
252.04/252.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
252.04/252.10	c ==============================================================================
252.04/252.10	c |    130778 |  149575   350716 |   49858   79039 12409650   157.0 |  4.900 % |
252.24/252.39	c |    130879 |  149575   350716 |   54843   22063  2111301    95.7 |  4.902 % |
252.44/252.57	c |    131029 |  149358   350221 |   60328   22186  2124379    95.8 |  5.010 % |
252.74/252.87	c |    131256 |  149358   350221 |   66360   22413  2139276    95.4 |  5.010 % |
253.24/253.37	c |    131594 |  149358   350221 |   72997   22751  2175400    95.6 |  5.010 % |
253.84/253.90	c |    132100 |  149358   350221 |   80296   23257  2221907    95.5 |  5.010 % |
255.44/255.57	c |    132859 |  149358   350221 |   88326   24016  2337006    97.3 |  5.010 % |
258.04/258.12	c |    133998 |  149358   350221 |   97159   25155  2532525   100.7 |  5.010 % |
261.04/261.17	c |    135706 |  149358   350221 |  106875   26863  2721508   101.3 |  5.010 % |
267.44/267.50	c |    138270 |  149358   350221 |  117562   29427  3175913   107.9 |  5.010 % |
273.74/273.88	c |    142115 |  149338   350181 |  129318   33270  3604292   108.3 |  5.026 % |
285.73/285.86	c |    147881 |  149064   349557 |  142250   39033  4505468   115.4 |  5.156 % |
306.93/307.00	c |    156530 |  149064   349557 |  156475   47682  5901601   123.8 |  5.156 % |
334.92/335.08	c |    169506 |  149064   349557 |  172123   60658  8133967   134.1 |  5.156 % |
376.52/376.68	c ==============================================================================
376.52/376.68	c Optimal solution: 8034
376.52/376.68	s OPTIMUM FOUND
376.52/376.68	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
376.52/376.68	c _______________________________________________________________________________
376.52/376.68	c 
376.52/376.68	c restarts              : 79
376.52/376.68	c conflicts             : 186379         (495 /sec)
376.52/376.68	c decisions             : 361659         (960 /sec)
376.52/376.68	c propagations          : 0              (0 /sec)
376.52/376.68	c inspects              : 0              (0 /sec)
376.52/376.68	c CPU time              : 376.569 s
376.52/376.68	c _______________________________________________________________________________

Verifier Data 

OK	8034

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-3721550-1338557599/watcher-3721550-1338557599 -o /tmp/evaluation-result-3721550-1338557599/solver-3721550-1338557599 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721550-1338557599.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6703
/proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=1280 CPUtime=0 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 178 0 0 0 0 0 0 0 20 0 1 0 321885336 1310720 136 33554432000 134512640 135395479 4292774496 4292773200 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 320 136 88 216 0 102 0

[startup+0.095448 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6703
/proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=2092 CPUtime=0.09 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 9 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292771280 134530472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 523 370 106 216 0 305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2092

[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6703
/proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=2092 CPUtime=0.09 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 9 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292772388 134679807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 523 370 106 216 0 305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2092

[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6703
/proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=2092 CPUtime=0.29 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 29 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292772516 135003881 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 523 370 106 216 0 305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2092

[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 6703
/proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=14724 CPUtime=0.69 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3510 0 0 0 69 0 0 0 20 0 1 0 321885336 15077376 3250 33554432000 134512640 135395479 4292774496 4292772848 134581186 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 3681 3250 108 216 0 3463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14724

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28060596/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=15500 CPUtime=1.49 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3707 0 0 0 149 0 0 0 20 0 1 0 321885336 15872000 3447 33554432000 134512640 135395479 4292774496 4292772800 134580320 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 3875 3447 111 216 0 3657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15500

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28059860/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=16140 CPUtime=3.09 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3860 0 0 0 309 0 0 0 20 0 1 0 321885336 16527360 3600 33554432000 134512640 135395479 4292774496 4292772368 134573956 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 4035 3600 111 216 0 3817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16140

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28057372/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=17444 CPUtime=6.29 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 4212 0 0 0 629 0 0 0 20 0 1 0 321885336 17862656 3952 33554432000 134512640 135395479 4292774496 4292772332 135011021 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 4361 3952 111 216 0 4143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17444

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28052800/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=20544 CPUtime=12.69 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 4984 0 0 0 1269 0 0 0 20 0 1 0 321885336 21037056 4724 33554432000 134512640 135395479 4292774496 4292772216 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 5136 4724 111 216 0 4918 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20544

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28044380/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=27796 CPUtime=25.49 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 6803 0 0 0 2548 1 0 0 20 0 1 0 321885336 28463104 6543 33554432000 134512640 135395479 4292774496 4292772368 134573956 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 6949 6543 111 216 0 6731 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27796

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 6704
/proc/meminfo: memFree=28029592/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=42732 CPUtime=51.07 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 10545 0 0 0 5105 2 0 0 20 0 1 0 321885336 43757568 10273 33554432000 134512640 135395479 4292774496 4292772368 134574254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 10683 10273 111 216 0 10465 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42732

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 1.92 3/177 6704
/proc/meminfo: memFree=28007528/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=64368 CPUtime=102.27 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 15983 0 0 0 10224 3 0 0 20 0 1 0 321885336 65912832 15669 33554432000 134512640 135395479 4292774496 4292772848 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 16092 15669 111 216 0 15874 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64368

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 6704
/proc/meminfo: memFree=27997980/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73732 CPUtime=162.26 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18435 0 0 0 16222 4 0 0 20 0 1 0 321885336 75501568 18017 33554432000 134512640 135395479 4292774496 4292772368 134574354 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18433 18017 111 216 0 18215 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 73732

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 6704
/proc/meminfo: memFree=27998104/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73732 CPUtime=222.25 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18435 0 0 0 22221 4 0 0 20 0 1 0 321885336 75501568 18017 33554432000 134512640 135395479 4292774496 4292772368 134574340 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18433 18017 111 216 0 18215 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 73732

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/176 6705
/proc/meminfo: memFree=27998892/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=282.23 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18498 0 0 0 28219 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772848 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 73728

[startup+342.3 s]
/proc/loadavg: 2.09 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=342.22 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 34218 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574462 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 73728

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

[startup+358.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=358.22 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 35818 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134573987 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 358.22
Current children cumulated vsize (KiB) 73728

[startup+364.7 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=364.62 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 36458 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772464 134579871 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 364.62
Current children cumulated vsize (KiB) 73728

[startup+371.1 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=371.02 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37098 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574132 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 371.02
Current children cumulated vsize (KiB) 73728

[startup+374.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=374.22 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37418 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772848 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 374.22
Current children cumulated vsize (KiB) 73728

[startup+375.9 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=375.82 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37578 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772960 134588692 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 375.82
Current children cumulated vsize (KiB) 73728

[startup+376.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=376.22 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37618 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 376.22
Current children cumulated vsize (KiB) 73728

[startup+376.5 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=376.42 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37638 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772464 134577203 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 376.42
Current children cumulated vsize (KiB) 73728

[startup+376.6 s]
/proc/loadavg: 2.05 2.02 1.93 3/177 6706
/proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384
[pid=6703] ppid=6701 vsize=73728 CPUtime=376.52 cores=0,2,4,6
/proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37648 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574417 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/6703/statm: 18432 18026 111 216 0 18214 0
Current children cumulated CPU time (s) 376.52
Current children cumulated vsize (KiB) 73728

Child status: 30
Real time (s): 376.69
CPU time (s): 376.615
CPU user time (s): 376.571
CPU system time (s): 0.043993
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 73760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.571
system time used= 0.043993
maximum resident set size= 72276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18504
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= 29
involuntary context switches= 457

runsolver used 0.581911 second user time and 1.47778 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-01 15:33:19
IDJOB=3721550
IDBENCH=24970
IDSOLVER=2306
FILE ID=node136/3721550-1338557599
RUNJOBID= node136-1338552574-5765
PBS_JOBID= 14635848
Free space on /tmp= 69840 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721550-1338557599/watcher-3721550-1338557599 -o /tmp/evaluation-result-3721550-1338557599/solver-3721550-1338557599 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721550-1338557599.opb            

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

MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991
RANDOM SEED=399521468

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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:       32873844 kB
MemFree:        28073624 kB
Buffers:          527488 kB
Cached:          3079908 kB
SwapCached:        20296 kB
Active:          2116936 kB
Inactive:        1817908 kB
Active(anon):     302316 kB
Inactive(anon):    22296 kB
Active(file):    1814620 kB
Inactive(file):  1795612 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083200 kB
Dirty:              2312 kB
Writeback:             0 kB
AnonPages:        310184 kB
Mapped:             9616 kB
Shmem:                 0 kB
Slab:             728332 kB
SReclaimable:     169384 kB
SUnreclaim:       558948 kB
KernelStack:        1496 kB
PageTables:         4124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     427088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    272384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721550-1338557599.opb

Free space on /tmp at the end= 69840 MiB
End job on node136 at 2012-06-01 15:39:36