Trace number 4119378

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)-2993 1800.06 1769.83

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.opb
MD5SUM9dff5eac4e461913f3a31c99f046fd52
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-5712
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of 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 4457
Biggest coefficient in the objective function 1072
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 385472
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1072
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 385472
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)4407
Sum of products size (including duplicates)13934
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-4119378-1467256615.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.95/0.63	c ... done. Wall clock time 0.515s.
0.95/0.63	c declared #vars     50
0.95/0.63	c internal #vars     4457
0.95/0.63	c #constraints  8814
0.95/0.63	c constraints type 
0.95/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4407
0.95/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4407
0.95/0.63	c 8814 constraints processed.
0.95/0.63	c objective function length is 4457 literals
1.20/0.71	c SATISFIABLE
1.20/0.71	c OPTIMIZING...
1.20/0.71	c Got one! Elapsed wall clock time (in seconds):0.596
1.20/0.71	o 0
1.20/0.78	c Got one! Elapsed wall clock time (in seconds):0.671
1.20/0.78	o -66
1.42/0.82	c Got one! Elapsed wall clock time (in seconds):0.704
1.42/0.82	o -132
1.42/0.84	c Got one! Elapsed wall clock time (in seconds):0.729
1.42/0.84	o -233
1.42/0.87	c Got one! Elapsed wall clock time (in seconds):0.761
1.42/0.87	o -308
1.72/0.92	c Got one! Elapsed wall clock time (in seconds):0.808
1.72/0.92	o -334
1.72/0.93	c Got one! Elapsed wall clock time (in seconds):0.818
1.72/0.93	o -447
1.72/0.94	c Got one! Elapsed wall clock time (in seconds):0.831
1.72/0.94	o -451
1.72/0.95	c Got one! Elapsed wall clock time (in seconds):0.841
1.72/0.95	o -564
1.72/0.97	c Got one! Elapsed wall clock time (in seconds):0.857
1.72/0.97	o -568
1.72/0.98	c Got one! Elapsed wall clock time (in seconds):0.867
1.72/0.98	o -698
1.93/1.00	c Got one! Elapsed wall clock time (in seconds):0.887
1.93/1.00	o -701
1.93/1.02	c Got one! Elapsed wall clock time (in seconds):0.904
1.93/1.02	o -804
1.93/1.05	c Got one! Elapsed wall clock time (in seconds):0.935
1.93/1.05	o -807
1.93/1.08	c Got one! Elapsed wall clock time (in seconds):0.964
1.93/1.08	o -826
1.93/1.09	c Got one! Elapsed wall clock time (in seconds):0.978
1.93/1.09	o -828
1.93/1.10	c Got one! Elapsed wall clock time (in seconds):0.986
1.93/1.10	o -834
2.05/1.11	c Got one! Elapsed wall clock time (in seconds):0.997
2.05/1.11	o -938
2.05/1.20	c Got one! Elapsed wall clock time (in seconds):1.087
2.05/1.20	o -962
2.20/1.23	c Got one! Elapsed wall clock time (in seconds):1.119
2.20/1.23	o -968
2.20/1.25	c Got one! Elapsed wall clock time (in seconds):1.133
2.20/1.25	o -972
2.20/1.25	c Got one! Elapsed wall clock time (in seconds):1.139
2.20/1.25	o -980
2.20/1.27	c Got one! Elapsed wall clock time (in seconds):1.159
2.20/1.27	o -1075
2.30/1.37	c Got one! Elapsed wall clock time (in seconds):1.253
2.30/1.37	o -1081
2.40/1.42	c Got one! Elapsed wall clock time (in seconds):1.311
2.40/1.42	o -1126
2.40/1.48	c Got one! Elapsed wall clock time (in seconds):1.367
2.40/1.48	o -1226
2.50/1.59	c Got one! Elapsed wall clock time (in seconds):1.479
2.50/1.59	o -1231
2.60/1.68	c Got one! Elapsed wall clock time (in seconds):1.572
2.60/1.68	o -1260
2.70/1.77	c Got one! Elapsed wall clock time (in seconds):1.657
2.70/1.77	o -1263
2.80/1.81	c Got one! Elapsed wall clock time (in seconds):1.693
2.80/1.81	o -1277
2.80/1.88	c Got one! Elapsed wall clock time (in seconds):1.77
2.80/1.88	o -1360
3.21/2.25	c Got one! Elapsed wall clock time (in seconds):2.141
3.21/2.25	o -1373
3.40/2.41	c Got one! Elapsed wall clock time (in seconds):2.296
3.40/2.41	o -1374
3.40/2.47	c Got one! Elapsed wall clock time (in seconds):2.357
3.40/2.47	o -1380
3.40/2.48	c Got one! Elapsed wall clock time (in seconds):2.368
3.40/2.48	o -1382
3.50/2.50	c Got one! Elapsed wall clock time (in seconds):2.39
3.50/2.50	o -1387
3.60/2.62	c Got one! Elapsed wall clock time (in seconds):2.503
3.60/2.62	o -1398
3.60/2.63	c Got one! Elapsed wall clock time (in seconds):2.514
3.60/2.63	o -1400
3.60/2.64	c Got one! Elapsed wall clock time (in seconds):2.523
3.60/2.64	o -1414
3.60/2.65	c Got one! Elapsed wall clock time (in seconds):2.536
3.60/2.65	o -1426
3.60/2.66	c Got one! Elapsed wall clock time (in seconds):2.552
3.60/2.66	o -1428
3.71/2.75	c Got one! Elapsed wall clock time (in seconds):2.64
3.71/2.75	o -1500
4.29/3.20	c Got one! Elapsed wall clock time (in seconds):3.086
4.29/3.20	o -1516
4.44/3.40	c Got one! Elapsed wall clock time (in seconds):3.286
4.44/3.40	o -1520
4.54/3.49	c Got one! Elapsed wall clock time (in seconds):3.376
4.54/3.49	o -1535
4.64/3.51	c Got one! Elapsed wall clock time (in seconds):3.401
4.64/3.51	o -1537
4.64/3.58	c Got one! Elapsed wall clock time (in seconds):3.468
4.64/3.58	o -1558
4.94/3.90	c Got one! Elapsed wall clock time (in seconds):3.783
4.94/3.90	o -1563
5.24/4.12	c Got one! Elapsed wall clock time (in seconds):4.01
5.24/4.12	o -1572
5.24/4.15	c Got one! Elapsed wall clock time (in seconds):4.037
5.24/4.15	o -1573
5.24/4.16	c Got one! Elapsed wall clock time (in seconds):4.048
5.24/4.16	o -1580
5.24/4.17	c Got one! Elapsed wall clock time (in seconds):4.061
5.24/4.17	o -1581
5.44/4.33	c Got one! Elapsed wall clock time (in seconds):4.221
5.44/4.33	o -1702
6.68/5.55	c Got one! Elapsed wall clock time (in seconds):5.433
6.68/5.55	o -1726
7.59/6.42	c cleaning 6350 clauses out of 12703 with flag 4002/12703
7.79/6.52	c Got one! Elapsed wall clock time (in seconds):6.412
7.79/6.52	o -1734
8.59/7.21	c Got one! Elapsed wall clock time (in seconds):7.097
8.59/7.21	o -1826
10.37/8.84	c cleaning 6174 clauses out of 12349 with flag 8003/18699
10.47/8.99	c Got one! Elapsed wall clock time (in seconds):8.876
10.47/8.99	o -1831
11.27/9.76	c Got one! Elapsed wall clock time (in seconds):9.652
11.27/9.76	o -1846
11.47/9.99	c Got one! Elapsed wall clock time (in seconds):9.882
11.47/9.99	o -1847
11.58/10.06	c Got one! Elapsed wall clock time (in seconds):9.946
11.58/10.06	o -1862
12.68/11.13	c Got one! Elapsed wall clock time (in seconds):11.018
12.68/11.13	o -1865
13.47/11.97	c Got one! Elapsed wall clock time (in seconds):11.855
13.47/11.97	o -1885
13.59/12.07	c Got one! Elapsed wall clock time (in seconds):11.953
13.59/12.07	o -1886
13.59/12.09	c Got one! Elapsed wall clock time (in seconds):11.976
13.59/12.09	o -1887
13.79/12.29	c Got one! Elapsed wall clock time (in seconds):12.179
13.79/12.29	o -1890
14.54/12.84	c Got one! Elapsed wall clock time (in seconds):12.73
14.54/12.84	o -2008
16.24/14.56	c cleaning 9951 clauses out of 19902 with flag 8003/32426
18.77/17.01	c cleaning 7974 clauses out of 15951 with flag 20003/38426
19.16/17.44	c Got one! Elapsed wall clock time (in seconds):17.324
19.16/17.44	o -2024
20.87/19.09	c cleaning 6545 clauses out of 13096 with flag 8004/43545
22.57/20.77	c Got one! Elapsed wall clock time (in seconds):20.655
22.57/20.77	o -2028
22.97/21.19	c cleaning 5986 clauses out of 11977 with flag 2031/48971
24.07/22.21	c Got one! Elapsed wall clock time (in seconds):22.095
24.07/22.21	o -2031
24.17/22.30	c Got one! Elapsed wall clock time (in seconds):22.186
24.17/22.30	o -2032
24.17/22.32	c Got one! Elapsed wall clock time (in seconds):22.204
24.17/22.32	o -2040
24.17/22.40	c Got one! Elapsed wall clock time (in seconds):22.284
24.17/22.40	o -2043
24.47/22.62	c Got one! Elapsed wall clock time (in seconds):22.509
24.47/22.62	o -2044
24.47/22.66	c Got one! Elapsed wall clock time (in seconds):22.549
24.47/22.66	o -2045
24.47/22.67	c Got one! Elapsed wall clock time (in seconds):22.556
24.47/22.67	o -2046
25.47/23.61	c Got one! Elapsed wall clock time (in seconds):23.499
25.47/23.61	o -2113
25.87/24.05	c cleaning 6531 clauses out of 13066 with flag 2001/56046
28.16/26.37	c cleaning 6266 clauses out of 12535 with flag 14001/62046
30.06/28.24	c Got one! Elapsed wall clock time (in seconds):28.129
30.06/28.24	o -2123
30.70/28.76	c cleaning 6014 clauses out of 12036 with flag 2002/67813
33.09/31.10	c cleaning 6011 clauses out of 12023 with flag 14004/73814
33.49/31.55	c Got one! Elapsed wall clock time (in seconds):31.434
33.49/31.55	o -2133
35.00/33.00	c Got one! Elapsed wall clock time (in seconds):32.891
35.00/33.00	o -2134
35.00/33.08	c Got one! Elapsed wall clock time (in seconds):32.97
35.00/33.08	o -2138
35.19/33.27	c Got one! Elapsed wall clock time (in seconds):33.158
35.19/33.27	o -2141
35.69/33.73	c cleaning 6263 clauses out of 12528 with flag 2053/80330
35.79/33.82	c Got one! Elapsed wall clock time (in seconds):33.705
35.79/33.82	o -2143
35.79/33.89	c Got one! Elapsed wall clock time (in seconds):33.775
35.79/33.89	o -2149
35.89/33.91	c Got one! Elapsed wall clock time (in seconds):33.795
35.89/33.91	o -2156
36.09/34.18	c Got one! Elapsed wall clock time (in seconds):34.066
36.09/34.18	o -2159
36.49/34.55	c Got one! Elapsed wall clock time (in seconds):34.436
36.49/34.55	o -2183
38.39/36.47	c cleaning 6624 clauses out of 13252 with flag 10004/87317
40.57/38.57	c Got one! Elapsed wall clock time (in seconds):38.453
40.57/38.57	o -2192
42.66/40.61	c cleaning 8555 clauses out of 17113 with flag 10003/97802
43.56/41.52	c Got one! Elapsed wall clock time (in seconds):41.404
43.56/41.52	o -2195
43.76/41.72	c Got one! Elapsed wall clock time (in seconds):41.603
43.76/41.72	o -2199
43.87/41.90	c Got one! Elapsed wall clock time (in seconds):41.791
43.87/41.90	o -2202
45.17/43.11	c cleaning 7407 clauses out of 14813 with flag 6012/104057
46.47/44.46	c Got one! Elapsed wall clock time (in seconds):44.346
46.47/44.46	o -2239
47.37/45.31	c cleaning 6493 clauses out of 12994 with flag 4003/109645
49.67/47.60	c cleaning 6250 clauses out of 12500 with flag 16001/115644
52.30/50.25	c cleaning 6621 clauses out of 13250 with flag 30001/122644
55.30/53.27	c cleaning 7312 clauses out of 14629 with flag 46001/130644
58.90/56.86	c cleaning 8159 clauses out of 16318 with flag 64003/139645
63.21/61.01	c cleaning 9079 clauses out of 18159 with flag 84003/149645
64.91/62.75	c Got one! Elapsed wall clock time (in seconds):62.638
64.91/62.75	o -2244
65.31/63.17	c cleaning 7260 clauses out of 14529 with flag 2004/155094
67.71/65.58	c cleaning 6631 clauses out of 13268 with flag 14002/161093
68.01/65.81	c Got one! Elapsed wall clock time (in seconds):65.698
68.01/65.81	o -2249
69.84/67.55	c Got one! Elapsed wall clock time (in seconds):67.434
69.84/67.55	o -2272
70.34/68.00	c cleaning 6169 clauses out of 12341 with flag 2063/166797
71.43/69.15	c Got one! Elapsed wall clock time (in seconds):69.04
71.43/69.15	o -2275
72.33/70.02	c cleaning 5607 clauses out of 11222 with flag 4009/171847
73.03/70.74	c Got one! Elapsed wall clock time (in seconds):70.626
73.03/70.74	o -2302
74.33/72.01	c Got one! Elapsed wall clock time (in seconds):71.898
74.33/72.01	o -2304
74.43/72.11	c Got one! Elapsed wall clock time (in seconds):72.0
74.43/72.11	o -2315
74.83/72.54	c cleaning 5946 clauses out of 11904 with flag 2063/178136
77.14/74.83	c cleaning 5980 clauses out of 11959 with flag 14065/184137
77.43/75.11	c Got one! Elapsed wall clock time (in seconds):74.993
77.43/75.11	o -2322
79.50/77.13	c cleaning 5887 clauses out of 11775 with flag 10003/189933
81.70/79.38	c cleaning 5940 clauses out of 11888 with flag 22003/195933
83.09/80.79	c Got one! Elapsed wall clock time (in seconds):80.674
83.09/80.79	o -2340
83.49/81.10	c Got one! Elapsed wall clock time (in seconds):80.991
83.49/81.10	o -2343
83.49/81.16	c Got one! Elapsed wall clock time (in seconds):81.051
83.49/81.16	o -2354
83.49/81.18	c Got one! Elapsed wall clock time (in seconds):81.066
83.49/81.18	o -2358
84.39/82.04	c cleaning 6302 clauses out of 12610 with flag 4012/202595
86.77/84.38	c cleaning 6150 clauses out of 12308 with flag 16012/208595
89.07/86.61	c Got one! Elapsed wall clock time (in seconds):86.498
89.07/86.61	o -2396
91.07/88.63	c cleaning 8610 clauses out of 17233 with flag 10001/219670
93.37/90.96	c cleaning 7309 clauses out of 14624 with flag 22003/225671
96.22/93.74	c cleaning 7154 clauses out of 14314 with flag 36001/232670
99.43/96.92	c cleaning 7574 clauses out of 15160 with flag 52001/240670
102.97/100.41	c cleaning 8292 clauses out of 16586 with flag 70001/249670
106.77/104.25	c cleaning 9140 clauses out of 18294 with flag 90001/259670
111.25/108.62	c cleaning 10075 clauses out of 20155 with flag 112003/270671
115.85/113.28	c cleaning 11041 clauses out of 22081 with flag 136005/282672
121.24/118.50	c cleaning 12017 clauses out of 24038 with flag 162001/295670
127.17/124.39	c cleaning 13010 clauses out of 26022 with flag 190003/309671
128.27/125.41	c Got one! Elapsed wall clock time (in seconds):125.296
128.27/125.41	o -2403
129.56/126.71	c cleaning 9291 clauses out of 18593 with flag 6004/315252
131.96/129.15	c cleaning 7646 clauses out of 15301 with flag 18002/321251
135.00/132.07	c cleaning 7320 clauses out of 14655 with flag 32002/328251
138.19/135.29	c cleaning 7666 clauses out of 15335 with flag 48002/336251
140.29/137.36	c Got one! Elapsed wall clock time (in seconds):137.251
140.29/137.36	o -2410
142.41/139.49	c cleaning 8982 clauses out of 17972 with flag 10005/346554
143.41/140.45	c Got one! Elapsed wall clock time (in seconds):140.336
143.41/140.45	o -2415
144.61/141.68	c cleaning 7240 clauses out of 14483 with flag 6023/352047
145.02/142.05	c Got one! Elapsed wall clock time (in seconds):141.935
145.02/142.05	o -2419
145.81/142.80	c Got one! Elapsed wall clock time (in seconds):142.692
145.81/142.80	o -2426
146.51/143.54	c Got one! Elapsed wall clock time (in seconds):143.427
146.51/143.54	o -2436
146.73/143.78	c Got one! Elapsed wall clock time (in seconds):143.672
146.73/143.78	o -2437
146.93/143.91	c Got one! Elapsed wall clock time (in seconds):143.798
146.93/143.91	o -2443
146.93/143.95	c Got one! Elapsed wall clock time (in seconds):143.834
146.93/143.95	o -2450
147.89/144.83	c cleaning 7506 clauses out of 15015 with flag 4020/359819
148.40/145.36	c Got one! Elapsed wall clock time (in seconds):145.244
148.40/145.36	o -2452
148.69/145.65	c Got one! Elapsed wall clock time (in seconds):145.535
148.69/145.65	o -2467
148.69/145.70	c Got one! Elapsed wall clock time (in seconds):145.584
148.69/145.70	o -2469
150.29/147.25	c cleaning 6863 clauses out of 13733 with flag 8112/366043
152.59/149.52	c Got one! Elapsed wall clock time (in seconds):149.411
152.59/149.52	o -2481
154.76/151.62	c cleaning 8916 clauses out of 17841 with flag 10005/377014
157.06/153.97	c cleaning 7457 clauses out of 14925 with flag 22005/383014
158.86/155.75	c Got one! Elapsed wall clock time (in seconds):155.642
158.86/155.75	o -2485
159.26/156.20	c cleaning 6543 clauses out of 13098 with flag 2006/388644
159.66/156.59	c Got one! Elapsed wall clock time (in seconds):156.474
159.66/156.59	o -2503
160.06/156.90	c Got one! Elapsed wall clock time (in seconds):156.791
160.06/156.90	o -2507
160.06/156.94	c Got one! Elapsed wall clock time (in seconds):156.832
160.06/156.94	o -2508
160.06/156.96	c Got one! Elapsed wall clock time (in seconds):156.846
160.06/156.96	o -2512
161.71/158.58	c cleaning 6231 clauses out of 12464 with flag 8021/394553
163.91/160.80	c cleaning 6112 clauses out of 12232 with flag 20019/400552
166.74/163.51	c cleaning 6557 clauses out of 13121 with flag 34021/407553
169.74/166.52	c cleaning 7278 clauses out of 14563 with flag 50019/415552
173.37/170.12	c cleaning 8141 clauses out of 16286 with flag 68021/424553
174.37/171.14	c Got one! Elapsed wall clock time (in seconds):171.032
174.37/171.14	o -2543
175.57/172.34	c cleaning 6877 clauses out of 13772 with flag 6003/430180
177.87/174.64	c cleaning 6441 clauses out of 12894 with flag 18001/436179
180.60/177.38	c cleaning 6721 clauses out of 13454 with flag 32003/443180
183.81/180.51	c cleaning 7364 clauses out of 14733 with flag 48003/451180
187.31/184.09	c cleaning 8181 clauses out of 16368 with flag 66001/460179
191.59/188.27	c cleaning 9091 clauses out of 18187 with flag 86001/470179
196.39/192.90	c cleaning 10049 clauses out of 20097 with flag 108003/481180
201.19/197.76	c cleaning 11023 clauses out of 22047 with flag 132001/493179
206.64/203.17	c cleaning 12006 clauses out of 24024 with flag 158001/506179
212.84/209.15	c cleaning 13005 clauses out of 26018 with flag 186001/520179
219.30/215.55	c cleaning 14005 clauses out of 28014 with flag 216003/535180
226.22/222.39	c cleaning 14999 clauses out of 30008 with flag 248001/551179
233.86/229.83	c cleaning 16004 clauses out of 32009 with flag 282001/568179
241.74/237.56	c cleaning 16999 clauses out of 34005 with flag 318001/586179
244.74/240.53	c Got one! Elapsed wall clock time (in seconds):240.422
244.74/240.53	o -2592
247.12/242.85	c cleaning 14729 clauses out of 29473 with flag 10002/598646
249.62/245.35	c cleaning 10365 clauses out of 20744 with flag 22002/604646
252.36/248.08	c cleaning 8682 clauses out of 17379 with flag 36002/611646
255.80/251.40	c cleaning 8345 clauses out of 16698 with flag 52004/619647
259.23/254.85	c cleaning 8674 clauses out of 17353 with flag 70004/628647
263.26/258.85	c cleaning 9337 clauses out of 18678 with flag 90002/638646
267.80/263.37	c cleaning 10166 clauses out of 20342 with flag 112004/649647
270.22/265.77	c Got one! Elapsed wall clock time (in seconds):265.656
270.22/265.77	o -2599
272.53/268.00	c cleaning 10616 clauses out of 21231 with flag 10280/660702
275.03/270.42	c cleaning 8307 clauses out of 16616 with flag 22295/666703
275.74/271.16	c Got one! Elapsed wall clock time (in seconds):271.05
275.74/271.16	o -2611
277.33/272.75	c cleaning 7142 clauses out of 14291 with flag 8043/672685
279.68/275.08	c cleaning 6569 clauses out of 13149 with flag 20172/678685
279.87/275.26	c Got one! Elapsed wall clock time (in seconds):275.144
279.87/275.26	o -2612
280.27/275.66	c Got one! Elapsed wall clock time (in seconds):275.55
280.27/275.66	o -2613
280.27/275.67	c Got one! Elapsed wall clock time (in seconds):275.558
280.27/275.67	o -2616
280.27/275.68	c Got one! Elapsed wall clock time (in seconds):275.564
280.27/275.68	o -2618
280.37/275.70	c Got one! Elapsed wall clock time (in seconds):275.591
280.37/275.70	o -2619
280.37/275.72	c Got one! Elapsed wall clock time (in seconds):275.606
280.37/275.72	o -2621
280.37/275.72	c Got one! Elapsed wall clock time (in seconds):275.612
280.37/275.72	o -2623
281.92/277.25	c cleaning 6110 clauses out of 12230 with flag 8233/684335
284.22/279.51	c cleaning 6059 clauses out of 12121 with flag 20387/690336
286.83/282.17	c cleaning 6529 clauses out of 13061 with flag 34533/697335
290.04/285.32	c cleaning 7263 clauses out of 14532 with flag 50715/705335
290.04/285.34	c Got one! Elapsed wall clock time (in seconds):285.227
290.04/285.34	o -2625
292.04/287.32	c cleaning 6159 clauses out of 12332 with flag 10005/710398
294.37/289.61	c cleaning 6085 clauses out of 12173 with flag 22005/716398
297.00/292.23	c cleaning 6540 clauses out of 13088 with flag 36005/723398
300.14/295.30	c cleaning 7268 clauses out of 14548 with flag 52005/731398
303.78/298.93	c cleaning 8140 clauses out of 16280 with flag 70005/740398
307.89/302.94	c cleaning 9070 clauses out of 18139 with flag 90003/750397
311.12/306.12	c Got one! Elapsed wall clock time (in seconds):306.005
311.12/306.12	o -2626
311.93/306.97	c Got one! Elapsed wall clock time (in seconds):306.861
311.93/306.97	o -2648
312.65/307.53	c Got one! Elapsed wall clock time (in seconds):307.414
312.65/307.53	o -2658
312.65/307.59	c Got one! Elapsed wall clock time (in seconds):307.476
312.65/307.59	o -2662
312.75/307.65	c Got one! Elapsed wall clock time (in seconds):307.533
312.75/307.65	o -2666
313.55/308.47	c cleaning 11314 clauses out of 22639 with flag 4027/763967
315.86/310.76	c cleaning 8658 clauses out of 17324 with flag 16025/769966
318.60/313.48	c cleaning 7832 clauses out of 15666 with flag 30025/776966
321.72/316.52	c cleaning 7915 clauses out of 15835 with flag 46027/784967
325.06/319.89	c cleaning 8456 clauses out of 16920 with flag 64027/793967
329.14/323.85	c cleaning 9227 clauses out of 18463 with flag 84025/803966
332.48/327.13	c Got one! Elapsed wall clock time (in seconds):327.014
332.48/327.13	o -2718
334.65/329.23	c cleaning 11318 clauses out of 22654 with flag 10003/817384
336.98/331.59	c cleaning 8662 clauses out of 17336 with flag 22003/823384
339.95/334.41	c cleaning 7828 clauses out of 15674 with flag 36003/830384
343.17/337.60	c cleaning 7919 clauses out of 15845 with flag 52001/838383
346.95/341.30	c cleaning 8460 clauses out of 16927 with flag 70003/847384
351.22/345.57	c cleaning 9230 clauses out of 18466 with flag 90001/857383
355.89/350.19	c cleaning 10119 clauses out of 20237 with flag 112003/868384
361.11/355.24	c cleaning 11053 clauses out of 22118 with flag 136003/880384
366.43/360.48	c cleaning 12029 clauses out of 24064 with flag 162001/893383
372.66/366.50	c cleaning 13014 clauses out of 26036 with flag 190003/907384
379.22/372.93	c cleaning 14009 clauses out of 28022 with flag 220003/922384
385.87/379.44	c cleaning 15003 clauses out of 30013 with flag 252003/938384
393.35/386.71	c cleaning 16001 clauses out of 32009 with flag 286001/955383
394.35/387.78	c Got one! Elapsed wall clock time (in seconds):387.672
394.35/387.78	o -2724
395.80/389.13	c cleaning 10784 clauses out of 21579 with flag 6002/960954
398.20/391.55	c cleaning 8391 clauses out of 16796 with flag 18004/966955
401.02/394.34	c cleaning 7694 clauses out of 15405 with flag 32004/973955
404.34/397.60	c cleaning 7854 clauses out of 15711 with flag 48004/981955
407.97/401.20	c cleaning 8428 clauses out of 16856 with flag 66002/990954
412.08/405.33	c cleaning 9211 clauses out of 18428 with flag 86002/1000954
416.62/409.89	c cleaning 10103 clauses out of 20218 with flag 108004/1011955
421.78/414.96	c cleaning 11055 clauses out of 22115 with flag 132004/1023955
427.33/420.40	c cleaning 12025 clauses out of 24059 with flag 158002/1036954
433.26/426.26	c cleaning 13016 clauses out of 26035 with flag 186004/1050955
438.88/431.70	c Got one! Elapsed wall clock time (in seconds):431.59
438.88/431.70	o -2728
441.42/434.17	c cleaning 15492 clauses out of 30989 with flag 10005/1068925
443.95/436.67	c cleaning 10744 clauses out of 21496 with flag 22003/1074924
446.78/439.45	c cleaning 8873 clauses out of 17752 with flag 36003/1081924
449.93/442.59	c cleaning 8435 clauses out of 16880 with flag 52005/1089925
453.67/446.23	c cleaning 8721 clauses out of 17444 with flag 70003/1098924
456.49/449.03	c Got one! Elapsed wall clock time (in seconds):448.916
456.49/449.03	o -2731
458.65/451.16	c cleaning 10300 clauses out of 20599 with flag 10104/1110800
460.54/453.07	c Got one! Elapsed wall clock time (in seconds):452.959
460.54/453.07	o -2732
461.04/453.51	c cleaning 8135 clauses out of 16279 with flag 2029/1116780
461.16/453.66	c Got one! Elapsed wall clock time (in seconds):453.543
461.16/453.66	o -2734
462.06/454.53	c Got one! Elapsed wall clock time (in seconds):454.413
462.06/454.53	o -2741
463.26/455.76	c cleaning 6899 clauses out of 13802 with flag 6006/1122438
463.26/455.77	c Got one! Elapsed wall clock time (in seconds):455.654
463.26/455.77	o -2747
463.56/456.09	c Got one! Elapsed wall clock time (in seconds):455.974
463.56/456.09	o -2750
463.67/456.15	c Got one! Elapsed wall clock time (in seconds):456.038
463.67/456.15	o -2755
463.67/456.16	c Got one! Elapsed wall clock time (in seconds):456.044
463.67/456.16	o -2759
465.56/458.09	c cleaning 6414 clauses out of 12837 with flag 10015/1128372
467.99/460.43	c cleaning 6207 clauses out of 12424 with flag 22017/1134373
468.39/460.80	c Got one! Elapsed wall clock time (in seconds):460.69
468.39/460.80	o -2771
469.31/461.77	c Got one! Elapsed wall clock time (in seconds):461.66
469.31/461.77	o -2772
469.41/461.84	c Got one! Elapsed wall clock time (in seconds):461.728
469.41/461.84	o -2774
469.51/462.00	c Got one! Elapsed wall clock time (in seconds):461.888
469.51/462.00	o -2777
470.31/462.76	c cleaning 6167 clauses out of 12339 with flag 4096/1140495
472.64/465.01	c cleaning 6083 clauses out of 12172 with flag 16096/1146495
475.28/467.69	c cleaning 6538 clauses out of 13088 with flag 30094/1153494
478.46/470.76	c cleaning 7273 clauses out of 14551 with flag 46096/1161495
482.01/474.28	c cleaning 8135 clauses out of 16277 with flag 64094/1170494
484.34/476.58	c Got one! Elapsed wall clock time (in seconds):476.472
484.34/476.58	o -2778
486.40/478.58	c cleaning 9549 clauses out of 19111 with flag 10002/1181463
488.74/480.88	c cleaning 7777 clauses out of 15564 with flag 22006/1187465
491.45/483.55	c cleaning 7386 clauses out of 14786 with flag 36004/1194464
494.67/486.71	c cleaning 7698 clauses out of 15400 with flag 52004/1202464
498.26/490.25	c cleaning 8345 clauses out of 16702 with flag 70004/1211464
502.19/494.15	c cleaning 9176 clauses out of 18356 with flag 90002/1221463
506.83/498.70	c cleaning 10087 clauses out of 20180 with flag 112002/1232463
511.92/503.60	c cleaning 11045 clauses out of 22093 with flag 136002/1244463
517.21/508.87	c cleaning 12021 clauses out of 24049 with flag 162004/1257464
523.24/514.71	c cleaning 13011 clauses out of 26028 with flag 190004/1271464
529.44/520.86	c cleaning 14006 clauses out of 28016 with flag 220002/1286463
536.31/527.59	c cleaning 15003 clauses out of 30010 with flag 252002/1302463
537.91/529.15	c Got one! Elapsed wall clock time (in seconds):529.042
537.91/529.15	o -2788
538.45/529.63	c cleaning 10064 clauses out of 20143 with flag 2005/1307599
540.87/532.04	c cleaning 8036 clauses out of 16079 with flag 14005/1313599
543.61/534.78	c cleaning 7517 clauses out of 15042 with flag 28003/1320598
546.73/537.89	c cleaning 7761 clauses out of 15525 with flag 44003/1328598
550.43/541.40	c cleaning 8380 clauses out of 16765 with flag 62005/1337599
554.48/545.42	c cleaning 9190 clauses out of 18384 with flag 82003/1347598
558.93/549.87	c cleaning 10095 clauses out of 20195 with flag 104005/1358599
560.76/551.68	c Got one! Elapsed wall clock time (in seconds):551.572
560.76/551.69	o -2791
561.31/552.14	c cleaning 7844 clauses out of 15694 with flag 2004/1364193
563.67/554.45	c cleaning 6918 clauses out of 13850 with flag 14004/1370193
564.06/554.81	c Got one! Elapsed wall clock time (in seconds):554.695
564.06/554.81	o -2803
564.77/555.57	c Got one! Elapsed wall clock time (in seconds):555.454
564.77/555.57	o -2804
564.96/555.77	c Got one! Elapsed wall clock time (in seconds):555.662
564.96/555.77	o -2805
565.06/555.81	c Got one! Elapsed wall clock time (in seconds):555.697
565.06/555.81	o -2815
565.06/555.82	c Got one! Elapsed wall clock time (in seconds):555.703
565.06/555.82	o -2820
566.69/557.42	c cleaning 7213 clauses out of 14429 with flag 8086/1377690
568.91/559.67	c cleaning 6602 clauses out of 13216 with flag 20086/1383690
571.56/562.28	c cleaning 6805 clauses out of 13614 with flag 34086/1390690
574.68/565.34	c cleaning 7401 clauses out of 14809 with flag 50086/1398690
578.26/568.86	c cleaning 8201 clauses out of 16408 with flag 68086/1407690
582.23/572.79	c cleaning 9104 clauses out of 18208 with flag 88088/1417691
586.75/577.13	c cleaning 10047 clauses out of 20104 with flag 110088/1428691
591.67/581.96	c cleaning 11024 clauses out of 22057 with flag 134088/1440691
597.06/587.30	c cleaning 12016 clauses out of 24032 with flag 160086/1453690
603.10/593.16	c cleaning 13006 clauses out of 26016 with flag 188086/1467690
609.63/599.51	c cleaning 14001 clauses out of 28011 with flag 218088/1482691
616.59/606.33	c cleaning 15001 clauses out of 30009 with flag 250086/1498690
618.29/608.08	c Got one! Elapsed wall clock time (in seconds):607.965
618.29/608.08	o -2883
618.86/608.54	c cleaning 10288 clauses out of 20580 with flag 2003/1504262
621.33/610.95	c cleaning 8139 clauses out of 16293 with flag 14005/1510263
624.02/613.64	c cleaning 7571 clauses out of 15153 with flag 28003/1517262
627.22/616.79	c cleaning 7787 clauses out of 15582 with flag 44003/1525262
630.76/620.27	c cleaning 8396 clauses out of 16794 with flag 62001/1534261
634.72/624.11	c cleaning 9197 clauses out of 18398 with flag 82001/1544261
639.06/628.42	c cleaning 10095 clauses out of 20202 with flag 104003/1555262
643.81/633.19	c cleaning 11051 clauses out of 22106 with flag 128001/1567261
649.47/638.76	c cleaning 12022 clauses out of 24056 with flag 154003/1580262
655.51/644.65	c cleaning 13014 clauses out of 26034 with flag 182003/1594262
662.15/651.14	c cleaning 14008 clauses out of 28020 with flag 212003/1609262
669.19/658.00	c cleaning 15000 clauses out of 30011 with flag 244001/1625261
676.56/665.25	c cleaning 16006 clauses out of 32011 with flag 278001/1642261
684.35/672.81	c cleaning 17000 clauses out of 34005 with flag 314001/1660261
692.92/681.20	c cleaning 17999 clauses out of 36006 with flag 352003/1679262
702.07/690.33	c cleaning 19004 clauses out of 38007 with flag 392003/1699262
711.66/699.84	c cleaning 19995 clauses out of 40003 with flag 434003/1720262
722.60/710.44	c cleaning 21000 clauses out of 42008 with flag 478003/1742262
733.86/721.46	c cleaning 21999 clauses out of 44007 with flag 524001/1765261
745.44/732.87	c cleaning 23001 clauses out of 46009 with flag 572003/1789262
757.74/744.95	c cleaning 24001 clauses out of 48007 with flag 622001/1814261
770.68/757.60	c cleaning 25001 clauses out of 50007 with flag 674003/1840262
784.18/770.88	c cleaning 25994 clauses out of 52005 with flag 728001/1867261
798.25/784.64	c cleaning 27004 clauses out of 54011 with flag 784001/1895261
813.04/799.28	c cleaning 27999 clauses out of 56007 with flag 842001/1924261
828.01/814.00	c cleaning 29004 clauses out of 58008 with flag 902001/1954261
843.87/829.53	c cleaning 30000 clauses out of 60004 with flag 964001/1985261
861.42/846.70	c cleaning 30998 clauses out of 62004 with flag 1028001/2017261
870.16/855.34	c Got one! Elapsed wall clock time (in seconds):855.227
870.16/855.34	o -2893
872.87/858.07	c cleaning 26826 clauses out of 53663 with flag 10004/2039918
875.71/860.81	c cleaning 16413 clauses out of 32837 with flag 22004/2045918
878.64/863.73	c cleaning 11707 clauses out of 23424 with flag 36004/2052918
881.85/866.98	c cleaning 9853 clauses out of 19717 with flag 52004/2060918
885.64/870.73	c cleaning 9423 clauses out of 18864 with flag 70004/2069918
889.57/874.65	c cleaning 9721 clauses out of 19441 with flag 90004/2079918
894.29/879.34	c cleaning 10360 clauses out of 20719 with flag 112002/2090917
899.50/884.47	c cleaning 11179 clauses out of 22359 with flag 136002/2102917
905.06/889.99	c cleaning 12089 clauses out of 24180 with flag 162002/2115917
911.18/895.96	c cleaning 13045 clauses out of 26091 with flag 190002/2129917
917.54/902.26	c cleaning 14017 clauses out of 28046 with flag 220002/2144917
924.56/909.13	c cleaning 15015 clauses out of 30030 with flag 252004/2160918
932.17/916.65	c cleaning 16005 clauses out of 32014 with flag 286002/2177917
940.56/924.76	c cleaning 17002 clauses out of 34010 with flag 322004/2195918
949.20/933.22	c cleaning 17999 clauses out of 36007 with flag 360002/2214917
958.39/942.21	c cleaning 19004 clauses out of 38009 with flag 400004/2234918
959.89/943.72	c Got one! Elapsed wall clock time (in seconds):943.607
959.89/943.72	o -2894
960.79/944.61	c cleaning 12459 clauses out of 24930 with flag 4005/2240843
963.23/947.03	c cleaning 9230 clauses out of 18470 with flag 16003/2246842
965.96/949.76	c cleaning 8114 clauses out of 16240 with flag 30003/2253842
969.06/952.86	c cleaning 8055 clauses out of 16127 with flag 46005/2261843
972.70/956.42	c cleaning 8530 clauses out of 17072 with flag 64005/2270843
976.62/960.31	c cleaning 9270 clauses out of 18541 with flag 84003/2280842
981.01/964.61	c cleaning 10133 clauses out of 20271 with flag 106003/2291842
985.79/969.31	c cleaning 11064 clauses out of 22139 with flag 130005/2303843
991.15/974.63	c cleaning 12037 clauses out of 24074 with flag 156003/2316842
997.24/980.68	c cleaning 13018 clauses out of 26038 with flag 184005/2330843
1001.60/984.97	c Got one! Elapsed wall clock time (in seconds):984.857
1001.60/984.97	o -2907
1003.51/986.78	c Got one! Elapsed wall clock time (in seconds):986.67
1003.51/986.78	o -2909
1004.10/987.31	c cleaning 14377 clauses out of 28769 with flag 2005/2346592
1004.20/987.43	c Got one! Elapsed wall clock time (in seconds):987.313
1004.20/987.43	o -2913
1006.32/989.56	c cleaning 9829 clauses out of 19666 with flag 10048/2351866
1008.22/991.43	c Got one! Elapsed wall clock time (in seconds):991.318
1008.22/991.43	o -2925
1008.62/991.89	c cleaning 7826 clauses out of 15665 with flag 2005/2357694
1009.77/992.93	c Got one! Elapsed wall clock time (in seconds):992.814
1009.77/992.93	o -2928
1009.97/993.17	c Got one! Elapsed wall clock time (in seconds):993.057
1009.97/993.17	o -2931
1011.17/994.35	c cleaning 7118 clauses out of 14241 with flag 6067/2364096
1013.49/996.61	c cleaning 6558 clauses out of 13123 with flag 18067/2370096
1016.19/999.32	c cleaning 6779 clauses out of 13564 with flag 32065/2377095
1019.40/1002.51	c cleaning 7389 clauses out of 14785 with flag 48065/2385095
1022.83/1005.93	c cleaning 8193 clauses out of 16396 with flag 66065/2394095
1026.83/1009.89	c cleaning 9101 clauses out of 18204 with flag 86067/2404096
1031.17/1014.14	c cleaning 10051 clauses out of 20102 with flag 108065/2415095
1036.13/1019.08	c cleaning 11022 clauses out of 22051 with flag 132065/2427095
1041.49/1024.39	c cleaning 12012 clauses out of 24029 with flag 158065/2440095
1044.20/1027.02	c Got one! Elapsed wall clock time (in seconds):1026.91
1044.20/1027.02	o -2937
1046.46/1029.21	c cleaning 11896 clauses out of 23804 with flag 10005/2451882
1048.89/1031.68	c cleaning 8951 clauses out of 17908 with flag 22005/2457882
1051.60/1034.37	c cleaning 7969 clauses out of 15956 with flag 36003/2464881
1054.75/1037.46	c cleaning 7989 clauses out of 15988 with flag 52005/2472882
1058.38/1041.05	c cleaning 8495 clauses out of 16999 with flag 70005/2481882
1062.34/1045.00	c cleaning 9250 clauses out of 18503 with flag 90003/2491881
1066.96/1049.47	c cleaning 10126 clauses out of 20253 with flag 112003/2502881
1072.01/1054.47	c cleaning 11064 clauses out of 22128 with flag 136005/2514882
1077.43/1059.77	c cleaning 12030 clauses out of 24064 with flag 162005/2527882
1083.42/1065.66	c cleaning 13012 clauses out of 26034 with flag 190005/2541882
1089.89/1071.96	c cleaning 14006 clauses out of 28022 with flag 220005/2556882
1096.77/1078.79	c cleaning 15006 clauses out of 30016 with flag 252005/2572882
1104.42/1086.20	c cleaning 16004 clauses out of 32010 with flag 286005/2589882
1112.27/1093.97	c cleaning 17001 clauses out of 34006 with flag 322005/2607882
1120.69/1102.19	c cleaning 18001 clauses out of 36004 with flag 360003/2626881
1126.78/1108.01	c Got one! Elapsed wall clock time (in seconds):1107.899
1126.78/1108.01	o -2940
1129.08/1110.33	c cleaning 18179 clauses out of 36367 with flag 10006/2645245
1130.18/1111.42	c Got one! Elapsed wall clock time (in seconds):1111.312
1130.18/1111.42	o -2950
1131.48/1112.70	c cleaning 11968 clauses out of 23947 with flag 6005/2651004
1131.68/1112.98	c Got one! Elapsed wall clock time (in seconds):1112.866
1131.68/1112.98	o -2955
1131.88/1113.19	c Got one! Elapsed wall clock time (in seconds):1113.079
1131.88/1113.19	o -2957
1132.09/1113.31	c Got one! Elapsed wall clock time (in seconds):1113.193
1132.09/1113.31	o -2958
1132.09/1113.31	c Got one! Elapsed wall clock time (in seconds):1113.198
1132.09/1113.31	o -2974
1134.00/1115.25	c cleaning 9234 clauses out of 18477 with flag 10030/2657502
1136.35/1117.54	c cleaning 7617 clauses out of 15243 with flag 22030/2663502
1139.08/1120.23	c cleaning 7313 clauses out of 14627 with flag 36032/2670503
1142.15/1123.24	c cleaning 7653 clauses out of 15314 with flag 52032/2678503
1145.79/1126.81	c cleaning 8328 clauses out of 16660 with flag 70030/2687502
1149.82/1130.86	c cleaning 9164 clauses out of 18333 with flag 90032/2697503
1154.18/1135.16	c cleaning 10083 clauses out of 20169 with flag 112032/2708503
1158.97/1139.82	c cleaning 11040 clauses out of 22086 with flag 136032/2720503
1164.27/1145.10	c cleaning 12020 clauses out of 24046 with flag 162032/2733503
1170.18/1150.84	c cleaning 13010 clauses out of 26025 with flag 190030/2747502
1176.49/1157.04	c cleaning 14004 clauses out of 28015 with flag 220030/2762502
1183.44/1163.78	c cleaning 15004 clauses out of 30013 with flag 252034/2778504
1190.57/1170.73	c cleaning 16001 clauses out of 32008 with flag 286032/2795503
1198.42/1178.42	c cleaning 17003 clauses out of 34006 with flag 322030/2813502
1206.64/1186.55	c cleaning 17999 clauses out of 36003 with flag 360030/2832502
1211.25/1191.00	c Got one! Elapsed wall clock time (in seconds):1190.884
1211.25/1191.00	o -2977
1213.55/1193.31	c cleaning 17088 clauses out of 34186 with flag 10001/2848684
1216.00/1195.74	c cleaning 11545 clauses out of 23098 with flag 22001/2854684
1218.82/1198.54	c cleaning 9271 clauses out of 18554 with flag 36003/2861685
1222.05/1201.70	c cleaning 8636 clauses out of 17283 with flag 52003/2869685
1225.62/1205.21	c cleaning 8819 clauses out of 17646 with flag 70001/2878684
1229.64/1209.23	c cleaning 9414 clauses out of 18827 with flag 90001/2888684
1234.13/1213.70	c cleaning 10202 clauses out of 20413 with flag 112001/2899684
1239.26/1218.76	c cleaning 11105 clauses out of 22211 with flag 136001/2911684
1244.75/1224.14	c cleaning 12051 clauses out of 24106 with flag 162001/2924684
1250.71/1229.98	c cleaning 13026 clauses out of 26055 with flag 190001/2938684
1257.10/1236.21	c cleaning 14009 clauses out of 28030 with flag 220003/2953685
1264.30/1243.30	c cleaning 15008 clauses out of 30020 with flag 252001/2969684
1272.14/1251.08	c cleaning 16004 clauses out of 32012 with flag 286001/2986684
1280.30/1259.05	c cleaning 16999 clauses out of 34009 with flag 322003/3004685
1289.30/1267.86	c cleaning 18003 clauses out of 36009 with flag 360001/3023684
1298.89/1277.23	c cleaning 18998 clauses out of 38006 with flag 400001/3043684
1308.92/1287.09	c cleaning 20002 clauses out of 40009 with flag 442003/3064685
1319.34/1297.28	c cleaning 21003 clauses out of 42007 with flag 486003/3086685
1330.22/1307.80	c cleaning 21995 clauses out of 44004 with flag 532003/3109685
1341.58/1319.05	c cleaning 23001 clauses out of 46008 with flag 580001/3133684
1353.37/1330.52	c cleaning 24000 clauses out of 48007 with flag 630001/3158684
1366.09/1343.03	c cleaning 25000 clauses out of 50007 with flag 682001/3184684
1379.12/1355.89	c cleaning 25998 clauses out of 52007 with flag 736001/3211684
1393.44/1369.71	c cleaning 27001 clauses out of 54009 with flag 792001/3239684
1408.47/1384.57	c cleaning 28003 clauses out of 56009 with flag 850003/3268685
1422.90/1398.76	c cleaning 28999 clauses out of 58006 with flag 910003/3298685
1438.35/1414.03	c cleaning 30001 clauses out of 60007 with flag 972003/3329685
1454.51/1429.80	c cleaning 31001 clauses out of 62006 with flag 1036003/3361685
1471.66/1446.79	c cleaning 32002 clauses out of 64004 with flag 1102001/3394684
1480.48/1455.46	c Got one! Elapsed wall clock time (in seconds):1455.345
1480.48/1455.46	o -2979
1483.26/1458.10	c cleaning 27827 clauses out of 55673 with flag 10041/3418355
1485.90/1460.70	c cleaning 16920 clauses out of 33848 with flag 22109/3424357
1488.80/1463.62	c cleaning 11955 clauses out of 23926 with flag 36174/3431355
1491.93/1466.77	c cleaning 9982 clauses out of 19971 with flag 52174/3439355
1495.56/1470.33	c cleaning 9488 clauses out of 18990 with flag 70202/3448356
1499.61/1474.33	c cleaning 9749 clauses out of 19502 with flag 90202/3458356
1504.26/1478.94	c cleaning 10374 clauses out of 20753 with flag 112202/3469356
1508.99/1483.70	c cleaning 11183 clauses out of 22378 with flag 136200/3481355
1514.31/1488.84	c cleaning 12097 clauses out of 24196 with flag 162202/3494356
1520.17/1494.64	c cleaning 13047 clauses out of 26098 with flag 190200/3508355
1526.56/1500.94	c cleaning 14021 clauses out of 28051 with flag 220200/3523355
1533.44/1507.68	c cleaning 15008 clauses out of 30030 with flag 252200/3539355
1541.38/1515.34	c cleaning 16010 clauses out of 32022 with flag 286200/3556355
1549.46/1523.36	c cleaning 17005 clauses out of 34013 with flag 322202/3574356
1558.11/1531.83	c cleaning 18003 clauses out of 36008 with flag 360202/3593356
1567.24/1540.85	c cleaning 18998 clauses out of 38005 with flag 400202/3613356
1576.98/1550.47	c cleaning 20000 clauses out of 40007 with flag 442202/3634356
1587.50/1560.74	c cleaning 20999 clauses out of 42007 with flag 486202/3656356
1598.09/1571.12	c cleaning 21999 clauses out of 44007 with flag 532200/3679355
1609.01/1581.98	c cleaning 23001 clauses out of 46008 with flag 580200/3703355
1620.81/1593.54	c cleaning 24000 clauses out of 48008 with flag 630202/3728356
1633.06/1605.57	c cleaning 24999 clauses out of 50009 with flag 682204/3754357
1646.18/1618.40	c cleaning 26000 clauses out of 52008 with flag 736200/3781355
1660.27/1632.29	c cleaning 26997 clauses out of 54008 with flag 792200/3809355
1674.31/1646.00	c cleaning 28005 clauses out of 56011 with flag 850200/3838355
1689.19/1660.67	c cleaning 29002 clauses out of 58007 with flag 910202/3868356
1705.39/1676.66	c cleaning 29998 clauses out of 60005 with flag 972202/3899356
1722.15/1693.07	c cleaning 31001 clauses out of 62007 with flag 1036202/3931356
1739.37/1709.90	c cleaning 32001 clauses out of 64006 with flag 1102202/3964356
1752.26/1722.67	c Got one! Elapsed wall clock time (in seconds):1722.561
1752.26/1722.67	o -2993
1755.47/1725.73	c cleaning 31677 clauses out of 63370 with flag 10002/3995721
1758.26/1728.58	c cleaning 18842 clauses out of 37694 with flag 22004/4001722
1761.34/1731.60	c cleaning 12918 clauses out of 25852 with flag 36004/4008722
1764.70/1734.87	c cleaning 10458 clauses out of 20934 with flag 52004/4016722
1768.29/1738.48	c cleaning 9732 clauses out of 19475 with flag 70002/4025721
1772.41/1742.52	c cleaning 9868 clauses out of 19743 with flag 90002/4035721
1776.92/1747.05	c cleaning 10436 clauses out of 20876 with flag 112004/4046722
1782.23/1752.25	c cleaning 11218 clauses out of 22440 with flag 136004/4058722
1787.91/1757.88	c cleaning 12110 clauses out of 24222 with flag 162004/4071722
1794.05/1763.92	c cleaning 13052 clauses out of 26112 with flag 190004/4085722
1800.06/1769.80	c starts		: 182
1800.06/1769.80	c conflicts		: 4099221
1800.06/1769.80	c decisions		: 4107316
1800.06/1769.80	c propagations		: 492654417
1800.06/1769.80	c inspects		: 8717338291
1800.06/1769.80	c shortcuts		: 0
1800.06/1769.80	c learnt literals	: 0
1800.06/1769.80	c learnt binary clauses	: 0
1800.06/1769.80	c learnt ternary clauses	: 0
1800.06/1769.80	c learnt constraints	: 4099221
1800.06/1769.80	c ignored constraints	: 0
1800.06/1769.80	c root simplifications	: 0
1800.06/1769.80	c removed literals (reason simplification)	: 0
1800.06/1769.80	c reason swapping (by a shorter reason)	: 0
1800.06/1769.80	c Calls to reduceDB	: 334
1800.06/1769.80	c Number of update (reduction) of LBD	: 270
1800.06/1769.80	c Imported unit clauses	: 0
1800.06/1769.80	c number of reductions to clauses (during analyze)	: 0
1800.06/1769.80	c number of learned constraints concerned by reduction	: 0
1800.06/1769.80	c number of learning phase by resolution	: 0
1800.06/1769.80	c number of learning phase by cutting planes	: 0
1800.06/1769.80	c speed (assignments/second)	: 278469.0866194162
1800.06/1769.80	c non guided choices	0
1800.06/1769.82	c learnt constraints type 
1800.06/1769.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26560
1800.06/1769.82	s SATISFIABLE
1800.06/1769.82	c Found 181 solution(s)
1800.06/1769.82	v x1 -x2 -x3 x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 -x40 x41 -x42 -x43 x44 x45 -x46 -x47 -x48 x49 x50 
1800.06/1769.82	c objective function=-2993
1800.06/1769.82	c Total wall clock time (in seconds): 1769.705

