Trace number 4453102

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 2024 2024-07-07? (TO) 3600.26 3614.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
MD5SUMbca3b64090d9c28929d1ba0e342c0a17
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.71714
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables712
Total number of constraints1425
Number of constraints which are clauses1424
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint712
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 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 732
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.16	c See www.sat4j.org for details.
0.05/0.16	c version CUSTOM.v20240707
0.05/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.17	c java.vm.version	22.0.1+8-16
0.05/0.17	c java.vm.vendor	Oracle Corporation
0.05/0.17	c sun.arch.data.model	64
0.05/0.17	c java.version		22.0.1
0.05/0.17	c os.name		Linux
0.05/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.17	c os.arch		amd64
0.05/0.18	c Free memory 		2104792832
0.05/0.18	c Max memory 		16282288128
0.05/0.18	c Total memory 		2113929216
0.05/0.18	c Number of processors 	2
0.14/0.25	--- Begin Solver configuration ---
0.14/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.25	Learn all clauses as in MiniSAT
0.14/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.25	Expensive reason simplification
0.14/0.25	Glucose 2.1 dynamic restart strategy
0.14/0.25	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.25	timeout=2147483s
0.14/0.25	DB Simplification allowed=false
0.14/0.25	Listener: none
0.14/0.25	--- End Solver configuration ---
0.14/0.25	c Pseudo Boolean Optimization by upper bound
0.14/0.25	c --- Begin Solver configuration ---
0.14/0.25	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.25	c Learn all clauses as in MiniSAT
0.14/0.25	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.25	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.25	c Expensive reason simplification
0.14/0.25	c Glucose 2.1 dynamic restart strategy
0.14/0.25	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.25	c timeout=2147483s
0.14/0.25	c DB Simplification allowed=false
0.14/0.25	c Listener: none
0.14/0.25	c --- End Solver configuration ---
0.14/0.25	c solving HOME/instance-4453102-1721842415.opb
0.14/0.25	c reading problem ... 
0.14/0.25	c using VERIPB proof format
0.14/0.25	c  no objective function found
0.14/0.30	c ... done. Wall clock time 0.047s.
0.14/0.30	c declared #vars     712
0.14/0.30	c #constraints  1425
0.14/0.30	c constraints type 
0.14/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1424
0.14/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.14/0.30	c 1425 constraints processed.
3.21/1.86	c cleaning 2501 clauses out of 5001 with flag 10524/5001
4.54/2.78	c cleaning 4249 clauses out of 8499 with flag 23129/11000
5.69/3.84	c cleaning 5626 clauses out of 11251 with flag 37890/18001
7.08/5.01	c cleaning 6812 clauses out of 13624 with flag 54796/26000
8.66/6.42	c cleaning 7903 clauses out of 15812 with flag 73815/35000
10.10/7.84	c cleaning 8952 clauses out of 17909 with flag 94986/45000
11.91/9.47	c cleaning 9979 clauses out of 19957 with flag 118184/56000
13.77/11.27	c cleaning 10980 clauses out of 21978 with flag 143513/68000
15.88/13.28	c cleaning 11999 clauses out of 23999 with flag 171046/81001
17.94/15.21	c cleaning 13001 clauses out of 26001 with flag 200649/95002
20.56/17.67	c cleaning 13996 clauses out of 27999 with flag 232333/110001
23.06/20.09	c cleaning 14996 clauses out of 30002 with flag 266105/126000
25.90/22.72	c cleaning 16004 clauses out of 32007 with flag 302044/143001
28.94/25.66	c cleaning 16995 clauses out of 34003 with flag 340256/161001
32.24/28.88	c cleaning 18001 clauses out of 36007 with flag 380598/180000
35.77/35.48	c cleaning 19000 clauses out of 38007 with flag 422988/200001
39.68/39.25	c cleaning 20000 clauses out of 40006 with flag 467551/221000
43.69/43.18	c cleaning 21004 clauses out of 42007 with flag 514059/243001
47.36/46.83	c cleaning 22000 clauses out of 44003 with flag 562789/266001
51.86/51.23	c cleaning 23001 clauses out of 46003 with flag 613484/290001
56.70/55.73	c cleaning 23998 clauses out of 48002 with flag 666457/315001
61.51/60.45	c cleaning 25000 clauses out of 50003 with flag 721480/341000
66.31/67.67	c cleaning 26001 clauses out of 52004 with flag 778662/368001
72.51/73.47	c cleaning 27002 clauses out of 54004 with flag 837770/396002
77.90/78.71	c cleaning 27996 clauses out of 56000 with flag 899143/425000
83.22/83.90	c cleaning 29000 clauses out of 58004 with flag 962609/455000
88.51/89.18	c cleaning 29996 clauses out of 60005 with flag 1028396/486001
94.47/103.00	c cleaning 31000 clauses out of 62009 with flag 1096027/518001
100.16/108.50	c cleaning 32003 clauses out of 64010 with flag 1165866/551002
106.52/114.85	c cleaning 32999 clauses out of 66006 with flag 1237672/585001
112.31/120.59	c cleaning 33998 clauses out of 68006 with flag 1311578/620000
118.63/126.84	c cleaning 34997 clauses out of 70009 with flag 1387667/656001
124.98/135.68	c cleaning 36006 clauses out of 72013 with flag 1465886/693002
131.49/142.00	c cleaning 36994 clauses out of 74005 with flag 1546241/731000
140.40/150.65	c cleaning 38002 clauses out of 76011 with flag 1628962/770000
147.91/157.94	c cleaning 39001 clauses out of 78009 with flag 1713610/810000
155.79/167.30	c cleaning 40002 clauses out of 80009 with flag 1799816/851001
162.92/174.35	c cleaning 40996 clauses out of 82006 with flag 1888796/893000
169.85/181.13	c cleaning 42006 clauses out of 84012 with flag 1979647/936002
178.09/188.99	c cleaning 42999 clauses out of 86005 with flag 2072704/980001
187.21/198.97	c cleaning 44000 clauses out of 88005 with flag 2167956/1025000
197.12/208.69	c cleaning 45002 clauses out of 90005 with flag 2265435/1071000
206.74/218.04	c cleaning 45996 clauses out of 92003 with flag 2364915/1118000
215.23/228.17	c cleaning 46999 clauses out of 94008 with flag 2466323/1166001
224.63/237.24	c cleaning 47994 clauses out of 96008 with flag 2570172/1215000
235.63/247.75	c cleaning 49005 clauses out of 98015 with flag 2675805/1265001
245.33/258.78	c cleaning 50001 clauses out of 100009 with flag 2783850/1316000
259.01/271.82	c cleaning 50999 clauses out of 102009 with flag 2894236/1368001
271.28/285.17	c cleaning 51996 clauses out of 104010 with flag 3006301/1421001
282.35/295.98	c cleaning 53003 clauses out of 106014 with flag 3120737/1475001
294.68/308.08	c cleaning 54000 clauses out of 108010 with flag 3237222/1530000
307.18/321.52	c cleaning 54999 clauses out of 110011 with flag 3355758/1586001
320.46/334.38	c cleaning 55998 clauses out of 112011 with flag 3476662/1643000
334.84/349.78	c cleaning 57006 clauses out of 114014 with flag 3599531/1701001
348.82/363.39	c cleaning 58004 clauses out of 116008 with flag 3724421/1760001
361.68/377.67	c cleaning 58999 clauses out of 118004 with flag 3851417/1820001
374.12/389.84	c cleaning 59999 clauses out of 120004 with flag 3980538/1881000
387.92/403.29	c cleaning 61000 clauses out of 122005 with flag 4111737/1943000
402.65/418.83	c cleaning 62000 clauses out of 124007 with flag 4244882/2006002
417.50/432.53	c cleaning 62999 clauses out of 126005 with flag 4380613/2070000
432.02/448.07	c cleaning 63999 clauses out of 128007 with flag 4518321/2135001
445.74/461.51	c cleaning 64999 clauses out of 130007 with flag 4658590/2201000
459.86/476.52	c cleaning 66000 clauses out of 132009 with flag 4800338/2268001
475.77/491.73	c cleaning 67001 clauses out of 134012 with flag 4944148/2336004
491.66/508.15	c cleaning 68000 clauses out of 136009 with flag 5089873/2405002
508.15/524.16	c cleaning 68999 clauses out of 138007 with flag 5237872/2475000
525.31/542.38	c cleaning 69997 clauses out of 140009 with flag 5387970/2546001
542.59/560.47	c cleaning 71001 clauses out of 142011 with flag 5539938/2618000
562.00/579.48	c cleaning 72005 clauses out of 144010 with flag 5694200/2691000
578.75/597.01	c cleaning 72999 clauses out of 146006 with flag 5850777/2765001
597.63/615.45	c cleaning 73997 clauses out of 148006 with flag 6009555/2840000
618.07/636.51	c cleaning 75004 clauses out of 150009 with flag 6170648/2916000
641.39/660.33	c cleaning 76002 clauses out of 152006 with flag 6333676/2993001
663.15/681.68	c cleaning 76995 clauses out of 154003 with flag 6498889/3071000
685.37/704.17	c cleaning 78004 clauses out of 156009 with flag 6666238/3150001
708.17/727.45	c cleaning 78998 clauses out of 158004 with flag 6835470/3230000
727.58/746.12	c cleaning 79996 clauses out of 160007 with flag 7006900/3311001
748.92/767.13	c cleaning 81001 clauses out of 162011 with flag 7180568/3393001
770.37/789.03	c cleaning 82004 clauses out of 164010 with flag 7355936/3476001
791.46/810.54	c cleaning 83000 clauses out of 166008 with flag 7533200/3560003
813.54/832.28	c cleaning 83997 clauses out of 168007 with flag 7712767/3645002
836.38/855.37	c cleaning 84998 clauses out of 170008 with flag 7894581/3731000
862.29/881.33	c cleaning 85997 clauses out of 172010 with flag 8078206/3818000
889.87/909.12	c cleaning 87002 clauses out of 174013 with flag 8264104/3906000
912.94/932.37	c cleaning 88005 clauses out of 176011 with flag 8452040/3995000
937.67/956.87	c cleaning 88999 clauses out of 178009 with flag 8642209/4085003
962.47/981.59	c cleaning 89996 clauses out of 180008 with flag 8834954/4176001
992.15/1011.26	c cleaning 91007 clauses out of 182014 with flag 9029729/4268003
1018.24/1036.17	c cleaning 92002 clauses out of 184005 with flag 9226395/4361001
1041.68/1059.91	c cleaning 92998 clauses out of 186002 with flag 9425206/4455000
1068.44/1086.82	c cleaning 93998 clauses out of 188005 with flag 9626154/4550001
1096.12/1114.92	c cleaning 95001 clauses out of 190006 with flag 9829540/4646000
1124.07/1142.67	c cleaning 95996 clauses out of 192005 with flag 10035107/4743000
1146.71/1165.33	c cleaning 97004 clauses out of 194009 with flag 10242243/4841000
1177.94/1196.69	c cleaning 98000 clauses out of 196007 with flag 10451719/4940002
1205.07/1223.73	c cleaning 98997 clauses out of 198006 with flag 10663584/5040001
1236.16/1255.00	c cleaning 100001 clauses out of 200008 with flag 10877560/5141000
1265.50/1284.44	c cleaning 100997 clauses out of 202007 with flag 11093317/5243000
1296.78/1316.07	c cleaning 101997 clauses out of 204010 with flag 11311945/5346000
1322.50/1341.83	c cleaning 103004 clauses out of 206013 with flag 11532429/5450000
1346.10/1365.77	c cleaning 103999 clauses out of 208009 with flag 11754329/5555000
1371.93/1389.45	c cleaning 104999 clauses out of 210011 with flag 11978670/5661001
1397.18/1414.08	c cleaning 106005 clauses out of 212012 with flag 12204994/5768001
1429.08/1445.95	c cleaning 106998 clauses out of 214008 with flag 12433291/5876002
1461.95/1478.72	c cleaning 108000 clauses out of 216009 with flag 12663963/5985001
1494.99/1512.59	c cleaning 109001 clauses out of 218009 with flag 12897028/6095001
1532.18/1549.80	c cleaning 110004 clauses out of 220007 with flag 13132279/6206000
1558.79/1576.54	c cleaning 110992 clauses out of 222003 with flag 13369303/6318000
1590.52/1607.98	c cleaning 111998 clauses out of 224011 with flag 13608188/6431000
1620.18/1637.76	c cleaning 113003 clauses out of 226015 with flag 13849515/6545002
1649.88/1667.75	c cleaning 114003 clauses out of 228010 with flag 14092625/6660000
1683.77/1702.02	c cleaning 114997 clauses out of 230008 with flag 14337900/6776001
1718.94/1735.08	c cleaning 116002 clauses out of 232010 with flag 14585175/6893000
1757.92/1774.17	c cleaning 117000 clauses out of 234010 with flag 14834501/7011002
1793.09/1809.50	c cleaning 118002 clauses out of 236010 with flag 15085953/7130002
1832.23/1848.83	c cleaning 119002 clauses out of 238006 with flag 15340171/7250000
1861.66/1878.14	c cleaning 119995 clauses out of 240004 with flag 15596323/7371000
1899.59/1916.90	c cleaning 120996 clauses out of 242010 with flag 15854062/7493001
1936.09/1953.43	c cleaning 122001 clauses out of 244014 with flag 16114418/7616001
1975.58/1992.88	c cleaning 123000 clauses out of 246012 with flag 16377220/7740000
2010.79/2027.81	c cleaning 124005 clauses out of 248013 with flag 16641595/7865001
2040.27/2057.19	c cleaning 125000 clauses out of 250007 with flag 16908818/7991000
2083.10/2098.12	c cleaning 126003 clauses out of 252010 with flag 17178303/8118003
2125.38/2140.30	c cleaning 126995 clauses out of 254005 with flag 17449058/8246001
2172.54/2189.17	c cleaning 127997 clauses out of 256009 with flag 17722292/8375000
2215.73/2232.62	c cleaning 129005 clauses out of 258014 with flag 17997461/8505002
2259.74/2276.65	c cleaning 130001 clauses out of 260009 with flag 18274933/8636002
2316.91/2333.82	c cleaning 131002 clauses out of 262006 with flag 18554278/8768000
2366.99/2384.04	c cleaning 131999 clauses out of 264005 with flag 18836199/8901001
2421.84/2439.57	c cleaning 132998 clauses out of 266005 with flag 19120551/9035000
2469.72/2488.06	c cleaning 133998 clauses out of 268008 with flag 19406367/9170001
2511.99/2531.53	c cleaning 134997 clauses out of 270009 with flag 19694619/9306000
2559.36/2578.12	c cleaning 136004 clauses out of 272015 with flag 19984568/9443003
2609.13/2628.90	c cleaning 137000 clauses out of 274008 with flag 20277010/9581000
2652.81/2673.14	c cleaning 137994 clauses out of 276010 with flag 20571663/9720002
2693.24/2714.82	c cleaning 139002 clauses out of 278014 with flag 20868404/9860000
2742.33/2764.93	c cleaning 140001 clauses out of 280013 with flag 21166408/10001001
2791.40/2813.72	c cleaning 141002 clauses out of 282015 with flag 21467116/10143004
2837.86/2860.04	c cleaning 141994 clauses out of 284010 with flag 21769443/10286001
2889.15/2911.86	c cleaning 143000 clauses out of 286016 with flag 22074555/10430001
2945.50/2968.89	c cleaning 144002 clauses out of 288015 with flag 22381764/10575000
3009.88/3030.15	c cleaning 144996 clauses out of 290013 with flag 22691081/10721000
3080.90/3101.18	c cleaning 146005 clauses out of 292019 with flag 23002362/10868002
3147.81/3167.73	c cleaning 146999 clauses out of 294012 with flag 23316062/11016000
3212.68/3232.56	c cleaning 148000 clauses out of 296014 with flag 23632473/11165001
3291.99/3311.40	c cleaning 149006 clauses out of 298013 with flag 23950883/11315000
3347.01/3365.99	c cleaning 149998 clauses out of 300008 with flag 24271276/11466001
3406.08/3424.79	c cleaning 150999 clauses out of 302009 with flag 24593515/11618000
3467.42/3483.22	c cleaning 152000 clauses out of 304011 with flag 24918105/11771001
3517.23/3532.27	c cleaning 152998 clauses out of 306010 with flag 25244911/11925000
3571.82/3586.34	c cleaning 153999 clauses out of 308012 with flag 25573735/12080000
3600.06/3614.42	c starts		: 1
3600.06/3614.42	c timeout
3600.06/3614.42	c conflicts		: 12185121
3600.06/3614.42	c decisions		: 12816720
3600.06/3614.42	c propagations		: 63057436
3600.06/3614.42	c inspects		: 6684326527
3600.06/3614.42	c shortcuts		: 0
3600.06/3614.42	c learnt literals	: 0
3600.06/3614.42	c learnt binary clauses	: 0
3600.06/3614.42	c learnt ternary clauses	: 0
3600.06/3614.42	c learnt constraints	: 12185121
3600.06/3614.42	c ignored constraints	: 0
3600.06/3614.42	c root simplifications	: 0
3600.06/3614.42	c removed literals (reason simplification)	: 226004083
3600.06/3614.42	c reason swapping (by a shorter reason)	: 0
3600.06/3614.42	c Calls to reduceDB	: 151
3600.06/3614.42	c Number of update (reduction) of LBD	: 117945
3600.06/3614.42	c Imported unit clauses	: 0
3600.06/3614.42	c No decision after first conflict	: false
3600.06/3614.42	c number of reductions to clauses (during analyze)	: 0
3600.06/3614.42	c number of learned constraints concerned by reduction	: 0
3600.06/3614.42	c number of learning phase by resolution	: 0
3600.06/3614.42	c number of learning phase by cutting planes	: 0
3600.06/3614.42	c number of rounding to 1 operations	: 0
3600.06/3614.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3614.42	c number of reductions of the coefficients by power 2 	: 0
3600.06/3614.42	c number of right shift for reduction by power 2 	: 0
3600.06/3614.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3614.42	c number of ending skipping 	: 0
3600.06/3614.42	c number of internal skipping 	: 0
3600.06/3614.42	c number of derivation steps 	: 0
3600.06/3614.42	c number of skipped derivation steps 	: 0
3600.06/3614.42	c number of remaining unassigned 	: 0
3600.06/3614.42	c number of remaining assigned 	: 0
3600.06/3614.42	c number of falsified literals weakened from reason	: 0
3600.06/3614.42	c number of falsified literals weakened from conflict	: 0
3600.06/3614.42	c time for arithmetic operations	: 0
3600.06/3614.42	c minimum degree of deleted constraints	: null
3600.06/3614.42	c maximum degree of deleted constraints	: null
3600.06/3614.42	c number of deleted constraints	: 0
3600.06/3614.42	c speed (assignments/second)	: 17447.55035397334
3600.06/3614.42	c non guided choices	: 172
3600.06/3614.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 259134
3600.06/3614.48	s UNKNOWN
3600.06/3614.48	c Total wall clock time (in seconds): 3614.229

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: 63931 MiB (61618 MiB free)
  memory of node 1: 64510 MiB (61974 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100087 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126403252/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=18975048 memory=56724 CPUtime=0.05 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 6364 0 33 0 3 2 0 0 20 0 18 0 20771076 19430449152 14181 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4743762 14181 5523 1 0 548705 0
[pid=242290/tid=242299] ppid=242278 vsize=18975048 memory=4026561586 CPUtime=0.03 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 5294 0 28 0 2 1 0 0 20 0 18 0 20771077 19430449152 14181 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 14181 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=18975048 memory=14126749555924702 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 14181 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56724 KiB

[startup+0.207665 s]*
/proc/loadavg: 1.05 1.16 1.99 4/333 242364
/proc/meminfo: memFree=126362460/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=18975048 memory=66376 CPUtime=0.14 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 7189 0 33 0 12 2 0 0 20 0 18 0 20771076 19430449152 16594 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4743762 16594 5587 1 0 549374 0
[pid=242290/tid=242299] ppid=242278 vsize=18975048 memory=664970851429515395 CPUtime=0.09 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) D 242278 242290 242221 0 -1 4194368 5744 0 28 0 7 2 0 0 20 0 18 0 20771077 19430449152 16594 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=18975048 memory=1613749 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20771083 19430449152 16594 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=18975048 memory=15262540770838164 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20771084 19430449152 16594 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66376 KiB

