Trace number 4118728

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)767 1800.08 954.249

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb
MD5SUMa7d9543d8c07cdfb6b28ca0f9f48637d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark741
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1224
Total number of constraints2747
Number of constraints which are clauses1613
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1133
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 1221
Biggest coefficient in the objective function 1013
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3843
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1013
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3843
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4118728-1467235643.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.47/0.33	c ... done. Wall clock time 0.222s.
0.47/0.33	c declared #vars     1224
0.47/0.33	c #constraints  2748
0.47/0.33	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.33	c constraints type 
0.47/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1613
0.47/0.33	c org.sat4j.specs.Constr$1 => 1
0.47/0.33	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.47/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1133
0.47/0.33	c 2748 constraints processed.
0.47/0.33	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.33	c constraints type 
0.47/0.33	c org.sat4j.specs.Constr$1 => 1
0.47/0.33	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1613
0.47/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1133
0.47/0.33	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.47/0.33	c 2748 constraints processed.
0.47/0.33	c objective function length is 1221 literals
0.47/0.35	c And the winner is solver0
0.63/0.84	c SATISFIABLE
0.63/0.84	c OPTIMIZING...
0.63/0.84	c Got one! Elapsed wall clock time (in seconds):0.728
0.63/0.84	o 962
0.84/0.92	c And the winner is solver0
1.52/1.36	c Got one! Elapsed wall clock time (in seconds):1.25
1.52/1.36	o 958
1.67/1.41	c And the winner is solver0
1.84/1.86	c Got one! Elapsed wall clock time (in seconds):1.757
1.84/1.86	o 956
1.84/1.88	c And the winner is solver0
1.90/2.37	c Got one! Elapsed wall clock time (in seconds):2.264
1.90/2.37	o 955
1.99/2.41	c And the winner is solver0
2.08/2.88	c Got one! Elapsed wall clock time (in seconds):2.768
2.08/2.88	o 951
2.08/2.89	c And the winner is solver0
2.11/3.38	c Got one! Elapsed wall clock time (in seconds):3.271
2.11/3.38	o 948
2.11/3.38	c And the winner is solver0
2.14/3.88	c Got one! Elapsed wall clock time (in seconds):3.774
2.14/3.88	o 947
2.14/3.89	c And the winner is solver0
2.15/4.39	c Got one! Elapsed wall clock time (in seconds):4.277
2.15/4.39	o 946
2.15/4.39	c And the winner is solver0
2.18/4.89	c Got one! Elapsed wall clock time (in seconds):4.78
2.18/4.89	o 943
2.18/4.89	c And the winner is solver0
2.23/5.39	c Got one! Elapsed wall clock time (in seconds):5.283
2.23/5.39	o 942
2.24/5.40	c And the winner is solver0
2.24/5.89	c Got one! Elapsed wall clock time (in seconds):5.786
2.24/5.89	o 940
2.24/5.90	c And the winner is solver0
2.26/6.40	c Got one! Elapsed wall clock time (in seconds):6.288
2.26/6.40	o 938
2.27/6.43	c And the winner is solver0
2.37/6.90	c Got one! Elapsed wall clock time (in seconds):6.79
2.37/6.90	o 937
2.37/6.90	c And the winner is solver0
2.37/7.40	c Got one! Elapsed wall clock time (in seconds):7.292
2.37/7.40	o 936
2.37/7.40	c And the winner is solver0
2.37/7.90	c Got one! Elapsed wall clock time (in seconds):7.794
2.37/7.90	o 932
2.37/7.91	c And the winner is solver0
2.44/8.40	c Got one! Elapsed wall clock time (in seconds):8.296
2.44/8.40	o 929
2.44/8.41	c And the winner is solver0
2.44/8.91	c Got one! Elapsed wall clock time (in seconds):8.797
2.44/8.91	o 927
3.05/9.12	c And the winner is solver0
3.12/9.41	c Got one! Elapsed wall clock time (in seconds):9.3
3.12/9.41	o 922
3.12/9.42	c And the winner is solver0
3.15/9.91	c Got one! Elapsed wall clock time (in seconds):9.802
3.15/9.91	o 920
3.15/9.92	c And the winner is solver0
3.18/10.41	c Got one! Elapsed wall clock time (in seconds):10.304
3.18/10.41	o 915
4.47/11.06	c cleaning 2984 clauses out of 5969 with flag 8057/5969
4.83/11.11	c And the winner is solver0
5.05/11.41	c Got one! Elapsed wall clock time (in seconds):11.306
5.05/11.41	o 914
5.29/11.51	c And the winner is solver0
5.48/11.92	c Got one! Elapsed wall clock time (in seconds):11.808
5.48/11.92	o 912
5.48/11.95	c And the winner is solver0
5.58/12.42	c Got one! Elapsed wall clock time (in seconds):12.309
5.58/12.42	o 911
5.58/12.42	c And the winner is solver0
5.58/12.92	c Got one! Elapsed wall clock time (in seconds):12.811
5.58/12.92	o 904
5.96/13.19	c And the winner is solver0
6.21/13.42	c Got one! Elapsed wall clock time (in seconds):13.313
6.21/13.42	o 902
6.36/13.52	c And the winner is solver0
6.42/13.92	c Got one! Elapsed wall clock time (in seconds):13.815
6.42/13.92	o 900
6.42/13.93	c And the winner is solver0
6.42/14.42	c Got one! Elapsed wall clock time (in seconds):14.317
6.42/14.42	o 899
7.23/14.81	c And the winner is solver0
7.27/14.93	c Got one! Elapsed wall clock time (in seconds):14.818
7.27/14.93	o 897
7.81/15.27	c cleaning 5315 clauses out of 10629 with flag 4033/13613
8.86/15.70	c And the winner is solver0
8.88/15.93	c Got one! Elapsed wall clock time (in seconds):15.82
8.88/15.93	o 896
8.88/15.95	c And the winner is solver0
9.02/16.43	c Got one! Elapsed wall clock time (in seconds):16.322
9.02/16.43	o 893
9.02/16.44	c And the winner is solver0
9.02/16.93	c Got one! Elapsed wall clock time (in seconds):16.824
9.02/16.93	o 891
9.02/16.98	c And the winner is solver0
9.14/17.43	c Got one! Elapsed wall clock time (in seconds):17.326
9.14/17.43	o 890
9.14/17.44	c And the winner is solver0
9.15/17.94	c Got one! Elapsed wall clock time (in seconds):17.828
9.15/17.94	o 888
9.15/17.94	c And the winner is solver0
9.15/18.44	c Got one! Elapsed wall clock time (in seconds):18.33
9.15/18.44	o 886
9.69/18.75	c And the winner is solver0
9.81/18.94	c Got one! Elapsed wall clock time (in seconds):18.832
9.81/18.94	o 885
10.12/19.11	c cleaning 5786 clauses out of 11581 with flag 2034/19880
10.35/19.24	c And the winner is solver0
10.46/19.44	c Got one! Elapsed wall clock time (in seconds):19.334
10.46/19.44	o 884
10.96/19.80	c And the winner is solver0
11.20/19.94	c Got one! Elapsed wall clock time (in seconds):19.836
11.20/19.94	o 882
11.20/20.00	c And the winner is solver0
11.33/20.45	c Got one! Elapsed wall clock time (in seconds):20.339
11.33/20.45	o 880
11.33/20.46	c And the winner is solver0
11.38/20.95	c Got one! Elapsed wall clock time (in seconds):20.841
11.38/20.95	o 879
12.33/21.48	c cleaning 6173 clauses out of 12346 with flag 6058/26431
14.40/22.49	c cleaning 6084 clauses out of 12172 with flag 18129/32430
16.29/23.30	c And the winner is solver0
16.32/23.45	c Got one! Elapsed wall clock time (in seconds):23.343
16.32/23.45	o 878
16.61/23.63	c cleaning 5989 clauses out of 11987 with flag 2030/38329
16.81/23.76	c And the winner is solver0
16.97/23.95	c Got one! Elapsed wall clock time (in seconds):23.846
16.97/23.95	o 876
17.26/24.17	c And the winner is solver0
17.45/24.46	c Got one! Elapsed wall clock time (in seconds):24.348
17.45/24.46	o 875
17.78/24.63	c And the winner is solver0
17.92/24.96	c Got one! Elapsed wall clock time (in seconds):24.85
17.92/24.96	o 874
18.61/25.38	c And the winner is solver0
18.78/25.46	c Got one! Elapsed wall clock time (in seconds):25.352
18.78/25.46	o 873
19.46/25.81	c cleaning 6744 clauses out of 13493 with flag 4112/45824
19.46/25.81	c And the winner is solver0
19.53/25.96	c Got one! Elapsed wall clock time (in seconds):25.855
19.53/25.96	o 872
21.28/26.84	c cleaning 5888 clauses out of 11786 with flag 10191/50861
23.29/27.87	c cleaning 5941 clauses out of 11899 with flag 22276/56862
25.97/29.17	c cleaning 6470 clauses out of 12958 with flag 36363/63862
29.05/30.65	c cleaning 7239 clauses out of 14487 with flag 52411/71861
32.45/32.31	c cleaning 8119 clauses out of 16248 with flag 70702/80861
36.15/34.17	c cleaning 9058 clauses out of 18130 with flag 90885/90862
40.45/36.29	c cleaning 10026 clauses out of 20071 with flag 113109/101861
45.27/38.62	c cleaning 11013 clauses out of 22045 with flag 137350/113861
50.79/41.31	c cleaning 12008 clauses out of 24033 with flag 163806/126862
54.78/43.31	c And the winner is solver0
54.78/43.47	c Got one! Elapsed wall clock time (in seconds):43.36
54.78/43.47	o 869
57.17/44.65	c cleaning 13515 clauses out of 27047 with flag 10298/141884
59.57/45.86	c cleaning 9756 clauses out of 19531 with flag 22738/147883
61.57/46.87	c And the winner is solver0
61.74/46.97	c Got one! Elapsed wall clock time (in seconds):46.863
61.74/46.97	o 868
63.46/47.87	c cleaning 10101 clauses out of 20219 with flag 10142/158327
65.26/48.73	c And the winner is solver0
65.46/48.97	c Got one! Elapsed wall clock time (in seconds):48.866
65.46/48.97	o 867
65.70/49.14	c And the winner is solver0
65.92/49.48	c Got one! Elapsed wall clock time (in seconds):49.369
65.92/49.48	o 866
66.15/49.69	c cleaning 8419 clauses out of 16846 with flag 2134/165055
69.09/51.25	c cleaning 7206 clauses out of 14427 with flag 14232/171055
71.69/52.56	c cleaning 7103 clauses out of 14221 with flag 28272/178055
74.70/54.07	c cleaning 7550 clauses out of 15118 with flag 44351/186055
78.09/55.74	c cleaning 8281 clauses out of 16567 with flag 62418/195054
81.98/57.68	c cleaning 9137 clauses out of 18287 with flag 82611/205055
85.98/59.65	c cleaning 10071 clauses out of 20150 with flag 104883/216055
85.98/59.68	c And the winner is solver0
86.26/59.81	c Got one! Elapsed wall clock time (in seconds):59.707
86.26/59.81	o 865
87.22/60.33	c And the winner is solver0
87.44/60.82	c Got one! Elapsed wall clock time (in seconds):60.71
87.44/60.82	o 861
87.59/60.98	c And the winner is solver0
87.88/61.32	c Got one! Elapsed wall clock time (in seconds):61.213
87.88/61.32	o 860
88.23/61.51	c And the winner is solver0
88.40/61.83	c Got one! Elapsed wall clock time (in seconds):61.716
88.40/61.83	o 859
88.74/62.00	c cleaning 8287 clauses out of 16585 with flag 2050/222561
88.74/62.02	c And the winner is solver0
88.94/62.33	c Got one! Elapsed wall clock time (in seconds):62.219
88.94/62.33	o 858
88.94/62.35	c And the winner is solver0
89.02/62.83	c Got one! Elapsed wall clock time (in seconds):62.722
89.02/62.83	o 857
89.55/63.10	c And the winner is solver0
89.74/63.33	c Got one! Elapsed wall clock time (in seconds):63.226
89.74/63.33	o 853
91.06/64.02	c cleaning 7161 clauses out of 14336 with flag 8256/228599
93.17/65.09	c cleaning 6578 clauses out of 13174 with flag 20320/234598
95.76/66.31	c cleaning 6789 clauses out of 13596 with flag 34359/241598
98.56/67.73	c cleaning 7394 clauses out of 14806 with flag 50404/249597
99.96/68.47	c And the winner is solver0
100.26/68.84	c Got one! Elapsed wall clock time (in seconds):68.73
100.26/68.84	o 852
100.59/69.01	c cleaning 6422 clauses out of 12859 with flag 2045/255044
101.59/69.58	c And the winner is solver0
101.92/69.84	c Got one! Elapsed wall clock time (in seconds):69.734
101.92/69.84	o 851
102.03/69.95	c And the winner is solver0
102.22/70.34	c Got one! Elapsed wall clock time (in seconds):70.237
102.22/70.34	o 848
102.92/70.70	c cleaning 6312 clauses out of 12640 with flag 4164/261247
104.92/71.74	c cleaning 6154 clauses out of 12326 with flag 16195/267245
107.32/72.92	c cleaning 6580 clauses out of 13173 with flag 30294/274246
110.40/74.42	c cleaning 7288 clauses out of 14593 with flag 46468/282246
113.61/76.03	c cleaning 8146 clauses out of 16305 with flag 64696/291246
117.20/77.85	c cleaning 9072 clauses out of 18160 with flag 84743/301247
118.01/78.21	c And the winner is solver1
118.01/78.35	c Got one! Elapsed wall clock time (in seconds):78.242
118.01/78.35	o 845
118.10/78.43	c And the winner is solver0
118.23/78.85	c Got one! Elapsed wall clock time (in seconds):78.746
118.23/78.85	o 844
118.34/78.90	c And the winner is solver0
118.40/79.36	c Got one! Elapsed wall clock time (in seconds):79.249
118.40/79.36	o 837
118.47/79.42	c And the winner is solver0
118.60/79.86	c Got one! Elapsed wall clock time (in seconds):79.753
118.60/79.86	o 834
118.67/79.97	c And the winner is solver0
118.90/80.36	c Got one! Elapsed wall clock time (in seconds):80.256
118.90/80.36	o 832
118.90/80.40	c And the winner is solver0
119.01/80.87	c Got one! Elapsed wall clock time (in seconds):80.76
119.01/80.87	o 831
119.01/80.89	c And the winner is solver0
119.10/81.37	c Got one! Elapsed wall clock time (in seconds):81.263
119.10/81.37	o 827
119.16/81.41	c And the winner is solver0
119.22/81.87	c Got one! Elapsed wall clock time (in seconds):81.767
119.22/81.87	o 824
119.25/81.92	c And the winner is solver0
119.36/82.38	c Got one! Elapsed wall clock time (in seconds):82.27
119.36/82.38	o 823
119.39/82.43	c And the winner is solver0
119.51/82.88	c Got one! Elapsed wall clock time (in seconds):82.774
119.51/82.88	o 818
119.74/83.03	c And the winner is solver0
119.91/83.39	c Got one! Elapsed wall clock time (in seconds):83.277
119.91/83.39	o 817
120.13/83.54	c And the winner is solver0
120.35/83.89	c Got one! Elapsed wall clock time (in seconds):83.78
120.35/83.89	o 813
121.35/84.48	c cleaning 9028 clauses out of 18058 with flag 8349/310217
123.66/85.56	c cleaning 7517 clauses out of 15033 with flag 24940/316220
126.06/86.76	c cleaning 7256 clauses out of 14512 with flag 45170/323216
126.67/87.09	c And the winner is solver0
127.05/87.39	c Got one! Elapsed wall clock time (in seconds):87.285
127.05/87.39	o 811
128.65/88.24	c cleaning 6598 clauses out of 13196 with flag 11979/329156
130.85/89.31	c cleaning 6297 clauses out of 12597 with flag 30286/335155
133.25/90.57	c cleaning 6649 clauses out of 13300 with flag 51651/342155
136.25/92.08	c cleaning 7325 clauses out of 14652 with flag 78467/350156
138.65/93.22	c And the winner is solver0
139.06/93.47	c Got one! Elapsed wall clock time (in seconds):93.367
139.06/93.47	o 809
139.16/93.54	c And the winner is solver0
139.29/93.98	c Got one! Elapsed wall clock time (in seconds):93.87
139.29/93.98	o 803
141.32/95.02	c cleaning 9459 clauses out of 18922 with flag 16001/361751
143.72/96.22	c cleaning 7728 clauses out of 15463 with flag 34862/367751
146.32/97.51	c cleaning 7364 clauses out of 14735 with flag 55903/374751
149.12/98.99	c cleaning 7686 clauses out of 15373 with flag 80001/382753
150.12/99.47	c And the winner is solver0
150.48/99.74	c Got one! Elapsed wall clock time (in seconds):99.626
150.48/99.74	o 802
151.61/100.34	c cleaning 6672 clauses out of 13344 with flag 9600/388410
153.81/101.41	c cleaning 6337 clauses out of 12673 with flag 29134/394411
156.44/102.77	c cleaning 6666 clauses out of 13334 with flag 51468/401409
159.51/104.23	c cleaning 7336 clauses out of 14671 with flag 77441/409412
162.91/105.95	c cleaning 8165 clauses out of 16334 with flag 105907/418411
166.51/107.74	c And the winner is solver0
166.74/107.94	c Got one! Elapsed wall clock time (in seconds):107.831
166.74/107.94	o 801
169.05/109.16	c cleaning 11402 clauses out of 22806 with flag 15638/433048
171.45/110.35	c cleaning 8701 clauses out of 17404 with flag 35070/439048
174.94/112.33	c cleaning 7850 clauses out of 15702 with flag 56694/446047
177.93/113.81	c cleaning 7927 clauses out of 15855 with flag 81362/454050
180.13/114.95	c And the winner is solver0
180.57/115.39	c Got one! Elapsed wall clock time (in seconds):115.278
180.57/115.39	o 799
182.67/116.44	c cleaning 9711 clauses out of 19426 with flag 16396/465548
184.87/117.53	c cleaning 7855 clauses out of 15717 with flag 35494/471550
185.67/117.91	c And the winner is solver0
185.94/118.39	c Got one! Elapsed wall clock time (in seconds):118.282
185.94/118.39	o 798
186.97/118.99	c cleaning 6552 clauses out of 13104 with flag 10569/476792
189.16/120.09	c cleaning 6274 clauses out of 12553 with flag 29911/482793
191.75/121.33	c cleaning 6640 clauses out of 13279 with flag 51523/489793
192.35/121.63	c And the winner is solver0
192.68/121.94	c Got one! Elapsed wall clock time (in seconds):121.836
192.68/121.94	o 795
193.03/122.13	c And the winner is solver0
193.19/122.45	c Got one! Elapsed wall clock time (in seconds):122.34
193.19/122.45	o 793
194.70/123.25	c cleaning 6614 clauses out of 13232 with flag 12558/496386
196.90/124.31	c cleaning 6305 clauses out of 12618 with flag 31829/502386
199.30/125.55	c cleaning 6654 clauses out of 13312 with flag 53515/509385
202.08/126.99	c cleaning 7329 clauses out of 14658 with flag 78768/517385
205.90/128.82	c cleaning 8164 clauses out of 16331 with flag 106816/526387
209.48/130.69	c cleaning 9080 clauses out of 18165 with flag 137271/536385
213.88/132.81	c cleaning 10043 clauses out of 20085 with flag 169931/547385
218.54/135.19	c cleaning 11021 clauses out of 22043 with flag 205610/559386
223.74/137.79	c cleaning 12008 clauses out of 24021 with flag 242839/572385
229.54/140.66	c cleaning 13006 clauses out of 26013 with flag 282496/586385
236.25/143.98	c cleaning 14000 clauses out of 28008 with flag 322281/601386
243.46/147.55	c cleaning 15000 clauses out of 30008 with flag 363974/617386
251.78/151.64	c cleaning 16002 clauses out of 32007 with flag 407814/634385
254.18/152.82	c And the winner is solver0
254.18/152.96	c Got one! Elapsed wall clock time (in seconds):152.851
254.18/152.96	o 790
256.47/154.19	c cleaning 13334 clauses out of 26682 with flag 14320/645062
258.67/155.28	c cleaning 9673 clauses out of 19349 with flag 30259/651063
261.45/156.62	c cleaning 8336 clauses out of 16675 with flag 50749/658062
265.17/158.41	c cleaning 8163 clauses out of 16340 with flag 73664/666063
268.75/160.27	c cleaning 8586 clauses out of 17176 with flag 97476/675062
273.15/162.46	c cleaning 9292 clauses out of 18590 with flag 125870/685062
277.75/164.77	c cleaning 10143 clauses out of 20298 with flag 155213/696062
282.34/167.08	c cleaning 11074 clauses out of 22156 with flag 188892/708063
287.36/169.53	c cleaning 12041 clauses out of 24082 with flag 222420/721063
293.69/172.67	c cleaning 13018 clauses out of 26041 with flag 262364/735063
300.50/176.02	c cleaning 14009 clauses out of 28022 with flag 301087/750062
308.45/179.92	c cleaning 15006 clauses out of 30014 with flag 342849/766063
315.65/183.51	c cleaning 16004 clauses out of 32007 with flag 385249/783062
324.77/188.02	c cleaning 16998 clauses out of 34004 with flag 429563/801063
334.31/192.74	c cleaning 18002 clauses out of 36005 with flag 478501/820062
345.03/198.01	c cleaning 19000 clauses out of 38003 with flag 532621/840062
354.81/202.97	c cleaning 19996 clauses out of 40003 with flag 591928/861062
365.15/208.03	c cleaning 21004 clauses out of 42008 with flag 651947/883063
378.10/214.92	c cleaning 22001 clauses out of 44005 with flag 708380/906064
388.77/220.25	c cleaning 22991 clauses out of 46002 with flag 762616/930062
401.36/226.52	c cleaning 24006 clauses out of 48013 with flag 830206/955064
415.04/233.36	c cleaning 25002 clauses out of 50006 with flag 895860/981063
429.90/240.71	c cleaning 26001 clauses out of 52004 with flag 959566/1008063
444.43/247.99	c cleaning 26998 clauses out of 54002 with flag 1026999/1036062
454.79/253.09	c And the winner is solver0
455.19/253.52	c Got one! Elapsed wall clock time (in seconds):253.416
455.19/253.52	o 789
458.19/255.15	c cleaning 25898 clauses out of 51799 with flag 13422/1060857
460.60/256.40	c cleaning 15944 clauses out of 31900 with flag 28469/1066856
463.74/257.81	c cleaning 11474 clauses out of 22957 with flag 44986/1073857
466.54/259.23	c cleaning 9737 clauses out of 19483 with flag 66136/1081857
469.56/260.74	c cleaning 9364 clauses out of 18745 with flag 86625/1090856
473.54/262.72	c cleaning 9690 clauses out of 19383 with flag 109272/1100858
477.74/264.81	c cleaning 10342 clauses out of 20693 with flag 138831/1111858
482.54/267.28	c cleaning 11170 clauses out of 22349 with flag 171909/1123856
487.74/269.88	c cleaning 12087 clauses out of 24180 with flag 204161/1136857
493.54/272.78	c cleaning 13047 clauses out of 26093 with flag 239418/1150857
499.94/275.99	c cleaning 14014 clauses out of 28045 with flag 278307/1165856
500.94/276.42	c And the winner is solver0
501.40/276.94	c Got one! Elapsed wall clock time (in seconds):276.825
501.40/276.94	o 788
501.49/277.04	c And the winner is solver0
501.66/277.44	c Got one! Elapsed wall clock time (in seconds):277.33
501.66/277.44	o 787
502.98/278.18	c cleaning 9866 clauses out of 19745 with flag 8280/1171570
505.17/279.29	c cleaning 7932 clauses out of 15879 with flag 23794/1177570
507.79/280.56	c cleaning 7466 clauses out of 14947 with flag 41239/1184570
510.77/282.02	c cleaning 7739 clauses out of 15482 with flag 60606/1192571
514.58/283.82	c cleaning 8370 clauses out of 16742 with flag 82531/1201570
518.16/285.65	c cleaning 9185 clauses out of 18372 with flag 107961/1211570
522.36/287.73	c cleaning 10087 clauses out of 20188 with flag 134719/1222571
524.36/288.73	c And the winner is solver0
533.88/298.21	c Got one! Elapsed wall clock time (in seconds):298.106
533.88/298.21	o 785
536.02/299.34	c cleaning 10378 clauses out of 20756 with flag 13118/1233226
538.40/300.56	c cleaning 8188 clauses out of 16378 with flag 27956/1239226
541.00/301.89	c cleaning 7595 clauses out of 15192 with flag 44813/1246228
544.20/303.44	c cleaning 7796 clauses out of 15595 with flag 65431/1254226
547.40/305.01	c cleaning 8398 clauses out of 16799 with flag 89265/1263226
550.80/306.73	c cleaning 9201 clauses out of 18401 with flag 113848/1273226
554.80/308.70	c cleaning 10100 clauses out of 20201 with flag 137937/1284227
559.60/311.13	c cleaning 11048 clauses out of 22100 with flag 164974/1296226
565.00/313.82	c cleaning 12025 clauses out of 24052 with flag 194701/1309226
571.01/316.86	c cleaning 13012 clauses out of 26028 with flag 226419/1323227
577.81/320.26	c cleaning 14005 clauses out of 28017 with flag 260893/1338228
585.00/323.80	c cleaning 15004 clauses out of 30011 with flag 296855/1354227
592.00/327.38	c cleaning 16003 clauses out of 32006 with flag 335423/1371226
600.95/331.79	c cleaning 17002 clauses out of 34004 with flag 378800/1389227
609.54/336.09	c cleaning 17995 clauses out of 36001 with flag 424550/1408226
617.94/340.21	c cleaning 18997 clauses out of 38006 with flag 473333/1428226
626.94/344.77	c cleaning 20003 clauses out of 40010 with flag 523426/1449227
636.54/349.57	c cleaning 21001 clauses out of 42007 with flag 573606/1471227
647.73/355.12	c cleaning 21999 clauses out of 44006 with flag 632915/1494227
659.14/360.84	c cleaning 22994 clauses out of 46006 with flag 691104/1518226
671.76/367.02	c cleaning 24000 clauses out of 48013 with flag 749069/1543227
684.56/373.40	c cleaning 25001 clauses out of 50013 with flag 808894/1569227
698.76/380.59	c cleaning 26004 clauses out of 52011 with flag 873269/1596226
713.95/388.15	c cleaning 26998 clauses out of 54009 with flag 938924/1624228
730.15/396.23	c cleaning 28000 clauses out of 56010 with flag 1004958/1653227
746.20/404.11	c cleaning 29001 clauses out of 58010 with flag 1076037/1683227
762.01/412.03	c cleaning 30000 clauses out of 60008 with flag 1148910/1714226
766.21/414.17	c And the winner is solver0
767.20/415.34	c Got one! Elapsed wall clock time (in seconds):415.233
767.20/415.34	o 782
770.72/417.05	c cleaning 22319 clauses out of 44655 with flag 12104/1728873
773.48/418.40	c cleaning 14162 clauses out of 28335 with flag 26674/1734872
776.48/419.90	c cleaning 10582 clauses out of 21172 with flag 43624/1741871
779.49/421.43	c cleaning 9292 clauses out of 18590 with flag 62879/1749871
782.68/423.00	c cleaning 9145 clauses out of 18298 with flag 83527/1758871
786.27/424.80	c cleaning 9572 clauses out of 19153 with flag 108642/1768871
790.49/426.93	c cleaning 10288 clauses out of 20581 with flag 136096/1779871
795.23/429.29	c cleaning 11144 clauses out of 22293 with flag 165749/1791871
800.63/431.96	c cleaning 12074 clauses out of 24149 with flag 195216/1804871
806.43/434.86	c cleaning 13039 clauses out of 26077 with flag 225318/1818873
812.83/438.09	c cleaning 14017 clauses out of 28037 with flag 257391/1833872
819.82/441.59	c cleaning 15009 clauses out of 30022 with flag 298770/1849874
827.22/445.24	c cleaning 15997 clauses out of 32010 with flag 340197/1866871
835.02/449.11	c cleaning 17004 clauses out of 34014 with flag 385562/1884872
843.23/453.28	c cleaning 18004 clauses out of 36011 with flag 432523/1903873
852.23/457.79	c cleaning 19001 clauses out of 38007 with flag 482145/1923873
862.22/462.72	c cleaning 20002 clauses out of 40005 with flag 533041/1944872
871.97/467.58	c cleaning 20994 clauses out of 42002 with flag 585007/1966871
882.16/472.67	c cleaning 22001 clauses out of 44010 with flag 639412/1989873
892.75/477.97	c cleaning 23003 clauses out of 46007 with flag 694441/2013871
904.35/483.78	c cleaning 24002 clauses out of 48004 with flag 752362/2038871
917.15/490.11	c cleaning 24995 clauses out of 50002 with flag 811055/2064871
928.35/495.79	c And the winner is solver0
956.96/524.47	c Got one! Elapsed wall clock time (in seconds):524.36
956.96/524.47	o 780
960.15/526.12	c cleaning 27208 clauses out of 54417 with flag 13115/2094281
962.75/527.43	c cleaning 16597 clauses out of 33209 with flag 27446/2100281
965.75/528.99	c cleaning 11794 clauses out of 23612 with flag 45517/2107281
969.35/530.77	c cleaning 9902 clauses out of 19817 with flag 65066/2115280
973.11/532.59	c cleaning 9445 clauses out of 18915 with flag 84914/2124280
976.90/534.43	c cleaning 9728 clauses out of 19470 with flag 106234/2134280
981.50/536.79	c cleaning 10371 clauses out of 20742 with flag 133601/2145280
986.50/539.21	c cleaning 11180 clauses out of 22373 with flag 162749/2157282
991.30/541.69	c cleaning 12094 clauses out of 24191 with flag 193376/2170280
997.11/544.55	c cleaning 13050 clauses out of 26099 with flag 225994/2184282
1003.50/547.79	c cleaning 14020 clauses out of 28048 with flag 260931/2199281
1010.89/551.44	c cleaning 15013 clauses out of 30028 with flag 300561/2215281
1018.50/555.22	c cleaning 16005 clauses out of 32015 with flag 341431/2232281
1025.91/559.00	c cleaning 17002 clauses out of 34009 with flag 383957/2250280
1034.09/563.00	c cleaning 18004 clauses out of 36007 with flag 428086/2269280
1042.50/567.20	c cleaning 19002 clauses out of 38004 with flag 473686/2289281
1052.12/572.04	c cleaning 19995 clauses out of 40001 with flag 524928/2310280
1062.30/577.13	c cleaning 20999 clauses out of 42008 with flag 573986/2332282
1072.30/582.16	c cleaning 22002 clauses out of 44007 with flag 626870/2355280
1082.30/587.12	c cleaning 22998 clauses out of 46005 with flag 682071/2379280
1094.70/593.31	c cleaning 24001 clauses out of 48008 with flag 738629/2404281
1108.50/600.23	c cleaning 25004 clauses out of 50009 with flag 796401/2430283
1122.09/607.08	c cleaning 25994 clauses out of 52002 with flag 856780/2457280
1135.49/613.74	c cleaning 27000 clauses out of 54008 with flag 920461/2485280
1150.50/621.25	c cleaning 27998 clauses out of 56009 with flag 988840/2514281
1151.90/621.98	c And the winner is solver0
1158.71/628.57	c Got one! Elapsed wall clock time (in seconds):628.466
1158.71/628.57	o 778
1159.93/629.21	c cleaning 16795 clauses out of 33598 with flag 4894/2519868
1162.13/630.38	c cleaning 11390 clauses out of 22801 with flag 19574/2525866
1164.71/631.63	c cleaning 9201 clauses out of 18412 with flag 36240/2532867
1167.51/633.05	c cleaning 8601 clauses out of 17210 with flag 54837/2540866
1170.71/634.63	c cleaning 8799 clauses out of 17610 with flag 75383/2549867
1174.11/636.37	c cleaning 9400 clauses out of 18810 with flag 98741/2559866
1178.11/638.34	c cleaning 10205 clauses out of 20411 with flag 123797/2570867
1182.91/640.77	c cleaning 11101 clauses out of 22206 with flag 152046/2582867
1188.31/643.48	c cleaning 12047 clauses out of 24104 with flag 184046/2595866
1194.51/646.51	c cleaning 13029 clauses out of 26057 with flag 217955/2609866
1201.50/650.00	c cleaning 14015 clauses out of 28029 with flag 254265/2624867
1207.70/653.13	c cleaning 15004 clauses out of 30015 with flag 292278/2640868
1214.70/656.65	c cleaning 16004 clauses out of 32010 with flag 334732/2657867
1222.50/660.55	c cleaning 16998 clauses out of 34006 with flag 377728/2675867
1231.50/665.05	c cleaning 18005 clauses out of 36009 with flag 422006/2694868
1241.10/669.90	c cleaning 18995 clauses out of 38003 with flag 469014/2714867
1250.11/674.38	c cleaning 20002 clauses out of 40007 with flag 519150/2735866
1260.69/679.66	c cleaning 21000 clauses out of 42006 with flag 571382/2757867
1271.89/685.17	c cleaning 22004 clauses out of 44008 with flag 622893/2780869
1282.49/690.44	c cleaning 22994 clauses out of 46001 with flag 674320/2804866
1294.09/696.30	c cleaning 23998 clauses out of 48007 with flag 729556/2829866
1306.89/702.66	c cleaning 25002 clauses out of 50009 with flag 790432/2855866
1318.70/708.58	c cleaning 26000 clauses out of 52007 with flag 850820/2882866
1331.28/714.84	c cleaning 27003 clauses out of 54007 with flag 912911/2910866
1344.48/721.46	c cleaning 27993 clauses out of 56004 with flag 977899/2939866
1360.08/729.20	c cleaning 29003 clauses out of 58011 with flag 1049387/2969866
1374.88/736.64	c cleaning 30002 clauses out of 60009 with flag 1122474/3000867
1391.88/745.17	c cleaning 30997 clauses out of 62006 with flag 1197074/3032866
1408.69/753.59	c cleaning 32005 clauses out of 64009 with flag 1269873/3065866
1426.74/762.43	c cleaning 33002 clauses out of 66004 with flag 1343068/3099866
1445.12/771.69	c cleaning 33998 clauses out of 68002 with flag 1418311/3134866
1465.32/781.71	c cleaning 34996 clauses out of 70004 with flag 1496217/3170866
1486.13/792.18	c cleaning 35998 clauses out of 72008 with flag 1576757/3207866
1508.12/803.15	c cleaning 37005 clauses out of 74011 with flag 1660054/3245867
1532.18/815.84	c cleaning 38000 clauses out of 76005 with flag 1746558/3284866
1553.97/826.74	c cleaning 39000 clauses out of 78008 with flag 1836565/3324869
1577.38/838.44	c cleaning 40000 clauses out of 80005 with flag 1929548/3365866
1603.59/851.56	c cleaning 41000 clauses out of 82006 with flag 2027432/3407867
1627.46/863.48	c cleaning 41999 clauses out of 84007 with flag 2127836/3450868
1645.27/872.34	c And the winner is solver0
1645.96/873.20	c Got one! Elapsed wall clock time (in seconds):873.094
1645.96/873.20	o 775
1650.84/875.68	c cleaning 39943 clauses out of 79889 with flag 13245/3488749
1654.42/877.47	c cleaning 22969 clauses out of 45945 with flag 29355/3494748
1657.82/879.15	c cleaning 14989 clauses out of 29977 with flag 47958/3501749
1661.42/880.95	c cleaning 11491 clauses out of 22987 with flag 68028/3509748
1665.22/882.84	c cleaning 10247 clauses out of 20496 with flag 90360/3518748
1669.42/884.99	c cleaning 10124 clauses out of 20251 with flag 115149/3528750
1674.22/887.30	c cleaning 10553 clauses out of 21126 with flag 142640/3539749
1678.81/889.64	c cleaning 11282 clauses out of 22572 with flag 171833/3551748
1684.21/892.37	c cleaning 12143 clauses out of 24291 with flag 201754/3564749
1690.62/895.55	c cleaning 13072 clauses out of 26147 with flag 235545/3578748
1698.10/899.28	c cleaning 14032 clauses out of 28075 with flag 270690/3593748
1705.70/903.07	c cleaning 15019 clauses out of 30043 with flag 308933/3609748
1713.41/906.82	c cleaning 16010 clauses out of 32026 with flag 349616/3626750
1721.01/910.62	c cleaning 17002 clauses out of 34014 with flag 389805/3644748
1729.92/915.03	c cleaning 18007 clauses out of 36013 with flag 431052/3663749
1734.52/917.39	c And the winner is solver0
1741.70/924.57	c Got one! Elapsed wall clock time (in seconds):924.463
1741.70/924.57	o 768
1744.50/926.00	c cleaning 17416 clauses out of 34842 with flag 11559/3680585
1747.23/927.34	c cleaning 11707 clauses out of 23425 with flag 24513/3686584
1749.81/928.66	c cleaning 9354 clauses out of 18719 with flag 40663/3693585
1750.81/929.12	c And the winner is solver0
1751.99/930.31	c Got one! Elapsed wall clock time (in seconds):930.198
1751.99/930.31	o 767
1753.17/930.94	c cleaning 7465 clauses out of 14939 with flag 7395/3699159
1755.37/932.07	c cleaning 6731 clauses out of 13474 with flag 21417/3705159
1758.17/933.40	c cleaning 6868 clauses out of 13742 with flag 36797/3712158
1761.17/934.91	c cleaning 7436 clauses out of 14874 with flag 54126/3720158
1764.57/936.66	c cleaning 8215 clauses out of 16438 with flag 73451/3729158
1768.88/938.70	c cleaning 9111 clauses out of 18223 with flag 96161/3739158
1773.28/940.99	c cleaning 10057 clauses out of 20113 with flag 121263/3750159
1778.28/943.42	c cleaning 11025 clauses out of 22055 with flag 148292/3762158
1783.69/946.12	c cleaning 12014 clauses out of 24031 with flag 177805/3775159
1788.88/948.72	c cleaning 13006 clauses out of 26017 with flag 210320/3789159
1795.09/951.84	c cleaning 14004 clauses out of 28010 with flag 246068/3804158
1800.02/954.20	c >>>>>>>>>> Solver number 0 (90 answers) <<<<<<<<<<<<<<<<<<
1800.02/954.20	c starts		: 9010
1800.02/954.20	c conflicts		: 3814943
1800.02/954.20	c decisions		: 4269441
1800.02/954.20	c propagations		: 224928941
1800.02/954.20	c inspects		: 5882241865
1800.02/954.20	c shortcuts		: 0
1800.02/954.20	c learnt literals	: 0
1800.02/954.20	c learnt binary clauses	: 0
1800.02/954.20	c learnt ternary clauses	: 2134
1800.02/954.20	c learnt constraints	: 3814943
1800.02/954.20	c ignored constraints	: 0
1800.02/954.20	c root simplifications	: 0
1800.02/954.20	c removed literals (reason simplification)	: 441902281
1800.02/954.20	c reason swapping (by a shorter reason)	: 0
1800.02/954.20	c Calls to reduceDB	: 260
1800.02/954.20	c Number of update (reduction) of LBD	: 13641
1800.02/954.20	c Imported unit clauses	: 0
1800.02/954.20	c number of reductions to clauses (during analyze)	: 0
1800.02/954.20	c number of learned constraints concerned by reduction	: 0
1800.02/954.20	c number of learning phase by resolution	: 0
1800.02/954.20	c number of learning phase by cutting planes	: 0
1800.02/954.20	c speed (assignments/second)	: 256811.8789611475
1800.02/954.20	c non guided choices	1
1800.02/954.21	c learnt constraints type 
1800.02/954.21	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 24791
1800.02/954.21	c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<<
1800.02/954.21	c starts		: 111
1800.02/954.21	c conflicts		: 3483
1800.02/954.21	c decisions		: 9206
1800.02/954.21	c propagations		: 321977
1800.02/954.21	c inspects		: 212925571
1800.02/954.21	c shortcuts		: 0
1800.02/954.21	c learnt literals	: 0
1800.02/954.21	c learnt binary clauses	: 0
1800.02/954.21	c learnt ternary clauses	: 0
1800.02/954.21	c learnt constraints	: 3436
1800.02/954.21	c ignored constraints	: 0
1800.02/954.21	c root simplifications	: 0
1800.02/954.21	c removed literals (reason simplification)	: 0
1800.02/954.21	c reason swapping (by a shorter reason)	: 0
1800.02/954.21	c Calls to reduceDB	: 0
1800.02/954.21	c Number of update (reduction) of LBD	: 0
1800.02/954.21	c Imported unit clauses	: 0
1800.02/954.21	c number of reductions to clauses (during analyze)	: 0
1800.02/954.21	c number of learned constraints concerned by reduction	: 0
1800.02/954.21	c number of learning phase by resolution	: 0
1800.02/954.21	c number of learning phase by cutting planes	: 0
1800.02/954.21	c speed (assignments/second)	: 13470.713747803531
1800.02/954.21	c non guided choices	0
1800.02/954.22	c learnt constraints type 
1800.02/954.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3436
1800.02/954.22	s SATISFIABLE
1800.02/954.22	c Found 91 solution(s)
1800.02/954.22	v x1 x2 -x3 x4 x5 x6 x7 x8 x9 x10 x11 -x12 -x13 x14 x15 x16 x17 x18 -x19 x20 -x21 -x22 x23 x24 -x25 x26 -x27 -x28 x29 x30 x31 x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 x41 x42 x43 x44 x45 x46 -x47 x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 -x74 -x75 -x76 x77 x78 x79 x80 x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 x105 -x106 x107 x108 x109 x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 -x134 x135 x136 x137 x138 x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 x180 -x181 -x182 x183 x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 x196 x197 x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 x220 x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 x242 -x243 -x244 x245 x246 x247 x248 x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 x258 -x259 x260 -x261 x262 x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 x277 x278 -x279 -x280 x281 x282 x283 -x284 x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 x302 x303 -x304 x305 x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 x316 x317 x318 x319 -x320 -x321 -x322 -x323 -x324 x325 x326 x327 -x328 x329 -x330 -x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 x345 -x346 -x347 x348 x349 x350 x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 x402 x403 x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 x417 x418 x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 -x430 x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 x440 x441 -x442 -x443 x444 x445 -x446 x447 -x448 x449 -x450 x451 -x452 x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466 -x467 x468 x469 x470 x471 -x472 -x473 -x474 -x475 -x476 x477 x478 x479 -x480 x481 -x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 x500 x501 x502 x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 x512 x513 x514 -x515 x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 x528 -x529 -x530 x531 x532 x533 x534 x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 -x561 x562 -x563 x564 -x565 x566 -x567 -x568 x569 x570 x571 -x572 -x573 x574 x575 x576 x577 x578 x579 x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 x640 x641 x642 x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 x656 x657 x658 x659 x660 x661 -x662 -x663 -x664 -x665 -x666 x667 x668 -x669 x670 -x671 x672 -x673 x674 -x675 -x676 x677 -x678 x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 -x718 x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 x794 x795 x796 x797 x798 -x799 -x800 x801 -x802 x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 x818 x819 x820 x821 x822 -x823 -x824 -x825 -x826 -x827 x828 x829 x830 x831 x832 x833 x834 -x835 -x836 -x837 -x838 -x839 x840 x841 -x842 x843 x844 x845 x846 x847 x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 -x861 x862 -x863 x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875 -x876 x877 x878 x879 x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 x913 -x914 x915 -x916 x917 -x918 x919 -x920 x921 -x922 x923 -x924 -x925 -x926 x927 x928 x929 x930 x931 x932 -x933 -x934 -x935 -x936 -x937 x938 x939 x940 x941 x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 x953 x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 -x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 x1100 x1101 -x1102 -x1103 x1104 x1105 x1106 x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 x1115 x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 x1143 -x1144 x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 -x1162 -x1163 -x1164 x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 -x1195 -x1196 -x1197 x1198 x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 x1217 x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 
1800.02/954.22	c objective function=767
1800.02/954.22	c Total wall clock time (in seconds): 954.112

