Trace number 4085912

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)31 1800.09 1797.44

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
MD5SUMb155444c97f18a8f3025da7494a3d01e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark107.715
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4085912-1465272608.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.70/0.44	c ... done. Wall clock time 0.329s.
0.70/0.44	c declared #vars     584
0.70/0.44	c internal #vars     2990
0.70/0.44	c #constraints  5666
0.70/0.44	c constraints type 
0.70/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2105
0.70/0.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 16
0.70/0.44	c org.sat4j.specs.Constr$1 => 618
0.70/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 424
0.70/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 40
0.70/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 115
0.70/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2348
0.70/0.44	c 5666 constraints processed.
0.70/0.44	c objective function length is 182 literals
1.18/0.62	c SATISFIABLE
1.18/0.62	c OPTIMIZING...
1.18/0.62	c Got one! Elapsed wall clock time (in seconds):0.504
1.18/0.62	o 81
1.18/0.67	c Got one! Elapsed wall clock time (in seconds):0.554
1.18/0.67	o 80
1.62/0.93	c cleaning 2882 clauses out of 5764 with flag 9286/5764
1.99/1.26	c cleaning 4439 clauses out of 8877 with flag 21923/11759
2.79/2.02	c cleaning 5718 clauses out of 11440 with flag 36554/18761
3.60/2.81	c cleaning 6860 clauses out of 13719 with flag 53940/26758
4.63/3.85	c cleaning 7930 clauses out of 15860 with flag 73401/35759
5.92/5.19	c cleaning 8958 clauses out of 17931 with flag 95006/45760
7.12/6.39	c cleaning 9986 clauses out of 19971 with flag 118610/56758
8.72/7.93	c cleaning 10988 clauses out of 21985 with flag 143682/68758
10.93/10.10	c cleaning 11997 clauses out of 23997 with flag 170681/81758
12.33/11.51	c cleaning 12996 clauses out of 26000 with flag 200075/95758
15.14/14.32	c cleaning 14000 clauses out of 28005 with flag 231041/110759
17.65/16.82	c Got one! Elapsed wall clock time (in seconds):16.712
17.65/16.82	o 78
18.15/17.33	c cleaning 16781 clauses out of 33562 with flag 11179/130316
18.85/18.04	c cleaning 11384 clauses out of 22778 with flag 23711/136313
19.75/18.92	c cleaning 9200 clauses out of 18399 with flag 38163/143318
20.55/19.71	c cleaning 8597 clauses out of 17195 with flag 54745/151314
21.45/20.60	c cleaning 8796 clauses out of 17599 with flag 73609/160315
22.65/21.81	c cleaning 9397 clauses out of 18801 with flag 93697/170313
23.65/22.83	c cleaning 10194 clauses out of 20404 with flag 128632/181313
23.74/22.95	c Got one! Elapsed wall clock time (in seconds):22.838
23.74/22.95	o 76
23.97/23.14	c Got one! Elapsed wall clock time (in seconds):23.023
23.97/23.14	o 75
24.21/23.32	c cleaning 8091 clauses out of 16189 with flag 4904/187292
24.31/23.48	c Got one! Elapsed wall clock time (in seconds):23.37
24.31/23.48	o 73
24.53/23.61	c cleaning 6874 clauses out of 13761 with flag 4886/192955
24.53/23.63	c Got one! Elapsed wall clock time (in seconds):23.514
24.53/23.63	o 72
24.53/23.69	c Got one! Elapsed wall clock time (in seconds):23.579
24.53/23.69	o 71
24.73/23.88	c Got one! Elapsed wall clock time (in seconds):23.767
24.73/23.88	o 69
24.94/24.01	c cleaning 6550 clauses out of 13114 with flag 3246/199182
24.94/24.08	c Got one! Elapsed wall clock time (in seconds):23.969
24.94/24.08	o 68
25.15/24.26	c cleaning 6079 clauses out of 12166 with flag 10510/204784
25.34/24.45	c cleaning 6030 clauses out of 12088 with flag 23316/210785
25.64/24.76	c Got one! Elapsed wall clock time (in seconds):24.651
25.64/24.76	o 66
25.75/24.89	c Got one! Elapsed wall clock time (in seconds):24.775
25.75/24.89	o 65
26.08/25.19	c cleaning 6168 clauses out of 12344 with flag 8038/217071
26.18/25.26	c Got one! Elapsed wall clock time (in seconds):25.145
26.18/25.26	o 64
26.28/25.32	c Got one! Elapsed wall clock time (in seconds):25.208
26.28/25.32	o 63
26.28/25.39	c Got one! Elapsed wall clock time (in seconds):25.278
26.28/25.39	o 62
26.61/25.66	c cleaning 6547 clauses out of 13107 with flag 12647/224002
26.61/25.68	c Got one! Elapsed wall clock time (in seconds):25.57
26.61/25.68	o 60
26.81/25.89	c Got one! Elapsed wall clock time (in seconds):25.778
26.81/25.89	o 58
26.91/25.98	c Got one! Elapsed wall clock time (in seconds):25.87
26.91/25.98	o 56
27.11/26.10	c Got one! Elapsed wall clock time (in seconds):25.989
27.11/26.10	o 54
27.22/26.20	c cleaning 6218 clauses out of 12448 with flag 2840/229890
27.53/26.51	c cleaning 6104 clauses out of 12231 with flag 18188/235891
28.32/27.32	c Got one! Elapsed wall clock time (in seconds):27.208
28.32/27.32	o 53
28.53/27.60	c cleaning 8946 clauses out of 17923 with flag 12675/247687
29.02/28.01	c cleaning 7485 clauses out of 14981 with flag 30538/253691
29.12/28.14	c Got one! Elapsed wall clock time (in seconds):28.029
29.12/28.14	o 51
29.33/28.38	c Got one! Elapsed wall clock time (in seconds):28.266
29.33/28.38	o 50
29.53/28.58	c cleaning 6894 clauses out of 13795 with flag 8302/259990
30.03/29.09	c cleaning 6441 clauses out of 12899 with flag 24558/265988
30.84/29.81	c cleaning 6727 clauses out of 13459 with flag 46422/272989
31.23/30.24	c cleaning 7366 clauses out of 14733 with flag 63903/280990
33.03/32.01	c cleaning 8174 clauses out of 16367 with flag 103899/289990
35.43/34.40	c cleaning 9092 clauses out of 18191 with flag 158788/299988
37.43/36.44	c cleaning 10039 clauses out of 20100 with flag 200976/310989
39.43/38.48	c cleaning 11021 clauses out of 22061 with flag 249945/322989
43.03/42.05	c cleaning 12015 clauses out of 24039 with flag 314945/335988
44.53/43.58	c cleaning 13010 clauses out of 26024 with flag 357024/349988
48.25/47.26	c cleaning 14002 clauses out of 28016 with flag 426137/364990
50.25/49.21	c cleaning 15000 clauses out of 30012 with flag 470326/380988
52.67/51.69	c cleaning 15999 clauses out of 32013 with flag 523869/397989
54.67/53.68	c cleaning 16993 clauses out of 34013 with flag 571419/415988
58.67/57.68	c cleaning 18008 clauses out of 36020 with flag 658270/434988
62.47/61.43	c Got one! Elapsed wall clock time (in seconds):61.32
62.47/61.43	o 49
63.07/62.06	c cleaning 20154 clauses out of 40318 with flag 14245/457294
63.77/62.75	c cleaning 13072 clauses out of 26164 with flag 28774/463294
64.57/63.56	c cleaning 10035 clauses out of 20092 with flag 50889/470294
65.17/64.10	c Got one! Elapsed wall clock time (in seconds):63.992
65.17/64.10	o 48
65.17/64.18	c cleaning 7930 clauses out of 15867 with flag 2835/476104
65.57/64.57	c cleaning 6966 clauses out of 13939 with flag 18090/482106
66.07/65.05	c cleaning 6979 clauses out of 13971 with flag 33845/489104
66.67/65.62	c cleaning 7492 clauses out of 14994 with flag 52134/497106
67.27/66.29	c cleaning 8247 clauses out of 16500 with flag 72622/506104
68.07/67.07	c cleaning 9127 clauses out of 18256 with flag 96054/516107
69.06/68.08	c cleaning 10060 clauses out of 20126 with flag 121438/527104
70.26/69.27	c cleaning 11025 clauses out of 22067 with flag 149178/539105
71.96/70.97	c cleaning 12019 clauses out of 24042 with flag 178319/552105
74.07/73.05	c cleaning 13010 clauses out of 26023 with flag 210126/566105
75.07/74.04	c Got one! Elapsed wall clock time (in seconds):73.927
75.07/74.04	o 47
75.57/74.50	c cleaning 13057 clauses out of 26122 with flag 15748/579214
76.07/75.02	c cleaning 9531 clauses out of 19065 with flag 29831/585214
76.67/75.65	c cleaning 8262 clauses out of 16535 with flag 44872/592215
77.17/76.13	c Got one! Elapsed wall clock time (in seconds):76.019
77.17/76.13	o 46
77.27/76.20	c cleaning 7013 clauses out of 14030 with flag 2810/597972
77.57/76.54	c cleaning 6496 clauses out of 13017 with flag 17232/603972
77.97/76.93	c cleaning 6750 clauses out of 13521 with flag 34586/610972
78.97/77.94	c cleaning 7373 clauses out of 14774 with flag 65735/618975
80.07/79.04	c cleaning 8190 clauses out of 16398 with flag 102174/627972
81.47/80.41	c cleaning 9095 clauses out of 18208 with flag 138914/637972
82.37/81.40	c cleaning 10057 clauses out of 20114 with flag 165233/648973
83.77/82.72	c cleaning 11019 clauses out of 22056 with flag 191124/660972
85.37/84.36	c cleaning 12013 clauses out of 24039 with flag 218881/673974
87.26/86.27	c cleaning 13009 clauses out of 26024 with flag 249459/687972
88.86/87.87	c cleaning 14002 clauses out of 28016 with flag 293727/702973
91.16/90.15	c cleaning 14996 clauses out of 30017 with flag 353864/718976
93.47/92.44	c cleaning 16004 clauses out of 32018 with flag 420376/735973
94.46/93.46	c Got one! Elapsed wall clock time (in seconds):93.346
94.46/93.46	o 45
95.46/94.48	c cleaning 16553 clauses out of 33119 with flag 19067/753078
95.96/94.96	c cleaning 11276 clauses out of 22565 with flag 31568/759077
96.46/95.47	c cleaning 9138 clauses out of 18294 with flag 45604/766082
97.06/96.04	c cleaning 8567 clauses out of 17150 with flag 61633/774076
97.66/96.65	c cleaning 8786 clauses out of 17584 with flag 79992/783077
98.66/97.66	c cleaning 9394 clauses out of 18797 with flag 111844/793076
99.77/98.73	c cleaning 10195 clauses out of 20404 with flag 146234/804077
99.77/98.74	c Got one! Elapsed wall clock time (in seconds):98.632
99.77/98.74	o 44
100.37/99.36	c cleaning 7658 clauses out of 15330 with flag 16945/809198
101.07/100.04	c cleaning 6818 clauses out of 13672 with flag 37521/815198
101.87/100.84	c cleaning 6919 clauses out of 13852 with flag 59776/822196
102.87/101.82	c cleaning 7450 clauses out of 14933 with flag 86197/830196
103.76/102.79	c cleaning 8240 clauses out of 16485 with flag 116301/839198
104.89/103.81	c cleaning 9113 clauses out of 18243 with flag 148078/849196
106.59/105.50	c cleaning 10059 clauses out of 20130 with flag 191959/860196
108.19/107.13	c cleaning 11024 clauses out of 22071 with flag 234613/872196
109.29/108.24	c cleaning 12022 clauses out of 24050 with flag 266670/885199
110.59/109.57	c cleaning 13011 clauses out of 26026 with flag 294913/899197
112.08/111.03	c cleaning 14007 clauses out of 28014 with flag 325467/914196
113.88/112.82	c cleaning 15003 clauses out of 30007 with flag 357916/930196
115.88/114.85	c cleaning 16002 clauses out of 32004 with flag 392388/947196
118.08/117.05	c cleaning 17002 clauses out of 34003 with flag 428955/965197
120.58/119.58	c cleaning 18000 clauses out of 36004 with flag 467565/984200
123.58/122.57	c cleaning 18998 clauses out of 38000 with flag 508094/1004196
123.88/122.83	c Got one! Elapsed wall clock time (in seconds):122.718
123.88/122.83	o 43
124.18/123.15	c cleaning 12192 clauses out of 24398 with flag 8697/1009592
124.58/123.54	c cleaning 9099 clauses out of 18208 with flag 22858/1015594
124.98/123.93	c cleaning 8044 clauses out of 16108 with flag 38907/1022593
125.39/124.34	c cleaning 8025 clauses out of 16064 with flag 58420/1030593
125.88/124.87	c cleaning 8511 clauses out of 17038 with flag 79880/1039592
126.78/125.70	c cleaning 9262 clauses out of 18527 with flag 112376/1049592
127.59/126.60	c cleaning 10132 clauses out of 20266 with flag 137915/1060593
128.88/127.85	c cleaning 11056 clauses out of 22134 with flag 167214/1072593
130.38/129.32	c cleaning 12034 clauses out of 24077 with flag 210871/1085592
132.18/131.13	c cleaning 13016 clauses out of 26046 with flag 259330/1099595
134.29/133.27	c cleaning 14008 clauses out of 28029 with flag 310679/1114594
136.58/135.51	c cleaning 15001 clauses out of 30021 with flag 365667/1130594
138.38/137.31	c Got one! Elapsed wall clock time (in seconds):137.195
138.38/137.31	o 41
138.98/137.97	c cleaning 18120 clauses out of 36255 with flag 12301/1151829
139.58/138.57	c cleaning 12058 clauses out of 24135 with flag 27312/1157829
140.18/139.13	c cleaning 9529 clauses out of 19079 with flag 47885/1164831
140.58/139.56	c cleaning 8771 clauses out of 17551 with flag 66540/1172832
141.18/140.13	c cleaning 8890 clauses out of 17780 with flag 85083/1181832
141.89/140.83	c cleaning 9437 clauses out of 18887 with flag 114084/1191829
142.88/141.81	c cleaning 10215 clauses out of 20452 with flag 147559/1202831
143.98/142.90	c cleaning 11114 clauses out of 22237 with flag 179415/1214831
145.58/144.51	c cleaning 12057 clauses out of 24122 with flag 221581/1227830
146.58/145.58	c cleaning 13029 clauses out of 26064 with flag 251155/1241829
147.88/146.85	c cleaning 14012 clauses out of 28036 with flag 282729/1256830
149.38/148.35	c cleaning 15012 clauses out of 30024 with flag 328178/1272830
151.08/150.06	c cleaning 16003 clauses out of 32012 with flag 373304/1289830
152.58/151.59	c cleaning 17002 clauses out of 34009 with flag 416508/1307830
154.38/153.39	c cleaning 17994 clauses out of 36006 with flag 472940/1326829
156.58/155.58	c cleaning 19006 clauses out of 38012 with flag 519587/1346829
159.41/158.33	c cleaning 19997 clauses out of 40009 with flag 582846/1367832
161.51/160.43	c Got one! Elapsed wall clock time (in seconds):160.318
161.51/160.43	o 40
162.11/161.02	c cleaning 20822 clauses out of 41645 with flag 12942/1389465
162.71/161.68	c cleaning 13405 clauses out of 26823 with flag 26537/1395465
163.51/162.43	c cleaning 10204 clauses out of 20418 with flag 41373/1402465
164.80/163.79	c cleaning 9101 clauses out of 18215 with flag 77504/1410466
165.40/164.31	c cleaning 9050 clauses out of 18116 with flag 96380/1419468
166.30/165.25	c cleaning 9521 clauses out of 19063 with flag 123324/1429465
167.10/166.03	c cleaning 10267 clauses out of 20542 with flag 152337/1440465
168.00/166.97	c cleaning 11129 clauses out of 22276 with flag 177721/1452466
169.10/168.09	c cleaning 12068 clauses out of 24146 with flag 205629/1465465
170.40/169.35	c cleaning 13038 clauses out of 26084 with flag 235251/1479471
171.90/170.85	c cleaning 14013 clauses out of 28040 with flag 269434/1494465
173.60/172.54	c cleaning 15011 clauses out of 30027 with flag 305883/1510465
175.70/174.65	c cleaning 15994 clauses out of 32020 with flag 357500/1527469
178.31/177.23	c cleaning 17006 clauses out of 34022 with flag 411329/1545465
181.51/180.49	c cleaning 18009 clauses out of 36018 with flag 452109/1564467
184.20/183.13	c cleaning 19002 clauses out of 38007 with flag 511380/1584465
187.20/186.13	c cleaning 19990 clauses out of 40006 with flag 588776/1605466
189.80/188.79	c cleaning 21004 clauses out of 42015 with flag 640025/1627465
193.20/192.12	c cleaning 22005 clauses out of 44013 with flag 694474/1650467
196.10/195.07	c cleaning 22996 clauses out of 46006 with flag 766515/1674465
199.60/198.54	c cleaning 24003 clauses out of 48010 with flag 844126/1699465
204.91/203.81	c cleaning 25000 clauses out of 50007 with flag 907208/1725465
210.61/209.57	c cleaning 25998 clauses out of 52008 with flag 974373/1752466
216.01/214.94	c cleaning 27004 clauses out of 54009 with flag 1040795/1780465
221.61/220.50	c cleaning 28002 clauses out of 56007 with flag 1109124/1809467
225.52/224.47	c cleaning 28999 clauses out of 58003 with flag 1187268/1839465
230.11/229.08	c cleaning 29998 clauses out of 60004 with flag 1286362/1870465
235.23/234.15	c cleaning 30995 clauses out of 62008 with flag 1397478/1902467
238.53/237.42	c cleaning 32003 clauses out of 64011 with flag 1477276/1935465
242.73/241.66	c cleaning 33002 clauses out of 66008 with flag 1562648/1969465
251.43/250.39	c cleaning 34001 clauses out of 68007 with flag 1652994/2004466
258.73/257.64	c cleaning 34999 clauses out of 70005 with flag 1757682/2040465
265.14/264.06	c cleaning 35999 clauses out of 72007 with flag 1834675/2077466
271.54/270.48	c cleaning 36999 clauses out of 74007 with flag 1919368/2115465
277.73/276.67	c cleaning 38002 clauses out of 76009 with flag 2003532/2154466
285.23/284.11	c cleaning 39002 clauses out of 78008 with flag 2087170/2194467
291.03/289.98	c cleaning 40003 clauses out of 80006 with flag 2194366/2235467
298.83/297.71	c cleaning 40995 clauses out of 82001 with flag 2308779/2277465
310.63/309.59	c cleaning 41998 clauses out of 84006 with flag 2400255/2320465
325.33/324.27	c cleaning 43004 clauses out of 86009 with flag 2490620/2364466
339.73/338.62	c cleaning 44004 clauses out of 88010 with flag 2582976/2409471
349.64/348.58	c cleaning 44989 clauses out of 89999 with flag 2695724/2455465
358.14/357.04	c cleaning 46001 clauses out of 92010 with flag 2824885/2502465
375.67/374.59	c cleaning 46997 clauses out of 94009 with flag 2930487/2550465
378.77/377.68	c Got one! Elapsed wall clock time (in seconds):377.573
378.77/377.68	o 38
379.87/378.77	c cleaning 35155 clauses out of 70321 with flag 14327/2573774
380.67/379.54	c cleaning 20577 clauses out of 41166 with flag 32364/2579774
381.57/380.48	c cleaning 13790 clauses out of 27588 with flag 55291/2586773
382.47/381.30	c cleaning 10888 clauses out of 21800 with flag 78015/2594775
383.37/382.26	c cleaning 9950 clauses out of 19910 with flag 104720/2603773
384.27/383.15	c cleaning 9966 clauses out of 19960 with flag 132355/2613773
385.07/383.94	c cleaning 10483 clauses out of 20996 with flag 158564/2624775
385.97/384.84	c cleaning 11246 clauses out of 22511 with flag 188740/2636773
388.57/387.44	c cleaning 12125 clauses out of 24265 with flag 233637/2649773
391.67/390.57	c cleaning 13062 clauses out of 26140 with flag 289401/2663773
394.67/393.59	c cleaning 14030 clauses out of 28078 with flag 355636/2678773
395.67/394.50	c cleaning 15018 clauses out of 30048 with flag 394116/2694773
396.57/395.48	c cleaning 16016 clauses out of 32033 with flag 433802/2711776
398.67/397.57	c cleaning 17007 clauses out of 34015 with flag 473236/2729774
401.37/400.29	c cleaning 17999 clauses out of 36008 with flag 515751/2748774
404.37/403.20	c cleaning 18996 clauses out of 38008 with flag 560325/2768773
407.47/406.38	c cleaning 20005 clauses out of 40014 with flag 603868/2789775
411.17/410.01	c cleaning 21004 clauses out of 42007 with flag 649187/2811773
414.96/413.83	c cleaning 22003 clauses out of 44007 with flag 696455/2834777
419.06/417.94	c cleaning 22998 clauses out of 46002 with flag 746499/2858775
423.36/422.25	c cleaning 23993 clauses out of 48002 with flag 798325/2883773
427.86/426.70	c cleaning 25006 clauses out of 50012 with flag 852134/2909776
431.86/430.77	c cleaning 25995 clauses out of 52005 with flag 917164/2936775
435.26/434.19	c cleaning 27003 clauses out of 54009 with flag 988450/2964774
440.76/439.64	c cleaning 28004 clauses out of 56007 with flag 1047699/2993775
444.36/443.27	c cleaning 28993 clauses out of 58003 with flag 1126189/3023775
451.36/450.27	c cleaning 29996 clauses out of 60008 with flag 1192868/3054773
455.57/454.44	c cleaning 30998 clauses out of 62013 with flag 1272165/3086774
460.41/459.26	c cleaning 32000 clauses out of 64014 with flag 1364029/3119773
469.81/468.70	c cleaning 33004 clauses out of 66015 with flag 1453858/3153774
479.60/478.48	c cleaning 34002 clauses out of 68010 with flag 1534065/3188773
486.00/484.86	c cleaning 35004 clauses out of 70009 with flag 1631472/3224774
492.30/491.13	c cleaning 36002 clauses out of 72005 with flag 1716085/3261774
499.80/498.66	c Got one! Elapsed wall clock time (in seconds):498.546
499.80/498.66	o 37
501.00/499.87	c cleaning 38873 clauses out of 77792 with flag 14726/3303563
501.81/500.69	c cleaning 22454 clauses out of 44919 with flag 31792/3309563
502.60/501.46	c cleaning 14728 clauses out of 29466 with flag 50707/3316564
503.10/501.99	c cleaning 11363 clauses out of 22739 with flag 67431/3324565
503.70/502.56	c cleaning 10181 clauses out of 20374 with flag 85917/3333563
504.50/503.34	c cleaning 10089 clauses out of 20194 with flag 106455/3343564
505.30/504.18	c cleaning 10551 clauses out of 21105 with flag 129355/3354564
506.21/505.03	c cleaning 11270 clauses out of 22556 with flag 156957/3366566
507.30/506.13	c cleaning 12137 clauses out of 24283 with flag 191593/3379563
508.50/507.31	c cleaning 13063 clauses out of 26147 with flag 224122/3393564
509.70/508.58	c cleaning 14032 clauses out of 28085 with flag 259402/3408565
511.40/510.29	c cleaning 15019 clauses out of 30053 with flag 306471/3424565
513.00/511.89	c cleaning 16010 clauses out of 32032 with flag 349631/3441563
516.60/515.43	c cleaning 17010 clauses out of 34024 with flag 411622/3459565
518.90/517.78	c cleaning 18002 clauses out of 36012 with flag 454516/3478563
521.69/520.51	c cleaning 19000 clauses out of 38010 with flag 500851/3498563
523.80/522.67	c cleaning 19997 clauses out of 40011 with flag 556752/3519564
527.89/526.79	c cleaning 21004 clauses out of 42013 with flag 627085/3541563
531.89/530.72	c cleaning 22000 clauses out of 44011 with flag 701560/3564565
534.29/533.12	c cleaning 23000 clauses out of 46010 with flag 760355/3588564
537.62/536.40	c cleaning 23999 clauses out of 48009 with flag 830904/3613563
540.72/539.57	c cleaning 25002 clauses out of 50011 with flag 893916/3639564
544.32/543.15	c cleaning 25998 clauses out of 52010 with flag 966284/3666565
547.72/546.58	c cleaning 26994 clauses out of 54010 with flag 1038196/3694563
551.72/550.56	c cleaning 28001 clauses out of 56018 with flag 1105460/3723565
554.72/553.55	c cleaning 29003 clauses out of 58016 with flag 1175781/3753564
561.23/560.03	c cleaning 30000 clauses out of 60013 with flag 1243121/3784564
565.53/564.40	c cleaning 30993 clauses out of 62012 with flag 1323009/3816563
570.62/569.40	c cleaning 32004 clauses out of 64019 with flag 1419238/3849563
575.62/574.49	c cleaning 33005 clauses out of 66018 with flag 1508291/3883566
582.43/581.29	c cleaning 34004 clauses out of 68011 with flag 1590389/3918564
589.63/588.41	c cleaning 35003 clauses out of 70006 with flag 1676202/3954563
595.93/594.75	c cleaning 35999 clauses out of 72004 with flag 1779408/3991564
602.33/601.13	c cleaning 37002 clauses out of 74006 with flag 1873952/4029565
612.36/611.17	c cleaning 38003 clauses out of 76005 with flag 1956426/4068566
619.16/617.99	c cleaning 39000 clauses out of 78001 with flag 2047855/4108566
631.67/630.47	c cleaning 39998 clauses out of 79998 with flag 2132342/4149563
645.97/644.77	c cleaning 40999 clauses out of 82003 with flag 2219353/4191566
654.27/653.06	c cleaning 41998 clauses out of 84000 with flag 2321822/4234563
661.28/660.06	c cleaning 42995 clauses out of 86003 with flag 2438972/4278564
668.57/667.38	c cleaning 43997 clauses out of 88008 with flag 2558596/4323564
677.17/675.92	c cleaning 44989 clauses out of 90011 with flag 2674945/4369564
686.17/684.94	c cleaning 46007 clauses out of 92021 with flag 2788064/4416563
695.57/694.38	c cleaning 46997 clauses out of 94015 with flag 2918433/4464564
705.59/704.22	c cleaning 48005 clauses out of 96020 with flag 3062220/4513566
715.29/713.92	c cleaning 48999 clauses out of 98012 with flag 3197914/4563563
725.59/724.27	c cleaning 49996 clauses out of 100014 with flag 3330200/4614564
737.40/736.09	c cleaning 51002 clauses out of 102018 with flag 3474093/4666565
751.90/750.53	c cleaning 51999 clauses out of 104014 with flag 3641736/4719563
765.20/763.85	c cleaning 53001 clauses out of 106015 with flag 3788902/4773563
775.40/774.00	c cleaning 53985 clauses out of 108015 with flag 3929133/4828564
784.40/783.06	c Got one! Elapsed wall clock time (in seconds):782.946
784.40/783.06	o 36
785.10/783.78	c cleaning 52463 clauses out of 104937 with flag 11782/4879471
786.20/784.82	c cleaning 29229 clauses out of 58473 with flag 28582/4885470
786.81/785.43	c cleaning 18116 clauses out of 36244 with flag 44048/4892470
787.20/785.87	c cleaning 13060 clauses out of 26130 with flag 61265/4900472
787.70/786.33	c cleaning 11025 clauses out of 22068 with flag 81577/4909470
788.20/786.71	c cleaning 10513 clauses out of 21043 with flag 103443/4919470
788.70/787.21	c cleaning 10761 clauses out of 21530 with flag 126472/4930470
789.50/788.02	c cleaning 11382 clauses out of 22769 with flag 151032/4942470
790.30/788.86	c cleaning 12194 clauses out of 24389 with flag 177869/4955472
791.40/789.91	c cleaning 13091 clauses out of 26193 with flag 206843/4969470
792.90/791.43	c cleaning 14050 clauses out of 28103 with flag 238557/4984471
795.00/793.51	c cleaning 15023 clauses out of 30053 with flag 278682/5000471
797.09/795.63	c cleaning 16012 clauses out of 32030 with flag 316170/5017471
799.10/797.67	c cleaning 17006 clauses out of 34017 with flag 363319/5035470
800.79/799.33	c Got one! Elapsed wall clock time (in seconds):799.22
800.79/799.33	o 35
801.89/800.45	c cleaning 20085 clauses out of 40181 with flag 12984/5058640
802.40/800.94	c cleaning 13042 clauses out of 26096 with flag 27397/5064640
803.09/801.66	c cleaning 10018 clauses out of 20055 with flag 46143/5071641
803.89/802.43	c cleaning 9011 clauses out of 18038 with flag 63551/5079642
804.79/803.30	c cleaning 9009 clauses out of 18026 with flag 85652/5088641
805.70/804.21	c cleaning 9503 clauses out of 19018 with flag 108329/5098642
806.59/805.12	c cleaning 10251 clauses out of 20514 with flag 131957/5109641
807.69/806.21	c cleaning 11130 clauses out of 22263 with flag 157360/5121641
808.69/807.28	c cleaning 12063 clauses out of 24136 with flag 187591/5134644
809.79/808.31	c cleaning 13030 clauses out of 26071 with flag 219119/5148642
811.20/809.72	c cleaning 13997 clauses out of 28040 with flag 256207/5163641
812.89/811.49	c cleaning 15005 clauses out of 30042 with flag 294190/5179640
815.50/814.05	c cleaning 16015 clauses out of 32037 with flag 338073/5196640
817.09/815.68	c cleaning 17012 clauses out of 34024 with flag 385808/5214642
819.29/817.89	c cleaning 17999 clauses out of 36015 with flag 429223/5233645
821.99/820.57	c cleaning 18997 clauses out of 38013 with flag 476265/5253642
824.40/822.96	c cleaning 20001 clauses out of 40014 with flag 528096/5274640
826.69/825.20	c cleaning 21002 clauses out of 42017 with flag 584255/5296644
830.00/828.46	c cleaning 21994 clauses out of 44011 with flag 640445/5319640
832.89/831.39	c cleaning 23009 clauses out of 46017 with flag 699382/5343640
836.19/834.67	c cleaning 23997 clauses out of 48010 with flag 760535/5368642
839.39/837.84	c cleaning 25004 clauses out of 50012 with flag 826971/5394641
843.69/842.16	c cleaning 25998 clauses out of 52008 with flag 898757/5421641
846.79/845.25	c cleaning 27005 clauses out of 54012 with flag 965594/5449643
850.39/848.83	c cleaning 27995 clauses out of 56004 with flag 1034770/5478640
855.30/853.78	c cleaning 29002 clauses out of 58011 with flag 1116003/5508642
859.79/858.29	c cleaning 29987 clauses out of 60011 with flag 1193112/5539644
864.99/863.46	c cleaning 31004 clauses out of 62020 with flag 1275235/5571640
869.99/868.47	c cleaning 32000 clauses out of 64016 with flag 1359734/5604640
874.89/873.37	c cleaning 33000 clauses out of 66016 with flag 1448373/5638640
880.11/878.52	c cleaning 33997 clauses out of 68016 with flag 1531551/5673640
884.01/882.47	c Got one! Elapsed wall clock time (in seconds):882.36
884.01/882.47	o 34
884.92/883.38	c cleaning 34461 clauses out of 68933 with flag 12944/5708554
885.61/884.05	c cleaning 20232 clauses out of 40469 with flag 27887/5714551
886.41/884.80	c cleaning 13610 clauses out of 27237 with flag 44973/5721551
887.12/885.53	c cleaning 10802 clauses out of 21626 with flag 66022/5729550
887.81/886.27	c cleaning 9903 clauses out of 19825 with flag 89071/5738551
889.31/887.70	c cleaning 9956 clauses out of 19921 with flag 111952/5748550
890.91/889.35	c cleaning 10467 clauses out of 20965 with flag 138179/5759550
892.11/890.56	c cleaning 11230 clauses out of 22500 with flag 166608/5771552
893.01/891.48	c cleaning 12131 clauses out of 24268 with flag 195057/5784550
894.11/892.54	c cleaning 13063 clauses out of 26137 with flag 224060/5798550
895.51/893.96	c cleaning 14033 clauses out of 28076 with flag 254498/5813552
896.91/895.39	c cleaning 15015 clauses out of 30042 with flag 289665/5829551
899.11/897.52	c cleaning 16011 clauses out of 32027 with flag 324822/5846551
901.01/899.48	c cleaning 17007 clauses out of 34017 with flag 361880/5864552
903.61/902.10	c cleaning 18004 clauses out of 36008 with flag 401266/5883550
906.41/904.88	c cleaning 19002 clauses out of 38005 with flag 444141/5903551
910.01/908.44	c cleaning 20000 clauses out of 40004 with flag 487287/5924552
913.62/912.05	c cleaning 20996 clauses out of 42002 with flag 532006/5946550
917.21/915.64	c cleaning 22002 clauses out of 44008 with flag 579154/5969552
921.32/919.79	c cleaning 22998 clauses out of 46005 with flag 628514/5993551
926.11/924.60	c cleaning 23998 clauses out of 48006 with flag 679681/6018550
931.51/929.98	c cleaning 25001 clauses out of 50011 with flag 733295/6044553
937.01/935.48	c cleaning 26002 clauses out of 52010 with flag 789457/6071553
943.01/941.41	c cleaning 27003 clauses out of 54005 with flag 846771/6099550
949.21/947.63	c cleaning 28000 clauses out of 56002 with flag 906637/6128550
953.51/951.96	c cleaning 29001 clauses out of 58003 with flag 972522/6158551
957.93/956.32	c cleaning 29996 clauses out of 60003 with flag 1047738/6189552
962.03/960.43	c cleaning 30995 clauses out of 62005 with flag 1128947/6221550
969.63/968.01	c cleaning 31995 clauses out of 64012 with flag 1203367/6254552
978.33/976.71	c cleaning 32999 clauses out of 66018 with flag 1280166/6288553
987.93/986.36	c cleaning 33995 clauses out of 68017 with flag 1356627/6323551
997.24/995.65	c cleaning 35008 clauses out of 70021 with flag 1434720/6359550
1005.24/1003.67	c cleaning 35998 clauses out of 72013 with flag 1518833/6396550
1012.54/1010.98	c cleaning 36997 clauses out of 74015 with flag 1614673/6434550
1018.24/1016.60	c cleaning 38007 clauses out of 76020 with flag 1712913/6473552
1023.65/1022.03	c cleaning 39001 clauses out of 78011 with flag 1817979/6513550
1028.54/1026.91	c cleaning 40003 clauses out of 80013 with flag 1918735/6554553
1039.53/1037.82	c cleaning 40984 clauses out of 82008 with flag 2014404/6596551
1046.13/1044.47	c cleaning 42006 clauses out of 84024 with flag 2119622/6639551
1055.43/1053.79	c cleaning 43004 clauses out of 86018 with flag 2227117/6683551
1062.73/1061.01	c cleaning 43998 clauses out of 88013 with flag 2344706/6728550
1070.53/1068.87	c cleaning 44998 clauses out of 90017 with flag 2456111/6774552
1079.63/1077.94	c cleaning 46003 clauses out of 92017 with flag 2577015/6821550
1088.83/1087.19	c cleaning 46990 clauses out of 94015 with flag 2694637/6869551
1089.33/1087.65	c Got one! Elapsed wall clock time (in seconds):1087.54
1089.33/1087.65	o 33
1089.63/1087.98	c cleaning 26402 clauses out of 52814 with flag 6955/6875340
1090.13/1088.41	c cleaning 16206 clauses out of 32414 with flag 19529/6881342
1090.63/1088.93	c cleaning 11598 clauses out of 23205 with flag 37958/6888339
1091.43/1089.74	c cleaning 9791 clauses out of 19607 with flag 58898/6896339
1092.23/1090.50	c cleaning 9194 clauses out of 18817 with flag 81015/6905340
1094.10/1092.32	c cleaning 9805 clauses out of 19622 with flag 114386/6915339
1095.00/1093.20	c cleaning 10405 clauses out of 20819 with flag 139920/6926341
1096.00/1094.26	c cleaning 11195 clauses out of 22413 with flag 167980/6938340
1098.00/1096.20	c cleaning 12100 clauses out of 24218 with flag 200407/6951340
1100.00/1098.21	c cleaning 13049 clauses out of 26118 with flag 231342/6965340
1103.10/1101.30	c cleaning 14024 clauses out of 28069 with flag 263613/6980340
1105.79/1104.05	c cleaning 15021 clauses out of 30045 with flag 299591/6996340
1109.60/1107.81	c cleaning 16007 clauses out of 32023 with flag 337622/7013339
1113.49/1111.79	c cleaning 17000 clauses out of 34017 with flag 376349/7031340
1117.79/1116.06	c cleaning 18002 clauses out of 36016 with flag 417972/7050339
1120.09/1118.35	c cleaning 19005 clauses out of 38015 with flag 468431/7070340
1122.89/1121.10	c cleaning 19996 clauses out of 40009 with flag 515826/7091339
1126.29/1124.58	c cleaning 20999 clauses out of 42014 with flag 567987/7113340
1129.80/1128.08	c cleaning 22001 clauses out of 44014 with flag 618753/7136339
1132.49/1130.78	c cleaning 23003 clauses out of 46014 with flag 676608/7160340
1135.60/1133.82	c cleaning 23994 clauses out of 48010 with flag 737943/7185339
1139.30/1137.55	c cleaning 24995 clauses out of 50018 with flag 806350/7211341
1142.70/1141.00	c cleaning 26000 clauses out of 52022 with flag 873150/7238340
1147.59/1145.71	c cleaning 26996 clauses out of 54021 with flag 936953/7266339
1151.59/1149.77	c cleaning 28005 clauses out of 56025 with flag 1009288/7295339
1154.99/1153.12	c cleaning 29001 clauses out of 58020 with flag 1082662/7325339
1158.89/1157.04	c cleaning 30009 clauses out of 60019 with flag 1159419/7356339
1163.09/1161.29	c cleaning 31002 clauses out of 62010 with flag 1239983/7388339
1170.49/1168.63	c cleaning 31998 clauses out of 64008 with flag 1333682/7421339
1175.38/1173.52	c cleaning 32997 clauses out of 66010 with flag 1417272/7455339
1179.99/1178.19	c cleaning 34005 clauses out of 68015 with flag 1502996/7490341
1185.59/1183.78	c cleaning 34989 clauses out of 70008 with flag 1594899/7526339
1190.93/1189.09	c cleaning 36003 clauses out of 72022 with flag 1684558/7563342
1197.74/1195.85	c cleaning 37001 clauses out of 74016 with flag 1777232/7601339
1204.13/1202.23	c cleaning 38001 clauses out of 76017 with flag 1880403/7640341
1209.74/1207.83	c cleaning 39002 clauses out of 78016 with flag 1979603/7680341
1217.44/1215.54	c cleaning 40007 clauses out of 80013 with flag 2065184/7721340
1227.04/1225.19	c cleaning 40992 clauses out of 82005 with flag 2197722/7763339
1242.94/1241.08	c cleaning 41996 clauses out of 84013 with flag 2431535/7806339
1251.22/1249.30	c cleaning 43005 clauses out of 86017 with flag 2551404/7850339
1260.32/1258.31	c cleaning 44000 clauses out of 88012 with flag 2667802/7895339
1271.12/1269.19	c cleaning 45001 clauses out of 90013 with flag 2792950/7941340
1285.93/1283.93	c cleaning 46001 clauses out of 92012 with flag 2893092/7988340
1294.03/1292.09	c cleaning 46987 clauses out of 94010 with flag 3015495/8036339
1303.44/1301.42	c cleaning 48005 clauses out of 96024 with flag 3147648/8085340
1312.24/1310.27	c cleaning 49003 clauses out of 98018 with flag 3275229/8135339
1326.91/1324.87	c cleaning 49998 clauses out of 100015 with flag 3407033/8186339
1337.82/1335.73	c cleaning 51000 clauses out of 102018 with flag 3542196/8238340
1346.43/1344.36	c cleaning 52004 clauses out of 104017 with flag 3675927/8291339
1356.82/1354.74	c cleaning 53000 clauses out of 106013 with flag 3820281/8345339
1367.52/1365.33	c cleaning 54003 clauses out of 108014 with flag 3953222/8400340
1390.12/1387.90	c cleaning 55003 clauses out of 110010 with flag 4066915/8456339
1401.62/1399.44	c cleaning 56000 clauses out of 112009 with flag 4203964/8513341
1411.23/1409.02	c cleaning 57002 clauses out of 114010 with flag 4344140/8571342
1421.43/1419.27	c cleaning 57996 clauses out of 116007 with flag 4490028/8630341
1436.13/1433.98	c cleaning 58989 clauses out of 118011 with flag 4651941/8690341
1451.42/1449.11	c cleaning 59999 clauses out of 120021 with flag 4827568/8751340
1462.72/1460.40	c cleaning 61012 clauses out of 122023 with flag 4988027/8813341
1483.62/1481.33	c cleaning 62004 clauses out of 124010 with flag 5120080/8876340
1505.53/1503.28	c cleaning 63002 clauses out of 126006 with flag 5253734/8940340
1526.42/1524.13	c cleaning 63998 clauses out of 128004 with flag 5397232/9005340
1544.00/1541.61	c cleaning 64991 clauses out of 130005 with flag 5576825/9071339
1561.79/1559.48	c cleaning 66005 clauses out of 132015 with flag 5752697/9138340
1579.99/1577.66	c cleaning 66998 clauses out of 134010 with flag 5933210/9206340
1597.00/1594.56	c cleaning 67998 clauses out of 136012 with flag 6111744/9275340
1620.51/1618.06	c cleaning 69007 clauses out of 138016 with flag 6299184/9345342
1642.80/1640.32	c cleaning 69992 clauses out of 140006 with flag 6486443/9416339
1660.18/1657.67	c cleaning 70995 clauses out of 142014 with flag 6663201/9488339
1660.58/1658.03	c Got one! Elapsed wall clock time (in seconds):1657.913
1660.58/1658.03	o 31
1660.98/1658.42	c cleaning 38296 clauses out of 76593 with flag 9847/9493913
1661.18/1658.68	c cleaning 22146 clauses out of 44298 with flag 22404/9499914
1661.49/1659.00	c cleaning 14567 clauses out of 29150 with flag 37024/9506912
1661.78/1659.28	c cleaning 10659 clauses out of 22583 with flag 54749/9514912
1662.38/1659.87	c cleaning 8989 clauses out of 20926 with flag 73043/9523914
1663.28/1660.77	c cleaning 10012 clauses out of 21934 with flag 98535/9533911
1664.28/1661.77	c cleaning 10991 clauses out of 22924 with flag 123587/9544913
1665.48/1662.93	c cleaning 11962 clauses out of 23934 with flag 153444/9556914
1666.99/1664.44	c cleaning 12474 clauses out of 24969 with flag 181847/9569911
1668.98/1666.43	c cleaning 13241 clauses out of 26495 with flag 218927/9583911
1671.08/1668.52	c cleaning 14120 clauses out of 28254 with flag 259526/9598911
1672.78/1670.20	c cleaning 15057 clauses out of 30134 with flag 293878/9614911
1674.28/1671.73	c cleaning 16034 clauses out of 32080 with flag 333688/9631914
1676.18/1673.60	c cleaning 17011 clauses out of 34042 with flag 373463/9649910
1678.78/1676.22	c cleaning 18006 clauses out of 36032 with flag 416057/9668911
1681.78/1679.28	c cleaning 18999 clauses out of 38027 with flag 464674/9688912
1685.23/1682.60	c cleaning 20003 clauses out of 40028 with flag 515406/9709912
1688.53/1685.91	c cleaning 21000 clauses out of 42023 with flag 568361/9731910
1691.92/1689.33	c cleaning 22002 clauses out of 44023 with flag 625154/9754910
1694.43/1691.85	c cleaning 23011 clauses out of 46022 with flag 686159/9778911
1697.43/1694.85	c cleaning 23996 clauses out of 48010 with flag 745367/9803910
1700.32/1697.79	c cleaning 25003 clauses out of 50015 with flag 806192/9829911
1703.52/1700.93	c cleaning 25999 clauses out of 52011 with flag 863353/9856910
1707.32/1704.76	c cleaning 26997 clauses out of 54012 with flag 923472/9884910
1711.82/1709.23	c cleaning 27999 clauses out of 56016 with flag 985301/9913911
1718.32/1715.71	c cleaning 29005 clauses out of 58018 with flag 1047057/9943912
1724.42/1721.87	c cleaning 30000 clauses out of 60013 with flag 1113093/9974912
1731.02/1728.47	c cleaning 31001 clauses out of 62012 with flag 1183059/10006911
1738.27/1735.61	c cleaning 31997 clauses out of 64013 with flag 1254184/10039913
1745.37/1742.73	c cleaning 32997 clauses out of 66013 with flag 1327765/10073910
1753.27/1750.65	c cleaning 34002 clauses out of 68016 with flag 1402701/10108910
1761.87/1759.24	c cleaning 35004 clauses out of 70016 with flag 1479546/10144912
1770.87/1768.25	c cleaning 35997 clauses out of 72010 with flag 1557335/10181910
1780.97/1778.37	c cleaning 37003 clauses out of 74013 with flag 1636584/10219910
1791.77/1789.15	c cleaning 38001 clauses out of 76014 with flag 1718848/10258914
1800.09/1797.41	c starts		: 28020
1800.09/1797.41	c conflicts		: 10292527
1800.09/1797.41	c decisions		: 13090231
1800.09/1797.41	c propagations		: 860079664
1800.09/1797.41	c inspects		: 37525043422
1800.09/1797.41	c shortcuts		: 0
1800.09/1797.41	c learnt literals	: 4
1800.09/1797.41	c learnt binary clauses	: 74
1800.09/1797.41	c learnt ternary clauses	: 279
1800.09/1797.41	c learnt constraints	: 10292523
1800.09/1797.41	c ignored constraints	: 0
1800.09/1797.41	c root simplifications	: 0
1800.09/1797.41	c removed literals (reason simplification)	: 0
1800.09/1797.41	c reason swapping (by a shorter reason)	: 0
1800.09/1797.41	c Calls to reduceDB	: 445
1800.09/1797.41	c Number of update (reduction) of LBD	: 782511
1800.09/1797.41	c Imported unit clauses	: 0
1800.09/1797.41	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.41	c number of learned constraints concerned by reduction	: 0
1800.09/1797.41	c number of learning phase by resolution	: 0
1800.09/1797.41	c number of learning phase by cutting planes	: 0
1800.09/1797.41	c speed (assignments/second)	: 478629.8563909532
1800.09/1797.41	c non guided choices	7553
1800.09/1797.43	c learnt constraints type 
1800.09/1797.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74
1800.09/1797.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 71552
1800.09/1797.43	s SATISFIABLE
1800.09/1797.43	c Found 38 solution(s)
1800.09/1797.44	v -x1 -x2 x3 -x4 -x5 -x6 -x7 x8 -x9 x10 -x11 x12 -x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 -x216 -x217 x218 x219 x220 x221 -x222 -x223 x224 x225 -x226 x227 -x228 x229 x230 -x231 -x232 x233 x234 x235 x236 -x237 x238 x239 -x240 x241 x242 x243 x244 -x245 x246 -x247 x248 x249 x250 -x251 -x252 -x253 x254 x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 x280 -x281 -x282 x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 x296 x297 x298 -x299 x300 -x301 -x302 x303 x304 x305 x306 x307 x308 -x309 x310 x311 x312 x313 x314 x315 -x316 -x317 -x318 x319 -x320 x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 -x332 -x333 x334 -x335 x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 x360 x361 -x362 x363 x364 -x365 x366 x367 x368 x369 x370 -x371 -x372 x373 x374 -x375 -x376 x377 -x378 -x379 x380 -x381 x382 x383 -x384 -x385 -x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 x395 x396 -x397 -x398 -x399 x400 -x401 x402 -x403 -x404 x405 x406 x407 -x408 x409 x410 x411 -x412 x413 x414 x415 x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 -x432 -x433 x434 -x435 -x436 x437 -x438 -x439 x440 x441 x442 x443 -x444 -x445 -x446 -x447 x448 -x449 x450 -x451 x452 x453 x454 x455 -x456 x457 -x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 x470 -x471 x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 -x480 -x481 x482 x483 -x484 x485 -x486 x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 x513 x514 -x515 x516 x517 x518 -x519 x520 x521 x522 x523 x524 -x525 -x526 x527 -x528 -x529 x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 x540 x541 x542 x543 x544 -x545 x546 x547 -x548 -x549 x550 -x551 x552 x553 x554 x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 x563 x564 -x565 -x566 -x567 x568 x569 -x570 -x571 x572 -x573 x574 x575 -x576 -x577 x578 -x579 x580 x581 x582 -x583 -x584 
1800.09/1797.44	c objective function=31
1800.09/1797.44	c Total wall clock time (in seconds): 1797.325

