Trace number 4119326

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)-200 1800.06 1776.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-06.opb
MD5SUM701cda8648df32669dd82c408a9456b5
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-300
Best CPU time to get the best result obtained on this benchmark1800.02
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 977
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 14600
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 14600
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)922
Sum of products size (including duplicates)2709
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4119326-1467254672.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.25/0.25	c ... done. Wall clock time 0.139s.
0.25/0.25	c declared #vars     55
0.25/0.25	c internal #vars     977
0.25/0.25	c #constraints  1844
0.25/0.25	c constraints type 
0.25/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 922
0.25/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 922
0.25/0.25	c 1844 constraints processed.
0.25/0.25	c objective function length is 977 literals
0.25/0.27	c SATISFIABLE
0.25/0.27	c OPTIMIZING...
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.162
0.25/0.27	o -55
0.44/0.30	c Got one! Elapsed wall clock time (in seconds):0.19
0.44/0.30	o -57
0.44/0.33	c Got one! Elapsed wall clock time (in seconds):0.218
0.44/0.33	o -58
1.04/0.54	c Got one! Elapsed wall clock time (in seconds):0.426
1.04/0.54	o -73
1.04/0.54	c Got one! Elapsed wall clock time (in seconds):0.432
1.04/0.54	o -89
1.04/0.55	c Got one! Elapsed wall clock time (in seconds):0.437
1.04/0.55	o -91
1.04/0.55	c Got one! Elapsed wall clock time (in seconds):0.442
1.04/0.55	o -92
1.22/0.68	c Got one! Elapsed wall clock time (in seconds):0.571
1.22/0.68	o -93
1.34/0.72	c Got one! Elapsed wall clock time (in seconds):0.609
1.34/0.72	o -94
1.34/0.77	c Got one! Elapsed wall clock time (in seconds):0.657
1.34/0.77	o -117
1.48/0.81	c Got one! Elapsed wall clock time (in seconds):0.698
1.48/0.81	o -125
1.48/0.81	c Got one! Elapsed wall clock time (in seconds):0.702
1.48/0.81	o -126
1.48/0.88	c Got one! Elapsed wall clock time (in seconds):0.771
1.48/0.88	o -127
1.71/0.96	c Got one! Elapsed wall clock time (in seconds):0.847
1.71/0.96	o -128
1.81/1.04	c Got one! Elapsed wall clock time (in seconds):0.933
1.81/1.04	o -129
1.98/1.19	c Got one! Elapsed wall clock time (in seconds):1.077
1.98/1.19	o -131
2.08/1.25	c Got one! Elapsed wall clock time (in seconds):1.145
2.08/1.25	o -132
2.08/1.25	c Got one! Elapsed wall clock time (in seconds):1.146
2.08/1.25	o -133
2.08/1.26	c Got one! Elapsed wall clock time (in seconds):1.148
2.08/1.26	o -135
2.08/1.26	c Got one! Elapsed wall clock time (in seconds):1.149
2.08/1.26	o -136
2.27/1.45	c Got one! Elapsed wall clock time (in seconds):1.342
2.27/1.45	o -138
2.48/1.62	c Got one! Elapsed wall clock time (in seconds):1.511
2.48/1.62	o -139
2.59/1.74	c Got one! Elapsed wall clock time (in seconds):1.627
2.59/1.74	o -140
2.69/1.81	c Got one! Elapsed wall clock time (in seconds):1.705
2.69/1.81	o -142
2.79/1.99	c cleaning 6346 clauses out of 12692 with flag 2080/12692
3.23/2.37	c Got one! Elapsed wall clock time (in seconds):2.261
3.23/2.37	o -143
3.52/2.63	c cleaning 5911 clauses out of 11823 with flag 4006/18169
4.24/3.32	c cleaning 5956 clauses out of 11912 with flag 16006/24169
4.35/3.49	c Got one! Elapsed wall clock time (in seconds):3.377
4.35/3.49	o -144
4.84/3.96	c cleaning 5783 clauses out of 11565 with flag 8073/29778
5.14/4.20	c Got one! Elapsed wall clock time (in seconds):4.089
5.14/4.20	o -145
5.24/4.32	c Got one! Elapsed wall clock time (in seconds):4.215
5.24/4.32	o -147
5.24/4.36	c Got one! Elapsed wall clock time (in seconds):4.254
5.24/4.36	o -149
5.24/4.36	c Got one! Elapsed wall clock time (in seconds):4.256
5.24/4.36	o -150
5.54/4.60	c cleaning 5826 clauses out of 11658 with flag 4017/35654
6.15/5.24	c cleaning 5913 clauses out of 11833 with flag 16020/41655
7.01/6.02	c cleaning 6458 clauses out of 12920 with flag 30020/48655
7.91/6.92	c cleaning 7230 clauses out of 14461 with flag 46018/56654
8.01/7.03	c Got one! Elapsed wall clock time (in seconds):6.918
8.01/7.03	o -151
8.01/7.09	c Got one! Elapsed wall clock time (in seconds):6.978
8.01/7.09	o -152
8.41/7.46	c Got one! Elapsed wall clock time (in seconds):7.346
8.41/7.46	o -153
8.51/7.58	c cleaning 6619 clauses out of 13249 with flag 2006/62672
8.61/7.64	c Got one! Elapsed wall clock time (in seconds):7.528
8.61/7.64	o -154
8.61/7.67	c Got one! Elapsed wall clock time (in seconds):7.557
8.61/7.67	o -155
8.61/7.67	c Got one! Elapsed wall clock time (in seconds):7.558
8.61/7.67	o -156
9.21/8.22	c cleaning 6228 clauses out of 12462 with flag 10063/68504
9.81/8.86	c cleaning 6116 clauses out of 12234 with flag 22063/74504
10.60/9.62	c cleaning 6557 clauses out of 13117 with flag 36063/81503
11.40/10.48	c Got one! Elapsed wall clock time (in seconds):10.367
11.40/10.48	o -157
11.60/10.61	c Got one! Elapsed wall clock time (in seconds):10.499
11.60/10.61	o -158
12.11/11.17	c cleaning 9770 clauses out of 19541 with flag 8016/94484
12.80/11.85	c cleaning 7884 clauses out of 15772 with flag 20019/100485
13.64/12.67	c cleaning 7443 clauses out of 14887 with flag 34023/107484
14.54/13.58	c cleaning 7723 clauses out of 15445 with flag 50028/115485
15.64/14.68	c cleaning 8354 clauses out of 16722 with flag 68031/124485
16.04/15.02	c Got one! Elapsed wall clock time (in seconds):14.912
16.04/15.02	o -159
16.24/15.27	c cleaning 6758 clauses out of 13532 with flag 4006/129649
16.94/15.95	c cleaning 6383 clauses out of 12773 with flag 16006/135648
17.74/16.75	c cleaning 6688 clauses out of 13390 with flag 30006/142648
18.64/17.70	c cleaning 7351 clauses out of 14702 with flag 46007/150648
19.93/18.82	c cleaning 8172 clauses out of 16351 with flag 64010/159648
20.62/19.56	c Got one! Elapsed wall clock time (in seconds):19.448
20.62/19.56	o -160
21.32/20.26	c cleaning 9824 clauses out of 19651 with flag 10039/171120
22.13/21.02	c cleaning 7912 clauses out of 15827 with flag 22231/177120
22.42/21.30	c Got one! Elapsed wall clock time (in seconds):21.196
22.42/21.30	o -161
22.64/21.56	c Got one! Elapsed wall clock time (in seconds):21.452
22.64/21.56	o -162
22.74/21.62	c Got one! Elapsed wall clock time (in seconds):21.507
22.74/21.62	o -163
22.74/21.62	c Got one! Elapsed wall clock time (in seconds):21.508
22.74/21.62	o -165
22.74/21.62	c Got one! Elapsed wall clock time (in seconds):21.51
22.74/21.62	o -166
22.84/21.76	c cleaning 7084 clauses out of 14177 with flag 2041/183382
23.54/22.46	c cleaning 6542 clauses out of 13092 with flag 14052/189381
24.35/23.27	c cleaning 6769 clauses out of 13551 with flag 28060/196382
25.35/24.21	c cleaning 7388 clauses out of 14782 with flag 44060/204382
26.41/25.29	c cleaning 8196 clauses out of 16393 with flag 62102/213381
27.61/26.50	c cleaning 9099 clauses out of 18198 with flag 82356/223382
29.11/27.91	c cleaning 10043 clauses out of 20099 with flag 104360/234382
30.71/29.51	c cleaning 11027 clauses out of 22056 with flag 128360/246382
32.41/31.25	c cleaning 12010 clauses out of 24029 with flag 154361/259382
34.49/33.24	c cleaning 13007 clauses out of 26019 with flag 182367/273382
35.79/34.59	c Got one! Elapsed wall clock time (in seconds):34.48
35.79/34.59	o -167
36.69/35.44	c cleaning 14221 clauses out of 28447 with flag 10006/288817
37.49/36.23	c cleaning 10111 clauses out of 20225 with flag 22029/294816
38.29/37.09	c cleaning 8551 clauses out of 17115 with flag 36079/301817
39.29/38.03	c cleaning 8276 clauses out of 16564 with flag 52088/309817
40.38/39.12	c cleaning 8638 clauses out of 17287 with flag 70087/318816
41.71/40.39	c cleaning 9324 clauses out of 18649 with flag 90090/328816
43.11/41.75	c cleaning 10161 clauses out of 20326 with flag 112093/339817
44.41/43.03	c Got one! Elapsed wall clock time (in seconds):42.923
44.41/43.03	o -168
45.11/43.77	c cleaning 12534 clauses out of 25075 with flag 10030/354727
45.91/44.53	c cleaning 9269 clauses out of 18542 with flag 22129/360728
46.71/45.36	c cleaning 8134 clauses out of 16273 with flag 36333/367728
47.82/46.33	c cleaning 8067 clauses out of 16139 with flag 52517/375728
48.82/47.40	c cleaning 8533 clauses out of 17071 with flag 70878/384727
49.21/47.78	c Got one! Elapsed wall clock time (in seconds):47.675
49.21/47.78	o -169
49.41/47.98	c Got one! Elapsed wall clock time (in seconds):47.874
49.41/47.98	o -170
49.51/48.01	c Got one! Elapsed wall clock time (in seconds):47.897
49.51/48.01	o -171
49.51/48.01	c Got one! Elapsed wall clock time (in seconds):47.898
49.51/48.01	o -172
49.61/48.14	c cleaning 7455 clauses out of 14914 with flag 2030/391103
50.31/48.83	c cleaning 6727 clauses out of 13459 with flag 14497/397103
51.12/49.62	c cleaning 6859 clauses out of 13731 with flag 28498/404102
52.01/50.54	c cleaning 7437 clauses out of 14873 with flag 44500/412103
52.51/51.00	c Got one! Elapsed wall clock time (in seconds):50.892
52.51/51.00	o -173
52.61/51.13	c cleaning 6368 clauses out of 12742 with flag 2004/417409
53.39/51.83	c cleaning 6182 clauses out of 12375 with flag 14007/423410
54.18/52.63	c cleaning 6589 clauses out of 13192 with flag 28006/430409
55.08/53.58	c cleaning 7302 clauses out of 14604 with flag 44008/438410
56.18/54.64	c cleaning 8147 clauses out of 16302 with flag 62009/447410
57.38/55.87	c cleaning 9076 clauses out of 18155 with flag 82009/457410
59.01/57.37	c cleaning 10035 clauses out of 20078 with flag 104008/468409
60.50/58.87	c cleaning 11020 clauses out of 22045 with flag 128014/480411
62.21/60.55	c cleaning 12010 clauses out of 24024 with flag 154012/493410
64.20/62.54	c cleaning 13000 clauses out of 26013 with flag 182010/507409
66.36/64.66	c cleaning 14003 clauses out of 28014 with flag 212014/522410
68.56/66.83	c cleaning 15000 clauses out of 30011 with flag 244015/538410
70.96/69.24	c cleaning 16002 clauses out of 32011 with flag 278022/555410
73.64/71.83	c cleaning 17000 clauses out of 34008 with flag 314026/573409
76.44/74.65	c cleaning 18003 clauses out of 36008 with flag 352054/592409
79.54/77.66	c cleaning 18998 clauses out of 38006 with flag 392062/612410
82.94/81.03	c cleaning 19998 clauses out of 40007 with flag 434068/633409
84.45/82.57	c Got one! Elapsed wall clock time (in seconds):82.465
84.45/82.57	o -174
85.44/83.47	c cleaning 18108 clauses out of 36228 with flag 10101/649628
86.24/84.24	c cleaning 12057 clauses out of 24119 with flag 22188/655627
87.04/85.08	c cleaning 9525 clauses out of 19062 with flag 36429/662627
87.94/85.98	c cleaning 8761 clauses out of 17537 with flag 52565/670627
89.04/87.01	c cleaning 8886 clauses out of 17776 with flag 70909/679627
90.14/88.17	c cleaning 9440 clauses out of 18890 with flag 91166/689627
91.49/89.46	c cleaning 10225 clauses out of 20452 with flag 113821/700629
92.99/90.94	c cleaning 11108 clauses out of 22225 with flag 138736/712627
93.99/91.92	c Got one! Elapsed wall clock time (in seconds):91.81
93.99/91.92	o -176
94.70/92.63	c cleaning 12123 clauses out of 24249 with flag 10252/725759
95.40/93.39	c cleaning 9059 clauses out of 18127 with flag 22746/731760
96.21/94.19	c cleaning 8028 clauses out of 16067 with flag 37695/738759
96.51/94.49	c Got one! Elapsed wall clock time (in seconds):94.383
96.51/94.49	o -177
96.91/94.82	c cleaning 6979 clauses out of 13974 with flag 6143/744694
97.11/95.01	c Got one! Elapsed wall clock time (in seconds):94.9
97.11/95.01	o -178
97.51/95.44	c cleaning 6474 clauses out of 12951 with flag 8349/750650
98.11/96.06	c cleaning 6236 clauses out of 12477 with flag 21067/756650
98.81/96.79	c cleaning 6616 clauses out of 13241 with flag 35379/763650
99.71/97.61	c cleaning 7311 clauses out of 14626 with flag 51385/771651
100.75/98.63	c cleaning 8156 clauses out of 16314 with flag 69415/780650
101.94/99.85	c cleaning 9080 clauses out of 18159 with flag 89433/790651
103.35/101.24	c cleaning 10031 clauses out of 20078 with flag 111554/801650
104.94/102.81	c cleaning 11021 clauses out of 22047 with flag 135560/813650
106.66/104.56	c cleaning 12013 clauses out of 24027 with flag 161568/826651
108.55/106.45	c cleaning 13004 clauses out of 26014 with flag 189575/840651
109.45/107.39	c Got one! Elapsed wall clock time (in seconds):107.286
109.45/107.39	o -180
110.25/108.19	c cleaning 12961 clauses out of 25931 with flag 10009/853572
111.23/109.02	c cleaning 9478 clauses out of 18969 with flag 22013/859571
112.02/109.83	c cleaning 8241 clauses out of 16492 with flag 36018/866572
112.92/110.75	c cleaning 8120 clauses out of 16250 with flag 52036/874571
114.02/111.80	c cleaning 8561 clauses out of 17131 with flag 70041/883572
115.13/112.99	c cleaning 9280 clauses out of 18570 with flag 90048/893572
116.53/114.34	c cleaning 10141 clauses out of 20290 with flag 112055/904572
118.03/115.84	c cleaning 11069 clauses out of 22148 with flag 136053/916571
119.73/117.55	c cleaning 12036 clauses out of 24079 with flag 162053/929571
121.64/119.43	c cleaning 13019 clauses out of 26044 with flag 190058/943572
123.64/121.49	c cleaning 14006 clauses out of 28026 with flag 220064/958573
126.05/123.82	c cleaning 15008 clauses out of 30019 with flag 252066/974572
128.45/126.29	c cleaning 16001 clauses out of 32010 with flag 286065/991571
131.19/128.98	c cleaning 17000 clauses out of 34009 with flag 322074/1009571
134.09/131.88	c cleaning 18004 clauses out of 36010 with flag 360078/1028572
137.34/135.09	c cleaning 19003 clauses out of 38005 with flag 400115/1048571
140.84/138.59	c cleaning 19996 clauses out of 40002 with flag 442129/1069571
144.57/142.22	c cleaning 21002 clauses out of 42007 with flag 486154/1091572
148.56/146.18	c cleaning 22000 clauses out of 44004 with flag 532163/1114571
152.86/150.47	c cleaning 23000 clauses out of 46004 with flag 580186/1138571
157.52/155.06	c cleaning 23994 clauses out of 48004 with flag 630223/1163571
162.48/159.92	c cleaning 24996 clauses out of 50010 with flag 682232/1189571
167.33/164.79	c cleaning 26004 clauses out of 52015 with flag 736366/1216572
172.68/170.07	c cleaning 26998 clauses out of 54011 with flag 792549/1244572
173.19/170.51	c Got one! Elapsed wall clock time (in seconds):170.406
173.19/170.51	o -182
173.48/170.88	c cleaning 16155 clauses out of 32322 with flag 4013/1249881
174.29/171.61	c cleaning 11078 clauses out of 22167 with flag 16013/1255881
175.08/172.40	c cleaning 9034 clauses out of 18088 with flag 30014/1262880
176.00/173.30	c cleaning 8520 clauses out of 17054 with flag 46015/1270880
176.90/174.29	c cleaning 8760 clauses out of 17534 with flag 64018/1279880
178.10/175.41	c cleaning 9385 clauses out of 18775 with flag 84023/1289881
179.31/176.69	c cleaning 10191 clauses out of 20389 with flag 106021/1300880
180.91/178.21	c cleaning 11096 clauses out of 22199 with flag 130125/1312881
182.51/179.84	c cleaning 12047 clauses out of 24102 with flag 157822/1325880
183.41/180.73	c Got one! Elapsed wall clock time (in seconds):180.624
183.41/180.73	o -183
184.11/181.41	c cleaning 12303 clauses out of 24618 with flag 10067/1338443
184.71/182.08	c cleaning 9150 clauses out of 18314 with flag 22065/1344442
185.53/182.86	c cleaning 8078 clauses out of 16165 with flag 36069/1351443
186.33/183.70	c cleaning 8038 clauses out of 16086 with flag 52067/1359442
187.33/184.62	c Got one! Elapsed wall clock time (in seconds):184.507
187.33/184.62	o -184
187.93/185.28	c cleaning 10845 clauses out of 21690 with flag 10192/1373084
188.75/186.01	c cleaning 8414 clauses out of 16844 with flag 22333/1379083
189.55/186.80	c cleaning 7712 clauses out of 15432 with flag 36522/1386085
190.35/187.68	c cleaning 7855 clauses out of 15719 with flag 52521/1394084
191.50/188.74	c cleaning 8430 clauses out of 16863 with flag 71362/1403083
192.60/189.89	c cleaning 9215 clauses out of 18434 with flag 92677/1413084
193.90/191.17	c cleaning 10108 clauses out of 20219 with flag 116244/1424084
195.41/192.64	c cleaning 11048 clauses out of 22110 with flag 141116/1436083
197.10/194.30	c cleaning 12028 clauses out of 24064 with flag 167682/1449085
199.01/196.23	c cleaning 13015 clauses out of 26035 with flag 196188/1463084
201.14/198.37	c cleaning 14007 clauses out of 28019 with flag 226377/1478083
203.44/200.68	c cleaning 15001 clauses out of 30012 with flag 259443/1494083
206.07/203.21	c cleaning 15998 clauses out of 32011 with flag 294011/1511083
208.72/205.88	c cleaning 17004 clauses out of 34014 with flag 330086/1529084
209.31/206.41	c Got one! Elapsed wall clock time (in seconds):206.302
209.31/206.41	o -186
209.41/206.58	c cleaning 11186 clauses out of 22383 with flag 2008/1534457
210.11/207.28	c cleaning 8592 clauses out of 17197 with flag 14018/1540457
210.92/208.07	c cleaning 7798 clauses out of 15605 with flag 28021/1547457
211.83/208.95	c cleaning 7899 clauses out of 15808 with flag 44032/1555458
212.83/209.97	c cleaning 8451 clauses out of 16908 with flag 62052/1564457
214.08/211.15	c cleaning 9225 clauses out of 18457 with flag 82069/1574457
215.38/212.43	c cleaning 10109 clauses out of 20232 with flag 104070/1585457
216.90/213.93	c cleaning 11062 clauses out of 22123 with flag 128079/1597457
218.50/215.56	c cleaning 12025 clauses out of 24062 with flag 154100/1610458
220.41/217.44	c cleaning 13011 clauses out of 26036 with flag 182114/1624457
222.45/219.45	c cleaning 14007 clauses out of 28025 with flag 212118/1639457
224.75/221.71	c cleaning 15003 clauses out of 30018 with flag 244139/1655457
227.38/224.35	c cleaning 16006 clauses out of 32017 with flag 278158/1672459
230.22/227.16	c cleaning 17002 clauses out of 34010 with flag 314174/1690458
233.37/230.23	c cleaning 18000 clauses out of 36009 with flag 352189/1709459
236.63/233.48	c cleaning 18996 clauses out of 38008 with flag 392202/1729458
240.25/237.03	c cleaning 20002 clauses out of 40011 with flag 434232/1750457
243.98/240.71	c cleaning 21002 clauses out of 42010 with flag 478305/1772458
248.09/244.84	c cleaning 21999 clauses out of 44008 with flag 524444/1795458
252.62/249.39	c cleaning 23004 clauses out of 46008 with flag 572536/1819457
257.39/254.07	c cleaning 24000 clauses out of 48005 with flag 622580/1844458
262.05/258.69	c Got one! Elapsed wall clock time (in seconds):258.578
262.05/258.69	o -189
263.44/260.05	c cleaning 26833 clauses out of 53673 with flag 10009/1874126
264.44/261.06	c cleaning 16411 clauses out of 32840 with flag 22019/1880126
265.37/261.99	c cleaning 11710 clauses out of 23429 with flag 36053/1887126
266.37/262.93	c cleaning 9854 clauses out of 19718 with flag 52058/1895125
267.38/263.95	c cleaning 9426 clauses out of 18864 with flag 70061/1904125
268.58/265.12	c cleaning 9714 clauses out of 19440 with flag 90072/1914127
269.89/266.41	c cleaning 10357 clauses out of 20725 with flag 112078/1925126
271.32/267.87	c cleaning 11179 clauses out of 22367 with flag 136079/1937125
273.05/269.52	c cleaning 12091 clauses out of 24188 with flag 162110/1950125
274.94/271.42	c cleaning 13044 clauses out of 26098 with flag 190139/1964126
277.07/273.54	c cleaning 14020 clauses out of 28053 with flag 220147/1979125
279.29/275.76	c cleaning 15013 clauses out of 30033 with flag 252150/1995125
279.59/276.04	c Got one! Elapsed wall clock time (in seconds):275.932
279.59/276.04	o -190
280.00/276.44	c cleaning 10261 clauses out of 20536 with flag 6098/2000641
280.70/277.14	c cleaning 8129 clauses out of 16274 with flag 18297/2006640
281.50/277.95	c cleaning 7566 clauses out of 15146 with flag 32384/2013641
282.43/278.88	c cleaning 7789 clauses out of 15579 with flag 48386/2021640
283.55/279.90	c cleaning 8396 clauses out of 16791 with flag 66392/2030641
284.65/281.08	c cleaning 9194 clauses out of 18394 with flag 86391/2040640
286.08/282.44	c cleaning 10098 clauses out of 20201 with flag 108399/2051641
287.61/283.96	c cleaning 11045 clauses out of 22102 with flag 132400/2063640
289.30/285.67	c cleaning 12026 clauses out of 24057 with flag 158404/2076640
291.31/287.63	c cleaning 13012 clauses out of 26031 with flag 186414/2090640
293.43/289.73	c cleaning 14009 clauses out of 28020 with flag 216438/2105641
295.75/292.05	c cleaning 14998 clauses out of 30010 with flag 248465/2121640
298.29/294.58	c cleaning 16004 clauses out of 32012 with flag 282501/2138640
301.13/297.38	c cleaning 16998 clauses out of 34009 with flag 318545/2156641
304.27/300.45	c cleaning 18003 clauses out of 36011 with flag 356622/2175641
307.54/303.68	c cleaning 19000 clauses out of 38007 with flag 396705/2195640
310.85/306.99	c cleaning 20000 clauses out of 40007 with flag 438830/2216640
314.63/310.64	c cleaning 21001 clauses out of 42008 with flag 482895/2238641
318.82/314.77	c cleaning 21997 clauses out of 44006 with flag 528966/2261640
323.51/319.35	c cleaning 22995 clauses out of 46010 with flag 577031/2285641
328.36/324.16	c cleaning 24004 clauses out of 48014 with flag 627033/2310640
333.29/329.00	c cleaning 24998 clauses out of 50011 with flag 679041/2336641
338.98/334.69	c cleaning 26004 clauses out of 52014 with flag 733171/2363642
345.02/340.68	c cleaning 26999 clauses out of 54008 with flag 789216/2391640
351.12/346.62	c cleaning 28001 clauses out of 56010 with flag 847235/2420641
357.74/353.11	c cleaning 29005 clauses out of 58010 with flag 907309/2450642
365.53/360.82	c cleaning 29998 clauses out of 60003 with flag 969341/2481640
372.71/367.99	c cleaning 30998 clauses out of 62006 with flag 1035441/2513641
379.85/374.95	c cleaning 31996 clauses out of 64008 with flag 1101475/2546641
388.23/383.22	c cleaning 32999 clauses out of 66012 with flag 1169535/2580641
396.97/391.88	c cleaning 34001 clauses out of 68012 with flag 1239601/2615640
405.29/400.02	c cleaning 35002 clauses out of 70011 with flag 1311643/2651640
414.82/409.41	c cleaning 36002 clauses out of 72009 with flag 1385690/2688640
423.97/418.54	c cleaning 36999 clauses out of 74007 with flag 1461792/2726640
433.78/428.25	c cleaning 37997 clauses out of 76008 with flag 1539946/2765640
443.50/437.89	c cleaning 39003 clauses out of 78011 with flag 1620235/2805640
454.23/448.49	c cleaning 39997 clauses out of 80008 with flag 1702253/2846640
465.80/459.86	c cleaning 41005 clauses out of 82012 with flag 1786278/2888641
469.04/463.04	c Got one! Elapsed wall clock time (in seconds):462.934
469.04/463.04	o -191
470.59/464.50	c cleaning 30871 clauses out of 61754 with flag 10015/2909388
471.61/465.54	c cleaning 18436 clauses out of 36884 with flag 22017/2915389
472.55/466.49	c cleaning 12717 clauses out of 25447 with flag 36020/2922388
473.55/467.45	c cleaning 10358 clauses out of 20731 with flag 52038/2930389
474.67/468.51	c cleaning 9681 clauses out of 19372 with flag 70039/2939388
475.78/469.70	c cleaning 9842 clauses out of 19692 with flag 90041/2949389
477.22/471.04	c cleaning 10421 clauses out of 20850 with flag 112044/2960389
478.66/472.48	c cleaning 11211 clauses out of 22429 with flag 136047/2972389
480.40/474.17	c cleaning 12105 clauses out of 24218 with flag 162059/2985389
482.42/476.10	c cleaning 13056 clauses out of 26113 with flag 190100/2999389
484.44/478.17	c cleaning 14024 clauses out of 28056 with flag 220127/3014388
486.86/480.51	c cleaning 15013 clauses out of 30032 with flag 252159/3030388
489.29/482.94	c cleaning 16004 clauses out of 32019 with flag 286192/3047388
491.81/485.46	c cleaning 17003 clauses out of 34015 with flag 322212/3065388
494.74/488.32	c cleaning 18002 clauses out of 36012 with flag 360253/3084388
498.09/491.62	c cleaning 19004 clauses out of 38010 with flag 400270/3104388
501.69/495.14	c cleaning 19999 clauses out of 40007 with flag 442381/3125389
505.43/498.80	c cleaning 20997 clauses out of 42008 with flag 486679/3147389
509.40/502.74	c cleaning 22001 clauses out of 44011 with flag 532766/3170389
509.89/503.28	c Got one! Elapsed wall clock time (in seconds):503.168
509.89/503.28	o -192
510.19/503.59	c cleaning 13974 clauses out of 27959 with flag 4019/3176338
511.01/504.32	c cleaning 9987 clauses out of 19985 with flag 16044/3182338
511.81/505.11	c cleaning 8488 clauses out of 16998 with flag 30080/3189338
512.73/506.01	c cleaning 8246 clauses out of 16509 with flag 46159/3197337
513.76/507.08	c cleaning 8630 clauses out of 17264 with flag 64254/3206338
514.99/508.29	c cleaning 9313 clauses out of 18633 with flag 84266/3216337
516.51/509.75	c cleaning 10159 clauses out of 20320 with flag 106271/3227337
518.05/511.27	c cleaning 11075 clauses out of 22162 with flag 130294/3239338
519.78/512.94	c cleaning 12038 clauses out of 24086 with flag 156387/3252337
521.71/514.83	c cleaning 13021 clauses out of 26048 with flag 184432/3266337
523.75/516.89	c cleaning 14013 clauses out of 28028 with flag 214519/3281338
526.20/519.21	c cleaning 15005 clauses out of 30014 with flag 246667/3297337
528.62/521.69	c cleaning 16003 clauses out of 32010 with flag 280733/3314338
531.47/524.45	c cleaning 16997 clauses out of 34007 with flag 317025/3332338
534.50/527.48	c cleaning 17997 clauses out of 36009 with flag 355854/3351337
537.94/530.87	c cleaning 19002 clauses out of 38013 with flag 396183/3371338
541.66/534.58	c cleaning 20002 clauses out of 40011 with flag 438305/3392338
545.45/538.25	c cleaning 21000 clauses out of 42008 with flag 482945/3414337
549.27/542.02	c cleaning 22001 clauses out of 44008 with flag 529412/3437337
553.38/546.20	c cleaning 23004 clauses out of 46007 with flag 577888/3461337
558.16/550.83	c cleaning 24000 clauses out of 48003 with flag 628287/3486337
562.93/555.54	c cleaning 24997 clauses out of 50003 with flag 680480/3512337
567.87/560.43	c cleaning 25999 clauses out of 52007 with flag 734529/3539338
572.99/565.48	c cleaning 26995 clauses out of 54008 with flag 790639/3567338
578.33/570.78	c cleaning 28001 clauses out of 56012 with flag 848814/3596337
584.53/576.86	c cleaning 29001 clauses out of 58011 with flag 909254/3626337
591.12/583.35	c cleaning 29999 clauses out of 60010 with flag 971431/3657337
597.63/589.75	c cleaning 31000 clauses out of 62011 with flag 1035667/3689337
604.70/596.72	c cleaning 32002 clauses out of 64011 with flag 1102012/3722337
611.98/603.99	c cleaning 33000 clauses out of 66010 with flag 1170210/3756338
619.72/611.56	c cleaning 34003 clauses out of 68010 with flag 1240259/3791338
628.22/619.91	c cleaning 35002 clauses out of 70006 with flag 1312736/3827337
637.15/628.76	c cleaning 35998 clauses out of 72005 with flag 1386789/3864338
646.05/637.55	c cleaning 36999 clauses out of 74006 with flag 1462878/3902337
654.90/646.22	c cleaning 38002 clauses out of 76007 with flag 1541022/3941337
664.55/655.75	c cleaning 38997 clauses out of 78005 with flag 1621125/3981337
674.87/665.93	c cleaning 40002 clauses out of 80009 with flag 1703264/4022338
685.98/676.99	c cleaning 41004 clauses out of 82007 with flag 1787577/4064338
697.75/688.51	c cleaning 41996 clauses out of 84003 with flag 1873688/4107338
711.07/701.79	c cleaning 42997 clauses out of 86007 with flag 1961906/4151338
713.10/703.77	c Got one! Elapsed wall clock time (in seconds):703.664
713.10/703.77	o -193
714.40/705.04	c cleaning 29095 clauses out of 58205 with flag 10030/4166533
715.31/705.99	c cleaning 17549 clauses out of 35112 with flag 22070/4172535
716.31/706.90	c cleaning 12274 clauses out of 24561 with flag 36123/4179533
717.22/707.88	c cleaning 10133 clauses out of 20288 with flag 52217/4187534
718.33/708.92	c cleaning 9571 clauses out of 19154 with flag 70248/4196533
719.44/710.07	c cleaning 9789 clauses out of 19583 with flag 90417/4206533
720.77/711.37	c cleaning 10391 clauses out of 20794 with flag 112490/4217533
722.31/712.86	c cleaning 11199 clauses out of 22404 with flag 136566/4229534
723.92/714.44	c cleaning 12100 clauses out of 24206 with flag 162714/4242535
725.77/716.28	c cleaning 13049 clauses out of 26104 with flag 190818/4256533
726.97/717.48	c Got one! Elapsed wall clock time (in seconds):717.368
726.97/717.48	o -195
727.81/718.28	c cleaning 13882 clauses out of 27770 with flag 10062/4271248
728.61/719.03	c cleaning 9939 clauses out of 19889 with flag 22112/4277249
729.41/719.84	c cleaning 8468 clauses out of 16949 with flag 36168/4284248
730.43/720.81	c cleaning 8233 clauses out of 16482 with flag 52181/4292249
731.43/721.82	c cleaning 8617 clauses out of 17248 with flag 70221/4301248
732.54/722.95	c cleaning 9312 clauses out of 18631 with flag 90362/4311248
733.86/724.28	c cleaning 10157 clauses out of 20319 with flag 112479/4322248
735.39/725.73	c cleaning 11074 clauses out of 22163 with flag 136653/4334249
737.05/727.36	c cleaning 12039 clauses out of 24089 with flag 162754/4347249
738.84/729.13	c cleaning 13020 clauses out of 26050 with flag 190876/4361249
739.65/729.98	c Got one! Elapsed wall clock time (in seconds):729.873
739.65/729.98	o -196
740.45/730.72	c cleaning 12740 clauses out of 25494 with flag 10403/4373713
741.17/731.47	c cleaning 9371 clauses out of 18754 with flag 22789/4379713
741.97/732.29	c cleaning 8180 clauses out of 16383 with flag 37067/4386713
742.89/733.15	c cleaning 8095 clauses out of 16203 with flag 53092/4394713
743.89/734.12	c cleaning 8550 clauses out of 17108 with flag 71185/4403713
745.00/735.23	c cleaning 9279 clauses out of 18558 with flag 91278/4413713
746.32/736.53	c cleaning 10136 clauses out of 20279 with flag 113333/4424713
747.75/737.99	c cleaning 11070 clauses out of 22144 with flag 137494/4436714
749.48/739.65	c cleaning 12035 clauses out of 24073 with flag 163553/4449713
751.42/741.51	c cleaning 13015 clauses out of 26037 with flag 191691/4463712
753.56/743.63	c cleaning 14007 clauses out of 28022 with flag 221805/4478712
755.90/745.99	c cleaning 15003 clauses out of 30015 with flag 253883/4494712
758.55/748.59	c cleaning 16005 clauses out of 32013 with flag 288008/4511713
761.47/751.45	c cleaning 17002 clauses out of 34008 with flag 324180/4529713
764.61/754.57	c cleaning 17997 clauses out of 36005 with flag 362274/4548712
768.06/757.91	c cleaning 19000 clauses out of 38009 with flag 402334/4568713
771.48/761.32	c cleaning 20001 clauses out of 40009 with flag 444349/4589713
775.12/764.91	c cleaning 20995 clauses out of 42007 with flag 488507/4611712
779.07/768.83	c cleaning 22005 clauses out of 44012 with flag 534722/4634712
783.03/772.79	c cleaning 23003 clauses out of 46009 with flag 582974/4658714
787.46/777.13	c cleaning 23998 clauses out of 48004 with flag 633226/4683712
792.21/781.85	c cleaning 24999 clauses out of 50007 with flag 685437/4709713
797.26/786.88	c cleaning 26000 clauses out of 52008 with flag 740197/4736713
802.83/792.33	c cleaning 26998 clauses out of 54008 with flag 796449/4764713
808.22/797.64	c cleaning 28005 clauses out of 56010 with flag 854718/4793713
814.29/803.60	c cleaning 29000 clauses out of 58005 with flag 914994/4823713
820.36/809.68	c cleaning 29998 clauses out of 60004 with flag 977115/4854712
826.84/816.07	c cleaning 31003 clauses out of 62007 with flag 1041278/4886713
834.02/823.12	c cleaning 31993 clauses out of 64004 with flag 1107510/4919713
841.59/830.65	c cleaning 32996 clauses out of 66011 with flag 1175677/4953713
849.15/838.02	c cleaning 34002 clauses out of 68015 with flag 1245805/4988713
857.47/846.23	c cleaning 35001 clauses out of 70012 with flag 1317864/5024712
866.25/854.82	c cleaning 36006 clauses out of 72012 with flag 1392003/5061713
875.27/863.73	c cleaning 37001 clauses out of 74005 with flag 1468959/5099712
884.93/873.10	c cleaning 37995 clauses out of 76004 with flag 1547221/5138712
895.28/883.32	c cleaning 39000 clauses out of 78010 with flag 1627545/5178713
905.83/893.76	c cleaning 40000 clauses out of 80010 with flag 1709648/5219713
916.83/904.67	c cleaning 40999 clauses out of 82009 with flag 1793864/5261712
929.55/917.23	c cleaning 42000 clauses out of 84010 with flag 1880274/5304712
940.05/927.64	c cleaning 43001 clauses out of 86010 with flag 1968475/5348712
952.80/940.23	c cleaning 44004 clauses out of 88009 with flag 2058981/5393712
965.77/953.02	c cleaning 45001 clauses out of 90006 with flag 2151120/5439713
979.15/966.27	c cleaning 46001 clauses out of 92006 with flag 2245855/5486714
993.51/980.43	c cleaning 47001 clauses out of 94005 with flag 2342120/5534714
1007.36/994.18	c cleaning 47994 clauses out of 96002 with flag 2440471/5583712
1023.92/1010.50	c cleaning 48999 clauses out of 98008 with flag 2540747/5633712
1029.41/1015.96	c Got one! Elapsed wall clock time (in seconds):1015.856
1029.41/1015.97	o -199
1031.35/1017.83	c cleaning 38599 clauses out of 77212 with flag 10011/5661915
1032.45/1018.94	c cleaning 22297 clauses out of 44614 with flag 22026/5667916
1033.47/1019.99	c cleaning 14652 clauses out of 29317 with flag 36076/5674916
1034.60/1021.05	c cleaning 11324 clauses out of 22665 with flag 52093/5682916
1035.83/1022.20	c cleaning 10163 clauses out of 20340 with flag 70100/5691915
1037.04/1023.40	c cleaning 10082 clauses out of 20177 with flag 90107/5701915
1038.47/1024.83	c cleaning 10547 clauses out of 21095 with flag 112115/5712915
1039.99/1026.34	c cleaning 11269 clauses out of 22549 with flag 136131/5724916
1041.74/1028.02	c cleaning 12137 clauses out of 24279 with flag 162136/5737915
1043.55/1029.84	c cleaning 13068 clauses out of 26142 with flag 190155/5751915
1045.68/1031.92	c cleaning 14034 clauses out of 28075 with flag 220171/5766916
1047.80/1034.03	c cleaning 15013 clauses out of 30040 with flag 252199/5782915
1050.15/1036.37	c cleaning 16014 clauses out of 32029 with flag 286325/5799917
1052.87/1039.03	c cleaning 17003 clauses out of 34013 with flag 322415/5817915
1055.74/1041.80	c cleaning 18002 clauses out of 36011 with flag 360561/5836916
1058.77/1044.81	c cleaning 19001 clauses out of 38009 with flag 400610/5856916
1062.12/1048.14	c cleaning 19999 clauses out of 40008 with flag 442745/5877916
1065.68/1051.70	c cleaning 21002 clauses out of 42009 with flag 486806/5899916
1069.86/1055.78	c cleaning 22003 clauses out of 44006 with flag 533015/5922915
1074.30/1060.11	c cleaning 22998 clauses out of 46003 with flag 581241/5946915
1078.94/1064.73	c cleaning 23999 clauses out of 48006 with flag 631304/5971916
1083.63/1069.31	c cleaning 25003 clauses out of 50006 with flag 683399/5997915
1088.39/1074.03	c cleaning 26001 clauses out of 52004 with flag 737601/6024916
1093.59/1079.16	c cleaning 26996 clauses out of 54003 with flag 793670/6052916
1098.70/1084.13	c cleaning 28002 clauses out of 56007 with flag 851864/6081916
1104.45/1089.84	c cleaning 28999 clauses out of 58005 with flag 912010/6111916
1110.76/1096.02	c cleaning 29996 clauses out of 60005 with flag 974234/6142915
1117.02/1102.25	c cleaning 31002 clauses out of 62009 with flag 1038314/6174915
1123.52/1108.66	c cleaning 31996 clauses out of 64007 with flag 1104397/6207915
1130.92/1115.96	c cleaning 33000 clauses out of 66011 with flag 1172557/6241915
1138.76/1123.66	c cleaning 33999 clauses out of 68011 with flag 1242642/6276915
1147.59/1132.39	c cleaning 35003 clauses out of 70013 with flag 1314716/6312916
1155.72/1140.37	c cleaning 36001 clauses out of 72009 with flag 1388779/6349915
1164.41/1148.93	c cleaning 37002 clauses out of 74008 with flag 1464845/6387915
1173.90/1158.24	c cleaning 37999 clauses out of 76007 with flag 1542968/6426916
1182.90/1167.19	c cleaning 39001 clauses out of 78008 with flag 1623040/6466916
1192.89/1177.07	c cleaning 39998 clauses out of 80008 with flag 1705251/6507917
1202.61/1186.66	c cleaning 41004 clauses out of 82008 with flag 1789380/6549915
1213.85/1197.76	c cleaning 41997 clauses out of 84004 with flag 1875440/6592915
1225.58/1209.33	c cleaning 42997 clauses out of 86008 with flag 1963688/6636916
1237.44/1221.07	c cleaning 44005 clauses out of 88010 with flag 2054282/6681915
1249.37/1232.89	c cleaning 44994 clauses out of 90005 with flag 2146633/6727915
1262.95/1246.22	c cleaning 45999 clauses out of 92011 with flag 2241002/6774915
1276.79/1259.97	c cleaning 47002 clauses out of 94013 with flag 2337231/6822916
1291.39/1274.30	c cleaning 48005 clauses out of 96012 with flag 2435416/6871917
1306.04/1288.87	c cleaning 48997 clauses out of 98007 with flag 2535500/6921917
1322.04/1304.63	c cleaning 49999 clauses out of 100009 with flag 2637775/6972916
1339.32/1321.64	c cleaning 51001 clauses out of 102009 with flag 2742087/7024915
1357.28/1339.41	c cleaning 51997 clauses out of 104009 with flag 2848441/7077916
1373.43/1355.35	c cleaning 53000 clauses out of 106011 with flag 2956626/7131915
1391.20/1372.98	c cleaning 54004 clauses out of 108013 with flag 3066745/7186917
1410.26/1391.75	c cleaning 54997 clauses out of 110008 with flag 3178889/7242916
1429.12/1410.41	c cleaning 56004 clauses out of 112010 with flag 3293215/7299915
1449.06/1430.14	c cleaning 56992 clauses out of 114006 with flag 3409524/7357915
1469.18/1450.01	c cleaning 58003 clauses out of 116015 with flag 3528323/7416916
1490.52/1471.15	c cleaning 59002 clauses out of 118011 with flag 3648840/7476915
1509.61/1489.95	c cleaning 59999 clauses out of 120010 with flag 3771221/7537916
1529.68/1509.75	c cleaning 61001 clauses out of 122011 with flag 3895479/7599916
1553.36/1533.10	c cleaning 62003 clauses out of 124010 with flag 4021783/7662916
1576.27/1555.86	c cleaning 62998 clauses out of 126006 with flag 4150068/7726915
1600.43/1579.67	c cleaning 64000 clauses out of 128009 with flag 4280284/7791916
1626.30/1605.25	c cleaning 64999 clauses out of 130008 with flag 4412719/7857915
1652.79/1631.47	c cleaning 66001 clauses out of 132009 with flag 4547130/7924915
1678.63/1657.01	c cleaning 67000 clauses out of 134008 with flag 4683557/7992915
1688.54/1666.81	c Got one! Elapsed wall clock time (in seconds):1666.702
1688.54/1666.81	o -200
1691.18/1669.47	c cleaning 52312 clauses out of 104635 with flag 10050/8030542
1692.59/1670.86	c cleaning 29157 clauses out of 58323 with flag 22081/8036542
1693.87/1672.02	c cleaning 18073 clauses out of 36166 with flag 36147/8043542
1694.99/1673.18	c cleaning 13039 clauses out of 26093 with flag 52154/8051542
1696.21/1674.37	c cleaning 11023 clauses out of 22054 with flag 70172/8060542
1697.53/1675.62	c cleaning 10508 clauses out of 21031 with flag 90235/8070542
1698.86/1676.95	c cleaning 10759 clauses out of 21522 with flag 112279/8081541
1700.48/1678.51	c cleaning 11378 clauses out of 22764 with flag 136308/8093542
1702.12/1680.18	c cleaning 12184 clauses out of 24386 with flag 162334/8106542
1704.05/1682.06	c cleaning 13096 clauses out of 26201 with flag 190371/8120541
1706.05/1684.05	c cleaning 14048 clauses out of 28106 with flag 220437/8135542
1708.29/1686.24	c cleaning 15026 clauses out of 30058 with flag 252456/8151542
1710.72/1688.66	c cleaning 16015 clauses out of 32032 with flag 286500/8168542
1713.37/1691.27	c cleaning 17003 clauses out of 34016 with flag 322586/8186541
1716.31/1694.13	c cleaning 18002 clauses out of 36013 with flag 360808/8205541
1719.43/1697.26	c cleaning 19005 clauses out of 38012 with flag 401163/8225542
1722.99/1700.75	c cleaning 20002 clauses out of 40006 with flag 443288/8246541
1726.74/1704.44	c cleaning 20999 clauses out of 42004 with flag 487363/8268541
1730.72/1708.35	c cleaning 22000 clauses out of 44005 with flag 533441/8291541
1734.98/1712.52	c cleaning 22997 clauses out of 46005 with flag 581635/8315541
1739.56/1717.02	c cleaning 24000 clauses out of 48008 with flag 631676/8340541
1744.14/1721.57	c cleaning 24999 clauses out of 50008 with flag 683843/8366541
1749.47/1726.81	c cleaning 25999 clauses out of 52010 with flag 738214/8393542
1754.93/1732.24	c cleaning 27000 clauses out of 54010 with flag 794618/8421541
1760.64/1737.87	c cleaning 28000 clauses out of 56010 with flag 852743/8450541
1766.53/1743.66	c cleaning 28999 clauses out of 58010 with flag 912856/8480541
1772.57/1749.60	c cleaning 30001 clauses out of 60011 with flag 975105/8511541
1779.04/1756.07	c cleaning 31002 clauses out of 62010 with flag 1039227/8543541
1785.75/1762.63	c cleaning 31998 clauses out of 64008 with flag 1105309/8576541
1793.19/1769.97	c cleaning 32999 clauses out of 66010 with flag 1173427/8610541
1800.06/1776.70	c starts		: 77
1800.06/1776.70	c conflicts		: 8642255
1800.06/1776.70	c decisions		: 8647693
1800.06/1776.70	c propagations		: 256297844
1800.06/1776.70	c inspects		: 25252757002
1800.06/1776.70	c shortcuts		: 0
1800.06/1776.70	c learnt literals	: 0
1800.06/1776.70	c learnt binary clauses	: 0
1800.06/1776.70	c learnt ternary clauses	: 42
1800.06/1776.70	c learnt constraints	: 8642255
1800.06/1776.70	c ignored constraints	: 0
1800.06/1776.70	c root simplifications	: 0
1800.06/1776.70	c removed literals (reason simplification)	: 0
1800.06/1776.70	c reason swapping (by a shorter reason)	: 0
1800.06/1776.70	c Calls to reduceDB	: 430
1800.06/1776.70	c Number of update (reduction) of LBD	: 1650
1800.06/1776.70	c Imported unit clauses	: 0
1800.06/1776.70	c number of reductions to clauses (during analyze)	: 0
1800.06/1776.70	c number of learned constraints concerned by reduction	: 0
1800.06/1776.70	c number of learning phase by resolution	: 0
1800.06/1776.70	c number of learning phase by cutting planes	: 0
1800.06/1776.70	c speed (assignments/second)	: 144275.536506296
1800.06/1776.70	c non guided choices	0
1800.06/1776.73	c learnt constraints type 
1800.06/1776.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64725
1800.06/1776.73	s SATISFIABLE
1800.06/1776.73	c Found 70 solution(s)
1800.06/1776.73	v -x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 x10 x11 -x12 -x13 x14 -x15 x16 x17 x18 x19 x20 x21 x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 -x48 x49 -x50 -x51 -x52 x53 -x54 x55 
1800.06/1776.73	c objective function=-200
1800.06/1776.73	c Total wall clock time (in seconds): 1776.62

