Trace number 4081626

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)163 1800.1 901.07

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
MD5SUMbb6edae9b271ecf76d3d6c31c88b027d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark161
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints1999
Number of constraints which are clauses1999
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.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 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4081626-1465267546.opb
0.10/0.11	c reading problem ... 
0.10/0.12	c  objective function found
0.25/0.28	c ... done. Wall clock time 0.163s.
0.25/0.28	c declared #vars     200
0.25/0.28	c #constraints  1999
0.25/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.25/0.28	c constraints type 
0.25/0.28	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1999
0.25/0.28	c 1999 constraints processed.
0.25/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.25/0.28	c constraints type 
0.25/0.28	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1999
0.25/0.28	c 1999 constraints processed.
0.25/0.28	c objective function length is 200 literals
0.25/0.29	c And the winner is solver1
0.44/0.78	c SATISFIABLE
0.44/0.78	c OPTIMIZING...
0.44/0.78	c Got one! Elapsed wall clock time (in seconds):0.669
0.44/0.78	o 172
0.47/0.80	c And the winner is solver0
0.49/1.29	c Got one! Elapsed wall clock time (in seconds):1.173
0.49/1.29	o 171
0.92/1.40	c And the winner is solver1
1.19/1.79	c Got one! Elapsed wall clock time (in seconds):1.674
1.19/1.79	o 170
1.21/1.81	c And the winner is solver1
1.38/2.29	c Got one! Elapsed wall clock time (in seconds):2.176
1.38/2.29	o 169
1.41/2.32	c And the winner is solver1
1.63/2.79	c Got one! Elapsed wall clock time (in seconds):2.677
1.63/2.79	o 168
1.64/2.85	c And the winner is solver1
2.12/3.29	c Got one! Elapsed wall clock time (in seconds):3.178
2.12/3.29	o 167
2.14/3.36	c And the winner is solver1
2.28/3.79	c Got one! Elapsed wall clock time (in seconds):3.679
2.28/3.79	o 166
2.56/4.00	c cleaning 3245 clauses out of 6489 with flag 6782/6489
3.55/4.35	c cleaning 4622 clauses out of 9244 with flag 20487/12489
4.59/4.80	c cleaning 5811 clauses out of 11623 with flag 36855/19490
5.75/5.33	c cleaning 6907 clauses out of 13813 with flag 54140/27491
7.07/5.96	c cleaning 7946 clauses out of 15905 with flag 73043/36490
8.60/6.67	c cleaning 8979 clauses out of 17958 with flag 94215/46489
10.21/7.46	c cleaning 9987 clauses out of 19980 with flag 117438/57490
12.30/8.42	c cleaning 10995 clauses out of 21992 with flag 142684/69489
14.37/9.43	c cleaning 11999 clauses out of 23998 with flag 169859/82490
16.76/10.61	c cleaning 12995 clauses out of 25998 with flag 199389/96489
17.77/11.19	c And the winner is solver1
17.91/11.30	c Got one! Elapsed wall clock time (in seconds):11.181
17.91/11.30	o 165
19.84/12.29	c cleaning 12861 clauses out of 25734 with flag 12274/109220
21.43/13.02	c cleaning 9431 clauses out of 18874 with flag 27446/115221
22.63/13.68	c cleaning 8220 clauses out of 16442 with flag 45116/122220
24.04/14.33	c cleaning 8105 clauses out of 16222 with flag 64365/130220
25.75/15.14	c cleaning 8553 clauses out of 17117 with flag 86752/139220
27.35/15.99	c cleaning 9281 clauses out of 18563 with flag 112854/149219
29.35/16.91	c cleaning 10136 clauses out of 20283 with flag 137998/160220
31.35/17.93	c cleaning 11073 clauses out of 22146 with flag 166060/172219
33.54/19.04	c cleaning 12036 clauses out of 24073 with flag 196734/185219
35.82/20.16	c cleaning 13015 clauses out of 26038 with flag 228819/199220
38.42/21.43	c cleaning 14005 clauses out of 28022 with flag 263527/214219
42.04/23.21	c cleaning 15003 clauses out of 30017 with flag 303079/230219
45.71/25.02	c cleaning 16004 clauses out of 32018 with flag 345239/247223
49.71/27.08	c cleaning 17002 clauses out of 34010 with flag 388494/265219
54.30/29.36	c cleaning 18004 clauses out of 36008 with flag 433537/284219
60.10/32.26	c cleaning 18998 clauses out of 38005 with flag 481380/304220
67.60/35.91	c cleaning 20000 clauses out of 40006 with flag 534149/325219
74.79/39.53	c cleaning 20997 clauses out of 42006 with flag 588043/347219
82.29/43.28	c cleaning 22004 clauses out of 44012 with flag 641209/370222
90.08/47.11	c cleaning 22998 clauses out of 46005 with flag 700161/394219
99.68/51.95	c cleaning 23999 clauses out of 48008 with flag 762175/419220
104.97/54.58	c cleaning 0 clauses out of 5232 with flag 0/5232
109.20/56.44	c cleaning 24999 clauses out of 50008 with flag 824191/445219
113.21/58.49	c And the winner is solver1
113.21/58.87	c Got one! Elapsed wall clock time (in seconds):58.758
113.21/58.87	o 164
115.65/60.12	c cleaning 22227 clauses out of 44453 with flag 11500/464663
117.27/60.98	c cleaning 14112 clauses out of 28226 with flag 25695/470663
118.88/61.75	c cleaning 10551 clauses out of 21114 with flag 42990/477663
120.27/62.41	c cleaning 9275 clauses out of 18563 with flag 61829/485663
121.67/63.12	c cleaning 9139 clauses out of 18289 with flag 82818/494664
123.08/63.87	c cleaning 9568 clauses out of 19149 with flag 105241/504663
125.14/64.89	c cleaning 10286 clauses out of 20581 with flag 130567/515663
127.76/66.13	c cleaning 11146 clauses out of 22296 with flag 159783/527664
130.34/67.44	c cleaning 12069 clauses out of 24149 with flag 190695/540663
133.15/68.88	c cleaning 13040 clauses out of 26080 with flag 223526/554663
136.15/70.36	c cleaning 14018 clauses out of 28040 with flag 258770/569663
139.35/71.97	c cleaning 15010 clauses out of 30022 with flag 296902/585663
143.41/73.98	c cleaning 16006 clauses out of 32014 with flag 338850/602665
148.01/76.28	c cleaning 17000 clauses out of 34008 with flag 382830/620665
154.03/79.21	c cleaning 18003 clauses out of 36006 with flag 430760/639663
160.02/82.20	c cleaning 18996 clauses out of 38004 with flag 479135/659664
166.68/85.53	c cleaning 20003 clauses out of 40011 with flag 529088/680667
174.48/89.48	c cleaning 21001 clauses out of 42004 with flag 581009/702663
183.08/93.74	c cleaning 22000 clauses out of 44004 with flag 638547/725664
191.74/98.02	c cleaning 22995 clauses out of 46004 with flag 697352/749664
200.54/102.41	c cleaning 24001 clauses out of 48009 with flag 758834/774664
206.15/105.41	c And the winner is solver1
206.15/105.78	c Got one! Elapsed wall clock time (in seconds):105.663
206.15/105.78	o 163
209.05/107.20	c cleaning 23374 clauses out of 46758 with flag 12928/797414
210.65/108.01	c cleaning 14689 clauses out of 29385 with flag 27677/803415
211.85/108.69	c cleaning 10844 clauses out of 21696 with flag 45874/810415
213.25/109.33	c cleaning 9421 clauses out of 18851 with flag 64996/818414
214.46/110.00	c cleaning 9209 clauses out of 18432 with flag 85293/827416
216.05/110.73	c cleaning 9606 clauses out of 19222 with flag 109192/837415
217.65/111.57	c cleaning 10307 clauses out of 20616 with flag 134819/848415
219.65/112.53	c cleaning 11151 clauses out of 22311 with flag 163267/860417
222.10/113.76	c cleaning 12077 clauses out of 24158 with flag 195569/873415
224.90/115.17	c cleaning 13037 clauses out of 26080 with flag 229074/887414
227.91/116.69	c cleaning 14019 clauses out of 28043 with flag 264358/902414
231.30/118.32	c cleaning 15000 clauses out of 30024 with flag 302633/918414
235.30/120.38	c cleaning 16007 clauses out of 32025 with flag 342642/935415
240.36/122.90	c cleaning 17010 clauses out of 34019 with flag 387535/953416
244.95/125.10	c cleaning 17998 clauses out of 36007 with flag 431714/972414
250.17/127.79	c cleaning 19005 clauses out of 38010 with flag 481480/992415
256.42/130.81	c cleaning 19998 clauses out of 40004 with flag 531022/1013414
263.02/134.19	c cleaning 20999 clauses out of 42006 with flag 585188/1035414
270.03/137.62	c cleaning 22004 clauses out of 44010 with flag 639946/1058417
278.68/142.00	c cleaning 23003 clauses out of 46008 with flag 696325/1082419
288.71/146.96	c cleaning 23997 clauses out of 48000 with flag 756584/1107414
298.52/151.89	c cleaning 24997 clauses out of 50003 with flag 819616/1133414
309.96/157.55	c cleaning 25998 clauses out of 52006 with flag 886044/1160414
322.02/163.58	c cleaning 26996 clauses out of 54008 with flag 955020/1188414
334.65/169.85	c cleaning 28004 clauses out of 56014 with flag 1027244/1217416
350.09/177.58	c cleaning 28998 clauses out of 58010 with flag 1098589/1247416
366.52/185.74	c cleaning 29999 clauses out of 60011 with flag 1172337/1278415
381.57/193.20	c cleaning 31002 clauses out of 62011 with flag 1250486/1310414
399.28/202.04	c cleaning 32002 clauses out of 64011 with flag 1331855/1343416
419.96/212.38	c cleaning 33002 clauses out of 66007 with flag 1413820/1377414
448.72/226.98	c cleaning 33997 clauses out of 68005 with flag 1498377/1412414
468.00/236.56	c cleaning 35002 clauses out of 70009 with flag 1585617/1448415
491.08/248.09	c cleaning 36001 clauses out of 72006 with flag 1676590/1485414
511.96/258.46	c cleaning 37000 clauses out of 74005 with flag 1768056/1523414
532.88/268.87	c cleaning 37996 clauses out of 76005 with flag 1863775/1562414
561.02/282.87	c cleaning 39003 clauses out of 78009 with flag 1964376/1602414
588.70/296.61	c cleaning 39999 clauses out of 80007 with flag 2064557/1643415
604.57/304.51	c cleaning 0 clauses out of 11096 with flag 0/11096
617.65/311.05	c cleaning 41000 clauses out of 82007 with flag 2167331/1685414
649.79/327.01	c cleaning 41999 clauses out of 84008 with flag 2275471/1728415
684.34/344.29	c cleaning 43002 clauses out of 86008 with flag 2385995/1772414
726.29/365.16	c cleaning 43996 clauses out of 88007 with flag 2495313/1817415
765.46/384.66	c cleaning 45003 clauses out of 90012 with flag 2611104/1863416
797.18/400.42	c cleaning 45998 clauses out of 92007 with flag 2722259/1910414
837.33/420.71	c cleaning 47001 clauses out of 94009 with flag 2837443/1958414
874.91/439.46	c cleaning 48004 clauses out of 96008 with flag 2955232/2007414
925.58/464.62	c cleaning 48999 clauses out of 98004 with flag 3078279/2057414
972.20/487.88	c cleaning 50002 clauses out of 100006 with flag 3203504/2108415
1017.37/510.32	c cleaning 51002 clauses out of 102004 with flag 3330964/2160415
1071.18/537.18	c cleaning 51999 clauses out of 104003 with flag 3465503/2213416
1128.68/565.71	c cleaning 52998 clauses out of 106004 with flag 3599224/2267416
1187.22/595.42	c cleaning 54003 clauses out of 108005 with flag 3733031/2322415
1242.69/623.09	c cleaning 54995 clauses out of 110002 with flag 3870276/2378415
1301.30/652.21	c cleaning 56000 clauses out of 112008 with flag 4010401/2435416
1368.03/685.46	c cleaning 56996 clauses out of 114006 with flag 4149749/2493414
1438.13/720.30	c cleaning 58003 clauses out of 116011 with flag 4297661/2552415
1505.94/754.10	c cleaning 59000 clauses out of 118007 with flag 4446236/2612414
1572.06/787.09	c cleaning 60004 clauses out of 120008 with flag 4597689/2673415
1578.05/790.09	c cleaning 0 clauses out of 17097 with flag 0/17097
1642.73/822.26	c cleaning 61002 clauses out of 122003 with flag 4749078/2735414
1715.24/858.36	c cleaning 61997 clauses out of 124002 with flag 4901966/2798415
1789.64/895.88	c cleaning 63000 clauses out of 126005 with flag 5059033/2862415
1800.10/901.01	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.10/901.01	c starts		: 54908
1800.10/901.01	c conflicts		: 2871238
1800.10/901.01	c decisions		: 10721320
1800.10/901.01	c propagations		: 24746324
1800.10/901.01	c inspects		: 10381778666
1800.10/901.01	c shortcuts		: 0
1800.10/901.01	c learnt literals	: 0
1800.10/901.01	c learnt binary clauses	: 0
1800.10/901.01	c learnt ternary clauses	: 0
1800.10/901.01	c learnt constraints	: 2871238
1800.10/901.01	c ignored constraints	: 0
1800.10/901.01	c root simplifications	: 0
1800.10/901.01	c removed literals (reason simplification)	: 45711009
1800.10/901.01	c reason swapping (by a shorter reason)	: 0
1800.10/901.01	c Calls to reduceDB	: 113
1800.10/901.01	c Number of update (reduction) of LBD	: 111410
1800.10/901.01	c Imported unit clauses	: 0
1800.10/901.01	c number of reductions to clauses (during analyze)	: 0
1800.10/901.01	c number of learned constraints concerned by reduction	: 0
1800.10/901.01	c number of learning phase by resolution	: 0
1800.10/901.01	c number of learning phase by cutting planes	: 0
1800.10/901.01	c speed (assignments/second)	: 31118.370488109133
1800.10/901.01	c non guided choices	0
1800.10/901.03	c learnt constraints type 
1800.10/901.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71829
1800.10/901.03	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.10/901.03	c starts		: 54
1800.10/901.03	c conflicts		: 18137
1800.10/901.03	c decisions		: 22753
1800.10/901.03	c propagations		: 179700
1800.10/901.03	c inspects		: 899497959
1800.10/901.03	c shortcuts		: 0
1800.10/901.03	c learnt literals	: 0
1800.10/901.03	c learnt binary clauses	: 0
1800.10/901.03	c learnt ternary clauses	: 0
1800.10/901.03	c learnt constraints	: 18136
1800.10/901.03	c ignored constraints	: 0
1800.10/901.03	c root simplifications	: 0
1800.10/901.03	c removed literals (reason simplification)	: 0
1800.10/901.03	c reason swapping (by a shorter reason)	: 0
1800.10/901.03	c Calls to reduceDB	: 3
1800.10/901.03	c Number of update (reduction) of LBD	: 0
1800.10/901.03	c Imported unit clauses	: 0
1800.10/901.03	c number of reductions to clauses (during analyze)	: 0
1800.10/901.03	c number of learned constraints concerned by reduction	: 0
1800.10/901.03	c number of learning phase by resolution	: 0
1800.10/901.03	c number of learning phase by cutting planes	: 0
1800.10/901.03	c speed (assignments/second)	: 199.72325492222797
1800.10/901.03	c non guided choices	0
1800.10/901.04	c learnt constraints type 
1800.10/901.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 492
1800.10/901.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17644
1800.10/901.04	s SATISFIABLE
1800.10/901.04	c Found 10 solution(s)
1800.10/901.04	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 
1800.10/901.04	c objective function=163
1800.10/901.04	c Total wall clock time (in seconds): 900.929

