Trace number 4502793

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 VeriPB 2025-06-06SAT (TO)28 3520.8 3700.14

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.101308
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	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.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4502793-1751431094.opb
0.12/0.14	c reading problem ... 
0.19/8.49	c using VERIPB proof format
0.19/8.49	c  objective function found
0.25/8.52	c ... done. Wall clock time 8.378s.
0.25/8.52	c declared #vars     147
0.25/8.52	c #constraints  240
0.25/8.52	c constraints type 
0.25/8.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.25/8.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 239
0.25/8.52	c 240 constraints processed.
0.25/8.54	c objective function length is 147 literals
0.25/8.55	c SATISFIABLE
0.25/8.55	c OPTIMIZING...
0.25/8.55	c Got one! Elapsed wall clock time (in seconds):8.415
0.25/8.55	o 32
0.25/8.56	c Got one! Elapsed wall clock time (in seconds):8.42
0.25/8.56	o 31
0.39/8.63	c Got one! Elapsed wall clock time (in seconds):8.491
0.39/8.63	o 30
0.98/8.95	c cleaning 2574 clauses out of 5157 with flag 11259/5157
1.77/9.35	c cleaning 4291 clauses out of 8587 with flag 26602/11161
2.17/9.59	c cleaning 5640 clauses out of 11294 with flag 43738/18159
2.77/9.83	c cleaning 6819 clauses out of 13652 with flag 62513/26157
3.17/10.09	c cleaning 7909 clauses out of 15833 with flag 84332/35157
3.75/10.36	c cleaning 8957 clauses out of 17925 with flag 109499/45158
4.24/10.64	c cleaning 9974 clauses out of 19968 with flag 136601/56158
4.55/10.94	c cleaning 10987 clauses out of 21993 with flag 165083/68157
4.86/11.26	c cleaning 11993 clauses out of 24006 with flag 195373/81157
5.27/11.60	c cleaning 13001 clauses out of 26014 with flag 228515/95158
5.56/11.95	c cleaning 13993 clauses out of 28012 with flag 264095/110157
5.87/12.29	c cleaning 15000 clauses out of 30021 with flag 302912/126159
6.29/12.69	c cleaning 15999 clauses out of 32020 with flag 344754/143158
6.82/13.13	c cleaning 17001 clauses out of 34022 with flag 388144/161159
7.21/13.58	c cleaning 18004 clauses out of 36020 with flag 434401/180158
7.72/14.06	c cleaning 18996 clauses out of 38016 with flag 482545/200158
8.32/14.62	c cleaning 20003 clauses out of 40020 with flag 534775/221158
8.91/15.21	c cleaning 21003 clauses out of 42016 with flag 588420/243157
9.51/15.85	c cleaning 21997 clauses out of 44013 with flag 643976/266157
10.11/16.47	c cleaning 22993 clauses out of 46016 with flag 702850/290157
10.81/17.17	c cleaning 24001 clauses out of 48023 with flag 764385/315157
11.60/17.92	c cleaning 24998 clauses out of 50022 with flag 827410/341157
12.40/18.71	c cleaning 26010 clauses out of 52025 with flag 893868/368158
13.21/19.55	c cleaning 27001 clauses out of 54014 with flag 962669/396157
14.11/20.47	c cleaning 27991 clauses out of 56013 with flag 1035412/425157
15.20/21.50	c cleaning 29005 clauses out of 58022 with flag 1111047/455157
16.31/22.64	c cleaning 30002 clauses out of 60018 with flag 1188774/486158
17.41/23.71	c cleaning 30998 clauses out of 62016 with flag 1269126/518158
18.51/24.81	c cleaning 32000 clauses out of 64017 with flag 1352087/551157
19.51/25.88	c cleaning 33001 clauses out of 66017 with flag 1437136/585157
20.72/27.03	c cleaning 33994 clauses out of 68016 with flag 1526163/620157
21.75/28.05	c cleaning 35004 clauses out of 70024 with flag 1615860/656159
22.95/29.22	c cleaning 35993 clauses out of 72019 with flag 1708468/693158
24.25/30.51	c cleaning 36998 clauses out of 74025 with flag 1804376/731157
25.44/31.73	c cleaning 38000 clauses out of 76027 with flag 1902794/770157
26.64/32.95	c cleaning 39004 clauses out of 78027 with flag 2005144/810157
28.56/34.87	c cleaning 40009 clauses out of 80026 with flag 2111698/851160
29.86/36.13	c cleaning 41002 clauses out of 82014 with flag 2216786/893157
31.25/37.58	c cleaning 42002 clauses out of 84013 with flag 2322053/936158
33.05/39.32	c cleaning 42996 clauses out of 86010 with flag 2429366/980157
34.55/41.02	c cleaning 43994 clauses out of 88014 with flag 2541140/1025157
35.93/42.47	c cleaning 45002 clauses out of 90020 with flag 2654387/1071157
37.65/44.14	c cleaning 46003 clauses out of 92018 with flag 2769161/1118157
39.34/45.82	c cleaning 47008 clauses out of 94016 with flag 2890621/1166158
40.95/47.43	c cleaning 48000 clauses out of 96007 with flag 3012149/1215157
42.75/49.28	c cleaning 49001 clauses out of 98016 with flag 3136391/1265166
44.68/51.13	c cleaning 49996 clauses out of 100006 with flag 3262599/1316157
46.58/53.03	c cleaning 50996 clauses out of 102010 with flag 3400782/1368157
48.48/54.99	c cleaning 52004 clauses out of 104015 with flag 3533018/1421158
50.38/56.81	c cleaning 52993 clauses out of 106010 with flag 3666167/1475157
53.07/59.52	c cleaning 54007 clauses out of 108017 with flag 3806914/1530157
55.88/62.38	c cleaning 55002 clauses out of 110011 with flag 3950409/1586158
58.47/64.99	c cleaning 56003 clauses out of 112008 with flag 4092739/1643157
61.38/67.81	c cleaning 56989 clauses out of 114006 with flag 4239241/1701158
63.58/70.01	c cleaning 58006 clauses out of 116019 with flag 4385357/1760160
65.68/72.31	c cleaning 58997 clauses out of 118010 with flag 4534131/1820157
67.67/74.37	c cleaning 59995 clauses out of 120013 with flag 4690240/1881157
69.68/76.39	c cleaning 61005 clauses out of 122019 with flag 4854587/1943158
72.41/79.05	c cleaning 62002 clauses out of 124013 with flag 5013823/2006157
74.79/81.45	c cleaning 63004 clauses out of 126011 with flag 5172819/2070157
77.70/84.34	c cleaning 64000 clauses out of 128007 with flag 5339169/2135157
80.50/87.11	c cleaning 65000 clauses out of 130008 with flag 5509659/2201158
83.20/89.87	c cleaning 65998 clauses out of 132007 with flag 5681775/2268157
86.09/92.75	c cleaning 66998 clauses out of 134009 with flag 5853029/2336157
89.60/96.21	c cleaning 68004 clauses out of 136011 with flag 6019139/2405157
93.00/99.67	c cleaning 68998 clauses out of 138007 with flag 6197848/2475157
96.56/103.32	c cleaning 70001 clauses out of 140010 with flag 6377312/2546158
100.08/106.88	c cleaning 70995 clauses out of 142008 with flag 6564819/2618157
103.38/110.14	c cleaning 72005 clauses out of 144014 with flag 6747915/2691158
106.40/113.19	c cleaning 73001 clauses out of 146009 with flag 6939737/2765158
110.00/116.78	c cleaning 74004 clauses out of 148008 with flag 7131655/2840158
113.79/120.58	c cleaning 74992 clauses out of 150003 with flag 7327922/2916157
118.31/125.02	c cleaning 76002 clauses out of 152012 with flag 7532303/2993158
122.04/128.79	c cleaning 77003 clauses out of 154009 with flag 7735223/3071157
126.02/133.19	c cleaning 77984 clauses out of 156006 with flag 7936984/3150157
130.33/137.43	c cleaning 79006 clauses out of 158022 with flag 8136895/3230157
134.67/141.71	c cleaning 80001 clauses out of 160016 with flag 8341784/3311157
138.36/145.49	c cleaning 81001 clauses out of 162016 with flag 8549099/3393158
142.50/149.58	c cleaning 81998 clauses out of 164014 with flag 8757501/3476157
146.94/153.96	c cleaning 83009 clauses out of 166017 with flag 8969243/3560158
152.28/159.24	c cleaning 83996 clauses out of 168008 with flag 9194310/3645158
157.07/164.48	c cleaning 85000 clauses out of 170011 with flag 9420956/3731157
161.60/168.99	c cleaning 85999 clauses out of 172011 with flag 9661760/3818157
166.03/173.39	c cleaning 86999 clauses out of 174013 with flag 9914284/3906158
171.88/179.10	c cleaning 87996 clauses out of 176013 with flag 10166158/3995157
177.55/184.85	c cleaning 89006 clauses out of 178017 with flag 10412462/4085157
183.09/190.31	c cleaning 90000 clauses out of 180012 with flag 10663166/4176158
188.62/195.94	c cleaning 91006 clauses out of 182012 with flag 10915180/4268158
195.47/202.78	c cleaning 91989 clauses out of 184006 with flag 11177719/4361158
199.83/207.07	c cleaning 93003 clauses out of 186016 with flag 11408881/4455157
204.41/211.62	c cleaning 93998 clauses out of 188013 with flag 11642122/4550157
208.64/215.80	c cleaning 94994 clauses out of 190015 with flag 11877633/4646157
212.96/220.12	c cleaning 96006 clauses out of 192021 with flag 12116453/4743157
217.66/224.94	c cleaning 96996 clauses out of 194015 with flag 12360412/4841157
222.33/229.62	c cleaning 98000 clauses out of 196020 with flag 12603583/4940158
226.44/233.77	c cleaning 98999 clauses out of 198020 with flag 12845156/5040158
232.29/239.54	c cleaning 100010 clauses out of 200021 with flag 13091389/5141158
237.36/244.58	c cleaning 100999 clauses out of 202012 with flag 13341967/5243159
243.19/250.31	c cleaning 102006 clauses out of 204011 with flag 13599725/5346157
248.76/256.01	c cleaning 102987 clauses out of 206005 with flag 13857389/5450157
254.27/261.59	c cleaning 103994 clauses out of 208018 with flag 14114478/5555157
259.60/266.81	c cleaning 105000 clauses out of 210024 with flag 14375849/5661157
264.42/271.63	c cleaning 105998 clauses out of 212024 with flag 14637163/5768157
270.44/277.65	c cleaning 107002 clauses out of 214027 with flag 14900704/5876158
276.16/283.33	c cleaning 108009 clauses out of 216024 with flag 15166041/5985157
281.98/289.59	c cleaning 108995 clauses out of 218015 with flag 15432975/6095157
289.69/297.23	c cleaning 110011 clauses out of 220021 with flag 15717024/6206158
296.72/304.25	c cleaning 110997 clauses out of 222009 with flag 15989906/6318157
303.86/311.36	c cleaning 111999 clauses out of 224013 with flag 16264109/6431158
311.45/321.42	c cleaning 113000 clauses out of 226014 with flag 16538078/6545158
319.00/328.93	c cleaning 114004 clauses out of 228013 with flag 16814402/6660157
327.02/336.99	c cleaning 114998 clauses out of 230009 with flag 17110831/6776157
335.00/344.78	c cleaning 115998 clauses out of 232011 with flag 17407585/6893157
343.04/352.73	c cleaning 116997 clauses out of 234013 with flag 17707626/7011157
350.67/360.44	c cleaning 118007 clauses out of 236019 with flag 18000779/7130160
358.40/368.15	c cleaning 119001 clauses out of 238010 with flag 18303185/7250158
364.72/374.40	c cleaning 119994 clauses out of 240008 with flag 18614374/7371157
373.04/382.76	c cleaning 121001 clauses out of 242014 with flag 18931829/7493157
382.25/392.06	c cleaning 121992 clauses out of 244014 with flag 19250907/7616158
390.89/400.62	c cleaning 123000 clauses out of 246022 with flag 19557584/7740158
399.10/408.81	c cleaning 124004 clauses out of 248021 with flag 19862702/7865157
407.61/417.43	c cleaning 125002 clauses out of 250017 with flag 20171647/7991157
416.72/426.57	c cleaning 126006 clauses out of 252016 with flag 20497345/8118158
427.09/436.82	c cleaning 126995 clauses out of 254009 with flag 20821802/8246157
435.14/444.86	c cleaning 127999 clauses out of 256015 with flag 21146988/8375158
442.99/452.86	c cleaning 129006 clauses out of 258017 with flag 21479527/8505159
450.80/460.60	c cleaning 129998 clauses out of 260009 with flag 21815063/8636157
459.51/469.32	c cleaning 131000 clauses out of 262011 with flag 22138465/8768157
468.42/478.34	c cleaning 132001 clauses out of 264011 with flag 22467833/8901157
477.98/487.89	c cleaning 132994 clauses out of 266010 with flag 22799201/9035157
487.30/497.19	c cleaning 134002 clauses out of 268016 with flag 23137824/9170157
496.00/505.88	c cleaning 135008 clauses out of 270015 with flag 23488561/9306158
504.52/514.45	c cleaning 135992 clauses out of 272007 with flag 23843578/9443158
513.34/523.22	c cleaning 137002 clauses out of 274015 with flag 24204313/9581158
524.20/534.08	c cleaning 138008 clauses out of 276016 with flag 24589711/9720161
535.43/545.37	c cleaning 138995 clauses out of 278005 with flag 24930855/9860158
544.87/554.75	c cleaning 140004 clauses out of 280012 with flag 25287044/10001160
553.70/563.59	c cleaning 140997 clauses out of 282006 with flag 25641248/10143158
563.34/573.47	c cleaning 141995 clauses out of 284008 with flag 25996635/10286157
573.46/583.51	c cleaning 142997 clauses out of 286014 with flag 26355564/10430158
584.74/594.81	c cleaning 144003 clauses out of 288016 with flag 26723419/10575157
595.62/605.84	c cleaning 145005 clauses out of 290013 with flag 27093564/10721157
606.32/616.57	c cleaning 146001 clauses out of 292008 with flag 27461250/10868157
617.40/627.57	c cleaning 146991 clauses out of 294007 with flag 27837295/11016157
628.14/638.49	c cleaning 147992 clauses out of 296016 with flag 28216173/11165157
638.40/648.66	c cleaning 149002 clauses out of 298024 with flag 28613225/11315157
648.42/658.67	c cleaning 149999 clauses out of 300022 with flag 29007634/11466157
659.86/670.19	c cleaning 151000 clauses out of 302023 with flag 29398154/11618157
670.66/680.99	c cleaning 152001 clauses out of 304023 with flag 29791457/11771157
683.97/694.56	c cleaning 153003 clauses out of 306022 with flag 30189941/11925157
696.24/706.77	c cleaning 153998 clauses out of 308019 with flag 30587031/12080157
709.86/720.33	c cleaning 155007 clauses out of 310023 with flag 30989092/12236159
722.38/732.79	c cleaning 155999 clauses out of 312014 with flag 31385568/12393157
735.87/746.22	c cleaning 157007 clauses out of 314017 with flag 31782262/12551159
749.13/759.53	c cleaning 158001 clauses out of 316008 with flag 32185830/12710157
762.14/772.55	c cleaning 158995 clauses out of 318007 with flag 32594623/12870157
775.48/785.92	c cleaning 160001 clauses out of 320012 with flag 33013122/13031157
781.30/791.77	c Got one! Elapsed wall clock time (in seconds):791.631
781.30/791.77	o 29
783.90/794.39	c cleaning 138181 clauses out of 276387 with flag 12212/13147533
784.90/795.38	c cleaning 72096 clauses out of 144206 with flag 27034/13153533
785.40/795.84	c cleaning 39544 clauses out of 79109 with flag 44349/13160532
785.84/796.23	c cleaning 23769 clauses out of 47566 with flag 64077/13168533
786.14/796.57	c cleaning 16381 clauses out of 32796 with flag 87838/13177532
786.43/796.86	c cleaning 13188 clauses out of 26415 with flag 113929/13187532
786.74/797.14	c cleaning 12103 clauses out of 24229 with flag 141505/13198534
787.04/797.48	c cleaning 12052 clauses out of 24125 with flag 171492/13210533
787.33/797.79	c cleaning 12533 clauses out of 25073 with flag 204732/13223533
787.74/798.14	c cleaning 13271 clauses out of 26545 with flag 240387/13237538
788.03/798.49	c cleaning 14127 clauses out of 28268 with flag 277648/13252532
788.43/798.86	c cleaning 15063 clauses out of 30143 with flag 317896/13268534
788.96/799.31	c cleaning 16033 clauses out of 32078 with flag 361602/13285532
789.35/799.78	c cleaning 17014 clauses out of 34045 with flag 407965/13303532
789.96/800.31	c cleaning 18002 clauses out of 36033 with flag 456060/13322534
790.46/800.89	c cleaning 19009 clauses out of 38029 with flag 508071/13342532
791.05/801.48	c cleaning 20006 clauses out of 40020 with flag 560925/13363532
791.76/802.11	c cleaning 21009 clauses out of 42018 with flag 616261/13385536
792.48/802.81	c cleaning 21997 clauses out of 44006 with flag 673815/13408533
793.18/803.54	c cleaning 23003 clauses out of 46009 with flag 733386/13432533
793.88/804.28	c cleaning 24004 clauses out of 48007 with flag 796525/13457534
794.68/805.08	c cleaning 24999 clauses out of 50001 with flag 861842/13483532
795.57/805.90	c cleaning 25996 clauses out of 52003 with flag 929240/13510533
796.60/806.92	c cleaning 26997 clauses out of 54007 with flag 1001500/13538533
797.49/807.81	c cleaning 28003 clauses out of 56010 with flag 1075611/13567533
798.59/808.90	c cleaning 28991 clauses out of 58006 with flag 1153870/13597532
799.69/810.04	c cleaning 30006 clauses out of 60018 with flag 1234911/13628535
800.82/811.12	c cleaning 31005 clauses out of 62010 with flag 1316138/13660533
801.82/812.13	c cleaning 31995 clauses out of 64004 with flag 1397648/13693532
803.11/813.41	c cleaning 33002 clauses out of 66010 with flag 1483903/13727533
804.31/814.72	c cleaning 33996 clauses out of 68007 with flag 1574037/13762532
805.40/815.84	c cleaning 35003 clauses out of 70012 with flag 1662765/13798533
806.90/817.39	c cleaning 36002 clauses out of 72008 with flag 1760310/13835532
808.33/818.73	c cleaning 37001 clauses out of 74008 with flag 1856826/13873534
809.74/820.18	c cleaning 37998 clauses out of 76006 with flag 1956179/13912533
811.33/821.70	c cleaning 38997 clauses out of 78008 with flag 2058780/13952533
812.66/823.10	c cleaning 39994 clauses out of 80010 with flag 2160130/13993532
814.25/824.66	c cleaning 41008 clauses out of 82016 with flag 2266212/14035532
815.85/826.22	c cleaning 41991 clauses out of 84008 with flag 2377607/14078532
817.56/827.94	c cleaning 43007 clauses out of 86018 with flag 2489742/14122533
819.55/829.90	c cleaning 43998 clauses out of 88010 with flag 2603809/14167532
821.25/831.66	c cleaning 44995 clauses out of 90012 with flag 2722899/14213532
823.07/833.44	c cleaning 46002 clauses out of 92017 with flag 2843394/14260532
824.96/835.30	c cleaning 47002 clauses out of 94015 with flag 2965017/14308532
826.70/837.10	c cleaning 48006 clauses out of 96015 with flag 3088190/14357534
829.00/839.36	c cleaning 48998 clauses out of 98010 with flag 3218200/14407535
831.02/841.37	c cleaning 49999 clauses out of 100010 with flag 3346212/14458533
833.11/843.48	c cleaning 51005 clauses out of 102011 with flag 3477363/14510533
835.21/846.07	c cleaning 51996 clauses out of 104007 with flag 3610309/14563534
837.43/848.27	c cleaning 52990 clauses out of 106010 with flag 3746057/14617533
839.53/850.36	c cleaning 54000 clauses out of 108019 with flag 3886247/14672532
842.15/852.93	c cleaning 55004 clauses out of 110020 with flag 4025929/14728533
845.14/856.00	c cleaning 55991 clauses out of 112015 with flag 4174100/14785532
847.87/858.66	c cleaning 57007 clauses out of 114024 with flag 4321175/14843532
850.56/861.37	c cleaning 58006 clauses out of 116017 with flag 4469543/14902532
853.76/864.50	c cleaning 58999 clauses out of 118011 with flag 4618592/14962532
856.76/867.52	c cleaning 60001 clauses out of 120016 with flag 4776679/15023536
859.07/869.86	c cleaning 60997 clauses out of 122011 with flag 4932999/15085532
861.87/872.68	c cleaning 62003 clauses out of 124017 with flag 5094816/15148535
865.38/876.32	c cleaning 62992 clauses out of 126011 with flag 5262866/15212532
868.66/879.68	c cleaning 64005 clauses out of 128021 with flag 5432724/15277534
872.08/883.06	c cleaning 65000 clauses out of 130014 with flag 5604826/15343532
876.00/886.99	c cleaning 66004 clauses out of 132015 with flag 5774500/15410533
879.19/890.10	c cleaning 67004 clauses out of 134011 with flag 5947521/15478533
882.62/893.53	c cleaning 67993 clauses out of 136006 with flag 6123881/15547532
885.81/896.77	c cleaning 69004 clauses out of 138016 with flag 6300216/15617535
889.44/900.32	c cleaning 70002 clauses out of 140009 with flag 6478058/15688532
892.93/903.86	c cleaning 71001 clauses out of 142008 with flag 6661260/15760533
897.13/908.19	c cleaning 72002 clauses out of 144006 with flag 6846474/15833532
900.66/911.64	c cleaning 72999 clauses out of 146005 with flag 7028717/15907533
904.55/915.53	c cleaning 73998 clauses out of 148006 with flag 7219514/15982533
907.97/918.92	c cleaning 75000 clauses out of 150007 with flag 7402785/16058532
912.20/923.12	c cleaning 76001 clauses out of 152007 with flag 7596244/16135532
916.09/927.04	c cleaning 77005 clauses out of 154009 with flag 7797792/16213535
920.51/931.46	c cleaning 77991 clauses out of 156003 with flag 8001431/16292534
925.05/935.92	c cleaning 79006 clauses out of 158013 with flag 8204239/16372535
929.35/945.95	c cleaning 80002 clauses out of 160005 with flag 8407540/16453533
934.18/950.76	c cleaning 80993 clauses out of 162002 with flag 8618935/16535532
938.81/955.35	c cleaning 81996 clauses out of 164010 with flag 8829986/16618533
943.29/959.83	c cleaning 83003 clauses out of 166013 with flag 9038867/16702532
948.12/964.60	c cleaning 84002 clauses out of 168010 with flag 9251310/16787532
954.26/970.83	c cleaning 84999 clauses out of 170008 with flag 9471610/16873532
959.90/976.44	c cleaning 85999 clauses out of 172009 with flag 9694846/16960532
964.87/981.48	c cleaning 86998 clauses out of 174010 with flag 9912448/17048532
970.00/986.50	c cleaning 87999 clauses out of 176012 with flag 10133288/17137532
975.63/992.16	c cleaning 88999 clauses out of 178013 with flag 10351817/17227532
981.65/1000.00	c cleaning 90000 clauses out of 180014 with flag 10576588/17318532
987.83/1006.25	c cleaning 91000 clauses out of 182014 with flag 10806008/17410532
994.44/1012.80	c cleaning 92004 clauses out of 184014 with flag 11035588/17503532
1000.98/1019.31	c cleaning 92992 clauses out of 186010 with flag 11271130/17597532
1006.61/1024.98	c cleaning 94005 clauses out of 188018 with flag 11510803/17692532
1012.96/1032.88	c cleaning 94986 clauses out of 190013 with flag 11752953/17788532
1019.45/1039.30	c cleaning 96009 clauses out of 192029 with flag 11989481/17885534
1026.17/1046.03	c cleaning 96997 clauses out of 194019 with flag 12233347/17983533
1032.38/1052.26	c cleaning 98003 clauses out of 196021 with flag 12476096/18082532
1038.61/1058.46	c cleaning 99005 clauses out of 198019 with flag 12723854/18182533
1044.51/1078.69	c cleaning 99992 clauses out of 200013 with flag 12969414/18283532
1050.84/1084.94	c cleaning 101006 clauses out of 202022 with flag 13218475/18385533
1057.07/1091.15	c cleaning 102005 clauses out of 204016 with flag 13465881/18488533
1064.46/1198.80	c cleaning 102990 clauses out of 206010 with flag 13720098/18592532
1071.78/1206.14	c cleaning 104009 clauses out of 208021 with flag 13980801/18697533
1077.59/1211.97	c cleaning 104989 clauses out of 210012 with flag 14249353/18803533
1082.91/1217.18	c cleaning 106003 clauses out of 212022 with flag 14530054/18910532
1088.62/1224.68	c cleaning 107002 clauses out of 214020 with flag 14803534/19018533
1094.44/1230.49	c cleaning 108005 clauses out of 216018 with flag 15078578/19127533
1100.98/1236.91	c cleaning 109001 clauses out of 218012 with flag 15354599/19237532
1107.40/1243.35	c cleaning 109999 clauses out of 220011 with flag 15633312/19348532
1113.35/1249.20	c cleaning 110994 clauses out of 222012 with flag 15914545/19460532
1119.03/1255.02	c cleaning 112005 clauses out of 224022 with flag 16201188/19573536
1125.75/1261.72	c cleaning 112994 clauses out of 226013 with flag 16486657/19687532
1132.58/1268.50	c cleaning 114001 clauses out of 228020 with flag 16780480/19802533
1139.40/1275.33	c cleaning 115000 clauses out of 230019 with flag 17078601/19918533
1147.32/1283.24	c cleaning 116001 clauses out of 232018 with flag 17388679/20035532
1154.66/1291.00	c cleaning 117002 clauses out of 234017 with flag 17688354/20153532
1161.09/1297.36	c cleaning 118000 clauses out of 236016 with flag 17985621/20272533
1167.84/1304.05	c cleaning 119007 clauses out of 238019 with flag 18289516/20392536
1174.45/1310.63	c cleaning 119998 clauses out of 240009 with flag 18595109/20513533
1182.36/1318.68	c cleaning 120996 clauses out of 242010 with flag 18914892/20635532
1189.99/1326.27	c cleaning 121995 clauses out of 244015 with flag 19221927/20758533
1197.21/1333.48	c cleaning 123005 clauses out of 246019 with flag 19531277/20882532
1204.22/1340.49	c cleaning 123999 clauses out of 248014 with flag 19842322/21007532
1211.54/1347.88	c cleaning 125003 clauses out of 250016 with flag 20171793/21133533
1220.45/1356.72	c cleaning 125996 clauses out of 252012 with flag 20492514/21260532
1228.97/1365.20	c cleaning 127007 clauses out of 254018 with flag 20809893/21388534
1238.88/1375.11	c cleaning 127999 clauses out of 256012 with flag 21132575/21517535
1248.18/1384.44	c cleaning 128998 clauses out of 258010 with flag 21466127/21647532
1258.62/1394.88	c cleaning 130003 clauses out of 260012 with flag 21806780/21778532
1266.84/1403.07	c cleaning 130998 clauses out of 262010 with flag 22134208/21910533
1276.31/1412.69	c cleaning 132003 clauses out of 264014 with flag 22467878/22043535
1286.22/1422.50	c cleaning 133001 clauses out of 266008 with flag 22804015/22177532
1296.54/1432.84	c cleaning 134002 clauses out of 268007 with flag 23140950/22312532
1306.77/1443.14	c cleaning 134997 clauses out of 270005 with flag 23484239/22448532
1317.18/1453.56	c cleaning 136002 clauses out of 272008 with flag 23829170/22585532
1327.35/1463.67	c cleaning 136998 clauses out of 274007 with flag 24174202/22723533
1338.90/1476.42	c cleaning 137999 clauses out of 276008 with flag 24520274/22862532
1349.32/1486.84	c cleaning 138996 clauses out of 278009 with flag 24863014/23002532
1358.43/1495.98	c cleaning 140000 clauses out of 280013 with flag 25209167/23143532
1368.95/1506.58	c cleaning 140998 clauses out of 282013 with flag 25561987/23285532
1379.17/1516.75	c cleaning 142001 clauses out of 284016 with flag 25911484/23428533
1390.67/1528.23	c cleaning 143007 clauses out of 286014 with flag 26284104/23572532
1401.03/1538.72	c cleaning 144002 clauses out of 288007 with flag 26652164/23717532
1409.28/1546.91	c cleaning 144996 clauses out of 290006 with flag 27016485/23863533
1418.30/1555.97	c cleaning 145997 clauses out of 292009 with flag 27379496/24010532
1427.97/1565.52	c cleaning 147002 clauses out of 294012 with flag 27748339/24158532
1437.48/1575.22	c cleaning 147991 clauses out of 296010 with flag 28117855/24307532
1447.58/1585.36	c cleaning 148995 clauses out of 298019 with flag 28495905/24457532
1457.60/1595.36	c cleaning 150000 clauses out of 300025 with flag 28876113/24608533
1468.39/1606.25	c cleaning 151001 clauses out of 302024 with flag 29257332/24760532
1479.13/1616.97	c cleaning 152007 clauses out of 304026 with flag 29640879/24913535
1488.93/1626.75	c cleaning 153004 clauses out of 306017 with flag 30022718/25067533
1500.21/1638.32	c cleaning 154000 clauses out of 308012 with flag 30415081/25222532
1512.61/1650.71	c cleaning 154998 clauses out of 310012 with flag 30817898/25378532
1524.26/1662.57	c cleaning 156002 clauses out of 312014 with flag 31217698/25535532
1535.12/1673.33	c cleaning 156994 clauses out of 314012 with flag 31621450/25693532
1546.93/1685.11	c cleaning 158005 clauses out of 316018 with flag 32026597/25852532
1558.73/1697.01	c cleaning 159000 clauses out of 318013 with flag 32432064/26012532
1572.23/1710.50	c cleaning 159997 clauses out of 320013 with flag 32837279/26173532
1584.24/1724.98	c cleaning 161002 clauses out of 322016 with flag 33253587/26335532
1597.29/1737.92	c cleaning 162004 clauses out of 324015 with flag 33674206/26498533
1608.23/1748.82	c cleaning 162991 clauses out of 326010 with flag 34106058/26662532
1619.83/1760.68	c cleaning 164003 clauses out of 328021 with flag 34521926/26827534
1632.25/1773.06	c cleaning 164992 clauses out of 330016 with flag 34947497/26993532
1645.28/1786.06	c cleaning 166000 clauses out of 332024 with flag 35406303/27160532
1658.00/1798.53	c cleaning 167007 clauses out of 334024 with flag 35839983/27328532
1671.00/1811.52	c cleaning 167998 clauses out of 336018 with flag 36281944/27497533
1684.61/1825.29	c cleaning 169003 clauses out of 338019 with flag 36738976/27667532
1696.72/1837.38	c cleaning 170007 clauses out of 340021 with flag 37176727/27838537
1709.34/1849.93	c cleaning 171004 clauses out of 342011 with flag 37617607/28010534
1726.10/1871.45	c cleaning 171984 clauses out of 344006 with flag 38063700/28183533
1742.05/1887.40	c cleaning 172998 clauses out of 346021 with flag 38514042/28357532
1758.95/1904.30	c cleaning 173991 clauses out of 348023 with flag 38957654/28532532
1770.40/1915.86	c cleaning 175000 clauses out of 350033 with flag 39407640/28708533
1788.39/1933.87	c cleaning 176013 clauses out of 352033 with flag 39881159/28885533
1802.57/1948.06	c cleaning 177001 clauses out of 354019 with flag 40358725/29063532
1809.20/1954.60	c Got one! Elapsed wall clock time (in seconds):1954.459
1809.20/1954.60	o 28
1811.57/1957.02	c cleaning 146458 clauses out of 292937 with flag 12533/29179451
1813.07/1958.53	c cleaning 76231 clauses out of 152478 with flag 27301/29185450
1813.57/1959.05	c cleaning 41605 clauses out of 83247 with flag 44011/29192450
1813.87/1959.32	c cleaning 24808 clauses out of 49640 with flag 63743/29200448
1814.07/1959.54	c cleaning 16912 clauses out of 33834 with flag 85917/29209450
1814.27/1959.78	c cleaning 13448 clauses out of 26922 with flag 110522/29219450
1814.57/1960.04	c cleaning 12227 clauses out of 24474 with flag 137950/29230450
1814.87/1960.31	c cleaning 12114 clauses out of 24246 with flag 166958/29242449
1815.17/1960.60	c cleaning 12558 clauses out of 25131 with flag 198040/29255448
1815.47/1960.93	c cleaning 13281 clauses out of 26573 with flag 232954/29269448
1815.88/1961.31	c cleaning 14140 clauses out of 28292 with flag 269786/29284448
1816.29/1961.71	c cleaning 15070 clauses out of 30152 with flag 309410/29300448
1816.69/1962.14	c cleaning 16028 clauses out of 32083 with flag 351534/29317449
1817.19/1962.62	c cleaning 17025 clauses out of 34054 with flag 397169/29335448
1817.69/1963.14	c cleaning 18015 clauses out of 36031 with flag 446121/29354450
1818.18/1963.67	c cleaning 19006 clauses out of 38014 with flag 496622/29374448
1818.80/1964.25	c cleaning 19997 clauses out of 40008 with flag 551506/29395448
1819.40/1964.88	c cleaning 20999 clauses out of 42011 with flag 607719/29417448
1820.10/1965.53	c cleaning 22002 clauses out of 44013 with flag 666782/29440449
1820.90/1966.36	c cleaning 23004 clauses out of 46015 with flag 729017/29464453
1821.60/1967.07	c cleaning 23999 clauses out of 48006 with flag 792213/29489448
1822.40/1967.89	c cleaning 25001 clauses out of 50008 with flag 860856/29515449
1823.40/1968.89	c cleaning 25996 clauses out of 52006 with flag 931441/29542448
1824.30/1969.76	c cleaning 27005 clauses out of 54010 with flag 1003505/29570448
1825.39/1970.82	c cleaning 28003 clauses out of 56006 with flag 1078812/29599449
1826.39/1971.82	c cleaning 28998 clauses out of 58002 with flag 1154655/29629448
1827.51/1972.97	c cleaning 30003 clauses out of 60005 with flag 1232645/29660449
1828.69/1974.36	c cleaning 30999 clauses out of 62003 with flag 1315135/29692450
1829.99/1975.64	c cleaning 32001 clauses out of 64002 with flag 1401012/29725448
1831.18/1976.84	c cleaning 32994 clauses out of 66001 with flag 1488894/29759448
1832.40/1978.09	c cleaning 33995 clauses out of 68007 with flag 1577914/29794448
1833.89/1979.54	c cleaning 34998 clauses out of 70012 with flag 1669980/29830448
1835.30/1980.96	c cleaning 36002 clauses out of 72016 with flag 1762861/29867450
1836.81/1982.45	c cleaning 36997 clauses out of 74014 with flag 1861639/29905450
1838.31/1983.98	c cleaning 37996 clauses out of 76016 with flag 1961172/29944449
1840.01/1985.66	c cleaning 39003 clauses out of 78019 with flag 2061764/29984448
1842.02/1987.63	c cleaning 40002 clauses out of 80016 with flag 2167249/30025448
1844.02/1989.67	c cleaning 40999 clauses out of 82014 with flag 2277865/30067448
1845.52/1991.17	c cleaning 42007 clauses out of 84016 with flag 2384883/30110449
1847.34/1992.93	c cleaning 42990 clauses out of 86008 with flag 2497292/30154448
1849.03/1994.66	c cleaning 44003 clauses out of 88018 with flag 2612896/30199448
1850.83/1996.47	c cleaning 45001 clauses out of 90016 with flag 2728642/30245449
1852.65/1998.21	c cleaning 46007 clauses out of 92019 with flag 2846584/30292453
1854.34/1999.94	c cleaning 46994 clauses out of 94009 with flag 2967745/30340450
1856.47/2002.01	c cleaning 48005 clauses out of 96013 with flag 3093197/30389448
1858.86/2004.66	c cleaning 49007 clauses out of 98013 with flag 3229082/30439453
1861.36/2007.19	c cleaning 49990 clauses out of 100001 with flag 3370044/30490448
1863.57/2009.39	c cleaning 51000 clauses out of 102011 with flag 3501549/30542448
1865.87/2011.62	c cleaning 52002 clauses out of 104012 with flag 3640296/30595449
1867.90/2013.65	c cleaning 52996 clauses out of 106009 with flag 3775511/30649448
1870.09/2015.82	c cleaning 53999 clauses out of 108013 with flag 3914001/30704448
1872.22/2017.99	c cleaning 55003 clauses out of 110015 with flag 4053545/30760449
1874.61/2020.31	c cleaning 55997 clauses out of 112012 with flag 4195072/30817449
1877.21/2022.92	c cleaning 57004 clauses out of 114014 with flag 4341922/30875448
1880.02/2025.73	c cleaning 58001 clauses out of 116010 with flag 4500668/30934448
1883.00/2028.70	c cleaning 59003 clauses out of 118009 with flag 4658054/30994448
1886.12/2031.88	c cleaning 59994 clauses out of 120007 with flag 4818142/31055449
1888.91/2034.65	c cleaning 61001 clauses out of 122013 with flag 4970330/31117449
1891.49/2037.37	c cleaning 62005 clauses out of 124011 with flag 5122216/31180448
1894.19/2040.06	c cleaning 62998 clauses out of 126007 with flag 5276984/31244449
1897.50/2043.30	c cleaning 63994 clauses out of 128008 with flag 5444205/31309448
1900.58/2046.48	c cleaning 65000 clauses out of 130014 with flag 5608386/31375448
1903.70/2049.51	c cleaning 66001 clauses out of 132014 with flag 5769659/31442448
1906.69/2052.52	c cleaning 67002 clauses out of 134014 with flag 5935104/31510449
1910.10/2055.93	c cleaning 68003 clauses out of 136011 with flag 6104957/31579448
1913.59/2059.49	c cleaning 68998 clauses out of 138008 with flag 6279829/31649448
1917.28/2063.17	c cleaning 69993 clauses out of 140010 with flag 6452237/31720448
1920.87/2066.86	c cleaning 71006 clauses out of 142018 with flag 6626832/31792449
1924.66/2070.61	c cleaning 72001 clauses out of 144011 with flag 6803474/31865448
1928.78/2074.76	c cleaning 72998 clauses out of 146011 with flag 6982570/31939449
1932.17/2078.17	c cleaning 74002 clauses out of 148012 with flag 7160872/32014448
1935.87/2081.81	c cleaning 75002 clauses out of 150011 with flag 7340976/32090449
1940.27/2086.27	c cleaning 75996 clauses out of 152008 with flag 7539581/32167448
1944.58/2090.59	c cleaning 77004 clauses out of 154013 with flag 7740423/32245449
1948.79/2094.73	c cleaning 78001 clauses out of 156008 with flag 7936696/32324448
1952.77/2098.89	c cleaning 79002 clauses out of 158007 with flag 8139822/32404448
1957.72/2103.86	c cleaning 79997 clauses out of 160007 with flag 8345209/32485450
1963.03/2109.18	c cleaning 81003 clauses out of 162008 with flag 8562556/32567448
1967.99/2114.19	c cleaning 81998 clauses out of 164005 with flag 8776264/32650448
1973.27/2119.44	c cleaning 83003 clauses out of 166007 with flag 8984544/32734448
1978.52/2124.77	c cleaning 84003 clauses out of 168005 with flag 9197290/32819449
1983.90/2130.14	c cleaning 84992 clauses out of 170001 with flag 9411587/32905448
1987.51/2133.84	c cleaning 85991 clauses out of 172010 with flag 9627982/32992449
1991.45/2137.87	c cleaning 87007 clauses out of 174020 with flag 9850721/33080450
1995.92/2142.36	c cleaning 88007 clauses out of 176014 with flag 10073184/33169451
2000.42/2146.83	c cleaning 88996 clauses out of 178004 with flag 10291958/33259448
2004.81/2151.23	c cleaning 90000 clauses out of 180008 with flag 10515291/33350448
2008.73/2155.17	c cleaning 90997 clauses out of 182008 with flag 10736930/33442448
2013.04/2159.47	c cleaning 92001 clauses out of 184012 with flag 10962894/33535449
2017.77/2164.12	c cleaning 93005 clauses out of 186010 with flag 11202042/33629448
2022.03/2168.50	c cleaning 93981 clauses out of 188005 with flag 11434555/33724448
2026.24/2172.75	c cleaning 94995 clauses out of 190025 with flag 11669913/33820449
2031.53/2178.07	c cleaning 96015 clauses out of 192032 with flag 11910035/33917451
2036.65/2183.10	c cleaning 96994 clauses out of 194014 with flag 12159762/34015448
2041.37/2187.87	c cleaning 98004 clauses out of 196020 with flag 12405429/34114448
2045.93/2192.43	c cleaning 98997 clauses out of 198016 with flag 12655074/34214448
2051.11/2197.60	c cleaning 100006 clauses out of 200020 with flag 12905820/34315449
2055.99/2202.54	c cleaning 101005 clauses out of 202015 with flag 13156019/34417450
2061.05/2207.71	c cleaning 101995 clauses out of 204009 with flag 13409894/34520449
2066.51/2213.22	c cleaning 103000 clauses out of 206013 with flag 13663257/34624448
2071.81/2218.58	c cleaning 104006 clauses out of 208014 with flag 13920243/34729449
2077.41/2224.16	c cleaning 104997 clauses out of 210010 with flag 14181476/34835451
2082.39/2229.19	c cleaning 105989 clauses out of 212010 with flag 14441192/34942448
2087.07/2233.86	c cleaning 107011 clauses out of 214023 with flag 14703276/35050450
2092.35/2239.15	c cleaning 107997 clauses out of 216010 with flag 14965617/35159448
2097.32/2244.25	c cleaning 109005 clauses out of 218013 with flag 15233339/35269448
2103.00/2249.95	c cleaning 110002 clauses out of 220008 with flag 15505956/35380448
2109.24/2256.18	c cleaning 110996 clauses out of 222006 with flag 15781522/35492448
2116.85/2263.74	c cleaning 112000 clauses out of 224010 with flag 16082128/35605448
2123.34/2270.20	c cleaning 113002 clauses out of 226010 with flag 16366849/35719448
2129.54/2276.51	c cleaning 113992 clauses out of 228008 with flag 16655697/35834448
2136.72/2283.70	c cleaning 114998 clauses out of 230016 with flag 16945121/35950448
2142.63/2289.67	c cleaning 116004 clauses out of 232019 with flag 17237346/36067449
2149.62/2296.63	c cleaning 116999 clauses out of 234014 with flag 17530271/36185448
2158.21/2305.28	c cleaning 118001 clauses out of 236015 with flag 17839814/36304448
2164.32/2311.49	c cleaning 119004 clauses out of 238015 with flag 18125002/36424449
2172.01/2319.19	c cleaning 119995 clauses out of 240010 with flag 18414993/36545448
2178.90/2326.01	c cleaning 121004 clauses out of 242017 with flag 18705421/36667450
2185.89/2333.05	c cleaning 121997 clauses out of 244011 with flag 19003455/36790448
2193.28/2340.40	c cleaning 123007 clauses out of 246014 with flag 19303031/36914448
2200.32/2347.50	c cleaning 123996 clauses out of 248007 with flag 19601834/37039448
2207.29/2354.57	c cleaning 124997 clauses out of 250011 with flag 19909209/37165448
2215.18/2362.45	c cleaning 126001 clauses out of 252015 with flag 20215175/37292449
2223.19/2370.42	c cleaning 126997 clauses out of 254013 with flag 20522976/37420448
2230.99/2378.37	c cleaning 128003 clauses out of 256016 with flag 20833890/37549448
2239.12/2386.56	c cleaning 128994 clauses out of 258015 with flag 21150104/37679450
2247.37/2394.83	c cleaning 130005 clauses out of 260022 with flag 21466467/37810451
2255.44/2402.90	c cleaning 131005 clauses out of 262014 with flag 21784384/37942448
2264.21/2411.76	c cleaning 132001 clauses out of 264009 with flag 22111204/38075448
2271.60/2419.28	c cleaning 132995 clauses out of 266008 with flag 22442860/38209448
2279.51/2427.14	c cleaning 133999 clauses out of 268014 with flag 22776765/38344449
2290.59/2438.21	c cleaning 134996 clauses out of 270014 with flag 23115193/38480448
2302.31/2450.07	c cleaning 136000 clauses out of 272018 with flag 23447394/38617448
2313.80/2461.55	c cleaning 137009 clauses out of 274018 with flag 23786462/38755448
2323.24/2471.04	c cleaning 137999 clauses out of 276009 with flag 24126160/38894448
2333.60/2484.80	c cleaning 138997 clauses out of 278010 with flag 24464618/39034448
2343.13/2494.34	c cleaning 140006 clauses out of 280014 with flag 24805441/39175449
2353.28/2504.55	c cleaning 140998 clauses out of 282007 with flag 25152612/39317448
2362.19/2513.48	c cleaning 141996 clauses out of 284009 with flag 25504041/39460448
2371.49/2522.73	c cleaning 143003 clauses out of 286014 with flag 25856946/39604449
2381.91/2533.25	c cleaning 143996 clauses out of 288012 with flag 26221027/39749450
2392.12/2543.44	c cleaning 145000 clauses out of 290014 with flag 26581803/39895448
2402.24/2553.53	c cleaning 145995 clauses out of 292014 with flag 26943338/40042448
2413.24/2564.57	c cleaning 147001 clauses out of 294019 with flag 27302114/40190448
2423.80/2575.28	c cleaning 147999 clauses out of 296019 with flag 27665241/40339449
2434.71/2586.13	c cleaning 149006 clauses out of 298019 with flag 28027166/40489448
2446.62/2598.05	c cleaning 149993 clauses out of 300013 with flag 28392483/40640448
2459.90/2611.46	c cleaning 151004 clauses out of 302021 with flag 28769557/40792449
2470.99/2622.59	c cleaning 152008 clauses out of 304018 with flag 29158679/40945450
2482.09/2633.68	c cleaning 152995 clauses out of 306010 with flag 29543587/41099450
2494.96/2646.68	c cleaning 154000 clauses out of 308014 with flag 29933856/41254449
2506.81/2658.47	c cleaning 155003 clauses out of 310013 with flag 30328006/41410448
2518.39/2672.84	c cleaning 156004 clauses out of 312012 with flag 30739326/41567450
2531.71/2686.12	c cleaning 156993 clauses out of 314006 with flag 31131875/41725448
2545.24/2699.72	c cleaning 158001 clauses out of 316014 with flag 31524527/41884449
2558.69/2713.10	c cleaning 158999 clauses out of 318016 with flag 31919640/42044452
2571.03/2725.44	c cleaning 160002 clauses out of 320014 with flag 32313590/42205449
2585.93/2740.49	c cleaning 161007 clauses out of 322013 with flag 32714234/42367450
2599.43/2753.92	c cleaning 161999 clauses out of 324006 with flag 33118199/42530450
2611.60/2766.11	c cleaning 162993 clauses out of 326005 with flag 33531900/42694448
2623.91/2778.40	c cleaning 163998 clauses out of 328012 with flag 33945376/42859448
2640.95/2795.59	c cleaning 165006 clauses out of 330015 with flag 34348730/43025449
2653.44/2807.98	c cleaning 166003 clauses out of 332010 with flag 34750729/43192450
2666.57/2821.03	c cleaning 166998 clauses out of 334005 with flag 35152299/43360448
2680.93/2835.43	c cleaning 167998 clauses out of 336008 with flag 35570566/43529449
2694.77/2849.25	c cleaning 169002 clauses out of 338009 with flag 35982915/43699448
2709.53/2864.05	c cleaning 169998 clauses out of 340007 with flag 36398510/43870448
2723.64/2878.16	c cleaning 171000 clauses out of 342011 with flag 36813516/44042450
2738.69/2893.41	c cleaning 171992 clauses out of 344009 with flag 37235793/44215448
2754.37/2909.11	c cleaning 173003 clauses out of 346018 with flag 37648777/44389449
2768.34/2923.07	c cleaning 174000 clauses out of 348014 with flag 38073309/44564448
2781.64/2936.32	c cleaning 175006 clauses out of 350015 with flag 38513988/44740449
2797.42/2952.11	c cleaning 176002 clauses out of 352008 with flag 38949647/44917448
2812.47/2967.24	c cleaning 176997 clauses out of 354006 with flag 39387883/45095448
2827.72/2982.53	c cleaning 178007 clauses out of 356019 with flag 39821519/45274458
2843.76/2998.55	c cleaning 178992 clauses out of 358003 with flag 40263679/45454449
2858.07/3019.20	c cleaning 180004 clauses out of 360012 with flag 40706196/45635450
2874.79/3035.99	c cleaning 180997 clauses out of 362006 with flag 41160598/45817448
2892.39/3055.63	c cleaning 182004 clauses out of 364009 with flag 41622112/46000448
2908.55/3071.74	c cleaning 182992 clauses out of 366006 with flag 42064864/46184449
2926.48/3089.73	c cleaning 184006 clauses out of 368013 with flag 42513430/46369448
2942.17/3105.49	c cleaning 185000 clauses out of 370010 with flag 42964442/46555451
2960.94/3124.32	c cleaning 185993 clauses out of 372007 with flag 43428818/46742448
2977.64/3141.02	c cleaning 187000 clauses out of 374015 with flag 43879999/46930449
2996.16/3159.56	c cleaning 187997 clauses out of 376014 with flag 44352670/47119448
3018.34/3184.78	c cleaning 188997 clauses out of 378018 with flag 44838697/47309449
3035.97/3202.42	c cleaning 190005 clauses out of 380021 with flag 45287825/47500449
3053.63/3220.11	c cleaning 191000 clauses out of 382015 with flag 45757843/47692448
3072.01/3238.63	c cleaning 191999 clauses out of 384015 with flag 46215922/47885448
3089.69/3256.42	c cleaning 193001 clauses out of 386017 with flag 46673102/48079449
3107.81/3274.63	c cleaning 193994 clauses out of 388016 with flag 47128852/48274449
3125.86/3292.74	c cleaning 195007 clauses out of 390021 with flag 47594619/48470448
3144.54/3311.48	c cleaning 195999 clauses out of 392015 with flag 48059779/48667449
3163.53/3330.44	c cleaning 197007 clauses out of 394016 with flag 48527288/48865449
3185.84/3352.48	c cleaning 197997 clauses out of 396008 with flag 49014963/49064448
3208.31/3374.93	c cleaning 198998 clauses out of 398013 with flag 49495386/49264450
3229.48/3396.21	c cleaning 199999 clauses out of 400013 with flag 49983827/49465448
3249.09/3416.00	c cleaning 201003 clauses out of 402016 with flag 50487583/49667450
3276.93/3443.81	c cleaning 201993 clauses out of 404013 with flag 50995197/49870450
3292.47/3459.49	c cleaning 203004 clauses out of 406018 with flag 51481752/50074448
3307.80/3474.87	c cleaning 204003 clauses out of 408014 with flag 51979512/50279448
3322.82/3489.91	c cleaning 204996 clauses out of 410011 with flag 52479411/50485448
3336.54/3503.69	c cleaning 205998 clauses out of 412016 with flag 52981268/50692449
3350.47/3523.21	c cleaning 206995 clauses out of 414017 with flag 53483084/50900448
3364.40/3537.16	c cleaning 208002 clauses out of 416023 with flag 53987348/51109449
3377.90/3550.64	c cleaning 209005 clauses out of 418020 with flag 54491518/51319448
3392.42/3571.66	c cleaning 210003 clauses out of 420015 with flag 55004288/51530448
3404.81/3584.03	c cleaning 211006 clauses out of 422013 with flag 55517098/51742449
3421.04/3600.39	c cleaning 211999 clauses out of 424007 with flag 56031905/51955449
3435.63/3614.91	c cleaning 213003 clauses out of 426007 with flag 56548766/52169448
3449.85/3629.21	c cleaning 213997 clauses out of 428004 with flag 57070518/52384448
3463.76/3643.11	c cleaning 214990 clauses out of 430008 with flag 57601538/52600449
3478.36/3657.83	c cleaning 215999 clauses out of 432017 with flag 58134638/52817448
3492.96/3672.47	c cleaning 216999 clauses out of 434019 with flag 58668727/53035449
3508.32/3687.79	c cleaning 218003 clauses out of 436020 with flag 59204560/53254449
3520.55/3700.02	c starts		: 28
3520.55/3700.03	c conflicts		: 53474450
3520.55/3700.03	c decisions		: 103146942
3520.55/3700.03	c propagations		: 1252551647
3520.55/3700.03	c inspects		: 28023324929
3520.55/3700.03	c shortcuts		: 0
3520.55/3700.03	c learnt literals	: 0
3520.55/3700.03	c learnt binary clauses	: 0
3520.55/3700.03	c learnt ternary clauses	: 0
3520.55/3700.03	c learnt constraints	: 53474450
3520.55/3700.03	c ignored constraints	: 0
3520.55/3700.03	c root simplifications	: 0
3520.55/3700.03	c removed literals (reason simplification)	: 86345563
3520.55/3700.03	c reason swapping (by a shorter reason)	: 0
3520.55/3700.03	c Calls to reduceDB	: 547
3520.55/3700.03	c Number of update (reduction) of LBD	: 9551977
3520.55/3700.03	c Imported unit clauses	: 0
3520.55/3700.03	c No decision after first conflict	: false
3520.55/3700.03	c number of reductions to clauses (during analyze)	: 0
3520.55/3700.03	c number of learned constraints concerned by reduction	: 0
3520.55/3700.03	c number of learning phase by resolution	: 0
3520.55/3700.03	c number of learning phase by cutting planes	: 0
3520.55/3700.03	c number of rounding to 1 operations	: 0
3520.55/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3520.55/3700.03	c number of reductions of the coefficients by power 2 	: 0
3520.55/3700.04	c number of right shift for reduction by power 2 	: 0
3520.55/3700.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3520.55/3700.04	c number of ending skipping 	: 0
3520.55/3700.04	c number of internal skipping 	: 0
3520.55/3700.04	c number of derivation steps 	: 0
3520.55/3700.04	c number of skipped derivation steps 	: 0
3520.55/3700.04	c number of remaining unassigned 	: 0
3520.55/3700.04	c number of remaining assigned 	: 0
3520.55/3700.04	c number of falsified literals weakened from reason	: 0
3520.55/3700.04	c number of falsified literals weakened from conflict	: 0
3520.55/3700.04	c time for arithmetic operations	: 0
3520.55/3700.04	c minimum degree of deleted constraints	: null
3520.55/3700.04	c maximum degree of deleted constraints	: null
3520.55/3700.04	c number of deleted constraints	: 0
3520.55/3700.05	c speed (assignments/second)	: 339307.6964544417
3520.55/3700.05	c non guided choices	: 0
3520.75/3700.12	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 438018
3520.75/3700.12	s SATISFIABLE
3520.75/3700.12	c Found 5 solution(s)
3520.75/3700.12	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 
3520.75/3700.12	c objective function=28
3520.75/3700.12	c Total wall clock time (in seconds): 3699.981

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: 63708 MiB (52875 MiB free)
  memory of node 1: 64465 MiB (60085 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502793-1751431094/watcher-4502793-1751431094 -o /tmp/evaluation-result-4502793-1751431094/solver-4502793-1751431094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751422121-58941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502793-1751431094 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502793-1751431094.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=60449, runsolver pid=60446

[startup+0.10006 s]*
/proc/loadavg: 11.40 5.31 4.04 4/445 60467
/proc/meminfo: memFree=115641704/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=55560 CPUtime=0.12 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6540 0 0 0 10 2 0 0 20 0 18 0 58787792 19384713216 13890 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 13890 5373 1 0 547588 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 5040 0 0 0 6 1 0 0 20 0 18 0 58787793 19384713216 13890 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=215637821742 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 13890 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=33750 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 13890 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55560 KiB

[startup+0.208469 s]*
/proc/loadavg: 11.40 5.31 4.04 3/445 60467
/proc/meminfo: memFree=115634096/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6819 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=4026730267 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=211342852430 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=54087446200353 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB

[startup+0.3084 s]*
/proc/loadavg: 11.40 5.31 4.04 3/445 60467
/proc/meminfo: memFree=115634096/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6819 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=-6000919481313291369 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB

[startup+0.700208 s]
/proc/loadavg: 11.40 5.31 4.04 3/445 60467
/proc/meminfo: memFree=115626032/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6819 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=18176 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=10752 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=3328 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB

[startup+1.50019 s]
/proc/loadavg: 11.40 5.31 4.04 3/445 60467
/proc/meminfo: memFree=115624016/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6819 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=0 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=10752 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=14976 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB

[startup+3.10824 s]
/proc/loadavg: 11.40 5.31 4.04 3/446 60469
/proc/meminfo: memFree=115620252/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6819 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=10752 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=164 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 10.73 5.27 4.04 3/446 60469
/proc/meminfo: memFree=115595704/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.19 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 6821 0 0 0 17 2 0 0 20 0 18 0 58787792 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4732596 14763 5437 1 0 547794 0
[pid=60449/tid=60451] ppid=60446 vsize=18930384 memory=59052 CPUtime=0.11 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4456512 5210 0 0 0 10 1 0 0 20 0 18 0 58787793 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=18930384 memory=10752 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=18930384 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 58787796 19384713216 14763 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59052 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 10.43 5.30 4.05 4/448 60471
/proc/meminfo: memFree=115000204/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=673432 CPUtime=6.41 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 21828 0 0 0 620 21 0 0 20 0 20 0 58787792 19521036288 168358 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 168358 5501 1 0 552787 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=204264 CPUtime=4.19 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 6780 0 0 0 401 18 0 0 20 0 20 0 58787793 19521036288 168358 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=599704 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 168358 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 168358 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=259613593294932 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 168358 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 6.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 673432 KiB
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 8.79 5.18 4.03 4/448 60471
/proc/meminfo: memFree=114111116/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=1310412 CPUtime=19.21 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 26237 0 0 0 1874 47 0 0 20 0 20 0 58787792 19521036288 327603 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 327603 5501 1 0 552787 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=4570754083950587554 CPUtime=16.89 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 8549 0 0 0 1648 41 0 0 20 0 20 0 58787793 19521036288 327603 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=1310412 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 327603 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=-6000919481313291369 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 327603 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=18176 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 327603 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 19.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310412 KiB
heavy processes:

[startup+51.1084 s]
/proc/loadavg: 6.87 5.02 4.01 4/448 60471
/proc/meminfo: memFree=113964048/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=1337236 CPUtime=44.68 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 33329 0 0 0 4395 73 0 0 20 0 20 0 58787792 19521036288 334309 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 334309 5533 1 0 552787 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=14976 CPUtime=42.07 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 11045 0 0 0 4141 66 0 0 20 0 20 0 58787793 19521036288 334309 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=1329036 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 334309 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=1326856 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 334309 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=1326856 CPUtime=0 cores=1,3

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

[startup+3342.3 s]
/proc/loadavg: 1.09 1.12 1.47 2/269 60721
/proc/meminfo: memFree=115373744/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2168260 CPUtime=3175.47 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 109103 0 0 0 315846 1701 0 0 20 0 20 0 58787792 19521036288 542065 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542065 5565 1 0 553801 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=14976 CPUtime=3140.1 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 42204 0 0 0 312402 1608 0 0 20 0 20 0 58787793 19521036288 542065 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542065 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1687 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542065 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542065 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3175.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2168260 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.13 1.45 2/269 60724
/proc/meminfo: memFree=115230100/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3235.59 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 113686 0 0 0 321842 1717 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=10752 CPUtime=3199.47 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 44464 0 0 0 318322 1625 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=2167748 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1687 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3235.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.12 1.43 2/268 60726
/proc/meminfo: memFree=115107088/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3295.34 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 114505 0 0 0 327798 1736 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=10752 CPUtime=3258.84 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 45102 0 0 0 324242 1642 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=21996 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1770 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3295.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB

[startup+3522.3 s]
/proc/loadavg: 1.23 1.14 1.41 1/268 60728
/proc/meminfo: memFree=114903256/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3350.4 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 115606 0 0 0 333276 1764 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3313.21 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) D 60446 60449 58903 0 -1 4194368 45905 0 0 0 329652 1669 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1853 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3350.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.13 1.39 2/268 60732
/proc/meminfo: memFree=114704568/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3403.11 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 115686 0 0 0 338521 1790 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=14976 CPUtime=3365.43 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 45915 0 0 0 334849 1694 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1853 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3403.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB

