Trace number 4103182

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)1751040 1800.12 895.266

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
MD5SUM3aa00837dd74901ce1879f04fea91920
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1751040
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1751040
Optimality of the best value was proved NO
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 550843571711
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 550843571711
Number of bits of the biggest sum of numbers40
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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 	16
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38c5c3ac
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@558385e3
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4103182-1466220384.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.55/0.37	c ... done. Wall clock time 0.256s.
0.55/0.37	c declared #vars     3100
0.55/0.37	c #constraints  140
0.55/0.38	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 140
0.55/0.38	c 140 constraints processed.
0.55/0.38	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPb => 140
0.55/0.38	c 140 constraints processed.
0.55/0.38	c objective function length is 3100 literals
1.26/0.54	c And the winner is solver0
1.62/0.88	c SATISFIABLE
1.62/0.88	c OPTIMIZING...
1.62/0.88	c Got one! Elapsed wall clock time (in seconds):0.764
1.62/0.88	o 2278407
1.67/0.92	c And the winner is solver0
1.85/1.39	c Got one! Elapsed wall clock time (in seconds):1.273
1.85/1.39	o 2098185
1.87/1.40	c And the winner is solver0
1.93/1.90	c Got one! Elapsed wall clock time (in seconds):1.78
1.93/1.90	o 1856512
1.93/1.91	c And the winner is solver0
2.08/2.41	c Got one! Elapsed wall clock time (in seconds):2.288
2.08/2.41	o 1851392
2.08/2.41	c And the winner is solver0
2.13/2.91	c Got one! Elapsed wall clock time (in seconds):2.792
2.13/2.91	o 1817600
3.92/3.58	c cleaning 2534 clauses out of 5068 with flag 15253/5068
5.55/4.21	c And the winner is solver1
5.60/4.42	c Got one! Elapsed wall clock time (in seconds):4.298
5.60/4.42	o 1789952
5.60/4.43	c And the winner is solver0
5.62/4.92	c Got one! Elapsed wall clock time (in seconds):4.802
5.62/4.92	o 1751040
5.83/5.08	c cleaning 4074 clauses out of 8150 with flag 3526/10684
7.60/5.89	c cleaning 5037 clauses out of 10076 with flag 25749/16684
9.50/6.73	c cleaning 6017 clauses out of 12040 with flag 52076/23685
11.68/7.80	c cleaning 7009 clauses out of 14023 with flag 82907/31685
14.47/9.01	c cleaning 8008 clauses out of 16015 with flag 115551/40686
16.87/10.29	c cleaning 9001 clauses out of 18007 with flag 153314/50686
19.89/11.69	c cleaning 9999 clauses out of 20004 with flag 192291/61684
23.32/13.38	c cleaning 11003 clauses out of 22011 with flag 240785/73690
27.58/15.38	c cleaning 11996 clauses out of 24001 with flag 292274/86683
30.98/17.09	c cleaning 12994 clauses out of 26005 with flag 345280/100683
35.26/19.02	c cleaning 13993 clauses out of 28011 with flag 405002/115683
39.86/21.33	c cleaning 15010 clauses out of 30019 with flag 471416/131684
44.27/23.59	c cleaning 15996 clauses out of 32008 with flag 536941/148683
49.24/25.81	c cleaning 17006 clauses out of 34012 with flag 601806/166683
54.64/28.54	c cleaning 17997 clauses out of 36007 with flag 679861/185684
60.64/31.59	c cleaning 19005 clauses out of 38010 with flag 754705/205684
67.51/34.89	c cleaning 20001 clauses out of 40004 with flag 831277/226683
74.58/38.37	c cleaning 20997 clauses out of 42009 with flag 914874/248689
82.81/42.24	c cleaning 22001 clauses out of 44007 with flag 1004564/271684
90.41/46.04	c cleaning 22993 clauses out of 46005 with flag 1088015/295683
98.34/49.89	c cleaning 23997 clauses out of 48013 with flag 1176761/320684
106.94/54.15	c cleaning 24998 clauses out of 50015 with flag 1279805/346683
115.55/58.47	c cleaning 26001 clauses out of 52018 with flag 1376636/373684
124.95/62.91	c cleaning 27004 clauses out of 54016 with flag 1470319/401683
134.54/67.79	c cleaning 28006 clauses out of 56017 with flag 1572209/430688
145.50/72.97	c cleaning 28998 clauses out of 58008 with flag 1680152/460685
156.90/78.63	c cleaning 29999 clauses out of 60011 with flag 1799144/491686
168.69/84.41	c cleaning 30985 clauses out of 62009 with flag 1920160/523683
180.32/90.30	c cleaning 32001 clauses out of 64024 with flag 2036520/556683
194.33/97.19	c cleaning 33001 clauses out of 66023 with flag 2169893/590683
208.94/104.39	c cleaning 34008 clauses out of 68022 with flag 2305499/625683
220.73/110.25	c cleaning 35000 clauses out of 70014 with flag 2431345/661683
232.74/116.23	c cleaning 36007 clauses out of 72015 with flag 2561000/698684
246.64/123.26	c cleaning 36989 clauses out of 74008 with flag 2702585/736684
260.22/130.08	c cleaning 38008 clauses out of 76018 with flag 2851651/775683
275.64/137.79	c cleaning 39004 clauses out of 78011 with flag 3018446/815684
291.24/145.55	c cleaning 39999 clauses out of 80006 with flag 3199947/856683
306.25/153.04	c cleaning 40998 clauses out of 82007 with flag 3368563/898683
323.87/161.87	c cleaning 42001 clauses out of 84011 with flag 3567682/941685
340.82/170.24	c cleaning 43001 clauses out of 86009 with flag 3747580/985684
358.02/178.82	c cleaning 43990 clauses out of 88007 with flag 3948766/1030683
375.41/187.54	c cleaning 44987 clauses out of 90017 with flag 4126553/1076683
392.41/196.04	c cleaning 46000 clauses out of 92030 with flag 4288158/1123683
411.21/205.42	c cleaning 47016 clauses out of 94034 with flag 4458314/1171687
427.24/213.49	c cleaning 48006 clauses out of 96015 with flag 4607075/1220684
447.04/223.37	c cleaning 48988 clauses out of 98008 with flag 4781295/1270683
468.69/234.28	c cleaning 49995 clauses out of 100020 with flag 4961626/1321683
488.29/244.06	c cleaning 50999 clauses out of 102025 with flag 5142086/1373683
511.80/255.79	c cleaning 52004 clauses out of 104028 with flag 5341210/1426685
534.01/266.82	c cleaning 53012 clauses out of 106023 with flag 5527645/1480684
557.03/278.40	c cleaning 53981 clauses out of 108010 with flag 5720094/1535683
581.81/290.76	c cleaning 55014 clauses out of 110029 with flag 5941000/1591683
605.59/302.57	c cleaning 56004 clauses out of 112017 with flag 6151497/1648685
631.16/315.38	c cleaning 56994 clauses out of 114011 with flag 6374681/1706683
655.57/327.58	c cleaning 58004 clauses out of 116019 with flag 6594707/1765685
687.24/343.29	c cleaning 58986 clauses out of 118013 with flag 6838272/1825683
715.75/357.40	c cleaning 60010 clauses out of 120027 with flag 7087108/1886683
742.27/370.71	c cleaning 60994 clauses out of 122018 with flag 7312131/1948684
773.52/386.01	c cleaning 62003 clauses out of 124023 with flag 7554796/2011683
804.89/401.40	c cleaning 63000 clauses out of 126020 with flag 7797405/2075683
835.53/416.58	c cleaning 64003 clauses out of 128020 with flag 8032060/2140683
871.08/434.32	c cleaning 65004 clauses out of 130017 with flag 8289594/2206683
905.11/451.12	c cleaning 66006 clauses out of 132013 with flag 8561086/2273683
933.49/465.10	c cleaning 66998 clauses out of 134007 with flag 8771866/2341683
966.21/481.39	c cleaning 67999 clauses out of 136009 with flag 9022623/2410683
1002.14/499.02	c cleaning 68994 clauses out of 138010 with flag 9276129/2480683
1036.13/515.98	c cleaning 70007 clauses out of 140016 with flag 9554836/2551683
1072.47/534.11	c cleaning 70999 clauses out of 142010 with flag 9836185/2623684
1108.63/552.08	c cleaning 71994 clauses out of 144011 with flag 10133172/2696684
1144.68/569.94	c cleaning 73003 clauses out of 146017 with flag 10386508/2770684
1185.14/590.04	c cleaning 74007 clauses out of 148019 with flag 10684844/2845689
1226.01/610.26	c cleaning 75000 clauses out of 150009 with flag 11006053/2921686
1259.41/626.83	c cleaning 76003 clauses out of 152008 with flag 11260558/2998685
1301.83/647.96	c cleaning 76991 clauses out of 154005 with flag 11560210/3076685
1337.81/665.71	c cleaning 78002 clauses out of 156012 with flag 11844622/3155683
1388.05/690.57	c cleaning 79000 clauses out of 158010 with flag 12191993/3235683
1429.52/710.94	c cleaning 79998 clauses out of 160010 with flag 12475980/3316683
1469.86/731.16	c cleaning 80984 clauses out of 162012 with flag 12760291/3398683
1515.30/753.43	c cleaning 82009 clauses out of 164028 with flag 13080274/3481683
1568.12/779.51	c cleaning 83004 clauses out of 166020 with flag 13445504/3565684
1614.01/802.34	c cleaning 84003 clauses out of 168017 with flag 13797856/3650685
1658.99/824.61	c cleaning 85000 clauses out of 170013 with flag 14104418/3736684
1707.84/849.27	c cleaning 86004 clauses out of 172012 with flag 14448630/3823683
1754.13/872.38	c cleaning 86991 clauses out of 174008 with flag 14788285/3911683
1800.12/895.20	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.20	c starts		: 10870
1800.12/895.20	c conflicts		: 3993346
1800.12/895.20	c decisions		: 9035407
1800.12/895.20	c propagations		: 429963853
1800.12/895.20	c inspects		: 9845724236
1800.12/895.20	c shortcuts		: 0
1800.12/895.20	c learnt literals	: 0
1800.12/895.20	c learnt binary clauses	: 0
1800.12/895.20	c learnt ternary clauses	: 0
1800.12/895.20	c learnt constraints	: 3993346
1800.12/895.20	c ignored constraints	: 0
1800.12/895.20	c root simplifications	: 0
1800.12/895.20	c removed literals (reason simplification)	: 2388204
1800.12/895.20	c reason swapping (by a shorter reason)	: 0
1800.12/895.20	c Calls to reduceDB	: 85
1800.12/895.20	c Number of update (reduction) of LBD	: 796450
1800.12/895.20	c Imported unit clauses	: 0
1800.12/895.20	c number of reductions to clauses (during analyze)	: 0
1800.12/895.20	c number of learned constraints concerned by reduction	: 0
1800.12/895.20	c number of learning phase by resolution	: 0
1800.12/895.20	c number of learning phase by cutting planes	: 0
1800.12/895.20	c speed (assignments/second)	: 482679.71845058014
1800.12/895.20	c non guided choices	2
1800.12/895.23	c learnt constraints type 
1800.12/895.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168680
1800.12/895.23	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.12/895.23	c starts		: 9
1800.12/895.23	c conflicts		: 1489
1800.12/895.23	c decisions		: 66543
1800.12/895.23	c propagations		: 583718
1800.12/895.23	c inspects		: 89853009
1800.12/895.23	c shortcuts		: 0
1800.12/895.23	c learnt literals	: 0
1800.12/895.23	c learnt binary clauses	: 0
1800.12/895.23	c learnt ternary clauses	: 0
1800.12/895.23	c learnt constraints	: 1488
1800.12/895.23	c ignored constraints	: 0
1800.12/895.23	c root simplifications	: 0
1800.12/895.23	c removed literals (reason simplification)	: 0
1800.12/895.23	c reason swapping (by a shorter reason)	: 0
1800.12/895.23	c Calls to reduceDB	: 0
1800.12/895.23	c Number of update (reduction) of LBD	: 0
1800.12/895.23	c Imported unit clauses	: 0
1800.12/895.23	c number of reductions to clauses (during analyze)	: 0
1800.12/895.23	c number of learned constraints concerned by reduction	: 0
1800.12/895.23	c number of learning phase by resolution	: 0
1800.12/895.23	c number of learning phase by cutting planes	: 0
1800.12/895.23	c speed (assignments/second)	: 655.6382363347393
1800.12/895.23	c non guided choices	0
1800.12/895.23	c learnt constraints type 
1800.12/895.23	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.12/895.23	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1487
1800.12/895.23	s SATISFIABLE
1800.12/895.23	c Found 7 solution(s)
1800.12/895.24	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 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 x2982 x2983 x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 x3043 -x3044 x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 x3077 -x3078 -x3079 x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 x3099 x3100 
1800.12/895.24	c objective function=1751040
1800.12/895.24	c Total wall clock time (in seconds): 895.123

