Trace number 4119445

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)-1518 1800.65 957.857

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.opb
MD5SUM4afe4512554ca05352933c1ab136451e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1618
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
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 constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 2036
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 95824
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 95824
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)1976
Sum of products size (including duplicates)6026
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.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4119445-1467256260.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.67/0.41	c ... done. Wall clock time 0.286s.
0.67/0.41	c declared #vars     60
0.67/0.41	c internal #vars     2036
0.67/0.41	c #constraints  3952
0.67/0.41	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.67/0.41	c constraints type 
0.67/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1976
0.67/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1976
0.67/0.41	c 3952 constraints processed.
0.67/0.41	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.67/0.41	c constraints type 
0.67/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1976
0.67/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1976
0.67/0.41	c 3952 constraints processed.
0.67/0.41	c objective function length is 2036 literals
0.67/0.45	c And the winner is solver1
0.85/0.92	c SATISFIABLE
0.85/0.92	c OPTIMIZING...
0.85/0.92	c Got one! Elapsed wall clock time (in seconds):0.793
0.85/0.92	o 0
0.85/0.96	c And the winner is solver0
1.41/1.43	c Got one! Elapsed wall clock time (in seconds):1.306
1.41/1.43	o -21
1.41/1.46	c And the winner is solver0
1.55/1.95	c Got one! Elapsed wall clock time (in seconds):1.82
1.55/1.95	o -42
1.55/1.96	c And the winner is solver0
1.62/2.45	c Got one! Elapsed wall clock time (in seconds):2.326
1.62/2.45	o -68
1.62/2.48	c And the winner is solver0
1.83/2.96	c Got one! Elapsed wall clock time (in seconds):2.832
1.83/2.96	o -93
1.83/2.97	c And the winner is solver0
1.92/3.46	c Got one! Elapsed wall clock time (in seconds):3.337
1.92/3.46	o -94
1.92/3.47	c And the winner is solver0
1.93/3.97	c Got one! Elapsed wall clock time (in seconds):3.841
1.93/3.97	o -117
1.93/3.97	c And the winner is solver0
2.02/4.47	c Got one! Elapsed wall clock time (in seconds):4.344
2.02/4.47	o -122
2.02/4.48	c And the winner is solver0
2.03/4.97	c Got one! Elapsed wall clock time (in seconds):4.848
2.03/4.97	o -123
2.03/4.98	c And the winner is solver0
2.03/5.48	c Got one! Elapsed wall clock time (in seconds):5.351
2.03/5.48	o -126
2.03/5.48	c And the winner is solver0
2.03/5.98	c Got one! Elapsed wall clock time (in seconds):5.854
2.03/5.98	o -149
2.03/5.99	c And the winner is solver0
2.06/6.48	c Got one! Elapsed wall clock time (in seconds):6.357
2.06/6.48	o -152
2.06/6.49	c And the winner is solver0
2.06/6.99	c Got one! Elapsed wall clock time (in seconds):6.86
2.06/6.99	o -155
2.06/6.99	c And the winner is solver0
2.07/7.49	c Got one! Elapsed wall clock time (in seconds):7.364
2.07/7.49	o -158
2.09/7.51	c And the winner is solver0
2.09/7.99	c Got one! Elapsed wall clock time (in seconds):7.867
2.09/7.99	o -160
2.10/8.00	c And the winner is solver0
2.11/8.50	c Got one! Elapsed wall clock time (in seconds):8.371
2.11/8.50	o -179
2.11/8.50	c And the winner is solver0
2.12/9.00	c Got one! Elapsed wall clock time (in seconds):8.874
2.12/9.00	o -181
2.12/9.00	c And the winner is solver0
2.12/9.50	c Got one! Elapsed wall clock time (in seconds):9.377
2.12/9.50	o -183
2.12/9.53	c And the winner is solver0
2.20/10.00	c Got one! Elapsed wall clock time (in seconds):9.88
2.20/10.00	o -185
2.20/10.01	c And the winner is solver0
2.21/10.51	c Got one! Elapsed wall clock time (in seconds):10.383
2.21/10.51	o -186
2.21/10.51	c And the winner is solver0
2.21/11.01	c Got one! Elapsed wall clock time (in seconds):10.886
2.21/11.01	o -191
2.21/11.03	c And the winner is solver0
2.34/11.51	c Got one! Elapsed wall clock time (in seconds):11.389
2.34/11.51	o -198
2.34/11.54	c And the winner is solver0
2.45/12.02	c Got one! Elapsed wall clock time (in seconds):11.891
2.45/12.02	o -204
2.45/12.02	c And the winner is solver0
2.46/12.52	c Got one! Elapsed wall clock time (in seconds):12.394
2.46/12.52	o -205
2.46/12.52	c And the winner is solver0
2.46/13.02	c Got one! Elapsed wall clock time (in seconds):12.897
2.46/13.02	o -210
2.46/13.03	c And the winner is solver0
2.46/13.52	c Got one! Elapsed wall clock time (in seconds):13.4
2.46/13.52	o -212
2.46/13.53	c And the winner is solver0
2.46/14.03	c Got one! Elapsed wall clock time (in seconds):13.903
2.46/14.03	o -213
2.46/14.04	c And the winner is solver0
2.47/14.53	c Got one! Elapsed wall clock time (in seconds):14.405
2.47/14.53	o -214
2.47/14.54	c And the winner is solver0
2.47/15.03	c Got one! Elapsed wall clock time (in seconds):14.908
2.47/15.03	o -218
2.47/15.04	c And the winner is solver0
2.47/15.54	c Got one! Elapsed wall clock time (in seconds):15.411
2.47/15.54	o -219
2.47/15.54	c And the winner is solver0
2.49/16.04	c Got one! Elapsed wall clock time (in seconds):15.913
2.49/16.04	o -221
2.49/16.05	c And the winner is solver0
2.54/16.54	c Got one! Elapsed wall clock time (in seconds):16.416
2.54/16.54	o -224
2.54/16.55	c And the winner is solver0
2.55/17.04	c Got one! Elapsed wall clock time (in seconds):16.919
2.55/17.04	o -228
2.55/17.07	c And the winner is solver0
2.64/17.55	c Got one! Elapsed wall clock time (in seconds):17.421
2.64/17.55	o -236
2.64/17.55	c And the winner is solver0
2.64/18.05	c Got one! Elapsed wall clock time (in seconds):17.924
2.64/18.05	o -242
2.64/18.05	c And the winner is solver0
2.64/18.55	c Got one! Elapsed wall clock time (in seconds):18.427
2.64/18.55	o -244
2.64/18.56	c And the winner is solver0
2.65/19.05	c Got one! Elapsed wall clock time (in seconds):18.93
2.65/19.05	o -248
2.65/19.06	c And the winner is solver0
2.65/19.56	c Got one! Elapsed wall clock time (in seconds):19.432
2.65/19.56	o -249
2.65/19.57	c And the winner is solver0
2.69/20.06	c Got one! Elapsed wall clock time (in seconds):19.935
2.69/20.06	o -252
2.69/20.07	c And the winner is solver0
2.71/20.56	c Got one! Elapsed wall clock time (in seconds):20.438
2.71/20.56	o -257
2.71/20.58	c And the winner is solver0
2.90/21.07	c Got one! Elapsed wall clock time (in seconds):20.941
2.90/21.07	o -275
2.96/21.11	c And the winner is solver0
3.05/21.57	c Got one! Elapsed wall clock time (in seconds):21.444
3.05/21.57	o -278
3.05/21.60	c And the winner is solver0
3.16/22.07	c Got one! Elapsed wall clock time (in seconds):21.947
3.16/22.07	o -280
3.16/22.09	c And the winner is solver0
3.23/22.58	c Got one! Elapsed wall clock time (in seconds):22.449
3.23/22.58	o -281
3.23/22.58	c And the winner is solver0
3.23/23.08	c Got one! Elapsed wall clock time (in seconds):22.952
3.23/23.08	o -282
3.23/23.08	c And the winner is solver0
3.24/23.58	c Got one! Elapsed wall clock time (in seconds):23.455
3.24/23.58	o -285
3.24/23.59	c And the winner is solver0
3.29/24.08	c Got one! Elapsed wall clock time (in seconds):23.957
3.29/24.08	o -290
3.32/24.11	c And the winner is solver0
3.40/24.58	c Got one! Elapsed wall clock time (in seconds):24.46
3.40/24.58	o -307
3.42/24.68	c And the winner is solver0
3.59/25.09	c Got one! Elapsed wall clock time (in seconds):24.962
3.59/25.09	o -311
3.61/25.14	c And the winner is solver0
3.77/25.59	c Got one! Elapsed wall clock time (in seconds):25.465
3.77/25.59	o -312
3.77/25.60	c And the winner is solver0
3.77/26.09	c Got one! Elapsed wall clock time (in seconds):25.968
3.77/26.09	o -313
3.77/26.10	c And the winner is solver0
3.77/26.59	c Got one! Elapsed wall clock time (in seconds):26.47
3.77/26.59	o -314
3.77/26.60	c And the winner is solver0
3.77/27.10	c Got one! Elapsed wall clock time (in seconds):26.973
3.77/27.10	o -315
3.77/27.10	c And the winner is solver0
3.78/27.60	c Got one! Elapsed wall clock time (in seconds):27.476
3.78/27.60	o -316
3.78/27.62	c And the winner is solver0
3.85/28.10	c Got one! Elapsed wall clock time (in seconds):27.979
3.85/28.10	o -321
3.85/28.14	c And the winner is solver0
3.95/28.61	c Got one! Elapsed wall clock time (in seconds):28.482
3.95/28.61	o -322
3.95/28.62	c And the winner is solver0
4.07/29.11	c Got one! Elapsed wall clock time (in seconds):28.985
4.07/29.11	o -323
4.24/29.29	c And the winner is solver0
4.49/29.61	c Got one! Elapsed wall clock time (in seconds):29.487
4.49/29.61	o -344
4.69/29.71	c And the winner is solver0
4.74/30.11	c Got one! Elapsed wall clock time (in seconds):29.99
4.74/30.11	o -347
4.74/30.14	c And the winner is solver0
4.85/30.62	c Got one! Elapsed wall clock time (in seconds):30.493
4.85/30.62	o -348
4.85/30.65	c And the winner is solver0
4.95/31.12	c Got one! Elapsed wall clock time (in seconds):30.996
4.95/31.12	o -352
4.95/31.18	c And the winner is solver0
5.07/31.62	c Got one! Elapsed wall clock time (in seconds):31.499
5.07/31.62	o -353
5.07/31.64	c And the winner is solver0
5.15/32.13	c Got one! Elapsed wall clock time (in seconds):32.001
5.15/32.13	o -354
5.15/32.17	c And the winner is solver0
5.25/32.63	c Got one! Elapsed wall clock time (in seconds):32.504
5.25/32.63	o -357
5.78/32.98	c And the winner is solver0
5.97/33.13	c Got one! Elapsed wall clock time (in seconds):33.007
5.97/33.13	o -369
5.97/33.18	c And the winner is solver0
6.07/33.63	c Got one! Elapsed wall clock time (in seconds):33.51
6.07/33.63	o -371
6.07/33.66	c And the winner is solver0
6.15/34.14	c Got one! Elapsed wall clock time (in seconds):34.013
6.15/34.14	o -372
6.15/34.15	c And the winner is solver0
6.20/34.64	c Got one! Elapsed wall clock time (in seconds):34.516
6.20/34.64	o -374
6.36/34.71	c And the winner is solver0
6.39/35.14	c Got one! Elapsed wall clock time (in seconds):35.019
6.39/35.14	o -375
6.39/35.18	c And the winner is solver0
6.48/35.65	c Got one! Elapsed wall clock time (in seconds):35.522
6.48/35.65	o -376
6.48/35.67	c And the winner is solver0
6.56/36.15	c Got one! Elapsed wall clock time (in seconds):36.025
6.56/36.15	o -377
6.56/36.17	c And the winner is solver0
6.63/36.65	c Got one! Elapsed wall clock time (in seconds):36.527
6.63/36.65	o -378
6.63/36.68	c And the winner is solver0
6.72/37.15	c Got one! Elapsed wall clock time (in seconds):37.03
6.72/37.15	o -381
6.80/37.25	c And the winner is solver0
6.92/37.66	c Got one! Elapsed wall clock time (in seconds):37.533
6.92/37.66	o -385
7.00/37.78	c And the winner is solver0
7.20/38.16	c Got one! Elapsed wall clock time (in seconds):38.036
7.20/38.16	o -386
7.20/38.18	c And the winner is solver0
7.29/38.66	c Got one! Elapsed wall clock time (in seconds):38.539
7.29/38.66	o -399
8.90/39.40	c And the winner is solver0
8.98/39.67	c Got one! Elapsed wall clock time (in seconds):39.542
8.98/39.67	o -403
9.05/39.75	c And the winner is solver0
9.17/40.17	c Got one! Elapsed wall clock time (in seconds):40.045
9.17/40.17	o -405
9.49/40.31	c And the winner is solver0
9.59/40.67	c Got one! Elapsed wall clock time (in seconds):40.548
9.59/40.67	o -408
9.66/40.77	c And the winner is solver0
9.98/41.18	c Got one! Elapsed wall clock time (in seconds):41.051
9.98/41.18	o -409
10.02/41.23	c And the winner is solver0
10.12/41.68	c Got one! Elapsed wall clock time (in seconds):41.554
10.12/41.68	o -410
10.16/41.79	c And the winner is solver0
10.37/42.18	c Got one! Elapsed wall clock time (in seconds):42.057
10.37/42.18	o -411
10.37/42.20	c And the winner is solver0
10.45/42.68	c Got one! Elapsed wall clock time (in seconds):42.56
10.45/42.69	o -413
10.47/42.79	c And the winner is solver0
10.72/43.19	c Got one! Elapsed wall clock time (in seconds):43.063
10.72/43.19	o -416
11.14/43.49	c And the winner is solver0
11.34/43.69	c Got one! Elapsed wall clock time (in seconds):43.566
11.34/43.69	o -418
11.34/43.71	c And the winner is solver0
11.42/44.19	c Got one! Elapsed wall clock time (in seconds):44.069
11.42/44.19	o -615
12.03/44.51	c cleaning 6924 clauses out of 13851 with flag 2001/13851
14.48/45.75	c And the winner is solver0
14.63/46.20	c Got one! Elapsed wall clock time (in seconds):46.072
14.63/46.20	o -616
15.29/46.52	c cleaning 6409 clauses out of 12817 with flag 2019/19741
16.49/47.12	c And the winner is solver0
16.60/47.20	c Got one! Elapsed wall clock time (in seconds):47.075
16.60/47.20	o -618
17.27/47.52	c And the winner is solver0
17.35/47.70	c Got one! Elapsed wall clock time (in seconds):47.579
17.35/47.70	o -625
18.33/48.24	c cleaning 5955 clauses out of 11918 with flag 4001/25251
21.43/49.79	c cleaning 5980 clauses out of 11964 with flag 16003/31252
22.23/50.19	c And the winner is solver0
22.42/50.23	c Got one! Elapsed wall clock time (in seconds):50.1
22.42/50.23	o -629
24.46/51.27	c cleaning 5797 clauses out of 11593 with flag 8002/36861
25.04/51.50	c And the winner is solver0
25.11/51.73	c Got one! Elapsed wall clock time (in seconds):51.603
25.11/51.73	o -630
25.26/51.81	c And the winner is solver0
25.32/52.23	c Got one! Elapsed wall clock time (in seconds):52.107
25.32/52.23	o -653
27.51/53.38	c And the winner is solver0
27.75/53.74	c Got one! Elapsed wall clock time (in seconds):53.61
27.75/53.74	o -656
27.87/53.89	c And the winner is solver0
28.09/54.24	c Got one! Elapsed wall clock time (in seconds):54.114
28.09/54.24	o -657
28.21/54.34	c And the winner is solver0
28.34/54.74	c Got one! Elapsed wall clock time (in seconds):54.618
28.34/54.74	o -660
28.44/54.89	c And the winner is solver0
28.67/55.25	c Got one! Elapsed wall clock time (in seconds):55.121
28.67/55.25	o -662
28.67/55.27	c And the winner is solver0
28.74/55.75	c Got one! Elapsed wall clock time (in seconds):55.625
28.74/55.75	o -804
29.30/56.05	c cleaning 6916 clauses out of 13837 with flag 2001/44902
30.90/56.89	c And the winner is solver0
31.15/57.25	c Got one! Elapsed wall clock time (in seconds):57.129
31.15/57.25	o -806
32.03/57.79	c cleaning 6234 clauses out of 12467 with flag 4004/50448
34.09/58.75	c And the winner is solver0
34.26/58.81	c Got one! Elapsed wall clock time (in seconds):58.682
34.26/58.81	o -807
35.03/59.24	c And the winner is solver0
35.16/59.31	c Got one! Elapsed wall clock time (in seconds):59.186
35.16/59.31	o -809
35.34/59.47	c And the winner is solver0
35.52/59.82	c Got one! Elapsed wall clock time (in seconds):59.69
35.52/59.82	o -810
35.68/59.92	c And the winner is solver0
35.80/60.32	c Got one! Elapsed wall clock time (in seconds):60.193
35.80/60.32	o -811
35.80/60.34	c And the winner is solver0
35.85/60.82	c Got one! Elapsed wall clock time (in seconds):60.697
35.85/60.82	o -813
35.85/60.86	c And the winner is solver0
35.96/61.33	c Got one! Elapsed wall clock time (in seconds):61.201
35.96/61.33	o -814
36.10/61.48	c And the winner is solver0
36.32/61.83	c Got one! Elapsed wall clock time (in seconds):61.704
36.32/61.83	o -815
36.32/61.85	c And the winner is solver0
36.38/62.33	c Got one! Elapsed wall clock time (in seconds):62.209
36.38/62.33	o -816
36.38/62.36	c And the winner is solver0
36.46/62.84	c Got one! Elapsed wall clock time (in seconds):62.712
36.46/62.84	o -818
36.46/62.89	c And the winner is solver0
36.64/63.34	c Got one! Elapsed wall clock time (in seconds):63.216
36.64/63.34	o -820
37.20/63.69	c cleaning 7233 clauses out of 14473 with flag 2004/58688
40.41/65.29	c cleaning 6620 clauses out of 13239 with flag 14002/64687
41.81/65.96	c And the winner is solver0
41.98/66.35	c Got one! Elapsed wall clock time (in seconds):66.22
41.98/66.35	o -822
43.28/67.04	c And the winner is solver0
43.42/67.35	c Got one! Elapsed wall clock time (in seconds):67.224
43.42/67.35	o -825
43.98/67.69	c cleaning 6485 clauses out of 12973 with flag 2006/71041
44.38/67.86	c And the winner is solver0
44.59/68.35	c Got one! Elapsed wall clock time (in seconds):68.228
44.59/68.35	o -827
45.08/68.60	c And the winner is solver0
45.14/68.86	c Got one! Elapsed wall clock time (in seconds):68.732
45.14/68.86	o -828
45.21/68.97	c And the winner is solver0
45.45/69.36	c Got one! Elapsed wall clock time (in seconds):69.236
45.45/69.36	o -829
45.45/69.37	c And the winner is solver0
45.45/69.87	c Got one! Elapsed wall clock time (in seconds):69.74
45.45/69.87	o -830
45.45/69.87	c And the winner is solver0
45.46/70.37	c Got one! Elapsed wall clock time (in seconds):70.244
45.46/70.37	o -843
46.91/71.10	c And the winner is solver0
46.98/71.37	c Got one! Elapsed wall clock time (in seconds):71.248
46.98/71.37	o -847
47.02/71.47	c And the winner is solver0
47.23/71.88	c Got one! Elapsed wall clock time (in seconds):71.752
47.23/71.88	o -849
47.27/71.94	c And the winner is solver0
47.40/72.38	c Got one! Elapsed wall clock time (in seconds):72.256
47.40/72.38	o -852
47.62/72.58	c And the winner is solver0
47.86/72.89	c Got one! Elapsed wall clock time (in seconds):72.76
47.86/72.89	o -854
48.08/73.01	c And the winner is solver0
48.19/73.39	c Got one! Elapsed wall clock time (in seconds):73.264
48.19/73.39	o -857
48.20/73.49	c And the winner is solver0
48.46/73.90	c Got one! Elapsed wall clock time (in seconds):73.769
48.46/73.90	o -858
48.86/74.19	c And the winner is solver0
49.28/74.40	c Got one! Elapsed wall clock time (in seconds):74.273
49.28/74.40	o -860
49.28/74.45	c And the winner is solver0
49.41/74.90	c Got one! Elapsed wall clock time (in seconds):74.777
49.41/74.90	o -862
50.40/75.48	c cleaning 8226 clauses out of 16460 with flag 4017/81013
53.62/77.04	c cleaning 7112 clauses out of 14234 with flag 16017/87013
57.42/78.92	c cleaning 7062 clauses out of 14123 with flag 30019/94014
60.02/80.25	c And the winner is solver0
60.20/80.41	c Got one! Elapsed wall clock time (in seconds):80.281
60.20/80.41	o -876
60.85/80.71	c cleaning 6489 clauses out of 12981 with flag 2003/99934
63.65/82.14	c cleaning 6245 clauses out of 12492 with flag 14003/105934
66.45/83.59	c And the winner is solver0
66.74/83.91	c Got one! Elapsed wall clock time (in seconds):83.786
66.74/83.91	o -880
69.31/85.24	c cleaning 8636 clauses out of 17275 with flag 10003/116962
70.31/85.76	c And the winner is solver0
70.54/85.92	c Got one! Elapsed wall clock time (in seconds):85.79
70.54/85.92	o -884
72.10/86.71	c cleaning 6889 clauses out of 13780 with flag 6006/122103
73.10/87.23	c And the winner is solver0
73.25/87.42	c Got one! Elapsed wall clock time (in seconds):87.294
73.25/87.42	o -889
74.94/88.29	c cleaning 5974 clauses out of 11950 with flag 6010/127162
75.54/88.53	c And the winner is solver0
75.70/88.92	c Got one! Elapsed wall clock time (in seconds):88.798
75.70/88.92	o -890
76.26/89.21	c And the winner is solver0
76.37/89.43	c Got one! Elapsed wall clock time (in seconds):89.303
76.37/89.43	o -891
76.50/89.50	c And the winner is solver0
76.58/89.93	c Got one! Elapsed wall clock time (in seconds):89.807
76.58/89.93	o -892
76.58/89.97	c And the winner is solver0
76.69/90.44	c Got one! Elapsed wall clock time (in seconds):90.311
76.69/90.44	o -894
76.69/90.45	c And the winner is solver0
76.75/90.94	c Got one! Elapsed wall clock time (in seconds):90.815
76.75/90.94	o -932
78.65/91.91	c cleaning 6266 clauses out of 12532 with flag 8003/133718
81.46/93.34	c cleaning 6132 clauses out of 12265 with flag 20001/139717
84.85/95.06	c cleaning 6564 clauses out of 13133 with flag 34001/146717
89.39/97.20	c cleaning 7285 clauses out of 14570 with flag 50003/154718
89.99/97.54	c And the winner is solver0
90.18/97.95	c Got one! Elapsed wall clock time (in seconds):97.821
90.18/97.95	o -934
92.08/98.95	c cleaning 6330 clauses out of 12664 with flag 8176/160097
95.08/100.48	c cleaning 6166 clauses out of 12334 with flag 20412/166097
98.90/102.31	c cleaning 6584 clauses out of 13168 with flag 34923/173097
103.59/104.87	c cleaning 7290 clauses out of 14583 with flag 50938/181096
108.19/107.15	c cleaning 8145 clauses out of 16294 with flag 68940/190097
111.19/108.65	c And the winner is solver1
111.31/108.73	c Got one! Elapsed wall clock time (in seconds):108.604
111.31/108.73	o -940
111.31/108.78	c And the winner is solver0
111.46/109.24	c Got one! Elapsed wall clock time (in seconds):109.108
111.46/109.24	o -941
111.46/109.26	c And the winner is solver0
111.54/109.74	c Got one! Elapsed wall clock time (in seconds):109.613
111.54/109.74	o -943
111.54/109.77	c And the winner is solver0
111.62/110.24	c Got one! Elapsed wall clock time (in seconds):110.118
111.62/110.24	o -945
111.62/110.29	c And the winner is solver0
111.74/110.75	c Got one! Elapsed wall clock time (in seconds):110.622
111.74/110.75	o -1010
111.83/110.81	c And the winner is solver0
111.90/111.25	c Got one! Elapsed wall clock time (in seconds):111.126
111.90/111.25	o -1031
111.99/111.32	c And the winner is solver0
112.09/111.76	c Got one! Elapsed wall clock time (in seconds):111.631
112.09/111.76	o -1034
112.17/111.84	c And the winner is solver0
112.35/112.26	c Got one! Elapsed wall clock time (in seconds):112.135
112.35/112.26	o -1036
112.43/112.33	c And the winner is solver0
112.55/112.76	c Got one! Elapsed wall clock time (in seconds):112.64
112.55/112.76	o -1037
112.61/112.81	c And the winner is solver0
112.68/113.27	c Got one! Elapsed wall clock time (in seconds):113.144
112.68/113.27	o -1039
112.74/113.33	c And the winner is solver0
112.86/113.77	c Got one! Elapsed wall clock time (in seconds):113.649
112.86/113.77	o -1102
112.90/113.84	c And the winner is solver0
113.04/114.28	c Got one! Elapsed wall clock time (in seconds):114.153
113.04/114.28	o -1109
113.70/114.68	c And the winner is solver0
113.99/114.83	c Got one! Elapsed wall clock time (in seconds):114.708
113.99/114.83	o -1160
114.14/114.98	c And the winner is solver0
114.42/115.34	c Got one! Elapsed wall clock time (in seconds):115.212
114.42/115.34	o -1176
116.73/116.51	c And the winner is solver0
116.89/116.84	c Got one! Elapsed wall clock time (in seconds):116.717
116.89/116.84	o -1180
117.19/117.01	c And the winner is solver0
117.34/117.35	c Got one! Elapsed wall clock time (in seconds):117.221
117.34/117.35	o -1186
118.09/117.73	c cleaning 11135 clauses out of 22279 with flag 2223/204227
122.77/119.84	c cleaning 8568 clauses out of 17145 with flag 19071/210228
127.41/122.14	c cleaning 7783 clauses out of 15576 with flag 40491/217227
132.83/124.87	c cleaning 7895 clauses out of 15793 with flag 62392/225227
134.04/125.42	c And the winner is solver0
134.27/125.85	c Got one! Elapsed wall clock time (in seconds):125.726
134.27/125.85	o -1202
134.35/125.93	c And the winner is solver0
134.48/126.36	c Got one! Elapsed wall clock time (in seconds):126.231
134.48/126.36	o -1204
134.97/126.69	c And the winner is solver0
135.33/126.91	c Got one! Elapsed wall clock time (in seconds):126.786
135.33/126.91	o -1205
135.50/127.08	c And the winner is solver0
135.99/127.42	c Got one! Elapsed wall clock time (in seconds):127.291
135.99/127.42	o -1209
135.99/127.49	c And the winner is solver0
136.20/127.92	c Got one! Elapsed wall clock time (in seconds):127.795
136.20/127.92	o -1225
138.14/128.98	c cleaning 7394 clauses out of 14788 with flag 7253/232117
142.54/131.11	c cleaning 6694 clauses out of 13392 with flag 23857/238115
147.34/133.59	c cleaning 6845 clauses out of 13697 with flag 42407/245114
153.35/136.55	c cleaning 7423 clauses out of 14854 with flag 66394/253116
162.47/141.06	c cleaning 8206 clauses out of 16430 with flag 92383/262115
171.09/145.32	c cleaning 9104 clauses out of 18223 with flag 126092/272114
181.90/150.63	c cleaning 10058 clauses out of 20121 with flag 163836/283116
191.30/155.35	c cleaning 11024 clauses out of 22061 with flag 204545/295114
203.60/161.71	c And the winner is solver1
203.64/161.90	c Got one! Elapsed wall clock time (in seconds):161.774
203.64/161.90	o -1228
206.43/163.31	c And the winner is solver0
206.64/163.56	c Got one! Elapsed wall clock time (in seconds):163.43
206.64/163.56	o -1241
206.98/163.76	c And the winner is solver0
207.28/164.06	c Got one! Elapsed wall clock time (in seconds):163.935
207.28/164.06	o -1242
208.74/164.83	c cleaning 14561 clauses out of 29122 with flag 6342/313199
213.34/167.16	c cleaning 10267 clauses out of 20562 with flag 29583/319200
218.64/169.71	c cleaning 8644 clauses out of 17293 with flag 59814/326198
224.23/172.58	c cleaning 8320 clauses out of 16650 with flag 92133/334199
229.63/175.22	c And the winner is solver1
229.69/175.57	c Got one! Elapsed wall clock time (in seconds):175.444
229.69/175.57	o -1463
233.14/177.31	c cleaning 10496 clauses out of 20992 with flag 15029/346861
237.87/179.67	c cleaning 8238 clauses out of 16494 with flag 36465/352859
243.06/182.24	c cleaning 7625 clauses out of 15255 with flag 62561/359858
248.86/185.18	c cleaning 7815 clauses out of 15630 with flag 92186/367858
255.46/188.49	c And the winner is solver1
255.65/188.58	c Got one! Elapsed wall clock time (in seconds):188.451
255.65/188.58	o -1479
259.31/190.39	c cleaning 10887 clauses out of 21773 with flag 15535/381816
263.70/192.51	c cleaning 8438 clauses out of 16884 with flag 37682/387814
268.49/194.93	c cleaning 7720 clauses out of 15447 with flag 61477/394815
274.09/197.74	c cleaning 7865 clauses out of 15729 with flag 90495/402817
281.09/201.21	c cleaning 8431 clauses out of 16861 with flag 122547/411814
290.52/205.87	c cleaning 9211 clauses out of 18430 with flag 174943/421814
300.10/210.67	c cleaning 10100 clauses out of 20219 with flag 239045/432814
311.94/216.47	c cleaning 11060 clauses out of 22119 with flag 309552/444814
323.93/222.44	c cleaning 12028 clauses out of 24061 with flag 356316/457816
331.54/226.25	c And the winner is solver1
331.67/226.59	c Got one! Elapsed wall clock time (in seconds):226.462
331.67/226.59	o -1487
335.48/228.52	c cleaning 12622 clauses out of 25244 with flag 14882/471027
341.53/231.95	c cleaning 9311 clauses out of 18626 with flag 36803/477031
346.34/234.39	c cleaning 8156 clauses out of 16311 with flag 58701/484027
352.33/237.34	c cleaning 8066 clauses out of 16156 with flag 84128/492028
356.13/239.28	c And the winner is solver1
356.32/239.64	c Got one! Elapsed wall clock time (in seconds):239.518
356.32/239.64	o -1491
359.41/241.27	c cleaning 9137 clauses out of 18273 with flag 16680/502211
363.23/243.13	c cleaning 7566 clauses out of 15135 with flag 40526/508210
368.10/245.59	c cleaning 7283 clauses out of 14570 with flag 65435/515211
374.10/248.52	c cleaning 7637 clauses out of 15286 with flag 92026/523210
381.30/252.13	c cleaning 8321 clauses out of 16651 with flag 126978/532212
388.91/255.91	c cleaning 9160 clauses out of 18328 with flag 165841/542210
397.62/260.23	c cleaning 10082 clauses out of 20168 with flag 218944/553210
406.41/264.67	c cleaning 11044 clauses out of 22089 with flag 258956/565213
418.80/270.71	c cleaning 12017 clauses out of 24043 with flag 301491/578211
432.58/277.62	c cleaning 13007 clauses out of 26027 with flag 355024/592212
448.16/285.31	c cleaning 14007 clauses out of 28019 with flag 414529/607211
463.84/293.06	c cleaning 14995 clauses out of 30011 with flag 484233/623210
479.63/300.92	c cleaning 16004 clauses out of 32017 with flag 549446/640211
493.82/307.97	c And the winner is solver1
494.00/308.18	c Got one! Elapsed wall clock time (in seconds):308.057
494.00/308.18	o -1518
497.83/310.18	c cleaning 17543 clauses out of 35085 with flag 15594/659283
502.45/312.47	c cleaning 11767 clauses out of 23540 with flag 36522/665281
507.63/315.08	c cleaning 9381 clauses out of 18773 with flag 64628/672281
514.03/318.19	c cleaning 8683 clauses out of 17392 with flag 101282/680281
520.45/321.37	c cleaning 8850 clauses out of 17710 with flag 132882/689282
528.24/325.22	c cleaning 9425 clauses out of 18859 with flag 169805/699281
537.88/329.92	c cleaning 10210 clauses out of 20435 with flag 208762/710282
548.08/335.01	c cleaning 11107 clauses out of 22226 with flag 255165/722283
559.16/340.48	c cleaning 12058 clauses out of 24118 with flag 306294/735282
571.37/346.57	c cleaning 13027 clauses out of 26059 with flag 363154/749281
585.32/353.37	c cleaning 14017 clauses out of 28033 with flag 424362/764282
597.72/359.58	c cleaning 14999 clauses out of 30015 with flag 491442/780281
612.30/366.69	c cleaning 16004 clauses out of 32017 with flag 557254/797282
627.90/374.46	c cleaning 17003 clauses out of 34013 with flag 633080/815282
644.91/382.71	c cleaning 18000 clauses out of 36009 with flag 719148/834281
668.22/395.24	c cleaning 18999 clauses out of 38009 with flag 811491/854281
688.30/405.21	c cleaning 20005 clauses out of 40010 with flag 910265/875281
710.58/416.20	c cleaning 21000 clauses out of 42005 with flag 1031644/897281
733.35/427.54	c cleaning 21999 clauses out of 44006 with flag 1137646/920282
760.53/440.92	c cleaning 23002 clauses out of 46006 with flag 1250374/944281
789.74/455.32	c cleaning 24001 clauses out of 48005 with flag 1364435/969282
819.37/470.77	c cleaning 24998 clauses out of 50003 with flag 1479021/995281
846.94/484.44	c cleaning 26002 clauses out of 52009 with flag 1581385/1022285
878.67/500.26	c cleaning 26996 clauses out of 54004 with flag 1664915/1050282
913.99/517.76	c cleaning 27996 clauses out of 56008 with flag 1759263/1079282
950.89/535.99	c cleaning 29005 clauses out of 58013 with flag 1858917/1109283
987.68/554.05	c cleaning 29997 clauses out of 60007 with flag 1979265/1140282
1028.42/573.92	c cleaning 31001 clauses out of 62011 with flag 2083371/1172283
1071.33/595.13	c cleaning 32000 clauses out of 64010 with flag 2188867/1205283
1116.62/618.59	c cleaning 33002 clauses out of 66009 with flag 2302078/1239282
1163.46/641.82	c cleaning 34004 clauses out of 68008 with flag 2428478/1274283
1210.44/665.17	c cleaning 34998 clauses out of 70002 with flag 2557054/1310281
1256.97/688.16	c cleaning 36002 clauses out of 72004 with flag 2663119/1347281
1316.87/717.71	c cleaning 37001 clauses out of 74002 with flag 2759022/1385281
1381.54/749.42	c cleaning 37996 clauses out of 76002 with flag 2859289/1424282
1443.86/780.23	c cleaning 39003 clauses out of 78005 with flag 2968874/1464281
1505.62/812.17	c cleaning 39994 clauses out of 80002 with flag 3076094/1505281
1572.85/845.56	c cleaning 41001 clauses out of 82008 with flag 3184000/1547281
1643.97/880.71	c cleaning 42004 clauses out of 84008 with flag 3303203/1590282
1714.11/915.33	c cleaning 43000 clauses out of 86004 with flag 3423217/1634282
1799.49/957.59	c cleaning 43998 clauses out of 88003 with flag 3553481/1679281
1800.09/957.80	c >>>>>>>>>> Solver number 0 (154 answers) <<<<<<<<<<<<<<<<<<
1800.09/957.80	c starts		: 22433
1800.09/957.80	c conflicts		: 1679479
1800.09/957.80	c decisions		: 11262226
1800.09/957.80	c propagations		: 79710766
1800.09/957.80	c inspects		: 4825918603
1800.09/957.80	c shortcuts		: 0
1800.09/957.80	c learnt literals	: 0
1800.09/957.80	c learnt binary clauses	: 581
1800.09/957.80	c learnt ternary clauses	: 3516
1800.09/957.80	c learnt constraints	: 1679478
1800.09/957.80	c ignored constraints	: 0
1800.09/957.80	c root simplifications	: 0
1800.09/957.80	c removed literals (reason simplification)	: 35520719
1800.09/957.80	c reason swapping (by a shorter reason)	: 0
1800.09/957.80	c Calls to reduceDB	: 114
1800.09/957.80	c Number of update (reduction) of LBD	: 95743
1800.09/957.80	c Imported unit clauses	: 0
1800.09/957.80	c number of reductions to clauses (during analyze)	: 0
1800.09/957.80	c number of learned constraints concerned by reduction	: 0
1800.09/957.80	c number of learning phase by resolution	: 0
1800.09/957.80	c number of learning phase by cutting planes	: 0
1800.09/957.80	c speed (assignments/second)	: 122704.62658651662
1800.09/957.80	c non guided choices	0
1800.09/957.82	c learnt constraints type 
1800.09/957.82	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 581
1800.09/957.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43622
1800.09/957.82	c >>>>>>>>>> Solver number 1 (8 answers) <<<<<<<<<<<<<<<<<<
1800.09/957.82	c starts		: 186
1800.09/957.82	c conflicts		: 5085
1800.09/957.82	c decisions		: 14911
1800.09/957.82	c propagations		: 764476
1800.09/957.82	c inspects		: 652013776
1800.09/957.82	c shortcuts		: 0
1800.09/957.82	c learnt literals	: 0
1800.09/957.82	c learnt binary clauses	: 0
1800.09/957.82	c learnt ternary clauses	: 3
1800.09/957.82	c learnt constraints	: 4974
1800.09/957.82	c ignored constraints	: 0
1800.09/957.82	c root simplifications	: 0
1800.09/957.82	c removed literals (reason simplification)	: 0
1800.09/957.82	c reason swapping (by a shorter reason)	: 0
1800.09/957.82	c Calls to reduceDB	: 0
1800.09/957.82	c Number of update (reduction) of LBD	: 0
1800.09/957.82	c Imported unit clauses	: 0
1800.09/957.82	c number of reductions to clauses (during analyze)	: 0
1800.09/957.82	c number of learned constraints concerned by reduction	: 0
1800.09/957.82	c number of learning phase by resolution	: 0
1800.09/957.82	c number of learning phase by cutting planes	: 0
1800.09/957.82	c speed (assignments/second)	: 963.1145165882629
1800.09/957.82	c non guided choices	0
1800.09/957.82	c learnt constraints type 
1800.09/957.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4974
1800.09/957.82	s SATISFIABLE
1800.09/957.82	c Found 162 solution(s)
1800.09/957.82	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 
1800.09/957.82	c objective function=-1518
1800.09/957.82	c Total wall clock time (in seconds): 957.698

