Trace number 4515319

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 NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3601.43 3443.81

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.11	c java.vm.version	22.0.1+8-16
0.09/0.11	c java.vm.vendor	Oracle Corporation
0.09/0.11	c sun.arch.data.model	64
0.09/0.11	c java.version		22.0.1
0.09/0.11	c os.name		Linux
0.09/0.11	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.11	c os.arch		amd64
0.09/0.12	c Free memory 		2104792832
0.09/0.12	c Max memory 		16282288128
0.09/0.12	c Total memory 		2113929216
0.09/0.13	c Number of processors 	2
0.09/0.17	c Pseudo Boolean Optimization by upper bound
0.09/0.17	c --- Begin Solver configuration ---
0.09/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.17	c Learn all clauses as in MiniSAT
0.09/0.17	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.17	c Expensive reason simplification
0.09/0.17	c Glucose 2.1 dynamic restart strategy
0.09/0.17	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.17	c timeout=2147483s
0.09/0.17	c DB Simplification allowed=false
0.09/0.17	c Listener: none
0.09/0.17	c --- End Solver configuration ---
0.09/0.17	c solving HOME/instance-4515319-1751234104.opb
0.09/0.17	c reading problem ... 
0.09/0.17	c using VERIPB proof format
0.09/0.17	c  no objective function found
0.65/0.42	c ... done. Wall clock time 0.25s.
0.65/0.42	c declared #vars     31248
0.65/0.42	c #constraints  522
0.65/0.42	c constraints type 
0.65/0.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 345
0.65/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 177
0.65/0.42	c 522 constraints processed.
4.78/2.51	c cleaning 2457 clauses out of 5001 with flag 11181/5001
6.17/3.54	c cleaning 4257 clauses out of 8543 with flag 23389/11000
8.27/5.02	c cleaning 5624 clauses out of 11288 with flag 38218/18002
9.99/6.97	c cleaning 6822 clauses out of 13665 with flag 55136/26003
11.91/8.72	c cleaning 7874 clauses out of 15842 with flag 73929/35002
13.67/10.44	c cleaning 8925 clauses out of 17971 with flag 94789/45005
15.53/12.28	c cleaning 10002 clauses out of 20041 with flag 117320/56000
18.11/14.65	c cleaning 10938 clauses out of 22040 with flag 142717/68001
20.30/16.72	c cleaning 12003 clauses out of 24102 with flag 169321/81001
22.60/18.93	c cleaning 12972 clauses out of 26106 with flag 198095/95008
25.33/21.52	c cleaning 14020 clauses out of 28126 with flag 229243/110000
28.38/24.49	c cleaning 15043 clauses out of 30107 with flag 262767/126001
31.72/27.67	c cleaning 15982 clauses out of 32064 with flag 298617/143001
35.36/30.99	c cleaning 16964 clauses out of 34081 with flag 336494/161000
38.78/34.23	c cleaning 18052 clauses out of 36117 with flag 376237/180000
42.32/37.68	c cleaning 19013 clauses out of 38066 with flag 418097/200001
46.67/41.81	c cleaning 20001 clauses out of 40054 with flag 465001/221002
51.30/46.10	c cleaning 21004 clauses out of 42051 with flag 510832/243000
55.46/50.16	c cleaning 22021 clauses out of 44050 with flag 558781/266003
60.27/54.62	c cleaning 22995 clauses out of 46028 with flag 611710/290002
65.33/59.36	c cleaning 23955 clauses out of 48031 with flag 664249/315000
69.52/63.59	c cleaning 25007 clauses out of 50076 with flag 718051/341000
74.78/68.48	c cleaning 26025 clauses out of 52072 with flag 773929/368003
79.81/73.39	c cleaning 27018 clauses out of 54049 with flag 832229/396005
84.55/77.92	c cleaning 27929 clauses out of 56027 with flag 891874/425001
90.18/83.29	c cleaning 29023 clauses out of 58097 with flag 954444/455000
95.63/88.58	c cleaning 29999 clauses out of 60075 with flag 1018758/486001
101.47/94.21	c cleaning 30991 clauses out of 62075 with flag 1085241/518000
107.53/99.94	c cleaning 31977 clauses out of 64085 with flag 1153593/551001
113.68/105.95	c cleaning 32999 clauses out of 66108 with flag 1224618/585001
119.93/112.09	c cleaning 34033 clauses out of 68113 with flag 1297527/620005
126.60/118.32	c cleaning 34943 clauses out of 70075 with flag 1371975/656000
133.67/125.07	c cleaning 36014 clauses out of 72132 with flag 1449346/693000
141.02/132.01	c cleaning 37020 clauses out of 74118 with flag 1528715/731000
147.87/138.71	c cleaning 38003 clauses out of 76099 with flag 1609868/770001
154.69/145.48	c cleaning 38961 clauses out of 78095 with flag 1693093/810000
162.04/152.48	c cleaning 40015 clauses out of 80134 with flag 1777214/851000
169.56/159.89	c cleaning 41035 clauses out of 82119 with flag 1865107/893000
178.15/167.83	c cleaning 41930 clauses out of 84084 with flag 1954310/936000
186.88/175.58	c cleaning 43047 clauses out of 86168 with flag 2045624/980014
195.03/183.41	c cleaning 43991 clauses out of 88110 with flag 2139486/1025003
203.29/191.37	c cleaning 45032 clauses out of 90116 with flag 2235173/1071000
211.97/199.52	c cleaning 45998 clauses out of 92085 with flag 2332747/1118001
221.44/208.61	c cleaning 47011 clauses out of 94087 with flag 2432580/1166001
230.48/217.31	c cleaning 48038 clauses out of 96075 with flag 2534449/1215000
239.63/226.10	c cleaning 48992 clauses out of 98038 with flag 2638309/1265001
249.46/235.64	c cleaning 49963 clauses out of 100047 with flag 2744863/1316002
259.73/245.54	c cleaning 50990 clauses out of 102082 with flag 2854447/1368000
269.54/254.89	c cleaning 51974 clauses out of 104092 with flag 2964302/1421000
279.56/264.59	c cleaning 53005 clauses out of 106119 with flag 3076740/1475001
290.17/274.64	c cleaning 54019 clauses out of 108118 with flag 3191773/1530005
300.40/284.59	c cleaning 55018 clauses out of 110100 with flag 3308575/1586006
311.20/294.82	c cleaning 55974 clauses out of 112078 with flag 3427143/1643002
321.52/304.84	c cleaning 57033 clauses out of 114103 with flag 3547935/1701001
332.03/314.87	c cleaning 57945 clauses out of 116072 with flag 3669234/1760003
343.35/325.81	c cleaning 59025 clauses out of 118127 with flag 3794913/1820003
354.76/336.75	c cleaning 59980 clauses out of 120099 with flag 3921392/1881000
365.96/347.67	c cleaning 61052 clauses out of 122121 with flag 4050276/1943002
378.71/359.17	c cleaning 61982 clauses out of 124071 with flag 4181468/2006004
391.54/371.43	c cleaning 62966 clauses out of 126086 with flag 4317233/2070001
403.53/382.94	c cleaning 64059 clauses out of 128119 with flag 4452750/2135000
415.74/394.64	c cleaning 64965 clauses out of 130060 with flag 4589734/2201000
428.75/407.13	c cleaning 65986 clauses out of 132095 with flag 4731044/2268000
441.94/419.86	c cleaning 67012 clauses out of 134110 with flag 4874135/2336001
454.06/431.44	c cleaning 68033 clauses out of 136097 with flag 5016507/2405000
466.97/443.83	c cleaning 68970 clauses out of 138064 with flag 5162268/2475000
480.28/456.60	c cleaning 69976 clauses out of 140094 with flag 5310593/2546000
493.48/469.33	c cleaning 71044 clauses out of 142120 with flag 5459530/2618002
506.99/482.33	c cleaning 71964 clauses out of 144076 with flag 5611637/2691002
520.68/495.55	c cleaning 72945 clauses out of 146113 with flag 5766042/2765003
534.39/508.79	c cleaning 73990 clauses out of 148165 with flag 5922610/2840000
548.69/522.54	c cleaning 74991 clauses out of 150175 with flag 6080898/2916000
562.69/536.05	c cleaning 76035 clauses out of 152191 with flag 6240911/2993007
576.80/549.67	c cleaning 77059 clauses out of 154149 with flag 6403208/3071000
590.49/562.83	c cleaning 77943 clauses out of 156096 with flag 6566452/3150006
605.39/577.04	c cleaning 79020 clauses out of 158148 with flag 6732739/3230001
620.48/591.65	c cleaning 80061 clauses out of 160132 with flag 6901810/3311005
636.33/605.92	c cleaning 80957 clauses out of 162066 with flag 7071317/3393000
651.94/620.87	c cleaning 81978 clauses out of 164111 with flag 7243850/3476002
667.21/635.46	c cleaning 82966 clauses out of 166131 with flag 7418205/3560000
682.70/650.41	c cleaning 84049 clauses out of 168166 with flag 7595703/3645001
698.61/665.65	c cleaning 84941 clauses out of 170116 with flag 7775215/3731000
714.46/681.04	c cleaning 86032 clauses out of 172176 with flag 7956716/3818001
730.64/696.58	c cleaning 86946 clauses out of 174148 with flag 8139844/3906005
747.65/713.09	c cleaning 88007 clauses out of 176197 with flag 8324318/3995000
764.13/728.83	c cleaning 89008 clauses out of 178191 with flag 8508824/4085001
780.81/745.03	c cleaning 90030 clauses out of 180182 with flag 8699143/4176000
798.20/761.56	c cleaning 91010 clauses out of 182152 with flag 8890822/4268000
815.22/777.88	c cleaning 92033 clauses out of 184142 with flag 9083792/4361000
832.74/794.63	c cleaning 93017 clauses out of 186109 with flag 9279675/4455000
851.43/812.44	c cleaning 93962 clauses out of 188095 with flag 9478551/4550003
869.95/830.23	c cleaning 95065 clauses out of 190132 with flag 9679106/4646002
888.77/848.18	c cleaning 95947 clauses out of 192067 with flag 9881131/4743002
906.88/865.58	c cleaning 97049 clauses out of 194124 with flag 10084872/4841006
927.09/883.48	c cleaning 97983 clauses out of 196070 with flag 10291492/4940001
946.54/902.16	c cleaning 98991 clauses out of 198091 with flag 10501056/5040005
966.07/920.59	c cleaning 99970 clauses out of 200095 with flag 10711162/5141000
985.34/938.90	c cleaning 101024 clauses out of 202125 with flag 10922711/5243000
1004.33/957.22	c cleaning 102016 clauses out of 204101 with flag 11136637/5346000
1025.84/977.97	c cleaning 103037 clauses out of 206085 with flag 11348541/5450000
1045.43/996.80	c cleaning 103961 clauses out of 208049 with flag 11566855/5555001
1065.10/1015.66	c cleaning 104988 clauses out of 210087 with flag 11787410/5661000
1084.66/1034.34	c cleaning 106054 clauses out of 212109 with flag 12009439/5768010
1105.44/1054.20	c cleaning 106904 clauses out of 214047 with flag 12235466/5876002
1127.33/1075.23	c cleaning 107985 clauses out of 216142 with flag 12464595/5985001
1148.23/1095.27	c cleaning 109044 clauses out of 218162 with flag 12693111/6095006
1170.95/1114.97	c cleaning 109941 clauses out of 220121 with flag 12923025/6206009
1192.33/1135.48	c cleaning 111000 clauses out of 222180 with flag 13156347/6318009
1213.56/1155.69	c cleaning 112000 clauses out of 224171 with flag 13391539/6431000
1234.72/1175.98	c cleaning 113079 clauses out of 226171 with flag 13628264/6545000
1256.09/1196.42	c cleaning 114011 clauses out of 228092 with flag 13868332/6660000
1277.98/1217.47	c cleaning 114942 clauses out of 230082 with flag 14115802/6776001
1300.63/1239.04	c cleaning 116002 clauses out of 232139 with flag 14365887/6893000
1322.65/1260.29	c cleaning 116986 clauses out of 234137 with flag 14611302/7011000
1345.00/1281.75	c cleaning 118059 clauses out of 236151 with flag 14858428/7130000
1367.73/1303.67	c cleaning 119032 clauses out of 238092 with flag 15109385/7250000
1390.28/1325.30	c cleaning 119994 clauses out of 240069 with flag 15363109/7371009
1413.74/1347.70	c cleaning 120960 clauses out of 242066 with flag 15617180/7493000
1438.84/1370.46	c cleaning 122023 clauses out of 244107 with flag 15878310/7616001
1462.90/1393.42	c cleaning 122954 clauses out of 246089 with flag 16133786/7740006
1485.96/1415.60	c cleaning 124006 clauses out of 248130 with flag 16393335/7865001
1509.69/1438.30	c cleaning 125033 clauses out of 250123 with flag 16655255/7991000
1533.56/1461.30	c cleaning 125952 clauses out of 252090 with flag 16919565/8118000
1558.19/1484.93	c cleaning 127004 clauses out of 254138 with flag 17187409/8246000
1581.62/1507.53	c cleaning 127985 clauses out of 256134 with flag 17455261/8375000
1605.66/1530.56	c cleaning 129076 clauses out of 258153 with flag 17724566/8505004
1645.17/1569.21	c cleaning 129937 clauses out of 260075 with flag 17988333/8636002
1693.78/1616.82	c cleaning 131010 clauses out of 262136 with flag 18252329/8768000
1743.22/1665.65	c cleaning 132013 clauses out of 264127 with flag 18518331/8901001
1794.15/1714.03	c cleaning 133002 clauses out of 266113 with flag 18786330/9035000
1843.08/1761.92	c cleaning 134005 clauses out of 268112 with flag 19056332/9170001
1897.08/1814.95	c cleaning 135000 clauses out of 270108 with flag 19328339/9306002
1952.30/1869.12	c cleaning 135996 clauses out of 272106 with flag 19602337/9443000
2008.72/1924.99	c cleaning 136999 clauses out of 274110 with flag 19878337/9581000
2060.18/1975.24	c cleaning 137990 clauses out of 276111 with flag 20159249/9720000
2086.93/2000.99	c cleaning 139000 clauses out of 278122 with flag 20450229/9860001
2113.12/2025.98	c cleaning 139972 clauses out of 280121 with flag 20743078/10001000
2139.30/2051.01	c cleaning 141072 clauses out of 282149 with flag 21037052/10143000
2169.55/2077.77	c cleaning 141963 clauses out of 284077 with flag 21335310/10286000
2196.72/2103.63	c cleaning 143016 clauses out of 286115 with flag 21635753/10430001
2224.66/2130.33	c cleaning 144028 clauses out of 288099 with flag 21939895/10575001
2252.64/2157.24	c cleaning 145012 clauses out of 290070 with flag 22244760/10721000
2281.33/2184.72	c cleaning 146017 clauses out of 292059 with flag 22551919/10868001
2308.88/2211.01	c cleaning 146886 clauses out of 294042 with flag 22858989/11016001
2336.71/2237.65	c cleaning 148027 clauses out of 296156 with flag 23168543/11165001
2365.55/2265.26	c cleaning 149029 clauses out of 298128 with flag 23481714/11315000
2397.02/2293.23	c cleaning 149980 clauses out of 300099 with flag 23796515/11466000
2426.27/2321.04	c cleaning 151014 clauses out of 302120 with flag 24112501/11618001
2455.16/2348.88	c cleaning 152013 clauses out of 304111 with flag 24430341/11771006
2484.52/2377.03	c cleaning 153026 clauses out of 306092 with flag 24751266/11925000
2518.30/2409.60	c cleaning 153929 clauses out of 308067 with flag 25067126/12080001
2572.40/2462.78	c cleaning 154995 clauses out of 310138 with flag 25379126/12236001
2628.54/2517.88	c cleaning 155993 clauses out of 312143 with flag 25693126/12393001
2687.11/2572.43	c cleaning 157000 clauses out of 314150 with flag 26009126/12551001
2744.43/2628.60	c cleaning 158000 clauses out of 316149 with flag 26327124/12710000
2797.01/2680.03	c cleaning 158998 clauses out of 318149 with flag 26647126/12870000
2830.02/2711.87	c cleaning 160038 clauses out of 320152 with flag 26979124/13031001
2859.59/2740.20	c cleaning 160993 clauses out of 322114 with flag 27314094/13193001
2890.62/2770.09	c cleaning 162019 clauses out of 324125 with flag 27654211/13356005
2922.02/2800.06	c cleaning 162976 clauses out of 326102 with flag 28000908/13520001
2954.69/2829.26	c cleaning 164024 clauses out of 328126 with flag 28341467/13685001
2986.71/2859.89	c cleaning 165012 clauses out of 330105 with flag 28687044/13851004
3017.74/2889.69	c cleaning 165984 clauses out of 332089 with flag 29033023/14018000
3050.25/2920.78	c cleaning 166975 clauses out of 334106 with flag 29385305/14186001
3083.01/2952.31	c cleaning 168003 clauses out of 336130 with flag 29732138/14355000
3114.41/2982.33	c cleaning 169063 clauses out of 338127 with flag 30083811/14525000
3149.06/3014.17	c cleaning 169978 clauses out of 340064 with flag 30441023/14696000
3184.01/3045.15	c cleaning 170951 clauses out of 342086 with flag 30798043/14868000
3218.04/3077.52	c cleaning 172024 clauses out of 344136 with flag 31159353/15041001
3251.43/3109.41	c cleaning 172937 clauses out of 346111 with flag 31520864/15215000
3286.07/3142.63	c cleaning 174080 clauses out of 348181 with flag 31891409/15390007
3322.56/3175.79	c cleaning 175009 clauses out of 350100 with flag 32258613/15566006
3359.64/3209.34	c cleaning 175945 clauses out of 352088 with flag 32629106/15743003
3393.43/3241.50	c cleaning 177013 clauses out of 354141 with flag 32998237/15921001
3427.53/3274.10	c cleaning 178010 clauses out of 356128 with flag 33371374/16100001
3461.60/3306.51	c cleaning 179024 clauses out of 358118 with flag 33744794/16280001
3510.44/3350.57	c cleaning 179967 clauses out of 360094 with flag 34114148/16461001
3550.09/3388.71	c cleaning 181044 clauses out of 362128 with flag 34492429/16643002
3584.78/3421.92	c cleaning 181990 clauses out of 364082 with flag 34878730/16826000
3600.19/3436.77	c starts		: 17934
3600.19/3436.77	c conflicts		: 16907925
3600.19/3436.77	c decisions		: 384640541
3600.19/3436.77	c propagations		: 759144634
3600.19/3436.77	c inspects		: 3926414549
3600.19/3436.77	c shortcuts		: 0
3600.19/3436.77	c learnt literals	: 0
3600.19/3436.77	c learnt binary clauses	: 0
3600.19/3436.77	c learnt ternary clauses	: 0
3600.19/3436.77	c learnt constraints	: 16907925
3600.19/3436.77	c ignored constraints	: 0
3600.19/3436.77	c root simplifications	: 0
3600.19/3436.77	c removed literals (reason simplification)	: 35720663
3600.19/3436.77	c reason swapping (by a shorter reason)	: 0
3600.19/3436.77	c Calls to reduceDB	: 179
3600.19/3436.77	c Number of update (reduction) of LBD	: 367286
3600.19/3436.77	c Imported unit clauses	: 0
3600.19/3436.77	c No decision after first conflict	: false
3600.19/3436.77	c number of reductions to clauses (during analyze)	: 0
3600.19/3436.77	c number of learned constraints concerned by reduction	: 0
3600.19/3436.77	c number of learning phase by resolution	: 0
3600.19/3436.77	c number of learning phase by cutting planes	: 0
3600.19/3436.77	c number of rounding to 1 operations	: 0
3600.19/3436.77	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.19/3436.77	c number of reductions of the coefficients by power 2 	: 0
3600.19/3436.77	c number of right shift for reduction by power 2 	: 0
3600.19/3436.77	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.19/3436.77	c number of ending skipping 	: 0
3600.19/3436.77	c number of internal skipping 	: 0
3600.19/3436.77	c number of derivation steps 	: 0
3600.19/3436.77	c number of skipped derivation steps 	: 0
3600.19/3436.77	c number of remaining unassigned 	: 0
3600.19/3436.77	c number of remaining assigned 	: 0
3600.19/3436.77	c number of falsified literals weakened from reason	: 0
3600.19/3436.77	c number of falsified literals weakened from conflict	: 0
3600.19/3436.77	c time for arithmetic operations	: 0
3600.19/3436.77	c minimum degree of deleted constraints	: null
3600.19/3436.77	c maximum degree of deleted constraints	: null
3600.19/3436.78	c number of deleted constraints	: 0
3600.19/3436.78	c speed (assignments/second)	: 220916.49608799123
3600.19/3436.78	c non guided choices	: 77690613
3600.19/3436.79	c timeout
3600.39/3436.84	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 264017
3600.39/3436.84	s UNKNOWN
3600.39/3436.84	c Total wall clock time (in seconds): 3436.676

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=35022, runsolver pid=35007

