Trace number 4118206

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
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)17162 1800.83 904.875

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay20h.lin.opb
MD5SUMaf621fcce4dfa863e8789357b1d9e503
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16470
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2729
Total number of constraints7357
Number of constraints which are clauses4818
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints2538
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 2729
Biggest coefficient in the objective function 22909
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 216811
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 22909
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 216811
Number of bits of the biggest sum of numbers18
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118206-1467223731.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.75/0.44	c ... done. Wall clock time 0.325s.
0.75/0.44	c declared #vars     2729
0.75/0.44	c #constraints  7358
0.75/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.75/0.45	c constraints type 
0.75/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4818
0.75/0.45	c org.sat4j.specs.Constr$1 => 1
0.75/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.75/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2538
0.75/0.45	c 7358 constraints processed.
0.75/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.75/0.45	c constraints type 
0.75/0.45	c org.sat4j.specs.Constr$1 => 1
0.75/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4818
0.75/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2538
0.75/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.75/0.45	c 7358 constraints processed.
0.75/0.45	c objective function length is 2729 literals
1.10/0.50	c And the winner is solver0
1.30/0.95	c SATISFIABLE
1.30/0.95	c OPTIMIZING...
1.30/0.95	c Got one! Elapsed wall clock time (in seconds):0.834
1.30/0.95	o 17610
1.75/1.20	c And the winner is solver0
2.35/1.48	c Got one! Elapsed wall clock time (in seconds):1.365
2.35/1.48	o 17597
2.39/1.51	c And the winner is solver0
2.48/2.01	c Got one! Elapsed wall clock time (in seconds):1.888
2.48/2.01	o 17569
2.48/2.02	c And the winner is solver0
2.52/2.51	c Got one! Elapsed wall clock time (in seconds):2.395
2.52/2.51	o 17545
2.52/2.53	c And the winner is solver0
2.62/3.03	c Got one! Elapsed wall clock time (in seconds):2.912
2.62/3.03	o 17531
2.62/3.04	c And the winner is solver0
2.63/3.53	c Got one! Elapsed wall clock time (in seconds):3.417
2.63/3.53	o 17509
2.63/3.55	c And the winner is solver0
2.68/4.04	c Got one! Elapsed wall clock time (in seconds):3.927
2.68/4.04	o 17480
2.68/4.06	c And the winner is solver0
2.71/4.55	c Got one! Elapsed wall clock time (in seconds):4.43
2.71/4.55	o 17444
2.82/4.62	c And the winner is solver0
2.98/5.05	c Got one! Elapsed wall clock time (in seconds):4.934
2.98/5.05	o 17418
2.98/5.07	c And the winner is solver0
3.09/5.56	c Got one! Elapsed wall clock time (in seconds):5.438
3.09/5.56	o 17400
3.09/5.57	c And the winner is solver0
3.11/6.06	c Got one! Elapsed wall clock time (in seconds):5.942
3.11/6.06	o 17382
5.08/6.91	c And the winner is solver0
5.15/7.06	c Got one! Elapsed wall clock time (in seconds):6.946
5.15/7.06	o 17366
5.15/7.09	c And the winner is solver0
5.27/7.57	c Got one! Elapsed wall clock time (in seconds):7.45
5.27/7.57	o 17352
5.27/7.58	c And the winner is solver0
5.29/8.07	c Got one! Elapsed wall clock time (in seconds):7.954
5.29/8.07	o 17331
5.29/8.08	c And the winner is solver0
5.30/8.57	c Got one! Elapsed wall clock time (in seconds):8.457
5.30/8.57	o 17316
5.30/8.58	c And the winner is solver0
5.30/9.08	c Got one! Elapsed wall clock time (in seconds):8.961
5.30/9.08	o 17313
5.30/9.09	c And the winner is solver0
5.30/9.58	c Got one! Elapsed wall clock time (in seconds):9.465
5.30/9.58	o 17295
7.50/10.63	c cleaning 2881 clauses out of 5762 with flag 6261/5762
10.47/12.02	c And the winner is solver0
10.47/12.09	c Got one! Elapsed wall clock time (in seconds):11.969
10.47/12.09	o 17231
11.32/12.46	c cleaning 4082 clauses out of 8164 with flag 2167/11045
15.45/14.47	c cleaning 5036 clauses out of 10082 with flag 16215/17045
16.65/15.04	c And the winner is solver0
16.65/15.09	c Got one! Elapsed wall clock time (in seconds):14.973
16.65/15.09	o 17198
16.79/15.11	c And the winner is solver0
16.81/15.59	c Got one! Elapsed wall clock time (in seconds):15.477
16.81/15.59	o 17195
16.82/15.63	c And the winner is solver0
16.91/16.10	c Got one! Elapsed wall clock time (in seconds):15.982
16.91/16.10	o 17178
16.91/16.12	c And the winner is solver0
16.93/16.61	c Got one! Elapsed wall clock time (in seconds):16.487
16.93/16.61	o 17171
17.11/16.75	c And the winner is solver0
17.28/17.11	c Got one! Elapsed wall clock time (in seconds):16.992
17.28/17.11	o 17162
20.05/18.51	c cleaning 5670 clauses out of 11340 with flag 9768/23339
24.58/20.70	c cleaning 5832 clauses out of 11670 with flag 24129/29339
29.70/23.27	c cleaning 6415 clauses out of 12838 with flag 41751/36339
35.29/26.06	c cleaning 7209 clauses out of 14424 with flag 62536/44340
42.33/29.40	c cleaning 8106 clauses out of 16214 with flag 84979/53339
50.76/33.50	c cleaning 9056 clauses out of 18111 with flag 118177/63342
58.77/37.45	c cleaning 10027 clauses out of 20053 with flag 151561/74340
67.91/41.85	c cleaning 11013 clauses out of 22025 with flag 186748/86339
77.09/46.44	c cleaning 12006 clauses out of 24012 with flag 224777/99339
87.95/51.96	c cleaning 13002 clauses out of 26007 with flag 268427/113340
99.33/57.51	c cleaning 14000 clauses out of 28005 with flag 317202/128340
110.13/62.95	c cleaning 15001 clauses out of 30005 with flag 368638/144340
122.34/69.08	c cleaning 16002 clauses out of 32003 with flag 426708/161339
134.96/75.27	c cleaning 17000 clauses out of 34002 with flag 487811/179340
148.36/81.93	c cleaning 17999 clauses out of 36002 with flag 555285/198340
164.43/90.13	c cleaning 19001 clauses out of 38002 with flag 631008/218339
181.03/98.45	c cleaning 19999 clauses out of 40001 with flag 708779/239339
197.24/106.59	c cleaning 21000 clauses out of 42002 with flag 777747/261339
215.20/115.47	c cleaning 21999 clauses out of 44002 with flag 849853/284339
234.22/124.80	c cleaning 22999 clauses out of 46003 with flag 925405/308339
253.17/134.20	c cleaning 23999 clauses out of 48004 with flag 1003503/333339
273.18/144.20	c cleaning 25001 clauses out of 50005 with flag 1080807/359339
293.77/154.48	c cleaning 25995 clauses out of 52005 with flag 1163764/386340
315.96/165.52	c cleaning 27001 clauses out of 54010 with flag 1248423/414340
341.79/178.75	c cleaning 28003 clauses out of 56010 with flag 1340497/443341
365.99/190.81	c cleaning 29002 clauses out of 58005 with flag 1433037/473339
392.48/204.07	c cleaning 29997 clauses out of 60003 with flag 1531445/504339
419.94/217.67	c cleaning 31001 clauses out of 62006 with flag 1633507/536339
448.77/231.82	c cleaning 31998 clauses out of 64007 with flag 1742567/569341
480.00/247.11	c cleaning 32999 clauses out of 66008 with flag 1851696/603340
511.34/262.65	c cleaning 33998 clauses out of 68009 with flag 1962222/638340
547.26/281.13	c cleaning 35003 clauses out of 70010 with flag 2078880/674339
579.26/297.10	c cleaning 35994 clauses out of 72008 with flag 2199875/711340
613.12/313.80	c cleaning 37006 clauses out of 74017 with flag 2326230/749343
647.63/330.95	c cleaning 38003 clauses out of 76007 with flag 2457525/788339
688.16/350.82	c cleaning 39003 clauses out of 78006 with flag 2590971/828341
731.45/372.02	c cleaning 40000 clauses out of 80002 with flag 2724929/869340
770.38/391.29	c cleaning 40999 clauses out of 82001 with flag 2866001/911339
812.50/412.94	c cleaning 41999 clauses out of 84004 with flag 3010072/954341
855.50/434.22	c cleaning 42996 clauses out of 86003 with flag 3154436/998339
898.64/455.52	c cleaning 44001 clauses out of 88007 with flag 3308125/1043339
945.47/478.65	c cleaning 44999 clauses out of 90006 with flag 3476695/1089339
993.02/502.15	c cleaning 45999 clauses out of 92007 with flag 3640336/1136339
1042.64/526.79	c cleaning 47000 clauses out of 94008 with flag 3819478/1184339
1096.14/552.97	c cleaning 48003 clauses out of 96008 with flag 4002338/1233339
1151.78/581.48	c cleaning 49001 clauses out of 98006 with flag 4174813/1283340
1207.89/609.15	c cleaning 49990 clauses out of 100004 with flag 4356742/1334339
1268.51/639.12	c cleaning 51006 clauses out of 102014 with flag 4539532/1386339
1330.55/671.23	c cleaning 52002 clauses out of 104008 with flag 4723409/1439339
1384.51/698.06	c cleaning 53003 clauses out of 106006 with flag 4909087/1493339
1439.52/725.39	c cleaning 54002 clauses out of 108004 with flag 5072160/1548340
1500.47/755.26	c cleaning 54998 clauses out of 110002 with flag 5235363/1604340
1562.86/785.94	c cleaning 56000 clauses out of 112004 with flag 5404165/1661340
1620.72/814.53	c cleaning 56999 clauses out of 114003 with flag 5579675/1719339
1684.46/845.92	c cleaning 58002 clauses out of 116004 with flag 5752216/1778339
1758.38/884.13	c cleaning 58998 clauses out of 118002 with flag 5944993/1838339
1800.10/904.80	c >>>>>>>>>> Solver number 0 (23 answers) <<<<<<<<<<<<<<<<<<
1800.10/904.80	c starts		: 85
1800.10/904.80	c conflicts		: 1878291
1800.10/904.80	c decisions		: 1924406
1800.10/904.80	c propagations		: 134098902
1800.10/904.80	c inspects		: 4923365222
1800.10/904.80	c shortcuts		: 0
1800.10/904.80	c learnt literals	: 0
1800.10/904.80	c learnt binary clauses	: 1
1800.10/904.80	c learnt ternary clauses	: 1248
1800.10/904.80	c learnt constraints	: 1878290
1800.10/904.80	c ignored constraints	: 0
1800.10/904.80	c root simplifications	: 0
1800.10/904.80	c removed literals (reason simplification)	: 365748406
1800.10/904.80	c reason swapping (by a shorter reason)	: 0
1800.10/904.80	c Calls to reduceDB	: 59
1800.10/904.80	c Number of update (reduction) of LBD	: 1913
1800.10/904.80	c Imported unit clauses	: 0
1800.10/904.80	c number of reductions to clauses (during analyze)	: 0
1800.10/904.80	c number of learned constraints concerned by reduction	: 0
1800.10/904.80	c number of learning phase by resolution	: 0
1800.10/904.80	c number of learning phase by cutting planes	: 0
1800.10/904.80	c speed (assignments/second)	: 148283.72293606386
1800.10/904.80	c non guided choices	0
1800.10/904.83	c learnt constraints type 
1800.10/904.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.10/904.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 98955
1800.10/904.83	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.10/904.83	c starts		: 39
1800.10/904.83	c conflicts		: 4052
1800.10/904.83	c decisions		: 7414
1800.10/904.83	c propagations		: 421896
1800.10/904.83	c inspects		: 363944400
1800.10/904.83	c shortcuts		: 0
1800.10/904.83	c learnt literals	: 0
1800.10/904.83	c learnt binary clauses	: 0
1800.10/904.83	c learnt ternary clauses	: 3
1800.10/904.83	c learnt constraints	: 4042
1800.10/904.83	c ignored constraints	: 0
1800.10/904.83	c root simplifications	: 0
1800.10/904.83	c removed literals (reason simplification)	: 0
1800.10/904.83	c reason swapping (by a shorter reason)	: 0
1800.10/904.83	c Calls to reduceDB	: 0
1800.10/904.83	c Number of update (reduction) of LBD	: 0
1800.10/904.83	c Imported unit clauses	: 0
1800.10/904.83	c number of reductions to clauses (during analyze)	: 0
1800.10/904.83	c number of learned constraints concerned by reduction	: 0
1800.10/904.83	c number of learning phase by resolution	: 0
1800.10/904.83	c number of learning phase by cutting planes	: 0
1800.10/904.83	c speed (assignments/second)	: 475.2606410841317
1800.10/904.83	c non guided choices	0
1800.10/904.83	c learnt constraints type 
1800.10/904.83	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 4
1800.10/904.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4038
1800.10/904.83	s SATISFIABLE
1800.10/904.83	c Found 23 solution(s)
1800.10/904.84	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 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 x556 -x557 x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 -x580 x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 x593 x594 -x595 x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 -x608 x609 x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 x637 x638 x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 x711 -x712 -x713 -x714 -x715 x716 x717 x718 x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 x740 x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 x2093 x2094 x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 x2125 x2126 x2127 -x2128 x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 x2162 -x2163 -x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 x2721 -x2722 x2723 -x2724 x2725 x2726 -x2727 -x2728 x2729 
1800.10/904.84	c objective function=17162
1800.10/904.84	c Total wall clock time (in seconds): 904.725

