Trace number 4119309

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)6350 1800.06 1034.94

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.opb
MD5SUM20bf5d251cbf9e1bfc60bd4febfc4e0a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6251
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 2674
Biggest coefficient in the objective function 6872
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13678
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6872
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13678
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)2501
Sum of products size (including duplicates)5002
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.10	c version PB16.v20160501
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	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.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4119309-1467252887.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.68/0.45	c ... done. Wall clock time 0.322s.
0.68/0.45	c declared #vars     183
0.68/0.45	c internal #vars     2684
0.68/0.45	c #constraints  6460
0.68/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.68/0.45	c constraints type 
0.68/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3957
0.68/0.45	c org.sat4j.specs.Constr$1 => 1
0.68/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.68/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2501
0.68/0.45	c 6460 constraints processed.
0.68/0.45	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.68/0.45	c constraints type 
0.68/0.45	c org.sat4j.specs.Constr$1 => 1
0.68/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3957
0.68/0.45	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.68/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2501
0.68/0.45	c 6460 constraints processed.
0.68/0.45	c objective function length is 2674 literals
1.01/0.51	c And the winner is solver0
1.25/0.95	c SATISFIABLE
1.25/0.95	c OPTIMIZING...
1.25/0.95	c Got one! Elapsed wall clock time (in seconds):0.828
1.25/0.95	o 6994
2.23/1.24	c And the winner is solver0
2.31/1.47	c Got one! Elapsed wall clock time (in seconds):1.344
2.31/1.47	o 6993
2.31/1.49	c And the winner is solver0
2.47/1.98	c Got one! Elapsed wall clock time (in seconds):1.855
2.47/1.98	o 6982
2.51/2.03	c And the winner is solver0
2.72/2.49	c Got one! Elapsed wall clock time (in seconds):2.362
2.72/2.49	o 6971
2.75/2.50	c And the winner is solver0
2.79/2.99	c Got one! Elapsed wall clock time (in seconds):2.868
2.79/2.99	o 6960
2.80/3.07	c And the winner is solver0
3.04/3.50	c Got one! Elapsed wall clock time (in seconds):3.373
3.04/3.50	o 6953
3.04/3.51	c And the winner is solver0
3.06/4.00	c Got one! Elapsed wall clock time (in seconds):3.878
3.06/4.00	o 6940
3.87/4.31	c And the winner is solver0
3.95/4.51	c Got one! Elapsed wall clock time (in seconds):4.382
3.95/4.51	o 6937
3.95/4.55	c And the winner is solver0
4.06/5.01	c Got one! Elapsed wall clock time (in seconds):4.886
4.06/5.01	o 6927
4.24/5.13	c And the winner is solver0
4.32/5.52	c Got one! Elapsed wall clock time (in seconds):5.39
4.32/5.52	o 6925
4.52/5.70	c And the winner is solver0
4.76/6.02	c Got one! Elapsed wall clock time (in seconds):5.894
4.76/6.02	o 6923
5.31/6.33	c And the winner is solver0
5.40/6.52	c Got one! Elapsed wall clock time (in seconds):6.397
5.40/6.52	o 6920
5.63/6.61	c And the winner is solver0
5.68/7.03	c Got one! Elapsed wall clock time (in seconds):6.9
5.68/7.03	o 6914
5.82/7.15	c And the winner is solver0
5.94/7.53	c Got one! Elapsed wall clock time (in seconds):7.403
5.94/7.53	o 6910
6.28/7.76	c And the winner is solver0
6.42/8.03	c Got one! Elapsed wall clock time (in seconds):7.906
6.42/8.03	o 6905
9.07/9.37	c cleaning 4264 clauses out of 8528 with flag 8020/8528
13.36/11.35	c cleaning 5129 clauses out of 10263 with flag 20018/14527
18.22/13.72	c cleaning 6067 clauses out of 12136 with flag 34022/21529
18.22/13.79	c And the winner is solver0
18.46/14.04	c Got one! Elapsed wall clock time (in seconds):13.91
18.46/14.04	o 6903
18.58/14.19	c And the winner is solver0
18.83/14.54	c Got one! Elapsed wall clock time (in seconds):14.414
18.83/14.54	o 6902
19.23/14.76	c And the winner is solver0
19.44/15.09	c Got one! Elapsed wall clock time (in seconds):14.964
19.44/15.09	o 6901
19.44/15.12	c And the winner is solver0
19.51/15.59	c Got one! Elapsed wall clock time (in seconds):15.467
19.51/15.59	o 6899
19.51/15.67	c And the winner is solver0
19.73/16.10	c Got one! Elapsed wall clock time (in seconds):15.971
19.73/16.10	o 6897
19.73/16.17	c And the winner is solver0
19.95/16.60	c Got one! Elapsed wall clock time (in seconds):16.475
19.95/16.60	o 6889
20.13/16.70	c And the winner is solver0
20.21/17.10	c Got one! Elapsed wall clock time (in seconds):16.979
20.21/17.10	o 6886
20.21/17.12	c And the winner is solver0
20.26/17.61	c Got one! Elapsed wall clock time (in seconds):17.483
20.26/17.61	o 6884
23.48/19.23	c cleaning 6579 clauses out of 13165 with flag 10197/28625
23.70/19.37	c And the winner is solver0
23.90/19.61	c Got one! Elapsed wall clock time (in seconds):19.487
23.90/19.61	o 6883
26.85/21.19	c cleaning 6026 clauses out of 12060 with flag 10079/34099
30.65/23.08	c cleaning 6015 clauses out of 12035 with flag 22144/40100
35.19/25.23	c And the winner is solver0
35.35/25.62	c Got one! Elapsed wall clock time (in seconds):25.491
35.35/25.62	o 6881
35.90/25.93	c And the winner is solver0
36.07/26.12	c Got one! Elapsed wall clock time (in seconds):25.995
36.07/26.12	o 6878
36.07/26.16	c And the winner is solver0
36.18/26.63	c Got one! Elapsed wall clock time (in seconds):26.499
36.18/26.63	o 6876
36.32/26.72	c And the winner is solver0
36.44/27.13	c Got one! Elapsed wall clock time (in seconds):27.003
36.44/27.13	o 6872
36.44/27.17	c And the winner is solver0
36.55/27.63	c Got one! Elapsed wall clock time (in seconds):27.507
36.55/27.63	o 6870
36.55/27.68	c And the winner is solver0
36.68/28.14	c Got one! Elapsed wall clock time (in seconds):28.011
36.68/28.14	o 6868
37.17/28.33	c And the winner is solver0
37.30/28.64	c Got one! Elapsed wall clock time (in seconds):28.515
37.30/28.64	o 6863
40.81/30.41	c cleaning 9646 clauses out of 19306 with flag 10185/53386
41.01/30.57	c And the winner is solver0
41.17/30.70	c Got one! Elapsed wall clock time (in seconds):30.569
41.17/30.70	o 6861
44.42/32.30	c cleaning 7579 clauses out of 15170 with flag 10161/58896
48.24/34.23	c cleaning 6793 clauses out of 13590 with flag 22265/64895
48.82/34.54	c And the winner is solver0
49.01/34.70	c Got one! Elapsed wall clock time (in seconds):34.574
49.01/34.70	o 6860
52.38/36.44	c cleaning 5893 clauses out of 11803 with flag 8012/69901
54.58/37.56	c And the winner is solver0
54.83/38.06	c Got one! Elapsed wall clock time (in seconds):37.931
54.83/38.06	o 6858
55.49/38.49	c And the winner is solver0
55.87/38.71	c Got one! Elapsed wall clock time (in seconds):38.585
55.87/38.71	o 6855
56.04/38.81	c And the winner is solver0
56.14/39.22	c Got one! Elapsed wall clock time (in seconds):39.09
56.14/39.22	o 6851
56.14/39.28	c And the winner is solver0
56.29/39.72	c Got one! Elapsed wall clock time (in seconds):39.594
56.29/39.72	o 6849
56.43/39.84	c And the winner is solver0
56.61/40.22	c Got one! Elapsed wall clock time (in seconds):40.098
56.61/40.22	o 6848
56.61/40.24	c And the winner is solver0
56.67/40.73	c Got one! Elapsed wall clock time (in seconds):40.603
56.67/40.73	o 6846
56.67/40.74	c And the winner is solver0
56.69/41.23	c Got one! Elapsed wall clock time (in seconds):41.107
56.69/41.23	o 6844
57.41/41.60	c cleaning 6305 clauses out of 12623 with flag 2034/76614
61.41/43.66	c cleaning 6156 clauses out of 12318 with flag 14040/82614
66.48/46.11	c cleaning 6576 clauses out of 13161 with flag 28040/89613
71.87/48.84	c cleaning 7287 clauses out of 14584 with flag 44040/97612
77.88/51.84	c cleaning 8148 clauses out of 16299 with flag 62049/106614
84.49/55.19	c cleaning 9074 clauses out of 18149 with flag 82057/116612
87.55/56.60	c And the winner is solver1
87.71/56.74	c Got one! Elapsed wall clock time (in seconds):56.613
87.71/56.74	o 6838
87.83/56.84	c And the winner is solver0
87.99/57.24	c Got one! Elapsed wall clock time (in seconds):57.118
87.99/57.24	o 6833
88.10/57.35	c And the winner is solver0
88.25/57.75	c Got one! Elapsed wall clock time (in seconds):57.624
88.25/57.75	o 6812
88.34/57.86	c And the winner is solver0
88.55/58.26	c Got one! Elapsed wall clock time (in seconds):58.129
88.55/58.26	o 6809
88.64/58.37	c And the winner is solver0
88.87/58.76	c Got one! Elapsed wall clock time (in seconds):58.634
88.87/58.76	o 6807
89.13/58.97	c And the winner is solver0
89.42/59.27	c Got one! Elapsed wall clock time (in seconds):59.138
89.42/59.27	o 6802
89.48/59.36	c And the winner is solver0
89.67/59.77	c Got one! Elapsed wall clock time (in seconds):59.643
89.67/59.77	o 6798
89.91/59.94	c And the winner is solver0
90.11/60.27	c Got one! Elapsed wall clock time (in seconds):60.148
90.11/60.27	o 6793
90.15/60.39	c And the winner is solver0
90.41/60.78	c Got one! Elapsed wall clock time (in seconds):60.653
90.41/60.78	o 6783
90.45/60.87	c And the winner is solver0
90.65/61.29	c Got one! Elapsed wall clock time (in seconds):61.158
90.65/61.29	o 6779
90.67/61.38	c And the winner is solver0
90.91/61.79	c Got one! Elapsed wall clock time (in seconds):61.662
90.91/61.79	o 6775
90.92/61.87	c And the winner is solver0
91.12/62.29	c Got one! Elapsed wall clock time (in seconds):62.167
91.12/62.29	o 6753
91.32/62.42	c And the winner is solver0
91.44/62.80	c Got one! Elapsed wall clock time (in seconds):62.672
91.44/62.80	o 6750
91.45/62.90	c And the winner is solver0
91.71/63.30	c Got one! Elapsed wall clock time (in seconds):63.177
91.71/63.30	o 6742
91.89/63.45	c And the winner is solver0
92.10/63.81	c Got one! Elapsed wall clock time (in seconds):63.682
92.10/63.81	o 6741
92.31/63.95	c And the winner is solver0
93.22/64.59	c Got one! Elapsed wall clock time (in seconds):64.465
93.22/64.59	o 6740
93.29/64.67	c And the winner is solver0
93.51/65.10	c Got one! Elapsed wall clock time (in seconds):64.97
93.51/65.10	o 6733
93.70/65.25	c And the winner is solver0
93.91/65.60	c Got one! Elapsed wall clock time (in seconds):65.475
93.91/65.60	o 6731
94.10/65.78	c And the winner is solver0
94.39/66.11	c Got one! Elapsed wall clock time (in seconds):65.979
94.39/66.11	o 6727
94.76/66.30	c And the winner is solver0
94.91/66.61	c Got one! Elapsed wall clock time (in seconds):66.485
94.91/66.61	o 6723
95.27/66.82	c And the winner is solver0
95.45/67.12	c Got one! Elapsed wall clock time (in seconds):66.989
95.45/67.12	o 6722
95.62/67.26	c And the winner is solver0
95.85/67.62	c Got one! Elapsed wall clock time (in seconds):67.494
95.85/67.62	o 6719
95.85/67.68	c And the winner is solver0
96.01/68.12	c Got one! Elapsed wall clock time (in seconds):67.998
96.01/68.12	o 6718
96.01/68.19	c And the winner is solver0
96.18/68.63	c Got one! Elapsed wall clock time (in seconds):68.503
96.18/68.63	o 6717
96.18/68.68	c And the winner is solver0
96.31/69.13	c Got one! Elapsed wall clock time (in seconds):69.007
96.31/69.13	o 6710
96.65/69.35	c And the winner is solver0
96.88/69.64	c Got one! Elapsed wall clock time (in seconds):69.512
96.88/69.64	o 6708
96.99/69.72	c And the winner is solver0
97.11/70.14	c Got one! Elapsed wall clock time (in seconds):70.017
97.11/70.14	o 6703
97.42/70.32	c And the winner is solver0
97.59/70.65	c Got one! Elapsed wall clock time (in seconds):70.521
97.59/70.65	o 6701
97.69/70.76	c And the winner is solver0
97.89/71.15	c Got one! Elapsed wall clock time (in seconds):71.026
97.89/71.15	o 6699
98.17/71.31	c And the winner is solver0
98.31/71.66	c Got one! Elapsed wall clock time (in seconds):71.531
98.31/71.66	o 6694
98.58/71.85	c And the winner is solver0
98.81/72.16	c Got one! Elapsed wall clock time (in seconds):72.036
98.81/72.16	o 6684
99.11/72.36	c And the winner is solver0
99.35/72.67	c Got one! Elapsed wall clock time (in seconds):72.541
99.35/72.67	o 6682
99.41/72.79	c And the winner is solver0
99.67/73.17	c Got one! Elapsed wall clock time (in seconds):73.045
99.67/73.17	o 6660
100.12/73.49	c And the winner is solver0
100.50/73.73	c Got one! Elapsed wall clock time (in seconds):73.6
100.50/73.73	o 6649
100.64/73.82	c And the winner is solver0
100.74/74.23	c Got one! Elapsed wall clock time (in seconds):74.105
100.74/74.23	o 6642
101.06/74.47	c And the winner is solver0
101.38/74.74	c Got one! Elapsed wall clock time (in seconds):74.609
101.38/74.74	o 6641
101.51/74.86	c And the winner is solver0
101.71/75.24	c Got one! Elapsed wall clock time (in seconds):75.114
101.71/75.24	o 6628
102.42/75.63	c And the winner is solver0
102.65/75.85	c Got one! Elapsed wall clock time (in seconds):75.719
102.65/75.85	o 6626
103.16/76.10	c And the winner is solver0
103.35/76.35	c Got one! Elapsed wall clock time (in seconds):76.223
103.35/76.35	o 6623
103.83/76.65	c And the winner is solver0
104.09/76.86	c Got one! Elapsed wall clock time (in seconds):76.728
104.09/76.86	o 6622
104.20/76.97	c And the winner is solver0
104.44/77.36	c Got one! Elapsed wall clock time (in seconds):77.233
104.44/77.36	o 6619
104.51/77.46	c And the winner is solver0
104.71/77.86	c Got one! Elapsed wall clock time (in seconds):77.737
104.71/77.86	o 6616
104.97/78.03	c And the winner is solver0
105.32/78.37	c Got one! Elapsed wall clock time (in seconds):78.242
105.32/78.37	o 6615
105.97/78.70	c And the winner is solver0
106.17/78.93	c Got one! Elapsed wall clock time (in seconds):78.797
106.17/78.93	o 6613
106.93/79.31	c And the winner is solver0
107.12/79.53	c Got one! Elapsed wall clock time (in seconds):79.401
107.12/79.53	o 6612
107.66/79.80	c And the winner is solver0
107.86/80.03	c Got one! Elapsed wall clock time (in seconds):79.906
107.86/80.03	o 6602
108.00/80.16	c And the winner is solver0
108.21/80.54	c Got one! Elapsed wall clock time (in seconds):80.411
108.21/80.54	o 6598
108.33/80.69	c And the winner is solver0
108.62/81.05	c Got one! Elapsed wall clock time (in seconds):80.916
108.62/81.05	o 6596
108.92/81.21	c And the winner is solver0
109.07/81.55	c Got one! Elapsed wall clock time (in seconds):81.42
109.07/81.55	o 6593
109.16/81.67	c And the winner is solver0
109.39/82.05	c Got one! Elapsed wall clock time (in seconds):81.925
109.39/82.05	o 6590
109.88/82.39	c And the winner is solver0
110.25/82.61	c Got one! Elapsed wall clock time (in seconds):82.48
110.25/82.61	o 6578
111.62/83.39	c cleaning 16287 clauses out of 32573 with flag 4306/140110
114.64/84.89	c And the winner is solver0
115.01/85.11	c Got one! Elapsed wall clock time (in seconds):84.985
115.01/85.11	o 6577
115.57/85.41	c And the winner is solver0
115.80/85.62	c Got one! Elapsed wall clock time (in seconds):85.49
115.80/85.62	o 6575
116.55/86.03	c And the winner is solver0
116.79/86.22	c Got one! Elapsed wall clock time (in seconds):86.095
116.79/86.22	o 6574
117.89/86.74	c And the winner is solver0
118.19/87.23	c Got one! Elapsed wall clock time (in seconds):87.101
118.19/87.23	o 6570
118.33/87.34	c And the winner is solver0
118.51/87.73	c Got one! Elapsed wall clock time (in seconds):87.605
118.51/87.73	o 6569
119.25/88.15	c cleaning 12485 clauses out of 24970 with flag 2065/148794
119.25/88.19	c And the winner is solver0
119.53/88.39	c Got one! Elapsed wall clock time (in seconds):88.261
119.53/88.39	o 6558
120.03/88.63	c And the winner is solver0
120.26/88.90	c Got one! Elapsed wall clock time (in seconds):88.765
120.26/88.90	o 6551
120.68/89.14	c And the winner is solver0
120.91/89.40	c Got one! Elapsed wall clock time (in seconds):89.27
120.91/89.40	o 6539
121.32/89.62	c And the winner is solver0
121.51/89.90	c Got one! Elapsed wall clock time (in seconds):89.775
121.51/89.90	o 6537
122.10/90.22	c And the winner is solver0
122.32/90.41	c Got one! Elapsed wall clock time (in seconds):90.28
122.32/90.41	o 6519
122.70/90.61	c And the winner is solver0
122.86/90.91	c Got one! Elapsed wall clock time (in seconds):90.785
122.86/90.91	o 6509
123.43/91.29	c And the winner is solver0
123.83/91.52	c Got one! Elapsed wall clock time (in seconds):91.39
123.83/91.52	o 6507
123.98/91.63	c And the winner is solver0
124.12/92.02	c Got one! Elapsed wall clock time (in seconds):91.895
124.12/92.02	o 6502
124.67/92.34	c And the winner is solver0
124.93/92.53	c Got one! Elapsed wall clock time (in seconds):92.4
124.93/92.53	o 6500
128.42/94.29	c cleaning 11161 clauses out of 22322 with flag 12075/158631
131.43/95.77	c And the winner is solver0
131.74/96.08	c Got one! Elapsed wall clock time (in seconds):95.951
131.74/96.08	o 6498
132.17/96.39	c And the winner is solver0
132.58/96.63	c Got one! Elapsed wall clock time (in seconds):96.506
132.58/96.63	o 6497
133.13/96.96	c And the winner is solver0
133.39/97.19	c Got one! Elapsed wall clock time (in seconds):97.061
133.39/97.19	o 6490
133.67/97.40	c And the winner is solver0
134.01/97.69	c Got one! Elapsed wall clock time (in seconds):97.566
134.01/97.69	o 6489
134.22/97.83	c And the winner is solver0
134.39/98.20	c Got one! Elapsed wall clock time (in seconds):98.071
134.39/98.20	o 6483
135.18/98.67	c cleaning 9701 clauses out of 19401 with flag 2085/166871
135.58/98.83	c And the winner is solver0
135.85/99.20	c Got one! Elapsed wall clock time (in seconds):99.076
135.85/99.20	o 6475
136.64/99.65	c And the winner is solver0
136.90/99.86	c Got one! Elapsed wall clock time (in seconds):99.731
136.90/99.86	o 6474
137.44/100.19	c And the winner is solver0
137.82/100.42	c Got one! Elapsed wall clock time (in seconds):100.286
137.82/100.42	o 6471
138.39/100.77	c And the winner is solver0
138.77/101.02	c Got one! Elapsed wall clock time (in seconds):100.891
138.77/101.02	o 6467
141.49/102.37	c cleaning 8364 clauses out of 16729 with flag 9886/173900
144.88/104.09	c cleaning 7180 clauses out of 14364 with flag 24715/179899
149.68/106.49	c cleaning 7092 clauses out of 14184 with flag 40442/186899
151.68/107.43	c And the winner is solver0
151.90/107.68	c Got one! Elapsed wall clock time (in seconds):107.547
151.90/107.68	o 6464
153.39/108.49	c cleaning 6119 clauses out of 12253 with flag 4428/192060
157.99/110.76	c cleaning 6063 clauses out of 12134 with flag 17310/198060
161.79/112.66	c cleaning 6536 clauses out of 13072 with flag 33020/205061
166.39/114.98	c cleaning 7263 clauses out of 14536 with flag 49344/213061
172.38/117.92	c cleaning 8137 clauses out of 16273 with flag 70584/222061
179.76/121.51	c cleaning 9068 clauses out of 18135 with flag 92334/232060
187.36/125.36	c cleaning 10031 clauses out of 20068 with flag 117006/243061
195.57/129.40	c And the winner is solver0
195.72/129.68	c Got one! Elapsed wall clock time (in seconds):129.555
195.72/129.68	o 6461
196.93/130.31	c And the winner is solver0
197.24/130.69	c Got one! Elapsed wall clock time (in seconds):130.56
197.24/130.69	o 6458
198.49/131.29	c And the winner is solver0
198.98/131.69	c Got one! Elapsed wall clock time (in seconds):131.568
198.98/131.69	o 6455
199.60/132.01	c And the winner is solver0
199.81/132.25	c Got one! Elapsed wall clock time (in seconds):132.124
199.81/132.25	o 6453
200.13/132.40	c And the winner is solver0
200.25/132.76	c Got one! Elapsed wall clock time (in seconds):132.629
200.25/132.76	o 6447
200.33/132.90	c And the winner is solver0
200.63/133.26	c Got one! Elapsed wall clock time (in seconds):133.135
200.63/133.26	o 6441
201.89/133.98	c And the winner is solver0
202.37/134.32	c Got one! Elapsed wall clock time (in seconds):134.19
202.37/134.32	o 6439
203.92/135.14	c cleaning 14364 clauses out of 28735 with flag 4713/261759
208.32/137.32	c cleaning 10180 clauses out of 20373 with flag 18017/267761
212.71/139.59	c cleaning 8591 clauses out of 17192 with flag 34462/274760
217.91/142.19	c cleaning 8291 clauses out of 16600 with flag 53364/282759
224.37/145.23	c cleaning 8651 clauses out of 17309 with flag 73371/291759
231.17/148.68	c cleaning 9324 clauses out of 18661 with flag 96409/301762
239.35/152.73	c cleaning 10168 clauses out of 20336 with flag 121762/312761
248.76/157.44	c cleaning 11083 clauses out of 22167 with flag 148756/324760
260.01/162.97	c cleaning 12040 clauses out of 24083 with flag 179196/337759
270.81/168.37	c cleaning 13012 clauses out of 26045 with flag 211299/351761
280.79/173.33	c cleaning 14011 clauses out of 28031 with flag 244144/366759
291.95/178.78	c cleaning 15008 clauses out of 30021 with flag 278859/382760
303.86/184.56	c cleaning 16004 clauses out of 32013 with flag 315338/399760
316.31/190.72	c cleaning 17002 clauses out of 34008 with flag 355937/417759
331.37/198.05	c cleaning 18001 clauses out of 36006 with flag 400493/436759
349.22/207.33	c cleaning 18999 clauses out of 38005 with flag 448249/456759
364.51/214.99	c cleaning 20004 clauses out of 40008 with flag 497283/477761
382.04/223.63	c cleaning 21001 clauses out of 42002 with flag 546566/499759
401.65/233.34	c cleaning 21999 clauses out of 44002 with flag 599244/522760
423.98/244.45	c cleaning 23001 clauses out of 46002 with flag 657108/546759
446.93/255.80	c cleaning 24002 clauses out of 48003 with flag 710822/571761
464.06/265.10	c And the winner is solver1
464.06/265.38	c Got one! Elapsed wall clock time (in seconds):265.253
464.06/265.38	o 6373
468.54/267.65	c cleaning 22543 clauses out of 45088 with flag 14415/592848
472.74/269.72	c cleaning 14269 clauses out of 28546 with flag 31914/598849
477.14/271.92	c cleaning 10638 clauses out of 21277 with flag 51891/605849
482.14/274.41	c cleaning 9320 clauses out of 18639 with flag 75792/613849
487.53/277.13	c cleaning 9159 clauses out of 18320 with flag 104605/622850
493.33/280.06	c cleaning 9578 clauses out of 19159 with flag 136804/632848
499.93/283.32	c cleaning 10290 clauses out of 20580 with flag 173121/643847
507.63/287.13	c cleaning 11145 clauses out of 22291 with flag 211632/655848
516.01/291.37	c cleaning 12071 clauses out of 24147 with flag 254691/668849
525.23/295.94	c cleaning 13035 clauses out of 26074 with flag 301044/682847
534.81/300.75	c cleaning 14021 clauses out of 28043 with flag 353789/697851
545.22/305.94	c cleaning 15002 clauses out of 30018 with flag 409000/713847
556.80/311.71	c cleaning 16004 clauses out of 32016 with flag 467300/730847
569.21/317.99	c cleaning 17002 clauses out of 34012 with flag 533424/748847
582.41/324.51	c cleaning 18003 clauses out of 36010 with flag 599701/767847
597.14/331.81	c cleaning 19004 clauses out of 38007 with flag 673250/787847
611.74/339.19	c cleaning 20001 clauses out of 40003 with flag 747747/808847
627.74/347.15	c cleaning 20998 clauses out of 42003 with flag 827629/830848
644.93/355.71	c cleaning 21996 clauses out of 44004 with flag 913346/853847
663.12/364.80	c cleaning 23003 clauses out of 46011 with flag 1003659/877850
682.32/374.46	c cleaning 24001 clauses out of 48005 with flag 1094380/902847
702.12/384.35	c cleaning 25001 clauses out of 50004 with flag 1189436/928847
707.52/387.05	c And the winner is solver0
762.16/441.42	c Got one! Elapsed wall clock time (in seconds):441.29
762.16/441.42	o 6368
765.77/443.39	c cleaning 18700 clauses out of 37404 with flag 17961/941248
769.76/445.33	c cleaning 12350 clauses out of 24702 with flag 43071/947246
773.96/447.46	c cleaning 9674 clauses out of 19350 with flag 67089/954244
778.76/449.82	c cleaning 8836 clauses out of 17677 with flag 93883/962245
784.16/452.58	c cleaning 8920 clauses out of 17841 with flag 130134/971245
790.17/455.53	c cleaning 9458 clauses out of 18920 with flag 167883/981244
796.77/458.82	c cleaning 10230 clauses out of 20464 with flag 203994/992246
800.56/460.71	c And the winner is solver0
821.19/481.23	c Got one! Elapsed wall clock time (in seconds):481.105
821.19/481.23	o 6365
822.01/481.61	c And the winner is solver0
822.23/481.89	c Got one! Elapsed wall clock time (in seconds):481.763
822.23/481.89	o 6364
826.09/483.81	c cleaning 11239 clauses out of 22480 with flag 14719/1004492
829.70/485.60	c cleaning 8618 clauses out of 17242 with flag 35353/1010493
833.90/487.72	c cleaning 7809 clauses out of 15624 with flag 60229/1017493
838.50/490.04	c cleaning 7907 clauses out of 15815 with flag 89717/1025493
844.11/492.85	c cleaning 8452 clauses out of 16907 with flag 121879/1034492
850.29/495.90	c cleaning 9224 clauses out of 18455 with flag 157199/1044492
855.69/498.69	c And the winner is solver0
876.56/519.43	c Got one! Elapsed wall clock time (in seconds):519.305
876.56/519.43	o 6359
880.54/521.42	c cleaning 11706 clauses out of 23418 with flag 16504/1058679
884.32/523.32	c cleaning 8855 clauses out of 17713 with flag 39273/1064680
888.72/525.50	c cleaning 7927 clauses out of 15857 with flag 64320/1071679
893.32/527.83	c cleaning 7960 clauses out of 15930 with flag 96291/1079679
898.52/530.48	c cleaning 8484 clauses out of 16970 with flag 126020/1088679
904.52/533.43	c cleaning 9241 clauses out of 18487 with flag 161225/1098680
911.12/536.77	c cleaning 10120 clauses out of 20245 with flag 200169/1109679
918.52/540.47	c cleaning 11060 clauses out of 22125 with flag 244837/1121679
926.73/544.58	c cleaning 12030 clauses out of 24067 with flag 291112/1134681
935.92/549.15	c cleaning 13015 clauses out of 26035 with flag 343290/1148679
945.52/553.95	c cleaning 14010 clauses out of 28020 with flag 397295/1163679
955.53/558.90	c cleaning 15006 clauses out of 30011 with flag 441288/1179680
956.71/559.54	c And the winner is solver0
981.66/584.54	c Got one! Elapsed wall clock time (in seconds):584.409
981.66/584.54	o 6357
984.94/586.29	c cleaning 10409 clauses out of 20821 with flag 11017/1185496
988.74/588.11	c cleaning 8205 clauses out of 16414 with flag 33758/1191498
992.74/590.13	c cleaning 7603 clauses out of 15208 with flag 57762/1198497
997.34/592.41	c cleaning 7800 clauses out of 15604 with flag 85475/1206496
1002.54/595.02	c cleaning 8401 clauses out of 16805 with flag 117793/1215497
1008.34/597.94	c cleaning 9201 clauses out of 18405 with flag 151379/1225498
1014.94/601.22	c cleaning 10101 clauses out of 20204 with flag 189371/1236498
1022.34/604.94	c cleaning 11049 clauses out of 22102 with flag 229357/1248497
1025.34/606.45	c And the winner is solver0
1041.05/622.17	c Got one! Elapsed wall clock time (in seconds):622.044
1041.05/622.17	o 6355
1041.88/622.63	c cleaning 8486 clauses out of 16976 with flag 2448/1254420
1045.99/624.67	c cleaning 7240 clauses out of 14491 with flag 23010/1260421
1050.19/626.78	c cleaning 7122 clauses out of 14250 with flag 49383/1267420
1055.20/629.29	c cleaning 7565 clauses out of 15131 with flag 78997/1275423
1060.59/631.93	c cleaning 8282 clauses out of 16564 with flag 110696/1284421
1066.59/634.96	c cleaning 9136 clauses out of 18281 with flag 143993/1294420
1073.38/638.31	c cleaning 10071 clauses out of 20145 with flag 183385/1305420
1080.58/641.91	c cleaning 11036 clauses out of 22075 with flag 222065/1317421
1088.58/645.94	c cleaning 12014 clauses out of 24038 with flag 263705/1330420
1097.58/650.43	c cleaning 13009 clauses out of 26024 with flag 315238/1344420
1107.57/655.45	c cleaning 14008 clauses out of 28018 with flag 361164/1359423
1117.77/660.51	c cleaning 14999 clauses out of 30007 with flag 414767/1375420
1128.97/666.20	c cleaning 16005 clauses out of 32009 with flag 472595/1392421
1129.17/666.22	c And the winner is solver0
1152.39/689.57	c Got one! Elapsed wall clock time (in seconds):689.438
1152.39/689.57	o 6353
1156.35/691.57	c cleaning 10542 clauses out of 21085 with flag 13113/1397502
1160.15/693.45	c cleaning 8269 clauses out of 16543 with flag 32386/1403502
1164.35/695.50	c cleaning 7632 clauses out of 15273 with flag 57717/1410501
1168.95/697.82	c cleaning 7820 clauses out of 15641 with flag 82855/1418501
1174.15/700.43	c cleaning 8409 clauses out of 16823 with flag 115180/1427503
1180.35/703.53	c cleaning 9205 clauses out of 18412 with flag 148695/1437501
1186.75/706.71	c cleaning 10104 clauses out of 20210 with flag 184510/1448504
1194.34/710.54	c cleaning 11051 clauses out of 22104 with flag 220373/1460502
1202.95/714.83	c cleaning 12020 clauses out of 24052 with flag 253699/1473501
1211.34/719.00	c cleaning 13011 clauses out of 26032 with flag 295730/1487501
1221.54/724.13	c cleaning 14010 clauses out of 28021 with flag 339629/1502501
1231.95/729.33	c cleaning 15002 clauses out of 30012 with flag 390130/1518502
1244.94/735.89	c cleaning 16002 clauses out of 32010 with flag 441960/1535502
1257.74/742.20	c cleaning 17000 clauses out of 34007 with flag 502890/1553501
1271.14/748.94	c cleaning 17999 clauses out of 36008 with flag 559426/1572502
1284.33/755.56	c cleaning 19004 clauses out of 38009 with flag 607060/1592502
1300.10/763.32	c cleaning 19998 clauses out of 40004 with flag 663770/1613501
1314.11/770.33	c cleaning 21004 clauses out of 42007 with flag 730819/1635502
1329.71/778.13	c cleaning 22002 clauses out of 44005 with flag 796232/1658504
1346.11/786.32	c cleaning 22997 clauses out of 46002 with flag 873302/1682503
1363.50/795.08	c cleaning 23999 clauses out of 48003 with flag 949184/1707501
1382.90/804.75	c cleaning 25000 clauses out of 50004 with flag 1026143/1733501
1409.39/817.84	c cleaning 26003 clauses out of 52005 with flag 1113681/1760502
1431.59/828.95	c cleaning 26998 clauses out of 54002 with flag 1204891/1788502
1452.19/839.25	c cleaning 28001 clauses out of 56003 with flag 1283794/1817501
1455.39/840.89	c And the winner is solver0
1497.80/883.37	c Got one! Elapsed wall clock time (in seconds):883.241
1497.80/883.37	o 6350
1498.59/883.86	c cleaning 16942 clauses out of 33896 with flag 2390/1823395
1504.51/887.28	c cleaning 11466 clauses out of 22954 with flag 17956/1829395
1508.91/889.47	c cleaning 9240 clauses out of 18487 with flag 34786/1836394
1513.51/891.73	c cleaning 8618 clauses out of 17248 with flag 53706/1844395
1519.52/894.75	c cleaning 8810 clauses out of 17629 with flag 81071/1853394
1527.12/898.56	c cleaning 9409 clauses out of 18819 with flag 109687/1863394
1534.51/902.22	c cleaning 10201 clauses out of 20411 with flag 138884/1874395
1543.51/906.76	c cleaning 11101 clauses out of 22210 with flag 172342/1886395
1553.71/911.89	c cleaning 12053 clauses out of 24111 with flag 208343/1899397
1564.31/917.18	c cleaning 13024 clauses out of 26055 with flag 248029/1913394
1575.57/922.77	c cleaning 14013 clauses out of 28031 with flag 289149/1928394
1589.37/929.67	c cleaning 15009 clauses out of 30020 with flag 329390/1944396
1603.97/936.96	c cleaning 15998 clauses out of 32010 with flag 372794/1961395
1617.36/943.60	c cleaning 17004 clauses out of 34011 with flag 425092/1979394
1630.76/950.30	c cleaning 17998 clauses out of 36008 with flag 475351/1998395
1644.17/957.04	c cleaning 19005 clauses out of 38009 with flag 529376/2018394
1657.96/963.99	c cleaning 19996 clauses out of 40007 with flag 595422/2039397
1675.17/972.55	c cleaning 21003 clauses out of 42010 with flag 657936/2061396
1692.35/981.15	c cleaning 21999 clauses out of 44005 with flag 722597/2084394
1710.75/990.31	c cleaning 23001 clauses out of 46006 with flag 791375/2108394
1727.54/998.80	c cleaning 24001 clauses out of 48005 with flag 866678/2133394
1751.27/1010.54	c cleaning 24999 clauses out of 50005 with flag 941130/2159395
1775.67/1022.76	c cleaning 26001 clauses out of 52005 with flag 1021307/2186394
1798.66/1034.28	c cleaning 26998 clauses out of 54004 with flag 1102534/2214394
1800.06/1034.90	c >>>>>>>>>> Solver number 0 (129 answers) <<<<<<<<<<<<<<<<<<
1800.06/1034.90	c starts		: 18318
1800.06/1034.90	c conflicts		: 2216087
1800.06/1034.90	c decisions		: 3610909
1800.06/1034.90	c propagations		: 185274990
1800.06/1034.90	c inspects		: 2894091475
1800.06/1034.90	c shortcuts		: 0
1800.06/1034.90	c learnt literals	: 0
1800.06/1034.90	c learnt binary clauses	: 0
1800.06/1034.90	c learnt ternary clauses	: 3244
1800.06/1034.90	c learnt constraints	: 2216087
1800.06/1034.90	c ignored constraints	: 0
1800.06/1034.90	c root simplifications	: 0
1800.06/1034.90	c removed literals (reason simplification)	: 519096506
1800.06/1034.90	c reason swapping (by a shorter reason)	: 0
1800.06/1034.90	c Calls to reduceDB	: 168
1800.06/1034.90	c Number of update (reduction) of LBD	: 20982
1800.06/1034.90	c Imported unit clauses	: 0
1800.06/1034.90	c number of reductions to clauses (during analyze)	: 0
1800.06/1034.90	c number of learned constraints concerned by reduction	: 0
1800.06/1034.90	c number of learning phase by resolution	: 0
1800.06/1034.90	c number of learning phase by cutting planes	: 0
1800.06/1034.90	c speed (assignments/second)	: 240768.21014767725
1800.06/1034.90	c non guided choices	376
1800.06/1034.91	c learnt constraints type 
1800.06/1034.91	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28699
1800.06/1034.91	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.06/1034.91	c starts		: 141
1800.06/1034.91	c conflicts		: 1758
1800.06/1034.91	c decisions		: 17364
1800.06/1034.91	c propagations		: 380744
1800.06/1034.91	c inspects		: 132373051
1800.06/1034.91	c shortcuts		: 0
1800.06/1034.91	c learnt literals	: 0
1800.06/1034.91	c learnt binary clauses	: 0
1800.06/1034.91	c learnt ternary clauses	: 0
1800.06/1034.91	c learnt constraints	: 1706
1800.06/1034.91	c ignored constraints	: 0
1800.06/1034.91	c root simplifications	: 0
1800.06/1034.91	c removed literals (reason simplification)	: 0
1800.06/1034.91	c reason swapping (by a shorter reason)	: 0
1800.06/1034.91	c Calls to reduceDB	: 0
1800.06/1034.91	c Number of update (reduction) of LBD	: 0
1800.06/1034.91	c Imported unit clauses	: 0
1800.06/1034.91	c number of reductions to clauses (during analyze)	: 0
1800.06/1034.91	c number of learned constraints concerned by reduction	: 0
1800.06/1034.91	c number of learning phase by resolution	: 0
1800.06/1034.91	c number of learning phase by cutting planes	: 0
1800.06/1034.91	c speed (assignments/second)	: 2512.5480905653403
1800.06/1034.91	c non guided choices	4
1800.06/1034.91	c learnt constraints type 
1800.06/1034.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1706
1800.06/1034.91	s SATISFIABLE
1800.06/1034.91	c Found 131 solution(s)
1800.06/1034.91	v x1 x2 x3 x4 -x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 -x26 -x27 x28 x29 x30 -x31 x32 x33 x34 x35 -x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 -x58 x59 x60 x61 x62 -x63 x64 -x65 x66 x67 x68 x69 -x70 -x71 x72 x73 x74 -x75 -x76 x77 x78 x79 x80 x81 x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 -x127 x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 x183 
1800.06/1034.92	c objective function=6350
1800.06/1034.92	c Total wall clock time (in seconds): 1034.789

