Trace number 4110905

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)-1352872 1800.14 889.579

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb
MD5SUM21856d4b61b14e28bd276ce98d25b92a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1352872
Best CPU time to get the best result obtained on this benchmark42.1246
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4308
Total number of constraints15405
Number of constraints which are clauses15345
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint1
Maximum length of a constraint84
Number of terms in the objective function 166
Biggest coefficient in the objective function 28835840
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 461373439
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 28835840
Number of bits of the biggest number in a constraint 25
Biggest sum of numbers in a constraint 461373439
Number of bits of the biggest sum of numbers29
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	16
0.12/0.11	c Pseudo Boolean Optimization by upper bound
0.12/0.11	c ManyCore solver with 2 solvers running in parallel
0.12/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@22c84d9
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.11	c Expensive reason simplification
0.12/0.11	c Glucose 2.1 dynamic restart strategy
0.12/0.11	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.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.12/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.12/0.11	c --- Begin Solver configuration ---
0.12/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@558385e3
0.12/0.11	c Learn all clauses as in MiniSAT
0.12/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.12/0.11	c No reason simplification
0.12/0.11	c Armin Biere (Picosat) restarts strategy
0.12/0.11	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.12/0.11	c timeout=2147483s
0.12/0.11	c DB Simplification allowed=false
0.12/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@3f7fa65e
0.12/0.11	c --- End Solver configuration ---
0.12/0.11	c solving HOME/instance-4110905-1466392072.opb
0.12/0.11	c reading problem ... 
0.12/0.11	c  objective function found
1.07/0.54	c ... done. Wall clock time 0.439s.
1.07/0.54	c declared #vars     4308
1.07/0.54	c #constraints  15405
1.07/0.55	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.07/0.55	c constraints type 
1.07/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3446
1.07/0.55	c org.sat4j.specs.Constr$1 => 2413
1.07/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1.07/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9355
1.07/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 176
1.07/0.55	c 15405 constraints processed.
1.07/0.55	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.07/0.55	c constraints type 
1.07/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9355
1.07/0.55	c org.sat4j.specs.Constr$1 => 2413
1.07/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3446
1.07/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1.07/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 176
1.07/0.55	c 15405 constraints processed.
1.07/0.55	c objective function length is 166 literals
1.41/0.63	c And the winner is solver0
2.10/1.05	c SATISFIABLE
2.10/1.05	c OPTIMIZING...
2.10/1.05	c Got one! Elapsed wall clock time (in seconds):0.947
2.10/1.05	o -1352841
3.87/1.60	c And the winner is solver1
4.40/2.06	c Got one! Elapsed wall clock time (in seconds):1.951
4.40/2.06	o -1352862
5.98/2.76	c cleaning 2953 clauses out of 5905 with flag 13197/5905
7.00/3.13	c And the winner is solver1
7.09/3.56	c Got one! Elapsed wall clock time (in seconds):3.455
7.09/3.56	o -1352867
8.62/4.25	c cleaning 4350 clauses out of 8700 with flag 14716/11653
11.05/5.37	c cleaning 5171 clauses out of 10350 with flag 37763/17653
13.82/6.50	c cleaning 6087 clauses out of 12181 with flag 67750/24655
16.02/7.66	c cleaning 7047 clauses out of 14094 with flag 106655/32655
19.33/9.13	c cleaning 8014 clauses out of 16046 with flag 152045/41654
23.17/10.95	c cleaning 9012 clauses out of 18031 with flag 205804/51653
26.57/12.66	c cleaning 10008 clauses out of 20022 with flag 255358/62656
31.42/14.91	c cleaning 11006 clauses out of 22011 with flag 318374/74653
35.82/17.16	c cleaning 12001 clauses out of 24006 with flag 390066/87654
40.91/19.56	c cleaning 12998 clauses out of 26004 with flag 456187/101653
46.31/22.27	c cleaning 13997 clauses out of 28006 with flag 523743/116653
52.31/25.21	c cleaning 14999 clauses out of 30009 with flag 613693/132653
59.57/28.65	c cleaning 16003 clauses out of 32010 with flag 707957/149653
65.98/31.78	c cleaning 17003 clauses out of 34007 with flag 795368/167653
72.78/35.20	c cleaning 17996 clauses out of 36004 with flag 888923/186653
81.24/39.23	c cleaning 19001 clauses out of 38008 with flag 995240/206653
89.64/43.45	c cleaning 20002 clauses out of 40007 with flag 1102674/227653
99.49/48.25	c cleaning 21003 clauses out of 42008 with flag 1219007/249656
108.89/52.83	c cleaning 21999 clauses out of 44003 with flag 1332344/272654
119.08/57.92	c cleaning 22999 clauses out of 46003 with flag 1444439/296653
129.69/63.14	c cleaning 23999 clauses out of 48004 with flag 1573067/321653
140.88/68.63	c cleaning 25001 clauses out of 50005 with flag 1700132/347653
152.09/74.23	c cleaning 26002 clauses out of 52004 with flag 1836288/374653
165.64/80.71	c cleaning 27000 clauses out of 54002 with flag 1980747/402653
179.57/87.67	c cleaning 28000 clauses out of 56003 with flag 2134759/431654
194.21/94.83	c cleaning 29000 clauses out of 58002 with flag 2302253/461653
209.00/102.19	c cleaning 29998 clauses out of 60002 with flag 2466838/492653
225.66/110.39	c cleaning 31002 clauses out of 62004 with flag 2648172/524653
246.10/120.42	c cleaning 32002 clauses out of 64004 with flag 2842371/557655
267.22/130.84	c cleaning 32994 clauses out of 66000 with flag 3049258/591653
289.32/141.80	c cleaning 34002 clauses out of 68008 with flag 3243673/626655
292.52/143.52	c And the winner is solver0
292.52/143.90	c Got one! Elapsed wall clock time (in seconds):143.795
292.52/143.90	o -1352872
292.95/144.18	c cleaning 19947 clauses out of 39913 with flag 5363/632562
294.73/145.09	c cleaning 12977 clauses out of 25966 with flag 36531/638562
296.58/145.99	c cleaning 9989 clauses out of 19989 with flag 72117/645562
298.58/146.97	c cleaning 8996 clauses out of 18001 with flag 113141/653563
300.78/148.01	c cleaning 8993 clauses out of 18005 with flag 159828/662563
303.24/149.24	c cleaning 9499 clauses out of 19011 with flag 215320/672562
305.84/150.56	c cleaning 10255 clauses out of 20513 with flag 272203/683563
309.30/152.24	c cleaning 11125 clauses out of 22258 with flag 344352/695563
312.76/153.96	c cleaning 12062 clauses out of 24133 with flag 414213/708563
318.11/156.51	c cleaning 13029 clauses out of 26070 with flag 509279/722562
323.34/159.17	c cleaning 14016 clauses out of 28041 with flag 606853/737562
329.03/161.97	c cleaning 15012 clauses out of 30025 with flag 714670/753562
335.16/165.00	c cleaning 16005 clauses out of 32014 with flag 820264/770563
342.10/168.39	c cleaning 16999 clauses out of 34008 with flag 932712/788562
349.76/172.12	c cleaning 18002 clauses out of 36009 with flag 1052841/807562
357.88/176.13	c cleaning 18999 clauses out of 38008 with flag 1180513/827563
366.91/180.68	c cleaning 20000 clauses out of 40008 with flag 1314695/848562
376.61/185.40	c cleaning 21000 clauses out of 42009 with flag 1444745/870563
386.34/190.29	c cleaning 21999 clauses out of 44008 with flag 1584061/893562
397.19/195.66	c cleaning 23005 clauses out of 46009 with flag 1733841/917562
408.55/201.23	c cleaning 23999 clauses out of 48004 with flag 1878839/942562
422.28/208.04	c cleaning 25003 clauses out of 50007 with flag 2037826/968564
436.46/215.04	c cleaning 26002 clauses out of 52003 with flag 2196624/995563
451.79/222.69	c cleaning 26996 clauses out of 54001 with flag 2364461/1023563
467.39/230.38	c cleaning 27998 clauses out of 56005 with flag 2521901/1052563
484.66/238.86	c cleaning 29002 clauses out of 58006 with flag 2695322/1082562
502.16/247.48	c cleaning 30000 clauses out of 60005 with flag 2880888/1113563
521.82/257.16	c cleaning 31002 clauses out of 62006 with flag 3079661/1145564
543.68/267.97	c cleaning 31995 clauses out of 64002 with flag 3288058/1178562
566.51/279.12	c cleaning 32999 clauses out of 66008 with flag 3492790/1212563
590.26/290.86	c cleaning 34004 clauses out of 68010 with flag 3705814/1247564
613.29/302.29	c cleaning 35001 clauses out of 70006 with flag 3907462/1283564
638.76/315.19	c cleaning 35999 clauses out of 72003 with flag 4131969/1320562
665.71/328.46	c cleaning 36999 clauses out of 74005 with flag 4363279/1358563
695.50/343.19	c cleaning 38002 clauses out of 76007 with flag 4598958/1397564
725.97/358.14	c cleaning 38998 clauses out of 78003 with flag 4844939/1437562
758.80/374.37	c cleaning 39997 clauses out of 80009 with flag 5126272/1478566
788.27/388.89	c cleaning 41003 clauses out of 82008 with flag 5395743/1520562
817.93/403.44	c cleaning 41997 clauses out of 84005 with flag 5672607/1563562
848.26/418.44	c cleaning 43000 clauses out of 86009 with flag 5945371/1607563
877.20/432.66	c cleaning 44001 clauses out of 88009 with flag 6216772/1652563
908.14/448.25	c cleaning 45000 clauses out of 90007 with flag 6498883/1698562
941.82/465.00	c cleaning 45999 clauses out of 92007 with flag 6812744/1745562
955.00/471.46	c cleaning 0 clauses out of 5824 with flag 0/5825
974.84/481.13	c cleaning 47005 clauses out of 94009 with flag 7086387/1793563
1009.86/498.45	c cleaning 47997 clauses out of 96004 with flag 7384341/1842563
1045.94/516.22	c cleaning 49003 clauses out of 98006 with flag 7677476/1892562
1082.16/534.14	c cleaning 49998 clauses out of 100003 with flag 7973385/1943562
1122.77/554.11	c cleaning 50999 clauses out of 102005 with flag 8296755/1995562
1164.12/574.59	c cleaning 52001 clauses out of 104007 with flag 8625356/2048563
1206.22/595.26	c cleaning 52997 clauses out of 106005 with flag 8938802/2102562
1251.20/617.46	c cleaning 53997 clauses out of 108008 with flag 9278300/2157562
1308.05/646.11	c cleaning 55006 clauses out of 110012 with flag 9664997/2213563
1361.81/672.66	c cleaning 56000 clauses out of 112005 with flag 10051221/2270562
1414.55/698.70	c cleaning 56998 clauses out of 114006 with flag 10445909/2328563
1468.93/725.57	c cleaning 57999 clauses out of 116008 with flag 10823210/2387563
1514.88/748.20	c cleaning 59005 clauses out of 118009 with flag 11179298/2447563
1560.84/770.93	c cleaning 59996 clauses out of 120005 with flag 11553939/2508564
1610.03/795.26	c cleaning 60997 clauses out of 122008 with flag 11918886/2570563
1660.29/820.05	c cleaning 62002 clauses out of 124010 with flag 12284246/2633562
1710.06/844.54	c cleaning 63000 clauses out of 126008 with flag 12640642/2697562
1768.56/873.90	c cleaning 64001 clauses out of 128008 with flag 13027566/2762562
1800.14/889.50	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.14/889.50	c starts		: 6094
1800.14/889.50	c conflicts		: 2803267
1800.14/889.50	c decisions		: 3768819
1800.14/889.50	c propagations		: 275667340
1800.14/889.50	c inspects		: 9200195041
1800.14/889.50	c shortcuts		: 0
1800.14/889.50	c learnt literals	: 0
1800.14/889.50	c learnt binary clauses	: 6
1800.14/889.50	c learnt ternary clauses	: 16
1800.14/889.50	c learnt constraints	: 2803267
1800.14/889.50	c ignored constraints	: 0
1800.14/889.50	c root simplifications	: 0
1800.14/889.50	c removed literals (reason simplification)	: 29836023
1800.14/889.50	c reason swapping (by a shorter reason)	: 0
1800.14/889.50	c Calls to reduceDB	: 93
1800.14/889.50	c Number of update (reduction) of LBD	: 149781
1800.14/889.50	c Imported unit clauses	: 0
1800.14/889.50	c number of reductions to clauses (during analyze)	: 0
1800.14/889.50	c number of learned constraints concerned by reduction	: 0
1800.14/889.50	c number of learning phase by resolution	: 0
1800.14/889.50	c number of learning phase by cutting planes	: 0
1800.14/889.50	c speed (assignments/second)	: 311156.9705951737
1800.14/889.50	c non guided choices	1684
1800.14/889.53	c learnt constraints type 
1800.14/889.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 6
1800.14/889.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 104706
1800.14/889.53	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.14/889.53	c starts		: 41
1800.14/889.53	c conflicts		: 7462
1800.14/889.53	c decisions		: 17445
1800.14/889.53	c propagations		: 4258347
1800.14/889.53	c inspects		: 838099983
1800.14/889.53	c shortcuts		: 0
1800.14/889.53	c learnt literals	: 0
1800.14/889.53	c learnt binary clauses	: 0
1800.14/889.53	c learnt ternary clauses	: 0
1800.14/889.53	c learnt constraints	: 7460
1800.14/889.53	c ignored constraints	: 0
1800.14/889.53	c root simplifications	: 0
1800.14/889.53	c removed literals (reason simplification)	: 0
1800.14/889.53	c reason swapping (by a shorter reason)	: 0
1800.14/889.53	c Calls to reduceDB	: 1
1800.14/889.53	c Number of update (reduction) of LBD	: 0
1800.14/889.53	c Imported unit clauses	: 0
1800.14/889.53	c number of reductions to clauses (during analyze)	: 0
1800.14/889.53	c number of learned constraints concerned by reduction	: 0
1800.14/889.53	c number of learning phase by resolution	: 0
1800.14/889.53	c number of learning phase by cutting planes	: 0
1800.14/889.53	c speed (assignments/second)	: 5711.202728493199
1800.14/889.53	c non guided choices	5
1800.14/889.53	c learnt constraints type 
1800.14/889.53	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 482
1800.14/889.53	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6978
1800.14/889.53	s SATISFIABLE
1800.14/889.53	c Found 4 solution(s)
1800.14/889.54	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 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 x3118 -x3119 -x3120 x3121 -x3122 x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 x3156 -x3157 x3158 x3159 x3160 x3161 -x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 x3179 x3180 x3181 x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 -x3377 -x3378 -x3379 x3380 x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487 -x3488 -x3489 x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3506 -x3507 -x3508 x3509 -x3510 -x3511 -x3512 -x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 x3576 x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 x3674 -x3675 -x3676 -x3677 x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 x3858 x3859 x3860 x3861 -x3862 -x3863 x3864 x3865 x3866 x3867 x3868 x3869 x3870 x3871 x3872 x3873 x3874 x3875 x3876 x3877 x3878 x3879 x3880 x3881 x3882 x3883 x3884 x3885 x3886 x3887 x3888 x3889 x3890 x3891 x3892 x3893 x3894 x3895 x3896 x3897 x3898 x3899 x3900 x3901 x3902 x3903 x3904 x3905 x3906 x3907 x3908 x3909 x3910 x3911 x3912 x3913 x3914 x3915 x3916 x3917 x3918 x3919 x3920 x3921 x3922 x3923 x3924 x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 x4223 x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 x4254 -x4255 -x4256 -x4257 -x4258 x4259 x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 x4305 -x4306 -x4307 -x4308 
1800.14/889.55	c objective function=-1352872
1800.14/889.55	c Total wall clock time (in seconds): 889.444