Verifier Data 

OK	17162

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118206-1467223731/watcher-4118206-1467223731 -o /tmp/evaluation-result-4118206-1467223731/solver-4118206-1467223731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118206-1467223731.opb 

pid=11102
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: 4.81 4.37 4.01 4/197 11105
/proc/meminfo: memFree=24875756/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11105/stat : 11105 (java) R 11102 11105 5962 0 -1 4202496 473 0 0 0 0 0 0 0 20 0 1 0 3324313 9515008 129 33554432000 1073741824 1073778376 140734418687120 140734418684248 225448095024 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2323 134 104 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.81 4.37 4.01 4/197 11105
/proc/meminfo: memFree=24875756/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 4417 0 1 0 8 1 0 0 20 0 18 0 3324313 9787879424 6051 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2389619 6051 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200213 s]
/proc/loadavg: 4.81 4.37 4.01 4/197 11105
/proc/meminfo: memFree=24875756/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 4974 0 1 0 26 2 0 0 20 0 18 0 3324313 9787879424 6965 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2389619 6965 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300216 s]
/proc/loadavg: 4.81 4.37 4.01 4/197 11105
/proc/meminfo: memFree=24875756/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9558688 CPUtime=0.49 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 5764 0 1 0 47 2 0 0 20 0 18 0 3324313 9788096512 8546 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2389672 8493 2233 9 0 2380349 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558688