Verifier Data 

OK	6350

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-4119309-1467252887/watcher-4119309-1467252887 -o /tmp/evaluation-result-4119309-1467252887/solver-4119309-1467252887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119309-1467252887.opb 

pid=7313
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.11 4.19 3.78 4/197 7316
/proc/meminfo: memFree=26197320/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/7316/stat : 7316 (java) R 7313 7316 5416 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 4319793 9515008 186 33554432000 1073741824 1073778376 140733450601216 140733450590280 251134045994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 5149 190 145 9 0 128 0

[startup+0.100095 s]
/proc/loadavg: 4.11 4.19 3.78 4/197 7316
/proc/meminfo: memFree=26197320/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 4427 0 1 0 8 1 0 0 20 0 18 0 4319793 9787879424 6044 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2389619 6044 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200288 s]
/proc/loadavg: 4.11 4.19 3.78 4/197 7316
/proc/meminfo: memFree=26197320/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 4569 0 1 0 20 1 0 0 20 0 18 0 4319793 9787879424 7187 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2389619 7187 2178 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300233 s]
/proc/loadavg: 4.11 4.19 3.78 4/197 7316
/proc/meminfo: memFree=26197320/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 5697 0 1 0 41 1 0 0 20 0 18 0 4319793 9787879424 8231 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2389619 8231 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476