Verifier Data 

OK	-1352872

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

pid=18450
running on 8 cores: 4-7,12-15

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: 3.94 4.00 4.03 6/284 18453
/proc/meminfo: memFree=31828952/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=8482264 CPUtime=0 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 2056 0 1 0 0 0 0 0 20 0 2 0 41251773 8685838336 2169 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2120566 2172 948 9 0 2111675 0
[pid=18453/tid=18454] ppid=18450 vsize=8549856 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) R 18450 18453 15739 0 -1 4202560 844 0 1 0 0 0 0 0 20 0 3 0 41251774 8755052544 2183 33554432000 1073741824 1073778376 140735295768752 140093213513688 216808678375 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=8615392 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41251775 8822161408 2185 33554432000 1073741824 1073778376 140735295768752 140093185964776 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=8616420 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 5 0 41251775 8823214080 2189 33554432000 1073741824 1073778376 140735295768752 140093184912232 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=8682984 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 6 0 41251775 8891375616 2194 33554432000 1073741824 1073778376 140735295768752 140093183859176 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=8748520 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 6 0 41251775 8958484480 2197 33554432000 1073741824 1073778376 140735295768752 140093182806488 216812008508 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=8815084 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) R 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 7 0 41251775 9026646016 2200 33554432000 1073741824 1073778376 140735295768752 140093213513720 216808253837 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0

