Trace number 4432236

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) 3604.2 2813.36

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
MD5SUM3986604c534c992b7a4e3e5a4bb881f1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1038
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.18	c version CUSTOM.v20240707
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.21	c os.arch		amd64
0.28/0.23	c Free memory 		2115194816
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2122317824
0.28/0.24	c Number of processors 	2
0.44/0.34	--- Begin Solver configuration ---
0.44/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.34	Learn all clauses as in MiniSAT
0.44/0.34	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.34	No reason simplification
0.44/0.34	Glucose 2.1 dynamic restart strategy
0.44/0.34	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.44/0.34	timeout=2147483s
0.44/0.34	DB Simplification allowed=false
0.44/0.34	Listener: none
0.44/0.34	--- End Solver configuration ---
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c No reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4432236-1721081271.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c  objective function found
0.81/0.56	c ... done. Wall clock time 0.203s.
0.81/0.56	c declared #vars     1968
0.81/0.56	c #constraints  4000
0.81/0.56	c constraints type 
0.81/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 4000
0.81/0.56	c 4000 constraints processed.
0.81/0.59	c objective function length is 1968 literals
0.96/0.63	c SATISFIABLE
0.96/0.63	c OPTIMIZING...
0.96/0.63	c Got one! Elapsed wall clock time (in seconds):0.284
0.96/0.63	o 1181
2.98/1.82	c cleaning 2500 clauses out of 5000 with flag 10263/5000
3.91/2.59	c cleaning 4250 clauses out of 8501 with flag 22580/11001
5.28/3.51	c cleaning 5625 clauses out of 11250 with flag 36947/18000
6.50/4.58	c cleaning 6810 clauses out of 13626 with flag 53372/26001
7.96/5.71	c cleaning 7906 clauses out of 15815 with flag 71841/35000
9.99/7.45	c cleaning 8953 clauses out of 17909 with flag 92369/45000
11.83/9.03	c cleaning 9979 clauses out of 19957 with flag 114950/56001
13.80/10.69	c cleaning 10988 clauses out of 21978 with flag 139580/68001
15.95/12.43	c cleaning 11995 clauses out of 23990 with flag 166264/81001
18.34/14.58	c cleaning 12994 clauses out of 25994 with flag 194997/95000
21.39/17.12	c cleaning 14001 clauses out of 28001 with flag 225788/110001
23.89/19.24	c cleaning 14997 clauses out of 29999 with flag 258160/126000
26.39/21.34	c cleaning 16000 clauses out of 32002 with flag 292160/143000
28.92/23.58	c cleaning 16998 clauses out of 34002 with flag 328160/161000
31.63/25.96	c cleaning 17999 clauses out of 36004 with flag 366160/180000
34.27/28.35	c cleaning 19002 clauses out of 38005 with flag 406160/200000
37.27/30.99	c cleaning 19998 clauses out of 40003 with flag 448160/221000
41.95/34.55	c cleaning 21000 clauses out of 42005 with flag 492160/243000
45.55/37.62	c cleaning 22001 clauses out of 44005 with flag 538160/266000
49.24/40.83	c cleaning 22997 clauses out of 46004 with flag 586160/290000
53.07/44.29	c cleaning 24001 clauses out of 48007 with flag 636160/315000
59.32/47.92	c cleaning 25000 clauses out of 50006 with flag 688160/341000
64.96/52.32	c cleaning 26001 clauses out of 52006 with flag 742160/368000
69.03/55.99	c cleaning 27002 clauses out of 54005 with flag 798160/396000
73.09/59.60	c cleaning 27999 clauses out of 56004 with flag 856181/425001
78.20/63.94	c cleaning 29000 clauses out of 58005 with flag 916181/455001
82.87/68.04	c cleaning 29999 clauses out of 60005 with flag 978181/486001
87.19/72.03	c cleaning 31002 clauses out of 62006 with flag 1042181/518001
93.06/76.92	c cleaning 31998 clauses out of 64004 with flag 1108181/551001
97.73/81.22	c cleaning 32999 clauses out of 66006 with flag 1176181/585001
103.58/86.21	c cleaning 34002 clauses out of 68007 with flag 1246181/620001
109.17/91.28	c cleaning 35002 clauses out of 70005 with flag 1318181/656001
117.55/96.51	c cleaning 35999 clauses out of 72003 with flag 1392181/693001
122.85/101.46	c cleaning 36998 clauses out of 74004 with flag 1468181/731001
129.84/107.37	c cleaning 38000 clauses out of 76006 with flag 1546181/770001
134.84/111.85	c Got one! Elapsed wall clock time (in seconds):111.496
134.84/111.85	o 1180
137.32/113.51	c cleaning 38996 clauses out of 77996 with flag 10003/809991
138.46/114.62	c cleaning 22496 clauses out of 45000 with flag 22003/815991
139.46/115.68	c cleaning 14750 clauses out of 29504 with flag 36003/822991
140.59/116.49	c cleaning 11375 clauses out of 22754 with flag 52003/830991
141.79/117.40	c cleaning 10186 clauses out of 20379 with flag 70003/839991
142.59/118.29	c cleaning 10094 clauses out of 20193 with flag 90003/849991
144.22/119.67	c cleaning 10550 clauses out of 21099 with flag 112003/860991
145.32/120.80	c cleaning 11275 clauses out of 22549 with flag 136003/872991
147.23/122.33	c cleaning 12136 clauses out of 24274 with flag 162003/885991
148.52/123.65	c cleaning 13066 clauses out of 26138 with flag 190003/899991
150.60/125.43	c cleaning 14036 clauses out of 28072 with flag 220003/914991
152.10/126.96	c cleaning 15017 clauses out of 30037 with flag 252021/930992
154.31/128.92	c cleaning 16010 clauses out of 32020 with flag 286021/947992
156.89/131.16	c cleaning 17004 clauses out of 34010 with flag 322021/965992
159.80/133.55	c cleaning 17999 clauses out of 36006 with flag 360021/984992
161.79/135.58	c cleaning 19004 clauses out of 38007 with flag 400021/1004992
164.35/137.97	c cleaning 20002 clauses out of 40003 with flag 442021/1025992
167.33/140.63	c cleaning 20999 clauses out of 42001 with flag 486021/1047992
170.58/143.55	c cleaning 21999 clauses out of 44002 with flag 532021/1070992
174.02/146.59	c cleaning 22999 clauses out of 46003 with flag 580021/1094992
177.95/149.94	c cleaning 24002 clauses out of 48004 with flag 630021/1119992
183.97/153.85	c cleaning 25000 clauses out of 50002 with flag 682021/1145992
188.53/157.54	c cleaning 26001 clauses out of 52002 with flag 736021/1172992
193.38/161.93	c cleaning 27000 clauses out of 54001 with flag 792021/1200992
197.62/165.72	c cleaning 27998 clauses out of 56001 with flag 850021/1229992
201.65/169.43	c cleaning 29002 clauses out of 58003 with flag 910021/1259992
205.57/173.15	c cleaning 30001 clauses out of 60001 with flag 972021/1290992
211.03/177.79	c cleaning 30997 clauses out of 62000 with flag 1036021/1322992
216.19/182.24	c cleaning 32000 clauses out of 64003 with flag 1102021/1355992
221.08/186.64	c cleaning 33001 clauses out of 66003 with flag 1170021/1389992
227.18/191.74	c cleaning 34000 clauses out of 68002 with flag 1240021/1424992
232.82/196.76	c cleaning 34998 clauses out of 70002 with flag 1312021/1460992
238.05/201.55	c cleaning 36001 clauses out of 72004 with flag 1386021/1497992
244.90/207.23	c cleaning 37002 clauses out of 74003 with flag 1462021/1535992
250.62/212.40	c cleaning 38001 clauses out of 76001 with flag 1540021/1574992
257.99/218.76	c cleaning 38998 clauses out of 78000 with flag 1620021/1614992
264.38/224.57	c cleaning 39999 clauses out of 80002 with flag 1702021/1655992
272.10/231.39	c cleaning 40999 clauses out of 82003 with flag 1787558/1697992
278.52/237.22	c cleaning 42000 clauses out of 84004 with flag 1873558/1740992
286.39/243.91	c cleaning 43002 clauses out of 86004 with flag 1961558/1784992
297.73/251.60	c cleaning 43993 clauses out of 88002 with flag 2051558/1829992
306.51/258.71	c cleaning 45002 clauses out of 90009 with flag 2143558/1875992
314.61/266.14	c cleaning 46003 clauses out of 92007 with flag 2237558/1922992
322.37/272.98	c cleaning 47000 clauses out of 94004 with flag 2335095/1970992
330.80/280.19	c cleaning 47997 clauses out of 96004 with flag 2433095/2019992
340.07/288.07	c cleaning 48998 clauses out of 98006 with flag 2533222/2069991
348.93/295.65	c cleaning 50003 clauses out of 100009 with flag 2636632/2120992
358.65/303.85	c cleaning 51001 clauses out of 102006 with flag 2740632/2172992
367.92/311.75	c cleaning 52000 clauses out of 104005 with flag 2846632/2225992
377.61/319.98	c cleaning 53000 clauses out of 106005 with flag 2954632/2279992
390.67/328.30	c cleaning 53997 clauses out of 108005 with flag 3064632/2334992
400.54/336.79	c cleaning 55000 clauses out of 110008 with flag 3176632/2390992
410.80/345.68	c cleaning 56001 clauses out of 112008 with flag 3290632/2447992
420.98/354.54	c cleaning 57000 clauses out of 114007 with flag 3406632/2505992
431.58/363.99	c cleaning 58004 clauses out of 116007 with flag 3524632/2564992
442.28/373.52	c cleaning 58998 clauses out of 118003 with flag 3644632/2624992
454.20/383.82	c cleaning 60000 clauses out of 120005 with flag 3766632/2685992
465.58/393.82	c cleaning 61002 clauses out of 122005 with flag 3890632/2747992
475.86/403.04	c cleaning 61999 clauses out of 124003 with flag 4016632/2810992
492.14/414.52	c cleaning 62999 clauses out of 126004 with flag 4144632/2874992
504.14/425.27	c cleaning 64001 clauses out of 128005 with flag 4274632/2939992
517.99/437.12	c cleaning 65001 clauses out of 130004 with flag 4406632/3005992
530.83/448.43	c cleaning 66000 clauses out of 132003 with flag 4540632/3072992
544.61/460.46	c cleaning 66999 clauses out of 134003 with flag 4677268/3140992
557.68/472.17	c cleaning 68002 clauses out of 136004 with flag 4816169/3209992
570.43/483.04	c cleaning 68999 clauses out of 138001 with flag 4956555/3279991
588.62/494.73	c cleaning 69999 clauses out of 140002 with flag 5098940/3350991
601.54/506.22	c cleaning 70997 clauses out of 142003 with flag 5242940/3422991
616.12/519.00	c cleaning 71999 clauses out of 144006 with flag 5388940/3495991
631.35/531.81	c cleaning 72998 clauses out of 146007 with flag 5537325/3569991
646.12/545.27	c cleaning 74003 clauses out of 148009 with flag 5688095/3644991
660.65/558.16	c cleaning 75002 clauses out of 150006 with flag 5840095/3720991
680.34/571.50	c cleaning 75999 clauses out of 152004 with flag 5994095/3797991
696.02/585.35	c cleaning 77000 clauses out of 154005 with flag 6150095/3875991
711.98/599.05	c cleaning 77999 clauses out of 156005 with flag 6308865/3954991
727.75/612.63	c cleaning 78998 clauses out of 158006 with flag 6469250/4034991
743.60/626.61	c cleaning 80003 clauses out of 160008 with flag 6631250/4115991
769.24/644.21	c cleaning 81001 clauses out of 162005 with flag 6795250/4197991
784.94/657.75	c cleaning 81994 clauses out of 164004 with flag 6961635/4280991
801.21/672.14	c cleaning 83002 clauses out of 166010 with flag 7130405/4364991
819.32/688.02	c cleaning 84000 clauses out of 168008 with flag 7300405/4449991
836.21/702.55	c cleaning 85000 clauses out of 170008 with flag 7472405/4535991
858.95/716.93	c cleaning 85999 clauses out of 172008 with flag 7646790/4622991
876.47/732.48	c cleaning 86998 clauses out of 174009 with flag 7822790/4710991
894.04/748.27	c cleaning 88003 clauses out of 176011 with flag 8000790/4799991
912.91/764.60	c cleaning 89000 clauses out of 178008 with flag 8180790/4889991
939.33/782.67	c cleaning 90000 clauses out of 180008 with flag 8363175/4980991
957.75/797.82	c cleaning 91002 clauses out of 182008 with flag 8547945/5072991
975.99/813.94	c cleaning 91998 clauses out of 184006 with flag 8733945/5165991
996.87/832.04	c cleaning 93004 clauses out of 186008 with flag 8921945/5259991
1021.79/849.07	c cleaning 93996 clauses out of 188004 with flag 9112330/5354991
1042.06/866.79	c cleaning 95002 clauses out of 190008 with flag 9304330/5450991
1061.25/883.76	c cleaning 96000 clauses out of 192006 with flag 9498330/5547991
1081.06/900.84	c cleaning 96999 clauses out of 194006 with flag 9694330/5645991
1109.22/921.31	c cleaning 97999 clauses out of 196007 with flag 9892330/5744991
1128.36/938.35	c cleaning 99003 clauses out of 198008 with flag 10092330/5844991
1150.59/957.39	c cleaning 99999 clauses out of 200005 with flag 10294330/5945991
1180.29/977.20	c cleaning 100999 clauses out of 202006 with flag 10498330/6047991
1201.58/995.86	c cleaning 102002 clauses out of 204007 with flag 10704330/6150991
1223.78/1015.28	c cleaning 103000 clauses out of 206005 with flag 10912330/6254991
1255.94/1036.22	c cleaning 103997 clauses out of 208005 with flag 11122330/6359991
1279.67/1056.72	c cleaning 105001 clauses out of 210008 with flag 11334330/6465991
1303.74/1077.70	c cleaning 106003 clauses out of 212007 with flag 11548330/6572991
1334.72/1098.41	c cleaning 107001 clauses out of 214004 with flag 11764330/6680991
1358.71/1119.47	c cleaning 107996 clauses out of 216003 with flag 11982330/6789991
1383.72/1141.31	c cleaning 109001 clauses out of 218007 with flag 12202330/6899991
1413.87/1162.20	c cleaning 110000 clauses out of 220006 with flag 12424330/7010991
1437.51/1183.01	c cleaning 110997 clauses out of 222006 with flag 12648330/7122991
1460.41/1202.65	c cleaning 111999 clauses out of 224009 with flag 12874330/7235991
1491.49/1223.97	c cleaning 113001 clauses out of 226010 with flag 13102330/7349991
1516.07/1245.59	c cleaning 113999 clauses out of 228009 with flag 13332330/7464991
1555.59/1272.30	c cleaning 115004 clauses out of 230010 with flag 13564330/7580991
1581.34/1294.51	c cleaning 115999 clauses out of 232006 with flag 13798330/7697991
1607.51/1317.53	c cleaning 116998 clauses out of 234007 with flag 14034330/7815991
1637.98/1338.88	c cleaning 118002 clauses out of 236009 with flag 14272330/7934991
1664.49/1362.08	c cleaning 118999 clauses out of 238007 with flag 14512330/8054991
1705.58/1389.83	c cleaning 120000 clauses out of 240008 with flag 14754330/8175991
1733.93/1414.94	c cleaning 121000 clauses out of 242008 with flag 14998330/8297991
1761.11/1438.90	c cleaning 122003 clauses out of 244008 with flag 15244330/8420991
1794.15/1462.18	c cleaning 123002 clauses out of 246005 with flag 15492330/8544991
1822.70/1487.22	c cleaning 123997 clauses out of 248003 with flag 15742330/8669991
1859.69/1512.14	c cleaning 125000 clauses out of 250006 with flag 15994330/8795991
1888.42/1537.70	c cleaning 126002 clauses out of 252006 with flag 16248330/8922991
1931.82/1567.05	c cleaning 126999 clauses out of 254004 with flag 16504330/9050991
1961.13/1592.42	c cleaning 128000 clauses out of 256005 with flag 16762330/9179991
2009.62/1625.45	c cleaning 129001 clauses out of 258005 with flag 17022330/9309991
2037.60/1650.26	c cleaning 129997 clauses out of 260004 with flag 17284330/9440991
2067.26/1676.45	c cleaning 131001 clauses out of 262007 with flag 17548330/9572991
2103.70/1702.29	c cleaning 131998 clauses out of 264006 with flag 17814330/9705991
2133.46/1728.48	c cleaning 132999 clauses out of 266008 with flag 18082330/9839991
2172.99/1755.52	c cleaning 134002 clauses out of 268009 with flag 18352330/9974991
2201.43/1780.86	c cleaning 135002 clauses out of 270007 with flag 18624330/10110991
2250.21/1814.19	c cleaning 135999 clauses out of 272005 with flag 18898330/10247991
2280.26/1840.48	c cleaning 136999 clauses out of 274006 with flag 19174330/10385991
2330.53/1874.59	c cleaning 137998 clauses out of 276007 with flag 19452330/10524991
2361.03/1901.31	c cleaning 139004 clauses out of 278009 with flag 19732330/10664991
2407.01/1932.54	c cleaning 140001 clauses out of 280005 with flag 20014330/10805991
2436.52/1958.16	c cleaning 140999 clauses out of 282005 with flag 20298717/10947992
2480.14/1986.63	c cleaning 142003 clauses out of 284006 with flag 20584717/11090992
2509.53/2012.54	c cleaning 142993 clauses out of 286003 with flag 20872717/11234992
2555.57/2042.51	c cleaning 144000 clauses out of 288010 with flag 21162717/11379992
2585.89/2069.37	c cleaning 145000 clauses out of 290010 with flag 21454717/11525992
2635.99/2102.79	c cleaning 146002 clauses out of 292010 with flag 21748717/11672992
2665.96/2129.10	c cleaning 147002 clauses out of 294008 with flag 22044717/11820992
2711.63/2159.27	c cleaning 147999 clauses out of 296006 with flag 22342717/11969992
2746.33/2189.99	c cleaning 148998 clauses out of 298007 with flag 22642717/12119992
2794.34/2221.80	c cleaning 150000 clauses out of 300009 with flag 22944717/12270992
2829.90/2253.11	c cleaning 151001 clauses out of 302009 with flag 23248717/12422992
2885.32/2290.37	c cleaning 151997 clauses out of 304008 with flag 23554717/12575992
2937.29/2325.88	c cleaning 153000 clauses out of 306011 with flag 23862717/12729992
2970.35/2354.85	c cleaning 154004 clauses out of 308011 with flag 24172717/12884992
3030.17/2394.40	c cleaning 155001 clauses out of 310007 with flag 24484717/13040992
3080.55/2428.29	c cleaning 156001 clauses out of 312006 with flag 24798717/13197992
3115.45/2459.24	c cleaning 156999 clauses out of 314005 with flag 25114717/13355992
3161.50/2489.79	c cleaning 157999 clauses out of 316006 with flag 25432717/13514992
3212.77/2528.42	c cleaning 159000 clauses out of 318007 with flag 25752717/13674992
3266.13/2565.21	c cleaning 160000 clauses out of 320007 with flag 26074717/13835992
3299.08/2594.11	c cleaning 160994 clauses out of 322006 with flag 26398737/13997991
3356.09/2632.65	c cleaning 162003 clauses out of 324012 with flag 26724737/14160991
3403.47/2663.94	c cleaning 163002 clauses out of 326010 with flag 27052836/14324992
3440.39/2696.34	c cleaning 164000 clauses out of 328008 with flag 27382836/14489992
3492.73/2732.92	c cleaning 165003 clauses out of 330008 with flag 27714836/14655992
3537.81/2763.02	c cleaning 165998 clauses out of 332005 with flag 28048836/14822992
3572.15/2792.86	c cleaning 167001 clauses out of 334007 with flag 28384836/14990992

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: 64096 MiB (35259 MiB free)
  memory of node 1: 64473 MiB (44888 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432236-1721081271/watcher-4432236-1721081271 -o /tmp/evaluation-result-4432236-1721081271/solver-4432236-1721081271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812192 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432236-1721081271.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=817930, runsolver pid=817927

[startup+0.100256 s]*
/proc/loadavg: 4.93 4.78 4.57 6/317 817948
/proc/meminfo: memFree=82037328/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=18975048 memory=55748 CPUtime=0.12 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 6385 0 0 0 9 3 0 0 20 0 18 0 160284289 19430449152 13937 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4743762 13937 5653 1 0 550746 0
[pid=817930/tid=817932] ppid=817927 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 5325 0 0 0 5 3 0 0 20 0 18 0 160284289 19430449152 13937 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160284294 19430449152 13937 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=18975048 memory=14698495668050282 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 160284296 19430449152 13937 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55748 KiB

[startup+0.213969 s]*
/proc/loadavg: 4.93 4.78 4.57 6/317 817948
/proc/meminfo: memFree=82034560/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=18975048 memory=58460 CPUtime=0.28 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 7083 0 0 0 24 4 0 0 20 0 18 0 160284289 19430449152 14615 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4743762 14615 5678 1 0 551328 0
[pid=817930/tid=817932] ppid=817927 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 5648 0 0 0 14 3 0 0 20 0 18 0 160284289 19430449152 14615 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=18975048 memory=4674 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160284294 19430449152 14615 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 160284296 19430449152 14615 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58460 KiB

[startup+0.322695 s]*
/proc/loadavg: 4.93 4.78 4.57 7/317 817948
/proc/meminfo: memFree=82029344/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=18975048 memory=64320 CPUtime=0.44 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 7353 0 0 0 39 5 0 0 20 0 18 0 160284289 19430449152 16080 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4743762 16080 5804 1 0 551505 0
[pid=817930/tid=817932] ppid=817927 vsize=18975048 memory=-8672632595685941948 CPUtime=0.26 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 5801 0 0 0 22 4 0 0 20 0 18 0 160284289 19430449152 16080 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160284294 19430449152 16080 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 160284296 19430449152 16080 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64320 KiB

[startup+0.706696 s]
/proc/loadavg: 4.93 4.78 4.57 7/317 817948
/proc/meminfo: memFree=82021996/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19041612 memory=74292 CPUtime=1.09 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 8241 0 0 0 103 6 0 0 20 0 19 0 160284289 19498610688 18573 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4760403 18573 5874 1 0 552150 0
[pid=817930/tid=817932] ppid=817927 vsize=19041612 memory=5540 CPUtime=0.53 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 6024 0 0 0 49 4 0 0 20 0 19 0 160284289 19498610688 18573 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19041612 memory=12508 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160284294 19498610688 18573 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 160284296 19498610688 18573 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74292 KiB

[startup+1.50468 s]
/proc/loadavg: 4.93 4.78 4.57 6/318 817949
/proc/meminfo: memFree=82001876/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=176880 CPUtime=2.48 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 14276 0 0 0 239 9 0 0 20 0 20 0 160284289 19566772224 44220 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 44220 5905 1 0 554124 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=12508 CPUtime=1.3 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 6237 0 0 0 124 6 0 0 20 0 20 0 160284289 19566772224 44220 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 44220 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 44220 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19566772224 44220 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176880 KiB

[startup+3.1098 s]
/proc/loadavg: 5.01 4.80 4.57 5/319 817950
/proc/meminfo: memFree=81616880/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=475928 CPUtime=4.76 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 17508 0 0 0 461 15 0 0 20 0 20 0 160284289 19566772224 118982 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 118982 5921 1 0 554442 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=0 CPUtime=2.54 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 7281 0 0 0 248 6 0 0 20 0 20 0 160284289 19566772224 118982 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 118982 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 118982 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19566772224 118982 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 475928 KiB

[startup+6.30068 s]
/proc/loadavg: 5.01 4.80 4.57 5/320 817952
/proc/meminfo: memFree=80889200/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=1273640 CPUtime=8.68 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 18764 0 0 0 837 31 0 0 20 0 20 0 160284289 19566772224 318410 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 318410 5921 1 0 1252124 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=0 CPUtime=5 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 7456 0 0 0 491 9 0 0 20 0 20 0 160284289 19566772224 318410 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=12508 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 318410 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 318410 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19108176 memory=42756 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19566772224 318410 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 8.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1273640 KiB

[startup+12.7007 s]
/proc/loadavg: 5.09 4.82 4.58 7/320 817952
/proc/meminfo: memFree=79583460/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=2505140 CPUtime=16.26 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 22348 0 0 0 1569 57 0 0 20 0 20 0 160284289 19566772224 626285 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 626285 5921 1 0 2055171 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=81752 CPUtime=10.25 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 8170 0 0 0 1009 16 0 0 20 0 20 0 160284289 19566772224 626285 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=2331056 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 626285 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=516888 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 626285 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19566772224 626285 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2505140 KiB

[startup+25.5005 s]
/proc/loadavg: 4.99 4.82 4.58 5/320 817955
/proc/meminfo: memFree=76475444/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=4670736 CPUtime=31.23 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 25706 0 0 0 3021 102 0 0 20 0 20 0 160284289 19566772224 1167684 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 1167684 5953 1 0 2786277 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=2331056 CPUtime=20.84 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 8982 0 0 0 2055 29 0 0 20 0 20 0 160284289 19566772224 1167684 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=3741992 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 1167684 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 1167684 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19566772224 1167684 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 31.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4670736 KiB

[startup+51.1227 s]
/proc/loadavg: 4.92 4.81 4.59 6/320 818182
/proc/meminfo: memFree=71952456/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19108176 memory=9058756 CPUtime=63.37 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 53883 0 0 0 6138 199 0 0 20 0 20 0 160284289 19566772224 2264689 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4777044 2264689 5953 1 0 3263738 0
[pid=817930/tid=817932] ppid=817927 vsize=19108176 memory=7049176 CPUtime=41.78 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 10559 0 0 0 4124 54 0 0 20 0 20 0 160284289 19566772224 2264689 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19108176 memory=7213016 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19566772224 2264689 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19108176 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 160284296 19566772224 2264689 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0

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

/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 554140 0 0 0 341758 732 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=28320 CPUtime=2262.04 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 119132 0 0 0 226075 129 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3424.9 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

[startup+2742.3 s]
/proc/loadavg: 2.64 3.22 4.14 3/268 819723
/proc/meminfo: memFree=92100316/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3503.87 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 555249 0 0 0 349649 738 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=28320 CPUtime=2307.63 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 119579 0 0 0 230633 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=16401564 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3503.87 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

[startup+2802.3 s]
/proc/loadavg: 2.54 3.10 4.04 3/268 819733
/proc/meminfo: memFree=92100056/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3583 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 555733 0 0 0 357554 746 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=42756 CPUtime=2359.21 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) R 817927 817930 812180 0 -1 4194368 119655 0 0 0 235791 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2811.3 s]
/proc/loadavg: 2.61 3.09 4.02 5/268 819736
/proc/meminfo: memFree=92100116/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3600.15 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 556366 0 0 0 359265 750 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=42756 CPUtime=2364.55 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 119715 0 0 0 236325 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=-8672632595685941948 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

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

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

