Trace number 4432491

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 Default 2024-07-07? (TO) 3600.14 3596.57

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
MD5SUM874226caa0bf9660770f6c6eed696157
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 benchmark5107943
Best CPU time to get the best result obtained on this benchmark552.976
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 182284263
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 13627510549
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 182284263
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 13627510549
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4432491-1721146769.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.92/0.59	c ... done. Wall clock time 0.461s.
0.92/0.59	c declared #vars     31350
0.92/0.59	c #constraints  74539
0.92/0.59	c constraints type 
0.92/0.59	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 45025
0.92/0.59	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 32
0.92/0.59	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14750
0.92/0.59	c org.sat4j.specs.Constr$1 => 3
0.92/0.59	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.92/0.59	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14726
0.92/0.59	c 74539 constraints processed.
0.92/0.59	c objective function length is 16825 literals
1.47/0.82	c SATISFIABLE
1.47/0.82	c OPTIMIZING...
1.47/0.82	c Got one! Elapsed wall clock time (in seconds):0.692
1.47/0.82	o 6518969
1.67/0.92	c Got one! Elapsed wall clock time (in seconds):0.791
1.67/0.92	o 6187575
3.07/1.60	c Got one! Elapsed wall clock time (in seconds):1.477
3.07/1.60	o 6184194
6.19/4.08	c Got one! Elapsed wall clock time (in seconds):3.956
6.19/4.08	o 6175338
7.49/5.21	c cleaning 3399 clauses out of 6800 with flag 10487/6800
9.20/6.70	c Got one! Elapsed wall clock time (in seconds):6.581
9.20/6.70	o 6161940
10.89/8.34	c cleaning 4571 clauses out of 9155 with flag 15575/12562
14.31/11.41	c cleaning 5275 clauses out of 10580 with flag 58151/18558
18.32/15.27	c cleaning 6147 clauses out of 12293 with flag 106216/25558
22.61/19.50	c cleaning 7073 clauses out of 14146 with flag 163690/33558
25.21/22.17	c Got one! Elapsed wall clock time (in seconds):22.048
25.21/22.17	o 6146404
25.86/22.73	c cleaning 6433 clauses out of 12884 with flag 7963/39369
29.25/26.16	c cleaning 6224 clauses out of 12451 with flag 58751/45369
33.38/30.19	c cleaning 6613 clauses out of 13227 with flag 124155/52369
37.86/34.62	c cleaning 7306 clauses out of 14612 with flag 194035/60370
42.55/39.32	c cleaning 8142 clauses out of 16306 with flag 251209/69370
47.64/44.42	c cleaning 9072 clauses out of 18159 with flag 312095/79370
53.65/50.45	c cleaning 10037 clauses out of 20086 with flag 400427/90369
54.55/51.37	c Got one! Elapsed wall clock time (in seconds):51.248
54.55/51.37	o 6143124
56.78/53.58	c cleaning 7825 clauses out of 15656 with flag 29779/95976
60.07/56.85	c cleaning 6897 clauses out of 13831 with flag 80274/101976
63.86/60.67	c cleaning 6956 clauses out of 13934 with flag 136928/108976
68.61/65.31	c cleaning 7488 clauses out of 14978 with flag 206355/116976
73.71/70.41	c cleaning 8230 clauses out of 16491 with flag 272176/125977
79.71/76.42	c cleaning 9123 clauses out of 18259 with flag 335318/135976
85.75/82.42	c cleaning 10059 clauses out of 20137 with flag 407911/146977
92.24/88.90	c cleaning 11037 clauses out of 22077 with flag 486170/158977
99.51/96.24	c cleaning 12001 clauses out of 24039 with flag 592123/171976
105.36/102.01	c Got one! Elapsed wall clock time (in seconds):101.888
105.36/102.01	o 6140514
106.08/102.78	c Got one! Elapsed wall clock time (in seconds):102.657
106.08/102.78	o 6130453
106.29/102.92	c Got one! Elapsed wall clock time (in seconds):102.803
106.29/102.92	o 6123645
108.59/105.27	c cleaning 13866 clauses out of 27760 with flag 27861/187698
111.88/108.55	c cleaning 9937 clauses out of 19895 with flag 64920/193699
115.97/112.62	c cleaning 8474 clauses out of 16958 with flag 105913/200699
120.69/117.37	c cleaning 8220 clauses out of 16483 with flag 157702/208698
125.68/122.32	c cleaning 8623 clauses out of 17263 with flag 210961/217698
128.27/125.00	c Got one! Elapsed wall clock time (in seconds):124.881
128.27/125.00	o 6116373
128.87/125.56	c cleaning 7152 clauses out of 14319 with flag 6066/223377
131.96/128.63	c cleaning 6561 clauses out of 13168 with flag 40305/229378
135.97/132.65	c cleaning 6791 clauses out of 13606 with flag 78279/236377
140.56/137.20	c cleaning 7400 clauses out of 14816 with flag 121317/244378
145.55/142.26	c cleaning 8210 clauses out of 16420 with flag 178043/253382
151.45/148.12	c cleaning 9097 clauses out of 18204 with flag 253591/263377
157.70/154.48	c cleaning 10038 clauses out of 20108 with flag 340982/274378
164.50/161.28	c cleaning 11032 clauses out of 22072 with flag 439550/286380
171.80/168.54	c cleaning 12010 clauses out of 24038 with flag 541028/299378
177.94/174.79	c Got one! Elapsed wall clock time (in seconds):174.669
177.94/174.79	o 6113057
180.24/177.02	c Got one! Elapsed wall clock time (in seconds):176.9
180.24/177.02	o 6106907
181.53/178.31	c cleaning 14516 clauses out of 29052 with flag 14296/316402
184.95/181.71	c cleaning 10251 clauses out of 20534 with flag 55679/322400
189.05/185.86	c cleaning 8630 clauses out of 17283 with flag 97162/329400
193.51/190.35	c cleaning 8304 clauses out of 16653 with flag 142380/337400
198.97/195.86	c cleaning 8671 clauses out of 17350 with flag 189889/346401
205.30/202.27	c cleaning 9325 clauses out of 18678 with flag 251235/356400
211.82/208.79	c cleaning 10163 clauses out of 20353 with flag 314737/367400
219.11/216.03	c cleaning 11082 clauses out of 22191 with flag 380972/379401
221.60/218.50	c Got one! Elapsed wall clock time (in seconds):218.381
221.60/218.50	o 6100958
222.70/219.68	c cleaning 8505 clauses out of 17027 with flag 10729/385319
224.99/221.91	c Got one! Elapsed wall clock time (in seconds):221.788
224.99/221.91	o 6094671
226.07/223.07	c cleaning 7055 clauses out of 14148 with flag 11887/390945
229.46/226.49	c cleaning 6535 clauses out of 13090 with flag 49452/396943
233.45/230.43	c cleaning 6768 clauses out of 13554 with flag 88018/403942
237.99/234.96	c cleaning 7385 clauses out of 14786 with flag 131331/411942
242.87/239.85	c cleaning 8181 clauses out of 16401 with flag 175696/420942
248.96/245.99	c cleaning 9076 clauses out of 18220 with flag 227024/430942
256.15/253.18	c cleaning 10072 clauses out of 20143 with flag 286931/441942
263.03/260.07	c cleaning 11021 clauses out of 22071 with flag 349013/453942
271.30/268.31	c cleaning 12021 clauses out of 24052 with flag 413166/466944
280.06/277.08	c cleaning 13009 clauses out of 26029 with flag 480423/480942
289.15/286.15	c cleaning 13991 clauses out of 28018 with flag 552505/495942
294.83/291.81	c Got one! Elapsed wall clock time (in seconds):291.691
294.83/291.81	o 6086642
297.82/294.82	c cleaning 14197 clauses out of 28428 with flag 28910/510343
299.12/296.17	c Got one! Elapsed wall clock time (in seconds):296.055
299.12/296.17	o 6083156
300.91/297.94	c cleaning 9639 clauses out of 19301 with flag 14791/515413
301.01/298.08	c Got one! Elapsed wall clock time (in seconds):297.957
301.01/298.08	o 6081653
304.01/301.02	c cleaning 7429 clauses out of 14882 with flag 25248/520633
307.34/304.36	c cleaning 6703 clauses out of 13453 with flag 54993/526633
311.53/308.58	c cleaning 6859 clauses out of 13750 with flag 89785/533633
316.32/313.40	c cleaning 7437 clauses out of 14891 with flag 138551/541633
317.02/314.10	c Got one! Elapsed wall clock time (in seconds):313.979
317.02/314.10	o 6073855
319.32/316.35	c Got one! Elapsed wall clock time (in seconds):316.227
319.32/316.35	o 6061757
319.92/316.94	c cleaning 6717 clauses out of 13471 with flag 5129/547650
323.51/320.56	c cleaning 6369 clauses out of 12754 with flag 36514/553650
327.60/324.67	c cleaning 6688 clauses out of 13386 with flag 70740/560651
332.18/329.24	c cleaning 7339 clauses out of 14697 with flag 114323/568650
337.53/334.52	c cleaning 8175 clauses out of 16358 with flag 165050/577650
343.31/340.35	c cleaning 9079 clauses out of 18183 with flag 215704/587650
350.01/347.01	c cleaning 10033 clauses out of 20105 with flag 268014/598651
357.38/354.48	c cleaning 11033 clauses out of 22075 with flag 326567/610654
365.66/362.77	c cleaning 12010 clauses out of 24038 with flag 386701/623650
374.83/371.92	c cleaning 13002 clauses out of 26028 with flag 459620/637650
384.61/381.71	c cleaning 14002 clauses out of 28026 with flag 538865/652650
385.31/382.46	c Got one! Elapsed wall clock time (in seconds):382.344
385.31/382.46	o 6052532
387.80/384.93	c cleaning 9556 clauses out of 19152 with flag 16985/657778
391.20/388.37	c cleaning 7787 clauses out of 15596 with flag 43305/663778
395.49/392.62	c cleaning 7388 clauses out of 14809 with flag 77362/670778
400.18/397.34	c cleaning 7693 clauses out of 15421 with flag 115470/678778
405.66/402.75	c cleaning 8351 clauses out of 16728 with flag 157427/687778
407.74/404.88	c Got one! Elapsed wall clock time (in seconds):404.759
407.74/404.88	o 6052062
408.93/406.05	c cleaning 7007 clauses out of 14025 with flag 9911/693426
409.03/406.19	c Got one! Elapsed wall clock time (in seconds):406.066
409.03/406.19	o 6005594
412.01/409.18	c cleaning 6077 clauses out of 12230 with flag 24039/698638
415.57/412.77	c cleaning 6055 clauses out of 12153 with flag 53039/704638
416.46/413.69	c Got one! Elapsed wall clock time (in seconds):413.569
416.46/413.69	o 6004955
418.94/416.11	c cleaning 5767 clauses out of 11550 with flag 17610/710090
422.21/419.40	c cleaning 5878 clauses out of 11787 with flag 45724/716094
426.17/423.40	c cleaning 6447 clauses out of 12905 with flag 78915/723090
430.64/427.97	c cleaning 7221 clauses out of 14460 with flag 116293/731092
435.80/433.16	c cleaning 8111 clauses out of 16238 with flag 150476/740091
441.85/439.04	c cleaning 9056 clauses out of 18127 with flag 197007/750091
447.98/445.25	c cleaning 10027 clauses out of 20070 with flag 246615/761090
455.02/452.36	c cleaning 11017 clauses out of 22043 with flag 309574/773090
463.05/460.41	c cleaning 12010 clauses out of 24027 with flag 373110/786091
471.57/469.01	c cleaning 13001 clauses out of 26016 with flag 442350/800090
479.69/477.24	c cleaning 14002 clauses out of 28015 with flag 514995/815090
488.51/486.19	c cleaning 15003 clauses out of 30014 with flag 585802/831091
498.42/496.11	c cleaning 16001 clauses out of 32010 with flag 655108/848090
509.03/506.74	c cleaning 16989 clauses out of 34009 with flag 731792/866090
520.00/517.76	c cleaning 17992 clauses out of 36021 with flag 817741/885091
528.78/526.57	c Got one! Elapsed wall clock time (in seconds):526.447
528.78/526.57	o 5965891
531.87/529.67	c cleaning 19080 clauses out of 38170 with flag 31482/905233
535.57/533.38	c cleaning 12523 clauses out of 25089 with flag 60381/911232
540.05/537.81	c cleaning 9765 clauses out of 19566 with flag 94804/918232
545.44/543.26	c cleaning 8894 clauses out of 17801 with flag 138682/926233
551.12/548.94	c cleaning 8941 clauses out of 17906 with flag 184585/935232
557.51/555.38	c cleaning 9469 clauses out of 18965 with flag 234869/945232
564.79/562.58	c cleaning 10243 clauses out of 20496 with flag 286576/956232
571.87/569.61	c cleaning 11105 clauses out of 22252 with flag 343188/968232
579.54/577.37	c cleaning 12062 clauses out of 24146 with flag 410520/981232
587.83/585.62	c cleaning 13028 clauses out of 26084 with flag 478917/995232
596.60/594.46	c cleaning 14028 clauses out of 28055 with flag 558704/1010232
606.09/603.92	c cleaning 15006 clauses out of 30027 with flag 643299/1026232
607.29/605.16	c Got one! Elapsed wall clock time (in seconds):605.045
607.29/605.16	o 5921620
608.98/606.88	c cleaning 10002 clauses out of 20036 with flag 15075/1031247
612.47/610.37	c cleaning 7995 clauses out of 16034 with flag 45832/1037247
612.76/610.62	c Got one! Elapsed wall clock time (in seconds):610.504
612.76/610.62	o 5893028
615.66/613.50	c cleaning 6737 clauses out of 13501 with flag 25569/1042709
619.12/616.96	c cleaning 6356 clauses out of 12762 with flag 54779/1048707
623.01/620.84	c cleaning 6679 clauses out of 13406 with flag 88702/1055707
627.49/625.37	c cleaning 7348 clauses out of 14727 with flag 129782/1063707
632.58/630.48	c cleaning 8181 clauses out of 16379 with flag 180001/1072707
635.77/633.62	c Got one! Elapsed wall clock time (in seconds):633.504
635.77/633.62	o 5829679
638.47/636.39	c cleaning 9179 clauses out of 18395 with flag 21407/1082904
641.75/639.60	c cleaning 7591 clauses out of 15216 with flag 48685/1088904
645.64/643.53	c cleaning 7303 clauses out of 14625 with flag 83089/1095904
650.14/648.07	c cleaning 7649 clauses out of 15322 with flag 120759/1103904
655.02/652.97	c cleaning 8331 clauses out of 16674 with flag 162121/1112905
655.22/653.19	c Got one! Elapsed wall clock time (in seconds):653.07
655.22/653.19	o 5820197
658.11/656.03	c cleaning 6810 clauses out of 13664 with flag 24511/1118226
661.50/659.45	c cleaning 6411 clauses out of 12857 with flag 54971/1124229
665.48/663.41	c cleaning 6692 clauses out of 13443 with flag 91054/1131226
670.38/668.32	c cleaning 7370 clauses out of 14751 with flag 129211/1139226
675.86/673.85	c cleaning 8187 clauses out of 16382 with flag 170400/1148227
682.00/679.99	c cleaning 9094 clauses out of 18195 with flag 217631/1158227
688.38/686.33	c cleaning 10040 clauses out of 20101 with flag 274986/1169227
694.86/692.88	c cleaning 11022 clauses out of 22060 with flag 335600/1181226
701.94/699.95	c cleaning 12015 clauses out of 24038 with flag 402386/1194226
709.82/707.83	c cleaning 13000 clauses out of 26023 with flag 472472/1208226
719.00/717.02	c cleaning 14009 clauses out of 28023 with flag 549056/1223226
728.78/726.86	c cleaning 15008 clauses out of 30015 with flag 621564/1239227
738.85/736.99	c cleaning 15978 clauses out of 32006 with flag 694476/1256226
749.43/747.58	c cleaning 17007 clauses out of 34029 with flag 775217/1274227
761.39/759.46	c cleaning 18000 clauses out of 36021 with flag 865739/1293226
773.96/772.05	c cleaning 19000 clauses out of 38022 with flag 975864/1313227
787.04/785.15	c cleaning 20007 clauses out of 40021 with flag 1095438/1334226
800.50/798.67	c cleaning 21004 clauses out of 42014 with flag 1226375/1356226
815.26/813.44	c cleaning 22002 clauses out of 44013 with flag 1359990/1379229
830.69/828.77	c cleaning 22998 clauses out of 46008 with flag 1509254/1403226
846.25/844.39	c cleaning 23974 clauses out of 48010 with flag 1657185/1428226
862.80/860.99	c cleaning 25008 clauses out of 50036 with flag 1798722/1454226
878.92/876.99	c cleaning 26012 clauses out of 52027 with flag 1930691/1481227
895.49/893.59	c cleaning 26992 clauses out of 54014 with flag 2070038/1509226
913.14/911.27	c cleaning 27968 clauses out of 56022 with flag 2197353/1538226
930.59/928.37	c cleaning 29020 clauses out of 58054 with flag 2318124/1568226
948.74/946.56	c cleaning 30002 clauses out of 60035 with flag 2454635/1599227
967.99/965.80	c cleaning 31015 clauses out of 62032 with flag 2592835/1631226
987.61/985.43	c cleaning 31983 clauses out of 64019 with flag 2752012/1664228
998.79/996.65	c Got one! Elapsed wall clock time (in seconds):996.531
998.79/996.65	o 5741355
1001.58/999.44	c cleaning 27582 clauses out of 55210 with flag 21073/1687402
1005.07/1002.93	c cleaning 16793 clauses out of 33629 with flag 47843/1693403
1009.17/1007.05	c cleaning 11890 clauses out of 23835 with flag 77322/1700402
1013.75/1011.65	c cleaning 9951 clauses out of 19946 with flag 113814/1708403
1018.94/1016.82	c cleaning 9456 clauses out of 18994 with flag 152221/1717402
1024.52/1022.49	c cleaning 9750 clauses out of 19538 with flag 194421/1727402
1031.10/1029.02	c cleaning 10393 clauses out of 20789 with flag 240351/1738403
1038.18/1036.18	c cleaning 11192 clauses out of 22395 with flag 295449/1750402
1045.77/1043.79	c cleaning 12093 clauses out of 24206 with flag 353208/1763405
1054.14/1052.17	c cleaning 13049 clauses out of 26110 with flag 416031/1777402
1063.43/1061.37	c cleaning 14008 clauses out of 28062 with flag 479388/1792403
1073.61/1071.51	c cleaning 15017 clauses out of 30053 with flag 562222/1808402
1083.69/1081.64	c cleaning 16002 clauses out of 32036 with flag 633609/1825402
1094.37/1092.39	c cleaning 17004 clauses out of 34034 with flag 707859/1843402
1105.83/1103.89	c cleaning 18011 clauses out of 36031 with flag 788399/1862403
1117.51/1115.58	c cleaning 19008 clauses out of 38022 with flag 872216/1882405
1129.87/1127.90	c cleaning 19995 clauses out of 40012 with flag 964371/1903403
1143.33/1141.43	c cleaning 21008 clauses out of 42016 with flag 1072022/1925402
1157.20/1155.38	c cleaning 21996 clauses out of 44008 with flag 1184441/1948402
1171.80/1169.89	c cleaning 22996 clauses out of 46012 with flag 1297127/1972402
1186.56/1184.68	c cleaning 24004 clauses out of 48016 with flag 1408956/1997402
1202.02/1200.14	c cleaning 24999 clauses out of 50012 with flag 1521967/2023402
1218.70/1216.61	c cleaning 26000 clauses out of 52014 with flag 1642689/2050403
1235.75/1233.73	c cleaning 27007 clauses out of 54014 with flag 1772187/2078403
1253.31/1251.34	c cleaning 27981 clauses out of 56006 with flag 1912542/2107402
1271.58/1269.57	c cleaning 29000 clauses out of 58025 with flag 2051285/2137402
1290.54/1288.54	c cleaning 30008 clauses out of 60025 with flag 2190555/2168402
1309.19/1307.26	c cleaning 31001 clauses out of 62017 with flag 2332647/2200402
1329.25/1327.34	c cleaning 32000 clauses out of 64016 with flag 2479779/2233402
1350.84/1348.90	c cleaning 33005 clauses out of 66020 with flag 2637006/2267406
1373.50/1371.34	c cleaning 33993 clauses out of 68011 with flag 2812023/2302402
1395.57/1393.50	c cleaning 34993 clauses out of 70018 with flag 2976440/2338402
1418.91/1416.80	c cleaning 36007 clauses out of 72025 with flag 3157322/2375402
1443.03/1440.96	c cleaning 37001 clauses out of 74020 with flag 3344253/2413404
1468.00/1466.18	c cleaning 38000 clauses out of 76017 with flag 3537583/2452402
1494.44/1492.74	c cleaning 39003 clauses out of 78018 with flag 3729490/2492403
1520.48/1518.89	c cleaning 39993 clauses out of 80017 with flag 3919333/2533405
1547.94/1546.56	c cleaning 41001 clauses out of 82022 with flag 4121679/2575403
1555.13/1553.78	c Got one! Elapsed wall clock time (in seconds):1553.663
1555.13/1553.78	o 5702430
1558.02/1556.63	c cleaning 28637 clauses out of 57305 with flag 21199/2591687
1561.52/1560.12	c cleaning 17326 clauses out of 34671 with flag 48193/2597690
1566.11/1564.65	c cleaning 12159 clauses out of 24342 with flag 86625/2604687
1570.70/1569.28	c cleaning 10076 clauses out of 20183 with flag 123686/2612687
1575.98/1574.58	c cleaning 9535 clauses out of 19107 with flag 165148/2621687
1581.67/1580.26	c cleaning 9775 clauses out of 19573 with flag 211981/2631688
1585.26/1583.87	c Got one! Elapsed wall clock time (in seconds):1583.753
1585.26/1583.87	o 5688108
1588.25/1586.89	c cleaning 10494 clauses out of 21004 with flag 21093/2642894
1591.94/1590.52	c cleaning 8245 clauses out of 16511 with flag 46299/2648895
1595.93/1594.56	c cleaning 7605 clauses out of 15264 with flag 75777/2655893
1600.53/1599.11	c cleaning 7822 clauses out of 15660 with flag 114644/2663894
1601.93/1600.58	c Got one! Elapsed wall clock time (in seconds):1600.466
1601.93/1600.58	o 5682080
1603.02/1601.67	c Got one! Elapsed wall clock time (in seconds):1601.551
1603.02/1601.67	o 5632255
1604.12/1602.70	c cleaning 7001 clauses out of 14022 with flag 9249/2670078
1607.31/1605.98	c cleaning 6496 clauses out of 13022 with flag 35200/2676079
1611.41/1610.07	c cleaning 6756 clauses out of 13527 with flag 60239/2683080
1616.15/1614.72	c cleaning 7383 clauses out of 14769 with flag 89496/2691078
1621.34/1619.99	c cleaning 8176 clauses out of 16387 with flag 122300/2700079
1627.02/1625.69	c cleaning 9096 clauses out of 18211 with flag 159415/2710079
1633.11/1631.77	c cleaning 10038 clauses out of 20114 with flag 200403/2721078
1639.99/1638.69	c cleaning 11031 clauses out of 22076 with flag 240670/2733078
1647.48/1646.19	c cleaning 12012 clauses out of 24048 with flag 287537/2746081
1655.65/1654.34	c cleaning 13000 clauses out of 26033 with flag 338655/2760078
1664.53/1663.26	c cleaning 14015 clauses out of 28033 with flag 395964/2775078
1674.10/1672.83	c cleaning 15009 clauses out of 30018 with flag 455099/2791078
1683.99/1682.70	c cleaning 15991 clauses out of 32009 with flag 518870/2808078
1694.35/1692.98	c cleaning 17009 clauses out of 34020 with flag 584828/2826080
1705.33/1703.91	c cleaning 17990 clauses out of 36009 with flag 655029/2845078
1716.99/1715.69	c cleaning 19005 clauses out of 38019 with flag 727675/2865078
1729.37/1728.00	c cleaning 19990 clauses out of 40014 with flag 804776/2886078
1742.72/1741.40	c cleaning 21005 clauses out of 42025 with flag 891038/2908079
1756.39/1755.17	c cleaning 21993 clauses out of 44019 with flag 979663/2931078
1770.22/1769.00	c cleaning 23011 clauses out of 46026 with flag 1071365/2955078
1784.89/1783.63	c cleaning 23996 clauses out of 48015 with flag 1174682/2980078
1797.36/1796.13	c Got one! Elapsed wall clock time (in seconds):1796.008
1797.36/1796.13	o 5626326
1800.05/1798.89	c cleaning 24844 clauses out of 49734 with flag 18312/3005793
1803.44/1802.20	c cleaning 15440 clauses out of 30892 with flag 40350/3011795
1807.43/1806.29	c cleaning 11208 clauses out of 22449 with flag 65863/3018792
1812.02/1810.82	c cleaning 9597 clauses out of 19244 with flag 94978/3026795
1817.21/1816.08	c cleaning 9320 clauses out of 18647 with flag 127446/3035795
1822.98/1821.85	c cleaning 9657 clauses out of 19325 with flag 161713/3045793
1829.37/1828.29	c cleaning 10330 clauses out of 20667 with flag 201023/3056792
1836.45/1835.37	c cleaning 11162 clauses out of 22339 with flag 246736/3068794
1844.23/1843.12	c cleaning 12088 clauses out of 24175 with flag 296616/3081792
1852.60/1851.54	c cleaning 13023 clauses out of 26087 with flag 351085/3095792
1862.52/1861.30	c cleaning 14018 clauses out of 28064 with flag 414525/3110792
1871.99/1870.84	c cleaning 14999 clauses out of 30046 with flag 472971/3126792
1882.17/1881.07	c cleaning 16022 clauses out of 32047 with flag 540697/3143792
1892.54/1891.48	c cleaning 17000 clauses out of 34025 with flag 611824/3161792
1903.90/1902.81	c cleaning 17995 clauses out of 36025 with flag 684385/3180792
1916.08/1915.09	c cleaning 19012 clauses out of 38030 with flag 766862/3200792
1929.49/1928.34	c cleaning 19995 clauses out of 40018 with flag 851755/3221792
1942.87/1941.70	c cleaning 21001 clauses out of 42023 with flag 936203/3243792
1957.32/1956.21	c cleaning 22006 clauses out of 44022 with flag 1026537/3266792
1972.47/1971.48	c cleaning 22992 clauses out of 46017 with flag 1123839/3290793
1988.15/1987.01	c cleaning 24006 clauses out of 48027 with flag 1227585/3315795
2004.01/2002.94	c cleaning 25001 clauses out of 50023 with flag 1333524/3341797
2021.07/2020.00	c cleaning 25998 clauses out of 52018 with flag 1450443/3368793
2038.53/2037.51	c cleaning 26999 clauses out of 54019 with flag 1561338/3396792
2055.88/2054.93	c cleaning 28002 clauses out of 56020 with flag 1673496/3425792
2074.70/2073.68	c cleaning 28993 clauses out of 58018 with flag 1791564/3455792
2093.65/2092.60	c cleaning 29999 clauses out of 60026 with flag 1915040/3486793
2109.12/2108.16	c Got one! Elapsed wall clock time (in seconds):2108.036
2109.12/2108.16	o 5601081
2112.30/2111.30	c cleaning 30136 clauses out of 60309 with flag 18066/3517075
2116.01/2115.02	c cleaning 18068 clauses out of 36173 with flag 40456/3523075
2119.89/2118.94	c cleaning 12531 clauses out of 25105 with flag 66330/3530075
2124.48/2123.55	c cleaning 10267 clauses out of 20574 with flag 96541/3538075
2129.76/2128.83	c cleaning 9637 clauses out of 19307 with flag 129095/3547075
2135.55/2134.62	c cleaning 9830 clauses out of 19672 with flag 167570/3557077
2142.47/2141.43	c cleaning 10411 clauses out of 20840 with flag 212005/3568075
2149.76/2148.77	c cleaning 11207 clauses out of 22430 with flag 263075/3580076
2157.33/2156.36	c cleaning 12110 clauses out of 24223 with flag 313002/3593076
2165.51/2164.55	c cleaning 13041 clauses out of 26112 with flag 373630/3607075
2174.49/2173.59	c cleaning 14035 clauses out of 28071 with flag 436876/3622075
2184.37/2183.46	c cleaning 14992 clauses out of 30037 with flag 499426/3638076
2194.05/2193.10	c cleaning 16010 clauses out of 32044 with flag 562881/3655075
2204.63/2203.74	c cleaning 17001 clauses out of 34034 with flag 631523/3673075
2215.60/2214.76	c cleaning 18010 clauses out of 36034 with flag 706804/3692076
2227.62/2226.73	c cleaning 19006 clauses out of 38023 with flag 790749/3712075
2240.01/2239.27	c cleaning 20005 clauses out of 40017 with flag 880570/3733075
2252.99/2252.37	c cleaning 21004 clauses out of 42013 with flag 969712/3755076
2266.57/2266.07	c cleaning 21982 clauses out of 44008 with flag 1067609/3778075
2281.04/2280.63	c cleaning 23013 clauses out of 46026 with flag 1178005/3802075
2296.50/2296.20	c cleaning 23988 clauses out of 48014 with flag 1293040/3827076
2312.46/2312.34	c cleaning 25006 clauses out of 50026 with flag 1409396/3853076
2321.48/2321.44	c Got one! Elapsed wall clock time (in seconds):2321.324
2321.48/2321.44	o 5589997
2324.35/2324.31	c cleaning 22495 clauses out of 45021 with flag 18232/3873077
2327.73/2327.79	c cleaning 14249 clauses out of 28526 with flag 42599/3879077
2331.79/2331.89	c cleaning 10627 clauses out of 21279 with flag 68341/3886079
2336.46/2336.51	c cleaning 9309 clauses out of 18650 with flag 96681/3894077
2341.64/2341.71	c cleaning 9154 clauses out of 18342 with flag 130053/3903078
2347.13/2347.26	c cleaning 9577 clauses out of 19188 with flag 169476/3913078
2353.51/2353.65	c cleaning 10287 clauses out of 20611 with flag 210638/3924078
2360.50/2360.61	c cleaning 11154 clauses out of 22323 with flag 255296/3936077
2367.99/2368.15	c cleaning 12082 clauses out of 24172 with flag 307615/3949080
2376.16/2376.31	c cleaning 13035 clauses out of 26087 with flag 363608/3963077
2385.23/2385.31	c cleaning 14020 clauses out of 28052 with flag 423956/3978077
2394.95/2395.14	c cleaning 15011 clauses out of 30032 with flag 488249/3994077
2404.76/2405.10	c cleaning 15986 clauses out of 32021 with flag 551994/4011077
2414.77/2415.18	c cleaning 17006 clauses out of 34037 with flag 619120/4029079
2425.76/2426.29	c cleaning 18011 clauses out of 36031 with flag 692466/4048079
2437.75/2438.36	c cleaning 18998 clauses out of 38019 with flag 771806/4068078
2450.25/2450.98	c cleaning 19998 clauses out of 40020 with flag 863528/4089077
2463.52/2464.32	c cleaning 20995 clauses out of 42023 with flag 964474/4111078
2477.49/2478.43	c cleaning 22007 clauses out of 44027 with flag 1066794/4134077
2488.06/2488.84	c Got one! Elapsed wall clock time (in seconds):2488.724
2488.06/2488.84	o 5588840
2490.95/2491.76	c cleaning 22152 clauses out of 44307 with flag 21142/4156364
2494.35/2495.19	c cleaning 14069 clauses out of 28156 with flag 45288/4162365
2498.43/2499.25	c cleaning 10541 clauses out of 21086 with flag 73839/4169364
2501.52/2502.39	c Got one! Elapsed wall clock time (in seconds):2502.269
2501.52/2502.39	o 5582025
2504.33/2505.13	c cleaning 10515 clauses out of 21051 with flag 21466/4179870
2507.71/2508.53	c cleaning 8251 clauses out of 16535 with flag 44125/4185869
2512.10/2512.98	c cleaning 7612 clauses out of 15284 with flag 73557/4192869
2514.09/2514.97	c Got one! Elapsed wall clock time (in seconds):2514.853
2514.09/2514.97	o 5571034
2515.19/2516.09	c cleaning 6404 clauses out of 12873 with flag 8038/4198070
2518.58/2519.48	c cleaning 6209 clauses out of 12468 with flag 26915/4204069
2522.57/2523.47	c cleaning 6610 clauses out of 13259 with flag 50020/4211069
2527.26/2528.19	c cleaning 7324 clauses out of 14650 with flag 76842/4219070
2532.34/2533.27	c cleaning 8160 clauses out of 16326 with flag 106655/4228070
2538.13/2539.10	c cleaning 9073 clauses out of 18165 with flag 142282/4238069
2544.60/2545.57	c cleaning 10030 clauses out of 20092 with flag 183428/4249069
2551.68/2552.68	c cleaning 11007 clauses out of 22064 with flag 226350/4261071
2559.07/2560.07	c cleaning 12025 clauses out of 24055 with flag 274291/4274069
2567.34/2568.31	c cleaning 13005 clauses out of 26030 with flag 326095/4288069
2576.52/2577.53	c cleaning 14005 clauses out of 28025 with flag 379674/4303069
2586.07/2587.02	c cleaning 14992 clauses out of 30019 with flag 436391/4319069
2595.99/2597.03	c cleaning 16002 clauses out of 32027 with flag 500451/4336069
2606.59/2607.79	c cleaning 17008 clauses out of 34026 with flag 575720/4354070
2617.69/2618.94	c Got one! Elapsed wall clock time (in seconds):2618.821
2617.69/2618.94	o 5560513
2620.66/2621.92	c cleaning 20456 clauses out of 40922 with flag 17951/4377974
2624.03/2625.38	c cleaning 13218 clauses out of 26466 with flag 39306/4383974
2628.39/2629.71	c cleaning 10114 clauses out of 20249 with flag 64718/4390975
2632.95/2634.32	c cleaning 9051 clauses out of 18134 with flag 93834/4398974
2638.10/2639.58	c cleaning 9034 clauses out of 18083 with flag 128093/4407974
2644.15/2645.64	c cleaning 9515 clauses out of 19050 with flag 163631/4417975
2650.59/2652.18	c cleaning 10252 clauses out of 20535 with flag 204434/4428975
2657.62/2659.24	c cleaning 11135 clauses out of 22284 with flag 248304/4440976
2665.56/2667.28	c cleaning 12067 clauses out of 24147 with flag 300328/4453974
2673.88/2675.65	c cleaning 13030 clauses out of 26082 with flag 356077/4467976
2682.69/2684.55	c cleaning 14018 clauses out of 28050 with flag 416041/4482974
2692.21/2694.15	c cleaning 15000 clauses out of 30032 with flag 473273/4498974
2702.40/2704.42	c cleaning 16000 clauses out of 32032 with flag 535255/4515974
2713.31/2715.43	c cleaning 17006 clauses out of 34033 with flag 602905/4533975
2724.90/2727.16	c cleaning 18008 clauses out of 36028 with flag 675870/4552976
2737.39/2739.68	c cleaning 18997 clauses out of 38020 with flag 756064/4572976
2750.66/2752.99	c cleaning 20001 clauses out of 40021 with flag 844715/4593974
2763.84/2766.16	c cleaning 21000 clauses out of 42020 with flag 933890/4615974
2777.40/2779.78	c cleaning 22005 clauses out of 44022 with flag 1024791/4638976
2791.86/2794.25	c cleaning 22997 clauses out of 46015 with flag 1123422/4662974
2807.32/2809.70	c cleaning 23993 clauses out of 48019 with flag 1229197/4687975
2823.35/2825.44	c cleaning 25007 clauses out of 50025 with flag 1344843/4713974
2839.52/2841.63	c cleaning 26000 clauses out of 52019 with flag 1441588/4740975
2856.88/2859.01	c cleaning 26989 clauses out of 54018 with flag 1556862/4768974
2873.73/2875.98	c cleaning 27987 clauses out of 56029 with flag 1669552/4797974
2891.49/2893.73	c cleaning 29014 clauses out of 58042 with flag 1787636/4827974
2910.38/2912.53	c cleaning 30004 clauses out of 60028 with flag 1911776/4858974
2929.29/2931.58	c cleaning 30996 clauses out of 62025 with flag 2041782/4890975
2949.64/2951.99	c cleaning 32003 clauses out of 64028 with flag 2171034/4923974
2971.70/2973.82	c cleaning 32992 clauses out of 66025 with flag 2313266/4957974
2993.21/2995.58	c cleaning 34011 clauses out of 68033 with flag 2454467/4992974
3016.12/3018.41	c cleaning 34990 clauses out of 70022 with flag 2605337/5028974
3040.41/3042.42	c cleaning 36010 clauses out of 72032 with flag 2763399/5065974
3066.61/3068.39	c cleaning 37007 clauses out of 74022 with flag 2925523/5103974
3095.19/3095.55	c cleaning 38008 clauses out of 76015 with flag 3094567/5142974
3121.02/3121.28	c cleaning 38998 clauses out of 78007 with flag 3274566/5182974
3148.79/3147.99	c cleaning 39993 clauses out of 80010 with flag 3464351/5223975
3174.53/3173.76	c cleaning 40997 clauses out of 82017 with flag 3642541/5265975
3204.04/3202.91	c cleaning 41998 clauses out of 84019 with flag 3832264/5308974
3231.64/3230.51	c cleaning 43003 clauses out of 86021 with flag 4016130/5352974
3260.40/3259.23	c cleaning 43980 clauses out of 88018 with flag 4209829/5397974
3289.11/3288.07	c cleaning 45006 clauses out of 90038 with flag 4417778/5443974
3318.58/3316.90	c cleaning 46010 clauses out of 92032 with flag 4602284/5490974
3349.12/3347.60	c cleaning 47000 clauses out of 94022 with flag 4802650/5538974
3381.12/3379.52	c cleaning 48000 clauses out of 96023 with flag 5002751/5587975
3414.10/3412.21	c cleaning 49003 clauses out of 98023 with flag 5212905/5637975
3451.38/3447.86	c cleaning 49997 clauses out of 100019 with flag 5431387/5688974
3487.41/3483.76	c cleaning 50994 clauses out of 102024 with flag 5657623/5740976
3520.67/3517.07	c cleaning 52015 clauses out of 104033 with flag 5903888/5793979
3522.40/3518.70	c Got one! Elapsed wall clock time (in seconds):3518.583
3522.40/3518.70	o 5551976
3524.09/3520.43	c cleaning 28836 clauses out of 57703 with flag 9929/5799664
3527.58/3523.92	c cleaning 17420 clauses out of 34866 with flag 32368/5805663
3528.48/3524.87	c Got one! Elapsed wall clock time (in seconds):3524.75
3528.48/3524.87	o 5551432
3530.58/3526.99	c cleaning 11357 clauses out of 22746 with flag 13647/5810963
3533.96/3530.32	c cleaning 8674 clauses out of 17389 with flag 36752/5816963
3537.56/3533.98	c cleaning 7846 clauses out of 15715 with flag 61724/5823963
3539.66/3536.07	c Got one! Elapsed wall clock time (in seconds):3535.95
3539.66/3536.07	o 5486411
3540.85/3537.21	c cleaning 6816 clauses out of 13673 with flag 7612/5829767
3544.04/3540.44	c cleaning 6399 clauses out of 12856 with flag 28173/5835766
3547.93/3544.30	c cleaning 6721 clauses out of 13457 with flag 51987/5842766
3552.32/3548.77	c cleaning 7365 clauses out of 14736 with flag 80453/5850766
3557.41/3553.89	c cleaning 8176 clauses out of 16371 with flag 113943/5859766
3563.39/3559.80	c cleaning 9084 clauses out of 18195 with flag 147955/5869766
3569.48/3565.96	c cleaning 10055 clauses out of 20111 with flag 187086/5880766
3576.37/3572.81	c cleaning 11027 clauses out of 22056 with flag 231719/5892766
3584.07/3580.52	c cleaning 12017 clauses out of 24034 with flag 277398/5905771
3592.04/3588.59	c cleaning 13001 clauses out of 26012 with flag 330630/5919766
3600.03/3596.52	c starts		: 6832
3600.03/3596.52	c conflicts		: 5932960
3600.03/3596.52	c decisions		: 23768685
3600.03/3596.52	c propagations		: 3996309368
3600.03/3596.52	c inspects		: 16135762710
3600.03/3596.52	c shortcuts		: 0
3600.03/3596.52	c learnt literals	: 43
3600.03/3596.52	c learnt binary clauses	: 341
3600.03/3596.52	c learnt ternary clauses	: 283
3600.03/3596.52	c learnt constraints	: 5932917
3600.03/3596.52	c ignored constraints	: 0
3600.03/3596.53	c root simplifications	: 0
3600.03/3596.53	c removed literals (reason simplification)	: 0
3600.03/3596.53	c reason swapping (by a shorter reason)	: 0
3600.03/3596.53	c Calls to reduceDB	: 369
3600.03/3596.53	c Number of update (reduction) of LBD	: 2369016
3600.03/3596.53	c Imported unit clauses	: 0
3600.03/3596.53	c No decision after first conflict	: false
3600.03/3596.54	c number of reductions to clauses (during analyze)	: 0
3600.03/3596.54	c number of learned constraints concerned by reduction	: 0
3600.03/3596.54	c number of learning phase by resolution	: 0
3600.03/3596.54	c number of learning phase by cutting planes	: 0
3600.03/3596.54	c number of rounding to 1 operations	: 0
3600.03/3596.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3596.54	c number of reductions of the coefficients by power 2 	: 0
3600.03/3596.54	c number of right shift for reduction by power 2 	: 0
3600.03/3596.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3596.54	c number of ending skipping 	: 0
3600.03/3596.54	c number of internal skipping 	: 0
3600.03/3596.54	c number of derivation steps 	: 0
3600.03/3596.54	c number of skipped derivation steps 	: 0
3600.03/3596.54	c number of remaining unassigned 	: 0
3600.03/3596.54	c number of remaining assigned 	: 0
3600.03/3596.54	c number of falsified literals weakened from reason	: 0
3600.03/3596.54	c number of falsified literals weakened from conflict	: 0
3600.03/3596.54	c time for arithmetic operations	: 0
3600.03/3596.54	c minimum degree of deleted constraints	: null
3600.03/3596.54	c maximum degree of deleted constraints	: null
3600.03/3596.54	c number of deleted constraints	: 0
3600.03/3596.54	c speed (assignments/second)	: 1111347.3147578056
3600.03/3596.54	c non guided choices	: 27244
3600.03/3596.54	c timeout
3600.03/3596.54	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.03/3596.54		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.03/3596.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.03/3596.54		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.03/3596.54		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.03/3596.54		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.03/3596.54		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.03/3596.54		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432491-1721146769/watcher-4432491-1721146769 -o /tmp/evaluation-result-4432491-1721146769/solver-4432491-1721146769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861245 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432491-1721146769.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=865363, runsolver pid=865360

