Trace number 4453252

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.18 3637.65

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v1/normalized-grid4_81.opb
MD5SUMf100cf33f2766fb68fbd6d015e5ae1f8
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 benchmark0.013287
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables324
Total number of constraints649
Number of constraints which are clauses648
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint324
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 162
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
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.55	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.05/0.55	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.55	c See www.sat4j.org for details.
0.05/0.58	c version CUSTOM.v20240707
0.05/0.59	c java.runtime.name	OpenJDK Runtime Environment
0.05/0.59	c java.vm.name		OpenJDK 64-Bit Server VM
0.05/0.59	c java.vm.version	22.0.1+8-16
0.05/0.59	c java.vm.vendor	Oracle Corporation
0.05/0.59	c sun.arch.data.model	64
0.05/0.59	c java.version		22.0.1
0.05/0.59	c os.name		Linux
0.05/0.59	c os.version		4.18.0-301.1.el8.x86_64
0.05/0.59	c os.arch		amd64
0.05/0.59	c Free memory 		2104792832
0.05/0.59	c Max memory 		16282288128
0.05/0.59	c Total memory 		2113929216
0.05/0.60	c Number of processors 	2
0.13/0.65	--- Begin Solver configuration ---
0.13/0.65	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.65	Learn all clauses as in MiniSAT
0.13/0.65	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.65	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.65	Expensive reason simplification
0.13/0.65	Glucose 2.1 dynamic restart strategy
0.13/0.65	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.65	timeout=2147483s
0.13/0.65	DB Simplification allowed=false
0.13/0.65	Listener: none
0.13/0.65	--- End Solver configuration ---
0.13/0.65	c Pseudo Boolean Optimization by upper bound
0.13/0.65	c --- Begin Solver configuration ---
0.13/0.65	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.65	c Learn all clauses as in MiniSAT
0.13/0.65	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.65	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.65	c Expensive reason simplification
0.13/0.65	c Glucose 2.1 dynamic restart strategy
0.13/0.65	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.65	c timeout=2147483s
0.13/0.65	c DB Simplification allowed=false
0.13/0.65	c Listener: none
0.13/0.65	c --- End Solver configuration ---
0.13/0.65	c solving HOME/instance-4453252-1721842681.opb
0.13/0.65	c reading problem ... 
0.13/0.65	c using VERIPB proof format
0.13/0.65	c  no objective function found
0.13/0.68	c ... done. Wall clock time 0.03s.
0.13/0.68	c declared #vars     324
0.13/0.68	c #constraints  649
0.13/0.68	c constraints type 
0.13/0.68	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 648
0.13/0.68	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.68	c 649 constraints processed.
1.68/1.48	c cleaning 2500 clauses out of 5000 with flag 10724/5000
2.86/2.03	c cleaning 4250 clauses out of 8500 with flag 23601/11000
3.63/2.55	c cleaning 5625 clauses out of 11250 with flag 38599/18000
4.34/3.14	c cleaning 6813 clauses out of 13625 with flag 55752/26000
5.15/3.84	c cleaning 7901 clauses out of 15812 with flag 75031/35000
5.84/4.53	c cleaning 8956 clauses out of 17911 with flag 96347/45000
6.69/5.30	c cleaning 9976 clauses out of 19955 with flag 119909/56000
7.69/6.32	c cleaning 10991 clauses out of 21981 with flag 145573/68002
8.59/7.29	c cleaning 11994 clauses out of 23988 with flag 173401/81000
9.77/8.47	c cleaning 12998 clauses out of 25995 with flag 203219/95001
10.97/9.64	c cleaning 13996 clauses out of 27997 with flag 235071/110001
12.38/11.03	c cleaning 15000 clauses out of 30000 with flag 269181/126000
13.90/12.55	c cleaning 16001 clauses out of 32001 with flag 305703/143001
15.95/14.22	c cleaning 16998 clauses out of 33999 with flag 344306/161000
17.76/16.02	c cleaning 18000 clauses out of 36001 with flag 384612/180000
19.56/17.89	c cleaning 18999 clauses out of 38001 with flag 427385/200000
21.66/19.92	c cleaning 20003 clauses out of 40005 with flag 472205/221003
23.75/22.08	c cleaning 20996 clauses out of 42000 with flag 519392/243001
26.17/24.44	c cleaning 22000 clauses out of 44003 with flag 568453/266000
28.82/27.90	c cleaning 23001 clauses out of 46004 with flag 619746/290001
31.44/30.57	c cleaning 23998 clauses out of 48003 with flag 673228/315001
34.05/33.17	c cleaning 25001 clauses out of 50006 with flag 728864/341002
36.83/35.98	c cleaning 25999 clauses out of 52005 with flag 786601/368002
39.63/38.78	c cleaning 27004 clauses out of 54007 with flag 846390/396003
42.85/41.94	c cleaning 28001 clauses out of 56001 with flag 908346/425001
46.06/45.13	c cleaning 28999 clauses out of 57999 with flag 972145/455000
49.24/48.31	c cleaning 29998 clauses out of 60001 with flag 1038221/486001
53.28/52.26	c cleaning 31001 clauses out of 62002 with flag 1106610/518000
57.80/56.70	c cleaning 31999 clauses out of 64001 with flag 1176807/551000
62.60/62.04	c cleaning 33000 clauses out of 66003 with flag 1249201/585001
66.97/66.47	c cleaning 33997 clauses out of 68005 with flag 1324093/620003
71.27/70.76	c cleaning 34999 clauses out of 70005 with flag 1400477/656000
76.01/75.48	c cleaning 36001 clauses out of 72007 with flag 1479382/693001
80.54/79.98	c cleaning 37003 clauses out of 74005 with flag 1560898/731000
85.45/84.88	c cleaning 38001 clauses out of 76002 with flag 1644196/770000
91.26/91.19	c cleaning 38996 clauses out of 78001 with flag 1729430/810000
98.15/98.04	c cleaning 40002 clauses out of 80005 with flag 1816703/851000
104.05/103.98	c cleaning 41000 clauses out of 82003 with flag 1905982/893000
109.96/109.81	c cleaning 41998 clauses out of 84004 with flag 1997186/936001
116.84/116.67	c cleaning 43000 clauses out of 86006 with flag 2091002/980001
123.99/124.19	c cleaning 44000 clauses out of 88005 with flag 2186990/1025000
131.11/131.27	c cleaning 45001 clauses out of 90006 with flag 2285425/1071001
138.54/138.64	c cleaning 46002 clauses out of 92006 with flag 2385755/1118002
146.36/146.33	c cleaning 47000 clauses out of 94004 with flag 2488337/1166002
155.07/155.43	c cleaning 47993 clauses out of 96003 with flag 2592884/1215001
165.01/165.33	c cleaning 49005 clauses out of 98009 with flag 2699593/1265000
172.51/172.74	c cleaning 49994 clauses out of 100004 with flag 2807847/1316000
181.13/182.77	c cleaning 50998 clauses out of 102012 with flag 2918902/1368002
189.04/190.64	c cleaning 52007 clauses out of 104013 with flag 3032270/1421001
198.77/200.30	c cleaning 52997 clauses out of 106006 with flag 3147361/1475001
206.76/208.33	c cleaning 54005 clauses out of 108009 with flag 3264596/1530001
216.54/218.56	c cleaning 55003 clauses out of 110007 with flag 3384300/1586004
226.46/228.48	c cleaning 56001 clauses out of 112003 with flag 3505506/1643003
237.73/239.68	c cleaning 56996 clauses out of 114000 with flag 3629097/1701001
251.37/253.60	c cleaning 58000 clauses out of 116004 with flag 3754811/1760001
262.06/264.30	c cleaning 59001 clauses out of 118003 with flag 3881530/1820000
272.46/275.07	c cleaning 60002 clauses out of 120003 with flag 4010664/1881001
284.24/286.74	c cleaning 60993 clauses out of 122000 with flag 4143203/1943000
296.01/298.42	c cleaning 61996 clauses out of 124007 with flag 4277528/2006000
306.99/310.21	c cleaning 63003 clauses out of 126011 with flag 4414281/2070000
319.88/322.70	c cleaning 64000 clauses out of 128009 with flag 4552589/2135001
332.53/335.77	c cleaning 65004 clauses out of 130008 with flag 4693438/2201000
345.12/348.39	c cleaning 65999 clauses out of 132006 with flag 4836458/2268002
361.22/364.43	c cleaning 66999 clauses out of 134005 with flag 4981633/2336000
375.01/378.42	c cleaning 68004 clauses out of 136008 with flag 5128959/2405002
391.58/395.07	c cleaning 69000 clauses out of 138002 with flag 5278460/2475000
405.67/409.42	c cleaning 70001 clauses out of 140002 with flag 5429470/2546000
420.78/424.54	c cleaning 70998 clauses out of 142002 with flag 5581831/2618001
435.38/439.38	c cleaning 72000 clauses out of 144003 with flag 5736252/2691000
450.35/454.28	c cleaning 72998 clauses out of 146005 with flag 5893712/2765002
467.42/471.54	c cleaning 74000 clauses out of 148006 with flag 6053989/2840001
484.85/489.25	c cleaning 75001 clauses out of 150005 with flag 6216056/2916000
502.19/506.67	c cleaning 76003 clauses out of 152006 with flag 6379899/2993002
519.57/524.48	c cleaning 77000 clauses out of 154001 with flag 6546656/3071000
539.11/544.00	c cleaning 77995 clauses out of 156001 with flag 6715326/3150000
558.07/563.19	c cleaning 79004 clauses out of 158008 with flag 6886234/3230002
579.08/584.15	c cleaning 79999 clauses out of 160004 with flag 7059058/3311002
599.11/604.26	c cleaning 81002 clauses out of 162005 with flag 7234129/3393002
617.74/623.03	c cleaning 81999 clauses out of 164001 with flag 7411359/3476000
633.90/639.13	c cleaning 82998 clauses out of 166003 with flag 7589798/3560001
650.45/655.97	c cleaning 83998 clauses out of 168006 with flag 7771083/3645002
668.62/674.42	c cleaning 84997 clauses out of 170008 with flag 7954683/3731002
689.28/695.11	c cleaning 86001 clauses out of 172009 with flag 8139301/3818000
709.02/714.86	c cleaning 86998 clauses out of 174008 with flag 8326906/3906000
730.02/736.11	c cleaning 88005 clauses out of 176011 with flag 8516741/3995001
750.76/756.90	c cleaning 88997 clauses out of 178007 with flag 8707760/4085002
771.16/777.55	c cleaning 90005 clauses out of 180009 with flag 8902259/4176001
792.77/799.35	c cleaning 90993 clauses out of 182003 with flag 9098249/4268000
812.98/819.42	c cleaning 92002 clauses out of 184010 with flag 9297006/4361000
837.27/844.03	c cleaning 93000 clauses out of 186008 with flag 9497355/4455000
865.36/872.40	c cleaning 94002 clauses out of 188008 with flag 9699824/4550000
890.70/897.96	c cleaning 94997 clauses out of 190007 with flag 9904680/4646001
917.56/925.00	c cleaning 96002 clauses out of 192009 with flag 10111459/4743000
945.63/953.37	c cleaning 97000 clauses out of 194007 with flag 10320077/4841000
970.99/978.54	c cleaning 97995 clauses out of 196007 with flag 10529933/4940000
1001.04/1008.75	c cleaning 98999 clauses out of 198012 with flag 10742674/5040000
1024.93/1032.62	c cleaning 100003 clauses out of 200013 with flag 10956769/5141000
1048.78/1056.66	c cleaning 101004 clauses out of 202010 with flag 11174523/5243000
1078.20/1086.12	c cleaning 102002 clauses out of 204008 with flag 11393570/5346002
1103.80/1111.85	c cleaning 102994 clauses out of 206004 with flag 11615333/5450000
1135.34/1143.40	c cleaning 104001 clauses out of 208011 with flag 11839188/5555001
1157.96/1165.91	c cleaning 105000 clauses out of 210010 with flag 12065723/5661001
1182.97/1191.06	c cleaning 105996 clauses out of 212010 with flag 12294166/5768001
1211.94/1220.22	c cleaning 107002 clauses out of 214014 with flag 12524450/5876001
1239.07/1247.85	c cleaning 108003 clauses out of 216011 with flag 12757307/5985000
1271.25/1280.12	c cleaning 109003 clauses out of 218009 with flag 12992196/6095001
1301.61/1310.62	c cleaning 109993 clauses out of 220005 with flag 13229386/6206000
1337.76/1346.90	c cleaning 111005 clauses out of 222012 with flag 13468223/6318000
1371.20/1380.65	c cleaning 112001 clauses out of 224007 with flag 13708640/6431000
1403.99/1413.74	c cleaning 113004 clauses out of 226007 with flag 13951929/6545001
1445.50/1455.31	c cleaning 113994 clauses out of 228002 with flag 14196391/6660000
1472.42/1482.34	c cleaning 114998 clauses out of 230008 with flag 14444120/6776000
1504.71/1514.36	c cleaning 116000 clauses out of 232012 with flag 14693809/6893002
1534.16/1543.81	c cleaning 117001 clauses out of 234010 with flag 14945398/7011000
1566.35/1576.08	c cleaning 118004 clauses out of 236009 with flag 15199567/7130000
1595.10/1604.82	c cleaning 118999 clauses out of 238006 with flag 15455107/7250001
1632.75/1642.70	c cleaning 119996 clauses out of 240006 with flag 15713440/7371000
1666.34/1676.48	c cleaning 121001 clauses out of 242010 with flag 15974014/7493000
1701.91/1712.13	c cleaning 122002 clauses out of 244011 with flag 16236507/7616002
1739.77/1749.80	c cleaning 123002 clauses out of 246007 with flag 16501038/7740000
1779.08/1789.31	c cleaning 123994 clauses out of 248005 with flag 16767077/7865000
1816.21/1826.82	c cleaning 124998 clauses out of 250011 with flag 17035034/7991000
1854.43/1865.37	c cleaning 126002 clauses out of 252013 with flag 17305578/8118000
1888.91/1899.99	c cleaning 127004 clauses out of 254013 with flag 17578733/8246002
1928.17/1939.43	c cleaning 127998 clauses out of 256009 with flag 17854030/8375002
1962.62/1973.92	c cleaning 129002 clauses out of 258009 with flag 18131102/8505000
2009.27/2020.54	c cleaning 130003 clauses out of 260007 with flag 18410919/8636000
2052.56/2064.00	c cleaning 131002 clauses out of 262006 with flag 18692411/8768002
2090.67/2102.22	c cleaning 131999 clauses out of 264002 with flag 18976209/8901000
2129.52/2141.15	c cleaning 132997 clauses out of 266003 with flag 19262207/9035000
2172.58/2202.70	c cleaning 134003 clauses out of 268006 with flag 19549799/9170000
2212.67/2242.72	c cleaning 135001 clauses out of 270003 with flag 19838326/9306000
2255.97/2286.25	c cleaning 135999 clauses out of 272003 with flag 20129434/9443001
2299.34/2329.74	c cleaning 136998 clauses out of 274003 with flag 20424005/9581000
2344.11/2374.65	c cleaning 137998 clauses out of 276007 with flag 20720475/9720002
2384.70/2416.27	c cleaning 139003 clauses out of 278008 with flag 21018546/9860001
2435.56/2467.29	c cleaning 140003 clauses out of 280005 with flag 21319476/10001001
2480.60/2512.36	c cleaning 140996 clauses out of 282001 with flag 21620848/10143000
2525.45/2557.35	c cleaning 141999 clauses out of 284007 with flag 21923785/10286002
2568.50/2600.05	c cleaning 142996 clauses out of 286007 with flag 22228360/10430001
2615.44/2647.09	c cleaning 144003 clauses out of 288012 with flag 22535423/10575002
2662.81/2694.70	c cleaning 144998 clauses out of 290007 with flag 22844732/10721000
2707.14/2738.69	c cleaning 146003 clauses out of 292010 with flag 23155288/10868001
2755.77/2787.48	c cleaning 147001 clauses out of 294006 with flag 23468486/11016000
2800.98/2832.64	c cleaning 148002 clauses out of 296005 with flag 23785325/11165000
2847.48/2879.07	c cleaning 148998 clauses out of 298003 with flag 24105471/11315000
2895.70/2927.63	c cleaning 149996 clauses out of 300005 with flag 24427851/11466000
2946.28/2978.72	c cleaning 151001 clauses out of 302009 with flag 24752710/11618000
2995.50/3028.49	c cleaning 152000 clauses out of 304009 with flag 25079674/11771001
3049.39/3082.24	c cleaning 152999 clauses out of 306009 with flag 25408205/11925001
3108.22/3141.77	c cleaning 154002 clauses out of 308010 with flag 25738776/12080001
3158.34/3191.93	c cleaning 155000 clauses out of 310009 with flag 26070861/12236002
3211.05/3244.43	c cleaning 155997 clauses out of 312008 with flag 26404823/12393001
3264.95/3298.34	c cleaning 157002 clauses out of 314010 with flag 26742888/12551000
3322.86/3358.55	c cleaning 157998 clauses out of 316008 with flag 27082348/12710000
3378.81/3415.28	c cleaning 159001 clauses out of 318010 with flag 27423830/12870000
3438.38/3474.82	c cleaning 160005 clauses out of 320010 with flag 27766308/13031001
3498.63/3535.96	c cleaning 160999 clauses out of 322005 with flag 28112260/13193001
3559.63/3597.23	c cleaning 161997 clauses out of 324005 with flag 28460990/13356000
3600.03/3637.52	c starts		: 1
3600.03/3637.52	c timeout
3600.03/3637.52	c conflicts		: 13485678
3600.03/3637.52	c decisions		: 14341021
3600.03/3637.52	c propagations		: 67465380
3600.03/3637.52	c inspects		: 16240359742
3600.03/3637.52	c shortcuts		: 0
3600.03/3637.52	c learnt literals	: 0
3600.03/3637.52	c learnt binary clauses	: 0
3600.03/3637.52	c learnt ternary clauses	: 0
3600.03/3637.52	c learnt constraints	: 13485678
3600.03/3637.52	c ignored constraints	: 0
3600.03/3637.52	c root simplifications	: 0
3600.03/3637.52	c removed literals (reason simplification)	: 315642756
3600.03/3637.52	c reason swapping (by a shorter reason)	: 0
3600.03/3637.52	c Calls to reduceDB	: 159
3600.03/3637.52	c Number of update (reduction) of LBD	: 266630
3600.03/3637.52	c Imported unit clauses	: 0
3600.03/3637.52	c No decision after first conflict	: false
3600.03/3637.52	c number of reductions to clauses (during analyze)	: 0
3600.03/3637.52	c number of learned constraints concerned by reduction	: 0
3600.03/3637.52	c number of learning phase by resolution	: 0
3600.03/3637.52	c number of learning phase by cutting planes	: 0
3600.03/3637.52	c number of rounding to 1 operations	: 0
3600.03/3637.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3637.52	c number of reductions of the coefficients by power 2 	: 0
3600.03/3637.52	c number of right shift for reduction by power 2 	: 0
3600.03/3637.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3637.52	c number of ending skipping 	: 0
3600.03/3637.52	c number of internal skipping 	: 0
3600.03/3637.52	c number of derivation steps 	: 0
3600.03/3637.52	c number of skipped derivation steps 	: 0
3600.03/3637.52	c number of remaining unassigned 	: 0
3600.03/3637.52	c number of remaining assigned 	: 0
3600.03/3637.52	c number of falsified literals weakened from reason	: 0
3600.03/3637.52	c number of falsified literals weakened from conflict	: 0
3600.03/3637.52	c time for arithmetic operations	: 0
3600.03/3637.52	c minimum degree of deleted constraints	: null
3600.03/3637.52	c maximum degree of deleted constraints	: null
3600.03/3637.52	c number of deleted constraints	: 0
3600.03/3637.52	c speed (assignments/second)	: 18550.590183984303
3600.03/3637.52	c non guided choices	: 158
3600.03/3637.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 291686
3600.03/3637.58	s UNKNOWN
3600.03/3637.58	c Total wall clock time (in seconds): 3636.932

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=206682, runsolver pid=206679

