Trace number 4119461

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)-7435 1800.34 939.346

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-23.opb
MD5SUMb5af46964a63234412542cf27a991a0e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7539
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 5376
Biggest coefficient in the objective function 2684
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 542432
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2684
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 542432
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)5346
Sum of products size (including duplicates)17226
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4119461-1467256596.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
1.42/0.91	c ... done. Wall clock time 0.789s.
1.42/0.91	c declared #vars     30
1.42/0.91	c internal #vars     5376
1.42/0.91	c #constraints  10692
1.42/0.91	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.42/0.91	c constraints type 
1.42/0.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5346
1.42/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 5346
1.42/0.91	c 10692 constraints processed.
1.42/0.91	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.42/0.91	c constraints type 
1.42/0.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5346
1.42/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5346
1.42/0.91	c 10692 constraints processed.
1.42/0.91	c objective function length is 5376 literals
1.42/1.00	c And the winner is solver0
1.90/1.42	c SATISFIABLE
1.90/1.42	c OPTIMIZING...
1.90/1.42	c Got one! Elapsed wall clock time (in seconds):1.296
1.90/1.42	o 0
2.19/1.53	c And the winner is solver0
2.68/1.95	c Got one! Elapsed wall clock time (in seconds):1.828
2.68/1.95	o -231
2.68/1.98	c And the winner is solver0
2.84/2.47	c Got one! Elapsed wall clock time (in seconds):2.346
2.84/2.47	o -462
2.95/2.50	c And the winner is solver0
3.07/2.98	c Got one! Elapsed wall clock time (in seconds):2.858
3.07/2.98	o -863
3.12/3.01	c And the winner is solver0
3.19/3.49	c Got one! Elapsed wall clock time (in seconds):3.368
3.19/3.49	o -1113
3.20/3.51	c And the winner is solver0
3.26/4.00	c Got one! Elapsed wall clock time (in seconds):3.876
3.26/4.00	o -1264
3.26/4.01	c And the winner is solver0
3.26/4.50	c Got one! Elapsed wall clock time (in seconds):4.384
3.26/4.50	o -1782
3.26/4.53	c And the winner is solver0
3.36/5.01	c Got one! Elapsed wall clock time (in seconds):4.893
3.36/5.01	o -1817
3.36/5.04	c And the winner is solver0
3.43/5.52	c Got one! Elapsed wall clock time (in seconds):5.401
3.43/5.52	o -1970
3.43/5.54	c And the winner is solver0
3.46/6.03	c Got one! Elapsed wall clock time (in seconds):5.909
3.46/6.03	o -2051
3.46/6.04	c And the winner is solver0
3.52/6.54	c Got one! Elapsed wall clock time (in seconds):6.417
3.52/6.54	o -2219
3.52/6.58	c And the winner is solver0
3.65/7.04	c Got one! Elapsed wall clock time (in seconds):6.926
3.65/7.04	o -2300
3.65/7.06	c And the winner is solver0
3.66/7.55	c Got one! Elapsed wall clock time (in seconds):7.432
3.66/7.55	o -2890
3.75/7.62	c And the winner is solver0
3.81/8.06	c Got one! Elapsed wall clock time (in seconds):7.939
3.81/8.06	o -2925
3.90/8.11	c And the winner is solver0
4.30/8.57	c Got one! Elapsed wall clock time (in seconds):8.446
4.30/8.57	o -3161
4.30/8.59	c And the winner is solver0
4.37/9.07	c Got one! Elapsed wall clock time (in seconds):8.952
4.37/9.07	o -3182
4.37/9.09	c And the winner is solver0
4.40/9.58	c Got one! Elapsed wall clock time (in seconds):9.459
4.40/9.58	o -3480
4.44/9.62	c And the winner is solver0
4.49/10.09	c Got one! Elapsed wall clock time (in seconds):9.966
4.49/10.09	o -4045
4.81/10.29	c And the winner is solver0
5.24/10.59	c Got one! Elapsed wall clock time (in seconds):10.472
5.24/10.59	o -4071
5.25/10.64	c And the winner is solver0
5.35/11.10	c Got one! Elapsed wall clock time (in seconds):10.979
5.35/11.10	o -4092
5.35/11.13	c And the winner is solver0
5.41/11.60	c Got one! Elapsed wall clock time (in seconds):11.485
5.41/11.60	o -4534
5.99/11.97	c And the winner is solver0
6.20/12.11	c Got one! Elapsed wall clock time (in seconds):11.992
6.20/12.11	o -4563
6.20/12.15	c And the winner is solver0
6.30/12.62	c Got one! Elapsed wall clock time (in seconds):12.498
6.30/12.62	o -4574
6.30/12.65	c And the winner is solver0
6.38/13.13	c Got one! Elapsed wall clock time (in seconds):13.005
6.38/13.13	o -4606
6.38/13.14	c And the winner is solver0
6.43/13.63	c Got one! Elapsed wall clock time (in seconds):13.512
6.43/13.63	o -4632
6.43/13.65	c And the winner is solver0
6.47/14.14	c Got one! Elapsed wall clock time (in seconds):14.018
6.47/14.14	o -4957
7.18/14.54	c And the winner is solver0
7.31/14.64	c Got one! Elapsed wall clock time (in seconds):14.525
7.31/14.64	o -5016
7.87/14.93	c And the winner is solver0
8.10/15.17	c Got one! Elapsed wall clock time (in seconds):15.053
8.10/15.17	o -5061
8.35/15.30	c And the winner is solver0
8.65/15.68	c Got one! Elapsed wall clock time (in seconds):15.56
8.65/15.68	o -5071
8.67/15.78	c And the winner is solver0
8.90/16.19	c Got one! Elapsed wall clock time (in seconds):16.066
8.90/16.19	o -5095
8.92/16.20	c And the winner is solver0
8.92/16.69	c Got one! Elapsed wall clock time (in seconds):16.573
8.92/16.69	o -5097
8.93/16.71	c And the winner is solver0
8.93/17.20	c Got one! Elapsed wall clock time (in seconds):17.08
8.93/17.20	o -5125
8.93/17.22	c And the winner is solver0
8.98/17.71	c Got one! Elapsed wall clock time (in seconds):17.587
8.98/17.71	o -5454
10.63/18.59	c And the winner is solver0
11.04/18.81	c Got one! Elapsed wall clock time (in seconds):18.694
11.04/18.81	o -5474
11.80/19.26	c And the winner is solver0
11.94/19.32	c Got one! Elapsed wall clock time (in seconds):19.2
11.94/19.32	o -5481
12.54/19.64	c And the winner is solver0
12.71/19.83	c Got one! Elapsed wall clock time (in seconds):19.708
12.71/19.83	o -5511
12.86/19.95	c And the winner is solver0
13.18/20.33	c Got one! Elapsed wall clock time (in seconds):20.215
13.18/20.33	o -5514
13.30/20.42	c And the winner is solver0
13.37/20.84	c Got one! Elapsed wall clock time (in seconds):20.721
13.37/20.84	o -5836
17.47/22.85	c And the winner is solver0
17.65/23.35	c Got one! Elapsed wall clock time (in seconds):23.228
17.65/23.35	o -5886
21.35/25.30	c And the winner is solver0
21.64/25.40	c Got one! Elapsed wall clock time (in seconds):25.285
21.64/25.40	o -6083
25.30/27.29	c cleaning 5001 clauses out of 10001 with flag 4003/10001
29.87/29.33	c And the winner is solver0
30.10/29.51	c Got one! Elapsed wall clock time (in seconds):29.394
30.10/29.51	o -6096
32.49/30.75	c And the winner is solver0
32.61/31.02	c Got one! Elapsed wall clock time (in seconds):30.901
32.61/31.02	o -6098
33.95/31.77	c And the winner is solver0
34.12/32.03	c Got one! Elapsed wall clock time (in seconds):31.908
34.12/32.03	o -6132
36.31/33.12	c And the winner is solver0
36.54/33.53	c Got one! Elapsed wall clock time (in seconds):33.415
36.54/33.53	o -6139
36.85/33.80	c And the winner is solver0
37.11/34.04	c Got one! Elapsed wall clock time (in seconds):33.923
37.11/34.04	o -6152
37.22/34.13	c And the winner is solver0
37.52/34.55	c Got one! Elapsed wall clock time (in seconds):34.431
37.52/34.55	o -6159
37.52/34.59	c And the winner is solver0
37.62/35.06	c Got one! Elapsed wall clock time (in seconds):34.939
37.62/35.06	o -6178
37.62/35.07	c And the winner is solver0
37.63/35.57	c Got one! Elapsed wall clock time (in seconds):35.447
37.63/35.57	o -6183
37.63/35.58	c And the winner is solver0
37.64/36.07	c Got one! Elapsed wall clock time (in seconds):35.954
37.64/36.07	o -6188
37.64/36.10	c And the winner is solver0
37.71/36.58	c Got one! Elapsed wall clock time (in seconds):36.462
37.71/36.58	o -6191
38.24/36.80	c And the winner is solver0
38.42/37.09	c Got one! Elapsed wall clock time (in seconds):36.971
38.42/37.09	o -6210
39.04/37.43	c And the winner is solver0
39.12/37.60	c Got one! Elapsed wall clock time (in seconds):37.478
39.12/37.60	o -6220
39.12/37.63	c And the winner is solver0
39.21/38.10	c Got one! Elapsed wall clock time (in seconds):37.985
39.21/38.10	o -6230
39.39/38.23	c And the winner is solver0
39.66/38.61	c Got one! Elapsed wall clock time (in seconds):38.492
39.66/38.61	o -6296
43.43/40.56	c cleaning 6488 clauses out of 12982 with flag 4003/17983
56.15/46.84	c And the winner is solver0
56.27/47.12	c Got one! Elapsed wall clock time (in seconds):47.0
56.27/47.12	o -6356
60.61/49.34	c And the winner is solver0
60.92/49.63	c Got one! Elapsed wall clock time (in seconds):49.508
60.92/49.63	o -6409
63.26/50.85	c And the winner is solver0
63.48/51.14	c Got one! Elapsed wall clock time (in seconds):51.016
63.48/51.14	o -6416
65.19/52.01	c And the winner is solver0
65.31/52.14	c Got one! Elapsed wall clock time (in seconds):52.025
65.31/52.14	o -6417
65.44/52.22	c And the winner is solver0
65.50/52.65	c Got one! Elapsed wall clock time (in seconds):52.533
65.50/52.65	o -6477
68.16/53.92	c And the winner is solver0
68.35/54.24	c Got one! Elapsed wall clock time (in seconds):54.125
68.35/54.24	o -6481
69.25/54.75	c And the winner is solver0
69.49/55.25	c Got one! Elapsed wall clock time (in seconds):55.133
69.49/55.25	o -6525
69.97/55.58	c And the winner is solver0
70.19/55.76	c Got one! Elapsed wall clock time (in seconds):55.64
70.19/55.76	o -6527
70.19/55.79	c And the winner is solver0
70.30/56.27	c Got one! Elapsed wall clock time (in seconds):56.148
70.30/56.27	o -6528
72.40/57.32	c cleaning 9734 clauses out of 19468 with flag 2037/30957
72.99/57.68	c And the winner is solver0
73.27/57.83	c Got one! Elapsed wall clock time (in seconds):57.706
73.27/57.83	o -6537
74.25/58.32	c And the winner is solver0
74.38/58.48	c Got one! Elapsed wall clock time (in seconds):58.364
74.38/58.48	o -6542
74.45/58.57	c And the winner is solver0
74.63/58.99	c Got one! Elapsed wall clock time (in seconds):58.872
74.63/58.99	o -6548
75.24/59.37	c And the winner is solver0
75.62/59.65	c Got one! Elapsed wall clock time (in seconds):59.53
75.62/59.65	o -6585
84.92/64.39	c cleaning 7967 clauses out of 15936 with flag 10003/37159
97.82/70.73	c cleaning 6984 clauses out of 13968 with flag 22001/43158
108.12/75.88	c And the winner is solver0
108.49/76.16	c Got one! Elapsed wall clock time (in seconds):76.042
108.49/76.16	o -6685
110.37/77.14	c cleaning 6426 clauses out of 12852 with flag 2004/49026
117.77/80.99	c And the winner is solver0
118.02/81.38	c Got one! Elapsed wall clock time (in seconds):81.26
118.02/81.38	o -6715
122.04/83.46	c cleaning 5893 clauses out of 11793 with flag 4031/54393
125.24/85.04	c And the winner is solver0
125.36/85.39	c Got one! Elapsed wall clock time (in seconds):85.269
125.36/85.39	o -6722
125.77/85.66	c And the winner is solver0
126.05/85.90	c Got one! Elapsed wall clock time (in seconds):85.777
126.05/85.90	o -6741
134.14/89.95	c cleaning 5875 clauses out of 11749 with flag 8005/60242
134.54/90.11	c And the winner is solver0
134.62/90.41	c Got one! Elapsed wall clock time (in seconds):90.287
134.62/90.41	o -6780
136.79/91.50	c And the winner is solver0
136.88/91.92	c Got one! Elapsed wall clock time (in seconds):91.796
136.88/91.92	o -6781
137.84/92.49	c And the winner is solver0
138.12/92.93	c Got one! Elapsed wall clock time (in seconds):92.804
138.12/92.93	o -6792
138.26/93.04	c And the winner is solver0
138.63/93.43	c Got one! Elapsed wall clock time (in seconds):93.312
138.63/93.43	o -6804
143.17/95.73	c And the winner is solver0
143.33/95.94	c Got one! Elapsed wall clock time (in seconds):95.821
143.33/95.94	o -6831
147.33/97.93	c cleaning 6051 clauses out of 12110 with flag 4001/66478
159.93/104.24	c cleaning 6026 clauses out of 12060 with flag 16003/72479
174.09/111.29	c cleaning 6516 clauses out of 13034 with flag 30003/79479
190.07/119.26	c cleaning 7257 clauses out of 14517 with flag 46001/87478
202.75/125.60	c And the winner is solver0
203.20/125.95	c Got one! Elapsed wall clock time (in seconds):125.835
203.20/125.95	o -6850
209.87/129.33	c And the winner is solver0
210.01/129.46	c Got one! Elapsed wall clock time (in seconds):129.344
210.01/129.46	o -6924
214.10/131.54	c cleaning 9199 clauses out of 18399 with flag 4004/98617
226.95/137.96	c cleaning 7600 clauses out of 15200 with flag 16004/104617
227.95/138.45	c And the winner is solver0
228.22/138.67	c Got one! Elapsed wall clock time (in seconds):138.555
228.22/138.67	o -6934
236.72/142.92	c And the winner is solver0
236.91/143.18	c Got one! Elapsed wall clock time (in seconds):143.065
236.91/143.18	o -6941
241.63/145.79	c And the winner is solver0
242.10/146.23	c Got one! Elapsed wall clock time (in seconds):146.114
242.10/146.23	o -6944
242.23/146.34	c And the winner is solver0
242.42/146.74	c Got one! Elapsed wall clock time (in seconds):146.623
242.42/146.74	o -6955
244.32/147.79	c cleaning 7535 clauses out of 15073 with flag 2034/112090
244.52/147.82	c And the winner is solver0
244.69/148.25	c Got one! Elapsed wall clock time (in seconds):148.133
244.69/148.25	o -6970
246.56/149.24	c And the winner is solver0
246.81/149.46	c Got one! Elapsed wall clock time (in seconds):149.343
246.81/149.46	o -6977
255.54/153.84	c And the winner is solver0
255.80/154.07	c Got one! Elapsed wall clock time (in seconds):153.954
255.80/154.07	o -6983
257.90/155.15	c cleaning 6877 clauses out of 13760 with flag 2015/118312
258.89/155.65	c And the winner is solver0
259.22/156.08	c Got one! Elapsed wall clock time (in seconds):155.963
259.22/156.08	o -6987
259.45/156.26	c And the winner is solver0
259.91/156.64	c Got one! Elapsed wall clock time (in seconds):156.523
259.91/156.64	o -6992
266.95/160.15	c And the winner is solver0
267.19/160.66	c Got one! Elapsed wall clock time (in seconds):160.533
267.19/160.66	o -6997
269.87/162.04	c And the winner is solver0
270.22/162.27	c Got one! Elapsed wall clock time (in seconds):162.145
270.22/162.27	o -7004
270.92/162.69	c And the winner is solver0
271.22/162.83	c Got one! Elapsed wall clock time (in seconds):162.705
271.22/162.83	o -7010
272.17/163.36	c And the winner is solver0
272.60/163.83	c Got one! Elapsed wall clock time (in seconds):163.715
272.60/163.83	o -7015
274.12/164.61	c And the winner is solver0
274.43/165.00	c Got one! Elapsed wall clock time (in seconds):164.875
274.43/165.00	o -7020
274.50/165.04	c And the winner is solver0
274.61/165.50	c Got one! Elapsed wall clock time (in seconds):165.385
274.61/165.50	o -7036
274.61/165.57	c And the winner is solver0
274.81/166.02	c Got one! Elapsed wall clock time (in seconds):165.895
274.81/166.02	o -7037
274.81/166.09	c And the winner is solver0
275.03/166.52	c Got one! Elapsed wall clock time (in seconds):166.404
275.03/166.52	o -7042
275.03/166.54	c And the winner is solver0
275.04/167.04	c Got one! Elapsed wall clock time (in seconds):166.914
275.04/167.04	o -7050
276.16/167.69	c And the winner is solver0
276.52/168.04	c Got one! Elapsed wall clock time (in seconds):167.923
276.52/168.04	o -7060
277.80/168.77	c And the winner is solver0
278.06/169.05	c Got one! Elapsed wall clock time (in seconds):168.933
278.06/169.05	o -7061
280.13/170.13	c cleaning 8300 clauses out of 16604 with flag 2074/128033
283.39/171.78	c And the winner is solver0
283.76/172.06	c Got one! Elapsed wall clock time (in seconds):171.943
283.76/172.06	o -7104
291.07/175.72	c cleaning 6981 clauses out of 13970 with flag 8003/133699
302.32/181.39	c cleaning 6489 clauses out of 12988 with flag 20001/139698
316.79/188.53	c cleaning 6746 clauses out of 13499 with flag 34001/146698
332.38/196.32	c cleaning 7374 clauses out of 14754 with flag 50003/154699
351.76/205.98	c cleaning 8187 clauses out of 16379 with flag 68001/163698
372.64/216.33	c cleaning 9094 clauses out of 18192 with flag 88001/173698
394.91/227.47	c cleaning 10049 clauses out of 20098 with flag 110001/184698
414.37/237.11	c And the winner is solver0
414.70/237.40	c Got one! Elapsed wall clock time (in seconds):237.283
414.70/237.40	o -7111
425.92/243.38	c cleaning 11971 clauses out of 23944 with flag 10002/198593
439.31/250.05	c cleaning 8985 clauses out of 17974 with flag 22004/204594
451.33/256.10	c And the winner is solver0
451.71/256.49	c Got one! Elapsed wall clock time (in seconds):256.371
451.71/256.49	o -7122
462.59/261.90	c cleaning 9976 clauses out of 19959 with flag 10064/215564
469.19/265.22	c And the winner is solver0
469.50/265.55	c Got one! Elapsed wall clock time (in seconds):265.433
469.50/265.55	o -7128
476.16/268.86	c cleaning 7940 clauses out of 15883 with flag 6022/221464
478.16/269.85	c And the winner is solver0
478.42/270.06	c Got one! Elapsed wall clock time (in seconds):269.945
478.42/270.06	o -7142
478.94/270.32	c And the winner is solver0
479.18/270.57	c Got one! Elapsed wall clock time (in seconds):270.455
479.18/270.57	o -7152
479.43/270.77	c And the winner is solver0
479.73/271.09	c Got one! Elapsed wall clock time (in seconds):270.965
479.73/271.09	o -7161
481.34/271.90	c And the winner is solver0
481.55/272.15	c Got one! Elapsed wall clock time (in seconds):272.025
481.55/272.15	o -7163
481.69/272.21	c And the winner is solver0
481.78/272.65	c Got one! Elapsed wall clock time (in seconds):272.536
481.78/272.65	o -7171
481.78/272.68	c And the winner is solver0
481.84/273.17	c Got one! Elapsed wall clock time (in seconds):273.045
481.84/273.17	o -7175
483.09/273.82	c And the winner is solver0
483.52/274.28	c Got one! Elapsed wall clock time (in seconds):274.158
483.52/274.28	o -7178
488.07/276.59	c And the winner is solver0
488.47/276.84	c Got one! Elapsed wall clock time (in seconds):276.719
488.47/276.84	o -7202
492.38/278.84	c cleaning 7509 clauses out of 15023 with flag 4005/228544
505.29/285.25	c cleaning 6755 clauses out of 13514 with flag 16005/234544
519.69/292.42	c cleaning 6879 clauses out of 13759 with flag 30005/241544
523.08/294.12	c And the winner is solver0
523.41/294.45	c Got one! Elapsed wall clock time (in seconds):294.334
523.41/294.45	o -7210
531.80/298.62	c cleaning 6176 clauses out of 12351 with flag 8004/247015
532.00/298.79	c And the winner is solver0
532.39/299.07	c Got one! Elapsed wall clock time (in seconds):298.946
532.39/299.07	o -7213
533.48/299.62	c And the winner is solver0
533.76/300.08	c Got one! Elapsed wall clock time (in seconds):299.957
533.76/300.08	o -7215
534.21/300.32	c And the winner is solver0
534.42/300.59	c Got one! Elapsed wall clock time (in seconds):300.467
534.42/300.59	o -7220
534.85/300.88	c And the winner is solver0
535.14/301.10	c Got one! Elapsed wall clock time (in seconds):300.977
535.14/301.10	o -7221
535.62/301.31	c And the winner is solver0
535.80/301.61	c Got one! Elapsed wall clock time (in seconds):301.487
535.80/301.61	o -7233
546.05/306.73	c cleaning 6352 clauses out of 12712 with flag 10068/253552
557.05/312.27	c cleaning 6175 clauses out of 12359 with flag 22066/259551
557.25/312.33	c And the winner is solver0
557.79/312.82	c Got one! Elapsed wall clock time (in seconds):312.7
557.79/312.82	o -7248
567.44/317.60	c cleaning 5610 clauses out of 11234 with flag 10003/264601
579.24/323.54	c cleaning 5810 clauses out of 11624 with flag 22003/270601
593.90/330.81	c cleaning 6404 clauses out of 12813 with flag 36001/277600
610.07/338.81	c cleaning 7203 clauses out of 14410 with flag 52003/285601
629.05/348.37	c cleaning 8100 clauses out of 16207 with flag 70003/294601
649.18/358.34	c cleaning 9053 clauses out of 18107 with flag 90003/304601
675.07/371.73	c cleaning 10023 clauses out of 20053 with flag 112001/315600
699.07/383.73	c And the winner is solver0
700.11/384.46	c Got one! Elapsed wall clock time (in seconds):384.34
700.11/384.46	o -7255
710.64/389.79	c cleaning 13481 clauses out of 26965 with flag 10112/332535
723.45/396.09	c cleaning 9739 clauses out of 19483 with flag 22148/338534
737.83/403.24	c cleaning 8369 clauses out of 16745 with flag 36452/345535
754.71/411.61	c cleaning 8187 clauses out of 16376 with flag 52540/353535
773.51/421.08	c cleaning 8588 clauses out of 17188 with flag 70718/362534
775.59/422.04	c And the winner is solver0
776.05/422.46	c Got one! Elapsed wall clock time (in seconds):422.34
776.05/422.46	o -7259
786.57/427.77	c cleaning 7268 clauses out of 14546 with flag 10329/368480
799.87/434.39	c cleaning 6636 clauses out of 13278 with flag 22771/374480
806.27/437.59	c And the winner is solver0
806.97/438.18	c Got one! Elapsed wall clock time (in seconds):438.057
806.97/438.18	o -7262
813.27/441.32	c cleaning 6198 clauses out of 12404 with flag 6351/380242
824.98/447.11	c cleaning 6100 clauses out of 12205 with flag 18825/386241
830.79/450.09	c And the winner is solver0
831.48/450.64	c Got one! Elapsed wall clock time (in seconds):450.523
831.48/450.64	o -7272
837.81/453.80	c cleaning 5925 clauses out of 11860 with flag 6004/391996
851.33/460.53	c cleaning 5962 clauses out of 11935 with flag 18004/397996
866.73/468.24	c cleaning 6487 clauses out of 12973 with flag 32004/404996
883.87/476.76	c cleaning 7241 clauses out of 14485 with flag 48002/412995
903.89/487.20	c And the winner is solver0
904.48/487.63	c Got one! Elapsed wall clock time (in seconds):487.507
904.48/487.63	o -7274
914.60/492.78	c cleaning 10461 clauses out of 20927 with flag 10005/426678
927.05/498.99	c cleaning 8232 clauses out of 16466 with flag 22005/432678
932.06/501.46	c And the winner is solver0
932.73/502.04	c Got one! Elapsed wall clock time (in seconds):501.923
932.73/502.04	o -7277
939.23/505.33	c cleaning 6793 clauses out of 13588 with flag 6152/438032
939.23/505.38	c And the winner is solver0
939.70/505.70	c Got one! Elapsed wall clock time (in seconds):505.585
939.70/505.70	o -7280
943.86/507.82	c And the winner is solver0
944.50/508.34	c Got one! Elapsed wall clock time (in seconds):508.221
944.50/508.34	o -7290
947.79/510.04	c And the winner is solver0
948.35/510.55	c Got one! Elapsed wall clock time (in seconds):510.433
948.35/510.55	o -7295
948.64/510.77	c And the winner is solver0
949.02/511.06	c Got one! Elapsed wall clock time (in seconds):510.945
949.02/511.06	o -7299
949.07/511.12	c And the winner is solver0
949.17/511.58	c Got one! Elapsed wall clock time (in seconds):511.456
949.17/511.58	o -7300
952.80/513.44	c cleaning 6393 clauses out of 12793 with flag 4033/444030
958.62/516.38	c And the winner is solver0
959.21/516.89	c Got one! Elapsed wall clock time (in seconds):516.769
959.21/516.89	o -7308
964.94/519.75	c And the winner is solver0
965.50/520.20	c Got one! Elapsed wall clock time (in seconds):520.082
965.50/520.20	o -7309
966.07/520.55	c And the winner is solver0
966.52/520.91	c Got one! Elapsed wall clock time (in seconds):520.794
966.52/520.91	o -7314
966.67/521.02	c And the winner is solver0
966.82/521.42	c Got one! Elapsed wall clock time (in seconds):521.305
966.82/521.42	o -7321
966.82/521.45	c And the winner is solver0
966.85/521.94	c Got one! Elapsed wall clock time (in seconds):521.817
966.85/521.94	o -7326
968.76/522.93	c cleaning 6586 clauses out of 13182 with flag 2068/450812
971.96/524.58	c And the winner is solver0
972.45/524.95	c Got one! Elapsed wall clock time (in seconds):524.829
972.45/524.95	o -7329
972.59/525.02	c And the winner is solver0
972.71/525.46	c Got one! Elapsed wall clock time (in seconds):525.341
972.71/525.46	o -7332
972.71/525.48	c And the winner is solver0
972.74/525.97	c Got one! Elapsed wall clock time (in seconds):525.852
972.74/525.97	o -7342
976.80/528.08	c And the winner is solver0
977.27/528.49	c Got one! Elapsed wall clock time (in seconds):528.364
977.27/528.49	o -7368
981.61/530.63	c cleaning 6255 clauses out of 12524 with flag 4005/456740
994.41/537.03	c cleaning 6132 clauses out of 12268 with flag 16003/462739
1009.11/544.35	c cleaning 6565 clauses out of 13136 with flag 30003/469739
1025.91/552.75	c cleaning 7286 clauses out of 14572 with flag 46005/477740
1044.21/561.89	c cleaning 8141 clauses out of 16285 with flag 64003/486739
1064.78/572.03	c cleaning 9069 clauses out of 18144 with flag 84003/496739
1066.17/572.75	c And the winner is solver0
1066.83/573.38	c Got one! Elapsed wall clock time (in seconds):573.263
1066.83/573.38	o -7376
1077.33/578.67	c cleaning 7434 clauses out of 14871 with flag 10336/502535
1090.32/585.07	c cleaning 6714 clauses out of 13436 with flag 22439/508534
1105.11/592.47	c cleaning 6859 clauses out of 13722 with flag 36775/515534
1113.88/596.79	c And the winner is solver0
1114.48/597.30	c Got one! Elapsed wall clock time (in seconds):597.178
1114.48/597.30	o -7386
1116.15/598.19	c cleaning 6180 clauses out of 12370 with flag 2001/521041
1127.15/603.68	c cleaning 6091 clauses out of 12191 with flag 14003/527042
1141.97/610.96	c cleaning 6549 clauses out of 13100 with flag 28003/534042
1158.59/619.19	c cleaning 7274 clauses out of 14550 with flag 44001/542041
1179.44/629.45	c cleaning 8135 clauses out of 16276 with flag 62001/551041
1200.29/639.71	c cleaning 9070 clauses out of 18142 with flag 82003/561042
1224.93/651.96	c cleaning 10033 clauses out of 20071 with flag 104001/572041
1250.44/664.50	c cleaning 11015 clauses out of 22038 with flag 128001/584041
1276.62/677.57	c cleaning 12010 clauses out of 24023 with flag 154001/597041
1305.95/692.05	c cleaning 13004 clauses out of 26014 with flag 182003/611042
1335.47/706.66	c And the winner is solver1
1335.64/706.90	c Got one! Elapsed wall clock time (in seconds):706.782
1335.64/706.90	o -7422
1346.16/712.01	c cleaning 15577 clauses out of 31158 with flag 10356/629190
1356.77/717.39	c cleaning 10789 clauses out of 21581 with flag 22835/635190
1371.10/725.20	c cleaning 8894 clauses out of 17791 with flag 37247/642189
1384.57/731.99	c cleaning 8447 clauses out of 16897 with flag 53868/650189
1399.96/739.63	c cleaning 8723 clauses out of 17450 with flag 72554/659189
1416.82/748.07	c cleaning 9362 clauses out of 18727 with flag 93327/669189
1436.41/757.74	c cleaning 10181 clauses out of 20366 with flag 116473/680190
1457.70/768.32	c cleaning 11093 clauses out of 22185 with flag 141806/692190
1480.59/779.75	c cleaning 12045 clauses out of 24091 with flag 169144/705189
1505.65/792.24	c cleaning 13021 clauses out of 26047 with flag 199145/719190
1533.24/805.97	c cleaning 14012 clauses out of 28026 with flag 231122/734190
1562.39/820.47	c cleaning 15007 clauses out of 30013 with flag 266066/750189
1593.38/836.00	c cleaning 16003 clauses out of 32007 with flag 303245/767190
1628.53/853.34	c cleaning 17001 clauses out of 34003 with flag 342616/785189
1665.60/871.66	c cleaning 18000 clauses out of 36003 with flag 384670/804190
1704.42/890.92	c cleaning 19000 clauses out of 38003 with flag 429458/824190
1723.39/900.36	c And the winner is solver1
1723.39/900.36	c Got one! Elapsed wall clock time (in seconds):900.243
1723.39/900.36	o -7435
1735.80/907.39	c cleaning 17012 clauses out of 34023 with flag 11061/839210
1747.00/912.91	c cleaning 11502 clauses out of 23012 with flag 24460/845211
1759.66/919.29	c cleaning 9252 clauses out of 18509 with flag 39886/852210
1773.74/926.29	c cleaning 8625 clauses out of 17258 with flag 57461/860211
1789.61/934.10	c cleaning 8815 clauses out of 17632 with flag 76570/869210
1800.01/939.30	c >>>>>>>>>> Solver number 0 (139 answers) <<<<<<<<<<<<<<<<<<
1800.01/939.30	c starts		: 5118
1800.01/939.30	c conflicts		: 875261
1800.01/939.30	c decisions		: 998497
1800.01/939.30	c propagations		: 397901572
1800.01/939.30	c inspects		: 2452379191
1800.01/939.30	c shortcuts		: 0
1800.01/939.30	c learnt literals	: 0
1800.01/939.30	c learnt binary clauses	: 0
1800.01/939.30	c learnt ternary clauses	: 0
1800.01/939.30	c learnt constraints	: 875260
1800.01/939.30	c ignored constraints	: 0
1800.01/939.30	c root simplifications	: 0
1800.01/939.30	c removed literals (reason simplification)	: 314174499
1800.01/939.30	c reason swapping (by a shorter reason)	: 0
1800.01/939.30	c Calls to reduceDB	: 99
1800.01/939.30	c Number of update (reduction) of LBD	: 5863
1800.01/939.30	c Imported unit clauses	: 0
1800.01/939.30	c number of reductions to clauses (during analyze)	: 0
1800.01/939.30	c number of learned constraints concerned by reduction	: 0
1800.01/939.30	c number of learning phase by resolution	: 0
1800.01/939.30	c number of learning phase by cutting planes	: 0
1800.01/939.30	c speed (assignments/second)	: 1.0221474825318538E7
1800.01/939.30	c non guided choices	0
1800.01/939.31	c learnt constraints type 
1800.01/939.31	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14868
1800.01/939.31	c >>>>>>>>>> Solver number 1 (2 answers) <<<<<<<<<<<<<<<<<<
1800.01/939.31	c starts		: 148
1800.01/939.31	c conflicts		: 1603
1800.01/939.31	c decisions		: 5021
1800.01/939.31	c propagations		: 1439262
1800.01/939.31	c inspects		: 305790019
1800.01/939.31	c shortcuts		: 0
1800.01/939.31	c learnt literals	: 0
1800.01/939.31	c learnt binary clauses	: 0
1800.01/939.31	c learnt ternary clauses	: 0
1800.01/939.31	c learnt constraints	: 1491
1800.01/939.31	c ignored constraints	: 0
1800.01/939.31	c root simplifications	: 0
1800.01/939.31	c removed literals (reason simplification)	: 0
1800.01/939.31	c reason swapping (by a shorter reason)	: 0
1800.01/939.31	c Calls to reduceDB	: 0
1800.01/939.31	c Number of update (reduction) of LBD	: 0
1800.01/939.31	c Imported unit clauses	: 0
1800.01/939.31	c number of reductions to clauses (during analyze)	: 0
1800.01/939.31	c number of learned constraints concerned by reduction	: 0
1800.01/939.31	c number of learning phase by resolution	: 0
1800.01/939.31	c number of learning phase by cutting planes	: 0
1800.01/939.31	c speed (assignments/second)	: 4208.30689609801
1800.01/939.31	c non guided choices	0
1800.01/939.31	c learnt constraints type 
1800.01/939.31	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1491
1800.01/939.31	s SATISFIABLE
1800.01/939.31	c Found 141 solution(s)
1800.01/939.31	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 
1800.01/939.31	c objective function=-7435
1800.01/939.31	c Total wall clock time (in seconds): 939.196