Verifier Data 

OK	-200

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-4119326-1467254672/watcher-4119326-1467254672 -o /tmp/evaluation-result-4119326-1467254672/solver-4119326-1467254672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119326-1467254672.opb 

pid=25298
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 25301
/proc/meminfo: memFree=27641052/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 1329 0 0 0 0 0 0 0 20 0 2 0 15495751 98635776 960 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 24065 960 728 9 0 16771 0
[pid=25301/tid=25302] ppid=25298 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 15495751 98570240 977 33554432000 1073741824 1073778376 140734778498016 140530825719336 248790205824 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100112 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 25301
/proc/meminfo: memFree=27641052/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 4410 0 1 0 9 1 0 0 20 0 18 0 15495751 9787879424 6035 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2389619 6035 2125 9 0 2380296 0
[pid=25301/tid=25302] ppid=25298 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 15495751 9787879424 6035 33554432000 1073741824 1073778376 140734778498016 140530825722784 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200311 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 25301
/proc/meminfo: memFree=27641052/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 4657 0 1 0 24 1 0 0 20 0 18 0 15495751 9787879424 6738 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2389619 6738 2216 9 0 2380296 0
[pid=25301/tid=25302] ppid=25298 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 18 0 15495751 9787879424 6738 33554432000 1073741824 1073778376 140734778498016 140530825723672 140530676032626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300314 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 25301
/proc/meminfo: memFree=27641052/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 5758 0 1 0 43 1 0 0 20 0 19 0 15495751 9856040960 8517 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 8517 2247 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2417 0 1 0 27 0 0 0 20 0 19 0 15495751 9856040960 8517 33554432000 1073741824 1073778376 140734778498016 140530825724544 140530675694823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9625040