[startup+0.700279 s]
/proc/loadavg: 4.11 4.19 3.78 4/197 7316
/proc/meminfo: memFree=26197320/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=1.25 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 11746 0 1 0 121 4 0 0 20 0 19 0 4319793 10060525568 15311 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 15311 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9824732

[startup+1.50071 s]
/proc/loadavg: 3.94 4.15 3.77 7/219 7341
/proc/meminfo: memFree=26133660/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 14898 0 1 0 232 7 0 0 20 0 20 0 4319793 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 20383 2269 9 0 2446860 0
[pid=7316/tid=7318] ppid=7313 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7313 7316 5416 0 -1 4202560 2433 0 1 0 43 1 0 0 20 0 20 0 4319794 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300569158520 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7319] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300547258920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7320] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300546206120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7321] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300545153320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7322] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300544100520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7323] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300206992424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7324] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300205939624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7325] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300204886824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4319796 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4319797 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4319797 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) R 7313 7316 5416 0 -1 4202560 4352 0 0 0 62 0 0 0 20 0 20 0 4319799 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300187425720 140300573275488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=0.6 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) R 7313 7316 5416 0 -1 4202560 6763 0 0 0 60 0 0 0 20 0 20 0 4319799 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300186372920 140300571295472 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7338] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7338/stat : 7338 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4319840 10060525568 20383 33554432000 1073741824 1073778376 140733450601216 140300180054824 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 9824732

