Trace number 4451752

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.17 3623.61

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_11.opb
MD5SUM66b8e371687d4e403b47b4700770389d
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 benchmark105.174
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1892
Total number of constraints9034
Number of constraints which are clauses9030
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint43
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 11
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 54
Number of bits of the biggest sum of numbers6
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.11	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	--- Begin Solver configuration ---
0.10/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.14	Learn all clauses as in MiniSAT
0.10/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	Expensive reason simplification
0.10/0.14	Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	timeout=2147483s
0.10/0.14	DB Simplification allowed=false
0.10/0.14	Listener: none
0.10/0.14	--- End Solver configuration ---
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4451752-1721840768.opb
0.10/0.14	c reading problem ... 
0.10/0.15	c using VERIPB proof format
0.10/0.15	c  no objective function found
0.48/0.31	c ... done. Wall clock time 0.166s.
0.48/0.32	c declared #vars     1892
0.48/0.32	c #constraints  9038
0.48/0.32	c constraints type 
0.48/0.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3612
0.48/0.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.48/0.32	c org.sat4j.specs.Constr$1 => 3
0.48/0.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5418
0.48/0.32	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.48/0.32	c 9038 constraints processed.
2.24/1.26	c cleaning 2497 clauses out of 5000 with flag 20927/5000
3.83/2.04	c cleaning 4252 clauses out of 8504 with flag 44044/11001
5.00/2.76	c cleaning 5626 clauses out of 11251 with flag 71455/18000
5.95/3.49	c cleaning 6812 clauses out of 13625 with flag 101066/26000
6.86/4.33	c cleaning 7899 clauses out of 15814 with flag 132802/35001
7.87/5.39	c cleaning 8957 clauses out of 17914 with flag 169359/45000
8.86/6.37	c cleaning 9979 clauses out of 19958 with flag 210221/56001
9.86/7.37	c cleaning 10984 clauses out of 21979 with flag 254574/68001
11.06/8.53	c cleaning 11990 clauses out of 23994 with flag 303933/81000
12.36/9.81	c cleaning 13000 clauses out of 26004 with flag 358036/95000
13.65/11.18	c cleaning 13999 clauses out of 28004 with flag 416745/110000
15.23/12.74	c cleaning 14998 clauses out of 30006 with flag 480513/126001
16.99/14.44	c cleaning 16003 clauses out of 32008 with flag 549766/143001
18.84/16.24	c cleaning 17002 clauses out of 34004 with flag 620661/161000
20.75/18.15	c cleaning 17996 clauses out of 36002 with flag 696136/180000
22.74/20.15	c cleaning 19002 clauses out of 38007 with flag 779752/200001
24.94/22.32	c cleaning 20002 clauses out of 40006 with flag 866852/221002
27.43/24.80	c cleaning 20990 clauses out of 42002 with flag 964658/243000
29.82/27.24	c cleaning 21998 clauses out of 44012 with flag 1056077/266000
32.41/29.88	c cleaning 23004 clauses out of 46016 with flag 1153420/290002
35.26/33.07	c cleaning 23997 clauses out of 48010 with flag 1251628/315000
38.25/36.00	c cleaning 24998 clauses out of 50014 with flag 1360660/341001
41.11/38.80	c cleaning 26001 clauses out of 52015 with flag 1473756/368000
44.30/42.01	c cleaning 27004 clauses out of 54014 with flag 1592527/396000
47.59/45.34	c cleaning 28002 clauses out of 56010 with flag 1716553/425000
50.98/48.80	c cleaning 29003 clauses out of 58009 with flag 1848790/455001
54.37/52.12	c cleaning 30003 clauses out of 60005 with flag 1989582/486000
58.09/55.80	c cleaning 31002 clauses out of 62005 with flag 2137334/518003
62.08/59.89	c cleaning 32000 clauses out of 64000 with flag 2277253/551000
66.65/64.65	c cleaning 32994 clauses out of 66001 with flag 2427025/585001
71.63/69.64	c cleaning 33998 clauses out of 68007 with flag 2589404/620001
76.43/74.40	c cleaning 35001 clauses out of 70008 with flag 2756853/656000
81.51/79.50	c cleaning 35996 clauses out of 72008 with flag 2934634/693001
86.40/84.45	c cleaning 37000 clauses out of 74011 with flag 3101557/731000
91.58/89.61	c cleaning 38001 clauses out of 76011 with flag 3278049/770000
96.33/94.73	c cleaning 39005 clauses out of 78013 with flag 3463364/810003
102.11/100.51	c cleaning 39996 clauses out of 80007 with flag 3650113/851002
107.69/106.19	c cleaning 41002 clauses out of 82010 with flag 3853321/893001
113.97/112.40	c cleaning 42003 clauses out of 84007 with flag 4050040/936000
120.87/119.35	c cleaning 43000 clauses out of 86004 with flag 4245553/980000
127.35/126.07	c cleaning 44000 clauses out of 88006 with flag 4450035/1025002
133.93/132.64	c cleaning 45002 clauses out of 90007 with flag 4658434/1071003
141.21/139.95	c cleaning 46004 clauses out of 92007 with flag 4877274/1118005
148.60/147.35	c cleaning 46997 clauses out of 94001 with flag 5100394/1166003
155.08/153.90	c cleaning 47992 clauses out of 96001 with flag 5328310/1215000
162.51/161.49	c cleaning 48999 clauses out of 98009 with flag 5559278/1265000
170.29/169.25	c cleaning 49999 clauses out of 100010 with flag 5808296/1316000
178.38/177.39	c cleaning 51001 clauses out of 102012 with flag 6060845/1368001
186.13/185.27	c cleaning 52003 clauses out of 104010 with flag 6318816/1421000
194.20/193.30	c cleaning 53002 clauses out of 106008 with flag 6601612/1475001
203.49/202.68	c cleaning 54000 clauses out of 108006 with flag 6893848/1530001
211.67/210.81	c cleaning 55004 clauses out of 110007 with flag 7145958/1586002
220.21/219.58	c cleaning 55997 clauses out of 112001 with flag 7410994/1643000
229.80/229.12	c cleaning 56999 clauses out of 114004 with flag 7687026/1701000
239.27/238.61	c cleaning 58004 clauses out of 116008 with flag 7980958/1760003
249.05/248.55	c cleaning 58995 clauses out of 118001 with flag 8294356/1820000
259.73/259.29	c cleaning 60004 clauses out of 120007 with flag 8634429/1881001
270.60/270.17	c cleaning 60999 clauses out of 122003 with flag 9000578/1943001
281.78/283.13	c cleaning 61998 clauses out of 124003 with flag 9326392/2006000
293.96/295.37	c cleaning 62997 clauses out of 126005 with flag 9635504/2070000
306.02/307.45	c cleaning 64000 clauses out of 128008 with flag 9961903/2135000
318.34/320.32	c cleaning 65000 clauses out of 130010 with flag 10306405/2201002
330.90/332.95	c cleaning 66006 clauses out of 132011 with flag 10674365/2268003
343.15/345.51	c cleaning 66998 clauses out of 134003 with flag 11038995/2336001
358.23/360.69	c cleaning 67996 clauses out of 136005 with flag 11388732/2405001
371.39/373.85	c cleaning 68999 clauses out of 138008 with flag 11756589/2475000
385.85/388.71	c cleaning 70001 clauses out of 140009 with flag 12148405/2546000
399.73/402.66	c cleaning 71003 clauses out of 142008 with flag 12549856/2618000
413.66/416.99	c cleaning 71997 clauses out of 144005 with flag 12930613/2691000
429.22/432.51	c cleaning 73005 clauses out of 146010 with flag 13319775/2765002
445.32/448.95	c cleaning 74002 clauses out of 148004 with flag 13763092/2840001
461.38/465.09	c cleaning 75000 clauses out of 150002 with flag 14209249/2916001
477.37/481.37	c cleaning 75998 clauses out of 152001 with flag 14632888/2993000
494.10/498.54	c cleaning 76997 clauses out of 154003 with flag 15072263/3071000
514.52/518.60	c cleaning 77999 clauses out of 156007 with flag 15533652/3150001
532.67/537.03	c cleaning 79003 clauses out of 158010 with flag 15886809/3230003
550.52/554.93	c cleaning 79997 clauses out of 160006 with flag 16261296/3311002
567.42/572.18	c cleaning 81000 clauses out of 162010 with flag 16641623/3393003
587.16/592.23	c cleaning 82001 clauses out of 164007 with flag 17066872/3476000
607.62/612.70	c cleaning 83002 clauses out of 166006 with flag 17461988/3560000
626.90/632.39	c cleaning 83995 clauses out of 168005 with flag 17894949/3645001
647.26/653.13	c cleaning 84996 clauses out of 170009 with flag 18322083/3731000
667.90/673.83	c cleaning 86005 clauses out of 172013 with flag 18774452/3818000
687.87/694.19	c cleaning 87002 clauses out of 174009 with flag 19259169/3906001
708.85/715.41	c cleaning 88003 clauses out of 176007 with flag 19748496/3995001
734.58/740.77	c cleaning 88998 clauses out of 178003 with flag 20200627/4085000
759.40/765.85	c cleaning 89997 clauses out of 180007 with flag 20655593/4176002
783.65/790.33	c cleaning 90995 clauses out of 182010 with flag 21147074/4268002
809.66/816.79	c cleaning 91997 clauses out of 184013 with flag 21658817/4361000
837.96/845.45	c cleaning 93007 clauses out of 186019 with flag 22129361/4455003
866.41/874.20	c cleaning 94002 clauses out of 188009 with flag 22572324/4550001
897.55/905.81	c cleaning 95003 clauses out of 190006 with flag 23045633/4646000
931.30/939.94	c cleaning 96000 clauses out of 192004 with flag 23566527/4743001
965.89/975.05	c cleaning 96997 clauses out of 194002 with flag 24053875/4841000
999.54/1009.08	c cleaning 97997 clauses out of 196006 with flag 24553054/4940001
1032.45/1042.83	c cleaning 99005 clauses out of 198020 with flag 25067869/5040012
1069.43/1080.12	c cleaning 99995 clauses out of 200004 with flag 25611308/5141001
1108.47/1119.54	c cleaning 100999 clauses out of 202008 with flag 26149177/5243000
1149.77/1161.25	c cleaning 102004 clauses out of 204010 with flag 26689301/5346001
1187.64/1199.40	c cleaning 103000 clauses out of 206005 with flag 27240934/5450000
1227.89/1240.09	c cleaning 103999 clauses out of 208006 with flag 27818754/5555001
1270.65/1283.00	c cleaning 104992 clauses out of 210006 with flag 28476390/5661000
1315.22/1327.62	c cleaning 106002 clauses out of 212015 with flag 29159586/5768001
1357.46/1369.92	c cleaning 106997 clauses out of 214012 with flag 29754274/5876000
1398.54/1411.14	c cleaning 108001 clauses out of 216015 with flag 30361745/5985000
1440.09/1452.73	c cleaning 109001 clauses out of 218014 with flag 30977808/6095000
1479.94/1492.67	c cleaning 110006 clauses out of 220013 with flag 31686120/6206000
1518.81/1531.62	c cleaning 110997 clauses out of 222007 with flag 32316677/6318000
1552.53/1565.40	c cleaning 112003 clauses out of 224010 with flag 33014055/6431000
1588.49/1601.45	c cleaning 112994 clauses out of 226007 with flag 33688491/6545000
1628.35/1641.40	c cleaning 114001 clauses out of 228013 with flag 34310541/6660000
1663.16/1676.30	c cleaning 114999 clauses out of 230012 with flag 34997384/6776000
1698.00/1711.29	c cleaning 116004 clauses out of 232015 with flag 35716778/6893002
1745.60/1759.19	c cleaning 116995 clauses out of 234009 with flag 36379108/7011000
1798.42/1812.26	c cleaning 118004 clauses out of 236014 with flag 37024284/7130000
1845.44/1859.30	c cleaning 119000 clauses out of 238010 with flag 37704632/7250000
1891.20/1905.24	c cleaning 120002 clauses out of 240012 with flag 38408524/7371002
1942.84/1957.06	c cleaning 121001 clauses out of 242012 with flag 39066582/7493004
1992.63/2006.94	c cleaning 121999 clauses out of 244007 with flag 39725590/7616000
2038.57/2053.08	c cleaning 123001 clauses out of 246008 with flag 40397893/7740000
2086.70/2101.34	c cleaning 124000 clauses out of 248007 with flag 41116384/7865000
2136.12/2150.86	c cleaning 125006 clauses out of 250012 with flag 41854116/7991005
2182.98/2197.83	c cleaning 125999 clauses out of 252003 with flag 42671184/8118002
2231.23/2246.26	c cleaning 126996 clauses out of 254003 with flag 43504288/8246001
2295.38/2310.55	c cleaning 127993 clauses out of 256006 with flag 44391794/8375000
2353.37/2368.61	c cleaning 129003 clauses out of 258013 with flag 45080138/8505000
2407.21/2422.57	c cleaning 130002 clauses out of 260015 with flag 45741837/8636006
2454.51/2469.93	c cleaning 130999 clauses out of 262007 with flag 46424098/8768000
2504.90/2520.72	c cleaning 132003 clauses out of 264012 with flag 47121713/8901004
2559.88/2575.81	c cleaning 132993 clauses out of 266007 with flag 47828470/9035002
2611.54/2627.60	c cleaning 134003 clauses out of 268021 with flag 48542671/9170009
2670.22/2686.44	c cleaning 135001 clauses out of 270009 with flag 49279952/9306000
2720.54/2736.97	c cleaning 136004 clauses out of 272010 with flag 50036350/9443002
2778.90/2795.46	c cleaning 136997 clauses out of 274005 with flag 50827294/9581001
2837.31/2853.98	c cleaning 137993 clauses out of 276007 with flag 51662378/9720000
2897.98/2914.70	c cleaning 139004 clauses out of 278016 with flag 52594308/9860002
2955.83/2972.74	c cleaning 140001 clauses out of 280011 with flag 53445577/10001001
3014.91/3031.98	c cleaning 141001 clauses out of 282010 with flag 54361589/10143001
3074.69/3092.67	c cleaning 142003 clauses out of 284010 with flag 55264750/10286002
3130.83/3148.96	c cleaning 142997 clauses out of 286005 with flag 56195788/10430000
3188.69/3206.90	c cleaning 144000 clauses out of 288008 with flag 57177729/10575000
3258.68/3279.74	c cleaning 145002 clauses out of 290012 with flag 57909443/10721005
3334.58/3356.39	c cleaning 145998 clauses out of 292002 with flag 58655815/10868000
3407.65/3430.17	c cleaning 146995 clauses out of 294004 with flag 59447192/11016000
3474.84/3497.93	c cleaning 148002 clauses out of 296012 with flag 60258267/11165003
3540.49/3563.82	c cleaning 148999 clauses out of 298010 with flag 61099782/11315003
3600.03/3623.51	c starts		: 16544
3600.03/3623.51	c timeout
3600.03/3623.51	c conflicts		: 11447427
3600.03/3623.51	c decisions		: 18783293
3600.03/3623.51	c propagations		: 951640449
3600.03/3623.51	c inspects		: 41625225224
3600.03/3623.51	c shortcuts		: 0
3600.03/3623.51	c learnt literals	: 7
3600.03/3623.51	c learnt binary clauses	: 20
3600.03/3623.51	c learnt ternary clauses	: 345
3600.03/3623.51	c learnt constraints	: 11447420
3600.03/3623.51	c ignored constraints	: 0
3600.03/3623.51	c root simplifications	: 0
3600.03/3623.51	c removed literals (reason simplification)	: 201120722
3600.03/3623.51	c reason swapping (by a shorter reason)	: 0
3600.03/3623.51	c Calls to reduceDB	: 146
3600.03/3623.51	c Number of update (reduction) of LBD	: 2771761
3600.03/3623.51	c Imported unit clauses	: 0
3600.03/3623.51	c No decision after first conflict	: false
3600.03/3623.51	c number of reductions to clauses (during analyze)	: 0
3600.03/3623.51	c number of learned constraints concerned by reduction	: 0
3600.03/3623.51	c number of learning phase by resolution	: 0
3600.03/3623.51	c number of learning phase by cutting planes	: 0
3600.03/3623.51	c number of rounding to 1 operations	: 0
3600.03/3623.51	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3623.51	c number of reductions of the coefficients by power 2 	: 0
3600.03/3623.51	c number of right shift for reduction by power 2 	: 0
3600.03/3623.51	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3623.51	c number of ending skipping 	: 0
3600.03/3623.51	c number of internal skipping 	: 0
3600.03/3623.51	c number of derivation steps 	: 0
3600.03/3623.51	c number of skipped derivation steps 	: 0
3600.03/3623.51	c number of remaining unassigned 	: 0
3600.03/3623.51	c number of remaining assigned 	: 0
3600.03/3623.51	c number of falsified literals weakened from reason	: 0
3600.03/3623.51	c number of falsified literals weakened from conflict	: 0
3600.03/3623.51	c time for arithmetic operations	: 0
3600.03/3623.51	c minimum degree of deleted constraints	: null
3600.03/3623.51	c maximum degree of deleted constraints	: null
3600.03/3623.51	c number of deleted constraints	: 0
3600.03/3623.52	c speed (assignments/second)	: 262652.14091312175
3600.03/3623.52	c non guided choices	: 1261
3600.03/3623.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 281415
3600.03/3623.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 20
3600.03/3623.58	s UNKNOWN
3600.03/3623.58	c Total wall clock time (in seconds): 3623.435

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451752-1721840768/watcher-4451752-1721840768 -o /tmp/evaluation-result-4451752-1721840768/solver-4451752-1721840768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721840768-200446 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451752-1721840768 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451752-1721840768.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=200509, runsolver pid=200506
Current StackSize limit: 8192 KiB


