Trace number 4119486

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)-95 1800.06 1792.14

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-04.opb
MD5SUM2770917894a9bb7aef116dc192cdb6a7
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-95
Best CPU time to get the best result obtained on this benchmark1800.06
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 263
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2816
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2816
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)228
Sum of products size (including duplicates)617
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4119486-1467260022.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.17	c ... done. Wall clock time 0.049s.
0.09/0.17	c declared #vars     35
0.09/0.17	c internal #vars     263
0.09/0.17	c #constraints  456
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 228
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 228
0.09/0.17	c 456 constraints processed.
0.09/0.17	c objective function length is 263 literals
0.09/0.18	c SATISFIABLE
0.09/0.18	c OPTIMIZING...
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.058
0.09/0.18	o -69
0.09/0.18	c Got one! Elapsed wall clock time (in seconds):0.067
0.09/0.18	o -70
0.21/0.20	c Got one! Elapsed wall clock time (in seconds):0.079
0.21/0.20	o -71
0.73/0.54	c Got one! Elapsed wall clock time (in seconds):0.419
0.73/0.54	o -72
0.92/0.63	c cleaning 2856 clauses out of 5711 with flag 2103/5711
1.35/0.97	c cleaning 4428 clauses out of 8856 with flag 14502/11712
1.76/1.38	c cleaning 5709 clauses out of 11428 with flag 29441/18712
2.28/1.90	c cleaning 6859 clauses out of 13719 with flag 46187/26712
2.40/1.95	c Got one! Elapsed wall clock time (in seconds):1.829
2.40/1.95	o -73
2.73/2.23	c cleaning 6008 clauses out of 12027 with flag 8472/31879
3.02/2.59	c cleaning 6008 clauses out of 12018 with flag 21236/37878
3.52/3.01	c cleaning 6504 clauses out of 13011 with flag 36565/44879
4.03/3.53	c cleaning 7248 clauses out of 14508 with flag 54612/52880
4.73/4.22	c cleaning 8130 clauses out of 16259 with flag 74420/61879
5.53/5.09	c cleaning 9062 clauses out of 18130 with flag 95056/71880
6.53/6.10	c cleaning 10032 clauses out of 20067 with flag 117709/82879
7.74/7.24	c cleaning 11017 clauses out of 22034 with flag 143674/94878
8.84/8.30	c cleaning 12009 clauses out of 24018 with flag 170234/107879
9.24/8.76	c Got one! Elapsed wall clock time (in seconds):8.647
9.24/8.76	o -74
9.24/8.77	c Got one! Elapsed wall clock time (in seconds):8.655
9.24/8.77	o -79
9.88/9.27	c cleaning 11821 clauses out of 23642 with flag 10730/119512
10.28/9.69	c cleaning 8910 clauses out of 17825 with flag 23761/125516
10.78/10.15	c cleaning 7950 clauses out of 15912 with flag 39412/132513
11.28/10.64	c cleaning 7977 clauses out of 15961 with flag 56736/140512
11.78/11.16	c cleaning 8488 clauses out of 16985 with flag 76649/149513
12.37/11.78	c cleaning 9246 clauses out of 18497 with flag 98816/159513
12.47/11.86	c Got one! Elapsed wall clock time (in seconds):11.74
12.47/11.86	o -80
12.47/11.88	c Got one! Elapsed wall clock time (in seconds):11.767
12.47/11.88	o -82
12.78/12.15	c cleaning 7645 clauses out of 15301 with flag 8998/165563
13.08/12.49	c cleaning 6828 clauses out of 13657 with flag 22190/171564
13.58/12.90	c cleaning 6911 clauses out of 13828 with flag 37418/178563
14.08/13.40	c cleaning 7452 clauses out of 14916 with flag 55366/186562
14.68/14.00	c cleaning 8227 clauses out of 16465 with flag 75386/195563
15.28/14.68	c cleaning 9114 clauses out of 18237 with flag 97596/205562
16.19/15.53	c cleaning 10058 clauses out of 20124 with flag 122946/216563
17.08/16.42	c cleaning 11033 clauses out of 22065 with flag 148437/228562
18.08/17.44	c cleaning 12012 clauses out of 24032 with flag 175301/241562
19.28/18.65	c cleaning 13007 clauses out of 26021 with flag 206299/255563
20.49/19.88	c cleaning 14004 clauses out of 28013 with flag 238862/270562
21.88/21.22	c cleaning 15000 clauses out of 30009 with flag 273442/286562
23.48/22.80	c cleaning 16004 clauses out of 32011 with flag 308701/303564
25.18/24.57	c cleaning 17000 clauses out of 34005 with flag 345919/321562
26.88/26.28	c cleaning 17994 clauses out of 36005 with flag 387385/340562
27.68/27.01	c Got one! Elapsed wall clock time (in seconds):26.89
27.68/27.01	o -83
28.20/27.55	c cleaning 16253 clauses out of 32517 with flag 10649/355068
28.70/28.06	c cleaning 11130 clauses out of 22263 with flag 23398/361067
29.20/28.53	c cleaning 9062 clauses out of 18133 with flag 38683/368067
29.70/29.02	c cleaning 8534 clauses out of 17072 with flag 56407/376068
30.30/29.61	c cleaning 8767 clauses out of 17538 with flag 75846/385068
30.90/30.22	c cleaning 9387 clauses out of 18773 with flag 97240/395070
31.61/30.96	c cleaning 10181 clauses out of 20384 with flag 121704/406068
32.50/31.81	c cleaning 11096 clauses out of 22203 with flag 148813/418068
33.40/32.78	c cleaning 12052 clauses out of 24107 with flag 179207/431068
34.50/33.86	c cleaning 13021 clauses out of 26055 with flag 208737/445068
35.80/35.15	c cleaning 14016 clauses out of 28034 with flag 240518/460068
37.21/36.60	c cleaning 15004 clauses out of 30017 with flag 280129/476067
38.81/38.14	c cleaning 16001 clauses out of 32014 with flag 324463/493068
40.32/39.68	c cleaning 17003 clauses out of 34013 with flag 365214/511068
42.11/41.40	c cleaning 18001 clauses out of 36010 with flag 407239/530068
43.81/43.17	c cleaning 19003 clauses out of 38009 with flag 452637/550068
45.76/45.06	c cleaning 20003 clauses out of 40005 with flag 500454/571067
47.76/47.03	c cleaning 21001 clauses out of 42003 with flag 549174/593068
49.86/49.18	c cleaning 22001 clauses out of 44002 with flag 600620/616068
52.36/51.61	c cleaning 23001 clauses out of 46002 with flag 653285/640069
54.76/54.03	c cleaning 23994 clauses out of 48000 with flag 710073/665068
57.17/56.49	c Got one! Elapsed wall clock time (in seconds):56.374
57.17/56.49	o -84
58.17/57.42	c cleaning 27372 clauses out of 54743 with flag 10157/695805
58.87/58.10	c cleaning 16686 clauses out of 33371 with flag 22334/701805
59.37/58.62	c cleaning 11842 clauses out of 23684 with flag 36441/708804
59.87/59.18	c cleaning 9921 clauses out of 19843 with flag 52759/716805
60.47/59.77	c cleaning 9457 clauses out of 18921 with flag 72139/725804
61.17/60.41	c cleaning 9731 clauses out of 19464 with flag 94190/735804
61.87/61.11	c cleaning 10367 clauses out of 20734 with flag 117607/746805
62.67/61.90	c cleaning 11179 clauses out of 22368 with flag 143267/758806
63.69/62.90	c cleaning 12089 clauses out of 24187 with flag 171718/771804
64.79/64.03	c cleaning 13048 clauses out of 26099 with flag 202656/785805
65.99/65.27	c cleaning 14019 clauses out of 28050 with flag 235129/800804
67.39/66.63	c cleaning 15016 clauses out of 30031 with flag 268465/816804
69.00/68.22	c cleaning 16005 clauses out of 32016 with flag 303041/833805
70.49/69.76	c cleaning 17005 clauses out of 34011 with flag 339537/851805
72.49/71.73	c cleaning 17997 clauses out of 36005 with flag 378373/870804
74.40/73.64	c cleaning 18997 clauses out of 38008 with flag 419742/890804
76.81/76.02	c cleaning 20003 clauses out of 40012 with flag 465456/911805
79.40/78.61	c cleaning 21001 clauses out of 42009 with flag 512110/933805
81.81/81.08	c cleaning 21996 clauses out of 44007 with flag 559001/956804
84.61/83.81	c cleaning 23002 clauses out of 46011 with flag 611256/980804
87.41/86.66	c cleaning 24002 clauses out of 48009 with flag 666996/1005804
90.71/89.92	c cleaning 24999 clauses out of 50008 with flag 722445/1031805
94.01/93.26	c cleaning 26001 clauses out of 52008 with flag 778462/1058804
97.81/97.07	c cleaning 26998 clauses out of 54007 with flag 838426/1086804
101.41/100.64	c cleaning 28000 clauses out of 56009 with flag 897665/1115804
105.32/104.59	c cleaning 28999 clauses out of 58010 with flag 958228/1145805
109.59/108.73	c cleaning 30003 clauses out of 60010 with flag 1021106/1176804
113.79/112.96	c cleaning 30999 clauses out of 62010 with flag 1086727/1208807
118.69/117.88	c cleaning 32001 clauses out of 64009 with flag 1155488/1241805
124.19/123.33	c cleaning 33004 clauses out of 66008 with flag 1227175/1275805
130.18/129.38	c cleaning 33994 clauses out of 68003 with flag 1301404/1310804
136.14/135.27	c cleaning 35004 clauses out of 70011 with flag 1377102/1346806
140.84/139.99	c cleaning 35996 clauses out of 72006 with flag 1460066/1383805
140.94/140.00	c Got one! Elapsed wall clock time (in seconds):139.885
140.94/140.00	o -85
141.57/140.61	c cleaning 20602 clauses out of 41208 with flag 10232/1389003
141.97/141.09	c cleaning 13297 clauses out of 26607 with flag 22876/1395004
142.47/141.53	c cleaning 10151 clauses out of 20308 with flag 38192/1402002
142.98/142.04	c cleaning 9075 clauses out of 18159 with flag 55659/1410004
143.57/142.66	c cleaning 9036 clauses out of 18082 with flag 74277/1419002
144.27/143.38	c cleaning 9518 clauses out of 19046 with flag 96296/1429002
144.97/144.10	c cleaning 10259 clauses out of 20529 with flag 118733/1440003
145.77/144.89	c cleaning 11127 clauses out of 22269 with flag 142931/1452002
146.67/145.76	c cleaning 12067 clauses out of 24144 with flag 170830/1465004
147.67/146.75	c cleaning 13033 clauses out of 26075 with flag 201914/1479002
148.77/147.87	c cleaning 14021 clauses out of 28042 with flag 235193/1494002
150.14/149.13	c cleaning 15005 clauses out of 30021 with flag 271153/1510002
151.54/150.50	c cleaning 16004 clauses out of 32017 with flag 310066/1527003
153.24/152.26	c cleaning 17008 clauses out of 34015 with flag 350165/1545005
154.64/153.68	c Got one! Elapsed wall clock time (in seconds):153.56
154.64/153.68	o -86
154.84/153.88	c Got one! Elapsed wall clock time (in seconds):153.763
154.84/153.88	o -87
155.44/154.43	c cleaning 19240 clauses out of 38480 with flag 8664/1566478
155.94/154.92	c cleaning 12619 clauses out of 25241 with flag 21820/1572479
156.34/155.38	c cleaning 9806 clauses out of 19621 with flag 36664/1579478
156.84/155.86	c cleaning 8903 clauses out of 17815 with flag 52885/1587478
157.35/156.38	c cleaning 8951 clauses out of 17912 with flag 71044/1596478
158.04/157.02	c cleaning 9482 clauses out of 18963 with flag 91814/1606480
158.65/157.70	c cleaning 10238 clauses out of 20479 with flag 116306/1617478
159.56/158.54	c cleaning 11121 clauses out of 22242 with flag 143029/1629479
160.45/159.47	c cleaning 12059 clauses out of 24121 with flag 172124/1642479
161.55/160.56	c cleaning 13028 clauses out of 26061 with flag 202518/1656478
162.86/161.82	c cleaning 14008 clauses out of 28033 with flag 235638/1671478
164.20/163.17	c cleaning 15011 clauses out of 30027 with flag 271327/1687480
165.80/164.75	c cleaning 16008 clauses out of 32015 with flag 307527/1704479
167.60/166.53	c cleaning 17000 clauses out of 34007 with flag 346426/1722479
169.51/168.44	c cleaning 18001 clauses out of 36006 with flag 387112/1741478
171.71/170.61	c cleaning 19003 clauses out of 38005 with flag 430462/1761478
174.10/173.03	c cleaning 20000 clauses out of 40003 with flag 476122/1782479
176.80/175.74	c cleaning 21000 clauses out of 42002 with flag 524337/1804478
179.31/178.29	c cleaning 21996 clauses out of 44003 with flag 575744/1827479
182.07/180.95	c cleaning 22997 clauses out of 46006 with flag 628981/1851478
184.77/183.70	c cleaning 24005 clauses out of 48009 with flag 685578/1876478
187.77/186.68	c cleaning 24998 clauses out of 50005 with flag 745245/1902479
190.48/189.33	c cleaning 25999 clauses out of 52007 with flag 803861/1929479
193.28/192.14	c cleaning 27000 clauses out of 54008 with flag 867348/1957479
194.38/193.25	c Got one! Elapsed wall clock time (in seconds):193.136
194.38/193.25	o -88
195.11/193.92	c cleaning 23005 clauses out of 46017 with flag 10027/1976488
195.51/194.38	c cleaning 14502 clauses out of 29011 with flag 22050/1982487
196.01/194.85	c cleaning 10750 clauses out of 21509 with flag 36079/1989487
196.51/195.35	c cleaning 9374 clauses out of 18759 with flag 52106/1997487
197.17/195.97	c cleaning 9188 clauses out of 18385 with flag 70311/2006487
197.86/196.69	c cleaning 9593 clauses out of 19198 with flag 90670/2016488
198.66/197.44	c cleaning 10293 clauses out of 20605 with flag 112756/2027488
199.56/198.34	c cleaning 11154 clauses out of 22311 with flag 136936/2039487
200.56/199.36	c cleaning 12076 clauses out of 24160 with flag 163073/2052490
201.66/200.44	c cleaning 13039 clauses out of 26081 with flag 191249/2066487
202.86/201.66	c cleaning 14018 clauses out of 28044 with flag 221464/2081489
204.46/203.26	c cleaning 15011 clauses out of 30025 with flag 253681/2097488
206.26/205.06	c cleaning 16005 clauses out of 32013 with flag 288052/2114487
208.06/206.82	c cleaning 16999 clauses out of 34008 with flag 324478/2132487
209.76/208.59	c cleaning 18006 clauses out of 36012 with flag 362725/2151490
211.78/210.55	c cleaning 19001 clauses out of 38006 with flag 402883/2171490
213.88/212.65	c cleaning 20000 clauses out of 40003 with flag 445234/2192488
216.18/214.99	c cleaning 20993 clauses out of 42003 with flag 489470/2214488
218.78/217.58	c cleaning 22000 clauses out of 44010 with flag 535754/2237488
221.48/220.23	c cleaning 23001 clauses out of 46009 with flag 583887/2261487
224.28/223.03	c cleaning 24001 clauses out of 48008 with flag 634103/2286487
227.19/225.94	c cleaning 25000 clauses out of 50008 with flag 686440/2312488
230.52/229.23	c cleaning 26004 clauses out of 52009 with flag 740817/2339489
233.92/232.69	c cleaning 27001 clauses out of 54004 with flag 796953/2367488
237.72/236.48	c cleaning 28000 clauses out of 56002 with flag 855318/2396487
241.23/239.93	c cleaning 28996 clauses out of 58002 with flag 918535/2426487
244.62/243.38	c cleaning 30001 clauses out of 60006 with flag 986701/2457487
247.15/245.80	c Got one! Elapsed wall clock time (in seconds):245.685
247.15/245.80	o -89
247.95/246.62	c cleaning 30206 clauses out of 60414 with flag 10056/2487896
248.45/247.15	c cleaning 18102 clauses out of 36208 with flag 22079/2493896
249.05/247.70	c cleaning 12550 clauses out of 25106 with flag 36177/2500896
249.55/248.29	c cleaning 10274 clauses out of 20555 with flag 52356/2508895
250.15/248.86	c cleaning 9639 clauses out of 19282 with flag 70504/2517896
250.85/249.55	c cleaning 9818 clauses out of 19643 with flag 90625/2527896
251.55/250.25	c cleaning 10407 clauses out of 20827 with flag 113457/2538898
252.35/251.08	c cleaning 11204 clauses out of 22417 with flag 138927/2550895
253.36/252.05	c cleaning 12101 clauses out of 24213 with flag 166568/2563895
254.46/253.12	c cleaning 13053 clauses out of 26113 with flag 195352/2577896
255.56/254.26	c cleaning 14030 clauses out of 28059 with flag 225629/2592895
256.85/255.58	c cleaning 15009 clauses out of 30030 with flag 258934/2608896
258.45/257.12	c cleaning 16011 clauses out of 32021 with flag 294042/2625896
260.09/258.73	c cleaning 17002 clauses out of 34009 with flag 332266/2643895
261.89/260.57	c cleaning 18003 clauses out of 36007 with flag 373334/2662895
263.69/262.35	c cleaning 18997 clauses out of 38006 with flag 417106/2682897
265.69/264.35	c cleaning 20001 clauses out of 40008 with flag 466137/2703896
267.89/266.53	c cleaning 21004 clauses out of 42008 with flag 520301/2725897
269.79/268.40	c cleaning 21999 clauses out of 44006 with flag 572100/2748899
271.88/270.52	c cleaning 22998 clauses out of 46004 with flag 626628/2772896
274.11/272.77	c cleaning 23997 clauses out of 48005 with flag 681576/2797895
276.42/275.05	c cleaning 25000 clauses out of 50008 with flag 739256/2823895
279.01/277.61	c cleaning 25995 clauses out of 52009 with flag 800567/2850896
281.81/280.42	c cleaning 27005 clauses out of 54013 with flag 868205/2878895
284.70/283.34	c cleaning 28004 clauses out of 56008 with flag 934588/2907895
287.86/286.49	c cleaning 28994 clauses out of 58005 with flag 1003416/2937896
291.26/289.86	c cleaning 30003 clauses out of 60011 with flag 1074378/2968896
295.36/293.95	c cleaning 31001 clauses out of 62008 with flag 1145364/3000896
297.26/295.82	c Got one! Elapsed wall clock time (in seconds):295.706
297.26/295.82	o -91
298.06/296.68	c cleaning 27855 clauses out of 55710 with flag 10046/3025599
298.66/297.26	c cleaning 16925 clauses out of 33855 with flag 22211/3031599
299.16/297.74	c cleaning 11959 clauses out of 23930 with flag 36319/3038599
299.68/298.26	c cleaning 9978 clauses out of 19972 with flag 52404/3046600
300.27/298.87	c cleaning 9492 clauses out of 18993 with flag 70507/3055599
300.97/299.60	c cleaning 9746 clauses out of 19501 with flag 90678/3065599
301.80/300.38	c cleaning 10373 clauses out of 20756 with flag 113041/3076600
302.69/301.29	c cleaning 11189 clauses out of 22383 with flag 139294/3088600
303.70/302.21	c cleaning 12091 clauses out of 24194 with flag 167839/3101600
304.70/303.23	c cleaning 13042 clauses out of 26102 with flag 196924/3115599
305.90/304.43	c cleaning 14029 clauses out of 28062 with flag 229202/3130601
307.20/305.72	c cleaning 15016 clauses out of 30032 with flag 263502/3146600
308.59/307.18	c cleaning 16004 clauses out of 32015 with flag 301065/3163599
310.39/308.91	c cleaning 17000 clauses out of 34011 with flag 340802/3181599
312.19/310.70	c cleaning 18000 clauses out of 36012 with flag 382176/3200600
314.24/312.75	c cleaning 19003 clauses out of 38011 with flag 426041/3220599
316.43/314.93	c cleaning 19997 clauses out of 40008 with flag 471604/3241599
318.73/317.23	c cleaning 21004 clauses out of 42011 with flag 519470/3263599
321.23/319.74	c cleaning 22004 clauses out of 44008 with flag 570150/3286600
324.13/322.67	c cleaning 23000 clauses out of 46004 with flag 623376/3310600
327.33/325.84	c cleaning 23992 clauses out of 48003 with flag 678140/3335599
330.36/328.89	c cleaning 24999 clauses out of 50011 with flag 734193/3361599
333.46/331.96	c cleaning 26005 clauses out of 52013 with flag 790971/3388600
337.07/335.56	c cleaning 26999 clauses out of 54007 with flag 853227/3416599
340.67/339.18	c cleaning 28002 clauses out of 56008 with flag 913979/3445599
344.93/343.37	c cleaning 28998 clauses out of 58006 with flag 976083/3475599
349.53/347.92	c cleaning 30004 clauses out of 60010 with flag 1044753/3506601
353.83/352.29	c cleaning 30998 clauses out of 62005 with flag 1115869/3538600
358.32/356.79	c cleaning 32002 clauses out of 64006 with flag 1187915/3571599
363.59/362.00	c cleaning 33002 clauses out of 66004 with flag 1263389/3605599
369.38/367.79	c cleaning 33999 clauses out of 68003 with flag 1341839/3640600
375.80/374.16	c cleaning 34991 clauses out of 70003 with flag 1421011/3676599
382.40/380.77	c cleaning 36004 clauses out of 72013 with flag 1500442/3713600
387.65/385.93	c cleaning 36999 clauses out of 74009 with flag 1577391/3751600
393.46/391.80	c cleaning 38001 clauses out of 76010 with flag 1658912/3790600
394.76/393.02	c Got one! Elapsed wall clock time (in seconds):392.907
394.76/393.02	o -92
395.76/394.03	c cleaning 29110 clauses out of 58239 with flag 10147/3810830
396.46/394.76	c cleaning 17554 clauses out of 35128 with flag 22254/3816829
397.06/395.39	c cleaning 12279 clauses out of 24576 with flag 36311/3823831
397.66/395.96	c cleaning 10141 clauses out of 20296 with flag 52602/3831830
398.26/396.57	c cleaning 9571 clauses out of 19154 with flag 71443/3840829
399.14/397.30	c cleaning 9789 clauses out of 19583 with flag 91740/3850829
399.94/398.10	c cleaning 10389 clauses out of 20794 with flag 114034/3861829
400.84/399.03	c cleaning 11200 clauses out of 22406 with flag 138600/3873830
401.94/400.11	c cleaning 12101 clauses out of 24205 with flag 165024/3886829
403.14/401.30	c cleaning 13054 clauses out of 26107 with flag 193372/3900832
404.34/402.54	c cleaning 14022 clauses out of 28050 with flag 224108/3915829
405.84/404.01	c cleaning 15009 clauses out of 30029 with flag 256709/3931830
407.44/405.60	c cleaning 16007 clauses out of 32019 with flag 291654/3948829
409.18/407.40	c cleaning 17005 clauses out of 34013 with flag 328553/3966830
411.38/409.51	c cleaning 18003 clauses out of 36010 with flag 367284/3985832
413.39/411.54	c cleaning 18998 clauses out of 38005 with flag 407615/4005830
415.49/413.68	c cleaning 20000 clauses out of 40006 with flag 449735/4026829
417.78/415.93	c cleaning 21001 clauses out of 42006 with flag 494663/4048829
420.28/418.49	c cleaning 22003 clauses out of 44006 with flag 540716/4071830
423.11/421.20	c cleaning 22997 clauses out of 46002 with flag 588772/4095829
426.31/424.49	c cleaning 24003 clauses out of 48006 with flag 638885/4120830
429.51/427.68	c cleaning 24997 clauses out of 50002 with flag 691270/4146829
432.80/430.93	c cleaning 26003 clauses out of 52006 with flag 745668/4173830
436.57/434.68	c cleaning 27000 clauses out of 54004 with flag 801787/4201831
440.66/438.71	c cleaning 27999 clauses out of 56003 with flag 860164/4230830
444.96/443.01	c cleaning 29000 clauses out of 58004 with flag 920489/4260830
449.27/447.35	c cleaning 29998 clauses out of 60003 with flag 983068/4291829
454.11/452.12	c cleaning 31001 clauses out of 62006 with flag 1048078/4323830
458.90/456.95	c cleaning 31999 clauses out of 64007 with flag 1114989/4356832
463.80/461.88	c cleaning 33001 clauses out of 66006 with flag 1183926/4390830
469.27/467.25	c cleaning 33997 clauses out of 68004 with flag 1254709/4425829
474.77/472.70	c cleaning 34997 clauses out of 70008 with flag 1328457/4461830
480.38/478.30	c cleaning 36000 clauses out of 72010 with flag 1403608/4498829
486.44/484.38	c cleaning 37001 clauses out of 74011 with flag 1480803/4536830
493.14/491.01	c cleaning 38003 clauses out of 76010 with flag 1560157/4575830
499.54/497.47	c cleaning 39001 clauses out of 78008 with flag 1641282/4615831
506.97/504.88	c cleaning 39998 clauses out of 80005 with flag 1723835/4656829
514.79/512.61	c cleaning 41001 clauses out of 82009 with flag 1808424/4698831
522.95/520.74	c cleaning 41998 clauses out of 84007 with flag 1895297/4741830
531.75/529.58	c cleaning 42998 clauses out of 86008 with flag 1983543/4785829
540.26/537.93	c cleaning 44000 clauses out of 88010 with flag 2073911/4830829
548.46/546.15	c cleaning 45000 clauses out of 90011 with flag 2167601/4876830
557.36/555.01	c cleaning 46004 clauses out of 92011 with flag 2264034/4923830
567.62/565.26	c cleaning 47002 clauses out of 94006 with flag 2362553/4971829
578.12/575.76	c cleaning 48002 clauses out of 96005 with flag 2462605/5020830
588.90/586.49	c cleaning 48997 clauses out of 98002 with flag 2565292/5070829
599.84/597.37	c cleaning 49999 clauses out of 100005 with flag 2668892/5121829
610.43/607.94	c cleaning 51002 clauses out of 102006 with flag 2774957/5173829
622.01/619.44	c cleaning 52003 clauses out of 104005 with flag 2882339/5226830
632.51/629.92	c cleaning 52998 clauses out of 106001 with flag 2991805/5280829
644.23/641.61	c cleaning 53996 clauses out of 108003 with flag 3105290/5335829
656.60/653.94	c cleaning 55003 clauses out of 110010 with flag 3220658/5391832
669.70/667.00	c cleaning 55998 clauses out of 112004 with flag 3337125/5448829
683.56/680.81	c cleaning 57000 clauses out of 114006 with flag 3455656/5506829
698.20/695.48	c cleaning 57999 clauses out of 116007 with flag 3577084/5565830
711.99/709.24	c cleaning 59003 clauses out of 118007 with flag 3701735/5625829
727.16/724.36	c cleaning 59998 clauses out of 120006 with flag 3830382/5686831
742.33/739.46	c cleaning 60993 clauses out of 122006 with flag 3960293/5748829
758.74/755.84	c cleaning 62000 clauses out of 124014 with flag 4090006/5811830
775.48/772.60	c cleaning 63006 clauses out of 126014 with flag 4223587/5875830
790.93/787.99	c cleaning 64001 clauses out of 128009 with flag 4360835/5940831
802.98/799.99	c cleaning 64998 clauses out of 130008 with flag 4505929/6006831
815.34/812.24	c cleaning 66001 clauses out of 132009 with flag 4654895/6073830
827.30/824.15	c cleaning 67002 clauses out of 134008 with flag 4804896/6141830
837.20/834.09	c cleaning 67998 clauses out of 136005 with flag 4958776/6210829
840.53/837.39	c Got one! Elapsed wall clock time (in seconds):837.276
840.53/837.39	o -93
841.83/838.61	c cleaning 53578 clauses out of 107165 with flag 11057/6249987
842.55/839.39	c cleaning 29787 clauses out of 59587 with flag 24726/6255987
843.14/839.92	c cleaning 18392 clauses out of 36800 with flag 40247/6262987
843.65/840.41	c cleaning 13199 clauses out of 26408 with flag 57806/6270987
844.14/840.98	c cleaning 11101 clauses out of 22211 with flag 78242/6279989
844.85/841.68	c cleaning 10548 clauses out of 21110 with flag 101114/6289989
845.67/842.42	c cleaning 10775 clauses out of 21560 with flag 126020/6300987
846.37/843.19	c cleaning 11389 clauses out of 22786 with flag 152908/6312988
847.37/844.10	c cleaning 12199 clauses out of 24397 with flag 182249/6325988
848.37/845.12	c cleaning 13096 clauses out of 26197 with flag 214132/6339987
849.57/846.33	c cleaning 14045 clauses out of 28101 with flag 248131/6354987
851.00/847.74	c cleaning 15029 clauses out of 30057 with flag 285891/6370988
852.40/849.17	c cleaning 16014 clauses out of 32028 with flag 324912/6387988
854.00/850.76	c cleaning 17005 clauses out of 34014 with flag 366068/6405988
855.91/852.66	c cleaning 18004 clauses out of 36009 with flag 409370/6424988
857.83/854.59	c cleaning 19001 clauses out of 38004 with flag 454129/6444987
860.13/856.83	c cleaning 20000 clauses out of 40003 with flag 500876/6465987
862.73/859.47	c cleaning 20997 clauses out of 42004 with flag 551509/6487988
865.56/862.20	c cleaning 21999 clauses out of 44007 with flag 603036/6510988
868.56/865.21	c cleaning 23004 clauses out of 46007 with flag 656662/6534987
870.66/867.35	c cleaning 23997 clauses out of 48004 with flag 711825/6559988
872.99/869.61	c cleaning 24996 clauses out of 50006 with flag 769238/6585987
875.29/871.97	c cleaning 26001 clauses out of 52012 with flag 831351/6612989
877.93/874.59	c cleaning 26999 clauses out of 54009 with flag 894707/6640987
880.62/877.21	c cleaning 28004 clauses out of 56010 with flag 955504/6669987
883.43/880.05	c cleaning 28997 clauses out of 58006 with flag 1017212/6699987
886.53/883.14	c cleaning 29998 clauses out of 60009 with flag 1083928/6730987
890.04/886.63	c cleaning 31001 clauses out of 62011 with flag 1153699/6762987
893.25/889.87	c cleaning 32006 clauses out of 64011 with flag 1225796/6795988
897.35/893.94	c cleaning 33002 clauses out of 66005 with flag 1295647/6829988
901.40/897.96	c cleaning 33994 clauses out of 68002 with flag 1368493/6864987
905.70/902.27	c cleaning 35000 clauses out of 70009 with flag 1447688/6900988
910.72/907.26	c cleaning 36004 clauses out of 72009 with flag 1532401/6937988
915.92/912.42	c cleaning 37003 clauses out of 74006 with flag 1618361/6975989
920.55/917.09	c cleaning 37997 clauses out of 76003 with flag 1705513/7014989
925.65/922.14	c cleaning 39001 clauses out of 78004 with flag 1787959/7054987
930.89/927.30	c cleaning 39996 clauses out of 80003 with flag 1879754/7095987
932.18/928.68	c Got one! Elapsed wall clock time (in seconds):928.558
932.18/928.68	o -94
933.09/929.53	c cleaning 30801 clauses out of 61615 with flag 10249/7117595
933.61/930.03	c cleaning 18400 clauses out of 36815 with flag 22680/7123596
934.01/930.49	c cleaning 12699 clauses out of 25414 with flag 37287/7130595
934.51/930.97	c cleaning 10351 clauses out of 20716 with flag 53924/7138596
935.11/931.54	c cleaning 9675 clauses out of 19365 with flag 72332/7147596
935.71/932.14	c cleaning 9837 clauses out of 19690 with flag 93469/7157596
936.31/932.76	c cleaning 10422 clauses out of 20852 with flag 117776/7168595
937.11/933.50	c cleaning 11215 clauses out of 22430 with flag 144739/7180595
937.93/934.36	c cleaning 12105 clauses out of 24215 with flag 172205/7193595
938.93/935.36	c cleaning 13055 clauses out of 26110 with flag 202253/7207595
940.03/936.43	c cleaning 14028 clauses out of 28055 with flag 234406/7222595
941.23/937.60	c cleaning 15008 clauses out of 30027 with flag 266942/7238595
942.55/938.95	c cleaning 16007 clauses out of 32019 with flag 301060/7255595
944.16/940.52	c cleaning 17003 clauses out of 34012 with flag 337311/7273595
945.86/942.24	c cleaning 17999 clauses out of 36010 with flag 375581/7292596
947.89/944.22	c cleaning 19005 clauses out of 38011 with flag 415906/7312596
950.09/946.41	c cleaning 20001 clauses out of 40005 with flag 458211/7333595
952.29/948.67	c cleaning 20995 clauses out of 42004 with flag 502559/7355595
954.81/951.11	c cleaning 22003 clauses out of 44009 with flag 549014/7378595
957.52/953.87	c cleaning 22998 clauses out of 46007 with flag 597466/7402596
960.72/957.07	c cleaning 24002 clauses out of 48008 with flag 647899/7427595
964.33/960.68	c cleaning 25003 clauses out of 50006 with flag 700292/7453595
968.13/964.40	c cleaning 25998 clauses out of 52004 with flag 754731/7480596
972.15/968.44	c cleaning 26998 clauses out of 54005 with flag 811169/7508595
976.55/972.87	c cleaning 28001 clauses out of 56007 with flag 869635/7537595
981.38/977.68	c cleaning 29002 clauses out of 58007 with flag 930186/7567596
986.48/982.77	c cleaning 29994 clauses out of 60004 with flag 993064/7598595
991.73/987.99	c cleaning 31005 clauses out of 62010 with flag 1057534/7630595
997.32/993.53	c cleaning 32002 clauses out of 64006 with flag 1123984/7663596
1003.25/999.43	c cleaning 33000 clauses out of 66003 with flag 1192583/7697595
1009.75/1005.91	c cleaning 34001 clauses out of 68004 with flag 1263113/7732596
1016.36/1012.57	c cleaning 35001 clauses out of 70002 with flag 1335727/7768595
1023.50/1019.64	c cleaning 35998 clauses out of 72001 with flag 1410390/7805595
1031.30/1027.40	c cleaning 37000 clauses out of 74004 with flag 1487261/7843596
1040.42/1036.55	c cleaning 37998 clauses out of 76004 with flag 1566151/7882596
1049.05/1045.11	c cleaning 39002 clauses out of 78005 with flag 1647543/7922595
1057.89/1053.95	c cleaning 39997 clauses out of 80003 with flag 1730558/7963595
1067.38/1063.44	c cleaning 40998 clauses out of 82006 with flag 1815328/8005595
1077.72/1073.78	c cleaning 42001 clauses out of 84008 with flag 1902181/8048595
1087.43/1083.50	c cleaning 43002 clauses out of 86008 with flag 1991982/8092596
1097.86/1093.84	c cleaning 44002 clauses out of 88007 with flag 2082748/8137597
1109.69/1105.64	c cleaning 44996 clauses out of 90003 with flag 2175504/8183595
1122.13/1118.03	c cleaning 45997 clauses out of 92007 with flag 2270219/8230595
1135.17/1131.02	c cleaning 47002 clauses out of 94011 with flag 2367370/8278596
1143.19/1139.05	c cleaning 47997 clauses out of 96008 with flag 2473372/8327595
1150.32/1146.15	c cleaning 48998 clauses out of 98011 with flag 2582576/8377595
1157.55/1153.31	c cleaning 50000 clauses out of 100013 with flag 2693950/8428595
1164.39/1160.18	c cleaning 50999 clauses out of 102013 with flag 2808779/8480595
1171.34/1167.08	c cleaning 52003 clauses out of 104014 with flag 2925818/8533595
1178.55/1174.21	c cleaning 52997 clauses out of 106011 with flag 3045363/8587595
1185.38/1181.09	c cleaning 54006 clauses out of 108014 with flag 3158163/8642595
1187.02/1182.61	c Got one! Elapsed wall clock time (in seconds):1182.488
1187.02/1182.61	o -95
1187.81/1183.48	c cleaning 38850 clauses out of 77702 with flag 10141/8666289
1188.31/1183.98	c cleaning 22425 clauses out of 44852 with flag 22384/8672289
1188.81/1184.49	c cleaning 14709 clauses out of 29427 with flag 36558/8679289
1189.41/1185.06	c cleaning 11361 clauses out of 22721 with flag 52624/8687292
1190.01/1185.68	c cleaning 10178 clauses out of 20358 with flag 70881/8696290
1190.62/1186.24	c cleaning 10085 clauses out of 20180 with flag 91048/8706290
1191.33/1186.91	c cleaning 10542 clauses out of 21094 with flag 113906/8717289
1192.12/1187.72	c cleaning 11275 clauses out of 22552 with flag 138414/8729289
1193.06/1188.63	c cleaning 12136 clauses out of 24278 with flag 164693/8742290
1194.16/1189.74	c cleaning 13071 clauses out of 26142 with flag 193266/8756290
1195.36/1190.94	c cleaning 14033 clauses out of 28070 with flag 224296/8771289
1196.58/1192.19	c cleaning 15019 clauses out of 30038 with flag 256525/8787290
1197.88/1193.44	c cleaning 16007 clauses out of 32018 with flag 290773/8804289
1199.19/1194.79	c cleaning 17002 clauses out of 34012 with flag 327509/8822290
1200.98/1196.52	c cleaning 18005 clauses out of 36010 with flag 366223/8841290
1202.68/1198.28	c cleaning 18999 clauses out of 38005 with flag 406457/8861290
1204.70/1200.24	c cleaning 19996 clauses out of 40006 with flag 450131/8882290
1206.80/1202.34	c cleaning 21001 clauses out of 42009 with flag 495284/8904289
1209.20/1204.76	c cleaning 21999 clauses out of 44009 with flag 541747/8927290
1211.82/1207.32	c cleaning 23003 clauses out of 46010 with flag 590185/8951290
1214.53/1210.00	c cleaning 23996 clauses out of 48006 with flag 641484/8976289
1217.54/1213.01	c cleaning 25002 clauses out of 50011 with flag 695304/9002290
1220.57/1216.03	c cleaning 25999 clauses out of 52009 with flag 751169/9029290
1223.67/1219.14	c cleaning 26999 clauses out of 54010 with flag 808587/9057290
1227.17/1222.67	c cleaning 28006 clauses out of 56011 with flag 869974/9086290
1230.91/1226.30	c cleaning 29000 clauses out of 58006 with flag 933259/9116291
1234.71/1230.13	c cleaning 30000 clauses out of 60005 with flag 998252/9147290
1239.14/1234.55	c cleaning 31002 clauses out of 62005 with flag 1066051/9179290
1243.86/1239.28	c cleaning 32001 clauses out of 64002 with flag 1136052/9212289
1248.19/1243.50	c cleaning 32994 clauses out of 66002 with flag 1207822/9246290
1252.89/1248.25	c cleaning 34001 clauses out of 68008 with flag 1278161/9281290
1257.90/1253.25	c cleaning 35004 clauses out of 70007 with flag 1350486/9317290
1263.62/1258.96	c cleaning 35997 clauses out of 72002 with flag 1427008/9354289
1269.14/1264.47	c cleaning 36999 clauses out of 74006 with flag 1504650/9392290
1274.88/1270.11	c cleaning 37997 clauses out of 76008 with flag 1585781/9431291
1281.40/1276.69	c cleaning 38999 clauses out of 78010 with flag 1671103/9471290
1287.11/1282.34	c cleaning 40005 clauses out of 80010 with flag 1758095/9512289
1293.02/1288.29	c cleaning 40999 clauses out of 82006 with flag 1843720/9554290
1299.24/1294.45	c cleaning 42001 clauses out of 84006 with flag 1931357/9597289
1305.89/1301.03	c cleaning 42999 clauses out of 86005 with flag 2024570/9641289
1314.31/1309.43	c cleaning 44001 clauses out of 88007 with flag 2122421/9686290
1321.92/1317.00	c cleaning 45003 clauses out of 90005 with flag 2215468/9732289
1330.41/1325.49	c cleaning 45996 clauses out of 92002 with flag 2311772/9779289
1340.54/1335.55	c cleaning 46995 clauses out of 94007 with flag 2412424/9827290
1349.21/1344.17	c cleaning 48000 clauses out of 96011 with flag 2518358/9876289
1358.25/1353.12	c cleaning 49004 clauses out of 98012 with flag 2629957/9926290
1368.27/1363.12	c cleaning 50004 clauses out of 100007 with flag 2735416/9977289
1379.14/1373.99	c cleaning 50997 clauses out of 102004 with flag 2848644/10029290
1390.79/1385.52	c cleaning 51999 clauses out of 104006 with flag 2957381/10082289
1403.96/1398.64	c cleaning 52999 clauses out of 106007 with flag 3068647/10136289
1415.41/1410.09	c cleaning 54002 clauses out of 108009 with flag 3180522/10191290
1426.07/1420.61	c cleaning 54999 clauses out of 110007 with flag 3299420/10247290
1438.94/1433.46	c cleaning 55997 clauses out of 112008 with flag 3422502/10304290
1451.81/1446.20	c cleaning 57002 clauses out of 114010 with flag 3555526/10362289
1465.08/1459.47	c cleaning 57999 clauses out of 116009 with flag 3691851/10421290
1479.16/1473.47	c cleaning 58999 clauses out of 118010 with flag 3824060/10481290
1494.55/1488.76	c cleaning 59999 clauses out of 120010 with flag 3954252/10542289
1512.91/1507.01	c cleaning 61003 clauses out of 122011 with flag 4086319/10604289
1532.83/1526.80	c cleaning 62003 clauses out of 124008 with flag 4223672/10667289
1558.10/1552.05	c cleaning 62996 clauses out of 126005 with flag 4355039/10731289
1580.47/1574.37	c cleaning 64002 clauses out of 128009 with flag 4491018/10796289
1594.95/1588.76	c cleaning 64998 clauses out of 130008 with flag 4628036/10862290
1609.27/1602.94	c cleaning 66005 clauses out of 132011 with flag 4762972/10929291
1624.27/1617.88	c cleaning 66999 clauses out of 134004 with flag 4900120/10997289
1637.40/1630.80	c cleaning 67995 clauses out of 136006 with flag 5045653/11066290
1649.04/1642.36	c cleaning 69000 clauses out of 138011 with flag 5201067/11136290
1661.23/1654.43	c cleaning 69999 clauses out of 140010 with flag 5358401/11207289
1675.24/1668.37	c cleaning 71000 clauses out of 142011 with flag 5515389/11279289
1689.87/1682.87	c cleaning 72001 clauses out of 144012 with flag 5682806/11352290
1704.17/1697.04	c cleaning 73001 clauses out of 146010 with flag 5846730/11426289
1716.39/1709.12	c cleaning 73999 clauses out of 148009 with flag 6015472/11501289
1731.12/1723.75	c cleaning 75001 clauses out of 150011 with flag 6178938/11577290
1746.27/1738.72	c cleaning 75994 clauses out of 152010 with flag 6348090/11654290
1761.46/1753.81	c cleaning 77004 clauses out of 154016 with flag 6515632/11732290
1780.27/1772.56	c cleaning 78004 clauses out of 156011 with flag 6678133/11811289
1796.09/1788.24	c cleaning 78997 clauses out of 158007 with flag 6848015/11891289
1800.06/1792.10	c starts		: 54167
1800.06/1792.10	c conflicts		: 11920703
1800.06/1792.10	c decisions		: 15748956
1800.06/1792.10	c propagations		: 149732634
1800.06/1792.10	c inspects		: 34977825978
1800.06/1792.10	c shortcuts		: 0
1800.06/1792.10	c learnt literals	: 0
1800.06/1792.10	c learnt binary clauses	: 234
1800.06/1792.10	c learnt ternary clauses	: 644
1800.06/1792.10	c learnt constraints	: 11920703
1800.06/1792.10	c ignored constraints	: 0
1800.06/1792.10	c root simplifications	: 0
1800.06/1792.10	c removed literals (reason simplification)	: 0
1800.06/1792.10	c reason swapping (by a shorter reason)	: 0
1800.06/1792.10	c Calls to reduceDB	: 445
1800.06/1792.10	c Number of update (reduction) of LBD	: 180089
1800.06/1792.10	c Imported unit clauses	: 0
1800.06/1792.10	c number of reductions to clauses (during analyze)	: 0
1800.06/1792.10	c number of learned constraints concerned by reduction	: 0
1800.06/1792.10	c number of learning phase by resolution	: 0
1800.06/1792.10	c number of learning phase by cutting planes	: 0
1800.06/1792.10	c speed (assignments/second)	: 83559.32814414833
1800.06/1792.10	c non guided choices	0
1800.06/1792.13	c learnt constraints type 
1800.06/1792.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 234
1800.06/1792.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108190
1800.06/1792.13	s SATISFIABLE
1800.06/1792.13	c Found 21 solution(s)
1800.06/1792.13	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 
1800.06/1792.13	c objective function=-95
1800.06/1792.13	c Total wall clock time (in seconds): 1792.014