Verifier Data 

OK	31

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-4085912-1465272608/watcher-4085912-1465272608 -o /tmp/evaluation-result-4085912-1465272608/solver-4085912-1465272608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5401 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085912-1465272608.opb 

pid=7542
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.02 2.07 2.02 4/195 7545
/proc/meminfo: memFree=30999764/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7545/stat : 7545 (java) R 7542 7545 5384 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 1 0 109196276 9515008 155 33554432000 1073741824 1073778376 140734796501552 140734796498680 247064254215 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2323 169 128 9 0 71 0

[startup+0.100162 s]
/proc/loadavg: 2.02 2.07 2.02 4/195 7545
/proc/meminfo: memFree=30999764/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 4443 0 1 0 8 1 0 0 20 0 18 0 109196276 9787879424 5568 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2389619 5568 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200361 s]
/proc/loadavg: 2.02 2.07 2.02 4/195 7545
/proc/meminfo: memFree=30999764/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 4939 0 1 0 24 2 0 0 20 0 18 0 109196276 9787879424 7515 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2389619 7515 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.30036 s]
/proc/loadavg: 2.02 2.07 2.02 4/195 7545
/proc/meminfo: memFree=30999764/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 6603 0 1 0 47 2 0 0 20 0 18 0 109196276 9787879424 9071 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2389619 9071 2238 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700179 s]
/proc/loadavg: 2.02 2.07 2.02 4/195 7545
/proc/meminfo: memFree=30999764/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 9246 0 1 0 134 3 0 0 20 0 19 0 109196276 9856040960 13953 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 13953 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 9625040

