Trace number 4119550

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 Resolution PB16SAT (TO)-9835 1800.05 1770.12

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.opb
MD5SUM28a765edf66b70b0d65e7cfc7ea87990
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-12445
Best CPU time to get the best result obtained on this benchmark1800.43
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 7243
Biggest coefficient in the objective function 4380
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 889560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 4380
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 889560
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)7203
Sum of products size (including duplicates)23184
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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119550-1467261343.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.51/1.19	c ... done. Wall clock time 1.072s.
1.51/1.19	c declared #vars     40
1.51/1.19	c internal #vars     7243
1.51/1.19	c #constraints  14406
1.51/1.19	c constraints type 
1.51/1.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7203
1.51/1.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7203
1.51/1.19	c 14406 constraints processed.
1.51/1.19	c objective function length is 7243 literals
1.94/1.30	c SATISFIABLE
1.94/1.30	c OPTIMIZING...
1.94/1.30	c Got one! Elapsed wall clock time (in seconds):1.185
1.94/1.30	o 0
2.23/1.45	c Got one! Elapsed wall clock time (in seconds):1.336
2.23/1.45	o -171
2.53/1.57	c Got one! Elapsed wall clock time (in seconds):1.454
2.53/1.57	o -342
2.83/1.61	c Got one! Elapsed wall clock time (in seconds):1.498
2.83/1.61	o -632
2.83/1.64	c Got one! Elapsed wall clock time (in seconds):1.529
2.83/1.64	o -819
2.83/1.67	c Got one! Elapsed wall clock time (in seconds):1.557
2.83/1.67	o -922
2.83/1.68	c Got one! Elapsed wall clock time (in seconds):1.57
2.83/1.68	o -1287
3.13/1.71	c Got one! Elapsed wall clock time (in seconds):1.596
3.13/1.71	o -1340
3.13/1.74	c Got one! Elapsed wall clock time (in seconds):1.623
3.13/1.74	o -1385
3.13/1.75	c Got one! Elapsed wall clock time (in seconds):1.636
3.13/1.75	o -1445
3.13/1.76	c Got one! Elapsed wall clock time (in seconds):1.648
3.13/1.76	o -1490
3.13/1.77	c Got one! Elapsed wall clock time (in seconds):1.66
3.13/1.77	o -1652
3.13/1.79	c Got one! Elapsed wall clock time (in seconds):1.677
3.13/1.79	o -2056
3.25/1.85	c Got one! Elapsed wall clock time (in seconds):1.738
3.25/1.85	o -2059
3.25/1.86	c Got one! Elapsed wall clock time (in seconds):1.749
3.25/1.86	o -2463
3.35/1.96	c Got one! Elapsed wall clock time (in seconds):1.843
3.35/1.96	o -2466
3.35/1.99	c Got one! Elapsed wall clock time (in seconds):1.873
3.35/1.99	o -2791
3.54/2.11	c Got one! Elapsed wall clock time (in seconds):1.993
3.54/2.11	o -2917
3.54/2.17	c Got one! Elapsed wall clock time (in seconds):2.054
3.54/2.17	o -2920
3.65/2.23	c Got one! Elapsed wall clock time (in seconds):2.115
3.65/2.23	o -3354
4.02/2.54	c Got one! Elapsed wall clock time (in seconds):2.427
4.02/2.54	o -3373
4.12/2.63	c Got one! Elapsed wall clock time (in seconds):2.518
4.12/2.63	o -3374
4.12/2.67	c Got one! Elapsed wall clock time (in seconds):2.553
4.12/2.67	o -3847
4.74/3.24	c Got one! Elapsed wall clock time (in seconds):3.126
4.74/3.24	o -3865
4.84/3.34	c Got one! Elapsed wall clock time (in seconds):3.225
4.84/3.34	o -3866
4.94/3.41	c Got one! Elapsed wall clock time (in seconds):3.3
4.94/3.41	o -4242
5.72/4.11	c Got one! Elapsed wall clock time (in seconds):4.002
5.72/4.11	o -4244
6.13/4.52	c Got one! Elapsed wall clock time (in seconds):4.412
6.13/4.52	o -4264
6.32/4.74	c Got one! Elapsed wall clock time (in seconds):4.624
6.32/4.74	o -4299
6.42/4.85	c Got one! Elapsed wall clock time (in seconds):4.738
6.42/4.85	o -4333
6.52/4.91	c Got one! Elapsed wall clock time (in seconds):4.8
6.52/4.91	o -4344
6.52/4.93	c Got one! Elapsed wall clock time (in seconds):4.817
6.52/4.93	o -4358
6.52/4.98	c Got one! Elapsed wall clock time (in seconds):4.867
6.52/4.98	o -4574
7.81/6.29	c Got one! Elapsed wall clock time (in seconds):6.178
7.81/6.29	o -4614
8.57/6.98	c Got one! Elapsed wall clock time (in seconds):6.871
8.57/6.98	o -4633
8.67/7.07	c Got one! Elapsed wall clock time (in seconds):6.955
8.67/7.07	o -4638
8.77/7.12	c Got one! Elapsed wall clock time (in seconds):7.009
8.77/7.12	o -4815
9.17/7.55	c Got one! Elapsed wall clock time (in seconds):7.437
9.17/7.55	o -4853
9.38/7.75	c Got one! Elapsed wall clock time (in seconds):7.637
9.38/7.75	o -4873
9.72/7.96	c Got one! Elapsed wall clock time (in seconds):7.85
9.72/7.96	o -4876
9.82/8.03	c Got one! Elapsed wall clock time (in seconds):7.913
9.82/8.03	o -5294
12.22/10.42	c Got one! Elapsed wall clock time (in seconds):10.311
12.22/10.42	o -5376
13.02/11.27	c cleaning 5936 clauses out of 11872 with flag 2003/11872
13.84/12.10	c Got one! Elapsed wall clock time (in seconds):11.989
13.84/12.10	o -5381
14.64/12.89	c Got one! Elapsed wall clock time (in seconds):12.773
14.64/12.89	o -5390
15.39/13.43	c Got one! Elapsed wall clock time (in seconds):13.317
15.39/13.43	o -5391
15.69/13.73	c Got one! Elapsed wall clock time (in seconds):13.621
15.69/13.73	o -5394
15.69/13.75	c Got one! Elapsed wall clock time (in seconds):13.634
15.69/13.75	o -5922
18.79/16.80	c cleaning 6437 clauses out of 12873 with flag 8003/18809
20.09/18.18	c Got one! Elapsed wall clock time (in seconds):18.064
20.09/18.18	o -5939
23.25/21.14	c Got one! Elapsed wall clock time (in seconds):21.023
23.25/21.14	o -5940
24.05/21.99	c cleaning 6577 clauses out of 13153 with flag 2087/25526
25.87/23.71	c Got one! Elapsed wall clock time (in seconds):23.598
25.87/23.71	o -5943
26.26/24.01	c Got one! Elapsed wall clock time (in seconds):23.897
26.26/24.01	o -6471
28.46/26.26	c cleaning 5935 clauses out of 11872 with flag 6001/30822
32.95/30.60	c cleaning 5968 clauses out of 11937 with flag 18001/36822
35.86/33.57	c Got one! Elapsed wall clock time (in seconds):33.454
35.86/33.57	o -6486
36.91/34.44	c cleaning 5491 clauses out of 10988 with flag 2016/41841
41.72/39.27	c cleaning 5749 clauses out of 11497 with flag 14314/47841
45.77/43.16	c Got one! Elapsed wall clock time (in seconds):43.043
45.77/43.16	o -6492
46.67/44.04	c cleaning 5652 clauses out of 11307 with flag 2100/53400
46.97/44.38	c Got one! Elapsed wall clock time (in seconds):44.267
46.97/44.38	o -6877
50.77/48.15	c cleaning 5523 clauses out of 11054 with flag 10003/58799
55.26/52.57	c cleaning 5761 clauses out of 11531 with flag 22003/64799
60.48/57.70	c cleaning 6384 clauses out of 12769 with flag 36001/71798
64.09/61.17	c Got one! Elapsed wall clock time (in seconds):61.059
64.09/61.17	o -6912
64.89/61.97	c cleaning 5976 clauses out of 11951 with flag 2016/77364
69.39/66.49	c cleaning 5986 clauses out of 11975 with flag 14068/83364
74.89/71.97	c cleaning 6493 clauses out of 12990 with flag 28105/90365
74.89/71.98	c Got one! Elapsed wall clock time (in seconds):71.867
74.89/71.98	o -6915
79.19/76.11	c cleaning 5749 clauses out of 11504 with flag 10045/95372
81.09/78.05	c Got one! Elapsed wall clock time (in seconds):77.936
81.09/78.05	o -6919
82.79/79.78	c Got one! Elapsed wall clock time (in seconds):79.664
82.79/79.78	o -6930
83.79/80.70	c Got one! Elapsed wall clock time (in seconds):80.591
83.79/80.70	o -6933
83.89/80.88	c Got one! Elapsed wall clock time (in seconds):80.763
83.89/80.88	o -6940
84.19/81.17	c Got one! Elapsed wall clock time (in seconds):81.057
84.19/81.17	o -6946
84.29/81.28	c Got one! Elapsed wall clock time (in seconds):81.168
84.29/81.28	o -6952
84.60/81.59	c Got one! Elapsed wall clock time (in seconds):81.473
84.60/81.59	o -6962
85.29/82.23	c Got one! Elapsed wall clock time (in seconds):82.112
85.29/82.23	o -6963
86.19/83.12	c cleaning 6971 clauses out of 13941 with flag 2052/103558
86.39/83.30	c Got one! Elapsed wall clock time (in seconds):83.185
86.39/83.30	o -6964
86.39/83.36	c Got one! Elapsed wall clock time (in seconds):83.247
86.39/83.36	o -6979
86.39/83.40	c Got one! Elapsed wall clock time (in seconds):83.283
86.39/83.40	o -6988
86.49/83.41	c Got one! Elapsed wall clock time (in seconds):83.295
86.49/83.41	o -6999
86.49/83.44	c Got one! Elapsed wall clock time (in seconds):83.331
86.49/83.44	o -7017
86.59/83.52	c Got one! Elapsed wall clock time (in seconds):83.403
86.59/83.52	o -7028
86.99/84.00	c Got one! Elapsed wall clock time (in seconds):83.883
86.99/84.00	o -7031
87.09/84.06	c Got one! Elapsed wall clock time (in seconds):83.945
87.09/84.06	o -7052
87.09/84.07	c Got one! Elapsed wall clock time (in seconds):83.956
87.09/84.07	o -7059
88.09/85.01	c Got one! Elapsed wall clock time (in seconds):84.894
88.09/85.01	o -7526
91.22/88.09	c cleaning 6617 clauses out of 13240 with flag 8001/109828
95.62/92.48	c cleaning 6308 clauses out of 12623 with flag 20001/115828
100.81/97.63	c cleaning 6654 clauses out of 13316 with flag 34003/122829
106.52/103.34	c cleaning 7329 clauses out of 14661 with flag 50001/130828
113.25/109.99	c cleaning 8167 clauses out of 16333 with flag 68003/139829
120.86/117.60	c cleaning 9082 clauses out of 18166 with flag 88003/149829
130.06/126.66	c cleaning 10039 clauses out of 20084 with flag 110003/160829
140.14/136.52	c cleaning 11021 clauses out of 22044 with flag 134001/172828
144.64/141.00	c Got one! Elapsed wall clock time (in seconds):140.89
144.64/141.00	o -7550
148.75/145.03	c cleaning 10927 clauses out of 21856 with flag 10145/183661
153.47/149.75	c cleaning 8463 clauses out of 16928 with flag 22237/189660
154.86/151.14	c Got one! Elapsed wall clock time (in seconds):151.031
154.86/151.14	o -7565
158.33/154.57	c cleaning 7140 clauses out of 14281 with flag 8139/195476
160.83/157.02	c Got one! Elapsed wall clock time (in seconds):156.903
160.83/157.02	o -7593
163.44/159.66	c cleaning 6538 clauses out of 13076 with flag 6163/201411
163.53/159.77	c Got one! Elapsed wall clock time (in seconds):159.66
163.53/159.77	o -7608
164.23/160.41	c Got one! Elapsed wall clock time (in seconds):160.3
164.23/160.41	o -7619
164.33/160.58	c Got one! Elapsed wall clock time (in seconds):160.47
164.33/160.58	o -7626
167.01/163.10	c Got one! Elapsed wall clock time (in seconds):162.989
167.01/163.10	o -7931
168.41/164.58	c cleaning 6332 clauses out of 12670 with flag 4001/207543
172.91/169.04	c cleaning 6167 clauses out of 12339 with flag 16003/213544
178.18/174.22	c cleaning 6586 clauses out of 13171 with flag 30001/220543
184.29/180.24	c cleaning 7293 clauses out of 14586 with flag 46003/228544
190.99/186.91	c cleaning 8146 clauses out of 16293 with flag 64003/237544
197.87/193.77	c Got one! Elapsed wall clock time (in seconds):193.654
197.87/193.77	o -7936
202.35/198.02	c cleaning 10904 clauses out of 21814 with flag 10113/251211
207.05/202.73	c cleaning 8450 clauses out of 16909 with flag 22195/257210
212.46/208.18	c cleaning 7728 clauses out of 15459 with flag 36373/264210
218.82/214.40	c cleaning 7862 clauses out of 15732 with flag 52503/272211
226.32/221.88	c cleaning 8435 clauses out of 16870 with flag 70649/281211
234.61/230.06	c cleaning 9218 clauses out of 18435 with flag 90706/291211
240.49/235.82	c Got one! Elapsed wall clock time (in seconds):235.703
240.49/235.82	o -7992
244.29/239.69	c cleaning 10577 clauses out of 21160 with flag 10004/303154
248.84/244.16	c cleaning 8287 clauses out of 16582 with flag 22002/309153
254.22/249.43	c cleaning 7647 clauses out of 15295 with flag 36002/316153
260.10/255.28	c cleaning 7820 clauses out of 15648 with flag 52002/324153
267.08/262.12	c cleaning 8412 clauses out of 16829 with flag 70004/333154
274.56/269.53	c cleaning 9202 clauses out of 18416 with flag 90002/343153
283.51/278.43	c cleaning 10107 clauses out of 20215 with flag 112004/354154
293.38/288.13	c cleaning 11050 clauses out of 22108 with flag 136004/366154
298.83/293.53	c Got one! Elapsed wall clock time (in seconds):293.419
298.83/293.53	o -8013
303.33/297.99	c cleaning 11530 clauses out of 23068 with flag 10004/378164
305.93/300.52	c Got one! Elapsed wall clock time (in seconds):300.404
305.93/300.52	o -8025
307.73/302.35	c cleaning 8340 clauses out of 16683 with flag 4005/383309
309.65/304.20	c Got one! Elapsed wall clock time (in seconds):304.088
309.65/304.20	o -8028
309.85/304.45	c Got one! Elapsed wall clock time (in seconds):304.338
309.85/304.45	o -8034
309.95/304.54	c Got one! Elapsed wall clock time (in seconds):304.424
309.95/304.54	o -8043
309.95/304.55	c Got one! Elapsed wall clock time (in seconds):304.44
309.95/304.55	o -8054
310.16/304.73	c Got one! Elapsed wall clock time (in seconds):304.618
310.16/304.73	o -8076
310.45/305.01	c Got one! Elapsed wall clock time (in seconds):304.895
310.45/305.01	o -8085
312.55/307.17	c Got one! Elapsed wall clock time (in seconds):307.058
312.55/307.17	o -8089
312.55/307.19	c Got one! Elapsed wall clock time (in seconds):307.077
312.55/307.19	o -8094
312.75/307.34	c Got one! Elapsed wall clock time (in seconds):307.231
312.75/307.34	o -8095
313.25/307.88	c Got one! Elapsed wall clock time (in seconds):307.765
313.25/307.88	o -8097
314.34/308.82	c cleaning 7811 clauses out of 15626 with flag 2005/390592
316.74/311.26	c Got one! Elapsed wall clock time (in seconds):311.148
316.74/311.26	o -8100
316.85/311.37	c Got one! Elapsed wall clock time (in seconds):311.26
316.85/311.37	o -8101
316.95/311.46	c Got one! Elapsed wall clock time (in seconds):311.352
316.95/311.46	o -8117
317.24/311.70	c Got one! Elapsed wall clock time (in seconds):311.591
317.24/311.70	o -8126
317.24/311.77	c Got one! Elapsed wall clock time (in seconds):311.659
317.24/311.77	o -8144
317.44/311.96	c Got one! Elapsed wall clock time (in seconds):311.85
317.44/311.96	o -8153
317.74/312.21	c Got one! Elapsed wall clock time (in seconds):312.092
317.74/312.21	o -8161
317.74/312.25	c Got one! Elapsed wall clock time (in seconds):312.136
317.74/312.25	o -8175
319.33/313.77	c Got one! Elapsed wall clock time (in seconds):313.66
319.33/313.77	o -8182
319.83/314.28	c Got one! Elapsed wall clock time (in seconds):314.166
319.83/314.28	o -8192
319.93/314.31	c Got one! Elapsed wall clock time (in seconds):314.193
319.93/314.31	o -8201
319.93/314.32	c Got one! Elapsed wall clock time (in seconds):314.207
319.93/314.32	o -8208
321.63/316.05	c cleaning 8028 clauses out of 16061 with flag 4134/398838
326.37/320.75	c cleaning 7014 clauses out of 14033 with flag 16134/404838
326.98/321.32	c Got one! Elapsed wall clock time (in seconds):321.205
326.98/321.32	o -8379
330.77/325.07	c cleaning 6363 clauses out of 12741 with flag 10003/410560
335.19/329.47	c cleaning 6182 clauses out of 12377 with flag 22001/416559
340.44/334.62	c cleaning 6598 clauses out of 13195 with flag 36001/423559
346.69/340.83	c cleaning 7299 clauses out of 14598 with flag 52003/431560
353.33/347.44	c cleaning 8145 clauses out of 16299 with flag 70003/440560
360.89/354.82	c cleaning 9076 clauses out of 18153 with flag 90001/450559
369.53/363.30	c cleaning 10039 clauses out of 20077 with flag 112001/461559
378.72/372.43	c cleaning 11017 clauses out of 22039 with flag 136003/473560
389.03/382.54	c cleaning 12009 clauses out of 24022 with flag 162003/486560
400.08/393.40	c cleaning 13004 clauses out of 26013 with flag 190003/500560
412.60/405.68	c cleaning 14005 clauses out of 28009 with flag 220003/515560
425.82/418.68	c cleaning 14999 clauses out of 30003 with flag 252001/531559
440.42/432.94	c cleaning 16001 clauses out of 32004 with flag 286001/548559
455.06/447.38	c cleaning 17002 clauses out of 34004 with flag 322003/566560
460.12/452.34	c Got one! Elapsed wall clock time (in seconds):452.223
460.12/452.34	o -8601
464.61/456.76	c cleaning 14042 clauses out of 28098 with flag 10002/577656
469.46/461.52	c cleaning 10022 clauses out of 20057 with flag 22004/583657
474.81/466.85	c cleaning 8516 clauses out of 17035 with flag 36004/590657
481.16/473.13	c cleaning 8253 clauses out of 16519 with flag 52004/598657
488.20/480.15	c cleaning 8632 clauses out of 17266 with flag 70004/607657
496.08/487.98	c cleaning 9313 clauses out of 18634 with flag 90004/617657
504.97/496.78	c cleaning 10158 clauses out of 20321 with flag 112004/628657
514.84/506.45	c cleaning 11081 clauses out of 22162 with flag 136002/640656
525.85/517.16	c cleaning 12039 clauses out of 24082 with flag 162004/653657
537.38/528.58	c cleaning 13022 clauses out of 26043 with flag 190004/667657
544.48/535.51	c Got one! Elapsed wall clock time (in seconds):535.393
544.48/535.51	o -8602
548.91/539.83	c cleaning 13302 clauses out of 26611 with flag 10003/681247
553.67/544.58	c cleaning 9651 clauses out of 19309 with flag 22003/687247
559.39/550.22	c cleaning 8326 clauses out of 16659 with flag 36005/694248
565.69/556.40	c cleaning 8161 clauses out of 16332 with flag 52003/702247
572.71/563.39	c cleaning 8583 clauses out of 17172 with flag 70005/711248
580.82/571.36	c cleaning 9291 clauses out of 18588 with flag 90003/721247
589.82/580.23	c cleaning 10149 clauses out of 20297 with flag 112003/732247
591.35/581.73	c Got one! Elapsed wall clock time (in seconds):581.617
591.35/581.73	o -8704
594.74/585.08	c cleaning 7991 clauses out of 15985 with flag 8004/738084
599.69/589.97	c cleaning 6996 clauses out of 13994 with flag 20004/744084
605.39/595.57	c cleaning 6991 clauses out of 13998 with flag 34004/751084
611.91/601.90	c cleaning 7503 clauses out of 15007 with flag 50004/759084
618.36/608.23	c Got one! Elapsed wall clock time (in seconds):608.113
618.36/608.23	o -8731
622.83/612.69	c cleaning 10351 clauses out of 20706 with flag 10029/772286
627.85/617.68	c cleaning 8175 clauses out of 16356 with flag 22099/778287
633.45/623.17	c cleaning 7588 clauses out of 15180 with flag 36129/785286
633.65/623.39	c Got one! Elapsed wall clock time (in seconds):623.276
633.65/623.39	o -8736
634.45/624.18	c Got one! Elapsed wall clock time (in seconds):624.066
634.45/624.18	o -8746
634.75/624.49	c Got one! Elapsed wall clock time (in seconds):624.372
634.75/624.49	o -8748
634.85/624.51	c Got one! Elapsed wall clock time (in seconds):624.393
634.85/624.51	o -8757
635.16/624.90	c Got one! Elapsed wall clock time (in seconds):624.783
635.16/624.90	o -8768
636.09/625.77	c Got one! Elapsed wall clock time (in seconds):625.658
636.09/625.77	o -8781
636.19/625.81	c Got one! Elapsed wall clock time (in seconds):625.693
636.19/625.81	o -8790
640.55/630.17	c cleaning 7803 clauses out of 15612 with flag 10257/793306
644.17/633.77	c Got one! Elapsed wall clock time (in seconds):633.654
644.17/633.77	o -8881
644.96/634.52	c cleaning 6872 clauses out of 13758 with flag 2001/799255
649.53/639.03	c cleaning 6436 clauses out of 12886 with flag 14001/805255
654.92/644.33	c cleaning 6722 clauses out of 13451 with flag 28003/812256
661.27/650.58	c cleaning 7363 clauses out of 14728 with flag 44001/820255
668.47/657.67	c cleaning 8180 clauses out of 16366 with flag 62003/829256
676.33/665.33	c cleaning 9091 clauses out of 18185 with flag 82001/839255
685.02/673.85	c cleaning 10045 clauses out of 20094 with flag 104001/850255
694.60/683.25	c cleaning 11022 clauses out of 22049 with flag 128001/862255
704.84/693.14	c cleaning 12011 clauses out of 24027 with flag 154001/875255
716.04/704.16	c cleaning 13004 clauses out of 26016 with flag 182001/889255
728.18/716.14	c cleaning 14004 clauses out of 28012 with flag 212001/904255
741.08/728.84	c cleaning 15001 clauses out of 30008 with flag 244001/920255
755.16/742.53	c cleaning 16002 clauses out of 32007 with flag 278001/937255
770.44/757.54	c cleaning 16996 clauses out of 34006 with flag 314003/955256
786.76/773.55	c cleaning 18005 clauses out of 36010 with flag 352003/974256
804.02/790.53	c cleaning 18998 clauses out of 38004 with flag 392001/994255
821.31/807.56	c cleaning 20000 clauses out of 40006 with flag 434001/1015255
839.79/825.79	c cleaning 21001 clauses out of 42006 with flag 478001/1037255
859.26/844.90	c cleaning 21999 clauses out of 44005 with flag 524001/1060255
879.55/864.69	c cleaning 23001 clauses out of 46007 with flag 572003/1084256
900.98/885.62	c cleaning 23999 clauses out of 48006 with flag 622003/1109256
923.38/907.61	c cleaning 25001 clauses out of 50006 with flag 674001/1135255
928.26/912.38	c Got one! Elapsed wall clock time (in seconds):912.271
928.26/912.38	o -8938
932.46/916.55	c cleaning 17933 clauses out of 35876 with flag 10004/1146126
937.44/921.41	c cleaning 11965 clauses out of 23943 with flag 22004/1152126
942.99/926.94	c cleaning 9485 clauses out of 18978 with flag 36004/1159126
949.27/933.19	c cleaning 8741 clauses out of 17492 with flag 52002/1167125
956.46/940.20	c cleaning 8873 clauses out of 17752 with flag 70004/1176126
964.34/948.07	c cleaning 9433 clauses out of 18878 with flag 90002/1186125
973.31/956.94	c cleaning 10222 clauses out of 20446 with flag 112004/1197126
982.97/966.48	c cleaning 11110 clauses out of 22224 with flag 136004/1209126
993.26/976.64	c cleaning 12057 clauses out of 24113 with flag 162002/1222125
1004.79/988.02	c cleaning 13024 clauses out of 26057 with flag 190004/1236126
1010.33/993.56	c Got one! Elapsed wall clock time (in seconds):993.442
1010.33/993.56	o -8954
1014.63/997.71	c cleaning 12423 clauses out of 24852 with flag 10003/1247945
1019.27/1002.38	c cleaning 9213 clauses out of 18430 with flag 22005/1253946
1024.84/1007.87	c cleaning 8106 clauses out of 16217 with flag 36005/1260946
1031.40/1014.31	c cleaning 8053 clauses out of 16110 with flag 52003/1268945
1038.64/1021.59	c cleaning 8525 clauses out of 17057 with flag 70003/1277945
1046.61/1029.40	c cleaning 9264 clauses out of 18532 with flag 90003/1287945
1055.67/1038.35	c cleaning 10132 clauses out of 20268 with flag 112003/1298945
1056.37/1039.09	c Got one! Elapsed wall clock time (in seconds):1038.98
1056.37/1039.09	o -8974
1060.69/1043.36	c cleaning 8027 clauses out of 16062 with flag 10004/1304871
1065.73/1048.30	c cleaning 7012 clauses out of 14035 with flag 22004/1310871
1071.49/1054.02	c cleaning 7011 clauses out of 14024 with flag 36006/1317872
1078.17/1060.67	c cleaning 7504 clauses out of 15012 with flag 52004/1325871
1083.11/1065.55	c Got one! Elapsed wall clock time (in seconds):1065.434
1083.11/1065.55	o -8993
1087.70/1070.03	c cleaning 9356 clauses out of 18714 with flag 10007/1337077
1092.75/1075.05	c cleaning 7676 clauses out of 15357 with flag 22005/1343076
1097.09/1079.37	c Got one! Elapsed wall clock time (in seconds):1079.257
1097.09/1079.37	o -9007
1098.19/1080.41	c Got one! Elapsed wall clock time (in seconds):1080.294
1098.19/1080.41	o -9009
1098.39/1080.62	c Got one! Elapsed wall clock time (in seconds):1080.509
1098.39/1080.62	o -9016
1098.39/1080.66	c Got one! Elapsed wall clock time (in seconds):1080.547
1098.39/1080.66	o -9024
1098.78/1080.91	c Got one! Elapsed wall clock time (in seconds):1080.793
1098.78/1080.91	o -9034
1099.38/1081.57	c Got one! Elapsed wall clock time (in seconds):1081.455
1099.38/1081.57	o -9040
1100.88/1083.02	c Got one! Elapsed wall clock time (in seconds):1082.902
1100.88/1083.02	o -9043
1103.67/1085.74	c cleaning 9946 clauses out of 19895 with flag 6045/1355290
1104.96/1087.02	c Got one! Elapsed wall clock time (in seconds):1086.908
1104.96/1087.02	o -9067
1105.87/1088.00	c Got one! Elapsed wall clock time (in seconds):1087.887
1105.87/1088.00	o -9090
1105.97/1088.03	c Got one! Elapsed wall clock time (in seconds):1087.92
1105.97/1088.03	o -9099
1108.62/1090.69	c cleaning 7784 clauses out of 15575 with flag 6076/1360916
1111.43/1093.44	c Got one! Elapsed wall clock time (in seconds):1093.328
1111.43/1093.44	o -9152
1113.06/1095.09	c cleaning 6667 clauses out of 13349 with flag 4003/1366474
1117.80/1099.73	c cleaning 6337 clauses out of 12683 with flag 16005/1372475
1123.33/1105.21	c cleaning 6671 clauses out of 13346 with flag 30005/1379475
1129.54/1111.36	c cleaning 7337 clauses out of 14675 with flag 46005/1387475
1136.84/1118.57	c cleaning 8165 clauses out of 16337 with flag 64003/1396474
1145.24/1126.85	c cleaning 9082 clauses out of 18172 with flag 84003/1406474
1154.24/1135.68	c cleaning 10045 clauses out of 20090 with flag 106003/1417474
1158.20/1139.56	c Got one! Elapsed wall clock time (in seconds):1139.443
1158.20/1139.56	o -9164
1159.10/1140.40	c cleaning 7888 clauses out of 15789 with flag 2004/1423218
1164.21/1145.53	c cleaning 6948 clauses out of 13902 with flag 14006/1429219
1170.17/1151.46	c cleaning 6977 clauses out of 13954 with flag 28006/1436219
1176.66/1157.84	c cleaning 7487 clauses out of 14976 with flag 44004/1444218
1183.98/1165.09	c cleaning 8243 clauses out of 16489 with flag 62004/1453218
1184.79/1165.80	c Got one! Elapsed wall clock time (in seconds):1165.686
1184.79/1165.80	o -9179
1189.03/1170.07	c cleaning 7058 clauses out of 14128 with flag 10005/1459100
1194.32/1175.27	c cleaning 6531 clauses out of 13071 with flag 22007/1465101
1198.56/1179.44	c Got one! Elapsed wall clock time (in seconds):1179.325
1198.56/1179.44	o -9240
1200.76/1181.57	c Got one! Elapsed wall clock time (in seconds):1181.457
1200.76/1181.57	o -9250
1201.65/1182.47	c Got one! Elapsed wall clock time (in seconds):1182.357
1201.65/1182.47	o -9259
1204.44/1185.18	c cleaning 9010 clauses out of 18025 with flag 6063/1476586
1209.29/1189.95	c cleaning 7504 clauses out of 15015 with flag 18063/1482586
1209.91/1190.54	c Got one! Elapsed wall clock time (in seconds):1190.425
1209.91/1190.54	o -9262
1212.76/1193.37	c Got one! Elapsed wall clock time (in seconds):1193.255
1212.76/1193.37	o -9275
1214.36/1194.94	c cleaning 6738 clauses out of 13491 with flag 4004/1488566
1219.08/1199.52	c cleaning 6371 clauses out of 12753 with flag 16004/1494566
1224.61/1204.90	c cleaning 6689 clauses out of 13382 with flag 30004/1501566
1231.20/1211.44	c cleaning 7343 clauses out of 14693 with flag 46004/1509566
1238.46/1218.54	c cleaning 8172 clauses out of 16351 with flag 64006/1518567
1246.23/1226.15	c cleaning 9090 clauses out of 18179 with flag 84006/1528567
1255.10/1234.81	c cleaning 10044 clauses out of 20088 with flag 106004/1539566
1257.01/1236.77	c Got one! Elapsed wall clock time (in seconds):1236.653
1257.01/1236.77	o -9306
1259.66/1239.36	c cleaning 7776 clauses out of 15566 with flag 6005/1545088
1264.95/1244.50	c cleaning 6889 clauses out of 13790 with flag 18005/1551088
1271.16/1250.60	c cleaning 6950 clauses out of 13902 with flag 32007/1558089
1271.36/1250.82	c Got one! Elapsed wall clock time (in seconds):1250.708
1271.36/1250.82	o -9337
1274.89/1254.38	c Got one! Elapsed wall clock time (in seconds):1254.272
1274.89/1254.38	o -9343
1274.99/1254.44	c Got one! Elapsed wall clock time (in seconds):1254.323
1274.99/1254.44	o -9346
1276.74/1256.10	c cleaning 6629 clauses out of 13264 with flag 4014/1564401
1279.18/1258.51	c Got one! Elapsed wall clock time (in seconds):1258.395
1279.18/1258.51	o -9367
1280.08/1259.40	c Got one! Elapsed wall clock time (in seconds):1259.291
1280.08/1259.40	o -9368
1280.08/1259.42	c Got one! Elapsed wall clock time (in seconds):1259.308
1280.08/1259.42	o -9381
1281.94/1261.20	c cleaning 6336 clauses out of 12674 with flag 4040/1570440
1287.04/1266.21	c cleaning 6166 clauses out of 12338 with flag 16124/1576440
1292.72/1271.82	c cleaning 6582 clauses out of 13172 with flag 30124/1583440
1299.29/1278.28	c cleaning 7290 clauses out of 14590 with flag 46124/1591440
1306.26/1285.04	c cleaning 8151 clauses out of 16301 with flag 64126/1600441
1310.36/1289.20	c Got one! Elapsed wall clock time (in seconds):1289.087
1310.36/1289.20	o -9822
1314.35/1292.97	c cleaning 9333 clauses out of 18679 with flag 10001/1610970
1318.80/1297.34	c cleaning 7668 clauses out of 15347 with flag 22003/1616971
1323.88/1302.40	c cleaning 7333 clauses out of 14679 with flag 36003/1623971
1329.84/1308.21	c cleaning 7668 clauses out of 15346 with flag 52003/1631971
1336.60/1314.80	c cleaning 8338 clauses out of 16678 with flag 70003/1640971
1344.51/1322.69	c cleaning 9169 clauses out of 18340 with flag 90003/1650971
1353.46/1331.44	c cleaning 10084 clauses out of 20171 with flag 112003/1661971
1362.94/1340.77	c cleaning 11040 clauses out of 22086 with flag 136001/1673970
1373.67/1351.22	c cleaning 12020 clauses out of 24046 with flag 162001/1686970
1384.80/1362.16	c cleaning 13011 clauses out of 26027 with flag 190003/1700971
1396.67/1373.74	c cleaning 14004 clauses out of 28015 with flag 220001/1715970
1408.98/1385.89	c cleaning 15005 clauses out of 30012 with flag 252003/1731971
1422.99/1399.45	c cleaning 15999 clauses out of 32006 with flag 286001/1748970
1438.00/1414.14	c cleaning 17002 clauses out of 34008 with flag 322003/1766971
1453.66/1429.52	c cleaning 18000 clauses out of 36006 with flag 360003/1785971
1470.40/1445.92	c cleaning 19002 clauses out of 38006 with flag 400003/1805971
1488.02/1463.39	c cleaning 19999 clauses out of 40004 with flag 442003/1826971
1506.59/1481.59	c cleaning 21000 clauses out of 42005 with flag 486003/1848971
1526.00/1500.67	c cleaning 22001 clauses out of 44004 with flag 532001/1871970
1546.24/1520.41	c cleaning 22999 clauses out of 46003 with flag 580001/1895970
1566.90/1540.89	c cleaning 24001 clauses out of 48005 with flag 630003/1920971
1589.18/1562.78	c cleaning 24996 clauses out of 50003 with flag 682001/1946970
1611.54/1584.65	c cleaning 26003 clauses out of 52008 with flag 736003/1973971
1635.96/1608.68	c cleaning 26999 clauses out of 54005 with flag 792003/2001971
1660.75/1633.15	c cleaning 28001 clauses out of 56006 with flag 850003/2030971
1686.96/1658.87	c cleaning 29001 clauses out of 58005 with flag 910003/2060971
1714.00/1685.19	c cleaning 30001 clauses out of 60003 with flag 972001/2091970
1741.92/1712.69	c Got one! Elapsed wall clock time (in seconds):1712.572
1741.92/1712.69	o -9835
1747.34/1717.89	c cleaning 33337 clauses out of 66679 with flag 10004/2128647
1752.34/1722.83	c cleaning 19666 clauses out of 39342 with flag 22004/2134647
1757.97/1728.49	c cleaning 13334 clauses out of 26676 with flag 36004/2141647
1764.60/1735.05	c cleaning 10671 clauses out of 21342 with flag 52004/2149647
1771.79/1742.16	c cleaning 9828 clauses out of 19671 with flag 70004/2158647
1779.56/1749.90	c cleaning 9921 clauses out of 19842 with flag 90002/2168646
1788.49/1758.63	c cleaning 10457 clauses out of 20922 with flag 112004/2179647
1797.66/1767.78	c cleaning 11227 clauses out of 22464 with flag 136002/2191646
1800.05/1770.10	c starts		: 152
1800.05/1770.10	c conflicts		: 2194546
1800.05/1770.10	c decisions		: 2199742
1800.05/1770.10	c propagations		: 820843765
1800.05/1770.10	c inspects		: 5877392592
1800.05/1770.10	c shortcuts		: 0
1800.05/1770.10	c learnt literals	: 0
1800.05/1770.10	c learnt binary clauses	: 0
1800.05/1770.10	c learnt ternary clauses	: 0
1800.05/1770.10	c learnt constraints	: 2194545
1800.05/1770.10	c ignored constraints	: 0
1800.05/1770.10	c root simplifications	: 0
1800.05/1770.10	c removed literals (reason simplification)	: 0
1800.05/1770.10	c reason swapping (by a shorter reason)	: 0
1800.05/1770.10	c Calls to reduceDB	: 205
1800.05/1770.10	c Number of update (reduction) of LBD	: 278
1800.05/1770.10	c Imported unit clauses	: 0
1800.05/1770.10	c number of reductions to clauses (during analyze)	: 0
1800.05/1770.10	c number of learned constraints concerned by reduction	: 0
1800.05/1770.10	c number of learning phase by resolution	: 0
1800.05/1770.10	c number of learning phase by cutting planes	: 0
1800.05/1770.10	c speed (assignments/second)	: 464044.5505373426
1800.05/1770.10	c non guided choices	0
1800.05/1770.11	c learnt constraints type 
1800.05/1770.11	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14137
1800.05/1770.11	s SATISFIABLE
1800.05/1770.11	c Found 151 solution(s)
1800.05/1770.11	v -x1 -x2 x3 x4 x5 -x6 -x7 x8 -x9 -x10 -x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 -x30 -x31 -x32 -x33 x34 -x35 x36 x37 -x38 -x39 x40 
1800.05/1770.11	c objective function=-9835
1800.05/1770.11	c Total wall clock time (in seconds): 1769.997