Verifier Data 

OK	-95

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

pid=25873
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.22 2.20 2.21 3/194 25876
/proc/meminfo: memFree=26565980/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/25876/stat : 25876 (java) R 25873 25876 24014 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 16030836 9433088 60 33554432000 1073741824 1073778376 140736002050384 140736002047512 248781045320 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2305 68 54 9 0 37 0

[startup+0.100061 s]
/proc/loadavg: 2.22 2.20 2.21 3/194 25876
/proc/meminfo: memFree=26565980/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 16030836 9787879424 6037 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.2003 s]
/proc/loadavg: 2.22 2.20 2.21 3/194 25876
/proc/meminfo: memFree=26565980/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 4563 0 1 0 20 1 0 0 20 0 19 0 16030836 9856040960 6667 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 6667 2183 9 0 2396937 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9625040

[startup+0.300192 s]
/proc/loadavg: 2.22 2.20 2.21 3/194 25876
/proc/meminfo: memFree=26565980/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 6795 0 1 0 48 1 0 0 20 0 19 0 16030836 9856040960 8485 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 8485 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040

[startup+0.700186 s]
/proc/loadavg: 2.22 2.20 2.21 3/194 25876
/proc/meminfo: memFree=26565980/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=1.11 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 8580 0 1 0 110 1 0 0 20 0 19 0 16030836 9856040960 10252 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 10252 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.22 2.20 2.21 3/213 25895
/proc/meminfo: memFree=26527784/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=1.98 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 8649 0 1 0 197 1 0 0 20 0 19 0 16030836 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 12722 2248 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2421 0 1 0 145 1 0 0 20 0 19 0 16030837 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580497265000 140580336672012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 16030839 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1054 0 0 0 16 0 0 0 20 0 19 0 16030842 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 3902 0 0 0 32 0 0 0 20 0 19 0 16030842 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 12722 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.22 2.20 2.21 3/213 25895
/proc/meminfo: memFree=26517428/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 8659 0 1 0 361 1 0 0 20 0 19 0 16030836 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 16819 2248 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2430 0 1 0 304 1 0 0 20 0 19 0 16030837 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580497256112 140580336619164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 16030839 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1055 0 0 0 21 0 0 0 20 0 19 0 16030842 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 3902 0 0 0 32 0 0 0 20 0 19 0 16030842 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 16819 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.21 2.20 2.21 3/213 25895
/proc/meminfo: memFree=26484552/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=6.83 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 8674 0 1 0 681 2 0 0 20 0 19 0 16030836 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 23370 2249 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2444 0 1 0 623 1 0 0 20 0 19 0 16030837 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580497256112 140580336681644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 16030838 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 16030839 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1055 0 0 0 21 0 0 0 20 0 19 0 16030842 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 3902 0 0 0 32 0 0 0 20 0 19 0 16030842 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 23370 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9625040


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