Verifier Data 

OK	767

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-4118728-1467235643/watcher-4118728-1467235643 -o /tmp/evaluation-result-4118728-1467235643/solver-4118728-1467235643 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9716 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118728-1467235643.opb 

pid=10664
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.69 4.23 3.88 5/197 10667
/proc/meminfo: memFree=28502156/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 1327 0 0 0 0 0 0 0 20 0 2 0 4519174 98635776 959 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 24081 961 729 9 0 16771 0
[pid=10667/tid=10668] ppid=10664 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) D 10664 10667 6338 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 2 0 4519174 98570240 974 33554432000 1073741824 1073778376 140737136854512 140464249239752 229355896501 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0

[startup+0.100114 s]
/proc/loadavg: 3.69 4.23 3.88 5/197 10667
/proc/meminfo: memFree=28502156/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 4457 0 1 0 10 1 0 0 20 0 18 0 4519174 9787879424 6098 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2389619 6098 2155 9 0 2380296 0
[pid=10667/tid=10668] ppid=10664 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) R 10664 10667 6338 0 -1 4202560 2389 0 1 0 7 0 0 0 20 0 18 0 4519174 9787879424 6098 33554432000 1073741824 1073778376 140737136854512 140464249248672 229359281421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.20028 s]
/proc/loadavg: 3.69 4.23 3.88 5/197 10667
/proc/meminfo: memFree=28502156/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 5008 0 1 0 27 1 0 0 20 0 18 0 4519174 9787879424 7061 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2389619 7062 2218 9 0 2380296 0
[pid=10667/tid=10668] ppid=10664 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) R 10664 10667 6338 0 -1 4202560 2405 0 1 0 17 0 0 0 20 0 18 0 4519174 9787879424 7062 33554432000 1073741824 1073778376 140737136854512 140464249248672 140464103700979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300289 s]
/proc/loadavg: 3.69 4.23 3.88 5/197 10667
/proc/meminfo: memFree=28502156/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 5809 0 1 0 46 1 0 0 20 0 18 0 4519174 9787879424 8919 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2389619 8919 2232 9 0 2380296 0
[pid=10667/tid=10668] ppid=10664 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) R 10664 10667 6338 0 -1 4202560 2411 0 1 0 27 0 0 0 20 0 18 0 4519174 9787879424 8919 33554432000 1073741824 1073778376 140737136854512 140464249248672 229359270968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.7003 s]
/proc/loadavg: 3.69 4.23 3.88 5/197 10667
/proc/meminfo: memFree=28502156/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 6106 0 1 0 59 4 0 0 20 0 19 0 4519174 10060525568 11035 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 11035 2250 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2425 0 1 0 30 1 0 0 20 0 19 0 4519174 10060525568 11035 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 3.69 4.23 3.88 4/213 10692
/proc/meminfo: memFree=28418704/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 17470 0 1 0 175 9 0 0 20 0 19 0 4519174 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 19795 2258 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2426 0 1 0 33 1 0 0 20 0 19 0 4519174 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/10667/task/10682/stat : 10682 (java) S 10664 10667 6338 0 -1 4202560 6368 0 0 0 51 1 0 0 20 0 19 0 4519179 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463732779064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10683] ppid=10664 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/10667/task/10683/stat : 10683 (java) S 10664 10667 6338 0 -1 4202560 7318 0 0 0 57 1 0 0 20 0 19 0 4519179 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463731726520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10684] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10684/stat : 10684 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463730674168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10685] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10685/stat : 10685 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463729621832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10688] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10688/stat : 10688 (java) S 10664 10667 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4519208 10060525568 19795 33554432000 1073741824 1073778376 140737136854512 140463726364200 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 3.69 4.23 3.88 2/213 10707
/proc/meminfo: memFree=28396488/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 17503 0 1 0 200 11 0 0 20 0 19 0 4519174 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 24407 2262 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2427 0 1 0 34 1 0 0 20 0 19 0 4519174 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/10667/task/10682/stat : 10682 (java) S 10664 10667 6338 0 -1 4202560 6368 0 0 0 59 1 0 0 20 0 19 0 4519179 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463732779064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10683] ppid=10664 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/10667/task/10683/stat : 10683 (java) S 10664 10667 6338 0 -1 4202560 7322 0 0 0 65 2 0 0 20 0 19 0 4519179 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463731726520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10684] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10684/stat : 10684 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463730674168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10685] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10685/stat : 10685 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463729621832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10688] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10688/stat : 10688 (java) S 10664 10667 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4519208 10060525568 24407 33554432000 1073741824 1073778376 140737136854512 140463726364200 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=26 pid=1817 uid=0 cmd=