Verifier Data 

OK	-7435

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

pid=12011
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: 4.08 3.92 3.93 4/197 12014
/proc/meminfo: memFree=27298348/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/12014/stat : 12014 (java) R 12011 12014 6228 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 4679540 3653632 49 33554432000 1073741824 1073778376 140733556970928 140733556968056 211449638183 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 892 52 41 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 4.08 3.92 3.93 4/197 12014
/proc/meminfo: memFree=27298348/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 4468 0 1 0 7 1 0 0 20 0 18 0 4679540 9787879424 5587 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2389619 5587 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 4.08 3.92 3.93 4/197 12014
/proc/meminfo: memFree=27298348/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 4682 0 1 0 21 1 0 0 20 0 18 0 4679540 9787879424 6784 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2389619 6784 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300234 s]
/proc/loadavg: 4.08 3.92 3.93 4/197 12014
/proc/meminfo: memFree=27298348/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 5362 0 1 0 45 2 0 0 20 0 18 0 4679540 9787879424 7785 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2389619 7785 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700207 s]
/proc/loadavg: 4.08 3.92 3.93 4/197 12014
/proc/meminfo: memFree=27298348/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9558476 CPUtime=1.2 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 9490 0 1 0 117 3 0 0 20 0 18 0 4679540 9787879424 13252 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2389619 13252 2248 9 0 2380296 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9558476