Verifier Data 

OK	1751040

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-4103182-1466220384/watcher-4103182-1466220384 -o /tmp/evaluation-result-4103182-1466220384/solver-4103182-1466220384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103182-1466220384.opb 

pid=23469
running on 8 cores: 0-3,8-11

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: 5.60 5.06 4.56 4/284 23472
/proc/meminfo: memFree=27873228/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=91816 CPUtime=0 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 2 0 24082996 94019584 918 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 4096 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 22954 918 697 9 0 16769 0
[pid=23472/tid=23473] ppid=23469 vsize=92900 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) R 23469 23472 15292 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 2 0 24082997 95129600 923 33554432000 1073741824 1073778376 140736803712416 140505319300648 216799443653 0 0 4096 0 0 0 0 -1 9 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 5.60 5.06 4.56 4/284 23472
/proc/meminfo: memFree=27873228/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=9896436 CPUtime=0.1 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 4456 0 1 0 8 2 0 0 20 0 23 0 24082996 10133950464 6088 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2474109 6088 2126 9 0 2464786 0
[pid=23472/tid=23473] ppid=23469 vsize=9896436 CPUtime=0.06 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) R 23469 23472 15292 0 -1 4202560 2416 0 1 0 5 1 0 0 20 0 23 0 24082997 10133950464 6088 33554432000 1073741824 1073778376 140736803712416 140505319304760 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9896436