[startup+0.308734 s]*
/proc/loadavg: 1.05 1.16 1.99 17/337 242368
/proc/meminfo: memFree=126347780/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19041612 memory=72536 CPUtime=0.29 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 7596 0 33 0 26 3 0 0 20 0 19 0 20771076 19498610688 18134 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4760403 18134 5682 1 0 549886 0
[pid=242290/tid=242299] ppid=242278 vsize=19041612 memory=-8599175344770753212 CPUtime=0.16 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 5968 0 28 0 14 2 0 0 20 0 19 0 20771077 19498610688 18134 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19041612 memory=1468801770340581977 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20771083 19498610688 18134 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20771084 19498610688 18134 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (java) R 242278 242290 242221 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 20771106 19498610688 18134 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72536 KiB

[startup+0.703903 s]
/proc/loadavg: 1.05 1.16 1.99 13/337 242368
/proc/meminfo: memFree=126186436/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=169676 CPUtime=1.06 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 10614 0 33 0 100 6 0 0 20 0 20 0 20771076 19566772224 42419 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 42419 5817 1 0 551500 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=11420 CPUtime=0.53 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 6049 0 28 0 49 4 0 0 20 0 20 0 20771077 19566772224 42419 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 42419 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=280853683172320 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 42419 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=32944 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 42419 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169676 KiB