[startup+0.700265 s]
/proc/loadavg: 4.81 4.37 4.01 4/197 11105
/proc/meminfo: memFree=24875756/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 12436 0 1 0 125 5 0 0 20 0 19 0 3324313 10060525568 18491 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 18491 2263 9 0 2446860 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9824732

[startup+1.50074 s]
/proc/loadavg: 4.81 4.37 4.01 8/219 11130
/proc/meminfo: memFree=24799476/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 14966 0 1 0 231 8 0 0 20 0 21 0 3324313 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 22181 2267 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2435 0 1 0 44 2 0 0 20 0 21 0 3324314 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798722978584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798712040360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798710987816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798709934760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798708882216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11102 11105 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798707829160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798706776616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798705723560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11102 11105 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 3324315 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798704671016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 21 0 3324316 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798546295656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 3324317 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 3324317 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324319 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) R 11102 11105 5962 0 -1 4202560 6537 0 0 0 65 1 0 0 20 0 21 0 3324319 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798542076512 139798729440155 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=0.63 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) R 11102 11105 5962 0 -1 4202560 4644 0 0 0 61 2 0 0 20 0 21 0 3324319 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798541031864 139798730695361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324319 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 3324319 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 3324360 10060525568 22181 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 4.81 4.37 4.01 4/216 11135
/proc/meminfo: memFree=24785884/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 15005 0 1 0 253 10 0 0 20 0 19 0 3324313 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 27309 2272 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2438 0 1 0 46 2 0 0 20 0 19 0 3324314 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798722978680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798712040360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798710987816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798709934760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798708882216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11102 11105 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798707829160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798706776616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798705723560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11102 11105 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3324315 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798704671016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3324316 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798546295656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3324317 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3324317 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324319 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11102 11105 5962 0 -1 4202560 6546 0 0 0 77 2 0 0 20 0 19 0 3324319 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798542084408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11102 11105 5962 0 -1 4202560 4645 0 0 0 68 2 0 0 20 0 19 0 3324319 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798541031864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324319 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3324319 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3324360 10060525568 27309 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 9824732