[startup+1.50071 s]
/proc/loadavg: 2.02 2.07 2.02 4/214 7564
/proc/meminfo: memFree=30949264/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=2.29 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 9915 0 1 0 226 3 0 0 20 0 19 0 109196276 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 14507 2270 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2485 0 1 0 144 2 0 0 20 0 19 0 109196277 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023923072720 140023796349875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3221 0 0 0 41 0 0 0 20 0 19 0 109196282 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 2937 0 0 0 38 0 0 0 20 0 19 0 109196282 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 14507 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.02 2.07 2.02 4/214 7564
/proc/meminfo: memFree=30948732/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 9917 0 1 0 390 3 0 0 20 0 19 0 109196276 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 15019 2270 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2487 0 1 0 303 2 0 0 20 0 19 0 109196277 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023923081528 140023796303659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3221 0 0 0 44 0 0 0 20 0 19 0 109196282 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 2937 0 0 0 39 0 0 0 20 0 19 0 109196282 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 15019 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.02 2.07 2.02 4/214 7564
/proc/meminfo: memFree=30942232/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=7.12 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 9921 0 1 0 709 3 0 0 20 0 19 0 109196276 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 16036 2271 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2489 0 1 0 622 2 0 0 20 0 19 0 109196277 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023923072704 140023796360879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 109196278 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3222 0 0 0 45 0 0 0 20 0 19 0 109196282 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 2937 0 0 0 39 0 0 0 20 0 19 0 109196282 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 16036 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9625040


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