[startup+1.50064 s]
/proc/loadavg: 1.85 1.33 2.04 14/341 242372
/proc/meminfo: memFree=125923632/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=194284 CPUtime=2.62 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 16667 0 33 0 255 7 0 0 20 0 20 0 20771076 19566772224 48571 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 48571 5867 1 0 553367 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=11420 CPUtime=1.26 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 6319 0 28 0 122 4 0 0 20 0 20 0 20771077 19566772224 48571 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 48571 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 48571 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 48571 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194284 KiB

[startup+3.10665 s]
/proc/loadavg: 1.85 1.33 2.04 6/341 242372
/proc/meminfo: memFree=124260780/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=603908 CPUtime=4.96 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 21201 0 33 0 480 16 0 0 20 0 20 0 20771076 19566772224 150977 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 150977 5868 1 0 1372635 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=0 CPUtime=2.69 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 7368 0 28 0 258 11 0 0 20 0 20 0 20771077 19566772224 150977 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 150977 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=201516 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 150977 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 150977 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 603908 KiB

[startup+6.30064 s]
/proc/loadavg: 2.02 1.37 2.05 10/341 242374
/proc/meminfo: memFree=120455556/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=1702800 CPUtime=8.56 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 22666 0 33 0 814 42 0 0 20 0 20 0 20771076 19566772224 425700 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 425700 5868 1 0 1642115 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=0 CPUtime=5.62 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 7810 0 28 0 531 31 0 0 20 0 20 0 20771077 19566772224 425700 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=5794554252943053400 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 425700 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=-8033973737701895300 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 425700 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=5552 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 425700 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1702800 KiB