Verifier Data 

OK	-2993

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-4119378-1467256615/watcher-4119378-1467256615 -o /tmp/evaluation-result-4119378-1467256615/solver-4119378-1467256615 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6485 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119378-1467256615.opb 

pid=7568
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.13 2.10 2.12 3/194 7571
/proc/meminfo: memFree=30259396/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7571/stat : 7571 (java) R 7568 7571 6303 0 -1 4202496 524 0 0 0 0 0 0 0 20 0 1 0 4690724 9515008 176 33554432000 1073741824 1073778376 140734469279424 140734469262152 271787574160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2323 176 133 9 0 71 0

[startup+0.100158 s]
/proc/loadavg: 2.13 2.10 2.12 3/194 7571
/proc/meminfo: memFree=30259396/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 4406 0 1 0 8 1 0 0 20 0 18 0 4690724 9787879424 6029 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2389619 6029 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.13 2.10 2.12 3/194 7571
/proc/meminfo: memFree=30259396/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 4666 0 1 0 23 1 0 0 20 0 18 0 4690724 9787879424 6741 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2389619 6741 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300336 s]
/proc/loadavg: 2.13 2.10 2.12 3/194 7571
/proc/meminfo: memFree=30259396/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 5949 0 1 0 47 2 0 0 20 0 18 0 4690724 9787879424 8066 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2389619 8066 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.70018 s]
/proc/loadavg: 2.13 2.10 2.12 3/194 7571
/proc/meminfo: memFree=30259396/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=1.2 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 8022 0 1 0 118 2 0 0 20 0 19 0 4690724 9856040960 11707 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 11707 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9625040

