Trace number 4440497

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 Resolution 2024 2024-07-07SAT (TO)28 3600.24 3655

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
MD5SUMf8cbff203f2ec66bcdec19280bdd1d00
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.427823
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables147
Total number of constraints240
Number of constraints which are clauses240
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint21
Number of terms in the objective function 147
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 147
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 147
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440497-1721820777.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.14/0.16	c ... done. Wall clock time 0.028s.
0.14/0.16	c declared #vars     147
0.14/0.16	c #constraints  240
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 239
0.14/0.16	c 240 constraints processed.
0.14/0.17	c objective function length is 147 literals
0.14/0.18	c SATISFIABLE
0.14/0.18	c OPTIMIZING...
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.046
0.14/0.18	o 32
0.14/0.19	c Got one! Elapsed wall clock time (in seconds):0.053
0.14/0.19	o 31
0.34/0.24	c Got one! Elapsed wall clock time (in seconds):0.109
0.34/0.24	o 30
0.91/0.60	c cleaning 2574 clauses out of 5157 with flag 11259/5157
1.68/0.92	c cleaning 4291 clauses out of 8587 with flag 26602/11161
2.08/1.19	c cleaning 5640 clauses out of 11294 with flag 43738/18159
2.67/1.43	c cleaning 6819 clauses out of 13652 with flag 62513/26157
3.06/1.67	c cleaning 7909 clauses out of 15833 with flag 84332/35157
3.64/1.94	c cleaning 8957 clauses out of 17925 with flag 109499/45158
4.09/2.21	c cleaning 9974 clauses out of 19968 with flag 136601/56158
4.40/2.51	c cleaning 10987 clauses out of 21993 with flag 165083/68157
4.60/2.80	c cleaning 11993 clauses out of 24006 with flag 195373/81157
5.00/3.11	c cleaning 13001 clauses out of 26014 with flag 228515/95158
5.30/3.48	c cleaning 13993 clauses out of 28012 with flag 264095/110157
5.70/3.86	c cleaning 15000 clauses out of 30021 with flag 302912/126159
6.14/4.28	c cleaning 15999 clauses out of 32020 with flag 344754/143158
6.70/4.71	c cleaning 17001 clauses out of 34022 with flag 388144/161159
7.11/5.14	c cleaning 18004 clauses out of 36020 with flag 434401/180158
7.59/5.63	c cleaning 18996 clauses out of 38016 with flag 482545/200158
8.10/6.17	c cleaning 20003 clauses out of 40020 with flag 534775/221158
8.70/6.76	c cleaning 21003 clauses out of 42016 with flag 588420/243157
9.29/7.35	c cleaning 21997 clauses out of 44013 with flag 643976/266157
9.89/7.96	c cleaning 22993 clauses out of 46016 with flag 702850/290157
10.60/8.66	c cleaning 24001 clauses out of 48023 with flag 764385/315157
11.39/9.43	c cleaning 24998 clauses out of 50022 with flag 827410/341157
12.11/10.19	c cleaning 26010 clauses out of 52025 with flag 893868/368158
13.01/11.04	c cleaning 27001 clauses out of 54014 with flag 962669/396157
14.00/12.01	c cleaning 27991 clauses out of 56013 with flag 1035412/425157
15.00/13.07	c cleaning 29005 clauses out of 58022 with flag 1111047/455157
16.19/14.20	c cleaning 30002 clauses out of 60018 with flag 1188774/486158
17.19/15.23	c cleaning 30998 clauses out of 62016 with flag 1269126/518158
18.29/16.30	c cleaning 32000 clauses out of 64017 with flag 1352087/551157
19.28/17.37	c cleaning 33001 clauses out of 66017 with flag 1437136/585157
20.39/18.47	c cleaning 33994 clauses out of 68016 with flag 1526163/620157
21.41/19.47	c cleaning 35004 clauses out of 70024 with flag 1615860/656159
22.52/20.59	c cleaning 35993 clauses out of 72019 with flag 1708468/693158
23.74/21.77	c cleaning 36998 clauses out of 74025 with flag 1804376/731157
24.93/22.94	c cleaning 38000 clauses out of 76027 with flag 1902794/770157
26.03/24.09	c cleaning 39004 clauses out of 78027 with flag 2005144/810157
27.83/25.81	c cleaning 40009 clauses out of 80026 with flag 2111698/851160
28.93/26.98	c cleaning 41002 clauses out of 82014 with flag 2216786/893157
30.42/28.45	c cleaning 42002 clauses out of 84013 with flag 2322053/936158
32.13/30.12	c cleaning 42996 clauses out of 86010 with flag 2429366/980157
33.51/31.77	c cleaning 43994 clauses out of 88014 with flag 2541140/1025157
34.93/33.17	c cleaning 45002 clauses out of 90020 with flag 2654387/1071157
36.51/34.71	c cleaning 46003 clauses out of 92018 with flag 2769161/1118157
38.13/36.35	c cleaning 47008 clauses out of 94016 with flag 2890621/1166158
39.63/37.86	c cleaning 48000 clauses out of 96007 with flag 3012149/1215157
41.43/39.60	c cleaning 49001 clauses out of 98016 with flag 3136391/1265166
43.13/41.35	c cleaning 49996 clauses out of 100006 with flag 3262599/1316157
44.92/43.14	c cleaning 50996 clauses out of 102010 with flag 3400782/1368157
46.85/45.00	c cleaning 52004 clauses out of 104015 with flag 3533018/1421158
48.53/46.71	c cleaning 52993 clauses out of 106010 with flag 3666167/1475157
51.06/49.24	c cleaning 54007 clauses out of 108017 with flag 3806914/1530157
53.64/51.83	c cleaning 55002 clauses out of 110011 with flag 3950409/1586158
56.06/54.27	c cleaning 56003 clauses out of 112008 with flag 4092739/1643157
58.66/56.88	c cleaning 56989 clauses out of 114006 with flag 4239241/1701158
60.86/59.00	c cleaning 58006 clauses out of 116019 with flag 4385357/1760160
62.85/61.00	c cleaning 58997 clauses out of 118010 with flag 4534131/1820157
64.85/63.74	c cleaning 59995 clauses out of 120013 with flag 4690240/1881157
66.74/65.66	c cleaning 61005 clauses out of 122019 with flag 4854587/1943158
69.24/68.17	c cleaning 62002 clauses out of 124013 with flag 5013823/2006157
71.53/70.43	c cleaning 63004 clauses out of 126011 with flag 5172819/2070157
74.24/73.10	c cleaning 64000 clauses out of 128007 with flag 5339169/2135157
76.84/75.71	c cleaning 65000 clauses out of 130008 with flag 5509659/2201158
79.45/78.32	c cleaning 65998 clauses out of 132007 with flag 5681775/2268157
82.25/81.12	c cleaning 66998 clauses out of 134009 with flag 5853029/2336157
85.34/84.29	c cleaning 68004 clauses out of 136011 with flag 6019139/2405157
88.64/87.56	c cleaning 68998 clauses out of 138007 with flag 6197848/2475157
91.91/90.86	c cleaning 70001 clauses out of 140010 with flag 6377312/2546158
95.31/95.02	c cleaning 70995 clauses out of 142008 with flag 6564819/2618157
98.42/98.15	c cleaning 72005 clauses out of 144014 with flag 6747915/2691158
101.29/101.01	c cleaning 73001 clauses out of 146009 with flag 6939737/2765158
104.59/104.35	c cleaning 74004 clauses out of 148008 with flag 7131655/2840158
108.08/107.87	c cleaning 74992 clauses out of 150003 with flag 7327922/2916157
112.17/111.90	c cleaning 76002 clauses out of 152012 with flag 7532303/2993158
115.57/115.39	c cleaning 77003 clauses out of 154009 with flag 7735223/3071157
119.39/119.13	c cleaning 77984 clauses out of 156006 with flag 7936984/3150157
123.24/123.07	c cleaning 79006 clauses out of 158022 with flag 8136895/3230157
127.32/128.60	c cleaning 80001 clauses out of 160016 with flag 8341784/3311157
130.93/132.21	c cleaning 81001 clauses out of 162016 with flag 8549099/3393158
134.71/136.00	c cleaning 81998 clauses out of 164014 with flag 8757501/3476157
138.69/140.09	c cleaning 83009 clauses out of 166017 with flag 8969243/3560158
143.50/144.84	c cleaning 83996 clauses out of 168008 with flag 9194310/3645158
148.01/149.33	c cleaning 85000 clauses out of 170011 with flag 9420956/3731157
152.17/153.55	c cleaning 85999 clauses out of 172011 with flag 9661760/3818157
156.29/157.62	c cleaning 86999 clauses out of 174013 with flag 9914284/3906158
161.53/163.14	c cleaning 87996 clauses out of 176013 with flag 10166158/3995157
166.87/168.47	c cleaning 89006 clauses out of 178017 with flag 10412462/4085157
171.86/173.44	c cleaning 90000 clauses out of 180012 with flag 10663166/4176158
177.10/178.60	c cleaning 91006 clauses out of 182012 with flag 10915180/4268158
183.42/184.90	c cleaning 91989 clauses out of 184006 with flag 11177719/4361158
187.47/188.95	c cleaning 93003 clauses out of 186016 with flag 11408881/4455157
191.86/193.46	c cleaning 93998 clauses out of 188013 with flag 11642122/4550157
195.75/197.38	c cleaning 94994 clauses out of 190015 with flag 11877633/4646157
199.88/201.44	c cleaning 96006 clauses out of 192021 with flag 12116453/4743157
204.30/205.83	c cleaning 96996 clauses out of 194015 with flag 12360412/4841157
208.72/210.21	c cleaning 98000 clauses out of 196020 with flag 12603583/4940158
212.63/214.11	c cleaning 98999 clauses out of 198020 with flag 12845156/5040158
218.05/219.52	c cleaning 100010 clauses out of 200021 with flag 13091389/5141158
222.76/224.75	c cleaning 100999 clauses out of 202012 with flag 13341967/5243159
228.06/230.05	c cleaning 102006 clauses out of 204011 with flag 13599725/5346157
233.36/235.30	c cleaning 102987 clauses out of 206005 with flag 13857389/5450157
238.41/240.49	c cleaning 103994 clauses out of 208018 with flag 14114478/5555157
243.41/245.47	c cleaning 105000 clauses out of 210024 with flag 14375849/5661157
248.04/250.01	c cleaning 105998 clauses out of 212024 with flag 14637163/5768157
253.71/256.10	c cleaning 107002 clauses out of 214027 with flag 14900704/5876158
258.93/261.39	c cleaning 108009 clauses out of 216024 with flag 15166041/5985157
264.46/266.85	c cleaning 108995 clauses out of 218015 with flag 15432975/6095157
271.49/273.86	c cleaning 110011 clauses out of 220021 with flag 15717024/6206158
277.99/280.38	c cleaning 110997 clauses out of 222009 with flag 15989906/6318157
284.67/287.33	c cleaning 111999 clauses out of 224013 with flag 16264109/6431158
291.61/294.29	c cleaning 113000 clauses out of 226014 with flag 16538078/6545158
298.75/301.32	c cleaning 114004 clauses out of 228013 with flag 16814402/6660157
306.19/308.77	c cleaning 114998 clauses out of 230009 with flag 17110831/6776157
313.80/316.51	c cleaning 115998 clauses out of 232011 with flag 17407585/6893157
321.13/323.82	c cleaning 116997 clauses out of 234013 with flag 17707626/7011157
328.27/330.90	c cleaning 118007 clauses out of 236019 with flag 18000779/7130160
335.50/338.17	c cleaning 119001 clauses out of 238010 with flag 18303185/7250158
341.36/344.19	c cleaning 119994 clauses out of 240008 with flag 18614374/7371157
349.18/351.96	c cleaning 121001 clauses out of 242014 with flag 18931829/7493157
357.72/360.48	c cleaning 121992 clauses out of 244014 with flag 19250907/7616158
365.76/368.49	c cleaning 123000 clauses out of 246022 with flag 19557584/7740158
373.49/376.21	c cleaning 124004 clauses out of 248021 with flag 19862702/7865157
381.42/384.14	c cleaning 125002 clauses out of 250017 with flag 20171647/7991157
389.73/392.41	c cleaning 126006 clauses out of 252016 with flag 20497345/8118158
399.08/401.80	c cleaning 126995 clauses out of 254009 with flag 20821802/8246157
406.82/409.61	c cleaning 127999 clauses out of 256015 with flag 21146988/8375158
414.10/416.99	c cleaning 129006 clauses out of 258017 with flag 21479527/8505159
421.43/424.24	c cleaning 129998 clauses out of 260009 with flag 21815063/8636157
429.54/432.32	c cleaning 131000 clauses out of 262011 with flag 22138465/8768157
437.92/441.02	c cleaning 132001 clauses out of 264011 with flag 22467833/8901157
446.81/449.83	c cleaning 132994 clauses out of 266010 with flag 22799201/9035157
455.35/458.39	c cleaning 134002 clauses out of 268016 with flag 23137824/9170157
463.37/466.33	c cleaning 135008 clauses out of 270015 with flag 23488561/9306158
471.26/474.54	c cleaning 135992 clauses out of 272007 with flag 23843578/9443158
479.53/482.81	c cleaning 137002 clauses out of 274015 with flag 24204313/9581158
489.29/492.58	c cleaning 138008 clauses out of 276016 with flag 24589711/9720161
499.79/503.28	c cleaning 138995 clauses out of 278005 with flag 24930855/9860158
508.53/511.99	c cleaning 140004 clauses out of 280012 with flag 25287044/10001160
516.86/520.23	c cleaning 140997 clauses out of 282006 with flag 25641248/10143158
525.80/529.55	c cleaning 141995 clauses out of 284008 with flag 25996635/10286157
535.03/538.79	c cleaning 142997 clauses out of 286014 with flag 26355564/10430158
545.45/549.16	c cleaning 144003 clauses out of 288016 with flag 26723419/10575157
555.39/559.34	c cleaning 145005 clauses out of 290013 with flag 27093564/10721157
565.20/569.13	c cleaning 146001 clauses out of 292008 with flag 27461250/10868157
575.55/579.41	c cleaning 146991 clauses out of 294007 with flag 27837295/11016157
585.39/589.65	c cleaning 147992 clauses out of 296016 with flag 28216173/11165157
594.83/599.14	c cleaning 149002 clauses out of 298024 with flag 28613225/11315157
604.01/608.35	c cleaning 149999 clauses out of 300022 with flag 29007634/11466157
614.64/618.96	c cleaning 151000 clauses out of 302023 with flag 29398154/11618157
624.83/629.47	c cleaning 152001 clauses out of 304023 with flag 29791457/11771157
637.33/641.93	c cleaning 153003 clauses out of 306022 with flag 30189941/11925157
648.63/653.48	c cleaning 153998 clauses out of 308019 with flag 30587031/12080157
661.47/666.09	c cleaning 155007 clauses out of 310023 with flag 30989092/12236159
672.87/677.48	c cleaning 155999 clauses out of 312014 with flag 31385568/12393157
685.59/690.43	c cleaning 157007 clauses out of 314017 with flag 31782262/12551159
697.90/702.74	c cleaning 158001 clauses out of 316008 with flag 32185830/12710157
710.16/719.11	c cleaning 158995 clauses out of 318007 with flag 32594623/12870157
722.51/731.44	c cleaning 160001 clauses out of 320012 with flag 33013122/13031157
727.87/736.88	c Got one! Elapsed wall clock time (in seconds):736.755
727.87/736.89	o 29
730.63/739.51	c cleaning 138181 clauses out of 276387 with flag 12212/13147533
731.53/740.44	c cleaning 72096 clauses out of 144206 with flag 27034/13153533
731.93/740.86	c cleaning 39544 clauses out of 79109 with flag 44349/13160532
732.22/741.18	c cleaning 23769 clauses out of 47566 with flag 64077/13168533
732.51/741.49	c cleaning 16381 clauses out of 32796 with flag 87838/13177532
732.82/741.77	c cleaning 13188 clauses out of 26415 with flag 113929/13187532
733.11/742.03	c cleaning 12103 clauses out of 24229 with flag 141505/13198534
733.41/742.36	c cleaning 12052 clauses out of 24125 with flag 171492/13210533
733.71/742.66	c cleaning 12533 clauses out of 25073 with flag 204732/13223533
734.00/742.99	c cleaning 13271 clauses out of 26545 with flag 240387/13237538
734.39/743.33	c cleaning 14127 clauses out of 28268 with flag 277648/13252532
734.82/743.72	c cleaning 15063 clauses out of 30143 with flag 317896/13268534
735.21/744.13	c cleaning 16033 clauses out of 32078 with flag 361602/13285532
735.61/744.59	c cleaning 17014 clauses out of 34045 with flag 407965/13303532
736.11/745.09	c cleaning 18002 clauses out of 36033 with flag 456060/13322534
736.69/745.65	c cleaning 19009 clauses out of 38029 with flag 508071/13342532
737.29/746.22	c cleaning 20006 clauses out of 40020 with flag 560925/13363532
737.90/746.85	c cleaning 21009 clauses out of 42018 with flag 616261/13385536
738.60/747.50	c cleaning 21997 clauses out of 44006 with flag 673815/13408533
739.24/749.05	c cleaning 23003 clauses out of 46009 with flag 733386/13432533
739.93/749.76	c cleaning 24004 clauses out of 48007 with flag 796525/13457534
740.73/750.52	c cleaning 24999 clauses out of 50001 with flag 861842/13483532
741.54/751.34	c cleaning 25996 clauses out of 52003 with flag 929240/13510533
742.43/752.28	c cleaning 26997 clauses out of 54007 with flag 1001500/13538533
743.33/753.12	c cleaning 28003 clauses out of 56010 with flag 1075611/13567533
744.31/754.14	c cleaning 28991 clauses out of 58006 with flag 1153870/13597532
745.43/755.25	c cleaning 30006 clauses out of 60018 with flag 1234911/13628535
746.43/756.23	c cleaning 31005 clauses out of 62010 with flag 1316138/13660533
747.42/757.20	c cleaning 31995 clauses out of 64004 with flag 1397648/13693532
748.61/758.42	c cleaning 33002 clauses out of 66010 with flag 1483903/13727533
749.72/759.53	c cleaning 33996 clauses out of 68007 with flag 1574037/13762532
750.81/760.61	c cleaning 35003 clauses out of 70012 with flag 1662765/13798533
752.21/762.06	c cleaning 36002 clauses out of 72008 with flag 1760310/13835532
753.52/763.32	c cleaning 37001 clauses out of 74008 with flag 1856826/13873534
754.90/764.70	c cleaning 37998 clauses out of 76006 with flag 1956179/13912533
756.29/766.13	c cleaning 38997 clauses out of 78008 with flag 2058780/13952533
757.60/767.49	c cleaning 39994 clauses out of 80010 with flag 2160130/13993532
759.09/768.98	c cleaning 41008 clauses out of 82016 with flag 2266212/14035532
760.57/770.48	c cleaning 41991 clauses out of 84008 with flag 2377607/14078532
762.30/772.10	c cleaning 43007 clauses out of 86018 with flag 2489742/14122533
764.08/773.91	c cleaning 43998 clauses out of 88010 with flag 2603809/14167532
765.79/775.62	c cleaning 44995 clauses out of 90012 with flag 2722899/14213532
767.37/777.30	c cleaning 46002 clauses out of 92017 with flag 2843394/14260532
769.25/780.15	c cleaning 47002 clauses out of 94015 with flag 2965017/14308532
770.97/781.85	c cleaning 48006 clauses out of 96015 with flag 3088190/14357534
773.06/783.97	c cleaning 48998 clauses out of 98010 with flag 3218200/14407535
774.95/785.89	c cleaning 49999 clauses out of 100010 with flag 3346212/14458533
776.95/787.85	c cleaning 51005 clauses out of 102011 with flag 3477363/14510533
778.97/789.88	c cleaning 51996 clauses out of 104007 with flag 3610309/14563534
781.06/791.93	c cleaning 52990 clauses out of 106010 with flag 3746057/14617533
783.06/793.92	c cleaning 54000 clauses out of 108019 with flag 3886247/14672532
785.47/796.30	c cleaning 55004 clauses out of 110020 with flag 4025929/14728533
788.27/799.15	c cleaning 55991 clauses out of 112015 with flag 4174100/14785532
790.77/801.66	c cleaning 57007 clauses out of 114024 with flag 4321175/14843532
793.27/804.17	c cleaning 58006 clauses out of 116017 with flag 4469543/14902532
796.19/807.05	c cleaning 58999 clauses out of 118011 with flag 4618592/14962532
798.95/810.68	c cleaning 60001 clauses out of 120016 with flag 4776679/15023536
801.17/812.89	c cleaning 60997 clauses out of 122011 with flag 4932999/15085532
803.87/815.53	c cleaning 62003 clauses out of 124017 with flag 5094816/15148535
807.08/818.71	c cleaning 62992 clauses out of 126011 with flag 5262866/15212532
810.08/821.77	c cleaning 64005 clauses out of 128021 with flag 5432724/15277534
813.27/824.91	c cleaning 65000 clauses out of 130014 with flag 5604826/15343532
816.99/828.66	c cleaning 66004 clauses out of 132015 with flag 5774500/15410533
819.89/831.52	c cleaning 67004 clauses out of 134011 with flag 5947521/15478533
823.11/834.72	c cleaning 67993 clauses out of 136006 with flag 6123881/15547532
826.21/837.82	c cleaning 69004 clauses out of 138016 with flag 6300216/15617535
829.55/841.81	c cleaning 70002 clauses out of 140009 with flag 6478058/15688532
832.89/845.18	c cleaning 71001 clauses out of 142008 with flag 6661260/15760533
836.78/849.06	c cleaning 72002 clauses out of 144006 with flag 6846474/15833532
840.01/852.27	c cleaning 72999 clauses out of 146005 with flag 7028717/15907533
843.70/855.90	c cleaning 73998 clauses out of 148006 with flag 7219514/15982533
846.83/859.10	c cleaning 75000 clauses out of 150007 with flag 7402785/16058532
850.76/862.97	c cleaning 76001 clauses out of 152007 with flag 7596244/16135532
854.45/866.61	c cleaning 77005 clauses out of 154009 with flag 7797792/16213535
858.58/870.70	c cleaning 77991 clauses out of 156003 with flag 8001431/16292534
862.88/875.94	c cleaning 79006 clauses out of 158013 with flag 8204239/16372535
866.88/879.99	c cleaning 80002 clauses out of 160005 with flag 8407540/16453533
871.39/884.42	c cleaning 80993 clauses out of 162002 with flag 8618935/16535532
875.63/888.69	c cleaning 81996 clauses out of 164010 with flag 8829986/16618533
879.81/892.88	c cleaning 83003 clauses out of 166013 with flag 9038867/16702532
884.33/897.34	c cleaning 84002 clauses out of 168010 with flag 9251310/16787532
890.00/903.24	c cleaning 84999 clauses out of 170008 with flag 9471610/16873532
895.15/908.38	c cleaning 85999 clauses out of 172009 with flag 9694846/16960532
899.94/913.16	c cleaning 86998 clauses out of 174010 with flag 9912448/17048532
904.66/917.89	c cleaning 87999 clauses out of 176012 with flag 10133288/17137532
910.00/923.12	c cleaning 88999 clauses out of 178013 with flag 10351817/17227532
915.48/928.60	c cleaning 90000 clauses out of 180014 with flag 10576588/17318532
921.23/934.59	c cleaning 91000 clauses out of 182014 with flag 10806008/17410532
927.36/940.63	c cleaning 92004 clauses out of 184014 with flag 11035588/17503532
933.48/946.74	c cleaning 92992 clauses out of 186010 with flag 11271130/17597532
938.83/952.08	c cleaning 94005 clauses out of 188018 with flag 11510803/17692532
944.71/957.97	c cleaning 94986 clauses out of 190013 with flag 11752953/17788532
950.73/964.08	c cleaning 96009 clauses out of 192029 with flag 11989481/17885534
957.05/970.34	c cleaning 96997 clauses out of 194019 with flag 12233347/17983533
962.95/976.20	c cleaning 98003 clauses out of 196021 with flag 12476096/18082532
969.06/982.31	c cleaning 99005 clauses out of 198019 with flag 12723854/18182533
974.62/987.86	c cleaning 99992 clauses out of 200013 with flag 12969414/18283532
980.54/993.70	c cleaning 101006 clauses out of 202022 with flag 13218475/18385533
986.23/999.57	c cleaning 102005 clauses out of 204016 with flag 13465881/18488533
993.15/1006.40	c cleaning 102990 clauses out of 206010 with flag 13720098/18592532
1000.23/1013.53	c cleaning 104009 clauses out of 208021 with flag 13980801/18697533
1006.06/1019.37	c cleaning 104989 clauses out of 210012 with flag 14249353/18803533
1011.52/1024.81	c cleaning 106003 clauses out of 212022 with flag 14530054/18910532
1016.95/1030.21	c cleaning 107002 clauses out of 214020 with flag 14803534/19018533
1022.37/1035.63	c cleaning 108005 clauses out of 216018 with flag 15078578/19127533
1028.41/1041.63	c cleaning 109001 clauses out of 218012 with flag 15354599/19237532
1034.35/1047.53	c cleaning 109999 clauses out of 220011 with flag 15633312/19348532
1039.90/1053.04	c cleaning 110994 clauses out of 222012 with flag 15914545/19460532
1045.37/1058.69	c cleaning 112005 clauses out of 224022 with flag 16201188/19573536
1051.70/1064.96	c cleaning 112994 clauses out of 226013 with flag 16486657/19687532
1057.93/1071.18	c cleaning 114001 clauses out of 228020 with flag 16780480/19802533
1064.33/1077.52	c cleaning 115000 clauses out of 230019 with flag 17078601/19918533
1071.41/1084.67	c cleaning 116001 clauses out of 232018 with flag 17388679/20035532
1078.21/1092.10	c cleaning 117002 clauses out of 234017 with flag 17688354/20153532
1084.35/1098.19	c cleaning 118000 clauses out of 236016 with flag 17985621/20272533
1090.78/1104.50	c cleaning 119007 clauses out of 238019 with flag 18289516/20392536
1097.01/1110.77	c cleaning 119998 clauses out of 240009 with flag 18595109/20513533
1104.35/1118.37	c cleaning 120996 clauses out of 242010 with flag 18914892/20635532
1111.47/1125.43	c cleaning 121995 clauses out of 244015 with flag 19221927/20758533
1118.20/1132.19	c cleaning 123005 clauses out of 246019 with flag 19531277/20882532
1124.83/1138.74	c cleaning 123999 clauses out of 248014 with flag 19842322/21007532
1131.62/1145.55	c cleaning 125003 clauses out of 250016 with flag 20171793/21133533
1139.93/1154.20	c cleaning 125996 clauses out of 252012 with flag 20492514/21260532
1147.75/1162.03	c cleaning 127007 clauses out of 254018 with flag 20809893/21388534
1157.14/1171.43	c cleaning 127999 clauses out of 256012 with flag 21132575/21517535
1165.49/1180.06	c cleaning 128998 clauses out of 258010 with flag 21466127/21647532
1175.01/1189.58	c cleaning 130003 clauses out of 260012 with flag 21806780/21778532
1182.67/1197.19	c cleaning 130998 clauses out of 262010 with flag 22134208/21910533
1191.50/1205.96	c cleaning 132003 clauses out of 264014 with flag 22467878/22043535
1200.52/1215.07	c cleaning 133001 clauses out of 266008 with flag 22804015/22177532
1210.11/1224.60	c cleaning 134002 clauses out of 268007 with flag 23140950/22312532
1219.43/1233.95	c cleaning 134997 clauses out of 270005 with flag 23484239/22448532
1228.98/1243.86	c cleaning 136002 clauses out of 272008 with flag 23829170/22585532
1238.38/1253.23	c cleaning 136998 clauses out of 274007 with flag 24174202/22723533
1249.06/1263.83	c cleaning 137999 clauses out of 276008 with flag 24520274/22862532
1258.80/1273.65	c cleaning 138996 clauses out of 278009 with flag 24863014/23002532
1267.61/1282.44	c cleaning 140000 clauses out of 280013 with flag 25209167/23143532
1277.34/1292.11	c cleaning 140998 clauses out of 282013 with flag 25561987/23285532
1286.90/1301.78	c cleaning 142001 clauses out of 284016 with flag 25911484/23428533
1297.52/1312.30	c cleaning 143007 clauses out of 286014 with flag 26284104/23572532
1307.02/1321.87	c cleaning 144002 clauses out of 288007 with flag 26652164/23717532
1314.51/1329.39	c cleaning 144996 clauses out of 290006 with flag 27016485/23863533
1323.27/1338.12	c cleaning 145997 clauses out of 292009 with flag 27379496/24010532
1332.16/1347.03	c cleaning 147002 clauses out of 294012 with flag 27748339/24158532
1341.06/1355.93	c cleaning 147991 clauses out of 296010 with flag 28117855/24307532
1350.46/1365.48	c cleaning 148995 clauses out of 298019 with flag 28495905/24457532
1359.66/1374.66	c cleaning 150000 clauses out of 300025 with flag 28876113/24608533
1369.68/1384.64	c cleaning 151001 clauses out of 302024 with flag 29257332/24760532
1379.68/1394.72	c cleaning 152007 clauses out of 304026 with flag 29640879/24913535
1388.89/1403.94	c cleaning 153004 clauses out of 306017 with flag 30022718/25067533
1399.59/1414.69	c cleaning 154000 clauses out of 308012 with flag 30415081/25222532
1411.09/1426.25	c cleaning 154998 clauses out of 310012 with flag 30817898/25378532
1421.90/1437.07	c cleaning 156002 clauses out of 312014 with flag 31217698/25535532
1431.96/1447.02	c cleaning 156994 clauses out of 314012 with flag 31621450/25693532
1442.76/1457.91	c cleaning 158005 clauses out of 316018 with flag 32026597/25852532
1453.88/1469.08	c cleaning 159000 clauses out of 318013 with flag 32432064/26012532
1466.34/1481.44	c cleaning 159997 clauses out of 320013 with flag 32837279/26173532
1477.47/1492.64	c cleaning 161002 clauses out of 322016 with flag 33253587/26335532
1489.24/1504.46	c cleaning 162004 clauses out of 324015 with flag 33674206/26498533
1499.37/1514.51	c cleaning 162991 clauses out of 326010 with flag 34106058/26662532
1510.12/1525.49	c cleaning 164003 clauses out of 328021 with flag 34521926/26827534
1521.65/1537.07	c cleaning 164992 clauses out of 330016 with flag 34947497/26993532
1533.63/1549.13	c cleaning 166000 clauses out of 332024 with flag 35406303/27160532
1545.05/1560.52	c cleaning 167007 clauses out of 334024 with flag 35839983/27328532
1557.05/1572.52	c cleaning 167998 clauses out of 336018 with flag 36281944/27497533
1569.67/1587.13	c cleaning 169003 clauses out of 338019 with flag 36738976/27667532
1580.78/1598.29	c cleaning 170007 clauses out of 340021 with flag 37176727/27838537
1592.33/1609.79	c cleaning 171004 clauses out of 342011 with flag 37617607/28010534
1606.66/1624.32	c cleaning 171984 clauses out of 344006 with flag 38063700/28183533
1620.54/1638.07	c cleaning 172998 clauses out of 346021 with flag 38514042/28357532
1634.99/1652.67	c cleaning 173991 clauses out of 348023 with flag 38957654/28532532
1645.91/1663.52	c cleaning 175000 clauses out of 350033 with flag 39407640/28708533
1662.07/1679.93	c cleaning 176013 clauses out of 352033 with flag 39881159/28885533
1675.30/1693.12	c cleaning 177001 clauses out of 354019 with flag 40358725/29063532
1681.11/1698.90	c Got one! Elapsed wall clock time (in seconds):1698.772
1681.11/1698.90	o 28
1683.41/1701.20	c cleaning 146458 clauses out of 292937 with flag 12533/29179451
1684.80/1702.68	c cleaning 76231 clauses out of 152478 with flag 27301/29185450
1685.31/1703.19	c cleaning 41605 clauses out of 83247 with flag 44011/29192450
1685.60/1703.45	c cleaning 24808 clauses out of 49640 with flag 63743/29200448
1685.80/1703.66	c cleaning 16912 clauses out of 33834 with flag 85917/29209450
1686.13/1703.92	c cleaning 13448 clauses out of 26922 with flag 110522/29219450
1686.33/1704.17	c cleaning 12227 clauses out of 24474 with flag 137950/29230450
1686.63/1704.42	c cleaning 12114 clauses out of 24246 with flag 166958/29242449
1686.92/1704.70	c cleaning 12558 clauses out of 25131 with flag 198040/29255448
1687.23/1705.03	c cleaning 13281 clauses out of 26573 with flag 232954/29269448
1687.52/1705.37	c cleaning 14140 clauses out of 28292 with flag 269786/29284448
1687.91/1706.77	c cleaning 15070 clauses out of 30152 with flag 309410/29300448
1688.30/1707.17	c cleaning 16028 clauses out of 32083 with flag 351534/29317449
1688.80/1707.63	c cleaning 17025 clauses out of 34054 with flag 397169/29335448
1689.30/1708.18	c cleaning 18015 clauses out of 36031 with flag 446121/29354450
1689.80/1708.67	c cleaning 19006 clauses out of 38014 with flag 496622/29374448
1690.40/1709.22	c cleaning 19997 clauses out of 40008 with flag 551506/29395448
1691.00/1709.82	c cleaning 20999 clauses out of 42011 with flag 607719/29417448
1691.60/1710.44	c cleaning 22002 clauses out of 44013 with flag 666782/29440449
1692.40/1711.29	c cleaning 23004 clauses out of 46015 with flag 729017/29464453
1693.10/1711.96	c cleaning 23999 clauses out of 48006 with flag 792213/29489448
1693.90/1712.72	c cleaning 25001 clauses out of 50008 with flag 860856/29515449
1694.80/1713.63	c cleaning 25996 clauses out of 52006 with flag 931441/29542448
1695.60/1714.46	c cleaning 27005 clauses out of 54010 with flag 1003505/29570448
1696.72/1715.50	c cleaning 28003 clauses out of 56006 with flag 1078812/29599449
1697.62/1716.46	c cleaning 28998 clauses out of 58002 with flag 1154655/29629448
1698.72/1717.53	c cleaning 30003 clauses out of 60005 with flag 1232645/29660449
1699.81/1718.64	c cleaning 30999 clauses out of 62003 with flag 1315135/29692450
1701.12/1719.91	c cleaning 32001 clauses out of 64002 with flag 1401012/29725448
1702.33/1721.11	c cleaning 32994 clauses out of 66001 with flag 1488894/29759448
1703.51/1722.32	c cleaning 33995 clauses out of 68007 with flag 1577914/29794448
1704.91/1723.75	c cleaning 34998 clauses out of 70012 with flag 1669980/29830448
1706.33/1725.12	c cleaning 36002 clauses out of 72016 with flag 1762861/29867450
1707.73/1726.51	c cleaning 36997 clauses out of 74014 with flag 1861639/29905450
1709.12/1727.95	c cleaning 37996 clauses out of 76016 with flag 1961172/29944449
1710.74/1729.55	c cleaning 39003 clauses out of 78019 with flag 2061764/29984448
1712.54/1731.34	c cleaning 40002 clauses out of 80016 with flag 2167249/30025448
1714.44/1733.24	c cleaning 40999 clauses out of 82014 with flag 2277865/30067448
1715.94/1734.71	c cleaning 42007 clauses out of 84016 with flag 2384883/30110449
1717.55/1736.51	c cleaning 42990 clauses out of 86008 with flag 2497292/30154448
1719.19/1738.16	c cleaning 44003 clauses out of 88018 with flag 2612896/30199448
1720.88/1739.86	c cleaning 45001 clauses out of 90016 with flag 2728642/30245449
1722.58/1741.50	c cleaning 46007 clauses out of 92019 with flag 2846584/30292453
1724.21/1743.17	c cleaning 46994 clauses out of 94009 with flag 2967745/30340450
1726.11/1745.08	c cleaning 48005 clauses out of 96013 with flag 3093197/30389448
1728.40/1747.36	c cleaning 49007 clauses out of 98013 with flag 3229082/30439453
1730.82/1749.73	c cleaning 49990 clauses out of 100001 with flag 3370044/30490448
1732.82/1751.77	c cleaning 51000 clauses out of 102011 with flag 3501549/30542448
1734.94/1753.89	c cleaning 52002 clauses out of 104012 with flag 3640296/30595449
1736.83/1755.79	c cleaning 52996 clauses out of 106009 with flag 3775511/30649448
1738.95/1757.90	c cleaning 53999 clauses out of 108013 with flag 3914001/30704448
1741.04/1759.90	c cleaning 55003 clauses out of 110015 with flag 4053545/30760449
1743.27/1762.13	c cleaning 55997 clauses out of 112012 with flag 4195072/30817449
1745.66/1764.56	c cleaning 57004 clauses out of 114014 with flag 4341922/30875448
1748.28/1767.31	c cleaning 58001 clauses out of 116010 with flag 4500668/30934448
1750.99/1770.09	c cleaning 59003 clauses out of 118009 with flag 4658054/30994448
1753.99/1773.07	c cleaning 59994 clauses out of 120007 with flag 4818142/31055449
1756.59/1775.66	c cleaning 61001 clauses out of 122013 with flag 4970330/31117449
1758.99/1778.09	c cleaning 62005 clauses out of 124011 with flag 5122216/31180448
1761.60/1780.61	c cleaning 62998 clauses out of 126007 with flag 5276984/31244449
1764.60/1783.60	c cleaning 63994 clauses out of 128008 with flag 5444205/31309448
1767.49/1786.59	c cleaning 65000 clauses out of 130014 with flag 5608386/31375448
1770.38/1789.43	c cleaning 66001 clauses out of 132014 with flag 5769659/31442448
1773.38/1792.44	c cleaning 67002 clauses out of 134014 with flag 5935104/31510449
1776.58/1795.60	c cleaning 68003 clauses out of 136011 with flag 6104957/31579448
1779.90/1799.17	c cleaning 68998 clauses out of 138008 with flag 6279829/31649448
1783.42/1802.61	c cleaning 69993 clauses out of 140010 with flag 6452237/31720448
1786.71/1805.94	c cleaning 71006 clauses out of 142018 with flag 6626832/31792449
1790.31/1809.51	c cleaning 72001 clauses out of 144011 with flag 6803474/31865448
1794.20/1813.40	c cleaning 72998 clauses out of 146011 with flag 6982570/31939449
1797.62/1816.82	c cleaning 74002 clauses out of 148012 with flag 7160872/32014448
1801.22/1820.45	c cleaning 75002 clauses out of 150011 with flag 7340976/32090449
1805.71/1825.00	c cleaning 75996 clauses out of 152008 with flag 7539581/32167448
1810.21/1829.51	c cleaning 77004 clauses out of 154013 with flag 7740423/32245449
1814.40/1833.70	c cleaning 78001 clauses out of 156008 with flag 7936696/32324448
1818.51/1837.81	c cleaning 79002 clauses out of 158007 with flag 8139822/32404448
1823.41/1842.77	c cleaning 79997 clauses out of 160007 with flag 8345209/32485450
1828.80/1848.14	c cleaning 81003 clauses out of 162008 with flag 8562556/32567448
1833.91/1853.22	c cleaning 81998 clauses out of 164005 with flag 8776264/32650448
1839.11/1858.44	c cleaning 83003 clauses out of 166007 with flag 8984544/32734448
1844.52/1863.91	c cleaning 84003 clauses out of 168005 with flag 9197290/32819449
1849.81/1869.25	c cleaning 84992 clauses out of 170001 with flag 9411587/32905448
1853.42/1872.83	c cleaning 85991 clauses out of 172010 with flag 9627982/32992449
1857.41/1876.88	c cleaning 87007 clauses out of 174020 with flag 9850721/33080450
1861.94/1881.38	c cleaning 88007 clauses out of 176014 with flag 10073184/33169451
1866.43/1885.83	c cleaning 88996 clauses out of 178004 with flag 10291958/33259448
1870.83/1890.36	c cleaning 90000 clauses out of 180008 with flag 10515291/33350448
1874.86/1894.32	c cleaning 90997 clauses out of 182008 with flag 10736930/33442448
1879.15/1898.65	c cleaning 92001 clauses out of 184012 with flag 10962894/33535449
1883.86/1903.34	c cleaning 93005 clauses out of 186010 with flag 11202042/33629448
1888.18/1907.65	c cleaning 93981 clauses out of 188005 with flag 11434555/33724448
1892.50/1911.93	c cleaning 94995 clauses out of 190025 with flag 11669913/33820449
1897.79/1917.21	c cleaning 96015 clauses out of 192032 with flag 11910035/33917451
1902.83/1922.41	c cleaning 96994 clauses out of 194014 with flag 12159762/34015448
1907.55/1927.16	c cleaning 98004 clauses out of 196020 with flag 12405429/34114448
1912.18/1931.71	c cleaning 98997 clauses out of 198016 with flag 12655074/34214448
1917.27/1936.88	c cleaning 100006 clauses out of 200020 with flag 12905820/34315449
1922.17/1941.75	c cleaning 101005 clauses out of 202015 with flag 13156019/34417450
1927.18/1946.72	c cleaning 101995 clauses out of 204009 with flag 13409894/34520449
1932.56/1952.28	c cleaning 103000 clauses out of 206013 with flag 13663257/34624448
1937.97/1957.62	c cleaning 104006 clauses out of 208014 with flag 13920243/34729449
1943.59/1963.25	c cleaning 104997 clauses out of 210010 with flag 14181476/34835451
1948.62/1968.25	c cleaning 105989 clauses out of 212010 with flag 14441192/34942448
1953.31/1972.96	c cleaning 107011 clauses out of 214023 with flag 14703276/35050450
1958.51/1978.19	c cleaning 107997 clauses out of 216010 with flag 14965617/35159448
1963.51/1983.32	c cleaning 109005 clauses out of 218013 with flag 15233339/35269448
1969.12/1988.99	c cleaning 110002 clauses out of 220008 with flag 15505956/35380448
1975.50/1995.32	c cleaning 110996 clauses out of 222006 with flag 15781522/35492448
1983.01/2002.87	c cleaning 112000 clauses out of 224010 with flag 16082128/35605448
1989.64/2009.42	c cleaning 113002 clauses out of 226010 with flag 16366849/35719448
1995.83/2015.75	c cleaning 113992 clauses out of 228008 with flag 16655697/35834448
2003.06/2022.96	c cleaning 114998 clauses out of 230016 with flag 16945121/35950448
2009.06/2028.98	c cleaning 116004 clauses out of 232019 with flag 17237346/36067449
2015.94/2035.89	c cleaning 116999 clauses out of 234014 with flag 17530271/36185448
2024.66/2044.63	c cleaning 118001 clauses out of 236015 with flag 17839814/36304448
2030.76/2050.74	c cleaning 119004 clauses out of 238015 with flag 18125002/36424449
2038.45/2058.45	c cleaning 119995 clauses out of 240010 with flag 18414993/36545448
2045.25/2065.29	c cleaning 121004 clauses out of 242017 with flag 18705421/36667450
2052.33/2072.34	c cleaning 121997 clauses out of 244011 with flag 19003455/36790448
2059.73/2079.84	c cleaning 123007 clauses out of 246014 with flag 19303031/36914448
2066.84/2086.90	c cleaning 123996 clauses out of 248007 with flag 19601834/37039448
2073.84/2093.92	c cleaning 124997 clauses out of 250011 with flag 19909209/37165448
2081.73/2101.85	c cleaning 126001 clauses out of 252015 with flag 20215175/37292449
2089.81/2110.05	c cleaning 126997 clauses out of 254013 with flag 20522976/37420448
2097.71/2117.97	c cleaning 128003 clauses out of 256016 with flag 20833890/37549448
2105.89/2126.17	c cleaning 128994 clauses out of 258015 with flag 21150104/37679450
2114.19/2134.45	c cleaning 130005 clauses out of 260022 with flag 21466467/37810451
2122.29/2142.66	c cleaning 131005 clauses out of 262014 with flag 21784384/37942448
2131.19/2151.50	c cleaning 132001 clauses out of 264009 with flag 22111204/38075448
2138.57/2158.92	c cleaning 132995 clauses out of 266008 with flag 22442860/38209448
2146.47/2166.95	c cleaning 133999 clauses out of 268014 with flag 22776765/38344449
2157.76/2178.25	c cleaning 134996 clauses out of 270014 with flag 23115193/38480448
2169.73/2190.22	c cleaning 136000 clauses out of 272018 with flag 23447394/38617448
2181.43/2202.04	c cleaning 137009 clauses out of 274018 with flag 23786462/38755448
2191.03/2211.62	c cleaning 137999 clauses out of 276009 with flag 24126160/38894448
2201.33/2221.94	c cleaning 138997 clauses out of 278010 with flag 24464618/39034448
2210.98/2231.66	c cleaning 140006 clauses out of 280014 with flag 24805441/39175449
2221.19/2241.85	c cleaning 140998 clauses out of 282007 with flag 25152612/39317448
2230.18/2250.84	c cleaning 141996 clauses out of 284009 with flag 25504041/39460448
2239.50/2260.21	c cleaning 143003 clauses out of 286014 with flag 25856946/39604449
2250.13/2270.81	c cleaning 143996 clauses out of 288012 with flag 26221027/39749450
2260.26/2280.99	c cleaning 145000 clauses out of 290014 with flag 26581803/39895448
2270.39/2291.29	c cleaning 145995 clauses out of 292014 with flag 26943338/40042448
2281.60/2302.41	c cleaning 147001 clauses out of 294019 with flag 27302114/40190448
2292.21/2313.03	c cleaning 147999 clauses out of 296019 with flag 27665241/40339449
2303.16/2324.17	c cleaning 149006 clauses out of 298019 with flag 28027166/40489448
2315.08/2336.08	c cleaning 149993 clauses out of 300013 with flag 28392483/40640448
2328.57/2349.52	c cleaning 151004 clauses out of 302021 with flag 28769557/40792449
2339.75/2360.88	c cleaning 152008 clauses out of 304018 with flag 29158679/40945450
2350.92/2372.04	c cleaning 152995 clauses out of 306010 with flag 29543587/41099450
2363.93/2385.12	c cleaning 154000 clauses out of 308014 with flag 29933856/41254449
2375.76/2396.99	c cleaning 155003 clauses out of 310013 with flag 30328006/41410448
2387.57/2408.71	c cleaning 156004 clauses out of 312012 with flag 30739326/41567450
2401.00/2422.29	c cleaning 156993 clauses out of 314006 with flag 31131875/41725448
2414.71/2435.97	c cleaning 158001 clauses out of 316014 with flag 31524527/41884449
2428.31/2449.55	c cleaning 158999 clauses out of 318016 with flag 31919640/42044452
2440.76/2461.97	c cleaning 160002 clauses out of 320014 with flag 32313590/42205449
2455.81/2477.09	c cleaning 161007 clauses out of 322013 with flag 32714234/42367450
2469.55/2490.72	c cleaning 161999 clauses out of 324006 with flag 33118199/42530450
2481.69/2502.91	c cleaning 162993 clauses out of 326005 with flag 33531900/42694448
2493.96/2515.47	c cleaning 163998 clauses out of 328012 with flag 33945376/42859448
2511.31/2532.81	c cleaning 165006 clauses out of 330015 with flag 34348730/43025449
2523.87/2545.64	c cleaning 166003 clauses out of 332010 with flag 34750729/43192450
2537.10/2558.81	c cleaning 166998 clauses out of 334005 with flag 35152299/43360448
2551.71/2573.51	c cleaning 167998 clauses out of 336008 with flag 35570566/43529449
2565.62/2587.44	c cleaning 169002 clauses out of 338009 with flag 35982915/43699448
2580.56/2602.40	c cleaning 169998 clauses out of 340007 with flag 36398510/43870448
2594.76/2616.60	c cleaning 171000 clauses out of 342011 with flag 36813516/44042450
2609.93/2631.80	c cleaning 171992 clauses out of 344009 with flag 37235793/44215448
2625.74/2647.63	c cleaning 173003 clauses out of 346018 with flag 37648777/44389449
2639.94/2661.81	c cleaning 174000 clauses out of 348014 with flag 38073309/44564448
2653.18/2675.10	c cleaning 175006 clauses out of 350015 with flag 38513988/44740449
2669.10/2691.14	c cleaning 176002 clauses out of 352008 with flag 38949647/44917448
2684.26/2706.33	c cleaning 176997 clauses out of 354006 with flag 39387883/45095448
2699.56/2721.75	c cleaning 178007 clauses out of 356019 with flag 39821519/45274458
2715.57/2737.75	c cleaning 178992 clauses out of 358003 with flag 40263679/45454449
2729.89/2752.17	c cleaning 180004 clauses out of 360012 with flag 40706196/45635450
2746.80/2769.05	c cleaning 180997 clauses out of 362006 with flag 41160598/45817448
2764.72/2787.42	c cleaning 182004 clauses out of 364009 with flag 41622112/46000448
2781.03/2803.74	c cleaning 182992 clauses out of 366006 with flag 42064864/46184449
2799.21/2821.98	c cleaning 184006 clauses out of 368013 with flag 42513430/46369448
2815.02/2837.79	c cleaning 185000 clauses out of 370010 with flag 42964442/46555451
2834.00/2856.71	c cleaning 185993 clauses out of 372007 with flag 43428818/46742448
2850.66/2873.40	c cleaning 187000 clauses out of 374015 with flag 43879999/46930449
2869.38/2892.13	c cleaning 187997 clauses out of 376014 with flag 44352670/47119448
2891.85/2914.69	c cleaning 188997 clauses out of 378018 with flag 44838697/47309449
2909.47/2932.24	c cleaning 190005 clauses out of 380021 with flag 45287825/47500449
2927.26/2950.01	c cleaning 191000 clauses out of 382015 with flag 45757843/47692448
2946.01/2968.80	c cleaning 191999 clauses out of 384015 with flag 46215922/47885448
2963.81/2986.65	c cleaning 193001 clauses out of 386017 with flag 46673102/48079449
2982.05/3004.95	c cleaning 193994 clauses out of 388016 with flag 47128852/48274449
3000.16/3023.07	c cleaning 195007 clauses out of 390021 with flag 47594619/48470448
3018.97/3041.99	c cleaning 195999 clauses out of 392015 with flag 48059779/48667449
3037.91/3060.93	c cleaning 197007 clauses out of 394016 with flag 48527288/48865449
3060.24/3083.20	c cleaning 197997 clauses out of 396008 with flag 49014963/49064448
3083.24/3106.04	c cleaning 198998 clauses out of 398013 with flag 49495386/49264450
3104.53/3127.50	c cleaning 199999 clauses out of 400013 with flag 49983827/49465448
3124.35/3147.33	c cleaning 201003 clauses out of 402016 with flag 50487583/49667450
3152.15/3175.35	c cleaning 201993 clauses out of 404013 with flag 50995197/49870450
3167.86/3191.15	c cleaning 203004 clauses out of 406018 with flag 51481752/50074448
3183.18/3213.86	c cleaning 204003 clauses out of 408014 with flag 51979512/50279448
3198.22/3228.82	c cleaning 204996 clauses out of 410011 with flag 52479411/50485448
3212.05/3242.62	c cleaning 205998 clauses out of 412016 with flag 52981268/50692449
3225.87/3257.09	c cleaning 206995 clauses out of 414017 with flag 53483084/50900448
3240.07/3271.20	c cleaning 208002 clauses out of 416023 with flag 53987348/51109449
3253.72/3285.94	c cleaning 209005 clauses out of 418020 with flag 54491518/51319448
3268.44/3300.65	c cleaning 210003 clauses out of 420015 with flag 55004288/51530448
3280.83/3316.99	c cleaning 211006 clauses out of 422013 with flag 55517098/51742449
3297.36/3333.56	c cleaning 211999 clauses out of 424007 with flag 56031905/51955449
3312.00/3348.33	c cleaning 213003 clauses out of 426007 with flag 56548766/52169448
3326.22/3362.69	c cleaning 213997 clauses out of 428004 with flag 57070518/52384448
3340.29/3376.87	c cleaning 214990 clauses out of 430008 with flag 57601538/52600449
3354.98/3391.52	c cleaning 215999 clauses out of 432017 with flag 58134638/52817448
3369.52/3411.06	c cleaning 216999 clauses out of 434019 with flag 58668727/53035449
3384.90/3426.42	c cleaning 218003 clauses out of 436020 with flag 59204560/53254449
3399.58/3441.22	c cleaning 219004 clauses out of 438018 with flag 59751017/53474450
3415.01/3456.69	c cleaning 220000 clauses out of 440012 with flag 60295516/53695448
3429.37/3470.92	c cleaning 221002 clauses out of 442012 with flag 60844328/53917448
3445.04/3486.80	c cleaning 222000 clauses out of 444011 with flag 61389716/54140449
3457.86/3499.62	c cleaning 223000 clauses out of 446011 with flag 61934697/54364449
3472.30/3514.44	c cleaning 224002 clauses out of 448010 with flag 62481719/54589448
3485.83/3527.90	c cleaning 225002 clauses out of 450011 with flag 63049451/54815451
3500.89/3544.44	c cleaning 225998 clauses out of 452006 with flag 63623619/55042448
3518.82/3562.42	c cleaning 226994 clauses out of 454009 with flag 64203777/55270449
3534.92/3578.79	c cleaning 227996 clauses out of 456014 with flag 64768955/55499448
3553.28/3597.51	c cleaning 229007 clauses out of 458019 with flag 65344777/55729449
3572.57/3616.90	c cleaning 230003 clauses out of 460011 with flag 65925957/55960448
3589.71/3634.36	c cleaning 231001 clauses out of 462010 with flag 66500724/56192450
3600.01/3644.61	c starts		: 29
3600.01/3644.62	c conflicts		: 56382396
3600.01/3644.62	c decisions		: 108848156
3600.01/3644.62	c propagations		: 1313046032
3600.01/3644.62	c inspects		: 29502076533
3600.01/3644.62	c shortcuts		: 0
3600.01/3644.62	c learnt literals	: 0
3600.01/3644.62	c learnt binary clauses	: 0
3600.01/3644.62	c learnt ternary clauses	: 0
3600.01/3644.62	c learnt constraints	: 56382396
3600.01/3644.62	c ignored constraints	: 0
3600.01/3644.62	c root simplifications	: 0
3600.01/3644.62	c removed literals (reason simplification)	: 89782358
3600.01/3644.62	c reason swapping (by a shorter reason)	: 0
3600.01/3644.62	c Calls to reduceDB	: 559
3600.01/3644.62	c Number of update (reduction) of LBD	: 10057716
3600.01/3644.62	c Imported unit clauses	: 0
3600.01/3644.62	c No decision after first conflict	: false
3600.01/3644.62	c number of reductions to clauses (during analyze)	: 0
3600.01/3644.62	c number of learned constraints concerned by reduction	: 0
3600.01/3644.62	c number of learning phase by resolution	: 0
3600.01/3644.62	c number of learning phase by cutting planes	: 0
3600.01/3644.62	c number of rounding to 1 operations	: 0
3600.01/3644.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3644.62	c number of reductions of the coefficients by power 2 	: 0
3600.01/3644.62	c number of right shift for reduction by power 2 	: 0
3600.01/3644.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3644.62	c number of ending skipping 	: 0
3600.01/3644.62	c number of internal skipping 	: 0
3600.01/3644.62	c number of derivation steps 	: 0
3600.01/3644.62	c number of skipped derivation steps 	: 0
3600.01/3644.62	c number of remaining unassigned 	: 0
3600.01/3644.62	c number of remaining assigned 	: 0
3600.01/3644.62	c number of falsified literals weakened from reason	: 0
3600.01/3644.62	c number of falsified literals weakened from conflict	: 0
3600.01/3644.62	c time for arithmetic operations	: 0
3600.01/3644.62	c minimum degree of deleted constraints	: null
3600.01/3644.62	c maximum degree of deleted constraints	: null
3600.01/3644.62	c number of deleted constraints	: 0
3600.01/3644.62	c speed (assignments/second)	: 360286.96605381614
3600.01/3644.62	c non guided choices	: 0
3600.19/3644.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 420955
3600.19/3644.71	s SATISFIABLE
3600.19/3644.71	c Found 5 solution(s)
3600.19/3644.71	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 
3600.19/3644.71	c objective function=28
3600.19/3644.71	c Total wall clock time (in seconds): 3644.577

