Trace number 4081379

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)50 1800.51 935.156

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.10/0.12	c --- End Solver configuration ---
0.10/0.13	c solving HOME/instance-4081379-1465233064.opb
0.10/0.13	c reading problem ... 
0.10/0.13	c  objective function found
0.10/0.18	c ... done. Wall clock time 0.058s.
0.10/0.18	c declared #vars     172
0.10/0.18	c #constraints  14
0.10/0.19	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.10/0.19	c 14 constraints processed.
0.10/0.19	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14
0.10/0.19	c 14 constraints processed.
0.10/0.19	c objective function length is 112 literals
2.22/0.78	c And the winner is solver1
2.60/0.86	c cleaning 2485 clauses out of 5000 with flag 10256/5000
2.99/1.19	c SATISFIABLE
2.99/1.19	c OPTIMIZING...
2.99/1.19	c Got one! Elapsed wall clock time (in seconds):1.063
2.99/1.19	o 2261
3.02/1.21	c And the winner is solver0
3.08/1.69	c Got one! Elapsed wall clock time (in seconds):1.565
3.08/1.69	o 422
3.09/1.70	c And the winner is solver0
3.13/2.19	c Got one! Elapsed wall clock time (in seconds):2.066
3.13/2.19	o 420
3.13/2.20	c And the winner is solver0
3.13/2.69	c Got one! Elapsed wall clock time (in seconds):2.568
3.13/2.69	o 418
3.13/2.70	c And the winner is solver0
3.14/3.19	c Got one! Elapsed wall clock time (in seconds):3.069
3.14/3.19	o 415
3.14/3.21	c And the winner is solver0
3.19/3.70	c Got one! Elapsed wall clock time (in seconds):3.57
3.19/3.70	o 413
3.19/3.70	c And the winner is solver0
3.20/4.20	c Got one! Elapsed wall clock time (in seconds):4.072
3.20/4.20	o 387
3.20/4.20	c And the winner is solver0
3.20/4.70	c Got one! Elapsed wall clock time (in seconds):4.573
3.20/4.70	o 385
3.20/4.77	c And the winner is solver0
3.35/5.20	c Got one! Elapsed wall clock time (in seconds):5.074
3.35/5.20	o 383
3.35/5.21	c And the winner is solver0
3.35/5.70	c Got one! Elapsed wall clock time (in seconds):5.576
3.35/5.70	o 381
3.35/5.71	c And the winner is solver0
3.38/6.20	c Got one! Elapsed wall clock time (in seconds):6.077
3.38/6.20	o 378
3.38/6.21	c And the winner is solver0
3.42/6.70	c Got one! Elapsed wall clock time (in seconds):6.578
3.42/6.70	o 376
3.42/6.71	c And the winner is solver0
3.43/7.20	c Got one! Elapsed wall clock time (in seconds):7.079
3.43/7.20	o 364
3.43/7.22	c And the winner is solver0
3.49/7.71	c Got one! Elapsed wall clock time (in seconds):7.581
3.49/7.71	o 362
3.77/7.87	c And the winner is solver0
3.98/8.21	c Got one! Elapsed wall clock time (in seconds):8.082
3.98/8.21	o 361
3.98/8.25	c And the winner is solver0
4.07/8.71	c Got one! Elapsed wall clock time (in seconds):8.583
4.07/8.71	o 323
4.07/8.71	c And the winner is solver0
4.08/9.21	c Got one! Elapsed wall clock time (in seconds):9.085
4.08/9.21	o 321
4.26/9.31	c And the winner is solver0
4.29/9.71	c Got one! Elapsed wall clock time (in seconds):9.586
4.29/9.71	o 320
4.29/9.72	c And the winner is solver0
4.32/10.21	c Got one! Elapsed wall clock time (in seconds):10.087
4.32/10.21	o 219
4.32/10.24	c And the winner is solver0
4.38/10.71	c Got one! Elapsed wall clock time (in seconds):10.588
4.38/10.71	o 218
4.55/10.86	c cleaning 6183 clauses out of 12366 with flag 5089/14851
4.75/10.91	c And the winner is solver0
4.80/11.21	c Got one! Elapsed wall clock time (in seconds):11.089
4.80/11.21	o 216
4.80/11.22	c And the winner is solver0
4.81/11.72	c Got one! Elapsed wall clock time (in seconds):11.591
4.81/11.72	o 209
4.81/11.76	c And the winner is solver0
4.92/12.22	c Got one! Elapsed wall clock time (in seconds):12.092
4.92/12.22	o 207
5.08/12.33	c And the winner is solver0
5.17/12.72	c Got one! Elapsed wall clock time (in seconds):12.593
5.17/12.72	o 206
5.52/12.99	c And the winner is solver0
5.73/13.22	c Got one! Elapsed wall clock time (in seconds):13.094
5.73/13.22	o 205
5.73/13.29	c And the winner is solver0
5.90/13.72	c Got one! Elapsed wall clock time (in seconds):13.595
5.90/13.72	o 203
5.90/13.73	c And the winner is solver0
5.95/14.22	c Got one! Elapsed wall clock time (in seconds):14.096
5.95/14.22	o 201
5.95/14.26	c And the winner is solver0
6.06/14.72	c Got one! Elapsed wall clock time (in seconds):14.597
6.06/14.72	o 199
6.21/14.82	c cleaning 7906 clauses out of 15813 with flag 2382/24481
7.27/15.34	c cleaning 6953 clauses out of 13906 with flag 15987/30480
7.91/15.61	c And the winner is solver1
7.95/15.72	c Got one! Elapsed wall clock time (in seconds):15.598
7.95/15.72	o 198
7.95/15.77	c And the winner is solver0
8.09/16.22	c Got one! Elapsed wall clock time (in seconds):16.1
8.09/16.22	o 197
8.25/16.40	c cleaning 6492 clauses out of 12984 with flag 4789/36511
9.26/16.82	c cleaning 6245 clauses out of 12491 with flag 19926/42510
10.27/17.33	c cleaning 6622 clauses out of 13247 with flag 37590/49511
11.48/17.95	c cleaning 7311 clauses out of 14624 with flag 57475/57510
12.79/18.50	c And the winner is solver1
12.82/18.73	c Got one! Elapsed wall clock time (in seconds):18.601
12.82/18.73	o 194
12.97/18.87	c And the winner is solver0
13.14/19.23	c Got one! Elapsed wall clock time (in seconds):19.102
13.14/19.23	o 192
13.14/19.27	c And the winner is solver0
13.26/19.73	c Got one! Elapsed wall clock time (in seconds):19.603
13.26/19.73	o 191
13.61/19.99	c And the winner is solver0
13.83/20.23	c Got one! Elapsed wall clock time (in seconds):20.104
13.83/20.23	o 190
14.17/20.44	c cleaning 10605 clauses out of 21212 with flag 4820/71409
14.97/20.87	c cleaning 8298 clauses out of 16608 with flag 19838/77410
14.97/20.88	c And the winner is solver0
15.18/21.23	c Got one! Elapsed wall clock time (in seconds):21.105
15.18/21.23	o 189
15.32/21.38	c And the winner is solver0
15.52/21.73	c Got one! Elapsed wall clock time (in seconds):21.606
15.52/21.73	o 188
15.86/21.96	c cleaning 6847 clauses out of 13694 with flag 7567/82794
16.27/22.15	c And the winner is solver0
16.40/22.23	c Got one! Elapsed wall clock time (in seconds):22.107
16.40/22.23	o 187
16.55/22.36	c And the winner is solver0
16.70/22.73	c Got one! Elapsed wall clock time (in seconds):22.608
16.70/22.73	o 173
16.84/22.88	c cleaning 6520 clauses out of 13041 with flag 5019/88988
17.04/22.93	c And the winner is solver0
17.14/23.23	c Got one! Elapsed wall clock time (in seconds):23.109
17.14/23.23	o 171
17.27/23.30	c And the winner is solver0
17.32/23.73	c Got one! Elapsed wall clock time (in seconds):23.61
17.32/23.73	o 170
17.64/23.93	c cleaning 5862 clauses out of 11728 with flag 7038/94195
17.64/23.97	c And the winner is solver0
17.81/24.24	c Got one! Elapsed wall clock time (in seconds):24.111
17.81/24.24	o 168
17.81/24.28	c And the winner is solver0
17.93/24.74	c Got one! Elapsed wall clock time (in seconds):24.612
17.93/24.74	o 167
17.93/24.76	c And the winner is solver0
17.99/25.24	c Got one! Elapsed wall clock time (in seconds):25.113
17.99/25.24	o 166
18.12/25.37	c And the winner is solver0
18.30/25.74	c Got one! Elapsed wall clock time (in seconds):25.614
18.30/25.74	o 165
18.43/25.84	c And the winner is solver0
18.55/26.24	c Got one! Elapsed wall clock time (in seconds):26.115
18.55/26.24	o 163
18.55/26.28	c And the winner is solver0
18.66/26.74	c Got one! Elapsed wall clock time (in seconds):26.616
18.66/26.74	o 161
18.77/26.84	c And the winner is solver0
18.90/27.24	c Got one! Elapsed wall clock time (in seconds):27.117
18.90/27.24	o 159
19.01/27.32	c cleaning 7236 clauses out of 14479 with flag 2523/102808
19.01/27.40	c And the winner is solver0
19.25/27.74	c Got one! Elapsed wall clock time (in seconds):27.618
19.25/27.74	o 157
19.36/27.81	c And the winner is solver0
19.43/28.24	c Got one! Elapsed wall clock time (in seconds):28.119
19.43/28.24	o 155
19.74/28.43	c And the winner is solver0
19.85/28.75	c Got one! Elapsed wall clock time (in seconds):28.62
19.85/28.75	o 154
19.95/28.84	c cleaning 6751 clauses out of 13511 with flag 2299/109076
19.95/28.85	c And the winner is solver0
20.10/29.25	c Got one! Elapsed wall clock time (in seconds):29.121
20.10/29.25	o 142
20.40/29.49	c And the winner is solver0
20.63/29.75	c Got one! Elapsed wall clock time (in seconds):29.622
20.63/29.75	o 140
20.63/29.79	c And the winner is solver0
20.77/30.25	c Got one! Elapsed wall clock time (in seconds):30.123
20.77/30.25	o 135
20.87/30.32	c cleaning 6258 clauses out of 12524 with flag 2547/114840
21.67/30.73	c cleaning 6132 clauses out of 12268 with flag 18014/120842
22.69/31.20	c cleaning 6566 clauses out of 13132 with flag 35684/127838
23.69/31.79	c cleaning 7278 clauses out of 14567 with flag 55229/135839
25.09/32.49	c cleaning 8142 clauses out of 16287 with flag 77678/144837
26.92/33.38	c cleaning 9068 clauses out of 18146 with flag 103418/154838
28.92/34.37	c cleaning 10033 clauses out of 20078 with flag 131177/165838
31.32/35.53	c cleaning 11020 clauses out of 22044 with flag 160784/177837
33.92/36.85	c cleaning 12005 clauses out of 24025 with flag 192507/190838
36.92/38.39	c cleaning 13008 clauses out of 26019 with flag 227094/204837
40.52/40.11	c cleaning 14005 clauses out of 28013 with flag 264716/219839
44.32/42.01	c cleaning 15000 clauses out of 30006 with flag 305280/235837
48.57/44.14	c cleaning 16000 clauses out of 32006 with flag 347514/252837
53.36/46.54	c cleaning 17000 clauses out of 34010 with flag 391317/270841
58.75/49.28	c cleaning 18002 clauses out of 36006 with flag 438175/289837
64.55/52.17	c cleaning 19000 clauses out of 38006 with flag 487242/309839
70.97/55.31	c cleaning 19999 clauses out of 40005 with flag 538773/330838
77.37/58.59	c cleaning 20998 clauses out of 42006 with flag 591512/352838
84.77/62.25	c cleaning 22005 clauses out of 44009 with flag 645652/375839
92.60/66.18	c cleaning 23001 clauses out of 46004 with flag 703456/399839
101.58/70.60	c cleaning 23999 clauses out of 48002 with flag 764529/424838
111.18/75.41	c cleaning 25000 clauses out of 50004 with flag 828837/450839
120.78/80.28	c cleaning 25997 clauses out of 52004 with flag 896294/477839
123.98/81.88	c And the winner is solver0
139.17/96.93	c Got one! Elapsed wall clock time (in seconds):96.805
139.17/96.93	o 133
141.41/98.05	c cleaning 21012 clauses out of 42047 with flag 11412/493879
143.00/98.85	c cleaning 13513 clauses out of 27037 with flag 25279/499881
144.20/99.48	c cleaning 10256 clauses out of 20523 with flag 41672/506880
145.63/100.12	c cleaning 9126 clauses out of 18266 with flag 60987/514879
146.81/100.74	c And the winner is solver0
146.94/100.93	c Got one! Elapsed wall clock time (in seconds):100.807
146.94/100.93	o 131
147.07/101.02	c And the winner is solver0
147.17/101.43	c Got one! Elapsed wall clock time (in seconds):101.308
147.17/101.43	o 129
147.17/101.44	c And the winner is solver0
147.21/101.93	c Got one! Elapsed wall clock time (in seconds):101.809
147.21/101.93	o 125
147.21/101.94	c And the winner is solver0
147.25/102.43	c Got one! Elapsed wall clock time (in seconds):102.31
147.25/102.43	o 114
147.98/102.86	c And the winner is solver0
148.19/102.94	c Got one! Elapsed wall clock time (in seconds):102.816
148.19/102.94	o 112
148.31/103.08	c cleaning 11676 clauses out of 23355 with flag 2180/529094
148.51/103.20	c And the winner is solver0
148.82/103.45	c Got one! Elapsed wall clock time (in seconds):103.322
148.82/103.45	o 110
148.93/103.51	c And the winner is solver0
148.98/103.95	c Got one! Elapsed wall clock time (in seconds):103.827
148.98/103.95	o 109
149.45/104.22	c And the winner is solver0
149.64/104.46	c Got one! Elapsed wall clock time (in seconds):104.335
149.64/104.46	o 107
149.72/104.57	c And the winner is solver0
149.91/104.97	c Got one! Elapsed wall clock time (in seconds):104.841
149.91/104.97	o 90
149.97/105.09	c cleaning 9754 clauses out of 19511 with flag 2245/536926
150.57/105.34	c And the winner is solver0
150.72/105.47	c Got one! Elapsed wall clock time (in seconds):105.347
150.72/105.47	o 89
150.97/105.66	c cleaning 7548 clauses out of 15111 with flag 4356/542280
151.76/106.06	c And the winner is solver0
151.95/106.48	c Got one! Elapsed wall clock time (in seconds):106.352
151.95/106.48	o 87
152.79/106.99	c cleaning 9167 clauses out of 18333 with flag 10807/553050
153.79/107.44	c cleaning 7578 clauses out of 15169 with flag 23967/559053
154.81/107.94	c cleaning 7286 clauses out of 14591 with flag 39432/566053
155.39/108.24	c And the winner is solver0
155.54/108.49	c Got one! Elapsed wall clock time (in seconds):108.358
155.54/108.49	o 85
155.56/108.58	c cleaning 6443 clauses out of 12913 with flag 2059/571661
155.76/108.63	c And the winner is solver0
155.87/108.99	c Got one! Elapsed wall clock time (in seconds):108.864
155.87/108.99	o 84
156.48/109.35	c cleaning 6166 clauses out of 12346 with flag 11739/577537
157.28/109.75	c cleaning 6083 clauses out of 12183 with flag 25129/583540
158.28/110.26	c cleaning 6551 clauses out of 13103 with flag 40512/590543
158.48/110.32	c And the winner is solver0
158.61/110.50	c Got one! Elapsed wall clock time (in seconds):110.371
158.61/110.50	o 82
159.03/110.75	c And the winner is solver0
159.24/111.00	c Got one! Elapsed wall clock time (in seconds):110.877
159.24/111.00	o 81
159.44/111.11	c cleaning 6152 clauses out of 12312 with flag 2659/596303
159.83/111.34	c And the winner is solver0
160.02/111.51	c Got one! Elapsed wall clock time (in seconds):111.383
160.02/111.51	o 79
160.19/111.69	c cleaning 5830 clauses out of 11674 with flag 4456/601817
160.98/112.08	c cleaning 5916 clauses out of 11847 with flag 17644/607820
161.98/112.57	c cleaning 6464 clauses out of 12930 with flag 32486/614819
163.19/113.14	c cleaning 7231 clauses out of 14464 with flag 49732/622817
164.58/113.85	c cleaning 8119 clauses out of 16237 with flag 68544/631821
166.38/114.76	c cleaning 9056 clauses out of 18113 with flag 89536/641816
168.38/115.72	c cleaning 10024 clauses out of 20061 with flag 113258/652820
170.79/116.94	c cleaning 11015 clauses out of 22034 with flag 139045/664817
173.39/118.29	c cleaning 12010 clauses out of 24026 with flag 168467/677824
173.99/118.51	c And the winner is solver0
174.11/118.67	c Got one! Elapsed wall clock time (in seconds):118.541
174.11/118.67	o 77
174.81/119.00	c cleaning 8883 clauses out of 17774 with flag 6553/683582
175.21/119.28	c And the winner is solver0
175.45/119.67	c Got one! Elapsed wall clock time (in seconds):119.548
175.45/119.67	o 76
175.69/119.87	c cleaning 7288 clauses out of 14583 with flag 4270/689274
176.69/120.32	c cleaning 6645 clauses out of 13296 with flag 17406/695275
177.70/120.88	c cleaning 6815 clauses out of 13649 with flag 32971/702273
179.10/121.57	c cleaning 7418 clauses out of 14835 with flag 50900/710274
179.50/121.78	c And the winner is solver0
179.76/122.18	c Got one! Elapsed wall clock time (in seconds):122.055
179.76/122.18	o 74
180.19/122.44	c cleaning 6676 clauses out of 13364 with flag 6796/716221
181.19/122.90	c cleaning 6327 clauses out of 12689 with flag 20232/722222
182.19/123.46	c cleaning 6672 clauses out of 13357 with flag 36322/729217
182.59/123.61	c And the winner is solver0
182.80/123.84	c Got one! Elapsed wall clock time (in seconds):123.714
182.80/123.84	o 73
183.35/124.11	c cleaning 5955 clauses out of 11923 with flag 6757/734455
184.14/124.54	c cleaning 5981 clauses out of 11975 with flag 20046/740462
185.14/125.05	c cleaning 6485 clauses out of 12991 with flag 35656/747459
186.54/125.71	c cleaning 7236 clauses out of 14504 with flag 54235/755457
186.74/125.82	c And the winner is solver0
186.87/126.00	c Got one! Elapsed wall clock time (in seconds):125.872
186.87/126.00	o 72
186.97/126.08	c And the winner is solver0
187.18/126.51	c Got one! Elapsed wall clock time (in seconds):126.379
187.18/126.51	o 71
187.76/126.84	c cleaning 6842 clauses out of 13697 with flag 9262/761886
188.76/127.32	c cleaning 6423 clauses out of 12854 with flag 23224/767885
189.76/127.88	c cleaning 6713 clauses out of 13430 with flag 39117/774884
190.76/128.35	c And the winner is solver0
191.02/128.51	c Got one! Elapsed wall clock time (in seconds):128.388
191.02/128.51	o 70
191.79/128.94	c cleaning 8940 clauses out of 17891 with flag 10974/786058
192.58/129.37	c cleaning 7472 clauses out of 14949 with flag 24417/792056
193.60/129.86	c cleaning 7232 clauses out of 14481 with flag 40053/799060
194.78/130.46	c cleaning 7616 clauses out of 15246 with flag 57731/807057
196.18/131.19	c cleaning 8310 clauses out of 16632 with flag 77607/816059
197.78/131.98	c cleaning 9152 clauses out of 18323 with flag 100134/826060
199.80/132.98	c cleaning 10083 clauses out of 20170 with flag 124737/837059
201.99/134.06	c cleaning 11034 clauses out of 22085 with flag 150944/849057
204.61/135.34	c cleaning 12022 clauses out of 24054 with flag 179957/862060
207.39/136.77	c cleaning 13008 clauses out of 26028 with flag 211447/876056
210.79/138.47	c cleaning 14008 clauses out of 28021 with flag 244648/891057
215.00/140.56	c cleaning 15006 clauses out of 30012 with flag 279596/907056
218.80/142.49	c cleaning 15998 clauses out of 32006 with flag 316636/924056
223.20/144.66	c cleaning 16991 clauses out of 34008 with flag 356000/942056
228.00/147.10	c cleaning 17995 clauses out of 36017 with flag 399207/961056
233.81/149.91	c cleaning 19008 clauses out of 38025 with flag 444487/981059
240.02/153.08	c cleaning 19999 clauses out of 40014 with flag 491817/1002056
246.44/156.29	c cleaning 21005 clauses out of 42015 with flag 541404/1024056
253.84/159.91	c cleaning 22002 clauses out of 44012 with flag 593043/1047058
258.64/162.30	c And the winner is solver0
259.20/162.88	c Got one! Elapsed wall clock time (in seconds):162.751
259.20/162.88	o 69
261.71/164.15	c cleaning 21914 clauses out of 43834 with flag 11295/1068882
261.91/164.23	c And the winner is solver0
262.05/164.38	c Got one! Elapsed wall clock time (in seconds):164.26
262.05/164.38	o 68
263.55/165.19	c cleaning 13741 clauses out of 27491 with flag 12035/1074453
264.93/165.86	c cleaning 9864 clauses out of 19749 with flag 26379/1080452
266.13/166.48	c cleaning 8431 clauses out of 16885 with flag 42187/1087452
267.53/167.16	c cleaning 8217 clauses out of 16454 with flag 59822/1095452
269.14/167.95	c cleaning 8617 clauses out of 17237 with flag 79772/1104452
270.94/168.83	c cleaning 9308 clauses out of 18621 with flag 101777/1114453
272.94/169.90	c cleaning 10155 clauses out of 20312 with flag 126479/1125452
275.34/171.08	c cleaning 11077 clauses out of 22160 with flag 153519/1137455
278.17/172.41	c cleaning 12041 clauses out of 24081 with flag 183472/1150453
281.79/174.22	c cleaning 13016 clauses out of 26042 with flag 215175/1164455
285.23/175.99	c cleaning 14005 clauses out of 28025 with flag 248917/1179454
289.65/178.10	c cleaning 15009 clauses out of 30020 with flag 284436/1195454
292.66/179.61	c And the winner is solver0
292.76/179.90	c Got one! Elapsed wall clock time (in seconds):179.772
292.76/179.90	o 67
294.56/180.81	c cleaning 16461 clauses out of 32944 with flag 11466/1213387
295.76/181.49	c cleaning 11241 clauses out of 22483 with flag 24628/1219387
297.16/182.15	c cleaning 9121 clauses out of 18248 with flag 40276/1226393
298.55/182.85	c cleaning 8553 clauses out of 17123 with flag 58135/1234389
300.15/183.66	c cleaning 8773 clauses out of 17568 with flag 77841/1243387
302.16/184.63	c cleaning 9399 clauses out of 18801 with flag 100290/1253393
304.36/185.77	c cleaning 10196 clauses out of 20398 with flag 125299/1264389
306.36/186.78	c And the winner is solver0
306.65/186.91	c Got one! Elapsed wall clock time (in seconds):186.784
306.65/186.91	o 66
308.04/187.64	c cleaning 12628 clauses out of 25263 with flag 11361/1279450
309.25/188.26	c cleaning 9306 clauses out of 18634 with flag 25428/1285449
310.44/188.87	c cleaning 8159 clauses out of 16334 with flag 41086/1292455
311.84/189.56	c cleaning 8081 clauses out of 16167 with flag 59116/1300447
312.84/190.01	c And the winner is solver0
313.14/190.42	c Got one! Elapsed wall clock time (in seconds):190.295
313.14/190.42	o 64
314.27/191.02	c cleaning 9333 clauses out of 18666 with flag 10740/1311027
315.28/191.57	c cleaning 7656 clauses out of 15332 with flag 23283/1317026
316.47/192.12	c And the winner is solver0
316.63/192.43	c Got one! Elapsed wall clock time (in seconds):192.307
316.63/192.43	o 62
317.76/193.05	c And the winner is solver0
318.04/193.47	c Got one! Elapsed wall clock time (in seconds):193.344
318.04/193.47	o 60
318.28/193.67	c cleaning 10086 clauses out of 20177 with flag 2272/1329527
319.47/194.28	c cleaning 8035 clauses out of 16095 with flag 15169/1335531
320.87/194.95	c cleaning 7515 clauses out of 15060 with flag 29834/1342531
321.48/195.23	c And the winner is solver0
321.70/195.49	c Got one! Elapsed wall clock time (in seconds):195.366
321.70/195.49	o 58
322.09/195.74	c cleaning 6614 clauses out of 13244 with flag 4284/1348230
323.09/196.23	c cleaning 6304 clauses out of 12627 with flag 16808/1354227
324.09/196.79	c cleaning 6659 clauses out of 13322 with flag 31190/1361226
325.49/197.48	c cleaning 7324 clauses out of 14664 with flag 47697/1369227
327.09/198.28	c cleaning 8162 clauses out of 16340 with flag 66233/1378227
329.10/199.25	c cleaning 9090 clauses out of 18180 with flag 86951/1388229
331.30/200.35	c cleaning 10044 clauses out of 20090 with flag 109438/1399229
334.09/201.73	c cleaning 11018 clauses out of 22046 with flag 133992/1411229
337.09/203.27	c cleaning 12014 clauses out of 24030 with flag 160686/1424231
340.30/204.89	c cleaning 13004 clauses out of 26011 with flag 189476/1438226
344.11/206.71	c cleaning 14002 clauses out of 28007 with flag 220454/1453226
348.51/208.90	c cleaning 15003 clauses out of 30008 with flag 253206/1469229
353.50/211.44	c cleaning 16002 clauses out of 32003 with flag 288614/1486227
358.92/214.19	c cleaning 16999 clauses out of 34002 with flag 325949/1504228
364.72/217.03	c cleaning 18000 clauses out of 36003 with flag 365151/1523228
371.32/220.39	c cleaning 18994 clauses out of 38003 with flag 406234/1543228
378.75/224.07	c cleaning 20001 clauses out of 40007 with flag 449539/1564226
387.38/228.31	c cleaning 21002 clauses out of 42006 with flag 494989/1586226
396.21/232.77	c cleaning 21999 clauses out of 44006 with flag 542456/1609228
405.42/237.39	c cleaning 23003 clauses out of 46007 with flag 592108/1633228
415.23/242.25	c cleaning 23993 clauses out of 48002 with flag 643238/1658226
426.44/247.84	c cleaning 25006 clauses out of 50011 with flag 695849/1684228
438.44/253.82	c cleaning 25997 clauses out of 52003 with flag 751109/1711226
451.93/260.52	c cleaning 27003 clauses out of 54011 with flag 808433/1739231
466.17/267.65	c cleaning 28000 clauses out of 56006 with flag 867775/1768229
482.00/275.53	c cleaning 28998 clauses out of 58003 with flag 929973/1798226
498.04/283.54	c cleaning 30002 clauses out of 60011 with flag 993660/1829232
515.32/292.11	c cleaning 30999 clauses out of 62005 with flag 1059139/1861228
533.34/301.19	c cleaning 32001 clauses out of 64005 with flag 1126878/1894227
551.74/310.49	c cleaning 32999 clauses out of 66007 with flag 1197094/1928230
570.38/319.78	c cleaning 33997 clauses out of 68006 with flag 1268787/1963228
590.60/329.82	c cleaning 35002 clauses out of 70007 with flag 1342973/1999226
611.43/340.30	c cleaning 36001 clauses out of 72005 with flag 1418868/2036226
634.06/351.53	c cleaning 37000 clauses out of 74004 with flag 1496494/2074226
660.07/364.57	c cleaning 38001 clauses out of 76004 with flag 1577639/2113226
670.08/369.59	c And the winner is solver1
670.33/370.06	c Got one! Elapsed wall clock time (in seconds):369.931
670.33/370.06	o 52
674.80/372.33	c cleaning 31077 clauses out of 62156 with flag 11836/2137379
677.00/373.45	c cleaning 18538 clauses out of 37076 with flag 26415/2143376
679.02/374.46	c cleaning 12772 clauses out of 25544 with flag 42601/2150382
681.02/375.44	c cleaning 10379 clauses out of 20768 with flag 61122/2158378
683.22/376.50	c cleaning 9692 clauses out of 19387 with flag 82336/2167376
685.42/377.70	c cleaning 9841 clauses out of 19694 with flag 106148/2177375
688.22/379.05	c cleaning 10417 clauses out of 20852 with flag 132622/2188374
691.44/380.64	c cleaning 11215 clauses out of 22435 with flag 161720/2200374
695.03/382.47	c cleaning 12108 clauses out of 24222 with flag 193723/2213376
698.85/384.38	c cleaning 13052 clauses out of 26114 with flag 226115/2227376
703.05/386.48	c cleaning 14032 clauses out of 28063 with flag 259722/2242377
707.66/388.73	c cleaning 15007 clauses out of 30028 with flag 296048/2258374
712.68/391.25	c cleaning 16010 clauses out of 32023 with flag 334299/2275376
718.28/394.00	c cleaning 17002 clauses out of 34012 with flag 374169/2293375
721.48/395.65	c And the winner is solver0
721.75/396.09	c Got one! Elapsed wall clock time (in seconds):395.969
721.75/396.09	o 50
723.98/397.27	c cleaning 16507 clauses out of 33019 with flag 11456/2309384
725.57/398.05	c cleaning 11250 clauses out of 22512 with flag 24456/2315384
727.20/398.88	c cleaning 9125 clauses out of 18263 with flag 41269/2322385
729.00/399.77	c cleaning 8562 clauses out of 17133 with flag 60015/2330380
731.00/400.74	c cleaning 8782 clauses out of 17572 with flag 79545/2339381
733.21/401.84	c cleaning 9395 clauses out of 18793 with flag 103725/2349384
735.83/403.11	c cleaning 10195 clauses out of 20394 with flag 129351/2360380
738.43/404.47	c cleaning 11099 clauses out of 22202 with flag 154979/2372383
741.66/406.07	c cleaning 12049 clauses out of 24100 with flag 183294/2385380
745.25/407.89	c cleaning 13026 clauses out of 26052 with flag 215857/2399381
749.25/409.84	c cleaning 14011 clauses out of 28025 with flag 249423/2414380
754.08/412.22	c cleaning 15000 clauses out of 30015 with flag 285278/2430381
759.09/414.74	c cleaning 16007 clauses out of 32014 with flag 322271/2447380
764.50/417.41	c cleaning 16999 clauses out of 34007 with flag 361852/2465380
770.51/420.41	c cleaning 17996 clauses out of 36009 with flag 402610/2484381
776.95/423.68	c cleaning 19006 clauses out of 38012 with flag 446732/2504380
783.75/427.00	c cleaning 20007 clauses out of 40015 with flag 493664/2525389
790.95/430.61	c cleaning 21001 clauses out of 42001 with flag 542876/2547382
798.56/434.44	c cleaning 22000 clauses out of 44001 with flag 597025/2570383
806.57/438.41	c cleaning 23002 clauses out of 46004 with flag 650925/2594386
815.17/442.79	c cleaning 23996 clauses out of 47996 with flag 706429/2619380
824.57/447.44	c cleaning 24999 clauses out of 50002 with flag 764487/2645382
834.78/452.54	c cleaning 26003 clauses out of 52007 with flag 824069/2672386
845.77/458.05	c cleaning 27001 clauses out of 54002 with flag 886693/2700384
856.98/463.62	c cleaning 27999 clauses out of 55998 with flag 954334/2729381
869.59/470.01	c cleaning 28997 clauses out of 57999 with flag 1023177/2759381
882.19/476.39	c cleaning 29997 clauses out of 60002 with flag 1096014/2790381
894.79/482.66	c cleaning 31003 clauses out of 62005 with flag 1173451/2822381
908.38/489.47	c cleaning 31997 clauses out of 64001 with flag 1252765/2855380
923.18/496.86	c cleaning 33004 clauses out of 66012 with flag 1335102/2889388
940.20/505.34	c cleaning 33999 clauses out of 68001 with flag 1412795/2924381
957.21/513.90	c cleaning 35001 clauses out of 70002 with flag 1496735/2960381
974.61/522.55	c cleaning 35997 clauses out of 72000 with flag 1581669/2997380
993.60/532.04	c cleaning 37003 clauses out of 74008 with flag 1668456/3035385
1013.63/542.06	c cleaning 37999 clauses out of 76001 with flag 1758119/3074381
1035.82/553.18	c cleaning 38999 clauses out of 78005 with flag 1848619/3114384
1058.23/564.35	c cleaning 40000 clauses out of 80003 with flag 1939909/3155381
1081.03/575.77	c cleaning 40993 clauses out of 82002 with flag 2038693/3197380
1105.45/587.92	c cleaning 42005 clauses out of 84012 with flag 2138530/3240383
1130.06/600.25	c cleaning 43003 clauses out of 86005 with flag 2241833/3284381
1159.47/614.97	c cleaning 44001 clauses out of 88002 with flag 2344953/3329381
1187.66/629.00	c cleaning 45000 clauses out of 90003 with flag 2456819/3375383
1219.90/645.18	c cleaning 45997 clauses out of 92002 with flag 2560012/3422382
1254.70/662.50	c cleaning 46994 clauses out of 94003 with flag 2663468/3470380
1289.35/679.83	c cleaning 47997 clauses out of 96009 with flag 2770618/3519380
1324.75/697.56	c cleaning 49006 clauses out of 98015 with flag 2886098/3569383
1365.05/717.63	c cleaning 50002 clauses out of 100007 with flag 3002396/3620381
1409.74/739.90	c cleaning 51003 clauses out of 102005 with flag 3115325/3672381
1453.74/761.90	c cleaning 51990 clauses out of 104003 with flag 3229466/3725382
1495.76/782.92	c cleaning 53006 clauses out of 106012 with flag 3350742/3779381
1537.95/804.05	c cleaning 53998 clauses out of 108009 with flag 3471733/3834384
1581.55/825.84	c cleaning 55000 clauses out of 110009 with flag 3594525/3890382
1627.17/848.79	c cleaning 56002 clauses out of 112008 with flag 3720045/3947381
1674.39/872.34	c cleaning 57001 clauses out of 114008 with flag 3849409/4005383
1727.43/898.85	c cleaning 57998 clauses out of 116004 with flag 3980894/4064380
1791.22/930.76	c cleaning 59000 clauses out of 118008 with flag 4112728/4124382
1800.02/935.11	c >>>>>>>>>> Solver number 0 (83 answers) <<<<<<<<<<<<<<<<<<
1800.02/935.11	c starts		: 19653
1800.02/935.11	c conflicts		: 4135442
1800.02/935.11	c decisions		: 5183211
1800.02/935.11	c propagations		: 55055904
1800.02/935.11	c inspects		: 16915976075
1800.02/935.11	c shortcuts		: 0
1800.02/935.11	c learnt literals	: 0
1800.02/935.11	c learnt binary clauses	: 0
1800.02/935.11	c learnt ternary clauses	: 0
1800.02/935.11	c learnt constraints	: 4135442
1800.02/935.11	c ignored constraints	: 0
1800.02/935.11	c root simplifications	: 0
1800.02/935.11	c removed literals (reason simplification)	: 29284270
1800.02/935.11	c reason swapping (by a shorter reason)	: 0
1800.02/935.11	c Calls to reduceDB	: 230
1800.02/935.11	c Number of update (reduction) of LBD	: 498360
1800.02/935.11	c Imported unit clauses	: 0
1800.02/935.11	c number of reductions to clauses (during analyze)	: 0
1800.02/935.11	c number of learned constraints concerned by reduction	: 0
1800.02/935.11	c number of learning phase by resolution	: 0
1800.02/935.11	c number of learning phase by cutting planes	: 0
1800.02/935.11	c speed (assignments/second)	: 97440.80110580352
1800.02/935.11	c non guided choices	2495
1800.02/935.13	c learnt constraints type 
1800.02/935.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 70068
1800.02/935.13	c >>>>>>>>>> Solver number 1 (4 answers) <<<<<<<<<<<<<<<<<<
1800.02/935.13	c starts		: 103
1800.02/935.13	c conflicts		: 2895
1800.02/935.13	c decisions		: 17079
1800.02/935.13	c propagations		: 50255
1800.02/935.13	c inspects		: 29429131
1800.02/935.13	c shortcuts		: 0
1800.02/935.13	c learnt literals	: 0
1800.02/935.13	c learnt binary clauses	: 0
1800.02/935.13	c learnt ternary clauses	: 0
1800.02/935.13	c learnt constraints	: 2838
1800.02/935.13	c ignored constraints	: 0
1800.02/935.13	c root simplifications	: 0
1800.02/935.13	c removed literals (reason simplification)	: 0
1800.02/935.13	c reason swapping (by a shorter reason)	: 0
1800.02/935.13	c Calls to reduceDB	: 0
1800.02/935.13	c Number of update (reduction) of LBD	: 0
1800.02/935.13	c Imported unit clauses	: 0
1800.02/935.13	c number of reductions to clauses (during analyze)	: 0
1800.02/935.13	c number of learned constraints concerned by reduction	: 0
1800.02/935.13	c number of learning phase by resolution	: 0
1800.02/935.13	c number of learning phase by cutting planes	: 0
1800.02/935.13	c speed (assignments/second)	: 93.25010622960066
1800.02/935.13	c non guided choices	2083
1800.02/935.14	c learnt constraints type 
1800.02/935.14	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2838
1800.02/935.14	s SATISFIABLE
1800.02/935.14	c Found 87 solution(s)
1800.02/935.14	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 
1800.02/935.14	c objective function=50
1800.02/935.14	c Total wall clock time (in seconds): 935.012