Verifier Data 

OK	-9835

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-4119550-1467261343/watcher-4119550-1467261343 -o /tmp/evaluation-result-4119550-1467261343/solver-4119550-1467261343 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119550-1467261343.opb 

pid=8287
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: 2.14 2.19 2.18 3/192 8290
/proc/meminfo: memFree=29862276/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8290/stat : 8290 (java) D 8287 8290 6451 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 5160252 9515008 182 33554432000 1073741824 1073778376 140734011415168 140734011406200 227512499893 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/8290/statm: 2323 182 140 9 0 71 0

[startup+0.100158 s]
/proc/loadavg: 2.14 2.19 2.18 3/192 8290
/proc/meminfo: memFree=29862276/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 5160252 9787879424 6031 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2389619 6031 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20032 s]
/proc/loadavg: 2.14 2.19 2.18 3/192 8290
/proc/meminfo: memFree=29862276/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 4650 0 1 0 23 1 0 0 20 0 18 0 5160252 9787879424 6755 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2389619 6755 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300343 s]
/proc/loadavg: 2.14 2.19 2.18 3/192 8290
/proc/meminfo: memFree=29862276/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 5906 0 1 0 47 1 0 0 20 0 18 0 5160252 9787879424 7994 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2389619 7994 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700274 s]
/proc/loadavg: 2.14 2.19 2.18 3/192 8290
/proc/meminfo: memFree=29862276/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9558476 CPUtime=1.06 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 7202 0 1 0 104 2 0 0 20 0 18 0 5160252 9787879424 11379 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2389619 11379 2242 9 0 2380296 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9558476