Verifier Data 

OK	-1518

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-4119445-1467256260/watcher-4119445-1467256260 -o /tmp/evaluation-result-4119445-1467256260/solver-4119445-1467256260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119445-1467256260.opb 

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

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


[startup+0 s]
/proc/loadavg: 4.13 4.10 4.03 4/198 11453
/proc/meminfo: memFree=26078224/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11453/stat : 11453 (java) D 11450 11453 6228 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4645900 9515008 182 33554432000 1073741824 1073778376 140734091694208 140734091685240 211458801333 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/11453/statm: 2323 182 140 9 0 71 0

[startup+0.100058 s]
/proc/loadavg: 4.13 4.10 4.03 4/198 11453
/proc/meminfo: memFree=26078224/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 4645900 9787879424 6032 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2389619 6032 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200264 s]
/proc/loadavg: 4.13 4.10 4.03 4/198 11453
/proc/meminfo: memFree=26078224/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 4614 0 1 0 21 2 0 0 20 0 18 0 4645900 9787879424 7232 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2389619 7232 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.30029 s]
/proc/loadavg: 4.13 4.10 4.03 4/198 11453
/proc/meminfo: memFree=26078224/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9558476 CPUtime=0.45 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 5604 0 1 0 43 2 0 0 20 0 18 0 4645900 9787879424 8382 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2389619 8382 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700243 s]
/proc/loadavg: 4.13 4.10 4.03 4/198 11453
/proc/meminfo: memFree=26078224/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 7188 0 1 0 80 5 0 0 20 0 19 0 4645900 10060525568 11653 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 11653 2258 9 0 2446860 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 9824732