Verifier Data 

OK	163

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-4081626-1465267546/watcher-4081626-1465267546 -o /tmp/evaluation-result-4081626-1465267546/solver-4081626-1465267546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081626-1465267546.opb 

pid=9618
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.25 4.23 4.18 4/197 9621
/proc/meminfo: memFree=27432128/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 108688157 98570240 977 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 24065 977 743 9 0 16771 0
[pid=9621/tid=9622] ppid=9618 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) R 9618 9621 3593 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 108688158 98570240 977 33554432000 1073741824 1073778376 140733285779552 140301944053288 217410520448 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 4.25 4.23 4.18 4/197 9621
/proc/meminfo: memFree=27432128/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 4427 0 1 0 9 1 0 0 20 0 18 0 108688157 9787879424 6047 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2389619 6047 2126 9 0 2380296 0
[pid=9621/tid=9622] ppid=9618 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) R 9618 9621 3593 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 108688158 9787879424 6047 33554432000 1073741824 1073778376 140733285779552 140301944056736 140301947342400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200338 s]
/proc/loadavg: 4.25 4.23 4.18 4/197 9621
/proc/meminfo: memFree=27432128/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 4706 0 1 0 24 1 0 0 20 0 18 0 108688157 9787879424 6796 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2389619 6798 2204 9 0 2380296 0
[pid=9621/tid=9622] ppid=9618 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) R 9618 9621 3593 0 -1 4202560 2402 0 1 0 18 0 0 0 20 0 18 0 108688158 9787879424 6799 33554432000 1073741824 1073778376 140733285779552 140301944043040 140301767387170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300363 s]
/proc/loadavg: 4.25 4.23 4.18 4/197 9621
/proc/meminfo: memFree=27432128/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 5602 0 1 0 43 1 0 0 20 0 19 0 108688157 10060525568 9518 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 9518 2241 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2421 0 1 0 26 0 0 0 20 0 19 0 108688158 10060525568 9518 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824732