[startup+1.50071 s]
/proc/loadavg: 4.08 3.92 3.93 3/216 12036
/proc/meminfo: memFree=27241864/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 15311 0 1 0 212 7 0 0 20 0 22 0 4679540 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 20673 2266 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2484 0 1 0 89 3 0 0 20 0 22 0 4679541 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4679542 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) R 12011 12014 6228 0 -1 4202560 5297 0 0 0 45 1 0 0 20 0 22 0 4679546 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458938362240 140459121432144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) R 12011 12014 6228 0 -1 4202560 6180 0 0 0 48 0 0 0 20 0 22 0 4679546 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458937299384 140459122635263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12036] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12036/stat : 12036 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4679635 10060525568 20673 33554432000 1073741824 1073778376 140733556970928 140458931004456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9824732

[startup+3.10085 s]
/proc/loadavg: 4.08 3.92 3.93 3/216 12042
/proc/meminfo: memFree=27215420/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 15549 0 1 0 304 15 0 0 20 0 19 0 4679540 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 27523 2276 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2489 0 1 0 93 3 0 0 20 0 19 0 4679541 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) S 12011 12014 6228 0 -1 4202560 5368 0 0 0 76 1 0 0 20 0 19 0 4679546 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458938374840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=0.82 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) S 12011 12014 6228 0 -1 4202560 6314 0 0 0 82 0 0 0 20 0 19 0 4679546 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458937322040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12036] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12036/stat : 12036 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4679635 10060525568 27523 33554432000 1073741824 1073778376 140733556970928 140458931004456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9824732