[startup+0.100084 s]*
/proc/loadavg: 1.00 1.43 2.41 1/260 206696
/proc/meminfo: memFree=115904620/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=37736 memory=2044 CPUtime=0 cores=0,2
/proc/206682/stat : 206682 (java) D 206679 206682 206621 0 -1 4194304 173 0 1 0 0 0 0 0 20 0 1 0 20791701 38641664 511 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 0 0 0 0 17 0 0 0 6 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 9434 511 468 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2044 KiB

[startup+0.205141 s]*
/proc/loadavg: 1.00 1.43 2.41 1/264 206700
/proc/meminfo: memFree=115890488/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=239396 memory=8652 CPUtime=0 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 599 0 36 0 0 0 0 0 20 0 2 0 20791701 245141504 2163 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 0 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 59849 2163 1779 1 0 583 0
[pid=206682/tid=206698] ppid=206679 vsize=239396 memory=6874026233295995011 CPUtime=0 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) D 206679 206682 206621 0 -1 4194368 29 0 10 0 0 0 0 0 20 0 2 0 20791717 245141504 2163 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 0 0 0 0 -1 2 0 0 3 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 239396 KiB
Current children cumulated memory: 8652 KiB

[startup+0.305186 s]*
/proc/loadavg: 1.00 1.43 2.41 1/264 206700
/proc/meminfo: memFree=115859392/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=280436 memory=19516 CPUtime=0 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 1346 0 61 0 0 0 0 0 20 0 2 0 20791701 287166464 4879 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16784588 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 70109 4879 2821 1 0 2305 0
[pid=206682/tid=206698] ppid=206679 vsize=280436 memory=-9030953543885628092 CPUtime=0 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) D 206679 206682 206621 0 -1 4194368 776 0 35 0 0 0 0 0 20 0 2 0 20791717 287166464 4879 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 11 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 280436 KiB
Current children cumulated memory: 19516 KiB