[startup+0.700317 s]
/proc/loadavg: 4.25 4.23 4.18 4/197 9621
/proc/meminfo: memFree=27432128/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 5602 0 1 0 43 1 0 0 20 0 19 0 108688157 10060525568 9518 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 9518 2241 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2421 0 1 0 26 0 0 0 20 0 19 0 108688158 10060525568 9518 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.07 4.19 4.17 3/216 9646
/proc/meminfo: memFree=27401412/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=1.08 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 11056 0 1 0 103 5 0 0 20 0 19 0 108688157 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 14650 2252 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2424 0 1 0 27 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9624] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9624/stat : 9624 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301905549736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9625] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9625/stat : 9625 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301904497192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9626] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9626/stat : 9626 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301903444136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9627] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9627/stat : 9627 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301902391592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9628] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9628/stat : 9628 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301901339560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9629] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9629/stat : 9629 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301900287016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9630] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9630/stat : 9630 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301899233960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) R 9618 9621 3593 0 -1 4202560 4661 0 0 0 29 0 0 0 20 0 19 0 108688162 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301764102368 140301946964060 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/9621/task/9637/stat : 9637 (java) S 9618 9621 3593 0 -1 4202560 2603 0 0 0 24 0 0 0 20 0 19 0 108688162 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301763062712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9638] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9638/stat : 9638 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301762009848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9639] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9639/stat : 9639 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 14650 33554432000 1073741824 1073778376 140733285779552 140301760957512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9824732