[startup+0.10006 s]*
/proc/loadavg: 4.15 4.10 4.04 11/333 35092
/proc/meminfo: memFree=127528552/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=18930384 memory=51836 CPUtime=0.09 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 6136 0 0 0 7 2 0 0 20 0 18 0 39089795 19384713216 12959 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4732596 12959 5331 1 0 547234 0
[pid=35022/tid=35037] ppid=35007 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 4965 0 0 0 4 1 0 0 20 0 18 0 39089797 19384713216 12959 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=18930384 memory=16898 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39089799 19384713216 12959 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39089800 19384713216 12959 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51836 KiB

[startup+0.205658 s]*
/proc/loadavg: 4.15 4.10 4.04 11/333 35092
/proc/meminfo: memFree=127460452/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=18930384 memory=63768 CPUtime=0.26 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 6938 0 0 0 23 3 0 0 20 0 18 0 39089795 19384713216 15942 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4732596 15942 5459 1 0 547839 0
[pid=35022/tid=35037] ppid=35007 vsize=18930384 memory=4026597660 CPUtime=0.14 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5262 0 0 0 12 2 0 0 20 0 18 0 39089797 19384713216 15942 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=18930384 memory=16898 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39089799 19384713216 15942 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39089800 19384713216 15942 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63768 KiB