[startup+0.10075 s]*
/proc/loadavg: 4.22 4.18 4.18 7/328 865381
/proc/meminfo: memFree=106753780/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=18975048 memory=64172 CPUtime=0.13 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 7073 0 0 0 12 1 0 0 20 0 18 0 166840755 19430449152 16043 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4743762 16043 5551 1 0 549338 0
[pid=865363/tid=865365] ppid=865360 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 1077936192 5634 0 0 0 7 1 0 0 20 0 18 0 166840756 19430449152 16043 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166840758 19430449152 16043 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166840759 19430449152 16043 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64172 KiB

[startup+0.218652 s]*
/proc/loadavg: 4.22 4.18 4.18 7/328 865381
/proc/meminfo: memFree=106724776/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=18975048 memory=94104 CPUtime=0.36 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 9322 0 0 0 34 2 0 0 20 0 18 0 166840755 19430449152 23526 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4743762 23526 5845 1 0 550868 0
[pid=865363/tid=865365] ppid=865360 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 5797 0 0 0 18 1 0 0 20 0 18 0 166840756 19430449152 23526 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=18975048 memory=3640 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166840758 19430449152 23526 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166840759 19430449152 23526 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 94104 KiB

[startup+0.305652 s]*
/proc/loadavg: 4.22 4.18 4.18 7/328 865381
/proc/meminfo: memFree=106697144/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=18975048 memory=121116 CPUtime=0.53 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 9522 0 0 0 50 3 0 0 20 0 18 0 166840755 19430449152 30279 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4743762 30279 5845 1 0 550898 0
[pid=865363/tid=865365] ppid=865360 vsize=18975048 memory=-9175916459620410044 CPUtime=0.27 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 5842 0 0 0 25 2 0 0 20 0 18 0 166840756 19430449152 30279 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166840758 19430449152 30279 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166840759 19430449152 30279 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 121116 KiB