[startup+3.10087 s]
/proc/loadavg: 4.07 4.19 4.17 3/216 9652
/proc/meminfo: memFree=27378020/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 15448 0 1 0 200 12 0 0 20 0 19 0 108688157 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 21690 2265 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2425 0 1 0 27 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9624] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9624/stat : 9624 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301905549736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9625] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9625/stat : 9625 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301904497192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9626] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9626/stat : 9626 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301903444136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9627] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9627/stat : 9627 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301902391592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9628] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9628/stat : 9628 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301901339560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9629] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9629/stat : 9629 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301900287016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9630] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9630/stat : 9630 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301899233960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 108688158 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 108688160 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) S 9618 9621 3593 0 -1 4202560 5540 0 0 0 76 0 0 0 20 0 19 0 108688162 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301764115256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=0.52 cores=0,2,4,6
/proc/9621/task/9637/stat : 9637 (java) S 9618 9621 3593 0 -1 4202560 6082 0 0 0 50 2 0 0 20 0 19 0 108688162 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301763062712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9638] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9638/stat : 9638 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301762009848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9639] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9639/stat : 9639 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 108688162 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301760957512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9649] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9649/stat : 9649 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 108688286 10060525568 21690 33554432000 1073741824 1073778376 140733285779552 140301759853736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=26 pid=1772 uid=0 cmd=