[startup+0.305715 s]*
/proc/loadavg: 4.62 4.20 4.07 10/334 35093
/proc/meminfo: memFree=127280168/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=18930384 memory=95612 CPUtime=0.45 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 8828 0 0 0 41 4 0 0 20 0 18 0 39089795 19384713216 23903 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4732596 23903 5459 1 0 549112 0
[pid=35022/tid=35037] ppid=35007 vsize=18930384 memory=-6000919494198454124 CPUtime=0.24 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5295 0 0 0 21 3 0 0 20 0 18 0 39089797 19384713216 23903 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39089799 19384713216 23903 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39089800 19384713216 23903 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 95612 KiB

[startup+0.700235 s]
/proc/loadavg: 4.62 4.20 4.07 10/338 35097
/proc/meminfo: memFree=126848356/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=179400 CPUtime=1.21 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 11397 0 0 0 115 6 0 0 20 0 20 0 39089795 19521036288 44850 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 44850 5491 1 0 551277 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=18048 CPUtime=0.57 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5387 0 0 0 54 3 0 0 20 0 20 0 39089797 19521036288 44850 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 44850 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 44850 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 44850 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179400 KiB

[startup+1.50024 s]
/proc/loadavg: 4.62 4.20 4.07 10/340 35100
/proc/meminfo: memFree=125926268/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=205288 CPUtime=2.8 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 16092 0 0 0 272 8 0 0 20 0 20 0 39089795 19521036288 51322 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 51322 5491 1 0 553517 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=10752 CPUtime=1.31 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5448 0 0 0 127 4 0 0 20 0 20 0 39089797 19521036288 51322 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 51322 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 51322 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 51322 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205288 KiB