[startup+1.50081 s]
/proc/loadavg: 2.14 2.19 2.18 3/210 8308
/proc/meminfo: memFree=29802916/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625528 CPUtime=2.53 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 20560 0 1 0 249 4 0 0 20 0 19 0 5160252 9856540672 21868 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406382 21868 2263 9 0 2397059 0
[pid=8290/tid=8292] ppid=8287 vsize=9625528 CPUtime=1.45 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2436 0 1 0 144 1 0 0 20 0 19 0 5160253 9856540672 21868 33554432000 1073741824 1073778376 140733403766016 140569292038296 140569295332181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21878 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21883 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21886 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5160254 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5160255 9856540672 21894 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5160256 9856540672 21902 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5160256 9856540672 21923 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856540672 21926 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625528 CPUtime=0.51 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) R 8287 8290 6451 0 -1 4202560 9807 0 0 0 49 2 0 0 20 0 19 0 5160258 9856540672 21926 33554432000 1073741824 1073778376 140733403766016 140568372946944 140569296164347 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625528 CPUtime=0.52 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) R 8287 8290 6451 0 -1 4202560 7098 0 0 0 52 0 0 0 20 0 19 0 5160258 9856540672 21926 33554432000 1073741824 1073778376 140733403766016 140568371894184 227512169165 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856540672 21926 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625528 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856540672 21930 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9625528