[startup+6.30093 s]
/proc/loadavg: 4.07 4.19 4.17 5/219 9664
/proc/meminfo: memFree=27136892/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=7.94 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 17845 0 1 0 766 28 0 0 20 0 22 0 108688157 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 95655 2285 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2426 0 1 0 27 0 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9624] ppid=9618 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9621/task/9624/stat : 9624 (java) S 9618 9621 3593 0 -1 4202560 61 0 0 0 5 1 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301905549736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9625] ppid=9618 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9621/task/9625/stat : 9625 (java) S 9618 9621 3593 0 -1 4202560 121 0 0 0 6 0 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301904497192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9626] ppid=9618 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9621/task/9626/stat : 9626 (java) S 9618 9621 3593 0 -1 4202560 41 0 0 0 5 2 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301903444136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9627] ppid=9618 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/9621/task/9627/stat : 9627 (java) S 9618 9621 3593 0 -1 4202560 148 0 0 0 7 2 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301902391592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9628] ppid=9618 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9621/task/9628/stat : 9628 (java) S 9618 9621 3593 0 -1 4202560 52 0 0 0 3 1 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301901339560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9629] ppid=9618 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9621/task/9629/stat : 9629 (java) S 9618 9621 3593 0 -1 4202560 172 0 0 0 5 2 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301900287016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9630] ppid=9618 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/9621/task/9630/stat : 9630 (java) S 9618 9621 3593 0 -1 4202560 55 0 0 0 2 2 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301899233960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 118 0 0 0 3 0 0 0 20 0 22 0 108688158 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 210 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) S 9618 9621 3593 0 -1 4202560 5545 0 0 0 93 0 0 0 20 0 22 0 108688162 10060525568 95655 33554432000 1073741824 1073778376 140733285779552 140301764115256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=0.8 cores=0,2,4,6

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