[startup+1.50079 s]
/proc/loadavg: 4.04 4.09 4.02 5/217 11478
/proc/meminfo: memFree=26018832/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=1.55 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 16397 0 1 0 145 10 0 0 20 0 19 0 4645900 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 18308 2263 9 0 2446860 0
[pid=11453/tid=11455] ppid=11450 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/11453/task/11455/stat : 11455 (java) S 11450 11453 6228 0 -1 4202560 2433 0 1 0 39 2 0 0 20 0 19 0 4645901 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868074476408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 6509 0 0 0 41 2 0 0 20 0 19 0 4645907 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6097 0 0 0 45 2 0 0 20 0 19 0 4645907 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11478] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11478/stat : 11478 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4645994 10060525568 18308 33554432000 1073741824 1073778376 140734067146560 139867014010152 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.04 4.09 4.02 3/216 11484
/proc/meminfo: memFree=26006428/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=1.92 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 16435 0 1 0 178 14 0 0 20 0 19 0 4645900 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 22925 2272 9 0 2446860 0
[pid=11453/tid=11455] ppid=11450 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/11453/task/11455/stat : 11455 (java) S 11450 11453 6228 0 -1 4202560 2436 0 1 0 41 2 0 0 20 0 19 0 4645901 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868074476408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 6514 0 0 0 52 2 0 0 20 0 19 0 4645907 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6101 0 0 0 58 2 0 0 20 0 19 0 4645907 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11478] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11478/stat : 11478 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4645994 10060525568 22925 33554432000 1073741824 1073778376 140734067146560 139867014010152 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30082 s]
/proc/loadavg: 3.88 4.05 4.01 3/216 11505
/proc/meminfo: memFree=25967768/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 16509 0 1 0 191 15 0 0 20 0 19 0 4645900 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 31322 2274 9 0 2446860 0
[pid=11453/tid=11455] ppid=11450 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/11453/task/11455/stat : 11455 (java) S 11450 11453 6228 0 -1 4202560 2441 0 1 0 43 2 0 0 20 0 19 0 4645901 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868074476408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4645903 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4645904 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 6517 0 0 0 59 2 0 0 20 0 19 0 4645907 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6101 0 0 0 62 2 0 0 20 0 19 0 4645907 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4645907 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11478] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11478/stat : 11478 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4645994 10060525568 31322 33554432000 1073741824 1073778376 140734067146560 139867014010152 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9824732

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