[startup+0.100062 s]
/proc/loadavg: 3.94 4.00 4.03 6/284 18453
/proc/meminfo: memFree=31828952/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=9896436 CPUtime=0.12 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 4529 0 1 0 10 2 0 0 20 0 23 0 41251773 10133950464 6159 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2474109 6159 2156 9 0 2464786 0
[pid=18453/tid=18454] ppid=18450 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) R 18450 18453 15739 0 -1 4202560 2414 0 1 0 6 2 0 0 20 0 23 0 41251774 10133950464 6160 33554432000 1073741824 1073778376 140735295768752 140093213510560 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 6161 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 6161 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 6161 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 6161 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 6161 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9896436

[startup+0.200491 s]
/proc/loadavg: 3.94 4.00 4.03 6/284 18453
/proc/meminfo: memFree=31828952/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=9896436 CPUtime=0.26 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 4732 0 1 0 24 2 0 0 20 0 23 0 41251773 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2474109 7332 2214 9 0 2464786 0
[pid=18453/tid=18454] ppid=18450 vsize=9896436 CPUtime=0.18 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) R 18450 18453 15739 0 -1 4202560 2437 0 1 0 16 2 0 0 20 0 23 0 41251774 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093213510560 140093058774543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 7332 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9896436

[startup+0.300528 s]
/proc/loadavg: 3.94 4.00 4.03 6/284 18453
/proc/meminfo: memFree=31828952/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=9896436 CPUtime=0.5 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 6117 0 1 0 48 2 0 0 20 0 23 0 41251773 10133950464 9339 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2474109 9339 2233 9 0 2464786 0
[pid=18453/tid=18454] ppid=18450 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) R 18450 18453 15739 0 -1 4202560 2439 0 1 0 26 2 0 0 20 0 23 0 41251774 10133950464 9339 33554432000 1073741824 1073778376 140735295768752 140093213510560 140093059121071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 9325 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 9325 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 9325 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 9325 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 41251775 10133950464 9325 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9896436