[startup+1.50086 s]
/proc/loadavg: 2.13 2.10 2.12 3/213 7590
/proc/meminfo: memFree=30191156/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=2.5 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 9011 0 1 0 247 3 0 0 20 0 19 0 4690724 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 25502 2271 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 2445 0 1 0 143 2 0 0 20 0 19 0 4690725 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706675036464 140706501636267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 2350 0 0 0 54 0 0 0 20 0 19 0 4690730 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 2938 0 0 0 47 0 0 0 20 0 19 0 4690730 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 25502 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.12 2.10 2.12 3/213 7590
/proc/meminfo: memFree=30149204/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 9042 0 1 0 406 5 0 0 20 0 19 0 4690724 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 40351 2271 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 2475 0 1 0 301 3 0 0 20 0 19 0 4690725 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706675044840 140706501529364 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 2350 0 0 0 54 0 0 0 20 0 19 0 4690730 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 2938 0 0 0 47 0 0 0 20 0 19 0 4690730 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 40351 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.12 2.10 2.12 3/213 7590
/proc/meminfo: memFree=30068852/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=7.48 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 9785 0 1 0 737 11 0 0 20 0 19 0 4690724 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 50973 2286 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=6.2 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 2481 0 1 0 617 3 0 0 20 0 19 0 4690725 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706675042808 140706501529482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 27 0 0 0 0 1 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4690726 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 2985 0 0 0 62 0 0 0 20 0 19 0 4690730 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 2938 0 0 0 48 0 0 0 20 0 19 0 4690730 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 50973 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625040


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