[startup+0.100332 s]*
/proc/loadavg: 1.71 2.18 2.81 13/329 200578
/proc/meminfo: memFree=119680300/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=18975048 memory=62712 CPUtime=0.1 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 7083 0 7 0 9 1 0 0 20 0 18 0 20605841 19430449152 15678 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4743762 15678 5687 1 0 549230 0
[pid=200509/tid=200511] ppid=200506 vsize=18975048 memory=4026531971 CPUtime=0.06 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 1077936192 5659 0 6 0 5 1 0 0 20 0 18 0 20605841 19430449152 15678 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=18975048 memory=1148849 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20605845 19430449152 15678 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605846 19430449152 15678 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62712 KiB

[startup+0.215042 s]*
/proc/loadavg: 1.71 2.18 2.81 14/331 200580
/proc/meminfo: memFree=119627160/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=18975048 memory=80592 CPUtime=0.31 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 7861 0 7 0 29 2 0 0 20 0 18 0 20605841 19430449152 20148 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4743762 20148 5851 1 0 549871 0
[pid=200509/tid=200511] ppid=200506 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 5960 0 6 0 15 1 0 0 20 0 18 0 20605841 19430449152 20148 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=18975048 memory=1148849 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20605845 19430449152 20148 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=18975048 memory=14690799019361963 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605846 19430449152 20148 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80592 KiB