[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=4.74 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 3130 0 0 0 433 41 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=4.96 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 2194 0 0 0 454 42 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=4.38 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 2684 0 0 0 392 46 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=4.23 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 1881 0 0 0 383 40 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=5.21 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 3126 0 0 0 476 45 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=4.47 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 2458 0 0 0 408 39 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=4.21 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 2007 0 0 0 382 39 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=4.58 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 1848 0 0 0 418 40 0 0 20 0 22 0 4645903 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=10.78 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 3639 0 0 0 1068 10 0 0 20 0 22 0 4645904 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 13572 0 0 0 167 3 0 0 20 0 22 0 4645907 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6127 0 0 0 142 2 0 0 20 0 22 0 4645907 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 51 0 0 0 14 16 0 0 20 0 22 0 4645907 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11949] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11949/stat : 11949 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4662307 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867016114984 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11965] ppid=11450 vsize=9824732 CPUtime=558.45 cores=0,2,4,6
/proc/11453/task/11965/stat : 11965 (java) R 11450 11453 6228 0 -1 4202560 27 0 0 0 55835 10 0 0 20 0 22 0 4676720 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867017159024 139867909315776 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11966] ppid=11450 vsize=9824732 CPUtime=558.4 cores=0,2,4,6
/proc/11453/task/11966/stat : 11966 (java) R 11450 11453 6228 0 -1 4202560 44 0 0 0 55832 8 0 0 20 0 22 0 4676720 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867015060912 139867909239005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11967] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11967/stat : 11967 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4676720 10060525568 1175298 33554432000 1073741824 1073778376 140734067146560 139867014010024 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1647.18
Current children cumulated vsize (KiB) 9824732