[startup+3.10559 s]
/proc/loadavg: 4.62 4.20 4.07 5/341 35101
/proc/meminfo: memFree=124590408/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=551940 CPUtime=5.68 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 18426 0 0 0 548 20 0 0 20 0 20 0 39089795 19521036288 137985 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 137985 5491 1 0 1293641 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=-6000919477085693804 CPUtime=2.75 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5618 0 0 0 263 12 0 0 20 0 20 0 39089797 19521036288 137985 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 137985 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 137985 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 137985 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 551940 KiB

[startup+6.30023 s]
/proc/loadavg: 4.57 4.20 4.07 5/343 35103
/proc/meminfo: memFree=121943544/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=1361352 CPUtime=9.39 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 19624 0 0 0 900 39 0 0 20 0 20 0 39089795 19521036288 340338 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 340338 5523 1 0 1554768 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=0 CPUtime=5.39 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 5933 0 0 0 512 27 0 0 20 0 20 0 39089797 19521036288 340338 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 340338 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=7304909386628230247 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 340338 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=205288 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 340338 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 9.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1361352 KiB

[startup+12.7002 s]
/proc/loadavg: 4.60 4.21 4.08 5/343 35103
/proc/meminfo: memFree=118899744/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=2019008 CPUtime=16.12 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 23173 0 0 0 1553 59 0 0 20 0 20 0 39089795 19521036288 504752 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 504752 5523 1 0 1554772 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=205288 CPUtime=11.4 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 7379 0 0 0 1099 41 0 0 20 0 20 0 39089797 19521036288 504752 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=1142108 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 504752 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=4050487811223322656 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 504752 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 504752 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2019008 KiB