[startup+0.700653 s]
/proc/loadavg: 4.22 4.18 4.18 7/329 865382
/proc/meminfo: memFree=106642524/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=205236 CPUtime=1.27 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 16913 0 0 0 121 6 0 0 20 0 20 0 166840755 19566772224 51309 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 51309 5898 1 0 556131 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=5496 CPUtime=0.57 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 5964 0 0 0 53 4 0 0 20 0 20 0 166840756 19566772224 51309 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 51309 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 51309 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205236 KiB

[startup+1.50465 s]
/proc/loadavg: 4.22 4.18 4.18 7/330 865383
/proc/meminfo: memFree=106608368/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=209884 CPUtime=2.86 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 18088 0 0 0 280 6 0 0 20 0 20 0 166840755 19566772224 52471 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 52471 5898 1 0 556819 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=12180 CPUtime=1.34 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 5994 0 0 0 130 4 0 0 20 0 20 0 166840756 19566772224 52471 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 52471 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 52471 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 52471 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209884 KiB

[startup+3.10552 s]
/proc/loadavg: 4.37 4.21 4.19 5/330 865383
/proc/meminfo: memFree=106607232/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=210948 CPUtime=5.21 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 20028 0 0 0 514 7 0 0 20 0 20 0 166840755 19566772224 52737 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 52737 5898 1 0 556903 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=0 CPUtime=2.93 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 6101 0 0 0 289 4 0 0 20 0 20 0 166840756 19566772224 52737 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 52737 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 52737 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 52737 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210948 KiB