[startup+0.307054 s]*
/proc/loadavg: 1.71 2.18 2.81 13/331 200580
/proc/meminfo: memFree=119532876/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=18975048 memory=112136 CPUtime=0.48 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 9049 0 7 0 45 3 0 0 20 0 18 0 20605841 19430449152 28034 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4743762 28034 5851 1 0 550605 0
[pid=200509/tid=200511] ppid=200506 vsize=18975048 memory=-8888809805928178364 CPUtime=0.25 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 5982 0 6 0 23 2 0 0 20 0 18 0 20605841 19430449152 28034 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20605845 19430449152 28034 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20605846 19430449152 28034 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112136 KiB

[startup+0.701043 s]
/proc/loadavg: 1.71 2.18 2.81 14/333 200582
/proc/meminfo: memFree=119376800/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19041612 memory=160956 CPUtime=1.25 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 10395 0 7 0 120 5 0 0 20 0 19 0 20605841 19498610688 40239 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4760403 40239 5851 1 0 551789 0
[pid=200509/tid=200511] ppid=200506 vsize=19041612 memory=5616 CPUtime=0.62 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 6071 0 6 0 59 3 0 0 20 0 19 0 20605841 19498610688 40239 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19041612 memory=12404 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20605845 19498610688 40239 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19041612 memory=140575286396384 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20605846 19498610688 40239 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19041612 memory=281150572786664 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20605873 19498610688 40239 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160956 KiB