[startup+25.5002 s]
/proc/loadavg: 4.59 4.22 4.08 5/343 35103
/proc/meminfo: memFree=115565836/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=2757720 CPUtime=29.63 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 26684 0 0 0 2873 90 0 0 20 0 20 0 39089795 19521036288 689430 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 689430 5523 1 0 1657132 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=2080584 CPUtime=23.44 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 7895 0 0 0 2279 65 0 0 20 0 20 0 39089797 19521036288 689430 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=2528080 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 689430 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 689430 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16420 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 689430 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 29.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2757720 KiB

[startup+51.1057 s]
/proc/loadavg: 4.75 4.30 4.11 5/323 35202
/proc/meminfo: memFree=110913704/131250000 swapFree=33010684/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=4968536 CPUtime=56.5 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 35703 0 0 0 5482 168 0 0 20 0 20 0 39089795 19521036288 1242134 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 1242134 5523 1 0 1755320 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=4267916 CPUtime=47.61 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 11482 0 0 0 4640 121 0 0 20 0 20 0 39089797 19521036288 1242134 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=4476972 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 1242134 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0

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

[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3306.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.81 4.55 4.39 5/346 36174
/proc/meminfo: memFree=624652/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3373.1 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 544599 0 0 0 332685 4625 0 0 20 0 20 0 39089795 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 4069829 5523 1 0 4085070 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=16279188 CPUtime=3079.72 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 298703 0 0 0 303550 4422 0 0 20 0 20 0 39089797 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2735 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3373.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.51 4.50 4.38 5/349 36245
/proc/meminfo: memFree=27565440/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3436.02 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 555350 0 0 0 338886 4716 0 0 20 0 20 0 39089795 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 4069829 5523 1 0 4085070 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3136.43 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 305071 0 0 0 309132 4511 0 0 20 0 20 0 39089797 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2790 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3436.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.44 4.37 5/349 36247
/proc/meminfo: memFree=25641636/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3501.87 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 562957 0 0 0 345387 4800 0 0 20 0 20 0 39089795 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 4069829 5523 1 0 4085070 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=14412 CPUtime=3193.62 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 309316 0 0 0 314769 4593 0 0 20 0 20 0 39089797 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=18048 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=14412 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2865 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=5172 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3501.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.40 4.36 5/349 36249
/proc/meminfo: memFree=23828988/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3564.08 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 574541 0 0 0 351520 4888 0 0 20 0 20 0 39089795 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 4069829 5523 1 0 4085070 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3250.99 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) R 35007 35022 34474 0 -1 4194368 316154 0 0 0 320421 4678 0 0 20 0 20 0 39089797 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=5504 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2918 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3564.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3436.7 s]
/proc/loadavg: 4.28 4.39 4.36 5/351 36254
/proc/meminfo: memFree=22575608/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19063512 memory=16279316 CPUtime=3600.19 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 579584 0 0 0 355070 4949 0 0 20 0 20 0 39089795 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4765878 4069829 5523 1 0 4085070 0
[pid=35022/tid=35037] ppid=35007 vsize=19063512 memory=5504 CPUtime=3283.46 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) S 35007 35022 34474 0 -1 4194368 319864 0 0 0 323609 4737 0 0 20 0 20 0 39089797 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39089799 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2973 0 0 0 0 0 0 0 20 0 20 0 39089800 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35096] ppid=35007 vsize=19063512 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35096/stat : 35096 (Timer-0) S 35007 35022 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39089839 19521036288 4069829 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16279316 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3550.98 s, system=50.4562 s

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