[startup+6.30022 s]
/proc/loadavg: 4.37 4.21 4.19 5/330 865385
/proc/meminfo: memFree=106612804/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=205212 CPUtime=8.79 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 26233 0 0 0 872 7 0 0 20 0 20 0 166840755 19566772224 51303 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 51303 5898 1 0 557051 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=0 CPUtime=6.11 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 7634 0 0 0 607 4 0 0 20 0 20 0 166840756 19566772224 51303 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 51303 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 51303 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=42176 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 51303 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 8.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 205212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.31 4.20 4.19 5/330 865385
/proc/meminfo: memFree=106581788/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=236328 CPUtime=15.82 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 35030 0 0 0 1573 9 0 0 20 0 20 0 166840755 19566772224 59082 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 59082 5930 1 0 557060 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=206820 CPUtime=12.44 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 8466 0 0 0 1240 4 0 0 20 0 20 0 166840756 19566772224 59082 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=236328 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 59082 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=210948 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 59082 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 59082 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 15.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 236328 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.19 4.18 6/332 865392
/proc/meminfo: memFree=106585544/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=232360 CPUtime=28.65 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 39051 0 0 0 2855 10 0 0 20 0 20 0 166840755 19566772224 58090 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 58090 5930 1 0 557060 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=236328 CPUtime=25.2 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 10046 0 0 0 2515 5 0 0 20 0 20 0 166840756 19566772224 58090 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=232336 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 58090 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 58090 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=6944652177228980320 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 58090 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 28.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 232360 KiB