[startup+0.700198 s]
/proc/loadavg: 2.39 2.26 2.20 3/194 25301
/proc/meminfo: memFree=27641052/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 11991 0 1 0 132 2 0 0 20 0 19 0 15495751 9856040960 13849 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 13849 2260 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2420 0 1 0 67 0 0 0 20 0 19 0 15495751 9856040960 13849 33554432000 1073741824 1073778376 140734778498016 140530825723736 140530676179341 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 9625040

[startup+1.50075 s]
/proc/loadavg: 2.39 2.26 2.20 4/213 25320
/proc/meminfo: memFree=27584016/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 13057 0 1 0 235 3 0 0 20 0 19 0 15495751 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 19028 2271 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2431 0 1 0 145 1 0 0 20 0 19 0 15495751 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530825716016 140530676129501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15495753 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4888 0 0 0 48 0 0 0 20 0 19 0 15495756 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/25301/task/25317/stat : 25317 (java) S 25298 25301 24014 0 -1 4202560 4466 0 0 0 39 0 0 0 20 0 19 0 15495756 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530173713336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25318] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25318/stat : 25318 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530172660472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25319] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25319/stat : 25319 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530171608136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 19028 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 2.39 2.26 2.20 3/213 25320
/proc/meminfo: memFree=27558572/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 13081 0 1 0 399 4 0 0 20 0 19 0 15495751 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 27224 2275 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2447 0 1 0 305 1 0 0 20 0 19 0 15495751 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530825715376 140530676239826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15495753 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4892 0 0 0 51 0 0 0 20 0 19 0 15495756 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25301/task/25317/stat : 25317 (java) S 25298 25301 24014 0 -1 4202560 4470 0 0 0 41 0 0 0 20 0 19 0 15495756 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530173713336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25318] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25318/stat : 25318 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530172660472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25319] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25319/stat : 25319 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530171608136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 27224 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.36 2.26 2.20 3/213 25320
/proc/meminfo: memFree=27486584/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=7.3 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 13186 0 1 0 722 8 0 0 20 0 19 0 15495751 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 49726 2289 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 2482 0 1 0 620 3 0 0 20 0 19 0 15495751 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530825724280 140530676108455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15495752 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495753 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4892 0 0 0 52 0 0 0 20 0 19 0 15495756 9856040960 49726 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.41 cores=0,2,4,6

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