[startup+0.200274 s]
/proc/loadavg: 5.60 5.06 4.56 4/284 23472
/proc/meminfo: memFree=27873228/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=9896436 CPUtime=0.3 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 5084 0 1 0 28 2 0 0 20 0 23 0 24082996 10133950464 7063 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2474109 7063 2220 9 0 2464786 0
[pid=23472/tid=23473] ppid=23469 vsize=9896436 CPUtime=0.16 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) R 23469 23472 15292 0 -1 4202560 2428 0 1 0 15 1 0 0 20 0 23 0 24082997 10133950464 7063 33554432000 1073741824 1073778376 140736803712416 140505319304760 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9896436

[startup+0.300268 s]
/proc/loadavg: 5.60 5.06 4.56 4/284 23472
/proc/meminfo: memFree=27873228/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=9896436 CPUtime=0.55 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 12446 0 1 0 52 3 0 0 20 0 23 0 24082996 10133950464 13380 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2474109 13380 2232 9 0 2464786 0
[pid=23472/tid=23473] ppid=23469 vsize=9896436 CPUtime=0.26 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) R 23469 23472 15292 0 -1 4202560 2432 0 1 0 25 1 0 0 20 0 23 0 24082997 10133950464 13380 33554432000 1073741824 1073778376 140736803712416 140505319304760 140505322591123 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9896436