[startup+1.50025 s]
/proc/loadavg: 1.71 2.18 2.81 11/337 200586
/proc/meminfo: memFree=119194936/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=185428 CPUtime=2.83 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 18344 0 7 0 277 6 0 0 20 0 20 0 20605841 19566772224 46357 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 46357 5895 1 0 554937 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=12404 CPUtime=1.4 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 6909 0 6 0 137 3 0 0 20 0 20 0 20605841 19566772224 46357 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 46357 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 46357 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=4580 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 46357 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185428 KiB

[startup+3.10604 s]
/proc/loadavg: 2.21 2.28 2.84 6/337 200586
/proc/meminfo: memFree=119049036/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=187612 CPUtime=5.5 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 20705 0 7 0 543 7 0 0 20 0 20 0 20605841 19566772224 46903 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 46903 5895 1 0 555248 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 7276 0 6 0 292 4 0 0 20 0 20 0 20605841 19566772224 46903 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 46903 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=12404 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 46903 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 46903 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 5.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187612 KiB

[startup+6.30106 s]
/proc/loadavg: 2.21 2.28 2.84 5/337 200586
/proc/meminfo: memFree=118109072/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=311384 CPUtime=8.86 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 23316 0 7 0 875 11 0 0 20 0 20 0 20605841 19566772224 77846 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 77846 5895 1 0 555250 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=0 CPUtime=6.12 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 7997 0 6 0 604 8 0 0 20 0 20 0 20605841 19566772224 77846 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=6441951097323147862 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 77846 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=311384 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 77846 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=186644 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 77846 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 311384 KiB