[startup+2813.36 s]
# the end of solver process 817930 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3596.65 s, system=7.54879 s

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

[startup+2812 s]*
/proc/loadavg: 2.61 3.09 4.02 5/268 819736
/proc/meminfo: memFree=92100116/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3601.55 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 556370 0 0 0 359405 750 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=16401472 CPUtime=2364.55 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 119715 0 0 0 236325 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=2752 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=3364 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=-7090204746357237369 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

[startup+2812.8 s]
/proc/loadavg: 2.61 3.09 4.02 5/268 819736
/proc/meminfo: memFree=92100116/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3603.13 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 556371 0 0 0 359563 750 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=5540 CPUtime=2364.55 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 119715 0 0 0 236325 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=16192 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=11420 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3603.13 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

[startup+2813.2 s]
/proc/loadavg: 2.61 3.09 4.02 5/268 819736
/proc/meminfo: memFree=92100108/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3603.93 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 556371 0 0 0 359643 750 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=1744 CPUtime=2364.55 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 119715 0 0 0 236325 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=-8672632595685941948 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=1936 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=26652 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3603.93 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

[startup+2813.3 s]
/proc/loadavg: 2.61 3.09 4.02 5/268 819736
/proc/meminfo: memFree=92100108/131655788 swapFree=131071996/131071996
[pid=817930] ppid=817927 vsize=19173712 memory=16401472 CPUtime=3604.13 cores=1,3
/proc/817930/stat : 817930 (java) S 817927 817930 812180 0 -1 1077936128 556371 0 0 0 359663 750 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
/proc/817930/statm: 4793428 4100368 5966 1 0 4112174 0
[pid=817930/tid=817932] ppid=817927 vsize=19173712 memory=42756 CPUtime=2364.55 cores=1,3
/proc/817930/task/817932/stat : 817932 (java) S 817927 817930 812180 0 -1 1077936192 119715 0 0 0 236325 130 0 0 20 0 20 0 160284289 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 19 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817941] ppid=817927 vsize=19173712 memory=-8672632595685941948 CPUtime=0 cores=1,3
/proc/817930/task/817941/stat : 817941 (Finalizer) S 817927 817930 812180 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160284294 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817948] ppid=817927 vsize=19173712 memory=16401472 CPUtime=0 cores=1,3
/proc/817930/task/817948/stat : 817948 (Common-Cleaner) S 817927 817930 812180 0 -1 1077936192 519 0 0 0 0 0 0 0 20 0 20 0 160284296 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
[pid=817930/tid=817949] ppid=817927 vsize=19173712 memory=42756 CPUtime=0 cores=1,3
/proc/817930/task/817949/stat : 817949 (Timer-0) S 817927 817930 812180 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160284348 19633881088 4100368 134679101440 94026281709568 94026281713264 140723566478464 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94026281721080 94026281721872 94026290987008 140723566482439 140723566482529 140723566482529 140723566489544 0
Current children cumulated CPU time: 3604.13 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 16401472 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 2813.36
CPU time (s): 3604.2
CPU user time (s): 3596.65
CPU system time (s): 7.54879
CPU usage (%): 128.11
Max. virtual memory (cumulated for all children) (KiB): 19179872
Max. memory (cumulated for all children) (KiB): 16401604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.65
system time used= 7.54879
maximum resident set size= 16402164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 556376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110948
involuntary context switches= 45122