[startup+0.700305 s]
/proc/loadavg: 5.60 5.06 4.56 4/284 23472
/proc/meminfo: memFree=27873228/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=1.62 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 16541 0 1 0 156 6 0 0 20 0 24 0 24082996 10406596608 18158 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 18158 2258 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.35 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2480 0 1 0 33 2 0 0 20 0 24 0 24082997 10406596608 18158 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10162692

[startup+1.5015 s]
/proc/loadavg: 5.60 5.06 4.56 3/308 23502
/proc/meminfo: memFree=27798612/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=1.93 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 16565 0 1 0 185 8 0 0 20 0 24 0 24082996 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 21235 2263 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.37 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2482 0 1 0 35 2 0 0 20 0 24 0 24082997 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23475] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23475/stat : 23475 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505163279400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23476] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23476/stat : 23476 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505162226600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23477] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23477/stat : 23477 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505161173800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23478] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23478/stat : 23478 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505160121000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23479] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23479/stat : 23479 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140505159068200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23480] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23480/stat : 23480 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504821918120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23481] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23481/stat : 23481 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504820865320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23482] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23482/stat : 23482 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504819812520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23483] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23483/stat : 23483 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504818760744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23484] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23484/stat : 23484 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504817707944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23485] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23485/stat : 23485 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504816655144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23486] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23486/stat : 23486 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504815602344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23487] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23487/stat : 23487 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 24082998 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504814549544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23488] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23488/stat : 23488 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 24082999 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504797088104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23489] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23489/stat : 23489 (java) S 23469 23472 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 24 0 24082999 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504796034168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23490] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23490/stat : 23490 (java) S 23469 23472 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 24082999 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504794981256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23491] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23491/stat : 23491 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24083002 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504793930768 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23492] ppid=23469 vsize=10162692 CPUtime=0.55 cores=0-3,8-11
/proc/23472/task/23492/stat : 23492 (java) S 23469 23472 15292 0 -1 4202560 7462 0 0 0 53 2 0 0 20 0 24 0 24083002 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504792877880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23493] ppid=23469 vsize=10162692 CPUtime=0.56 cores=0-3,8-11
/proc/23472/task/23493/stat : 23493 (java) S 23469 23472 15292 0 -1 4202560 5255 0 0 0 56 0 0 0 20 0 24 0 24083002 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504791825080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23494] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23494/stat : 23494 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24083002 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504790772472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23495] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23495/stat : 23495 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 24083002 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504789719880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23499] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23499/stat : 23499 (java) S 23469 23472 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 24083037 10406596608 21235 33554432000 1073741824 1073778376 140736803712416 140504785508008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10162692