Verifier Data 

OK	28

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (48095 MiB free)
  memory of node 1: 64473 MiB (48202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440497-1721820777/watcher-4440497-1721820777 -o /tmp/evaluation-result-4440497-1721820777/solver-4440497-1721820777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182711 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440497-1721820777 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440497-1721820777.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=184889, runsolver pid=184886

[startup+0.101872 s]*
/proc/loadavg: 4.23 4.19 4.11 7/335 184907
/proc/meminfo: memFree=98565076/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=18993908 memory=66940 CPUtime=0.14 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 7304 0 0 0 12 2 0 0 20 0 18 0 18605570 19449761792 16735 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4748477 16735 5992 1 0 549396 0
[pid=184889/tid=184891] ppid=184886 vsize=18993908 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 5847 0 0 0 8 1 0 0 20 0 18 0 18605570 19449761792 16735 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=18993908 memory=232851243367 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18605573 19449761792 16735 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=18993908 memory=13855170183833064 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18605573 19449761792 16735 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66940 KiB

[startup+0.207042 s]*
/proc/loadavg: 4.23 4.19 4.11 8/336 184908
/proc/meminfo: memFree=98558112/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19060472 memory=73388 CPUtime=0.34 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 7855 0 0 0 32 2 0 0 20 0 19 0 18605570 19517923328 18347 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4765118 18347 6115 1 0 549974 0
[pid=184889/tid=184891] ppid=184886 vsize=19060472 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 6147 0 0 0 17 1 0 0 20 0 19 0 18605570 19517923328 18347 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19060472 memory=1583096 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18605573 19517923328 18347 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19060472 memory=13573695205541613 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18605573 19517923328 18347 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18605587 19517923328 18347 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 73388 KiB

[startup+0.305992 s]*
/proc/loadavg: 4.23 4.19 4.11 8/336 184908
/proc/meminfo: memFree=98537500/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19060472 memory=93068 CPUtime=0.52 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 9468 0 0 0 50 2 0 0 20 0 19 0 18605570 19517923328 23267 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4765118 23267 6123 1 0 550765 0
[pid=184889/tid=184891] ppid=184886 vsize=19060472 memory=-8743002452143153852 CPUtime=0.26 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 6184 0 0 0 25 1 0 0 20 0 19 0 18605570 19517923328 23267 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18605573 19517923328 23267 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18605573 19517923328 23267 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19060472 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18605587 19517923328 23267 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 93068 KiB

[startup+0.701052 s]
/proc/loadavg: 4.23 4.19 4.11 7/336 184908
/proc/meminfo: memFree=98490688/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=175448 CPUtime=1.28 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 12956 0 0 0 124 4 0 0 20 0 20 0 18605570 19586084864 43862 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 43862 6139 1 0 553434 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=67648 CPUtime=0.6 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 6255 0 0 0 57 3 0 0 20 0 20 0 18605570 19586084864 43862 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 43862 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=2268 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 43862 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=5552 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 43862 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 175448 KiB

[startup+1.50697 s]
/proc/loadavg: 4.23 4.19 4.11 6/337 184909
/proc/meminfo: memFree=98448468/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=181284 CPUtime=2.88 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 19387 0 0 0 282 6 0 0 20 0 20 0 18605570 19586084864 45321 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 45321 6139 1 0 554229 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=12368 CPUtime=1.38 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 6800 0 0 0 134 4 0 0 20 0 20 0 18605570 19586084864 45321 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 45321 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=2268 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 45321 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=5552 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 45321 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 181284 KiB

[startup+3.10592 s]
/proc/loadavg: 4.37 4.22 4.12 5/337 184909
/proc/meminfo: memFree=98204340/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=390780 CPUtime=5 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 21369 0 0 0 488 12 0 0 20 0 20 0 18605570 19586084864 97695 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 97695 6139 1 0 554231 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=0 CPUtime=2.94 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 7270 0 0 0 285 9 0 0 20 0 20 0 18605570 19586084864 97695 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=-8743002452143153852 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 97695 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 97695 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=2268 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 97695 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 390780 KiB

[startup+6.30024 s]
/proc/loadavg: 4.37 4.22 4.12 6/337 184911
/proc/meminfo: memFree=97474640/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=1070544 CPUtime=8.29 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 21912 0 0 0 799 30 0 0 20 0 20 0 18605570 19586084864 267636 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 267636 6139 1 0 554232 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=12368 CPUtime=6.1 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 7712 0 0 0 583 27 0 0 20 0 20 0 18605570 19586084864 267636 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=2268 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 267636 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 267636 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=181360 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 267636 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1070544 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.21 4.11 5/337 184911
/proc/meminfo: memFree=97134856/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=1316324 CPUtime=14.69 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 23550 0 0 0 1426 43 0 0 20 0 20 0 18605570 19586084864 329081 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 329081 6139 1 0 554232 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=181360 CPUtime=12.48 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 8751 0 0 0 1208 40 0 0 20 0 20 0 18605570 19586084864 329081 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=1316324 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 329081 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=1213904 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 329081 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=12368 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 329081 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 14.69 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1316324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.34 4.22 4.12 4/335 184980
/proc/meminfo: memFree=111964168/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=1324684 CPUtime=27.53 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 30075 0 0 0 2693 60 0 0 20 0 20 0 18605570 19586084864 331171 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 331171 6139 1 0 554232 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=11624 CPUtime=25.16 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 10116 0 0 0 2460 56 0 0 20 0 20 0 18605570 19586084864 331171 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 331171 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 331171 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 331171 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 27.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1324684 KiB

[startup+51.1059 s]
/proc/loadavg: 4.22 4.20 4.11 4/337 184987
/proc/meminfo: memFree=110606188/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=1343264 CPUtime=52.95 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 34826 0 0 0 5207 88 0 0 20 0 20 0 18605570 19586084864 335816 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 335816 6170 1 0 554232 0

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

Current children cumulated CPU time: 3306.1 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172540 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/333 186790
/proc/meminfo: memFree=82622196/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2172540 CPUtime=3365.73 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 200803 0 0 0 334552 2021 0 0 20 0 20 0 18605570 19586084864 543135 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543135 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=5552 CPUtime=3325.91 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 81855 0 0 0 330677 1914 0 0 20 0 20 0 18605570 19586084864 543135 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4338 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=2152 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543135 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=2172540 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4493 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543135 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=2172540 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543135 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3365.73 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2172540 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.18 5/337 186861
/proc/meminfo: memFree=82098376/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3420.79 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 202704 0 0 0 340025 2054 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543647 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=2172540 CPUtime=3380.21 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 82605 0 0 0 336075 1946 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4845 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=104 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=2174588 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4536 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=2174588 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3420.79 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2174588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 6/337 186871
/proc/meminfo: memFree=81552172/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3480.25 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 203798 0 0 0 345937 2088 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543647 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=104 CPUtime=3438.99 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 83282 0 0 0 341921 1978 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4905 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=2174588 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4582 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=5552 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3480.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2174588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/337 186882
/proc/meminfo: memFree=81034288/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3538.5 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 205372 0 0 0 351735 2115 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543647 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3496.8 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 83939 0 0 0 347676 2004 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 5060 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=11624 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4670 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=67648 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3538.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2174588 KiB

[startup+3642.3 s]
/proc/loadavg: 4.32 4.21 4.19 5/338 186962
/proc/meminfo: memFree=86207184/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3597.72 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 207480 0 0 0 357630 2142 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543647 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3555.57 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 85045 0 0 0 353528 2029 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5115 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=2174588 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=65 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4671 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=2174588 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3597.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2174588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3644.6 s]
/proc/loadavg: 4.29 4.20 4.18 5/336 186964
/proc/meminfo: memFree=86184776/131524600 swapFree=131061136/131071996
[pid=184889] ppid=184886 vsize=19127036 memory=2174588 CPUtime=3600.01 cores=5,7
/proc/184889/stat : 184889 (java) S 184886 184889 182698 0 -1 1077936128 207482 0 0 0 357858 2143 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
/proc/184889/statm: 4781759 543647 6170 1 0 555531 0
[pid=184889/tid=184891] ppid=184886 vsize=19127036 memory=-8743002452143153852 CPUtime=3557.86 cores=5,7
/proc/184889/task/184891/stat : 184891 (java) R 184886 184889 182698 0 -1 4194368 85047 0 0 0 353756 2030 0 0 20 0 20 0 18605570 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5115 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184900] ppid=184886 vsize=19127036 memory=1584028 CPUtime=0 cores=5,7
/proc/184889/task/184900/stat : 184900 (Finalizer) S 184886 184889 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184907] ppid=184886 vsize=19127036 memory=1583607 CPUtime=0 cores=5,7
/proc/184889/task/184907/stat : 184907 (Common-Cleaner) S 184886 184889 182698 0 -1 1077936192 4671 0 0 0 0 0 0 0 20 0 20 0 18605573 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
[pid=184889/tid=184908] ppid=184886 vsize=19127036 memory=2313792 CPUtime=0 cores=5,7
/proc/184889/task/184908/stat : 184908 (Timer-0) S 184886 184889 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18605587 19586084864 543647 134679101440 94578634891264 94578634894960 140735001141424 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94578634902776 94578634903568 94578666786816 140735001146287 140735001146469 140735001146469 140735001153480 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2174588 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3655 s]
# the end of solver process 184889 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3578.78 s, system=21.4526 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3644.8 s]*
/proc/loadavg: 4.29 4.20 4.18 4/319 186968
/proc/meminfo: memFree=88326952/131524600 swapFree=131061136/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3645.6 s]
/proc/loadavg: 4.29 4.20 4.18 5/319 186968
/proc/meminfo: memFree=88324560/131524600 swapFree=131061136/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3646.4 s]
/proc/loadavg: 4.29 4.20 4.18 3/319 186968
/proc/meminfo: memFree=88318104/131524600 swapFree=131061136/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3646.6 s]
/proc/loadavg: 4.29 4.20 4.18 3/319 186968
/proc/meminfo: memFree=88318104/131524600 swapFree=131061136/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3655
CPU time (s): 3600.24
CPU user time (s): 3578.78
CPU system time (s): 21.4526
CPU usage (%): 98.5016
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2175292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.78
system time used= 21.4526
maximum resident set size= 2176404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210903
page faults= 0
swaps= 0
block input operations= 0
block output operations= 27372936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131898
involuntary context switches= 12834