[startup+51.1057 s]
/proc/loadavg: 4.47 4.25 4.20 5/332 865395
/proc/meminfo: memFree=106412768/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=333192 CPUtime=54.36 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 47548 0 0 0 5423 13 0 0 20 0 20 0 166840755 19566772224 83298 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 83298 5941 1 0 557076 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=283824 CPUtime=50.58 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 12028 0 0 0 5053 5 0 0 20 0 20 0 166840756 19566772224 83298 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=283824 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 83298 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 83298 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0

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

/proc/meminfo: memFree=98193124/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=2484240 CPUtime=3283.45 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 150512 0 0 0 328177 168 0 0 20 0 20 0 166840755 19566772224 621060 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 621060 5956 1 0 711808 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=2484144 CPUtime=3257.18 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 44831 0 0 0 325688 30 0 0 20 0 20 0 166840756 19566772224 621060 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=2484124 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 621060 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1318 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 621060 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=2484240 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 621060 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3283.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2484240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.15 5/332 867398
/proc/meminfo: memFree=97894984/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=2785052 CPUtime=3343.87 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 151838 0 0 0 334210 177 0 0 20 0 20 0 166840755 19566772224 696263 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 696263 5956 1 0 845566 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=12180 CPUtime=3316.32 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 45050 0 0 0 331598 34 0 0 20 0 20 0 166840756 19566772224 696263 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=2664116 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 696263 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=32136 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1319 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 696263 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=2780956 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 696263 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3343.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2785052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.24 4.19 5/332 867408
/proc/meminfo: memFree=97618988/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3055472 CPUtime=3404.03 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 152099 0 0 0 340218 185 0 0 20 0 20 0 166840755 19566772224 763868 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 763868 5956 1 0 845566 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=2598580 CPUtime=3375.37 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 45173 0 0 0 337499 38 0 0 20 0 20 0 166840756 19566772224 763868 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=3018584 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 763868 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=-9175916459620410044 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1319 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 763868 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 763868 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3404.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3055472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.54 4.28 4.20 5/332 867418
/proc/meminfo: memFree=97198152/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3474868 CPUtime=3465.93 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 154053 0 0 0 346398 195 0 0 20 0 20 0 166840755 19566772224 868717 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 868717 5956 1 0 973035 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=2598580 CPUtime=3433.87 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 45532 0 0 0 343346 41 0 0 20 0 20 0 166840756 19566772224 868717 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=3018584 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 868717 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=3298512 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1319 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 868717 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 868717 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3465.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3474868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.24 4.19 5/332 867429
/proc/meminfo: memFree=97096240/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3573672 CPUtime=3525.99 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 154992 0 0 0 352399 200 0 0 20 0 20 0 166840755 19566772224 893418 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 893418 5956 1 0 973035 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=3298512 CPUtime=3493.07 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 45802 0 0 0 349264 43 0 0 20 0 20 0 166840756 19566772224 893418 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=3573672 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 893418 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=3573672 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1320 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 893418 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=-9175916459620410044 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 893418 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3525.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3573672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.42 4.29 4.21 5/332 867439
/proc/meminfo: memFree=96100700/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3588268 CPUtime=3585.86 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 156858 0 0 0 358384 202 0 0 20 0 20 0 166840755 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 897067 5956 1 0 973035 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=3573672 CPUtime=3552.81 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 46388 0 0 0 355238 43 0 0 20 0 20 0 166840756 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=3573672 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=-9175916459620410044 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1407 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=7898081779486333602 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3588268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3596.5 s]
/proc/loadavg: 4.35 4.28 4.20 5/332 867443
/proc/meminfo: memFree=96073716/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3588268 CPUtime=3600.03 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 156914 0 0 0 359800 203 0 0 20 0 20 0 166840755 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 897067 5956 1 0 973035 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=3573672 CPUtime=3566.97 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 46444 0 0 0 356654 43 0 0 20 0 20 0 166840756 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=3055752 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1407 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=3588268 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3588268 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.09 s, system=2.04461 s

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