Verifier Data 

OK	50

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-4081379-1465233064/watcher-4081379-1465233064 -o /tmp/evaluation-result-4081379-1465233064/solver-4081379-1465233064 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081379-1465233064.opb 

pid=13285
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: 3.99 3.96 3.91 4/197 13288
/proc/meminfo: memFree=30526624/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/13288/stat : 13288 (java) D 13285 13288 3970 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 105241688 9515008 183 33554432000 1073741824 1073778376 140734437171088 140734437162120 249650036405 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2323 183 140 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 3.99 3.96 3.91 4/197 13288
/proc/meminfo: memFree=30526624/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 4456 0 1 0 8 2 0 0 20 0 18 0 105241688 9787879424 5577 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2389619 5577 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.20021 s]
/proc/loadavg: 3.99 3.96 3.91 4/197 13288
/proc/meminfo: memFree=30526624/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 4800 0 1 0 22 2 0 0 20 0 22 0 105241688 10060525568 7402 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 7402 2214 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732

[startup+0.300215 s]
/proc/loadavg: 3.99 3.96 3.91 4/197 13288
/proc/meminfo: memFree=30526624/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 7350 0 1 0 61 3 0 0 20 0 22 0 105241688 10060525568 9291 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 9291 2234 9 0 2446860 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 9824732