[startup+0.702834 s]
/proc/loadavg: 1.00 1.43 2.41 9/328 206764
/proc/meminfo: memFree=115728968/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19041612 memory=72292 CPUtime=0.28 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 7596 0 139 0 26 2 0 0 20 0 19 0 20791701 19498610688 18073 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4760403 18073 5670 1 0 549916 0
[pid=206682/tid=206698] ppid=206679 vsize=19041612 memory=5468 CPUtime=0.17 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 1077936192 5915 0 99 0 15 2 0 0 20 0 19 0 20791717 19498610688 18073 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19041612 memory=449 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20791744 19498610688 18073 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 20791748 19498610688 18073 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72292 KiB

[startup+1.50261 s]
/proc/loadavg: 1.00 1.43 2.41 11/333 206769
/proc/meminfo: memFree=115366592/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=179540 CPUtime=1.86 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 14399 0 139 0 180 6 0 0 20 0 20 0 20791701 19566772224 44885 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 44885 5811 1 0 553998 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=5468 CPUtime=0.92 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 6027 0 99 0 88 4 0 0 20 0 20 0 20791717 19566772224 44885 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 44885 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 44885 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=13472 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 44885 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179540 KiB

[startup+3.10661 s]
/proc/loadavg: 1.00 1.43 2.41 7/337 206773
/proc/meminfo: memFree=114364120/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=430272 CPUtime=4.34 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 22014 0 139 0 419 15 0 0 20 0 20 0 20791701 19566772224 107568 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 107568 5834 1 0 660768 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=94084 CPUtime=2.44 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 6897 0 99 0 233 11 0 0 20 0 20 0 20791717 19566772224 107568 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 107568 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=185232 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 107568 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=5532 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 107568 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 4.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 430272 KiB