[startup+0.700379 s]
/proc/loadavg: 3.94 4.00 4.03 6/284 18453
/proc/meminfo: memFree=31828952/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=10162692 CPUtime=1.7 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 21519 0 1 0 163 7 0 0 20 0 24 0 41251773 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2540673 27467 2258 9 0 2531350 0
[pid=18453/tid=18454] ppid=18450 vsize=10162692 CPUtime=0.53 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) S 18450 18453 15739 0 -1 4202560 2473 0 1 0 51 2 0 0 20 0 24 0 41251774 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093213512568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41251775 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41251775 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41251775 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41251775 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 41251775 10406596608 27467 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 10162692

[startup+1.50154 s]
/proc/loadavg: 3.94 4.00 4.03 7/311 18483
/proc/meminfo: memFree=31693264/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=10162692 CPUtime=3.87 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 29775 0 1 0 378 9 0 0 20 0 27 0 41251773 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2540673 34446 2268 9 0 2531350 0
[pid=18453/tid=18454] ppid=18450 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) S 18450 18453 15739 0 -1 4202560 2475 0 1 0 52 2 0 0 20 0 27 0 41251774 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093213512568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18460] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18460/stat : 18460 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093180701736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18461] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18461/stat : 18461 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093179648680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18462] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18462/stat : 18462 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093178596136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18463] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18463/stat : 18463 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093177543080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18464] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18464/stat : 18464 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093047745064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18465] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18465/stat : 18465 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093046692008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18466] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18466/stat : 18466 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093045639464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18467] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18467/stat : 18467 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140093044587432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18469] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18469/stat : 18469 (java) S 18450 18453 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092154158056 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18470] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18470/stat : 18470 (java) S 18450 18453 15739 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092153103864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18471] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18471/stat : 18471 (java) S 18450 18453 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092152051208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18472] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18472/stat : 18472 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092150999440 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18473] ppid=18450 vsize=10162692 CPUtime=1.1 cores=4-7,12-15
/proc/18453/task/18473/stat : 18473 (java) R 18450 18453 15739 0 -1 4202560 12254 0 0 0 108 2 0 0 20 0 27 0 41251778 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092149939904 140093217629202 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18474] ppid=18450 vsize=10162692 CPUtime=1.12 cores=4-7,12-15
/proc/18453/task/18474/stat : 18474 (java) R 18450 18453 15739 0 -1 4202560 13685 0 0 0 110 2 0 0 20 0 27 0 41251778 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092148871136 140093220498873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18475] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18475/stat : 18475 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092147841400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18476] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18476/stat : 18476 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092146789576 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18480] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18480/stat : 18480 (java) S 18450 18453 15739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 41251830 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092142576680 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18481] ppid=18450 vsize=10162692 CPUtime=0.43 cores=4-7,12-15
/proc/18453/task/18481/stat : 18481 (java) R 18450 18453 15739 0 -1 4202560 3 0 0 0 43 0 0 0 20 0 27 0 41251879 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092144681296 140093059851874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18482] ppid=18450 vsize=10162692 CPUtime=0.43 cores=4-7,12-15
/proc/18453/task/18482/stat : 18482 (java) R 18450 18453 15739 0 -1 4202560 14 0 0 0 43 0 0 0 20 0 27 0 41251879 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092145734360 140093058835152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18483] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18483/stat : 18483 (java) S 18450 18453 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 41251880 10406596608 34446 33554432000 1073741824 1073778376 140735295768752 140092143629224 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 10162692