[startup+0.700182 s]
/proc/loadavg: 3.99 3.96 3.91 4/197 13288
/proc/meminfo: memFree=30526624/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=2.22 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 17758 0 1 0 217 5 0 0 20 0 22 0 105241688 10060525568 20624 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 20624 2259 9 0 2446860 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9824732

[startup+1.5007 s]
/proc/loadavg: 3.99 3.96 3.91 3/216 13310
/proc/meminfo: memFree=30430728/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 24455 0 1 0 299 9 0 0 20 0 19 0 105241688 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 28458 2271 9 0 2446860 0
[pid=13288/tid=13290] ppid=13285 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/13288/task/13290/stat : 13290 (java) S 13285 13288 3970 0 -1 4202560 2465 0 1 0 14 2 0 0 20 0 19 0 105241689 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773738279800 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105241691 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 11891 0 0 0 80 2 0 0 20 0 19 0 105241694 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8700 0 0 0 74 2 0 0 20 0 19 0 105241694 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 28458 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9824732

[startup+3.10081 s]
/proc/loadavg: 3.99 3.96 3.91 5/218 13319
/proc/meminfo: memFree=30407696/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 24483 0 1 0 303 11 0 0 20 0 19 0 105241688 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 32555 2271 9 0 2446860 0
[pid=13288/tid=13290] ppid=13285 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/13288/task/13290/stat : 13290 (java) S 13285 13288 3970 0 -1 4202560 2466 0 1 0 15 2 0 0 20 0 19 0 105241689 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773738279800 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105241691 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 11891 0 0 0 81 2 0 0 20 0 19 0 105241694 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8700 0 0 0 74 2 0 0 20 0 19 0 105241694 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13313] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13313/stat : 13313 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105241807 10060525568 32555 33554432000 1073741824 1073778376 140733843444064 139773550281640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 3.83 3.93 3.90 3/216 13337
/proc/meminfo: memFree=30356876/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=3.42 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 24616 0 1 0 323 19 0 0 20 0 19 0 105241688 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 44046 2285 9 0 2446860 0
[pid=13288/tid=13290] ppid=13285 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/13288/task/13290/stat : 13290 (java) S 13285 13288 3970 0 -1 4202560 2467 0 1 0 15 2 0 0 20 0 19 0 105241689 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773738279800 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105241690 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 105241691 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105241692 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 11902 0 0 0 82 2 0 0 20 0 19 0 105241694 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8700 0 0 0 74 2 0 0 20 0 19 0 105241694 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105241694 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13313] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13313/stat : 13313 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105241807 10060525568 44046 33554432000 1073741824 1073778376 140733843444064 139773550281640 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+12.7008 s]

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