[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 121044 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1684
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.33 2.29 2.21 3/213 25453
/proc/meminfo: memFree=29719612/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=1744.93 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 34895 0 1 0 174308 185 0 0 20 0 19 0 15495751 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 87131 2298 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=1703.52 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 3159 0 1 0 170321 31 0 0 20 0 19 0 15495751 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530825715360 140530676108921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 2065 0 0 0 379 21 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 1516 0 0 0 364 17 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 2751 0 0 0 378 18 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=4.01 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 2064 0 0 0 380 21 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 2997 0 0 0 368 16 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=3.83 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 2908 0 0 0 364 19 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 2353 0 0 0 371 18 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=4.08 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3050 0 0 0 388 20 0 0 20 0 19 0 15495752 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=4.68 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 1309 0 0 0 460 8 0 0 20 0 19 0 15495753 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4892 0 0 0 52 0 0 0 20 0 19 0 15495756 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/25301/task/25317/stat : 25317 (java) S 25298 25301 24014 0 -1 4202560 4472 0 0 0 44 0 0 0 20 0 19 0 15495756 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530173713336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25318] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25318/stat : 25318 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530172660472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25319] ppid=25298 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/25301/task/25319/stat : 25319 (java) S 25298 25301 24014 0 -1 4202560 100 0 0 0 15 22 0 0 20 0 19 0 15495756 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530171608136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 87131 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1744.93
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1776.7 s]
/proc/loadavg: 2.17 2.25 2.20 4/213 25454
/proc/meminfo: memFree=29685592/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 35386 0 1 0 179819 187 0 0 20 0 19 0 15495751 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 89836 2298 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=1757.3 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 3181 0 1 0 175698 32 0 0 20 0 19 0 15495751 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530825723072 140530676159587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 2166 0 0 0 391 21 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 1524 0 0 0 376 17 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 2768 0 0 0 393 18 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 2189 0 0 0 395 21 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 3144 0 0 0 380 16 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 2909 0 0 0 375 19 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 2361 0 0 0 385 18 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3058 0 0 0 402 20 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 1359 0 0 0 474 9 0 0 20 0 19 0 15495753 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4892 0 0 0 52 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/25301/task/25317/stat : 25317 (java) S 25298 25301 24014 0 -1 4202560 4472 0 0 0 44 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530173713336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25318] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25318/stat : 25318 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530172660472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25319] ppid=25298 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/25301/task/25319/stat : 25319 (java) S 25298 25301 24014 0 -1 4202560 104 0 0 0 16 22 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530171608136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 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 25301 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1776.7 s]
/proc/loadavg: 2.17 2.25 2.20 4/213 25454
/proc/meminfo: memFree=29685592/32872528 swapFree=1394328/1580332
[pid=25301] ppid=25298 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/25301/stat : 25301 (java) S 25298 25301 24014 0 -1 4202496 35386 0 1 0 179819 187 0 0 20 0 19 0 15495751 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140734778489152 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25301/statm: 2406260 89836 2298 9 0 2396937 0
[pid=25301/tid=25302] ppid=25298 vsize=9625040 CPUtime=1757.3 cores=0,2,4,6
/proc/25301/task/25302/stat : 25302 (java) R 25298 25301 24014 0 -1 4202560 3181 0 1 0 175698 32 0 0 20 0 19 0 15495751 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530825723072 140530676159587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25304] ppid=25298 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/25301/task/25304/stat : 25304 (java) S 25298 25301 24014 0 -1 4202560 2166 0 0 0 391 21 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530798176680 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25305] ppid=25298 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/25301/task/25305/stat : 25305 (java) S 25298 25301 24014 0 -1 4202560 1524 0 0 0 376 17 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530797124136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25306] ppid=25298 vsize=9625040 CPUtime=4.11 cores=0,2,4,6
/proc/25301/task/25306/stat : 25306 (java) S 25298 25301 24014 0 -1 4202560 2768 0 0 0 393 18 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530796071080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25301/tid=25307] ppid=25298 vsize=9625040 CPUtime=4.16 cores=0,2,4,6
/proc/25301/task/25307/stat : 25307 (java) S 25298 25301 24014 0 -1 4202560 2189 0 0 0 395 21 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530795018536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25308] ppid=25298 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/25301/task/25308/stat : 25308 (java) S 25298 25301 24014 0 -1 4202560 3144 0 0 0 380 16 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530664647592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25309] ppid=25298 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/25301/task/25309/stat : 25309 (java) S 25298 25301 24014 0 -1 4202560 2909 0 0 0 375 19 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530663595048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25310] ppid=25298 vsize=9625040 CPUtime=4.03 cores=0,2,4,6
/proc/25301/task/25310/stat : 25310 (java) S 25298 25301 24014 0 -1 4202560 2361 0 0 0 385 18 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530662541992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25311] ppid=25298 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/25301/task/25311/stat : 25311 (java) S 25298 25301 24014 0 -1 4202560 3058 0 0 0 402 20 0 0 20 0 19 0 15495752 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530661489448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25312] ppid=25298 vsize=9625040 CPUtime=4.83 cores=0,2,4,6
/proc/25301/task/25312/stat : 25312 (java) S 25298 25301 24014 0 -1 4202560 1359 0 0 0 474 9 0 0 20 0 19 0 15495753 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530178976104 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25313] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25313/stat : 25313 (java) S 25298 25301 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530177922424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25314] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25314/stat : 25314 (java) S 25298 25301 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15495754 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530176869256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25315] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25315/stat : 25315 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530175818000 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25316] ppid=25298 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/25301/task/25316/stat : 25316 (java) S 25298 25301 24014 0 -1 4202560 4892 0 0 0 52 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530174765880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25301/tid=25317] ppid=25298 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/25301/task/25317/stat : 25317 (java) S 25298 25301 24014 0 -1 4202560 4472 0 0 0 44 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530173713336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25318] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25318/stat : 25318 (java) S 25298 25301 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530172660472 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25301/tid=25319] ppid=25298 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/25301/task/25319/stat : 25319 (java) S 25298 25301 24014 0 -1 4202560 104 0 0 0 16 22 0 0 20 0 19 0 15495756 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530171608136 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25301/tid=25320] ppid=25298 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25301/task/25320/stat : 25320 (java) S 25298 25301 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15495777 9856040960 89836 33554432000 1073741824 1073778376 140734778498016 140530170553384 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25301 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=998270
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=282652
# CPU time returned by wait4() is 1796.28
# 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): 1776.74
CPU time (s): 1800.06
CPU user time (s): 1798.19
CPU system time (s): 1.87
CPU usage (%): 101.313
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794
system time used= 2.28265
maximum resident set size= 593980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35422
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59959
involuntary context switches= 70244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.98348 second user time and 12.7831 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-30 04:44:32
IDJOB=4119326
IDBENCH=111702
IDSOLVER=2546
FILE ID=node139/4119326-1467254672
RUNJOBID= node139-1467248605-24285
PBS_JOBID= 20004484
Free space on /tmp= 71708 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_bern55-06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119326-1467254672/watcher-4119326-1467254672 -o /tmp/evaluation-result-4119326-1467254672/solver-4119326-1467254672 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119326-1467254672.opb

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

MD5SUM BENCH= 701cda8648df32669dd82c408a9456b5
RANDOM SEED=55734192

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.092
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.092
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.56
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.092
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.092
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.48
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.092
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:        27641960 kB
Buffers:          147884 kB
Cached:           145216 kB
SwapCached:         3080 kB
Active:          2729360 kB
Inactive:         183008 kB
Active(anon):    2617924 kB
Inactive(anon):     3176 kB
Active(file):     111436 kB
Inactive(file):   179832 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:               876 kB
Writeback:             0 kB
AnonPages:       4197104 kB
Mapped:            15988 kB
Shmem:                 0 kB
Slab:             601232 kB
SReclaimable:      45080 kB
SUnreclaim:       556152 kB
KernelStack:        1600 kB
PageTables:        12700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4694480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2641920 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= 71708 MiB
End job on node139 at 2016-06-30 05:14:09