[startup+3596.5 s]
/proc/loadavg: 4.35 4.28 4.20 5/332 867443
/proc/meminfo: memFree=96073716/131524600 swapFree=131071996/131071996
[pid=865363] ppid=865360 vsize=19108176 memory=3588268 CPUtime=3600.03 cores=0,2
/proc/865363/stat : 865363 (java) S 865360 865363 861235 0 -1 1077936128 156914 0 0 0 359800 203 0 0 20 0 20 0 166840755 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
/proc/865363/statm: 4777044 897067 5956 1 0 973035 0
[pid=865363/tid=865365] ppid=865360 vsize=19108176 memory=3573672 CPUtime=3566.97 cores=0,2
/proc/865363/task/865365/stat : 865365 (java) R 865360 865363 861235 0 -1 4194368 46444 0 0 0 356654 43 0 0 20 0 20 0 166840756 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865374] ppid=865360 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/865363/task/865374/stat : 865374 (Finalizer) S 865360 865363 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166840758 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865381] ppid=865360 vsize=19108176 memory=3055752 CPUtime=0 cores=0,2
/proc/865363/task/865381/stat : 865381 (Common-Cleaner) S 865360 865363 861235 0 -1 1077936192 1407 0 0 0 0 0 0 0 20 0 20 0 166840759 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
[pid=865363/tid=865383] ppid=865360 vsize=19108176 memory=3588268 CPUtime=0 cores=0,2
/proc/865363/task/865383/stat : 865383 (Timer-0) S 865360 865363 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166840818 19566772224 897067 134679101440 94265233649664 94265233653360 140720952081264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94265233661176 94265233661968 94265235603456 140720952087559 140720952087649 140720952087649 140720952094664 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3588268 KiB