[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 549 0 0 0 190 14 0 0 20 0 22 0 108688158 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=2.93 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 2078 0 0 0 283 10 0 0 20 0 22 0 108688160 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) S 9618 9621 3593 0 -1 4202560 5550 0 0 0 101 0 0 0 20 0 22 0 108688162 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301764115256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/9621/task/9637/stat : 9637 (java) S 9618 9621 3593 0 -1 4202560 13755 0 0 0 141 3 0 0 20 0 22 0 108688162 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301763062712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9638] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9638/stat : 9638 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301762009848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9639] ppid=9618 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/9621/task/9639/stat : 9639 (java) S 9618 9621 3593 0 -1 4202560 46 0 0 0 13 17 0 0 20 0 22 0 108688162 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301760957512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9649] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9649/stat : 9649 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108688286 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301759853736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9672] ppid=9618 vsize=9824732 CPUtime=708.36 cores=0,2,4,6
/proc/9621/task/9672/stat : 9672 (java) R 9618 9621 3593 0 -1 4202560 46 0 0 0 70825 11 0 0 20 0 22 0 108698735 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301756693616 140301767876066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9673] ppid=9618 vsize=9824732 CPUtime=708.36 cores=0,2,4,6
/proc/9621/task/9673/stat : 9673 (java) R 9618 9621 3593 0 -1 4202560 818 0 0 0 70824 12 0 0 20 0 22 0 108698735 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301757746496 140301768087647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9674] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9674/stat : 9674 (java) S 9618 9621 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108698735 10060525568 629885 33554432000 1073741824 1073778376 140733285779552 140301758801064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1642.64
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.17 4.24 4.19 5/220 9814
/proc/meminfo: memFree=24063280/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=1762.31 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 33120 0 1 0 176013 218 0 0 20 0 22 0 108688157 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 693030 2294 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2443 0 1 0 29 3 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9624] ppid=9618 vsize=9824732 CPUtime=2.24 cores=0,2,4,6
/proc/9621/task/9624/stat : 9624 (java) S 9618 9621 3593 0 -1 4202560 627 0 0 0 208 16 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301905549736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9625] ppid=9618 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/9621/task/9625/stat : 9625 (java) S 9618 9621 3593 0 -1 4202560 710 0 0 0 211 15 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301904497192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9626] ppid=9618 vsize=9824732 CPUtime=2.15 cores=0,2,4,6
/proc/9621/task/9626/stat : 9626 (java) S 9618 9621 3593 0 -1 4202560 589 0 0 0 198 17 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301903444136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9627] ppid=9618 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/9621/task/9627/stat : 9627 (java) S 9618 9621 3593 0 -1 4202560 669 0 0 0 219 16 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301902391592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9628] ppid=9618 vsize=9824732 CPUtime=2.37 cores=0,2,4,6
/proc/9621/task/9628/stat : 9628 (java) S 9618 9621 3593 0 -1 4202560 608 0 0 0 218 19 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301901339560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9629] ppid=9618 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/9621/task/9629/stat : 9629 (java) S 9618 9621 3593 0 -1 4202560 612 0 0 0 185 14 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301900287016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9630] ppid=9618 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/9621/task/9630/stat : 9630 (java) S 9618 9621 3593 0 -1 4202560 561 0 0 0 214 19 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301899233960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=2.14 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 595 0 0 0 199 15 0 0 20 0 22 0 108688158 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 2235 0 0 0 370 12 0 0 20 0 22 0 108688160 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) S 9618 9621 3593 0 -1 4202560 5550 0 0 0 101 0 0 0 20 0 22 0 108688162 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301764115256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/9621/task/9637/stat : 9637 (java) S 9618 9621 3593 0 -1 4202560 13755 0 0 0 141 3 0 0 20 0 22 0 108688162 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301763062712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9638] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9638/stat : 9638 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301762009848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9639] ppid=9618 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9621/task/9639/stat : 9639 (java) S 9618 9621 3593 0 -1 4202560 50 0 0 0 14 18 0 0 20 0 22 0 108688162 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301760957512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9649] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9649/stat : 9649 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108688286 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301759853736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9672] ppid=9618 vsize=9824732 CPUtime=767.01 cores=0,2,4,6
/proc/9621/task/9672/stat : 9672 (java) R 9618 9621 3593 0 -1 4202560 56 0 0 0 76688 13 0 0 20 0 22 0 108698735 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301756693616 140301767929452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9673] ppid=9618 vsize=9824732 CPUtime=767.03 cores=0,2,4,6
/proc/9621/task/9673/stat : 9673 (java) R 9618 9621 3593 0 -1 4202560 1013 0 0 0 76689 14 0 0 20 0 22 0 108698735 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301757746496 140301768072128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9674] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9674/stat : 9674 (java) S 9618 9621 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108698735 10060525568 693030 33554432000 1073741824 1073778376 140733285779552 140301758801064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1762.31
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.008 s]
/proc/loadavg: 4.28 4.26 4.20 5/220 9816
/proc/meminfo: memFree=24085492/32872528 swapFree=16080/1655368
[pid=9621] ppid=9618 vsize=9824732 CPUtime=1799.81 cores=0,2,4,6
/proc/9621/stat : 9621 (java) S 9618 9621 3593 0 -1 4202496 33137 0 1 0 179763 218 0 0 20 0 22 0 108688157 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140733285770688 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9621/statm: 2456183 686328 2294 9 0 2446860 0
[pid=9621/tid=9622] ppid=9618 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9621/task/9622/stat : 9622 (java) S 9618 9621 3593 0 -1 4202560 2443 0 1 0 29 3 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301944058744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9624] ppid=9618 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/9621/task/9624/stat : 9624 (java) S 9618 9621 3593 0 -1 4202560 627 0 0 0 211 16 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301905549736 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9625] ppid=9618 vsize=9824732 CPUtime=2.27 cores=0,2,4,6
/proc/9621/task/9625/stat : 9625 (java) S 9618 9621 3593 0 -1 4202560 710 0 0 0 212 15 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301904497192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9626] ppid=9618 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/9621/task/9626/stat : 9626 (java) S 9618 9621 3593 0 -1 4202560 589 0 0 0 202 17 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301903444136 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9627] ppid=9618 vsize=9824732 CPUtime=2.38 cores=0,2,4,6
/proc/9621/task/9627/stat : 9627 (java) S 9618 9621 3593 0 -1 4202560 669 0 0 0 222 16 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301902391592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9628] ppid=9618 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/9621/task/9628/stat : 9628 (java) S 9618 9621 3593 0 -1 4202560 608 0 0 0 220 19 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301901339560 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9629] ppid=9618 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/9621/task/9629/stat : 9629 (java) S 9618 9621 3593 0 -1 4202560 620 0 0 0 192 14 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301900287016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9630] ppid=9618 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/9621/task/9630/stat : 9630 (java) S 9618 9621 3593 0 -1 4202560 561 0 0 0 216 19 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301899233960 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9631] ppid=9618 vsize=9824732 CPUtime=2.17 cores=0,2,4,6
/proc/9621/task/9631/stat : 9631 (java) S 9618 9621 3593 0 -1 4202560 602 0 0 0 202 15 0 0 20 0 22 0 108688158 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301898181416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9632] ppid=9618 vsize=9824732 CPUtime=3.82 cores=0,2,4,6
/proc/9621/task/9632/stat : 9632 (java) S 9618 9621 3593 0 -1 4202560 2235 0 0 0 370 12 0 0 20 0 22 0 108688160 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301885770088 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9633] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9633/stat : 9633 (java) S 9618 9621 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301767271800 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9634] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9634/stat : 9634 (java) S 9618 9621 3593 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 108688160 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301766218632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9621/tid=9635] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9635/stat : 9635 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301765167376 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9636] ppid=9618 vsize=9824732 CPUtime=1.01 cores=0,2,4,6
/proc/9621/task/9636/stat : 9636 (java) S 9618 9621 3593 0 -1 4202560 5550 0 0 0 101 0 0 0 20 0 22 0 108688162 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301764115256 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9637] ppid=9618 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/9621/task/9637/stat : 9637 (java) S 9618 9621 3593 0 -1 4202560 13755 0 0 0 141 3 0 0 20 0 22 0 108688162 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301763062712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9638] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9638/stat : 9638 (java) S 9618 9621 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 108688162 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301762009848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9639] ppid=9618 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/9621/task/9639/stat : 9639 (java) S 9618 9621 3593 0 -1 4202560 50 0 0 0 15 19 0 0 20 0 22 0 108688162 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301760957512 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9649] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9649/stat : 9649 (java) S 9618 9621 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 108688286 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301759853736 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9621/tid=9672] ppid=9618 vsize=9824732 CPUtime=785.58 cores=0,2,4,6
/proc/9621/task/9672/stat : 9672 (java) R 9618 9621 3593 0 -1 4202560 57 0 0 0 78545 13 0 0 20 0 22 0 108698735 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301756686720 140301767929452 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9621/tid=9673] ppid=9618 vsize=9824732 CPUtime=785.6 cores=0,2,4,6
/proc/9621/task/9673/stat : 9673 (java) R 9618 9621 3593 0 -1 4202560 1014 0 0 0 78546 14 0 0 20 0 22 0 108698735 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301757746576 140301768069869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9621/tid=9674] ppid=9618 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9621/task/9674/stat : 9674 (java) S 9618 9621 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 108698735 10060525568 686328 33554432000 1073741824 1073778376 140733285779552 140301758801064 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9621 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=679319
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=632599
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1799.81
#
# 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.290001
#  lost CPU user time (s): 0.310005
#  lost CPU system time (s): -0.0200001