[startup+3642.3 s]
/proc/loadavg: 1.10 1.12 1.37 2/267 60734
/proc/meminfo: memFree=114499924/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3462.96 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 115732 0 0 0 344478 1818 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=18176 CPUtime=3424.82 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 45923 0 0 0 340760 1722 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1853 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3462.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 1.08 1.11 1.35 2/269 60742
/proc/meminfo: memFree=114289852/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19063512 memory=2170180 CPUtime=3520.55 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 116676 0 0 0 350210 1845 0 0 20 0 20 0 58787792 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4765878 542545 5565 1 0 554281 0
[pid=60449/tid=60451] ppid=60446 vsize=19063512 memory=-6000919481313291369 CPUtime=3481.82 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 46733 0 0 0 346434 1748 0 0 20 0 20 0 58787793 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19063512 memory=7024 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1853 0 0 0 0 0 0 0 20 0 20 0 58787796 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60470] ppid=60446 vsize=19063512 memory=2228 CPUtime=0 cores=1,3
/proc/60449/task/60470/stat : 60470 (Timer-0) S 60446 60449 58903 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 58788648 19521036288 542545 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3520.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2170180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3502.33 s, system=18.47 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3700.11 s]
/proc/loadavg: 1.08 1.11 1.35 2/269 60742
/proc/meminfo: memFree=114289852/131249996 swapFree=33010160/33010684
[pid=60449] ppid=60446 vsize=19263204 memory=2170948 CPUtime=3520.75 cores=1,3
/proc/60449/stat : 60449 (java) S 60446 60449 58903 0 -1 4194304 119074 0 0 0 350229 1846 0 0 20 0 21 0 58787792 19725520896 542737 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
/proc/60449/statm: 4815801 542737 5597 1 0 555216 0
[pid=60449/tid=60451] ppid=60446 vsize=19263204 memory=2170180 CPUtime=3481.92 cores=1,3
/proc/60449/task/60451/stat : 60451 (java) R 60446 60449 58903 0 -1 4194368 46733 0 0 0 346444 1748 0 0 20 0 21 0 58787793 19725520896 542737 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60460] ppid=60446 vsize=19263204 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60460/stat : 60460 (Finalizer) S 60446 60449 58903 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 58787796 19725520896 542737 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
[pid=60449/tid=60467] ppid=60446 vsize=19263204 memory=2170180 CPUtime=0 cores=1,3
/proc/60449/task/60467/stat : 60467 (Common-Cleaner) S 60446 60449 58903 0 -1 4194368 1853 0 0 0 0 0 0 0 20 0 21 0 58787796 19725520896 542737 18446744073709551615 94235587571712 94235587575408 140726974685760 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94235587583224 94235587584016 94235595079680 140726974691632 140726974691814 140726974691814 140726974697416 0
Current children cumulated CPU time: 3520.75 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2170948 KiB