# summary of solver processes directly reported to runsolver:
#   pid: 184889
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3578.78
#   total CPU system time (s): 21.4526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53212 second user time and 18.1968 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 13:32:57
IDJOB=4440497
IDBENCH=155398
IDSOLVER=3079
FILE ID=nodeC014/4440497-1721820777
RUNJOBID= nodeC014-1721817186-182711
SLURM_JOB_ID= 7816864
Free space on /tmp= 890020 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-sbox_4_shg.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440497-1721820777/watcher-4440497-1721820777 -o /tmp/evaluation-result-4440497-1721820777/solver-4440497-1721820777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721817186-182711 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440497-1721820777 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440497-1721820777.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f8cbff203f2ec66bcdec19280bdd1d00
RANDOM SEED=345911906

nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.434
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3631.786
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.021
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3677.016
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.555
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.525
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.035
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3649.816
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        98610284 kB
MemAvailable:   119907720 kB
Buffers:          241124 kB
Cached:         21866004 kB
SwapCached:          236 kB
Active:          2112764 kB
Inactive:       30137060 kB
Active(anon):       2124 kB
Inactive(anon): 10194212 kB
Active(file):    2110640 kB
Inactive(file): 19942848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:             83220 kB
Writeback:             0 kB
AnonPages:      10139132 kB
Mapped:           116828 kB
Shmem:             53232 kB
KReclaimable:     167540 kB
Slab:             288564 kB
SReclaimable:     167540 kB
SUnreclaim:       121024 kB
KernelStack:        5104 kB
PageTables:        30160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12838336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9789440 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-24 14:33:52