[startup+942.301 s]
/proc/loadavg: 4.10 4.06 3.99 6/219 12469
/proc/meminfo: memFree=22532272/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=1768.78 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 49861 0 1 0 176252 626 0 0 20 0 22 0 4645900 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 1176373 2302 9 0 2446860 0
[pid=11453/tid=11455] ppid=11450 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/11453/task/11455/stat : 11455 (java) S 11450 11453 6228 0 -1 4202560 2479 0 1 0 93 5 0 0 20 0 22 0 4645901 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868074476408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=5.11 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 3130 0 0 0 470 41 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=5.44 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 2211 0 0 0 502 42 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=4.79 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 2852 0 0 0 433 46 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=4.56 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 2002 0 0 0 416 40 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=5.69 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 3215 0 0 0 524 45 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=4.87 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 2458 0 0 0 448 39 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=4.73 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 2119 0 0 0 434 39 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=4.94 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 1908 0 0 0 454 40 0 0 20 0 22 0 4645903 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=10.78 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 3646 0 0 0 1068 10 0 0 20 0 22 0 4645904 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 13572 0 0 0 167 3 0 0 20 0 22 0 4645907 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6127 0 0 0 142 2 0 0 20 0 22 0 4645907 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 55 0 0 0 15 17 0 0 20 0 22 0 4645907 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11949] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11949/stat : 11949 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4662307 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867016114984 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11965] ppid=11450 vsize=9824732 CPUtime=617.56 cores=0,2,4,6
/proc/11453/task/11965/stat : 11965 (java) R 11450 11453 6228 0 -1 4202560 27 0 0 0 61745 11 0 0 20 0 22 0 4676720 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867017165840 139867909170114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11966] ppid=11450 vsize=9824732 CPUtime=617.52 cores=0,2,4,6
/proc/11453/task/11966/stat : 11966 (java) R 11450 11453 6228 0 -1 4202560 47 0 0 0 61743 9 0 0 20 0 22 0 4676720 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867015060912 139867909278028 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11967] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11967/stat : 11967 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4676720 10060525568 1176373 33554432000 1073741824 1073778376 140734067146560 139867014010024 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.78
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+957.801 s]
/proc/loadavg: 4.08 4.06 3.99 6/219 12469
/proc/meminfo: memFree=22532280/32872528 swapFree=480236/529292
[pid=11453] ppid=11450 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/11453/stat : 11453 (java) S 11450 11453 6228 0 -1 4202496 49866 0 1 0 179381 627 0 0 20 0 22 0 4645900 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 140734067137696 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11453/statm: 2456183 1176377 2302 9 0 2446860 0
[pid=11453/tid=11455] ppid=11450 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/11453/task/11455/stat : 11455 (java) S 11450 11453 6228 0 -1 4202560 2479 0 1 0 93 5 0 0 20 0 22 0 4645901 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868074476408 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11456] ppid=11450 vsize=9824732 CPUtime=5.15 cores=0,2,4,6
/proc/11453/task/11456/stat : 11456 (java) S 11450 11453 6228 0 -1 4202560 3130 0 0 0 474 41 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868035967400 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11457] ppid=11450 vsize=9824732 CPUtime=5.52 cores=0,2,4,6
/proc/11453/task/11457/stat : 11457 (java) S 11450 11453 6228 0 -1 4202560 2211 0 0 0 510 42 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868034914856 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11458] ppid=11450 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/11453/task/11458/stat : 11458 (java) S 11450 11453 6228 0 -1 4202560 2856 0 0 0 449 46 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868033861800 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11459] ppid=11450 vsize=9824732 CPUtime=4.6 cores=0,2,4,6
/proc/11453/task/11459/stat : 11459 (java) S 11450 11453 6228 0 -1 4202560 2002 0 0 0 420 40 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868032809256 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11460] ppid=11450 vsize=9824732 CPUtime=5.84 cores=0,2,4,6
/proc/11453/task/11460/stat : 11460 (java) S 11450 11453 6228 0 -1 4202560 3215 0 0 0 539 45 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868031757224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11461] ppid=11450 vsize=9824732 CPUtime=4.95 cores=0,2,4,6
/proc/11453/task/11461/stat : 11461 (java) S 11450 11453 6228 0 -1 4202560 2458 0 0 0 455 40 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868030704680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11462] ppid=11450 vsize=9824732 CPUtime=4.77 cores=0,2,4,6
/proc/11453/task/11462/stat : 11462 (java) S 11450 11453 6228 0 -1 4202560 2119 0 0 0 438 39 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868029651624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11463] ppid=11450 vsize=9824732 CPUtime=4.98 cores=0,2,4,6
/proc/11453/task/11463/stat : 11463 (java) S 11450 11453 6228 0 -1 4202560 1908 0 0 0 458 40 0 0 20 0 22 0 4645903 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139868028599080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11464] ppid=11450 vsize=9824732 CPUtime=10.78 cores=0,2,4,6
/proc/11453/task/11464/stat : 11464 (java) S 11450 11453 6228 0 -1 4202560 3646 0 0 0 1068 10 0 0 20 0 22 0 4645904 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867898374504 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11465] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11465/stat : 11465 (java) S 11450 11453 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867897320824 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11466] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11466/stat : 11466 (java) S 11450 11453 6228 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 4645904 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867896267656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11467] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11467/stat : 11467 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867895216400 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11468] ppid=11450 vsize=9824732 CPUtime=1.7 cores=0,2,4,6
/proc/11453/task/11468/stat : 11468 (java) S 11450 11453 6228 0 -1 4202560 13572 0 0 0 167 3 0 0 20 0 22 0 4645907 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867894164280 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11469] ppid=11450 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/11453/task/11469/stat : 11469 (java) S 11450 11453 6228 0 -1 4202560 6127 0 0 0 142 2 0 0 20 0 22 0 4645907 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867893111736 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11470] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11470/stat : 11470 (java) S 11450 11453 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4645907 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867019275000 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11453/tid=11471] ppid=11450 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/11453/task/11471/stat : 11471 (java) S 11450 11453 6228 0 -1 4202560 55 0 0 0 16 17 0 0 20 0 22 0 4645907 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867018222664 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11949] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11949/stat : 11949 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4662307 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867016114984 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11453/tid=11965] ppid=11450 vsize=9824732 CPUtime=632.9 cores=0,2,4,6
/proc/11453/task/11965/stat : 11965 (java) R 11450 11453 6228 0 -1 4202560 27 0 0 0 63279 11 0 0 20 0 22 0 4676720 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867017159024 139867909001656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11453/tid=11966] ppid=11450 vsize=9824732 CPUtime=632.85 cores=0,2,4,6
/proc/11453/task/11966/stat : 11966 (java) R 11450 11453 6228 0 -1 4202560 48 0 0 0 63276 9 0 0 20 0 22 0 4676720 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867015060912 139867909238844 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11453/tid=11967] ppid=11450 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11453/task/11967/stat : 11967 (java) S 11450 11453 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4676720 10060525568 1176377 33554432000 1073741824 1073778376 140734067146560 139867014010024 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 11453 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

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): 0.00999999
#  lost CPU user time (s): 0
#  lost CPU system time (s): 0.00999999