[startup+6.30078 s]
/proc/loadavg: 3.39 4.16 3.86 1/213 10746
/proc/meminfo: memFree=28310464/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=2.26 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 17590 0 1 0 214 12 0 0 20 0 19 0 4519174 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 32331 2268 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2431 0 1 0 36 1 0 0 20 0 19 0 4519174 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4519175 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4519176 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4519179 10060525568 32331 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=0.68 cores=1,3,5,7

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

/proc/10667/statm: 2456183 890472 2294 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2445 0 1 0 59 4 0 0 20 0 22 0 4519174 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 758 0 0 0 151 21 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 544 0 0 0 146 22 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 779 0 0 0 152 24 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 754 0 0 0 151 20 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 806 0 0 0 168 23 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=1.82 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 762 0 0 0 157 25 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 655 0 0 0 162 24 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 473 0 0 0 163 20 0 0 20 0 22 0 4519175 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 2407 0 0 0 363 12 0 0 20 0 22 0 4519176 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10667/task/10682/stat : 10682 (java) S 10664 10667 6338 0 -1 4202560 8525 0 0 0 122 1 0 0 20 0 22 0 4519179 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463732779064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10683] ppid=10664 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/10667/task/10683/stat : 10683 (java) S 10664 10667 6338 0 -1 4202560 10710 0 0 0 146 2 0 0 20 0 22 0 4519179 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463731726520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10684] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10684/stat : 10684 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463730674168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10685] ppid=10664 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/10667/task/10685/stat : 10685 (java) S 10664 10667 6338 0 -1 4202560 54 0 0 0 8 15 0 0 20 0 22 0 4519179 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463729621832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=11056] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/11056/stat : 11056 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4527009 10060525568 890472 33554432000 1073741824 1073778376 140737136854512 140463727416488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1739.76
Current children cumulated vsize (KiB) 9824732
#
############