[startup+3436.8 s]
/proc/loadavg: 4.28 4.39 4.36 5/351 36254
/proc/meminfo: memFree=22575608/131250000 swapFree=33009904/33010684
[pid=35022] ppid=35007 vsize=19263204 memory=16280212 CPUtime=3600.39 cores=1,3
/proc/35022/stat : 35022 (java) S 35007 35022 34474 0 -1 4194304 581875 0 0 0 355090 4949 0 0 20 0 21 0 39089795 19725520896 4070053 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
/proc/35022/statm: 4815801 4070053 5555 1 0 4085995 0
[pid=35022/tid=35037] ppid=35007 vsize=19263204 memory=-6000919477085693804 CPUtime=3283.48 cores=1,3
/proc/35022/task/35037/stat : 35037 (java) D 35007 35022 34474 0 -1 4194368 320039 0 0 0 323611 4737 0 0 20 0 21 0 39089797 19725520896 4070053 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35057] ppid=35007 vsize=19263204 memory=16279316 CPUtime=0 cores=1,3
/proc/35022/task/35057/stat : 35057 (Finalizer) S 35007 35022 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39089799 19725520896 4070053 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
[pid=35022/tid=35066] ppid=35007 vsize=19263204 memory=10752 CPUtime=0 cores=1,3
/proc/35022/task/35066/stat : 35066 (Common-Cleaner) S 35007 35022 34474 0 -1 4194368 2973 0 0 0 0 0 0 0 20 0 21 0 39089800 19725520896 4070053 18446744073709551615 94389761830912 94389761834608 140720668112000 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94389761842424 94389761843216 94389773873152 140720668121392 140720668121574 140720668121574 140720668127176 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16280212 KiB