[startup+6.30061 s]
/proc/loadavg: 1.24 1.47 2.42 6/337 206775
/proc/meminfo: memFree=111807352/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=1129828 CPUtime=7.69 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 22701 0 139 0 736 33 0 0 20 0 20 0 20791701 19566772224 282457 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 282457 5834 1 0 660780 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=0 CPUtime=5.57 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 7313 0 99 0 529 28 0 0 20 0 20 0 20791717 19566772224 282457 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=285848 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 282457 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=4641055491208927585 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 282457 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=180680 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 282457 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1129828 KiB

[startup+12.7002 s]
/proc/loadavg: 1.46 1.51 2.43 5/337 206775
/proc/meminfo: memFree=109591948/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=1477940 CPUtime=14.24 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 27218 0 139 0 1373 51 0 0 20 0 20 0 20791701 19566772224 369485 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 369485 5834 1 0 660784 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=1409188 CPUtime=11.86 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 8508 0 99 0 1141 45 0 0 20 0 20 0 20791717 19566772224 369485 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=13472 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 369485 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 369485 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 369485 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1477940 KiB

[startup+25.5003 s]
/proc/loadavg: 2.17 1.67 2.47 5/337 206778
/proc/meminfo: memFree=107576504/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=1626128 CPUtime=27.27 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 31282 0 139 0 2655 72 0 0 20 0 20 0 20791701 19566772224 406532 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 406532 5834 1 0 661231 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=1603600 CPUtime=24.5 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 9707 0 99 0 2386 64 0 0 20 0 20 0 20791717 19566772224 406532 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 34 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 406532 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 406532 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=1603600 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 406532 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1626128 KiB