[startup+3.10079 s]
/proc/loadavg: 2.14 2.19 2.18 3/211 8309
/proc/meminfo: memFree=29708172/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625040 CPUtime=4.63 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 21668 0 1 0 458 5 0 0 20 0 19 0 5160252 9856040960 43016 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406260 43528 2273 9 0 2396937 0
[pid=8290/tid=8292] ppid=8287 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2479 0 1 0 302 2 0 0 20 0 19 0 5160253 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569292038448 140569299811155 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5160255 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) S 8287 8290 6451 0 -1 4202560 9875 0 0 0 79 2 0 0 20 0 19 0 5160258 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568372959416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) S 8287 8290 6451 0 -1 4202560 8037 0 0 0 71 2 0 0 20 0 19 0 5160258 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568371906616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 43528 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.13 2.19 2.18 3/211 8309
/proc/meminfo: memFree=29630632/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625040 CPUtime=7.91 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 21774 0 1 0 781 10 0 0 20 0 19 0 5160252 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406260 55135 2286 9 0 2396937 0
[pid=8290/tid=8292] ppid=8287 vsize=9625040 CPUtime=6.18 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2491 0 1 0 616 2 0 0 20 0 19 0 5160253 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569292046712 140569129797936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 5160254 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 5160255 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) R 8287 8290 6451 0 -1 4202560 9875 0 0 0 81 2 0 0 20 0 19 0 5160258 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568372959416 140569299763891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) S 8287 8290 6451 0 -1 4202560 8037 0 0 0 71 2 0 0 20 0 19 0 5160258 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568371906616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 55135 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 9625040