[startup+12.701 s]
/proc/loadavg: 2.35 2.31 2.84 5/337 200588
/proc/meminfo: memFree=116872300/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=829612 CPUtime=15.23 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 25753 0 7 0 1501 22 0 0 20 0 20 0 20605841 19566772224 207403 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 207403 5911 1 0 555266 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=743528 CPUtime=12.45 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 9332 0 6 0 1226 19 0 0 20 0 20 0 20605841 19566772224 207403 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=614504 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 207403 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=2308 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 207403 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 207403 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 15.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 829612 KiB

[startup+25.5003 s]
/proc/loadavg: 2.72 2.39 2.86 5/337 200590
/proc/meminfo: memFree=115431112/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1190140 CPUtime=28.13 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 32028 0 7 0 2779 34 0 0 20 0 20 0 20605841 19566772224 297535 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 297535 5911 1 0 555266 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=743528 CPUtime=25.17 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 10560 0 6 0 2488 29 0 0 20 0 20 0 20605841 19566772224 297535 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 297535 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=1190132 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 297535 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 297535 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 28.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1190140 KiB

[startup+51.1062 s]
/proc/loadavg: 3.23 2.54 2.90 5/337 200594
/proc/meminfo: memFree=114348604/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1323316 CPUtime=53.38 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 39070 0 7 0 5296 42 0 0 20 0 20 0 20605841 19566772224 330829 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 330829 5911 1 0 555266 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=2308 CPUtime=50.3 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 12682 0 6 0 4995 35 0 0 20 0 20 0 20605841 19566772224 330829 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 36 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1190184 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 330829 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0

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