[startup+3.101 s]
/proc/loadavg: 5.60 5.06 4.56 3/308 23508
/proc/meminfo: memFree=27790188/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=2.6 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 16609 0 1 0 251 9 0 0 20 0 27 0 24082996 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 29953 2268 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.39 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2484 0 1 0 37 2 0 0 20 0 27 0 24082997 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23475] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23475/stat : 23475 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505163279400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23476] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23476/stat : 23476 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505162226600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23477] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23477/stat : 23477 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505161173800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23478] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23478/stat : 23478 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505160121000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23479] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23479/stat : 23479 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140505159068200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23480] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23480/stat : 23480 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504821918120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23481] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23481/stat : 23481 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504820865320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23482] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23482/stat : 23482 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504819812520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23483] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23483/stat : 23483 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504818760744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23484] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23484/stat : 23484 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504817707944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23485] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23485/stat : 23485 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504816655144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23486] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23486/stat : 23486 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504815602344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23487] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23487/stat : 23487 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504814549544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23488] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23488/stat : 23488 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504797088104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23489] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23489/stat : 23489 (java) S 23469 23472 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504796034168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23490] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23490/stat : 23490 (java) S 23469 23472 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504794981256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23491] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23491/stat : 23491 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504793930768 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23492] ppid=23469 vsize=10162692 CPUtime=0.74 cores=0-3,8-11
/proc/23472/task/23492/stat : 23492 (java) S 23469 23472 15292 0 -1 4202560 7462 0 0 0 72 2 0 0 20 0 27 0 24083002 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504792877880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23493] ppid=23469 vsize=10162692 CPUtime=0.65 cores=0-3,8-11
/proc/23472/task/23493/stat : 23493 (java) S 23469 23472 15292 0 -1 4202560 5260 0 0 0 65 0 0 0 20 0 27 0 24083002 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504791825080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23494] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23494/stat : 23494 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504790772472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23495] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23495/stat : 23495 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504789719880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23499] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23499/stat : 23499 (java) S 23469 23472 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24083037 10406596608 29953 33554432000 1073741824 1073778376 140736803712416 140504785508008 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 10162692

[startup+6.30113 s]
/proc/loadavg: 5.55 5.06 4.57 5/311 23520
/proc/meminfo: memFree=27674624/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=8.67 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 18832 0 1 0 839 28 0 0 20 0 27 0 24082996 10406596608 53516 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 53516 2287 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.4 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2484 0 1 0 38 2 0 0 20 0 27 0 24082997 10406596608 53516 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23475] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23475/stat : 23475 (java) S 23469 23472 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 53516 33554432000 1073741824 1073778376 140736803712416 140505163279400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23476] ppid=23469 vsize=10162692 CPUtime=0.03 cores=0-3,8-11
/proc/23472/task/23476/stat : 23476 (java) S 23469 23472 15292 0 -1 4202560 22 0 0 0 1 2 0 0 20 0 27 0 24082998 10406596608 53516 33554432000 1073741824 1073778376 140736803712416 140505162226600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23477] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23477/stat : 23477 (java) S 23469 23472 15292 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 27 0 24082998 10406596608 53516 33554432000 1073741824 1073778376 140736803712416 140505161173800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23478] ppid=23469 vsize=10162692 CPUtime=0.03 cores=0-3,8-11

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

/proc/23472/task/23492/stat : 23492 (java) S 23469 23472 15292 0 -1 4202560 7464 0 0 0 105 2 0 0 20 0 27 0 24083002 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504792877880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23493] ppid=23469 vsize=10162692 CPUtime=1.4 cores=0-3,8-11
/proc/23472/task/23493/stat : 23493 (java) S 23469 23472 15292 0 -1 4202560 7216 0 0 0 138 2 0 0 20 0 27 0 24083002 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504791825080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23494] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23494/stat : 23494 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504790772472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23495] ppid=23469 vsize=10162692 CPUtime=0.26 cores=0-3,8-11
/proc/23472/task/23495/stat : 23495 (java) S 23469 23472 15292 0 -1 4202560 47 0 0 0 12 14 0 0 20 0 27 0 24083002 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504789719880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23517] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23517/stat : 23517 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24083438 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504785507752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23518] ppid=23469 vsize=10162692 CPUtime=809.1 cores=0-3,8-11
/proc/23472/task/23518/stat : 23518 (java) R 23469 23472 15292 0 -1 4202560 431 0 0 0 80888 22 0 0 20 0 27 0 24083488 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504786558608 140505175641239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23519] ppid=23469 vsize=10162692 CPUtime=809.08 cores=0-3,8-11
/proc/23472/task/23519/stat : 23519 (java) R 23469 23472 15292 0 -1 4202560 2550 0 0 0 80862 46 0 0 20 0 27 0 24083488 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504787609808 140505175514809 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23520] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23520/stat : 23520 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 24083488 10406596608 585696 33554432000 1073741824 1073778376 140736803712416 140504788665384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1654.39
Current children cumulated vsize (KiB) 10162692