[startup+12.7006 s]
/proc/loadavg: 2.18 1.42 2.06 8/341 242374
/proc/meminfo: memFree=116038400/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=2674900 CPUtime=15.33 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 24125 0 33 0 1466 67 0 0 20 0 20 0 20771076 19566772224 668725 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 668725 5868 1 0 1740297 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=2654308 CPUtime=11.56 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 8115 0 28 0 1107 49 0 0 20 0 20 0 20771077 19566772224 668725 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=64696 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 668725 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 668725 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=1702800 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 668725 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 15.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2674900 KiB

[startup+25.5007 s]
/proc/loadavg: 2.46 1.50 2.08 8/341 242377
/proc/meminfo: memFree=111849720/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=3721168 CPUtime=28.84 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 30649 0 33 0 2779 105 0 0 20 0 20 0 20771076 19566772224 930292 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 930292 5868 1 0 1740306 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=2654308 CPUtime=23.54 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 9736 0 28 0 2275 79 0 0 20 0 20 0 20771077 19566772224 930292 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=3614668 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 930292 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 930292 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=1702800 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 930292 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 28.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3721168 KiB

[startup+51.1066 s]
/proc/loadavg: 3.24 1.79 2.16 8/341 242381
/proc/meminfo: memFree=106464076/131524600 swapFree=131059112/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=5096644 CPUtime=51.77 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 33899 0 33 0 5019 158 0 0 20 0 20 0 20771076 19566772224 1274161 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 1274161 5868 1 0 1865646 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=4854980 CPUtime=44.99 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 12060 0 28 0 4382 117 0 0 20 0 20 0 20771077 19566772224 1274161 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 331 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=12148 CPUtime=0 cores=0,2

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