/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 487333 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=1949316 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 3514 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 487333 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=1949332 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 487333 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3203.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1949332 KiB

[startup+3282.31 s]
/proc/loadavg: 4.24 4.19 4.10 5/338 202370
/proc/meminfo: memFree=100305456/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1949364 CPUtime=3261.26 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 171648 0 7 0 325652 474 0 0 20 0 20 0 20605841 19566772224 487341 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 487341 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=2308 CPUtime=3249.9 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 70157 0 6 0 324634 356 0 0 20 0 20 0 20605841 19566772224 487341 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1395 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1949332 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 487341 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=1949332 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 3573 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 487341 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=100 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 487341 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3261.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1949364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/339 202394
/proc/meminfo: memFree=100141528/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1974000 CPUtime=3320.72 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 174024 0 7 0 331590 482 0 0 20 0 20 0 20605841 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 493500 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=1949372 CPUtime=3309.16 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 71450 0 6 0 330555 361 0 0 20 0 20 0 20605841 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1396 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1949372 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=5092 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 3692 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3320.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1974000 KiB

[startup+3402.31 s]
/proc/loadavg: 4.39 4.23 4.12 5/339 202405
/proc/meminfo: memFree=99974728/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1974000 CPUtime=3380.12 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 175313 0 7 0 337523 489 0 0 20 0 20 0 20605841 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 493500 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=39044 CPUtime=3368.53 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 72486 0 6 0 336487 366 0 0 20 0 20 0 20605841 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1398 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1974000 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=1932 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 3814 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 493500 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3380.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1974000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.20 4.11 5/339 202416
/proc/meminfo: memFree=99821028/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1986312 CPUtime=3439.59 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 177854 0 7 0 343461 498 0 0 20 0 20 0 20605841 19566772224 496578 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 496578 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=39044 CPUtime=3427.86 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 73793 0 6 0 342413 373 0 0 20 0 20 0 20605841 19566772224 496578 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1398 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1974000 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 496578 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 3920 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 496578 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=1986312 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 496578 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3439.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1986312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.11 5/337 202427
/proc/meminfo: memFree=99678048/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1986324 CPUtime=3499.12 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 180286 0 7 0 349406 506 0 0 20 0 20 0 20605841 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 496581 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=39044 CPUtime=3487.24 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 74996 0 6 0 348345 379 0 0 20 0 20 0 20605841 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1399 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1974000 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=1986312 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 4001 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3499.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1986324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/337 202437
/proc/meminfo: memFree=99553240/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=1986324 CPUtime=3558.92 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 181665 0 7 0 355381 511 0 0 20 0 20 0 20605841 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 496581 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=39044 CPUtime=3547.01 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 76071 0 6 0 354319 382 0 0 20 0 20 0 20605841 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1402 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=1974000 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=69688 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 4122 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=1986324 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 496581 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3558.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1986324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3623.5 s]
/proc/loadavg: 4.25 4.20 4.12 3/282 202512
/proc/meminfo: memFree=111763176/131524600 swapFree=131067876/131071996
[pid=200509] ppid=200506 vsize=19108176 memory=2010904 CPUtime=3600.03 cores=0,2
/proc/200509/stat : 200509 (java) S 200506 200509 200436 0 -1 1077936128 182626 0 7 0 359487 516 0 0 20 0 20 0 20605841 19566772224 502726 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
/proc/200509/statm: 4777044 502726 5926 1 0 557594 0
[pid=200509/tid=200511] ppid=200506 vsize=19108176 memory=1986324 CPUtime=3587.97 cores=0,2
/proc/200509/task/200511/stat : 200511 (java) R 200506 200509 200436 0 -1 4194368 76206 0 6 0 358411 386 0 0 20 0 20 0 20605841 19566772224 502726 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1402 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200539] ppid=200506 vsize=19108176 memory=2010904 CPUtime=0 cores=0,2
/proc/200509/task/200539/stat : 200539 (Finalizer) S 200506 200509 200436 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20605845 19566772224 502726 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200566] ppid=200506 vsize=19108176 memory=2010904 CPUtime=0 cores=0,2
/proc/200509/task/200566/stat : 200566 (Common-Cleaner) S 200506 200509 200436 0 -1 1077936192 4122 0 0 0 0 0 0 0 20 0 20 0 20605846 19566772224 502726 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
[pid=200509/tid=200581] ppid=200506 vsize=19108176 memory=11360 CPUtime=0 cores=0,2
/proc/200509/task/200581/stat : 200581 (Timer-0) S 200506 200509 200436 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20605873 19566772224 502726 134679101440 94796831338496 94796831342192 140730522516528 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94796831350008 94796831350800 94796854038528 140730522522539 140730522522721 140730522522721 140730522529736 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2010904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.99 s, system=5.1816 s

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