[startup+3.10069 s]
/proc/loadavg: 3.94 4.15 3.77 3/216 7347
/proc/meminfo: memFree=26118472/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 14941 0 1 0 290 11 0 0 20 0 20 0 4319793 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 26536 2274 9 0 2446860 0
[pid=7316/tid=7318] ppid=7313 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7313 7316 5416 0 -1 4202560 2435 0 1 0 45 1 0 0 20 0 20 0 4319794 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300569158520 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7319] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300547258920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7320] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300546206120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7321] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300545153320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7322] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300544100520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7323] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300206992424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7324] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300205939624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7325] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300204886824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4319795 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4319796 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 4319797 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4319797 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=0.79 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) S 7313 7316 5416 0 -1 4202560 4356 0 0 0 79 0 0 0 20 0 20 0 4319799 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300187425720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7313 7316 5416 0 -1 4202560 6764 0 0 0 73 0 0 0 20 0 20 0 4319799 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300186372920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4319799 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7338] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7338/stat : 7338 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4319840 10060525568 26536 33554432000 1073741824 1073778376 140733450601216 140300180054824 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 9824732

[startup+6.3009 s]
/proc/loadavg: 3.94 4.15 3.77 3/216 7365
/proc/meminfo: memFree=26044236/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=5.31 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 15109 0 1 0 507 24 0 0 20 0 22 0 4319793 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 49568 2288 9 0 2446860 0
[pid=7316/tid=7318] ppid=7313 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7313 7316 5416 0 -1 4202560 2439 0 1 0 48 1 0 0 20 0 22 0 4319794 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300569158520 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7319] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7313 7316 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300547258920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7320] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7313 7316 5416 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300546206120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7321] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7313 7316 5416 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300545153320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7322] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7313 7316 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300544100520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7323] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7313 7316 5416 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300206992424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7324] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7313 7316 5416 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300205939624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7325] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7313 7316 5416 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300204886824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4319795 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4319796 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=0.88 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) S 7313 7316 5416 0 -1 4202560 4356 0 0 0 88 0 0 0 20 0 22 0 4319799 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300187425720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=0.95 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7313 7316 5416 0 -1 4202560 6775 0 0 0 95 0 0 0 20 0 22 0 4319799 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300186372920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7338] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7338/stat : 7338 (java) S 7313 7316 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4319840 10060525568 49568 33554432000 1073741824 1073778376 140733450601216 140300180054824 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 9824732


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