[startup+942.301 s]
/proc/loadavg: 3.68 4.04 3.95 5/219 11421
/proc/meminfo: memFree=24860636/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=1774.14 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 33087 0 1 0 177023 391 0 0 20 0 22 0 4519174 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 890572 2294 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.63 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2446 0 1 0 59 4 0 0 20 0 22 0 4519174 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 768 0 0 0 159 21 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 550 0 0 0 150 22 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 795 0 0 0 157 24 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 764 0 0 0 163 20 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 821 0 0 0 176 23 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=1.85 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 782 0 0 0 160 25 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 673 0 0 0 166 24 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 476 0 0 0 166 20 0 0 20 0 22 0 4519175 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 2421 0 0 0 363 12 0 0 20 0 22 0 4519176 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10667/task/10682/stat : 10682 (java) S 10664 10667 6338 0 -1 4202560 8525 0 0 0 122 1 0 0 20 0 22 0 4519179 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463732779064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10683] ppid=10664 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/10667/task/10683/stat : 10683 (java) S 10664 10667 6338 0 -1 4202560 10710 0 0 0 146 2 0 0 20 0 22 0 4519179 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463731726520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10684] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10684/stat : 10684 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463730674168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10685] ppid=10664 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/10667/task/10685/stat : 10685 (java) S 10664 10667 6338 0 -1 4202560 56 0 0 0 8 15 0 0 20 0 22 0 4519179 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463729621832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=11056] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/11056/stat : 11056 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4527009 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463727416488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=11356] ppid=10664 vsize=9824732 CPUtime=11.87 cores=1,3,5,7
/proc/10667/task/11356/stat : 11356 (java) R 10664 10667 6338 0 -1 4202560 2 0 0 0 1187 0 0 0 20 0 22 0 4612205 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463728460144 140464104372428 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=11357] ppid=10664 vsize=9824732 CPUtime=11.87 cores=1,3,5,7
/proc/10667/task/11357/stat : 11357 (java) R 10664 10667 6338 0 -1 4202560 3 0 0 0 1187 0 0 0 20 0 22 0 4612205 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463725309400 140464105011649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=11358] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/11358/stat : 11358 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4612205 10060525568 890572 33554432000 1073741824 1073778376 140737136854512 140463726363432 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1774.14
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+954.201 s]
/proc/loadavg: 3.69 4.02 3.94 6/219 11463
/proc/meminfo: memFree=24605464/32872528 swapFree=1370068/1517236
[pid=10667] ppid=10664 vsize=9824732 CPUtime=1798.08 cores=1,3,5,7
/proc/10667/stat : 10667 (java) S 10664 10667 6338 0 -1 4202496 33141 0 1 0 179416 392 0 0 20 0 22 0 4519174 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140737136845648 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10667/statm: 2456183 890610 2294 9 0 2446860 0
[pid=10667/tid=10668] ppid=10664 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/10667/task/10668/stat : 10668 (java) S 10664 10667 6338 0 -1 4202560 2446 0 1 0 60 4 0 0 20 0 22 0 4519174 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464249250680 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10670] ppid=10664 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/10667/task/10670/stat : 10670 (java) S 10664 10667 6338 0 -1 4202560 774 0 0 0 160 21 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464092654248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10671] ppid=10664 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/10667/task/10671/stat : 10671 (java) S 10664 10667 6338 0 -1 4202560 561 0 0 0 152 22 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464091601704 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10672] ppid=10664 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/10667/task/10672/stat : 10672 (java) S 10664 10667 6338 0 -1 4202560 798 0 0 0 164 24 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464090549160 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10673] ppid=10664 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/10667/task/10673/stat : 10673 (java) S 10664 10667 6338 0 -1 4202560 766 0 0 0 167 20 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464089496616 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10674] ppid=10664 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/10667/task/10674/stat : 10674 (java) S 10664 10667 6338 0 -1 4202560 824 0 0 0 177 23 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140464088443048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=10675] ppid=10664 vsize=9824732 CPUtime=1.87 cores=1,3,5,7
/proc/10667/task/10675/stat : 10675 (java) S 10664 10667 6338 0 -1 4202560 793 0 0 0 162 25 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463751293224 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10676] ppid=10664 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/10667/task/10676/stat : 10676 (java) S 10664 10667 6338 0 -1 4202560 684 0 0 0 170 24 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463750240680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10677] ppid=10664 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/10667/task/10677/stat : 10677 (java) S 10664 10667 6338 0 -1 4202560 480 0 0 0 173 20 0 0 20 0 22 0 4519175 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463749188136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10678] ppid=10664 vsize=9824732 CPUtime=3.75 cores=1,3,5,7
/proc/10667/task/10678/stat : 10678 (java) S 10664 10667 6338 0 -1 4202560 2423 0 0 0 363 12 0 0 20 0 22 0 4519176 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463736990312 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10679] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10679/stat : 10679 (java) S 10664 10667 6338 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463735936632 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10680] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10680/stat : 10680 (java) S 10664 10667 6338 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 4519176 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463734883976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10681] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10681/stat : 10681 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463733832720 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=10682] ppid=10664 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/10667/task/10682/stat : 10682 (java) S 10664 10667 6338 0 -1 4202560 8525 0 0 0 122 1 0 0 20 0 22 0 4519179 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463732779064 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=10683] ppid=10664 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/10667/task/10683/stat : 10683 (java) S 10664 10667 6338 0 -1 4202560 10710 0 0 0 146 2 0 0 20 0 22 0 4519179 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463731726520 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10684] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/10684/stat : 10684 (java) S 10664 10667 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4519179 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463730674168 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=10685] ppid=10664 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/10667/task/10685/stat : 10685 (java) S 10664 10667 6338 0 -1 4202560 56 0 0 0 8 16 0 0 20 0 22 0 4519179 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463729621832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10667/tid=11056] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/11056/stat : 11056 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4527009 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463727416488 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10667/tid=11356] ppid=10664 vsize=9824732 CPUtime=23.67 cores=1,3,5,7
/proc/10667/task/11356/stat : 11356 (java) R 10664 10667 6338 0 -1 4202560 2 0 0 0 2367 0 0 0 20 0 22 0 4612205 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463728467072 140464104210450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10667/tid=11357] ppid=10664 vsize=9824732 CPUtime=23.67 cores=1,3,5,7
/proc/10667/task/11357/stat : 11357 (java) R 10664 10667 6338 0 -1 4202560 4 0 0 0 2367 0 0 0 20 0 22 0 4612205 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463725309984 140464104133812 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10667/tid=11358] ppid=10664 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10667/task/11358/stat : 11358 (java) S 10664 10667 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4612205 10060525568 890610 33554432000 1073741824 1073778376 140737136854512 140463726363432 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 9824732

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

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