Child status: 143

Real time (s): 3596.57
CPU time (s): 3600.14
CPU user time (s): 3598.09
CPU system time (s): 2.04461
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3588268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.09
system time used= 2.04461
maximum resident set size= 3589996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110887
involuntary context switches= 31383


# summary of solver processes directly reported to runsolver:
#   pid: 865363
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3598.09
#   total CPU system time (s): 2.04461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61067 second user time and 19.1128 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 18:19:42
IDJOB=4432491
IDBENCH=155671
IDSOLVER=3058
FILE ID=nodeC021/4432491-1721146769
RUNJOBID= nodeC021-1721139796-861245
SLURM_JOB_ID= 7505719
Free space on /tmp= 890048 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_3_mh.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432491-1721146769/watcher-4432491-1721146769 -o /tmp/evaluation-result-4432491-1721146769/solver-4432491-1721146769 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861245 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432491-1721146769.opb

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

MD5SUM BENCH= 874226caa0bf9660770f6c6eed696157
RANDOM SEED=1838921511

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        106797048 kB
MemAvailable:   110106104 kB
Buffers:          423348 kB
Cached:          3686892 kB
SwapCached:            0 kB
Active:           805328 kB
Inactive:       23205504 kB
Active(anon):       1560 kB
Inactive(anon): 19936744 kB
Active(file):     803768 kB
Inactive(file):  3268760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3848 kB
Writeback:             0 kB
AnonPages:      19899676 kB
Mapped:           125088 kB
Shmem:             37720 kB
KReclaimable:     152704 kB
Slab:             268348 kB
SReclaimable:     152704 kB
SUnreclaim:       115644 kB
KernelStack:        4972 kB
PageTables:        48888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   24623864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63264 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19585024 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890016 MiB
End job on nodeC021 at 2024-07-16 19:19:38