[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 1019 0 0 0 178 31 0 0 20 0 22 0 4319795 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 2641 0 0 0 464 8 0 0 20 0 22 0 4319796 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) S 7313 7316 5416 0 -1 4202560 4364 0 0 0 110 0 0 0 20 0 22 0 4319799 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300187425720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7313 7316 5416 0 -1 4202560 7318 0 0 0 136 2 0 0 20 0 22 0 4319799 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300186372920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 60 0 0 0 10 11 0 0 20 0 22 0 4319799 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7856] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7856/stat : 7856 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4346332 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300181108392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7893] ppid=7313 vsize=9824732 CPUtime=117.18 cores=0,2,4,6
/proc/7316/task/7893/stat : 7893 (java) R 7313 7316 5416 0 -1 4202560 5 0 0 0 11717 1 0 0 20 0 22 0 4408131 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300180045584 140300425899936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7894] ppid=7313 vsize=9824732 CPUtime=117.19 cores=0,2,4,6
/proc/7316/task/7894/stat : 7894 (java) R 7313 7316 5416 0 -1 4202560 2 0 0 0 11718 1 0 0 20 0 22 0 4408131 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300183210032 140300426107613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7895] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7895/stat : 7895 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4408131 10060525568 965777 33554432000 1073741824 1073778376 140733450601216 140300182161064 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1733.08
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1034.9 s]
/proc/loadavg: 3.95 3.84 3.81 5/219 7984
/proc/meminfo: memFree=24547764/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=1798.4 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 27910 0 1 0 179283 557 0 0 20 0 22 0 4319793 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 963585 2302 9 0 2446860 0
[pid=7316/tid=7318] ppid=7313 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7313 7316 5416 0 -1 4202560 2457 0 1 0 106 4 0 0 20 0 22 0 4319794 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300569158520 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7319] ppid=7313 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7313 7316 5416 0 -1 4202560 948 0 0 0 174 39 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300547258920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7320] ppid=7313 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7313 7316 5416 0 -1 4202560 1183 0 0 0 166 36 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300546206120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7321] ppid=7313 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7313 7316 5416 0 -1 4202560 590 0 0 0 143 26 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300545153320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7322] ppid=7313 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7313 7316 5416 0 -1 4202560 936 0 0 0 170 33 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300544100520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7323] ppid=7313 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7313 7316 5416 0 -1 4202560 789 0 0 0 172 29 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300206992424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7324] ppid=7313 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7313 7316 5416 0 -1 4202560 559 0 0 0 118 24 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300205939624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7325] ppid=7313 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7313 7316 5416 0 -1 4202560 999 0 0 0 156 31 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300204886824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 1022 0 0 0 181 31 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 2643 0 0 0 464 8 0 0 20 0 22 0 4319796 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) S 7313 7316 5416 0 -1 4202560 4364 0 0 0 110 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300187425720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7313 7316 5416 0 -1 4202560 7318 0 0 0 136 2 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300186372920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 62 0 0 0 11 11 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7856] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7856/stat : 7856 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4346332 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300181108392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7893] ppid=7313 vsize=9824732 CPUtime=149.62 cores=0,2,4,6
/proc/7316/task/7893/stat : 7893 (java) R 7313 7316 5416 0 -1 4202560 5 0 0 0 14960 2 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300180045584 140300425369538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7894] ppid=7313 vsize=9824732 CPUtime=149.64 cores=0,2,4,6
/proc/7316/task/7894/stat : 7894 (java) R 7313 7316 5416 0 -1 4202560 4 0 0 0 14962 2 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300183211184 140300426435180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7895] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7895/stat : 7895 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300182161064 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.4
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 7316 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1034.9 s]
/proc/loadavg: 3.95 3.84 3.81 5/219 7984
/proc/meminfo: memFree=24547764/32872528 swapFree=239532/272236
[pid=7316] ppid=7313 vsize=9824732 CPUtime=1798.4 cores=0,2,4,6
/proc/7316/stat : 7316 (java) S 7313 7316 5416 0 -1 4202496 27910 0 1 0 179283 557 0 0 20 0 22 0 4319793 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140733450592352 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7316/statm: 2456183 963585 2302 9 0 2446860 0
[pid=7316/tid=7318] ppid=7313 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/7316/task/7318/stat : 7318 (java) S 7313 7316 5416 0 -1 4202560 2457 0 1 0 106 4 0 0 20 0 22 0 4319794 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300569158520 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7319] ppid=7313 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/7316/task/7319/stat : 7319 (java) S 7313 7316 5416 0 -1 4202560 948 0 0 0 174 39 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300547258920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7320] ppid=7313 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/7316/task/7320/stat : 7320 (java) S 7313 7316 5416 0 -1 4202560 1183 0 0 0 166 36 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300546206120 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7321] ppid=7313 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/7316/task/7321/stat : 7321 (java) S 7313 7316 5416 0 -1 4202560 590 0 0 0 143 26 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300545153320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7322] ppid=7313 vsize=9824732 CPUtime=2.03 cores=0,2,4,6
/proc/7316/task/7322/stat : 7322 (java) S 7313 7316 5416 0 -1 4202560 936 0 0 0 170 33 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300544100520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7323] ppid=7313 vsize=9824732 CPUtime=2.01 cores=0,2,4,6
/proc/7316/task/7323/stat : 7323 (java) S 7313 7316 5416 0 -1 4202560 789 0 0 0 172 29 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300206992424 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7324] ppid=7313 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/7316/task/7324/stat : 7324 (java) S 7313 7316 5416 0 -1 4202560 559 0 0 0 118 24 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300205939624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7325] ppid=7313 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/7316/task/7325/stat : 7325 (java) S 7313 7316 5416 0 -1 4202560 999 0 0 0 156 31 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300204886824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7326] ppid=7313 vsize=9824732 CPUtime=2.12 cores=0,2,4,6
/proc/7316/task/7326/stat : 7326 (java) S 7313 7316 5416 0 -1 4202560 1022 0 0 0 181 31 0 0 20 0 22 0 4319795 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300203834024 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7327] ppid=7313 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/7316/task/7327/stat : 7327 (java) S 7313 7316 5416 0 -1 4202560 2643 0 0 0 464 8 0 0 20 0 22 0 4319796 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300191635944 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7328] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7328/stat : 7328 (java) S 7313 7316 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300190582008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7329] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7329/stat : 7329 (java) S 7313 7316 5416 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 22 0 4319797 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300189529096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7330] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7330/stat : 7330 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300188477584 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7316/tid=7331] ppid=7313 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/7316/task/7331/stat : 7331 (java) S 7313 7316 5416 0 -1 4202560 4364 0 0 0 110 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300187425720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7332] ppid=7313 vsize=9824732 CPUtime=1.38 cores=0,2,4,6
/proc/7316/task/7332/stat : 7332 (java) S 7313 7316 5416 0 -1 4202560 7318 0 0 0 136 2 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300186372920 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7333] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7333/stat : 7333 (java) S 7313 7316 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300185320312 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7334] ppid=7313 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/7316/task/7334/stat : 7334 (java) S 7313 7316 5416 0 -1 4202560 62 0 0 0 11 11 0 0 20 0 22 0 4319799 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300184267720 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7856] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7856/stat : 7856 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4346332 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300181108392 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7316/tid=7893] ppid=7313 vsize=9824732 CPUtime=149.62 cores=0,2,4,6
/proc/7316/task/7893/stat : 7893 (java) R 7313 7316 5416 0 -1 4202560 5 0 0 0 14960 2 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300180045584 140300425369538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7316/tid=7894] ppid=7313 vsize=9824732 CPUtime=149.64 cores=0,2,4,6
/proc/7316/task/7894/stat : 7894 (java) R 7313 7316 5416 0 -1 4202560 4 0 0 0 14962 2 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300183211184 140300426435180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=7316/tid=7895] ppid=7313 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/7316/task/7895/stat : 7895 (java) S 7313 7316 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4408131 10060525568 963585 33554432000 1073741824 1073778376 140733450601216 140300182161064 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7316 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=68564
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=772122
# CPU time returned by wait4() is 1797.84
# while last known CPU time is 1798.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1034.94
CPU time (s): 1800.06
CPU user time (s): 1794.64
CPU system time (s): 5.42
CPU usage (%): 173.929
Max. virtual memory (cumulated for all children) (KiB): 9825936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.07
system time used= 5.77212
maximum resident set size= 3879068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27953
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31727
involuntary context switches= 17350

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91395 second user time and 7.2339 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 04:14:47
IDJOB=4119309
IDBENCH=111698
IDSOLVER=2543
FILE ID=node107/4119309-1467252887
RUNJOBID= node107-1467248484-5592
PBS_JOBID= 20004476
Free space on /tmp= 71720 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-edgecross14-176.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119309-1467252887/watcher-4119309-1467252887 -o /tmp/evaluation-result-4119309-1467252887/solver-4119309-1467252887 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5592 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4119309-1467252887.opb

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

MD5SUM BENCH= 20bf5d251cbf9e1bfc60bd4febfc4e0a
RANDOM SEED=566746568

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.110
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.56
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		: 2667.110
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:        26198484 kB
Buffers:           97168 kB
Cached:           424148 kB
SwapCached:            0 kB
Active:          5227344 kB
Inactive:         430548 kB
Active(anon):    5138776 kB
Inactive(anon):      508 kB
Active(file):      88568 kB
Inactive(file):   430040 kB
Unevictable:      272236 kB
Mlocked:          239532 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               552 kB
Writeback:             0 kB
AnonPages:       5513128 kB
Mapped:            22300 kB
Shmem:               204 kB
Slab:             604540 kB
SReclaimable:      48588 kB
SUnreclaim:       555952 kB
KernelStack:        1688 kB
PageTables:        14716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6172124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5191680 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= 71720 MiB
End job on node107 at 2016-06-30 04:32:02