[startup+3.10114 s]
/proc/loadavg: 3.94 4.00 4.03 15/311 18489
/proc/meminfo: memFree=31498272/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=10162692 CPUtime=7 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 32602 0 1 0 676 24 0 0 20 0 27 0 41251773 10406596608 55376 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2540673 55376 2293 9 0 2531350 0
[pid=18453/tid=18454] ppid=18450 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) S 18450 18453 15739 0 -1 4202560 2476 0 1 0 52 2 0 0 20 0 27 0 41251774 10406596608 55376 33554432000 1073741824 1073778376 140735295768752 140093213512568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 55376 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 27 0 41251775 10406596608 55376 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 27 0 41251775 10406596608 55376 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0

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

[pid=18453/tid=18538] ppid=18450 vsize=10162692 CPUtime=728.93 cores=4-7,12-15
/proc/18453/task/18538/stat : 18538 (java) R 18450 18453 15739 0 -1 4202560 118 0 0 0 72881 12 0 0 20 0 27 0 41266164 10406596608 868169 33554432000 1073741824 1073778376 140735295768752 140092142574888 140093059842211 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18539] ppid=18450 vsize=10162692 CPUtime=728.96 cores=4-7,12-15
/proc/18453/task/18539/stat : 18539 (java) R 18450 18453 15739 0 -1 4202560 3425 0 0 0 72868 28 0 0 20 0 27 0 41266164 10406596608 868169 33554432000 1073741824 1073778376 140735295768752 140092143626528 140093059667145 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18540] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18540/stat : 18540 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41266166 10406596608 868169 33554432000 1073741824 1073778376 140735295768752 140092144682536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 10162692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+889.501 s]
/proc/loadavg: 3.96 4.06 4.02 5/311 18575
/proc/meminfo: memFree=25313992/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=10162692 CPUtime=1799.73 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 48615 0 1 0 179496 477 0 0 20 0 27 0 41251773 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2540673 865547 2302 9 0 2531350 0
[pid=18453/tid=18454] ppid=18450 vsize=10162692 CPUtime=0.59 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) S 18450 18453 15739 0 -1 4202560 2493 0 1 0 55 4 0 0 20 0 27 0 41251774 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093213512568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 669 0 0 0 246 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 502 0 0 0 244 24 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=10162692 CPUtime=2.74 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 670 0 0 0 244 30 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=10162692 CPUtime=2.76 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 665 0 0 0 246 30 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=10162692 CPUtime=2.83 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 664 0 0 0 256 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18460] ppid=18450 vsize=10162692 CPUtime=2.79 cores=4-7,12-15
/proc/18453/task/18460/stat : 18460 (java) S 18450 18453 15739 0 -1 4202560 585 0 0 0 250 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093180701736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18461] ppid=18450 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/18453/task/18461/stat : 18461 (java) S 18450 18453 15739 0 -1 4202560 610 0 0 0 241 32 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093179648680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18462] ppid=18450 vsize=10162692 CPUtime=2.77 cores=4-7,12-15
/proc/18453/task/18462/stat : 18462 (java) S 18450 18453 15739 0 -1 4202560 576 0 0 0 249 28 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093178596136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18463] ppid=18450 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/18453/task/18463/stat : 18463 (java) S 18450 18453 15739 0 -1 4202560 787 0 0 0 239 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093177543080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18464] ppid=18450 vsize=10162692 CPUtime=2.7 cores=4-7,12-15
/proc/18453/task/18464/stat : 18464 (java) S 18450 18453 15739 0 -1 4202560 672 0 0 0 241 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093047745064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18465] ppid=18450 vsize=10162692 CPUtime=2.65 cores=4-7,12-15
/proc/18453/task/18465/stat : 18465 (java) S 18450 18453 15739 0 -1 4202560 507 0 0 0 239 26 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093046692008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18466] ppid=18450 vsize=10162692 CPUtime=2.67 cores=4-7,12-15
/proc/18453/task/18466/stat : 18466 (java) S 18450 18453 15739 0 -1 4202560 471 0 0 0 241 26 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093045639464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18467] ppid=18450 vsize=10162692 CPUtime=2.58 cores=4-7,12-15
/proc/18453/task/18467/stat : 18467 (java) S 18450 18453 15739 0 -1 4202560 624 0 0 0 231 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093044587432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18469] ppid=18450 vsize=10162692 CPUtime=4.16 cores=4-7,12-15
/proc/18453/task/18469/stat : 18469 (java) S 18450 18453 15739 0 -1 4202560 3217 0 0 0 407 9 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092154158056 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18470] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18470/stat : 18470 (java) S 18450 18453 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092153103864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18471] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18471/stat : 18471 (java) S 18450 18453 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092152051208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18472] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18472/stat : 18472 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092150999440 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18473] ppid=18450 vsize=10162692 CPUtime=1.96 cores=4-7,12-15
/proc/18453/task/18473/stat : 18473 (java) S 18450 18453 15739 0 -1 4202560 12627 0 0 0 194 2 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092149946808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18474] ppid=18450 vsize=10162692 CPUtime=1.58 cores=4-7,12-15
/proc/18453/task/18474/stat : 18474 (java) S 18450 18453 15739 0 -1 4202560 15975 0 0 0 155 3 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092148893752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18475] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18475/stat : 18475 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092147841400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18476] ppid=18450 vsize=10162692 CPUtime=0.41 cores=4-7,12-15
/proc/18453/task/18476/stat : 18476 (java) S 18450 18453 15739 0 -1 4202560 51 0 0 0 18 23 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092146789576 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18492] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18492/stat : 18492 (java) S 18450 18453 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 41252130 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092145734824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18538] ppid=18450 vsize=10162692 CPUtime=736.07 cores=4-7,12-15
/proc/18453/task/18538/stat : 18538 (java) R 18450 18453 15739 0 -1 4202560 119 0 0 0 73595 12 0 0 20 0 27 0 41266164 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092142574888 140093059842164 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18539] ppid=18450 vsize=10162692 CPUtime=736.11 cores=4-7,12-15
/proc/18453/task/18539/stat : 18539 (java) R 18450 18453 15739 0 -1 4202560 3425 0 0 0 73583 28 0 0 20 0 27 0 41266164 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092143626648 140093059667111 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18540] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18540/stat : 18540 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41266166 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092144682536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1799.73
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 18453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+889.501 s]
/proc/loadavg: 3.96 4.06 4.02 5/311 18575
/proc/meminfo: memFree=25313992/32872528 swapFree=8316/8316
[pid=18453] ppid=18450 vsize=10162692 CPUtime=1799.73 cores=4-7,12-15
/proc/18453/stat : 18453 (java) S 18450 18453 15739 0 -1 4202496 48615 0 1 0 179496 477 0 0 20 0 27 0 41251773 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140735295759888 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/18453/statm: 2540673 865547 2302 9 0 2531350 0
[pid=18453/tid=18454] ppid=18450 vsize=10162692 CPUtime=0.59 cores=4-7,12-15
/proc/18453/task/18454/stat : 18454 (java) S 18450 18453 15739 0 -1 4202560 2493 0 1 0 55 4 0 0 20 0 27 0 41251774 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093213512568 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18455] ppid=18450 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/18453/task/18455/stat : 18455 (java) S 18450 18453 15739 0 -1 4202560 669 0 0 0 246 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093185964456 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18456] ppid=18450 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/18453/task/18456/stat : 18456 (java) S 18450 18453 15739 0 -1 4202560 502 0 0 0 244 24 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093184911912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18457] ppid=18450 vsize=10162692 CPUtime=2.74 cores=4-7,12-15
/proc/18453/task/18457/stat : 18457 (java) S 18450 18453 15739 0 -1 4202560 670 0 0 0 244 30 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093183858856 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18458] ppid=18450 vsize=10162692 CPUtime=2.76 cores=4-7,12-15
/proc/18453/task/18458/stat : 18458 (java) S 18450 18453 15739 0 -1 4202560 665 0 0 0 246 30 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093182806312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18459] ppid=18450 vsize=10162692 CPUtime=2.83 cores=4-7,12-15
/proc/18453/task/18459/stat : 18459 (java) S 18450 18453 15739 0 -1 4202560 664 0 0 0 256 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093181754280 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18460] ppid=18450 vsize=10162692 CPUtime=2.79 cores=4-7,12-15
/proc/18453/task/18460/stat : 18460 (java) S 18450 18453 15739 0 -1 4202560 585 0 0 0 250 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093180701736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18461] ppid=18450 vsize=10162692 CPUtime=2.73 cores=4-7,12-15
/proc/18453/task/18461/stat : 18461 (java) S 18450 18453 15739 0 -1 4202560 610 0 0 0 241 32 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093179648680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18462] ppid=18450 vsize=10162692 CPUtime=2.77 cores=4-7,12-15
/proc/18453/task/18462/stat : 18462 (java) S 18450 18453 15739 0 -1 4202560 576 0 0 0 249 28 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093178596136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18463] ppid=18450 vsize=10162692 CPUtime=2.68 cores=4-7,12-15
/proc/18453/task/18463/stat : 18463 (java) S 18450 18453 15739 0 -1 4202560 787 0 0 0 239 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093177543080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18464] ppid=18450 vsize=10162692 CPUtime=2.7 cores=4-7,12-15
/proc/18453/task/18464/stat : 18464 (java) S 18450 18453 15739 0 -1 4202560 672 0 0 0 241 29 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093047745064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18465] ppid=18450 vsize=10162692 CPUtime=2.65 cores=4-7,12-15
/proc/18453/task/18465/stat : 18465 (java) S 18450 18453 15739 0 -1 4202560 507 0 0 0 239 26 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093046692008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18466] ppid=18450 vsize=10162692 CPUtime=2.67 cores=4-7,12-15
/proc/18453/task/18466/stat : 18466 (java) S 18450 18453 15739 0 -1 4202560 471 0 0 0 241 26 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093045639464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18453/tid=18467] ppid=18450 vsize=10162692 CPUtime=2.58 cores=4-7,12-15
/proc/18453/task/18467/stat : 18467 (java) S 18450 18453 15739 0 -1 4202560 624 0 0 0 231 27 0 0 20 0 27 0 41251775 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140093044587432 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18453/tid=18469] ppid=18450 vsize=10162692 CPUtime=4.16 cores=4-7,12-15
/proc/18453/task/18469/stat : 18469 (java) S 18450 18453 15739 0 -1 4202560 3217 0 0 0 407 9 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092154158056 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18470] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18470/stat : 18470 (java) S 18450 18453 15739 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092153103864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18471] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18471/stat : 18471 (java) S 18450 18453 15739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 41251776 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092152051208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18472] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18472/stat : 18472 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092150999440 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=18453/tid=18473] ppid=18450 vsize=10162692 CPUtime=1.96 cores=4-7,12-15
/proc/18453/task/18473/stat : 18473 (java) S 18450 18453 15739 0 -1 4202560 12627 0 0 0 194 2 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092149946808 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18474] ppid=18450 vsize=10162692 CPUtime=1.58 cores=4-7,12-15
/proc/18453/task/18474/stat : 18474 (java) S 18450 18453 15739 0 -1 4202560 15975 0 0 0 155 3 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092148893752 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18475] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18475/stat : 18475 (java) S 18450 18453 15739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092147841400 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=18453/tid=18476] ppid=18450 vsize=10162692 CPUtime=0.41 cores=4-7,12-15
/proc/18453/task/18476/stat : 18476 (java) S 18450 18453 15739 0 -1 4202560 51 0 0 0 18 23 0 0 20 0 27 0 41251778 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092146789576 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18453/tid=18492] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18492/stat : 18492 (java) S 18450 18453 15739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 27 0 41252130 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092145734824 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18453/tid=18538] ppid=18450 vsize=10162692 CPUtime=736.07 cores=4-7,12-15
/proc/18453/task/18538/stat : 18538 (java) R 18450 18453 15739 0 -1 4202560 119 0 0 0 73595 12 0 0 20 0 27 0 41266164 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092142574888 140093059842164 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=18453/tid=18539] ppid=18450 vsize=10162692 CPUtime=736.11 cores=4-7,12-15
/proc/18453/task/18539/stat : 18539 (java) R 18450 18453 15739 0 -1 4202560 3425 0 0 0 73583 28 0 0 20 0 27 0 41266164 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092143626648 140093059667111 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=18453/tid=18540] ppid=18450 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/18453/task/18540/stat : 18540 (java) S 18450 18453 15739 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 41266166 10406596608 865547 33554432000 1073741824 1073778376 140735295768752 140092144682536 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 10162692

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18453 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=726
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=150217
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1799.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.409973
#  lost CPU user time (s): 0.459991
#  lost CPU system time (s): -0.05