[startup+51.1059 s]
/proc/loadavg: 2.79 1.86 2.51 5/337 206782
/proc/meminfo: memFree=106139708/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=1647736 CPUtime=52.19 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 39432 0 139 0 5116 103 0 0 20 0 20 0 20791701 19566772224 411934 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 411934 5834 1 0 661231 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=1638484 CPUtime=48.95 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 11969 0 99 0 4800 95 0 0 20 0 20 0 20791717 19566772224 411934 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 118 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=1647736 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 411934 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=1646688 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 411934 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=1646688 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 411934 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 52.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1647736 KiB

[startup+102.301 s]
/proc/loadavg: 3.56 2.22 2.60 5/337 206791
/proc/meminfo: memFree=103934632/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=1734264 CPUtime=102.46 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 44549 0 139 0 10091 155 0 0 20 0 20 0 20791701 19566772224 433566 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 433566 5851 1 0 661231 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=1734264 CPUtime=98.31 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 14728 0 99 0 9688 143 0 0 20 0 20 0 20791717 19566772224 433566 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 219 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/340 208578
/proc/meminfo: memFree=60763692/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220052 CPUtime=3248.94 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 237134 0 139 0 323061 1833 0 0 20 0 20 0 20791701 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555013 5868 1 0 566642 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=2220052 CPUtime=3200.9 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 73456 0 99 0 318399 1691 0 0 20 0 20 0 20791717 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4194 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 1906 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3248.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220052 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.20 4.18 5/338 208589
/proc/meminfo: memFree=60188856/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220052 CPUtime=3306.1 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 237722 0 139 0 328753 1857 0 0 20 0 20 0 20791701 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555013 5868 1 0 566642 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=75556 CPUtime=3257.46 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 73970 0 99 0 324032 1714 0 0 20 0 20 0 20791717 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4487 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=12452 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 1906 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555013 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3306.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/338 208599
/proc/meminfo: memFree=59555860/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220528 CPUtime=3365.88 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 240217 0 139 0 334705 1883 0 0 20 0 20 0 20791701 19566772224 555132 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555132 5868 1 0 566761 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=75556 CPUtime=3316.07 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 74883 0 99 0 329869 1738 0 0 20 0 20 0 20791717 19566772224 555132 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4565 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555132 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=13472 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 1959 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555132 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=13472 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555132 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3365.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.19 4.18 6/333 208610
/proc/meminfo: memFree=58863004/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220716 CPUtime=3425.93 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 248624 0 139 0 340685 1908 0 0 20 0 20 0 20791701 19566772224 555179 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555179 5868 1 0 566797 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=75556 CPUtime=3374.78 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 77602 0 99 0 335719 1759 0 0 20 0 20 0 20791717 19566772224 555179 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4634 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=2220052 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555179 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=2220528 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 1960 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555179 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220528 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555179 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3425.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/333 208621
/proc/meminfo: memFree=58231804/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220720 CPUtime=3485.01 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 250466 0 139 0 346570 1931 0 0 20 0 20 0 20791701 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555180 5868 1 0 566797 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=2220528 CPUtime=3433.45 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 78242 0 99 0 341564 1781 0 0 20 0 20 0 20791717 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4697 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=2220720 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=12452 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 1960 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220720 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3485.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/333 208631
/proc/meminfo: memFree=57624364/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220720 CPUtime=3544.69 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 251072 0 139 0 352514 1955 0 0 20 0 20 0 20791701 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555180 5868 1 0 566797 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=2220720 CPUtime=3492.5 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 78629 0 99 0 347448 1802 0 0 20 0 20 0 20791717 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4739 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=75556 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=2220720 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 2015 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220720 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3544.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3637.5 s]
/proc/loadavg: 3.75 4.07 4.14 3/281 208710
/proc/meminfo: memFree=84459240/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19108176 memory=2220720 CPUtime=3600.03 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 259211 0 139 0 358027 1976 0 0 20 0 20 0 20791701 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 0 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4777044 555180 5868 1 0 566797 0
[pid=206682/tid=206698] ppid=206679 vsize=19108176 memory=2220052 CPUtime=3546.87 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) R 206679 206682 206621 0 -1 4194368 80757 0 99 0 352867 1820 0 0 20 0 20 0 20791717 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4774 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19108176 memory=2220528 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20791744 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19108176 memory=-8527113335573553852 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 2015 0 0 0 0 0 0 0 20 0 20 0 20791748 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206768] ppid=206679 vsize=19108176 memory=2220720 CPUtime=0 cores=0,2
/proc/206682/task/206768/stat : 206768 (Timer-0) S 206679 206682 206621 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20791770 19566772224 555180 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2220720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.39 s, system=19.7894 s

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