/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2581 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3202.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16149088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.38 4.30 8/341 244147
/proc/meminfo: memFree=10063272/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3262.79 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 863946 0 33 0 323227 3052 0 0 20 0 20 0 20771076 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4037272 5883 1 0 4052723 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3076.89 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 456907 0 28 0 304865 2824 0 0 20 0 20 0 20771077 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10026 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=12148 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2641 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3262.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16149088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.40 4.37 4.30 8/341 244157
/proc/meminfo: memFree=9003900/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3323.28 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 899282 0 33 0 329236 3092 0 0 20 0 20 0 20771076 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4037272 5883 1 0 4052723 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3135.04 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 485338 0 28 0 310642 2862 0 0 20 0 20 0 20771077 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10057 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2730 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=64696 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3323.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16149088 KiB

[startup+3402.3 s]
/proc/loadavg: 4.34 4.36 4.30 9/344 244227
/proc/meminfo: memFree=7861088/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3383.81 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 903179 0 33 0 335241 3140 0 0 20 0 20 0 20771076 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4037272 5883 1 0 4052723 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3192.84 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 488291 0 28 0 316376 2908 0 0 20 0 20 0 20771077 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 10093 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=64696 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2819 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16149088 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4037272 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3383.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16149088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.33 4.28 8/344 244240
/proc/meminfo: memFree=6733476/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16165796 CPUtime=3446.41 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 964907 0 33 0 341445 3196 0 0 20 0 20 0 20771076 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4041449 5883 1 0 4056900 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=16149088 CPUtime=3250.95 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 523797 0 28 0 322134 2961 0 0 20 0 20 0 20771077 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10124 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=64696 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2910 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16165796 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3446.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16165796 KiB