[startup+6.30358 s]
/proc/loadavg: 4.67 4.35 4.00 10/216 11152
/proc/meminfo: memFree=24737980/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 16234 0 1 0 356 17 0 0 20 0 22 0 3324313 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 45842 2284 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2444 0 1 0 48 3 0 0 20 0 22 0 3324314 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798722978680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) R 11102 11105 5962 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798712040536 139798730473719 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) D 11102 11105 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798710987992 139798726730752 0 4 0 16800975 18446744071579943789 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) R 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798709934760 225444662407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) R 11102 11105 5962 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798708882392 139798725449459 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) R 11102 11105 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798707829288 225444662407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) R 11102 11105 5962 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798706776792 139798725449401 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) R 11102 11105 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798705723736 139798726730752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) R 11102 11105 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 3324315 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798704671016 225444662407 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 3324316 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798546294536 225448080444 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=0.91 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11102 11105 5962 0 -1 4202560 6560 0 0 0 89 2 0 0 20 0 22 0 3324319 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798542084408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11102 11105 5962 0 -1 4202560 5732 0 0 0 88 2 0 0 20 0 22 0 3324319 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798541031864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3324360 10060525568 45842 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9824732
heavy processes:

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


[startup+822.301 s]
/proc/loadavg: 4.40 4.38 4.21 6/219 11319
/proc/meminfo: memFree=21454476/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=1636.32 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 31372 0 1 0 163182 450 0 0 20 0 22 0 3324313 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 1214453 2302 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2457 0 1 0 54 4 0 0 20 0 22 0 3324314 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798722978680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=4.49 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11102 11105 5962 0 -1 4202560 1090 0 0 0 403 46 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798712040360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=5.36 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11102 11105 5962 0 -1 4202560 1022 0 0 0 488 48 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798710987816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=4.86 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11102 11105 5962 0 -1 4202560 1438 0 0 0 438 48 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798709934760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=5.1 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11102 11105 5962 0 -1 4202560 1231 0 0 0 460 50 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798708882216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=4.92 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11102 11105 5962 0 -1 4202560 1146 0 0 0 436 56 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798707829160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=5.43 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11102 11105 5962 0 -1 4202560 946 0 0 0 496 47 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798706776616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11102 11105 5962 0 -1 4202560 1072 0 0 0 456 40 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798705723560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11102 11105 5962 0 -1 4202560 1111 0 0 0 409 47 0 0 20 0 22 0 3324315 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798704671016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=10.61 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 3736 0 0 0 1050 11 0 0 20 0 22 0 3324316 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798546295656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11102 11105 5962 0 -1 4202560 6571 0 0 0 129 2 0 0 20 0 22 0 3324319 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798542084408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11102 11105 5962 0 -1 4202560 6517 0 0 0 158 2 0 0 20 0 22 0 3324319 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798541031864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 47 0 0 0 11 15 0 0 20 0 22 0 3324319 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3324360 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11192] ppid=11102 vsize=9824732 CPUtime=784.4 cores=0,2,4,6
/proc/11105/task/11192/stat : 11192 (java) R 11102 11105 5962 0 -1 4202560 87 0 0 0 78426 14 0 0 20 0 22 0 3326025 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798536810400 139798585540911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11193] ppid=11102 vsize=9824732 CPUtime=784.4 cores=0,2,4,6
/proc/11105/task/11193/stat : 11193 (java) R 11102 11105 5962 0 -1 4202560 1318 0 0 0 78413 27 0 0 20 0 22 0 3326025 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798535765552 139798586036027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11194] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11194/stat : 11194 (java) S 11102 11105 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3326025 10060525568 1214453 33554432000 1073741824 1073778376 140734418687120 139798537872168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1636.32
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.89 4.52 4.27 5/219 11321
/proc/meminfo: memFree=20974936/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=1754.8 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 32521 0 1 0 174982 498 0 0 20 0 22 0 3324313 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 1306663 2302 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2460 0 1 0 54 4 0 0 20 0 22 0 3324314 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798722978680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=5.05 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11102 11105 5962 0 -1 4202560 1199 0 0 0 454 51 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798712040360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=5.83 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11102 11105 5962 0 -1 4202560 1084 0 0 0 530 53 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798710987816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=5.44 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11102 11105 5962 0 -1 4202560 1515 0 0 0 492 52 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798709934760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=5.77 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11102 11105 5962 0 -1 4202560 1335 0 0 0 520 57 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798708882216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=5.53 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11102 11105 5962 0 -1 4202560 1242 0 0 0 493 60 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798707829160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=5.99 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11102 11105 5962 0 -1 4202560 1073 0 0 0 547 52 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798706776616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=5.7 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11102 11105 5962 0 -1 4202560 1204 0 0 0 523 47 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798705723560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=5.32 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11102 11105 5962 0 -1 4202560 1276 0 0 0 477 55 0 0 20 0 22 0 3324315 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798704671016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=14.54 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 3999 0 0 0 1443 11 0 0 20 0 22 0 3324316 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798546295656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11102 11105 5962 0 -1 4202560 6571 0 0 0 129 2 0 0 20 0 22 0 3324319 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798542084408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11102 11105 5962 0 -1 4202560 6517 0 0 0 158 2 0 0 20 0 22 0 3324319 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798541031864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 51 0 0 0 13 16 0 0 20 0 22 0 3324319 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3324360 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11192] ppid=11102 vsize=9824732 CPUtime=839.19 cores=0,2,4,6
/proc/11105/task/11192/stat : 11192 (java) R 11102 11105 5962 0 -1 4202560 89 0 0 0 83904 15 0 0 20 0 22 0 3326025 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798536817328 139798585767285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11193] ppid=11102 vsize=9824732 CPUtime=839.19 cores=0,2,4,6
/proc/11105/task/11193/stat : 11193 (java) R 11102 11105 5962 0 -1 4202560 1323 0 0 0 83891 28 0 0 20 0 22 0 3326025 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798535765360 139798585811423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11194] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11194/stat : 11194 (java) S 11102 11105 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3326025 10060525568 1306663 33554432000 1073741824 1073778376 140734418687120 139798537872168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1754.8
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.801 s]
/proc/loadavg: 4.73 4.51 4.27 5/219 11322
/proc/meminfo: memFree=21014424/32872528 swapFree=1499084/1695308
[pid=11105] ppid=11102 vsize=9824732 CPUtime=1800.1 cores=0,2,4,6
/proc/11105/stat : 11105 (java) S 11102 11105 5962 0 -1 4202496 32533 0 1 0 179511 499 0 0 20 0 22 0 3324313 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 140734418678256 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11105/statm: 2456183 1306652 2302 9 0 2446860 0
[pid=11105/tid=11107] ppid=11102 vsize=9824732 CPUtime=0.58 cores=0,2,4,6
/proc/11105/task/11107/stat : 11107 (java) S 11102 11105 5962 0 -1 4202560 2460 0 1 0 54 4 0 0 20 0 22 0 3324314 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798722978680 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11108] ppid=11102 vsize=9824732 CPUtime=5.12 cores=0,2,4,6
/proc/11105/task/11108/stat : 11108 (java) S 11102 11105 5962 0 -1 4202560 1199 0 0 0 461 51 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798712040360 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11109] ppid=11102 vsize=9824732 CPUtime=5.89 cores=0,2,4,6
/proc/11105/task/11109/stat : 11109 (java) S 11102 11105 5962 0 -1 4202560 1084 0 0 0 536 53 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798710987816 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11110] ppid=11102 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/11105/task/11110/stat : 11110 (java) S 11102 11105 5962 0 -1 4202560 1515 0 0 0 506 52 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798709934760 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11111] ppid=11102 vsize=9824732 CPUtime=5.9 cores=0,2,4,6
/proc/11105/task/11111/stat : 11111 (java) S 11102 11105 5962 0 -1 4202560 1335 0 0 0 533 57 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798708882216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11112] ppid=11102 vsize=9824732 CPUtime=5.59 cores=0,2,4,6
/proc/11105/task/11112/stat : 11112 (java) S 11102 11105 5962 0 -1 4202560 1248 0 0 0 499 60 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798707829160 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11113] ppid=11102 vsize=9824732 CPUtime=6.09 cores=0,2,4,6
/proc/11105/task/11113/stat : 11113 (java) S 11102 11105 5962 0 -1 4202560 1073 0 0 0 557 52 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798706776616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11114] ppid=11102 vsize=9824732 CPUtime=5.78 cores=0,2,4,6
/proc/11105/task/11114/stat : 11114 (java) S 11102 11105 5962 0 -1 4202560 1205 0 0 0 531 47 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798705723560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11115] ppid=11102 vsize=9824732 CPUtime=5.37 cores=0,2,4,6
/proc/11105/task/11115/stat : 11115 (java) S 11102 11105 5962 0 -1 4202560 1276 0 0 0 482 55 0 0 20 0 22 0 3324315 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798704671016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11116] ppid=11102 vsize=9824732 CPUtime=14.55 cores=0,2,4,6
/proc/11105/task/11116/stat : 11116 (java) S 11102 11105 5962 0 -1 4202560 3999 0 0 0 1443 12 0 0 20 0 22 0 3324316 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798546295656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11117] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11117/stat : 11117 (java) S 11102 11105 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798545241976 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11118] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11118/stat : 11118 (java) S 11102 11105 5962 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 3324317 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798544188808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11119] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11119/stat : 11119 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798543137552 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11120] ppid=11102 vsize=9824732 CPUtime=1.31 cores=0,2,4,6
/proc/11105/task/11120/stat : 11120 (java) S 11102 11105 5962 0 -1 4202560 6571 0 0 0 129 2 0 0 20 0 22 0 3324319 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798542084408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11121] ppid=11102 vsize=9824732 CPUtime=1.6 cores=0,2,4,6
/proc/11105/task/11121/stat : 11121 (java) S 11102 11105 5962 0 -1 4202560 6517 0 0 0 158 2 0 0 20 0 22 0 3324319 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798541031864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11105/tid=11122] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11122/stat : 11122 (java) S 11102 11105 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3324319 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798539979000 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11123] ppid=11102 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/11105/task/11123/stat : 11123 (java) S 11102 11105 5962 0 -1 4202560 53 0 0 0 13 16 0 0 20 0 22 0 3324319 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798538926664 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11127] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11127/stat : 11127 (java) S 11102 11105 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 3324360 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798534714792 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11105/tid=11192] ppid=11102 vsize=9824732 CPUtime=861.5 cores=0,2,4,6
/proc/11105/task/11192/stat : 11192 (java) R 11102 11105 5962 0 -1 4202560 90 0 0 0 86134 16 0 0 20 0 22 0 3326025 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798536818080 139798586043332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11105/tid=11193] ppid=11102 vsize=9824732 CPUtime=861.5 cores=0,2,4,6
/proc/11105/task/11193/stat : 11193 (java) R 11102 11105 5962 0 -1 4202560 1325 0 0 0 86121 29 0 0 20 0 22 0 3326025 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798535766592 139798586316628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11105/tid=11194] ppid=11102 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11105/task/11194/stat : 11194 (java) S 11102 11105 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3326025 10060525568 1306652 33554432000 1073741824 1073778376 140734418687120 139798537872168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11105 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 904.875
CPU time (s): 1800.83
CPU user time (s): 1795.32
CPU system time (s): 5.51116
CPU usage (%): 199.014
Max. virtual memory (cumulated for all children) (KiB): 9825088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.32
system time used= 5.51116
maximum resident set size= 5226720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32571
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24940
involuntary context switches= 32008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78212 second user time and 7.47586 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-29 20:08:51
IDJOB=4118206
IDBENCH=111468
IDSOLVER=2543
FILE ID=node137/4118206-1467223731
RUNJOBID= node137-1467212962-6646
PBS_JOBID= 19997573
Free space on /tmp= 71692 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay20h.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118206-1467223731/watcher-4118206-1467223731 -o /tmp/evaluation-result-4118206-1467223731/solver-4118206-1467223731 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6646 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118206-1467223731.opb

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

MD5SUM BENCH= af621fcce4dfa863e8789357b1d9e503
RANDOM SEED=271274775

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        24876616 kB
Buffers:          100156 kB
Cached:          1789008 kB
SwapCached:            0 kB
Active:          3869208 kB
Inactive:        1683552 kB
Active(anon):    3666420 kB
Inactive(anon):        4 kB
Active(file):     202788 kB
Inactive(file):  1683548 kB
Unevictable:     1695308 kB
Mlocked:         1499084 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1228 kB
Writeback:             0 kB
AnonPages:       5375596 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             608372 kB
SReclaimable:      52612 kB
SUnreclaim:       555760 kB
KernelStack:        1808 kB
PageTables:        14944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5652516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3790848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node137 at 2016-06-29 20:23:56