# summary of solver processes directly reported to runsolver:
#   pid: 817930
#   total CPU time (s): 3604.2
#   total CPU user time (s): 3596.65
#   total CPU system time (s): 7.54879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.283 second user time and 21.1838 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-16 00:08:04
IDJOB=4432236
IDBENCH=147524
IDSOLVER=3058
FILE ID=nodeC011/4432236-1721081271
RUNJOBID= nodeC011-1721073237-812192
SLURM_JOB_ID= 7505544
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432236-1721081271/watcher-4432236-1721081271 -o /tmp/evaluation-result-4432236-1721081271/solver-4432236-1721081271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721073237-812192 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432236-1721081271.opb

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

MD5SUM BENCH= 3986604c534c992b7a4e3e5a4bb881f1
RANDOM SEED=930867582

nodeC011.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	: 0xb00001f
cpu MHz		: 3670.491
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3491.613
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.322
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1296.884
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3670.952
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1795.782
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.270
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3629.765
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        82072352 kB
MemAvailable:   87186628 kB
Buffers:          409116 kB
Cached:          5483416 kB
SwapCached:            0 kB
Active:           701792 kB
Inactive:       48129824 kB
Active(anon):       1428 kB
Inactive(anon): 42975360 kB
Active(file):     700364 kB
Inactive(file):  5154464 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1400 kB
Writeback:             4 kB
AnonPages:      42937068 kB
Mapped:           124004 kB
Shmem:             37704 kB
KReclaimable:     199292 kB
Slab:             310248 kB
SReclaimable:     199292 kB
SUnreclaim:       110956 kB
KernelStack:        4832 kB
PageTables:        93920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   43388184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51584 kB
HardwareCorrupted:     0 kB
AnonHugePages:  42295296 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:      262984 kB
DirectMap2M:    33196032 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC011 at 2024-07-16 00:54:57