[startup+3637.6 s]
/proc/loadavg: 3.75 4.07 4.14 3/281 208710
/proc/meminfo: memFree=84459240/131524600 swapFree=131056796/131071996
[pid=206682] ppid=206679 vsize=19307868 memory=2221296 CPUtime=3600.15 cores=0,2
/proc/206682/stat : 206682 (java) S 206679 206682 206621 0 -1 1077936128 261273 0 139 0 358038 1977 0 0 20 0 15 0 20791701 19771256832 555324 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 16 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
/proc/206682/statm: 4826967 555324 5867 1 0 567718 0
[pid=206682/tid=206698] ppid=206679 vsize=19307868 memory=2220720 CPUtime=3546.89 cores=0,2
/proc/206682/task/206698/stat : 206698 (java) D 206679 206682 206621 0 -1 4194368 80952 0 99 0 352868 1821 0 0 20 0 15 0 20791717 19771256832 555324 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4781 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206734] ppid=206679 vsize=19307868 memory=1836 CPUtime=0 cores=0,2
/proc/206682/task/206734/stat : 206734 (Finalizer) S 206679 206682 206621 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 15 0 20791744 19771256832 555324 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
[pid=206682/tid=206763] ppid=206679 vsize=19307868 memory=13472 CPUtime=0 cores=0,2
/proc/206682/task/206763/stat : 206763 (Common-Cleaner) S 206679 206682 206621 0 -1 1077936192 2015 0 0 0 0 0 0 0 20 0 15 0 20791748 19771256832 555324 134679101440 94153802711040 94153802714736 140725305347264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94153802722552 94153802723344 94153809211392 140725305349035 140725305349217 140725305349217 140725305356232 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2221296 KiB