[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 64475 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1729.71
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.19 2.20 3/212 26003
/proc/meminfo: memFree=29384760/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=1790.17 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 16743 0 1 0 178934 83 0 0 20 0 19 0 16030836 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 63196 2273 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=1773.86 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2692 0 1 0 177353 33 0 0 20 0 19 0 16030837 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580497263840 140580336623839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 654 0 0 0 118 6 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=1.2 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 327 0 0 0 115 5 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 378 0 0 0 119 7 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 620 0 0 0 117 6 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 554 0 0 0 122 5 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 522 0 0 0 120 7 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=1.36 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 535 0 0 0 128 8 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 727 0 0 0 116 7 0 0 20 0 19 0 16030838 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 232 0 0 0 64 4 0 0 20 0 19 0 16030839 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1057 0 0 0 23 0 0 0 20 0 19 0 16030842 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 7083 0 0 0 55 0 0 0 20 0 19 0 16030842 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 16030842 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 63196 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1790.17
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.1 s]
/proc/loadavg: 2.20 2.20 2.20 4/213 26005
/proc/meminfo: memFree=29315920/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 16747 0 1 0 179922 84 0 0 20 0 19 0 16030836 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 63100 2273 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=1783.6 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2695 0 1 0 178326 34 0 0 20 0 19 0 16030837 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580497263824 140580336681644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 654 0 0 0 120 6 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 327 0 0 0 117 5 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 378 0 0 0 120 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 620 0 0 0 118 6 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 554 0 0 0 124 5 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 522 0 0 0 121 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 535 0 0 0 130 8 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 727 0 0 0 116 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 233 0 0 0 64 4 0 0 20 0 19 0 16030839 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1057 0 0 0 23 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 7083 0 0 0 55 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 25876 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1792.1 s]
/proc/loadavg: 2.20 2.20 2.20 4/213 26005
/proc/meminfo: memFree=29315920/32872528 swapFree=1394328/1580332
[pid=25876] ppid=25873 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/25876/stat : 25876 (java) S 25873 25876 24014 0 -1 4202496 16747 0 1 0 179922 84 0 0 20 0 19 0 16030836 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140736002041520 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25876/statm: 2406260 63100 2273 9 0 2396937 0
[pid=25876/tid=25878] ppid=25873 vsize=9625040 CPUtime=1783.6 cores=0,2,4,6
/proc/25876/task/25878/stat : 25878 (java) R 25873 25876 24014 0 -1 4202560 2695 0 1 0 178326 34 0 0 20 0 19 0 16030837 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580497263824 140580336681644 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25879] ppid=25873 vsize=9625040 CPUtime=1.26 cores=0,2,4,6
/proc/25876/task/25879/stat : 25879 (java) S 25873 25876 24014 0 -1 4202560 654 0 0 0 120 6 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580458756648 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25880] ppid=25873 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/25876/task/25880/stat : 25880 (java) S 25873 25876 24014 0 -1 4202560 327 0 0 0 117 5 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580457703848 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25881] ppid=25873 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/25876/task/25881/stat : 25881 (java) S 25873 25876 24014 0 -1 4202560 378 0 0 0 120 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580456651048 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25882] ppid=25873 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/25876/task/25882/stat : 25882 (java) S 25873 25876 24014 0 -1 4202560 620 0 0 0 118 6 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580455598248 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25883] ppid=25873 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/25876/task/25883/stat : 25883 (java) S 25873 25876 24014 0 -1 4202560 554 0 0 0 124 5 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580336167976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25884] ppid=25873 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/25876/task/25884/stat : 25884 (java) S 25873 25876 24014 0 -1 4202560 522 0 0 0 121 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580335115176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25885] ppid=25873 vsize=9625040 CPUtime=1.38 cores=0,2,4,6
/proc/25876/task/25885/stat : 25885 (java) S 25873 25876 24014 0 -1 4202560 535 0 0 0 130 8 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580334062376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25886] ppid=25873 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/25876/task/25886/stat : 25886 (java) S 25873 25876 24014 0 -1 4202560 727 0 0 0 116 7 0 0 20 0 19 0 16030838 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580333009576 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25887] ppid=25873 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/25876/task/25887/stat : 25887 (java) S 25873 25876 24014 0 -1 4202560 233 0 0 0 64 4 0 0 20 0 19 0 16030839 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140580320811496 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25888] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25888/stat : 25888 (java) S 25873 25876 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579715409144 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25889] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25889/stat : 25889 (java) S 25873 25876 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 16030840 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579714356232 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25890] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25890/stat : 25890 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579713304720 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25891] ppid=25873 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/25876/task/25891/stat : 25891 (java) S 25873 25876 24014 0 -1 4202560 1057 0 0 0 23 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579712252856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25876/tid=25892] ppid=25873 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/25876/task/25892/stat : 25892 (java) S 25873 25876 24014 0 -1 4202560 7083 0 0 0 55 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579711200056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25876/tid=25893] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25893/stat : 25893 (java) S 25873 25876 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579710147448 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25876/tid=25894] ppid=25873 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/25876/task/25894/stat : 25894 (java) S 25873 25876 24014 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 16030842 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579709094856 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25876/tid=25895] ppid=25873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25876/task/25895/stat : 25895 (java) S 25873 25876 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 16030853 9856040960 63100 33554432000 1073741824 1073778376 140736002050384 140579708040360 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 25876 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=739158
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=282804
# CPU time returned by wait4() is 1796.02
# 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): 1792.14
CPU time (s): 1800.06
CPU user time (s): 1799.22
CPU system time (s): 0.84
CPU usage (%): 100.442
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.2828
maximum resident set size= 484696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44606
involuntary context switches= 31181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4314 second user time and 13.144 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-30 06:13:43
IDJOB=4119486
IDBENCH=111742
IDSOLVER=2546
FILE ID=node139/4119486-1467260022
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_bern35-04.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119486-1467260022/watcher-4119486-1467260022 -o /tmp/evaluation-result-4119486-1467260022/solver-4119486-1467260022 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119486-1467260022.opb

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

MD5SUM BENCH= 2770917894a9bb7aef116dc192cdb6a7
RANDOM SEED=293654490

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:        26566780 kB
Buffers:          151956 kB
Cached:           147200 kB
SwapCached:         3080 kB
Active:          3797696 kB
Inactive:         185068 kB
Active(anon):    3682672 kB
Inactive(anon):     3176 kB
Active(file):     115024 kB
Inactive(file):   181892 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:       5218812 kB
Mapped:            16064 kB
Shmem:                 0 kB
Slab:             601160 kB
SReclaimable:      45168 kB
SUnreclaim:       555992 kB
KernelStack:        1760 kB
PageTables:        14596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5843224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3678208 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 06:43:35