[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 295 0 0 0 65 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0.76 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 298 0 0 0 68 8 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 265 0 0 0 74 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 238 0 0 0 76 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 252 0 0 0 71 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 263 0 0 0 72 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 194 0 0 0 73 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 235 0 0 0 74 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 1009 0 0 0 68 17 0 0 20 0 22 0 105241691 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 12456 0 0 0 118 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8731 0 0 0 96 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 52 0 0 0 8 14 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13647] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13647/stat : 13647 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105278697 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773553439784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13648] ppid=13285 vsize=9824732 CPUtime=484.96 cores=0,2,4,6
/proc/13288/task/13648/stat : 13648 (java) R 13285 13288 3970 0 -1 4202560 18 0 0 0 48489 7 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773551331952 139773678465904 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13649] ppid=13285 vsize=9824732 CPUtime=484.97 cores=0,2,4,6
/proc/13288/task/13649/stat : 13649 (java) R 13285 13288 3970 0 -1 4202560 554 0 0 0 48485 12 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773550279520 139773678488470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13650] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13650/stat : 13650 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281309 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773552387752 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1694.41
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+935.108 s]
/proc/loadavg: 4.02 4.00 3.91 5/219 13663
/proc/meminfo: memFree=30156620/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 30602 0 1 0 179737 265 0 0 20 0 22 0 105241688 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 231013 2294 9 0 2446860 0
[pid=13288/tid=13290] ppid=13285 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/13288/task/13290/stat : 13290 (java) S 13285 13288 3970 0 -1 4202560 2472 0 1 0 53 3 0 0 20 0 22 0 105241689 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773738279800 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 295 0 0 0 66 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 298 0 0 0 70 8 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 265 0 0 0 75 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 238 0 0 0 78 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 252 0 0 0 72 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 263 0 0 0 72 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 194 0 0 0 73 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 235 0 0 0 74 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 1011 0 0 0 68 18 0 0 20 0 22 0 105241691 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 12456 0 0 0 118 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8731 0 0 0 96 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 56 0 0 0 9 15 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13647] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13647/stat : 13647 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105278697 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773553439784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13648] ppid=13285 vsize=9824732 CPUtime=537.74 cores=0,2,4,6
/proc/13288/task/13648/stat : 13648 (java) R 13285 13288 3970 0 -1 4202560 18 0 0 0 53766 8 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773551325024 139773678492178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13649] ppid=13285 vsize=9824732 CPUtime=537.74 cores=0,2,4,6
/proc/13288/task/13649/stat : 13649 (java) R 13285 13288 3970 0 -1 4202560 555 0 0 0 53761 13 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773550279376 139773678760005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13650] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13650/stat : 13650 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281309 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773552387752 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 13288 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+935.108 s]
/proc/loadavg: 4.02 4.00 3.91 5/219 13663
/proc/meminfo: memFree=30156620/32872528 swapFree=10608/190480
[pid=13288] ppid=13285 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/13288/stat : 13288 (java) S 13285 13288 3970 0 -1 4202496 30602 0 1 0 179737 265 0 0 20 0 22 0 105241688 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 140733843435200 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13288/statm: 2456183 231013 2294 9 0 2446860 0
[pid=13288/tid=13290] ppid=13285 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/13288/task/13290/stat : 13290 (java) S 13285 13288 3970 0 -1 4202560 2472 0 1 0 53 3 0 0 20 0 22 0 105241689 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773738279800 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13291] ppid=13285 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/13288/task/13291/stat : 13291 (java) S 13285 13288 3970 0 -1 4202560 295 0 0 0 66 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773677009960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13292] ppid=13285 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/13288/task/13292/stat : 13292 (java) S 13285 13288 3970 0 -1 4202560 298 0 0 0 70 8 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773675957160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13293] ppid=13285 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/13288/task/13293/stat : 13293 (java) S 13285 13288 3970 0 -1 4202560 265 0 0 0 75 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773674904360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13294] ppid=13285 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/13288/task/13294/stat : 13294 (java) S 13285 13288 3970 0 -1 4202560 238 0 0 0 78 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773673851560 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13295] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13295/stat : 13295 (java) S 13285 13288 3970 0 -1 4202560 252 0 0 0 72 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773672798760 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13296] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13296/stat : 13296 (java) S 13285 13288 3970 0 -1 4202560 263 0 0 0 72 7 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773576165800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13297] ppid=13285 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/13288/task/13297/stat : 13297 (java) S 13285 13288 3970 0 -1 4202560 194 0 0 0 73 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773575113000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13298] ppid=13285 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/13288/task/13298/stat : 13298 (java) S 13285 13288 3970 0 -1 4202560 235 0 0 0 74 6 0 0 20 0 22 0 105241690 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773574060200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13299] ppid=13285 vsize=9824732 CPUtime=0.86 cores=0,2,4,6
/proc/13288/task/13299/stat : 13299 (java) S 13285 13288 3970 0 -1 4202560 1011 0 0 0 68 18 0 0 20 0 22 0 105241691 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773561863144 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13300] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13300/stat : 13300 (java) S 13285 13288 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773560809208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13288/tid=13301] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13301/stat : 13301 (java) S 13285 13288 3970 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 22 0 105241692 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773559756296 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13302] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13302/stat : 13302 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773558704784 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13303] ppid=13285 vsize=9824732 CPUtime=1.2 cores=0,2,4,6
/proc/13288/task/13303/stat : 13303 (java) S 13285 13288 3970 0 -1 4202560 12456 0 0 0 118 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773557651896 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13304] ppid=13285 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/13288/task/13304/stat : 13304 (java) S 13285 13288 3970 0 -1 4202560 8731 0 0 0 96 2 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773556599096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13305] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13305/stat : 13305 (java) S 13285 13288 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773555546488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13306] ppid=13285 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/13288/task/13306/stat : 13306 (java) S 13285 13288 3970 0 -1 4202560 56 0 0 0 9 15 0 0 20 0 22 0 105241694 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773554493896 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13647] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13647/stat : 13647 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105278697 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773553439784 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13288/tid=13648] ppid=13285 vsize=9824732 CPUtime=537.74 cores=0,2,4,6
/proc/13288/task/13648/stat : 13648 (java) R 13285 13288 3970 0 -1 4202560 18 0 0 0 53766 8 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773551325024 139773678492178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13288/tid=13649] ppid=13285 vsize=9824732 CPUtime=537.74 cores=0,2,4,6
/proc/13288/task/13649/stat : 13649 (java) R 13285 13288 3970 0 -1 4202560 555 0 0 0 53761 13 0 0 20 0 22 0 105281302 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773550279376 139773678760005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13288/tid=13650] ppid=13285 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/13288/task/13650/stat : 13650 (java) S 13285 13288 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105281309 10060525568 231013 33554432000 1073741824 1073778376 140733843444064 139773552387752 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732