Real time (s): 889.579
CPU time (s): 1800.14
CPU user time (s): 1795.42
CPU system time (s): 4.72
CPU usage (%): 202.359
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791
system time used= 5.15022
maximum resident set size= 3484628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48653
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31632
involuntary context switches= 37048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92679 second user time and 9.81351 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-20 05:07:52
IDJOB=4110905
IDBENCH=108560
IDSOLVER=2543
FILE ID=node132/4110905-1466392072
RUNJOBID= node132-1466384055-15756
PBS_JOBID= 19923261
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110905-1466392072/watcher-4110905-1466392072 -o /tmp/evaluation-result-4110905-1466392072/solver-4110905-1466392072 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466384055-15756 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4110905-1466392072.opb

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

MD5SUM BENCH= 21856d4b61b14e28bd276ce98d25b92a
RANDOM SEED=8361515

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:        31828588 kB
Buffers:           48592 kB
Cached:            54376 kB
SwapCached:          776 kB
Active:           214968 kB
Inactive:          70924 kB
Active(anon):     184112 kB
Inactive(anon):     1168 kB
Active(file):      30856 kB
Inactive(file):    69756 kB
Unevictable:        8316 kB
Mlocked:            8316 kB
SwapTotal:      67108856 kB
SwapFree:       67100184 kB
Dirty:              2024 kB
Writeback:             0 kB
AnonPages:        174120 kB
Mapped:            15256 kB
Shmem:                 0 kB
Slab:             602456 kB
SReclaimable:      41976 kB
SUnreclaim:       560480 kB
KernelStack:        2400 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     710484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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-20 05:22:41