Child status: 143

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

Real time (s): 954.249
CPU time (s): 1800.08
CPU user time (s): 1796.19
CPU system time (s): 3.89337
CPU usage (%): 188.639
Max. virtual memory (cumulated for all children) (KiB): 9826312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 4.13337
maximum resident set size= 3641316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33183
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27444
involuntary context switches= 23031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51401 second user time and 6.98494 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-29 23:27:23
IDJOB=4118728
IDBENCH=111526
IDSOLVER=2543
FILE ID=node129/4118728-1467235643
RUNJOBID= node129-1467233815-9716
PBS_JOBID= 19997579
Free space on /tmp= 71600 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross10-070.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118728-1467235643/watcher-4118728-1467235643 -o /tmp/evaluation-result-4118728-1467235643/solver-4118728-1467235643 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9716 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118728-1467235643.opb

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

MD5SUM BENCH= a7d9543d8c07cdfb6b28ca0f9f48637d
RANDOM SEED=1104370615

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28502420 kB
Buffers:           88856 kB
Cached:          1782960 kB
SwapCached:            0 kB
Active:           525976 kB
Inactive:        1576856 kB
Active(anon):     233852 kB
Inactive(anon):        0 kB
Active(file):     292124 kB
Inactive(file):  1576856 kB
Unevictable:     1517236 kB
Mlocked:         1370068 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1904 kB
Writeback:             0 kB
AnonPages:       1748596 kB
Mapped:            22124 kB
Shmem:               204 kB
Slab:             618488 kB
SReclaimable:      62352 kB
SUnreclaim:       556136 kB
KernelStack:        1592 kB
PageTables:         8060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2234612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    335872 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= 71600 MiB
End job on node129 at 2016-06-29 23:43:18