[startup+3522.3 s]
/proc/loadavg: 3.94 4.24 4.26 4/292 244321
/proc/meminfo: memFree=55515660/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16165796 CPUtime=3507.17 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 968195 0 33 0 347474 3243 0 0 20 0 20 0 20771076 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4041449 5883 1 0 4056900 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=16165796 CPUtime=3309.24 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 525711 0 28 0 327918 3006 0 0 20 0 20 0 20771077 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10143 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=16165472 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=16096 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2911 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16165796 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4041449 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3507.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16165796 KiB

[startup+3582.3 s]
/proc/loadavg: 2.27 3.72 4.08 2/266 244366
/proc/meminfo: memFree=81096692/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16165800 CPUtime=3567.82 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 1004962 0 33 0 353489 3293 0 0 20 0 20 0 20771076 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4041450 5883 1 0 4056900 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=12148 CPUtime=3367.24 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 558892 0 28 0 333670 3054 0 0 20 0 20 0 20771077 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10187 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=16165800 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=64696 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2971 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=16165800 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3567.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16165800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.4 s]
/proc/loadavg: 1.83 3.48 3.98 2/264 244373
/proc/meminfo: memFree=80843664/131524600 swapFree=131058856/131071996
[pid=242290] ppid=242278 vsize=19108176 memory=16165800 CPUtime=3600.06 cores=0,2
/proc/242290/stat : 242290 (java) S 242278 242290 242221 0 -1 1077936128 1008185 0 33 0 356685 3321 0 0 20 0 20 0 20771076 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
/proc/242290/statm: 4777044 4041450 5883 1 0 4056900 0
[pid=242290/tid=242299] ppid=242278 vsize=19108176 memory=64696 CPUtime=3398.53 cores=0,2
/proc/242290/task/242299/stat : 242299 (java) R 242278 242290 242221 0 -1 4194368 561535 0 28 0 336772 3081 0 0 20 0 20 0 20771077 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 10209 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242331] ppid=242278 vsize=19108176 memory=16165800 CPUtime=0 cores=0,2
/proc/242290/task/242331/stat : 242331 (Finalizer) S 242278 242290 242221 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20771083 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242363] ppid=242278 vsize=19108176 memory=7248 CPUtime=0 cores=0,2
/proc/242290/task/242363/stat : 242363 (Common-Cleaner) S 242278 242290 242221 0 -1 1077936192 2971 0 0 0 0 0 0 0 20 0 20 0 20771084 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
[pid=242290/tid=242367] ppid=242278 vsize=19108176 memory=12148 CPUtime=0 cores=0,2
/proc/242290/task/242367/stat : 242367 (Timer-0) S 242278 242290 242221 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20771106 19566772224 4041450 134679101440 93978735738880 93978735742576 140734690674064 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93978735750392 93978735751184 93978743726080 140734690681771 140734690681953 140734690681953 140734690688968 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16165800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.99 s, system=33.2683 s

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