[startup+6.30077 s]
/proc/loadavg: 3.91 3.89 3.91 3/216 12060
/proc/meminfo: memFree=27158596/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=3.52 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 15636 0 1 0 329 23 0 0 20 0 19 0 4679540 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 41311 2277 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2500 0 1 0 97 3 0 0 20 0 19 0 4679541 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4679542 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4679544 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) S 12011 12014 6228 0 -1 4202560 5369 0 0 0 78 1 0 0 20 0 19 0 4679546 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458938374840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) S 12011 12014 6228 0 -1 4202560 6316 0 0 0 85 0 0 0 20 0 19 0 4679546 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458937322040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4679546 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12036] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12036/stat : 12036 (java) S 12011 12014 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4679635 10060525568 41311 33554432000 1073741824 1073778376 140733556970928 140458931004456 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9824732
heavy processes:

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


[startup+882.308 s]
/proc/loadavg: 4.13 4.03 3.98 4/219 12651
/proc/meminfo: memFree=23100024/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=1687.02 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 29967 0 1 0 168128 574 0 0 20 0 22 0 4679540 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 955470 2303 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2546 0 1 0 208 6 0 0 20 0 22 0 4679541 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 934 0 0 0 248 33 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=2.91 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 845 0 0 0 254 37 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 803 0 0 0 244 35 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 638 0 0 0 258 26 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 746 0 0 0 240 28 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 741 0 0 0 245 36 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=2.93 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 797 0 0 0 262 31 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=2.79 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 805 0 0 0 248 31 0 0 20 0 22 0 4679542 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=5.26 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 2740 0 0 0 517 9 0 0 20 0 22 0 4679544 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) S 12011 12014 6228 0 -1 4202560 5449 0 0 0 125 2 0 0 20 0 22 0 4679546 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458938374840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) S 12011 12014 6228 0 -1 4202560 9180 0 0 0 168 2 0 0 20 0 22 0 4679546 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458937322040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0.28 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 51 0 0 0 12 16 0 0 20 0 22 0 4679546 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12468] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12468/stat : 12468 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4739272 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458934162856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12637] ppid=12011 vsize=9824732 CPUtime=172.31 cores=1,3,5,7
/proc/12014/task/12637/stat : 12637 (java) R 12011 12014 6228 0 -1 4202560 11 0 0 0 17229 2 0 0 20 0 22 0 4750232 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458932048016 140459059126475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12638] ppid=12011 vsize=9824732 CPUtime=172.29 cores=1,3,5,7
/proc/12014/task/12638/stat : 12638 (java) R 12011 12014 6228 0 -1 4202560 11 0 0 0 17227 2 0 0 20 0 22 0 4750232 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458933108784 140459059310603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12639] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12639/stat : 12639 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4750232 10060525568 955470 33554432000 1073741824 1073778376 140733556970928 140458931004968 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1687.02
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.301 s]
/proc/loadavg: 4.06 4.02 3.98 5/219 12655
/proc/meminfo: memFree=22899272/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 30716 0 1 0 179404 597 0 0 20 0 22 0 4679540 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 1004993 2303 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2547 0 1 0 209 7 0 0 20 0 22 0 4679541 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 966 0 0 0 260 35 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 905 0 0 0 280 40 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 844 0 0 0 265 37 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 660 0 0 0 272 27 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 784 0 0 0 256 30 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 788 0 0 0 265 38 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 852 0 0 0 287 35 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 847 0 0 0 263 33 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=7.1 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 3129 0 0 0 700 10 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) S 12011 12014 6228 0 -1 4202560 5451 0 0 0 126 2 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458938374840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) S 12011 12014 6228 0 -1 4202560 9180 0 0 0 168 2 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458937322040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 55 0 0 0 13 17 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12468] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12468/stat : 12468 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4739272 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458934162856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12652] ppid=12011 vsize=9824732 CPUtime=36.85 cores=1,3,5,7
/proc/12014/task/12652/stat : 12652 (java) R 12011 12014 6228 0 -1 4202560 4 0 0 0 3685 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458932047632 140459058984060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12653] ppid=12011 vsize=9824732 CPUtime=36.86 cores=1,3,5,7
/proc/12014/task/12653/stat : 12653 (java) R 12011 12014 6228 0 -1 4202560 7 0 0 0 3686 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458931002320 140459059043194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12654] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12654/stat : 12654 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458933109928 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 12014 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+939.301 s]
/proc/loadavg: 4.06 4.02 3.98 5/219 12655
/proc/meminfo: memFree=22899272/32872528 swapFree=480236/529292
[pid=12014] ppid=12011 vsize=9824732 CPUtime=1800.01 cores=1,3,5,7
/proc/12014/stat : 12014 (java) S 12011 12014 6228 0 -1 4202496 30716 0 1 0 179404 597 0 0 20 0 22 0 4679540 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140733556962064 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12014/statm: 2456183 1004993 2303 9 0 2446860 0
[pid=12014/tid=12016] ppid=12011 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/12014/task/12016/stat : 12016 (java) S 12011 12014 6228 0 -1 4202560 2547 0 1 0 209 7 0 0 20 0 22 0 4679541 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459118519160 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12017] ppid=12011 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/12014/task/12017/stat : 12017 (java) S 12011 12014 6228 0 -1 4202560 966 0 0 0 260 35 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459057248552 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12018] ppid=12011 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/12014/task/12018/stat : 12018 (java) S 12011 12014 6228 0 -1 4202560 905 0 0 0 280 40 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459056195752 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12019] ppid=12011 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/12014/task/12019/stat : 12019 (java) S 12011 12014 6228 0 -1 4202560 844 0 0 0 265 37 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140459055143464 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12020] ppid=12011 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/12014/task/12020/stat : 12020 (java) S 12011 12014 6228 0 -1 4202560 660 0 0 0 272 27 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458958993832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12021] ppid=12011 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/12014/task/12021/stat : 12021 (java) S 12011 12014 6228 0 -1 4202560 784 0 0 0 256 30 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458957941544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12022] ppid=12011 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/12014/task/12022/stat : 12022 (java) S 12011 12014 6228 0 -1 4202560 788 0 0 0 265 38 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458956888744 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12023] ppid=12011 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/12014/task/12023/stat : 12023 (java) S 12011 12014 6228 0 -1 4202560 852 0 0 0 287 35 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458955836456 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12024] ppid=12011 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/12014/task/12024/stat : 12024 (java) S 12011 12014 6228 0 -1 4202560 847 0 0 0 263 33 0 0 20 0 22 0 4679542 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458954783656 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12025] ppid=12011 vsize=9824732 CPUtime=7.1 cores=1,3,5,7
/proc/12014/task/12025/stat : 12025 (java) S 12011 12014 6228 0 -1 4202560 3129 0 0 0 700 10 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458942585064 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12026] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12026/stat : 12026 (java) S 12011 12014 6228 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458941531128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12027] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12027/stat : 12027 (java) S 12011 12014 6228 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 22 0 4679544 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458940478728 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12028] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12028/stat : 12028 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458939427216 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12029] ppid=12011 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/12014/task/12029/stat : 12029 (java) S 12011 12014 6228 0 -1 4202560 5451 0 0 0 126 2 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458938374840 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12030] ppid=12011 vsize=9824732 CPUtime=1.7 cores=1,3,5,7
/proc/12014/task/12030/stat : 12030 (java) S 12011 12014 6228 0 -1 4202560 9180 0 0 0 168 2 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458937322040 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12031] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12031/stat : 12031 (java) S 12011 12014 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458936269944 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12014/tid=12032] ppid=12011 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/12014/task/12032/stat : 12032 (java) S 12011 12014 6228 0 -1 4202560 55 0 0 0 13 17 0 0 20 0 22 0 4679546 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458935217352 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12468] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12468/stat : 12468 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4739272 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458934162856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12014/tid=12652] ppid=12011 vsize=9824732 CPUtime=36.85 cores=1,3,5,7
/proc/12014/task/12652/stat : 12652 (java) R 12011 12014 6228 0 -1 4202560 4 0 0 0 3685 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458932047632 140459058984060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12014/tid=12653] ppid=12011 vsize=9824732 CPUtime=36.86 cores=1,3,5,7
/proc/12014/task/12653/stat : 12653 (java) R 12011 12014 6228 0 -1 4202560 7 0 0 0 3686 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458931002320 140459059043194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12014/tid=12654] ppid=12011 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/12014/task/12654/stat : 12654 (java) S 12011 12014 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4769578 10060525568 1004993 33554432000 1073741824 1073778376 140733556970928 140458933109928 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 939.346
CPU time (s): 1800.34
CPU user time (s): 1794.13
CPU system time (s): 6.21106
CPU usage (%): 191.659
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 6.21105
maximum resident set size= 4020124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30765
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26948
involuntary context switches= 23151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.12937 second user time and 4.67829 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-30 05:16:36
IDJOB=4119461
IDBENCH=111736
IDSOLVER=2543
FILE ID=node141/4119461-1467256596
RUNJOBID= node141-1467246696-6245
PBS_JOBID= 20004482
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= b5af46964a63234412542cf27a991a0e
RANDOM SEED=1231146822

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27299248 kB
Buffers:          139472 kB
Cached:           723852 kB
SwapCached:            0 kB
Active:          3619140 kB
Inactive:         678424 kB
Active(anon):    3434980 kB
Inactive(anon):     1852 kB
Active(file):     184160 kB
Inactive(file):   676572 kB
Unevictable:      529292 kB
Mlocked:          480236 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               448 kB
Writeback:             0 kB
AnonPages:       3933008 kB
Mapped:            22244 kB
Shmem:               204 kB
Slab:             609392 kB
SReclaimable:      53316 kB
SUnreclaim:       556076 kB
KernelStack:        1808 kB
PageTables:        11920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4403832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3358720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node141 at 2016-06-30 05:32:16