Real time (s): 901.07
CPU time (s): 1800.1
CPU user time (s): 1797.94
CPU system time (s): 2.16
CPU usage (%): 199.774
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 2.6326
maximum resident set size= 3029020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33181
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25383
involuntary context switches= 39119

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62214 second user time and 7.53685 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 04:45:46
IDJOB=4081626
IDBENCH=89835
IDSOLVER=2543
FILE ID=node122/4081626-1465267546
RUNJOBID= node122-1465253685-3609
PBS_JOBID= 19843267
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081626-1465267546/watcher-4081626-1465267546 -o /tmp/evaluation-result-4081626-1465267546/solver-4081626-1465267546 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3609 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081626-1465267546.opb

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

MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d
RANDOM SEED=1487969951

node122.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.898
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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.898
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27432508 kB
Buffers:          122008 kB
Cached:           140844 kB
SwapCached:          860 kB
Active:          2853260 kB
Inactive:         182772 kB
Active(anon):    2773796 kB
Inactive(anon):     1632 kB
Active(file):      79464 kB
Inactive(file):   181140 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099512 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:       4436100 kB
Mapped:            15472 kB
Shmem:                 0 kB
Slab:             600796 kB
SReclaimable:      44128 kB
SUnreclaim:       556668 kB
KernelStack:        1624 kB
PageTables:        13224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4710108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4370432 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= 71728 MiB
End job on node122 at 2016-06-07 05:00:47