[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 255967 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1629.74
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.33 2.22 2.13 3/213 7763
/proc/meminfo: memFree=28315564/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=1690.9 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 31609 0 1 0 168794 296 0 0 20 0 19 0 4690724 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 268855 2299 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=1643.36 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 3028 0 1 0 164303 33 0 0 20 0 19 0 4690725 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706675035840 140706501762944 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 1306 0 0 0 450 37 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 1853 0 0 0 453 34 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=4.56 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 1195 0 0 0 424 32 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=4.89 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 1666 0 0 0 457 32 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=4.85 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 1551 0 0 0 453 32 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=4.93 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 1433 0 0 0 459 34 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=4.87 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 1798 0 0 0 454 33 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=4.58 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 1938 0 0 0 430 28 0 0 20 0 19 0 4690726 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 2806 0 0 0 338 7 0 0 20 0 19 0 4690727 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 8257 0 0 0 81 2 0 0 20 0 19 0 4690730 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 3418 0 0 0 61 0 0 0 20 0 19 0 4690730 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 96 0 0 0 13 19 0 0 20 0 19 0 4690730 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 268855 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1690.9
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.28 2.23 2.14 4/213 7764
/proc/meminfo: memFree=28607356/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=1751.96 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 31999 0 1 0 174891 305 0 0 20 0 19 0 4690724 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 284401 2299 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=1702.62 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 3038 0 1 0 170228 34 0 0 20 0 19 0 4690725 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706675043536 140706501529048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=5.11 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 1326 0 0 0 473 38 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=5.07 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 1885 0 0 0 472 35 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=4.72 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 1205 0 0 0 439 33 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=5.04 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 1692 0 0 0 471 33 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=5.04 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 1571 0 0 0 471 33 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=5.06 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 1443 0 0 0 471 35 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=5.06 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 1810 0 0 0 473 33 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=4.75 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 1955 0 0 0 446 29 0 0 20 0 19 0 4690726 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 3035 0 0 0 358 7 0 0 20 0 19 0 4690727 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 8257 0 0 0 81 2 0 0 20 0 19 0 4690730 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 3418 0 0 0 61 0 0 0 20 0 19 0 4690730 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 100 0 0 0 14 20 0 0 20 0 19 0 4690730 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 284401 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1751.96
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1769.8 s]
/proc/loadavg: 2.28 2.23 2.14 4/213 7765
/proc/meminfo: memFree=28615284/32872528 swapFree=1100912/1182672
[pid=7571] ppid=7568 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/7571/stat : 7571 (java) S 7568 7571 6303 0 -1 4202496 32132 0 1 0 179693 313 0 0 20 0 19 0 4690724 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140734469270560 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7571/statm: 2406260 299131 2299 9 0 2396937 0
[pid=7571/tid=7573] ppid=7568 vsize=9625040 CPUtime=1749.74 cores=1,3,5,7
/proc/7571/task/7573/stat : 7573 (java) R 7568 7571 6303 0 -1 4202560 3049 0 1 0 174938 36 0 0 20 0 19 0 4690725 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706675043536 140706501529482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7574] ppid=7568 vsize=9625040 CPUtime=5.22 cores=1,3,5,7
/proc/7571/task/7574/stat : 7574 (java) S 7568 7571 6303 0 -1 4202560 1337 0 0 0 483 39 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706636536488 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7575] ppid=7568 vsize=9625040 CPUtime=5.15 cores=1,3,5,7
/proc/7571/task/7575/stat : 7575 (java) S 7568 7571 6303 0 -1 4202560 1899 0 0 0 480 35 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706635483944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7576] ppid=7568 vsize=9625040 CPUtime=4.88 cores=1,3,5,7
/proc/7571/task/7576/stat : 7576 (java) S 7568 7571 6303 0 -1 4202560 1226 0 0 0 454 34 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706634431400 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7577] ppid=7568 vsize=9625040 CPUtime=5.16 cores=1,3,5,7
/proc/7571/task/7577/stat : 7577 (java) S 7568 7571 6303 0 -1 4202560 1699 0 0 0 482 34 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706633378856 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7578] ppid=7568 vsize=9625040 CPUtime=5.12 cores=1,3,5,7
/proc/7571/task/7578/stat : 7578 (java) S 7568 7571 6303 0 -1 4202560 1586 0 0 0 478 34 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706632325288 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7579] ppid=7568 vsize=9625040 CPUtime=5.14 cores=1,3,5,7
/proc/7571/task/7579/stat : 7579 (java) S 7568 7571 6303 0 -1 4202560 1446 0 0 0 479 35 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706631272744 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7580] ppid=7568 vsize=9625040 CPUtime=5.19 cores=1,3,5,7
/proc/7571/task/7580/stat : 7580 (java) S 7568 7571 6303 0 -1 4202560 1831 0 0 0 484 35 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706630220200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7581] ppid=7568 vsize=9625040 CPUtime=4.86 cores=1,3,5,7
/proc/7571/task/7581/stat : 7581 (java) S 7568 7571 6303 0 -1 4202560 1969 0 0 0 455 31 0 0 20 0 19 0 4690726 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706629167656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7571/tid=7582] ppid=7568 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/7571/task/7582/stat : 7582 (java) S 7568 7571 6303 0 -1 4202560 3049 0 0 0 358 7 0 0 20 0 19 0 4690727 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706498726504 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7583] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7583/stat : 7583 (java) S 7568 7571 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706497672824 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7584] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7584/stat : 7584 (java) S 7568 7571 6303 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4690727 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706496620168 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7585] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7585/stat : 7585 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706495568912 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7586] ppid=7568 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/7571/task/7586/stat : 7586 (java) S 7568 7571 6303 0 -1 4202560 8257 0 0 0 81 2 0 0 20 0 19 0 4690730 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706494515256 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7587] ppid=7568 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/7571/task/7587/stat : 7587 (java) S 7568 7571 6303 0 -1 4202560 3418 0 0 0 61 0 0 0 20 0 19 0 4690730 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706493462712 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7571/tid=7588] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7588/stat : 7588 (java) S 7568 7571 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4690730 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706492410360 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7571/tid=7589] ppid=7568 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/7571/task/7589/stat : 7589 (java) S 7568 7571 6303 0 -1 4202560 102 0 0 0 15 20 0 0 20 0 19 0 4690730 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706491358024 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7571/tid=7590] ppid=7568 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7571/task/7590/stat : 7590 (java) S 7568 7571 6303 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4690789 9856040960 299131 33554432000 1073741824 1073778376 140734469279424 140706490303784 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 7571 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7571 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=648476
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=562458
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1769.83
CPU time (s): 1800.06
CPU user time (s): 1796.93
CPU system time (s): 3.13
CPU usage (%): 101.708
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.65
system time used= 3.56246
maximum resident set size= 1238604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32169
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52482
involuntary context switches= 59732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4421 second user time and 16.4875 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-30 05:16:55
IDJOB=4119378
IDBENCH=111715
IDSOLVER=2546
FILE ID=node115/4119378-1467256615
RUNJOBID= node115-1467248476-6485
PBS_JOBID= 20004473
Free space on /tmp= 71664 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_bern50-13.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119378-1467256615/watcher-4119378-1467256615 -o /tmp/evaluation-result-4119378-1467256615/solver-4119378-1467256615 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6485 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119378-1467256615.opb

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

MD5SUM BENCH= 9dff5eac4e461913f3a31c99f046fd52
RANDOM SEED=1179251826

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
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:        30260568 kB
Buffers:          136536 kB
Cached:           159048 kB
SwapCached:            0 kB
Active:           502392 kB
Inactive:         181756 kB
Active(anon):     384300 kB
Inactive(anon):     6956 kB
Active(file):     118092 kB
Inactive(file):   174800 kB
Unevictable:     1182672 kB
Mlocked:         1100912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       1710288 kB
Mapped:            22172 kB
Shmem:               204 kB
Slab:             604544 kB
SReclaimable:      48744 kB
SUnreclaim:       555800 kB
KernelStack:        1768 kB
PageTables:         7664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1708644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 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= 71660 MiB
End job on node115 at 2016-06-30 05:46:25