[startup+3623.61 s]*
/proc/loadavg: 4.47 4.24 4.13 3/263 202515
/proc/meminfo: memFree=113754532/131524600 swapFree=131067876/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): 3623.61
CPU time (s): 3600.17
CPU user time (s): 3594.99
CPU system time (s): 5.1816
CPU usage (%): 99.3531
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2010904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.99
system time used= 5.1816
maximum resident set size= 2012500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185814
page faults= 7
swaps= 0
block input operations= 2448
block output operations= 4448664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105815
involuntary context switches= 31784


# summary of solver processes directly reported to runsolver:
#   pid: 200509
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3594.99
#   total CPU system time (s): 5.1816

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08721 second user time and 18.5065 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-24 19:06:08
IDJOB=4451752
IDBENCH=162627
IDSOLVER=3079
FILE ID=nodeC025/4451752-1721840768
RUNJOBID= nodeC025-1721840768-200446
SLURM_JOB_ID= 7891552
Free space on /tmp= 890028 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_11.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-4451752-1721840768/watcher-4451752-1721840768 -o /tmp/evaluation-result-4451752-1721840768/solver-4451752-1721840768 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721840768-200446 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451752-1721840768 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451752-1721840768.opb

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

MD5SUM BENCH= 66b8e371687d4e403b47b4700770389d
RANDOM SEED=582445076

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119838396 kB
MemAvailable:   129637596 kB
Buffers:          271136 kB
Cached:         10301388 kB
SwapCached:         2240 kB
Active:          2452540 kB
Inactive:        8519468 kB
Active(anon):       3840 kB
Inactive(anon):   448812 kB
Active(file):    2448700 kB
Inactive(file):  8070656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131067876 kB
Dirty:              3036 kB
Writeback:             8 kB
AnonPages:        397240 kB
Mapped:           124392 kB
Shmem:             53184 kB
KReclaimable:     239336 kB
Slab:             364368 kB
SReclaimable:     239336 kB
SUnreclaim:       125032 kB
KernelStack:        4064 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     800012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13952 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC025 at 2024-07-24 20:06:32