/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 107761 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.88
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/213 8442
/proc/meminfo: memFree=30950948/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=1724.92 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 12686 0 1 0 172436 56 0 0 20 0 19 0 109196276 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 112372 2285 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=1717.14 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2571 0 1 0 171684 30 0 0 20 0 19 0 109196277 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023923072768 140023796360879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 159 0 0 0 22 4 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 268 0 0 0 21 4 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 225 0 0 0 21 3 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 112 0 0 0 14 2 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 311 0 0 0 27 4 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 197 0 0 0 26 6 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 183 0 0 0 19 4 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 207 0 0 0 19 4 0 0 20 0 19 0 109196278 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 85 0 0 0 0 3 0 0 20 0 19 0 109196279 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3244 0 0 0 56 0 0 0 20 0 19 0 109196282 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 3766 0 0 0 53 0 0 0 20 0 19 0 109196282 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 100 0 0 0 18 23 0 0 20 0 19 0 109196282 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 112372 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.92
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/213 8444
/proc/meminfo: memFree=30944432/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=1784.97 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 12697 0 1 0 178440 57 0 0 20 0 19 0 109196276 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 112883 2285 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=1776.97 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2572 0 1 0 177666 31 0 0 20 0 19 0 109196277 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023923072768 140023796303744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 160 0 0 0 23 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 268 0 0 0 21 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 226 0 0 0 22 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 112 0 0 0 14 3 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 311 0 0 0 27 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 198 0 0 0 27 6 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 183 0 0 0 20 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 207 0 0 0 20 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 87 0 0 0 0 3 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3244 0 0 0 56 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 3767 0 0 0 53 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 104 0 0 0 18 24 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.97
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.09 2.07 2.01 3/214 8448
/proc/meminfo: memFree=30943760/32872528 swapFree=10676/249824
[pid=7545] ppid=7542 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/7545/stat : 7545 (java) S 7542 7545 5384 0 -1 4202496 12697 0 1 0 179951 58 0 0 20 0 19 0 109196276 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140734796492688 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7545/statm: 2406260 112883 2285 9 0 2396937 0
[pid=7545/tid=7547] ppid=7542 vsize=9625040 CPUtime=1792.04 cores=1,3,5,7
/proc/7545/task/7547/stat : 7547 (java) R 7542 7545 5384 0 -1 4202560 2572 0 1 0 179173 31 0 0 20 0 19 0 109196277 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023923072768 140023796232466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7548] ppid=7542 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7545/task/7548/stat : 7548 (java) S 7542 7545 5384 0 -1 4202560 160 0 0 0 23 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023767104424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7549] ppid=7542 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7545/task/7549/stat : 7549 (java) S 7542 7545 5384 0 -1 4202560 268 0 0 0 21 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023766051880 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7550] ppid=7542 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/7545/task/7550/stat : 7550 (java) S 7542 7545 5384 0 -1 4202560 226 0 0 0 22 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023764998824 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7551] ppid=7542 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/7545/task/7551/stat : 7551 (java) S 7542 7545 5384 0 -1 4202560 112 0 0 0 14 3 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023763946280 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7552] ppid=7542 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/7545/task/7552/stat : 7552 (java) S 7542 7545 5384 0 -1 4202560 311 0 0 0 27 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023762893224 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7553] ppid=7542 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7545/task/7553/stat : 7553 (java) S 7542 7545 5384 0 -1 4202560 198 0 0 0 27 6 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023761840680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7554] ppid=7542 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7545/task/7554/stat : 7554 (java) S 7542 7545 5384 0 -1 4202560 183 0 0 0 20 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023760787624 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7555] ppid=7542 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7545/task/7555/stat : 7555 (java) S 7542 7545 5384 0 -1 4202560 207 0 0 0 20 4 0 0 20 0 19 0 109196278 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023759735080 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7545/tid=7556] ppid=7542 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/7545/task/7556/stat : 7556 (java) S 7542 7545 5384 0 -1 4202560 87 0 0 0 0 3 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023747324776 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7545/tid=7557] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7557/stat : 7557 (java) S 7542 7545 5384 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023746271096 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7558] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7558/stat : 7558 (java) S 7542 7545 5384 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 109196279 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023745217928 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7559] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7559/stat : 7559 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023744166672 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7560] ppid=7542 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/7545/task/7560/stat : 7560 (java) S 7542 7545 5384 0 -1 4202560 3244 0 0 0 56 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023743113528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7545/tid=7561] ppid=7542 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7545/task/7561/stat : 7561 (java) S 7542 7545 5384 0 -1 4202560 3767 0 0 0 53 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023742060984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7562] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7562/stat : 7562 (java) S 7542 7545 5384 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023741008120 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7545/tid=7563] ppid=7542 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7545/task/7563/stat : 7563 (java) S 7542 7545 5384 0 -1 4202560 104 0 0 0 19 24 0 0 20 0 19 0 109196282 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023739955784 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 3 0 0
[pid=7545/tid=7564] ppid=7542 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7545/task/7564/stat : 7564 (java) S 7542 7545 5384 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 109196321 9856040960 112883 33554432000 1073741824 1073778376 140734796501552 140023738852904 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 7545 sig 9
??? kill -7545 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7545 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=948126
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=53839
# CPU time returned by wait4() is 1796
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1797.44
CPU time (s): 1800.09
CPU user time (s): 1799.51
CPU system time (s): 0.58
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.95
system time used= 1.05384
maximum resident set size= 451672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12739
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38858
involuntary context switches= 9275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5004 second user time and 12.7551 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-07 06:10:08
IDJOB=4085912
IDBENCH=72485
IDSOLVER=2546
FILE ID=node103/4085912-1465272608
RUNJOBID= node103-1465256472-5401
PBS_JOBID= 19843279
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_15_errors.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085912-1465272608/watcher-4085912-1465272608 -o /tmp/evaluation-result-4085912-1465272608/solver-4085912-1465272608 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465256472-5401 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085912-1465272608.opb

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

MD5SUM BENCH= b155444c97f18a8f3025da7494a3d01e
RANDOM SEED=368573067

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
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:        31000284 kB
Buffers:          130144 kB
Cached:           141232 kB
SwapCached:         1720 kB
Active:           709076 kB
Inactive:         167864 kB
Active(anon):     606744 kB
Inactive(anon):     1216 kB
Active(file):     102332 kB
Inactive(file):   166648 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096696 kB
Dirty:               728 kB
Writeback:             0 kB
AnonPages:        867016 kB
Mapped:            15288 kB
Shmem:                 0 kB
Slab:             600200 kB
SReclaimable:      43668 kB
SUnreclaim:       556532 kB
KernelStack:        1616 kB
PageTables:         6004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1879384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 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= 71736 MiB
End job on node103 at 2016-06-07 06:40:06