[startup+12.7008 s]
/proc/loadavg: 2.12 2.19 2.17 3/211 8309

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

[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 336671 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1690.52
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 1.29 1.69 1.97 2/186 8407
/proc/meminfo: memFree=28686344/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625040 CPUtime=1751.84 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 37286 0 1 0 174815 369 0 0 20 0 19 0 5160252 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406260 411027 2300 9 0 2396937 0
[pid=8290/tid=8292] ppid=8287 vsize=9625040 CPUtime=1702.62 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2862 0 1 0 170229 33 0 0 20 0 19 0 5160253 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569292037792 140569129803011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625040 CPUtime=4.63 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 1130 0 0 0 424 39 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 1798 0 0 0 440 42 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625040 CPUtime=4.77 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 1467 0 0 0 435 42 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625040 CPUtime=5.26 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 1554 0 0 0 479 47 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625040 CPUtime=4.68 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 1239 0 0 0 429 39 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 1186 0 0 0 436 37 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625040 CPUtime=4.93 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 1404 0 0 0 445 48 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625040 CPUtime=4.79 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 1884 0 0 0 433 46 0 0 20 0 19 0 5160254 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625040 CPUtime=4.38 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 3442 0 0 0 431 7 0 0 20 0 19 0 5160255 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) S 8287 8290 6451 0 -1 4202560 9917 0 0 0 97 2 0 0 20 0 19 0 5160258 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568372959416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) S 8287 8290 6451 0 -1 4202560 8041 0 0 0 73 2 0 0 20 0 19 0 5160258 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568371906616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625040 CPUtime=0.28 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 99 0 0 0 15 13 0 0 20 0 19 0 5160258 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 411027 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1751.84
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.1 s]
/proc/loadavg: 1.29 1.63 1.93 2/186 8408
/proc/meminfo: memFree=28639172/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 37411 0 1 0 179630 375 0 0 20 0 19 0 5160252 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406260 422819 2300 9 0 2396937 0
[pid=8290/tid=8292] ppid=8287 vsize=9625040 CPUtime=1750.14 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2868 0 1 0 174980 34 0 0 20 0 19 0 5160253 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569292037792 140569129973020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 1143 0 0 0 427 40 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625040 CPUtime=4.91 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 1816 0 0 0 448 43 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625040 CPUtime=4.81 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 1479 0 0 0 438 43 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625040 CPUtime=5.34 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 1562 0 0 0 486 48 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 1247 0 0 0 432 40 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 1196 0 0 0 444 38 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625040 CPUtime=5.04 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 1421 0 0 0 456 48 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 1890 0 0 0 441 46 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625040 CPUtime=4.38 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 3465 0 0 0 431 7 0 0 20 0 19 0 5160255 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) S 8287 8290 6451 0 -1 4202560 9917 0 0 0 97 2 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568372959416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) S 8287 8290 6451 0 -1 4202560 8041 0 0 0 73 2 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568371906616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 103 0 0 0 15 14 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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 8290 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1770.1 s]
/proc/loadavg: 1.29 1.63 1.93 2/186 8408
/proc/meminfo: memFree=28639172/32872528 swapFree=1298332/1461852
[pid=8290] ppid=8287 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/8290/stat : 8290 (java) S 8287 8290 6451 0 -1 4202496 37411 0 1 0 179630 375 0 0 20 0 19 0 5160252 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140733403757152 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8290/statm: 2406260 422819 2300 9 0 2396937 0
[pid=8290/tid=8292] ppid=8287 vsize=9625040 CPUtime=1750.14 cores=1,3,5,7
/proc/8290/task/8292/stat : 8292 (java) R 8287 8290 6451 0 -1 4202560 2868 0 1 0 174980 34 0 0 20 0 19 0 5160253 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569292037792 140569129973020 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8293] ppid=8287 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/8290/task/8293/stat : 8293 (java) S 8287 8290 6451 0 -1 4202560 1143 0 0 0 427 40 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569253538600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8294] ppid=8287 vsize=9625040 CPUtime=4.91 cores=1,3,5,7
/proc/8290/task/8294/stat : 8294 (java) S 8287 8290 6451 0 -1 4202560 1816 0 0 0 448 43 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569252485800 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8295] ppid=8287 vsize=9625040 CPUtime=4.81 cores=1,3,5,7
/proc/8290/task/8295/stat : 8295 (java) S 8287 8290 6451 0 -1 4202560 1479 0 0 0 438 43 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569251433512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8296] ppid=8287 vsize=9625040 CPUtime=5.34 cores=1,3,5,7
/proc/8290/task/8296/stat : 8296 (java) S 8287 8290 6451 0 -1 4202560 1562 0 0 0 486 48 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569250380712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8297] ppid=8287 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/8290/task/8297/stat : 8297 (java) S 8287 8290 6451 0 -1 4202560 1247 0 0 0 432 40 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569249327400 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8298] ppid=8287 vsize=9625040 CPUtime=4.82 cores=1,3,5,7
/proc/8290/task/8298/stat : 8298 (java) S 8287 8290 6451 0 -1 4202560 1196 0 0 0 444 38 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569248274600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8299] ppid=8287 vsize=9625040 CPUtime=5.04 cores=1,3,5,7
/proc/8290/task/8299/stat : 8299 (java) S 8287 8290 6451 0 -1 4202560 1421 0 0 0 456 48 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569128987176 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8300] ppid=8287 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/8290/task/8300/stat : 8300 (java) S 8287 8290 6451 0 -1 4202560 1890 0 0 0 441 46 0 0 20 0 19 0 5160254 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569127934376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8290/tid=8301] ppid=8287 vsize=9625040 CPUtime=4.38 cores=1,3,5,7
/proc/8290/task/8301/stat : 8301 (java) S 8287 8290 6451 0 -1 4202560 3465 0 0 0 431 7 0 0 20 0 19 0 5160255 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569115736808 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8302] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8302/stat : 8302 (java) S 8287 8290 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569114682872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8303] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8303/stat : 8303 (java) S 8287 8290 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5160256 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140569113630472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8304] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8304/stat : 8304 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568374012816 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8305] ppid=8287 vsize=9625040 CPUtime=0.99 cores=1,3,5,7
/proc/8290/task/8305/stat : 8305 (java) S 8287 8290 6451 0 -1 4202560 9917 0 0 0 97 2 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568372959416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8290/tid=8306] ppid=8287 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8290/task/8306/stat : 8306 (java) S 8287 8290 6451 0 -1 4202560 8041 0 0 0 73 2 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568371906616 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8307] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8307/stat : 8307 (java) S 8287 8290 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568370854520 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8290/tid=8308] ppid=8287 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/8290/task/8308/stat : 8308 (java) S 8287 8290 6451 0 -1 4202560 103 0 0 0 15 14 0 0 20 0 19 0 5160258 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568369801928 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8290/tid=8309] ppid=8287 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8290/task/8309/stat : 8309 (java) S 8287 8290 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 5160374 9856040960 422819 33554432000 1073741824 1073778376 140733403766016 140568368747944 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8290 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=818602
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=182364
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1770.12
CPU time (s): 1800.05
CPU user time (s): 1796.3
CPU system time (s): 3.75
CPU usage (%): 101.691
Max. virtual memory (cumulated for all children) (KiB): 9625528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.82
system time used= 4.18236
maximum resident set size= 1691404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37450
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49076
involuntary context switches= 57006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8845 second user time and 12.1701 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 06:35:43
IDJOB=4119550
IDBENCH=111758
IDSOLVER=2546
FILE ID=node121/4119550-1467261343
RUNJOBID= node121-1467250272-6981
PBS_JOBID= 20004469
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119550-1467261343/watcher-4119550-1467261343 -o /tmp/evaluation-result-4119550-1467261343/solver-4119550-1467261343 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119550-1467261343.opb

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

MD5SUM BENCH= 28a765edf66b70b0d65e7cfc7ea87990
RANDOM SEED=873434225

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29862540 kB
Buffers:           99236 kB
Cached:           227284 kB
SwapCached:            0 kB
Active:           593556 kB
Inactive:         210596 kB
Active(anon):     464820 kB
Inactive(anon):    15388 kB
Active(file):     128736 kB
Inactive(file):   195208 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:       1943868 kB
Mapped:            22136 kB
Shmem:               204 kB
Slab:             607720 kB
SReclaimable:      51976 kB
SUnreclaim:       555744 kB
KernelStack:        1744 kB
PageTables:         8272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2115412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    593920 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 node121 at 2016-06-30 07:05:13