Child status: 143

Real time (s): 3637.65
CPU time (s): 3600.18
CPU user time (s): 3580.39
CPU system time (s): 19.7894
CPU usage (%): 98.9699
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2601984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.39
system time used= 19.7894
maximum resident set size= 2602012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261324
page faults= 139
swaps= 0
block input operations= 29320
block output operations= 28678024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129001
involuntary context switches= 32994


# summary of solver processes directly reported to runsolver:
#   pid: 206682
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3580.39
#   total CPU system time (s): 19.7894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75338 second user time and 19.851 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-24 19:38:01
IDJOB=4453252
IDBENCH=170248
IDSOLVER=3079
FILE ID=nodeC032/4453252-1721842681
RUNJOBID= nodeC032-1721842681-206631
SLURM_JOB_ID= 7891578
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-large-v1/normalized-grid4_81.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-4453252-1721842681/watcher-4453252-1721842681 -o /tmp/evaluation-result-4453252-1721842681/solver-4453252-1721842681 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721842681-206631 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453252-1721842681 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453252-1721842681.opb

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

MD5SUM BENCH= f100cf33f2766fb68fbd6d015e5ae1f8
RANDOM SEED=1830066823

nodeC032.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		: 3393.824
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.31
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		: 3485.779
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.79
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		: 3388.293
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.31
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		: 3633.080
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.79
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		: 3183.214
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.31
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		: 3553.843
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.79
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		: 2791.503
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.31
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		: 3539.737
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        115909484 kB
MemAvailable:   129675032 kB
Buffers:          255684 kB
Cached:         14298480 kB
SwapCached:          116 kB
Active:          2531792 kB
Inactive:       12397416 kB
Active(anon):       2096 kB
Inactive(anon):   426360 kB
Active(file):    2529696 kB
Inactive(file): 11971056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              2280 kB
Writeback:             0 kB
AnonPages:        374980 kB
Mapped:           114484 kB
Shmem:             53052 kB
KReclaimable:     208888 kB
Slab:             328464 kB
SReclaimable:     208888 kB
SUnreclaim:       119576 kB
KernelStack:        3988 kB
PageTables:         9920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     852448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    253952 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:      363220 kB
DirectMap2M:    42401792 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC032 at 2024-07-24 20:38:39