Child status: 143

# 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): 4.76837e-07
#  lost CPU user time (s): 0.0100002
#  lost CPU system time (s): -0.00999999

Real time (s): 935.156
CPU time (s): 1800.51
CPU user time (s): 1797.49
CPU system time (s): 3.02254
CPU usage (%): 192.536
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 3.03254
maximum resident set size= 972716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30649
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28913
involuntary context switches= 26675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27305 second user time and 7.03593 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 19:11:04
IDJOB=4081379
IDBENCH=2924
IDSOLVER=2543
FILE ID=node102/4081379-1465233064
RUNJOBID= node102-1465216787-3986
PBS_JOBID= 19843204
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081379-1465233064/watcher-4081379-1465233064 -o /tmp/evaluation-result-4081379-1465233064/solver-4081379-1465233064 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081379-1465233064.opb

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=1257500682

node102.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.470
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.94
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.470
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.470
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.55
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.470
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.56
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.470
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.56
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.470
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.470
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.470
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:        30526928 kB
Buffers:           26772 kB
Cached:            55232 kB
SwapCached:         2320 kB
Active:          1384660 kB
Inactive:          55724 kB
Active(anon):    1359436 kB
Inactive(anon):     1568 kB
Active(file):      25224 kB
Inactive(file):    54156 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098420 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       1562444 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             566592 kB
SReclaimable:      10604 kB
SUnreclaim:       555988 kB
KernelStack:        1592 kB
PageTables:         7688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1764900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1484800 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= 71740 MiB
End job on node102 at 2016-06-06 19:26:39