[startup+3614.53 s]*
/proc/loadavg: 1.83 3.48 3.98 2/246 244376
/proc/meminfo: memFree=96525340/131524600 swapFree=131058856/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3614.54
CPU time (s): 3600.26
CPU user time (s): 3566.99
CPU system time (s): 33.2683
CPU usage (%): 99.6047
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 16165800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.99
system time used= 33.2683
maximum resident set size= 16167488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1011542
page faults= 33
swaps= 0
block input operations= 11336
block output operations= 59172464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130469
involuntary context switches= 37269


# summary of solver processes directly reported to runsolver:
#   pid: 242290
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3566.99
#   total CPU system time (s): 33.2683

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68964 second user time and 21.5116 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-24 19:33:35
IDJOB=4453102
IDBENCH=168597
IDSOLVER=3079
FILE ID=nodeC031/4453102-1721842415
RUNJOBID= nodeC031-1721842415-242231
SLURM_JOB_ID= 7891574
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453102-1721842415/watcher-4453102-1721842415 -o /tmp/evaluation-result-4453102-1721842415/solver-4453102-1721842415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721842415-242231 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453102-1721842415 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453102-1721842415.opb

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

MD5SUM BENCH= bca3b64090d9c28929d1ba0e342c0a17
RANDOM SEED=46535795

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126560336 kB
MemAvailable:   129563232 kB
Buffers:          263192 kB
Cached:          3408984 kB
SwapCached:         2384 kB
Active:          2105588 kB
Inactive:        1942364 kB
Active(anon):       1636 kB
Inactive(anon):   427436 kB
Active(file):    2103952 kB
Inactive(file):  1514928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:              2988 kB
Writeback:             0 kB
AnonPages:        371560 kB
Mapped:           100524 kB
Shmem:             53296 kB
KReclaimable:     445248 kB
Slab:             566256 kB
SReclaimable:     445248 kB
SUnreclaim:       121008 kB
KernelStack:        3952 kB
PageTables:         9792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     773784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      367316 kB
DirectMap2M:    37154816 kB
DirectMap1G:    98566144 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC031 at 2024-07-24 20:33:50