Real time (s): 957.857
CPU time (s): 1800.65
CPU user time (s): 1793.95
CPU system time (s): 6.70098
CPU usage (%): 187.987
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.95
system time used= 6.69098
maximum resident set size= 4706160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49900
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28503
involuntary context switches= 34499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.16106 second user time and 7.55685 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 05:11:00
IDJOB=4119445
IDBENCH=111732
IDSOLVER=2543
FILE ID=node141/4119445-1467256260
RUNJOBID= node141-1467246696-6244
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119445-1467256260/watcher-4119445-1467256260 -o /tmp/evaluation-result-4119445-1467256260/solver-4119445-1467256260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119445-1467256260.opb

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

MD5SUM BENCH= 4afe4512554ca05352933c1ab136451e
RANDOM SEED=1231146822

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26078496 kB
Buffers:          139020 kB
Cached:           724104 kB
SwapCached:            0 kB
Active:          4839924 kB
Inactive:         676132 kB
Active(anon):    4655360 kB
Inactive(anon):        4 kB
Active(file):     184564 kB
Inactive(file):   676128 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       5181880 kB
Mapped:            22164 kB
Shmem:               204 kB
Slab:             609364 kB
SReclaimable:      53284 kB
SUnreclaim:       556080 kB
KernelStack:        1640 kB
PageTables:        14108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5839000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4581376 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= 71700 MiB
End job on node141 at 2016-06-30 05:26:58