[startup+3437.6 s]
/proc/loadavg: 4.28 4.39 4.36 6/333 36257
/proc/meminfo: memFree=22531036/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3438.4 s]
/proc/loadavg: 4.28 4.39 4.36 4/333 36257
/proc/meminfo: memFree=22488292/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3438.6 s]
/proc/loadavg: 4.28 4.39 4.36 4/333 36257
/proc/meminfo: memFree=22488292/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3438.7 s]
/proc/loadavg: 4.28 4.39 4.36 4/333 36257
/proc/meminfo: memFree=22488292/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3443.81
CPU time (s): 3601.43
CPU user time (s): 3550.98
CPU system time (s): 50.4562
CPU usage (%): 104.577
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.98
system time used= 50.4562
maximum resident set size= 16280340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582238
page faults= 0
swaps= 0
block input operations= 8
block output operations= 107891528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 300545
involuntary context switches= 19638


# summary of solver processes directly reported to runsolver:
#   pid: 35022
#   total CPU time (s): 3601.43
#   total CPU user time (s): 3550.98
#   total CPU system time (s): 50.4562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38385 second user time and 16.5482 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 23:55:04
IDJOB=4515319
IDBENCH=164400
IDSOLVER=3364
FILE ID=nodeC033/4515319-1751234104
RUNJOBID= nodeC033-1751234104-34967
SLURM_JOB_ID= 9587701
Free space on /tmp= 432768 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515319-1751234104/watcher-4515319-1751234104 -o /tmp/evaluation-result-4515319-1751234104/solver-4515319-1751234104 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34967 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515319-1751234104 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515319-1751234104.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=106364322

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127633284 kB
MemAvailable:   129755608 kB
Buffers:            3280 kB
Cached:          2923960 kB
SwapCached:            0 kB
Active:           334028 kB
Inactive:        2664576 kB
Active(anon):      89488 kB
Inactive(anon):        0 kB
Active(file):     244540 kB
Inactive(file):  2664576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12328 kB
Writeback:             0 kB
AnonPages:         74500 kB
Mapped:           103844 kB
Shmem:             18120 kB
KReclaimable:     104896 kB
Slab:             192920 kB
SReclaimable:     104896 kB
SUnreclaim:        88024 kB
KernelStack:        4176 kB
PageTables:         3020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432764 MiB
End job on nodeC033 at 2025-06-30 00:52:28