Child status: 143

Real time (s): 3700.14
CPU time (s): 3520.8
CPU user time (s): 3502.33
CPU system time (s): 18.47
CPU usage (%): 95.1532
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2170948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.33
system time used= 18.47
maximum resident set size= 2171204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119411
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26094152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132679
involuntary context switches= 14653


# summary of solver processes directly reported to runsolver:
#   pid: 60449
#   total CPU time (s): 3520.8
#   total CPU user time (s): 3502.33
#   total CPU system time (s): 18.47

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.92133 second user time and 15.3499 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-02 06:38:14
IDJOB=4502793
IDBENCH=155398
IDSOLVER=3364
FILE ID=nodeC029/4502793-1751431094
RUNJOBID= nodeC029-1751422121-58941
SLURM_JOB_ID= 9598351
Free space on /tmp= 432576 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
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 -w /tmp/evaluation-result-4502793-1751431094/watcher-4502793-1751431094 -o /tmp/evaluation-result-4502793-1751431094/solver-4502793-1751431094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751422121-58941 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4502793-1751431094 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4502793-1751431094.opb

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

MD5SUM BENCH= f8cbff203f2ec66bcdec19280bdd1d00
RANDOM SEED=1139260677

nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.976
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3600.277
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3603.679
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.726
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.988
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.721
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.726
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
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		: 3599.865
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        115672132 kB
MemAvailable:   125031380 kB
Buffers:            2128 kB
Cached:         10150404 kB
SwapCached:           40 kB
Active:          5160484 kB
Inactive:        9711256 kB
Active(anon):    4732608 kB
Inactive(anon):     4768 kB
Active(file):     427876 kB
Inactive(file):  9706488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           3017312 kB
Writeback:             0 kB
AnonPages:       4721252 kB
Mapped:           123536 kB
Shmem:             18020 kB
KReclaimable:     128244 kB
Slab:             313588 kB
SReclaimable:     128244 kB
SUnreclaim:       185344 kB
KernelStack:        6928 kB
PageTables:        12528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5193748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      153128 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4374528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432576 MiB
End job on nodeC029 at 2025-07-02 07:39:54