[startup+882.311 s]
/proc/loadavg: 4.01 4.12 4.25 5/311 23635
/proc/meminfo: memFree=26117248/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=1774.33 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 31142 0 1 0 176674 759 0 0 20 0 27 0 24082996 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 595158 2295 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.42 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2494 0 1 0 40 2 0 0 20 0 27 0 24082997 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23475] ppid=23469 vsize=10162692 CPUtime=1.9 cores=0-3,8-11
/proc/23472/task/23475/stat : 23475 (java) S 23469 23472 15292 0 -1 4202560 573 0 0 0 138 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505163279400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23476] ppid=23469 vsize=10162692 CPUtime=1.9 cores=0-3,8-11
/proc/23472/task/23476/stat : 23476 (java) S 23469 23472 15292 0 -1 4202560 551 0 0 0 135 55 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505162226600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23477] ppid=23469 vsize=10162692 CPUtime=1.65 cores=0-3,8-11
/proc/23472/task/23477/stat : 23477 (java) S 23469 23472 15292 0 -1 4202560 551 0 0 0 117 48 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505161173800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23478] ppid=23469 vsize=10162692 CPUtime=1.8 cores=0-3,8-11
/proc/23472/task/23478/stat : 23478 (java) S 23469 23472 15292 0 -1 4202560 503 0 0 0 130 50 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505160121000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23479] ppid=23469 vsize=10162692 CPUtime=1.72 cores=0-3,8-11
/proc/23472/task/23479/stat : 23479 (java) S 23469 23472 15292 0 -1 4202560 539 0 0 0 124 48 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505159068200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23480] ppid=23469 vsize=10162692 CPUtime=1.81 cores=0-3,8-11
/proc/23472/task/23480/stat : 23480 (java) S 23469 23472 15292 0 -1 4202560 519 0 0 0 127 54 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504821918120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23481] ppid=23469 vsize=10162692 CPUtime=1.91 cores=0-3,8-11
/proc/23472/task/23481/stat : 23481 (java) S 23469 23472 15292 0 -1 4202560 546 0 0 0 134 57 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504820865320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23482] ppid=23469 vsize=10162692 CPUtime=1.6 cores=0-3,8-11
/proc/23472/task/23482/stat : 23482 (java) S 23469 23472 15292 0 -1 4202560 448 0 0 0 119 41 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504819812520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23483] ppid=23469 vsize=10162692 CPUtime=1.99 cores=0-3,8-11
/proc/23472/task/23483/stat : 23483 (java) S 23469 23472 15292 0 -1 4202560 563 0 0 0 145 54 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504818760744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23484] ppid=23469 vsize=10162692 CPUtime=1.78 cores=0-3,8-11
/proc/23472/task/23484/stat : 23484 (java) S 23469 23472 15292 0 -1 4202560 527 0 0 0 126 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504817707944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23485] ppid=23469 vsize=10162692 CPUtime=1.95 cores=0-3,8-11
/proc/23472/task/23485/stat : 23485 (java) S 23469 23472 15292 0 -1 4202560 568 0 0 0 143 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504816655144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23486] ppid=23469 vsize=10162692 CPUtime=1.98 cores=0-3,8-11
/proc/23472/task/23486/stat : 23486 (java) S 23469 23472 15292 0 -1 4202560 597 0 0 0 133 65 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504815602344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23487] ppid=23469 vsize=10162692 CPUtime=1.88 cores=0-3,8-11
/proc/23472/task/23487/stat : 23487 (java) S 23469 23472 15292 0 -1 4202560 519 0 0 0 132 56 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504814549544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23488] ppid=23469 vsize=10162692 CPUtime=3.74 cores=0-3,8-11
/proc/23472/task/23488/stat : 23488 (java) S 23469 23472 15292 0 -1 4202560 2506 0 0 0 370 4 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504797088104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23489] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23489/stat : 23489 (java) S 23469 23472 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504796034168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23490] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23490/stat : 23490 (java) S 23469 23472 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504794981256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23491] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23491/stat : 23491 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504793930768 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23492] ppid=23469 vsize=10162692 CPUtime=1.07 cores=0-3,8-11
/proc/23472/task/23492/stat : 23492 (java) S 23469 23472 15292 0 -1 4202560 7464 0 0 0 105 2 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504792877880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23493] ppid=23469 vsize=10162692 CPUtime=1.4 cores=0-3,8-11
/proc/23472/task/23493/stat : 23493 (java) S 23469 23472 15292 0 -1 4202560 7216 0 0 0 138 2 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504791825080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23494] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23494/stat : 23494 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504790772472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23495] ppid=23469 vsize=10162692 CPUtime=0.28 cores=0-3,8-11
/proc/23472/task/23495/stat : 23495 (java) S 23469 23472 15292 0 -1 4202560 51 0 0 0 13 15 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504789719880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23517] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23517/stat : 23517 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24083438 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504785507752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23518] ppid=23469 vsize=10162692 CPUtime=868.07 cores=0-3,8-11
/proc/23472/task/23518/stat : 23518 (java) R 23469 23472 15292 0 -1 4202560 432 0 0 0 86784 23 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504786557760 140505174943087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23519] ppid=23469 vsize=10162692 CPUtime=868.06 cores=0-3,8-11
/proc/23472/task/23519/stat : 23519 (java) R 23469 23472 15292 0 -1 4202560 2551 0 0 0 86759 47 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504787610944 140505175171950 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23520] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23520/stat : 23520 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504788665384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1774.33
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+895.201 s]
/proc/loadavg: 4.00 4.11 4.25 5/311 23635
/proc/meminfo: memFree=26117128/32872528 swapFree=7804/7804
[pid=23472] ppid=23469 vsize=10162692 CPUtime=1800.12 cores=0-3,8-11
/proc/23472/stat : 23472 (java) S 23469 23472 15292 0 -1 4202496 31142 0 1 0 179252 760 0 0 20 0 27 0 24082996 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140736803703552 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/23472/statm: 2540673 595158 2295 9 0 2531350 0
[pid=23472/tid=23473] ppid=23469 vsize=10162692 CPUtime=0.42 cores=0-3,8-11
/proc/23472/task/23473/stat : 23473 (java) S 23469 23472 15292 0 -1 4202560 2494 0 1 0 40 2 0 0 20 0 27 0 24082997 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505319306104 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23475] ppid=23469 vsize=10162692 CPUtime=1.9 cores=0-3,8-11
/proc/23472/task/23475/stat : 23475 (java) S 23469 23472 15292 0 -1 4202560 573 0 0 0 138 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505163279400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23476] ppid=23469 vsize=10162692 CPUtime=1.9 cores=0-3,8-11
/proc/23472/task/23476/stat : 23476 (java) S 23469 23472 15292 0 -1 4202560 551 0 0 0 135 55 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505162226600 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23477] ppid=23469 vsize=10162692 CPUtime=1.65 cores=0-3,8-11
/proc/23472/task/23477/stat : 23477 (java) S 23469 23472 15292 0 -1 4202560 551 0 0 0 117 48 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505161173800 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23478] ppid=23469 vsize=10162692 CPUtime=1.8 cores=0-3,8-11
/proc/23472/task/23478/stat : 23478 (java) S 23469 23472 15292 0 -1 4202560 503 0 0 0 130 50 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505160121000 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23479] ppid=23469 vsize=10162692 CPUtime=1.72 cores=0-3,8-11
/proc/23472/task/23479/stat : 23479 (java) S 23469 23472 15292 0 -1 4202560 539 0 0 0 124 48 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140505159068200 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23480] ppid=23469 vsize=10162692 CPUtime=1.81 cores=0-3,8-11
/proc/23472/task/23480/stat : 23480 (java) S 23469 23472 15292 0 -1 4202560 519 0 0 0 127 54 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504821918120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23481] ppid=23469 vsize=10162692 CPUtime=1.91 cores=0-3,8-11
/proc/23472/task/23481/stat : 23481 (java) S 23469 23472 15292 0 -1 4202560 546 0 0 0 134 57 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504820865320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23482] ppid=23469 vsize=10162692 CPUtime=1.6 cores=0-3,8-11
/proc/23472/task/23482/stat : 23482 (java) S 23469 23472 15292 0 -1 4202560 448 0 0 0 119 41 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504819812520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23483] ppid=23469 vsize=10162692 CPUtime=1.99 cores=0-3,8-11
/proc/23472/task/23483/stat : 23483 (java) S 23469 23472 15292 0 -1 4202560 563 0 0 0 145 54 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504818760744 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23484] ppid=23469 vsize=10162692 CPUtime=1.78 cores=0-3,8-11
/proc/23472/task/23484/stat : 23484 (java) S 23469 23472 15292 0 -1 4202560 527 0 0 0 126 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504817707944 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23485] ppid=23469 vsize=10162692 CPUtime=1.95 cores=0-3,8-11
/proc/23472/task/23485/stat : 23485 (java) S 23469 23472 15292 0 -1 4202560 568 0 0 0 143 52 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504816655144 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=23472/tid=23486] ppid=23469 vsize=10162692 CPUtime=1.98 cores=0-3,8-11
/proc/23472/task/23486/stat : 23486 (java) S 23469 23472 15292 0 -1 4202560 597 0 0 0 133 65 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504815602344 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23487] ppid=23469 vsize=10162692 CPUtime=1.88 cores=0-3,8-11
/proc/23472/task/23487/stat : 23487 (java) S 23469 23472 15292 0 -1 4202560 519 0 0 0 132 56 0 0 20 0 27 0 24082998 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504814549544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23488] ppid=23469 vsize=10162692 CPUtime=3.74 cores=0-3,8-11
/proc/23472/task/23488/stat : 23488 (java) S 23469 23472 15292 0 -1 4202560 2506 0 0 0 370 4 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504797088104 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23472/tid=23489] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23489/stat : 23489 (java) S 23469 23472 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504796034168 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23490] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23490/stat : 23490 (java) S 23469 23472 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 24082999 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504794981256 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23491] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23491/stat : 23491 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504793930768 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23492] ppid=23469 vsize=10162692 CPUtime=1.07 cores=0-3,8-11
/proc/23472/task/23492/stat : 23492 (java) S 23469 23472 15292 0 -1 4202560 7464 0 0 0 105 2 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504792877880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23493] ppid=23469 vsize=10162692 CPUtime=1.4 cores=0-3,8-11
/proc/23472/task/23493/stat : 23493 (java) S 23469 23472 15292 0 -1 4202560 7216 0 0 0 138 2 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504791825080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23472/tid=23494] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23494/stat : 23494 (java) S 23469 23472 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504790772472 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=23472/tid=23495] ppid=23469 vsize=10162692 CPUtime=0.3 cores=0-3,8-11
/proc/23472/task/23495/stat : 23495 (java) S 23469 23472 15292 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 27 0 24083002 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504789719880 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23472/tid=23517] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23517/stat : 23517 (java) S 23469 23472 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 24083438 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504785507752 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=23472/tid=23518] ppid=23469 vsize=10162692 CPUtime=880.92 cores=0-3,8-11
/proc/23472/task/23518/stat : 23518 (java) R 23469 23472 15292 0 -1 4202560 432 0 0 0 88069 23 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504786557760 140505175085231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23472/tid=23519] ppid=23469 vsize=10162692 CPUtime=880.91 cores=0-3,8-11
/proc/23472/task/23519/stat : 23519 (java) R 23469 23472 15292 0 -1 4202560 2551 0 0 0 88044 47 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504787610944 140505175298948 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=23472/tid=23520] ppid=23469 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/23472/task/23520/stat : 23520 (java) S 23469 23472 15292 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 24083488 10406596608 595158 33554432000 1073741824 1073778376 140736803712416 140504788665384 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 10162692

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 23472 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23472 and gives
#  childrusage.ru_utime.tv_sec=1788
#  childrusage.ru_utime.tv_usec=60173
#  childrusage.ru_stime.tv_sec=8
#  childrusage.ru_stime.tv_usec=72772
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 895.266
CPU time (s): 1800.12
CPU user time (s): 1792.52
CPU system time (s): 7.6
CPU usage (%): 201.071
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.06
system time used= 8.07277
maximum resident set size= 2943088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31188
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25596
involuntary context switches= 19059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32289 second user time and 9.74752 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 05:26:24
IDJOB=4103182
IDBENCH=2291
IDSOLVER=2543
FILE ID=node132/4103182-1466220384
RUNJOBID= node132-1466206058-15308
PBS_JOBID= 19918145
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103182-1466220384/watcher-4103182-1466220384 -o /tmp/evaluation-result-4103182-1466220384/solver-4103182-1466220384 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15308 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103182-1466220384.opb

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

MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920
RANDOM SEED=111071045

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

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        27873656 kB
Buffers:           86908 kB
Cached:           121480 kB
SwapCached:         1776 kB
Active:          4094476 kB
Inactive:         148412 kB
Active(anon):    4035696 kB
Inactive(anon):     1060 kB
Active(file):      58780 kB
Inactive(file):   147352 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:               648 kB
Writeback:             0 kB
AnonPages:       4118012 kB
Mapped:            15460 kB
Shmem:                 0 kB
Slab:             605044 kB
SReclaimable:      45060 kB
SUnreclaim:       559984 kB
KernelStack:        2376 kB
PageTables:        11808 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4439416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4012032 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= 71736 MiB
End job on node132 at 2016-06-18 05:41:19