Trace number 4451242

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 3609.5

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb
MD5SUM4d5603d89f204ba15b108c8a9193bc01
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.003235
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables63
Total number of constraints21
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)21
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.40	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.40	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.40	c See www.sat4j.org for details.
0.02/0.41	c version CUSTOM.v20240707
0.09/0.42	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.42	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.42	c java.vm.version	22.0.1+8-16
0.09/0.42	c java.vm.vendor	Oracle Corporation
0.09/0.42	c sun.arch.data.model	64
0.09/0.42	c java.version		22.0.1
0.09/0.42	c os.name		Linux
0.09/0.42	c os.version		4.18.0-301.1.el8.x86_64
0.09/0.42	c os.arch		amd64
0.09/0.42	c Free memory 		2106806208
0.09/0.42	c Max memory 		16282288128
0.09/0.42	c Total memory 		2113929216
0.09/0.43	c Number of processors 	2
0.09/0.46	--- Begin Solver configuration ---
0.09/0.46	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.09/0.46	Learn all clauses as in MiniSAT
0.09/0.46	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.46	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.46	Expensive reason simplification
0.09/0.46	Glucose 2.1 dynamic restart strategy
0.09/0.46	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.46	timeout=2147483s
0.09/0.46	DB Simplification allowed=false
0.09/0.46	Listener: none
0.09/0.46	--- End Solver configuration ---
0.09/0.46	c Pseudo Boolean Optimization by upper bound
0.09/0.46	c --- Begin Solver configuration ---
0.09/0.46	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.09/0.46	c Learn all clauses as in MiniSAT
0.09/0.46	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.46	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.46	c Expensive reason simplification
0.09/0.46	c Glucose 2.1 dynamic restart strategy
0.09/0.46	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.46	c timeout=2147483s
0.09/0.46	c DB Simplification allowed=false
0.09/0.46	c Listener: none
0.09/0.46	c --- End Solver configuration ---
0.09/0.46	c solving HOME/instance-4451242-1721839471.opb
0.09/0.46	c reading problem ... 
0.09/0.47	c using VERIPB proof format
0.09/0.47	c  no objective function found
0.09/0.47	c ... done. Wall clock time 0.011s.
0.09/0.47	c declared #vars     63
0.09/0.47	c #constraints  42
0.09/0.47	c constraints type 
0.09/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 42
0.09/0.47	c 42 constraints processed.
0.84/0.89	c cleaning 2498 clauses out of 5000 with flag 22116/5000
1.44/1.16	c cleaning 4244 clauses out of 8503 with flag 52705/11001
2.02/1.50	c cleaning 5624 clauses out of 11259 with flag 94571/18001
2.48/1.78	c cleaning 6815 clauses out of 13636 with flag 143008/26002
2.99/2.16	c cleaning 7905 clauses out of 15819 with flag 198032/35000
3.57/2.62	c cleaning 8957 clauses out of 17915 with flag 261350/45001
4.23/3.17	c cleaning 9972 clauses out of 19957 with flag 330571/56000
4.81/3.79	c cleaning 10991 clauses out of 21987 with flag 405014/68002
5.61/4.57	c cleaning 11992 clauses out of 23994 with flag 492971/81000
6.40/5.38	c cleaning 12997 clauses out of 26003 with flag 589442/95001
7.39/6.32	c cleaning 13999 clauses out of 28006 with flag 700789/110001
8.44/7.35	c cleaning 14995 clauses out of 30006 with flag 815242/126000
9.72/8.51	c cleaning 15997 clauses out of 32011 with flag 932041/143000
11.06/9.85	c cleaning 17000 clauses out of 34014 with flag 1060734/161000
12.37/11.10	c cleaning 18000 clauses out of 36014 with flag 1187290/180000
13.86/12.54	c cleaning 18997 clauses out of 38015 with flag 1323943/200001
15.46/14.11	c cleaning 20004 clauses out of 40017 with flag 1482606/221000
16.96/15.64	c cleaning 20995 clauses out of 42013 with flag 1649252/243000
18.76/17.46	c cleaning 21997 clauses out of 44018 with flag 1820509/266000
20.46/19.18	c cleaning 23007 clauses out of 46021 with flag 1978853/290000
22.36/21.09	c cleaning 24005 clauses out of 48015 with flag 2148467/315001
24.73/23.21	c cleaning 24993 clauses out of 50009 with flag 2338280/341000
26.82/25.39	c cleaning 26006 clauses out of 52017 with flag 2521124/368001
29.21/27.78	c cleaning 26998 clauses out of 54010 with flag 2723965/396000
31.71/30.22	c cleaning 28004 clauses out of 56015 with flag 2934850/425003
34.16/32.78	c cleaning 28995 clauses out of 58008 with flag 3156550/455000
37.16/35.70	c cleaning 29999 clauses out of 60013 with flag 3393977/486000
39.75/38.33	c cleaning 30999 clauses out of 62014 with flag 3618445/518000
42.45/41.07	c cleaning 31999 clauses out of 64016 with flag 3844195/551001
45.55/44.13	c cleaning 32993 clauses out of 66017 with flag 4103492/585001
48.44/47.09	c cleaning 34002 clauses out of 68024 with flag 4367525/620001
51.63/50.24	c cleaning 35006 clauses out of 70022 with flag 4619750/656001
55.43/54.02	c cleaning 35998 clauses out of 72015 with flag 4901008/693000
58.91/57.53	c cleaning 36999 clauses out of 74017 with flag 5177638/731000
62.90/61.52	c cleaning 38003 clauses out of 76018 with flag 5480908/770000
66.85/65.59	c cleaning 39000 clauses out of 78016 with flag 5770130/810001
71.14/69.84	c cleaning 39998 clauses out of 80015 with flag 6083168/851000
75.75/74.45	c cleaning 41008 clauses out of 82017 with flag 6415379/893000
80.44/79.17	c cleaning 41999 clauses out of 84009 with flag 6731842/936000
85.93/84.67	c cleaning 42998 clauses out of 86010 with flag 7104004/980000
91.02/89.76	c cleaning 43996 clauses out of 88012 with flag 7445126/1025000
96.47/95.21	c cleaning 45001 clauses out of 90016 with flag 7784254/1071000
102.15/100.92	c cleaning 46003 clauses out of 92015 with flag 8129318/1118000
108.35/107.17	c cleaning 46999 clauses out of 94012 with flag 8501484/1166000
114.14/113.00	c cleaning 48000 clauses out of 96017 with flag 8870218/1215004
120.02/118.82	c cleaning 48999 clauses out of 98015 with flag 9233221/1265002
126.57/125.43	c cleaning 49996 clauses out of 100014 with flag 9623217/1316000
133.27/132.18	c cleaning 51005 clauses out of 102018 with flag 10021911/1368000
140.06/138.96	c cleaning 51999 clauses out of 104013 with flag 10441446/1421000
146.84/145.76	c cleaning 53000 clauses out of 106015 with flag 10866358/1475001
154.13/153.10	c cleaning 54004 clauses out of 108015 with flag 11303552/1530001
161.78/160.77	c cleaning 55000 clauses out of 110010 with flag 11735486/1586000
169.16/168.16	c cleaning 56000 clauses out of 112011 with flag 12145809/1643001
177.26/176.26	c cleaning 57001 clauses out of 114012 with flag 12570286/1701002
185.74/184.71	c cleaning 58002 clauses out of 116010 with flag 13022603/1760001
194.19/193.28	c cleaning 58997 clauses out of 118007 with flag 13488753/1820000
202.87/201.95	c cleaning 59994 clauses out of 120011 with flag 13966463/1881001
212.57/211.66	c cleaning 60999 clauses out of 122017 with flag 14481547/1943001
222.02/221.19	c cleaning 61999 clauses out of 124017 with flag 14956718/2006000
232.39/231.58	c cleaning 63001 clauses out of 126020 with flag 15452410/2070002
243.66/242.88	c cleaning 64002 clauses out of 128019 with flag 15974056/2135002
254.64/253.82	c cleaning 65000 clauses out of 130017 with flag 16505149/2201002
266.81/266.06	c cleaning 65999 clauses out of 132016 with flag 17051027/2268001
278.55/277.86	c cleaning 67000 clauses out of 134016 with flag 17592602/2336000
290.42/289.77	c cleaning 68002 clauses out of 136017 with flag 18151940/2405001
303.01/302.30	c cleaning 68996 clauses out of 138014 with flag 18741099/2475000
315.28/314.77	c cleaning 70001 clauses out of 140019 with flag 19317785/2546001
328.95/328.43	c cleaning 71005 clauses out of 142017 with flag 19890008/2618000
341.39/340.93	c cleaning 71997 clauses out of 144012 with flag 20489677/2691000
353.68/353.21	c cleaning 73001 clauses out of 146017 with flag 21061289/2765002
366.46/366.04	c cleaning 74003 clauses out of 148014 with flag 21681333/2840000
378.80/378.46	c cleaning 74995 clauses out of 150013 with flag 22287437/2916002
391.50/391.12	c cleaning 76006 clauses out of 152017 with flag 22880942/2993001
406.24/405.98	c cleaning 76997 clauses out of 154011 with flag 23515465/3071001
421.90/421.61	c cleaning 77997 clauses out of 156013 with flag 24151093/3150000
436.74/436.58	c cleaning 79002 clauses out of 158016 with flag 24776226/3230000
451.03/450.88	c cleaning 80002 clauses out of 160015 with flag 25404575/3311001
466.07/465.93	c cleaning 81003 clauses out of 162013 with flag 26051777/3393001
481.74/481.65	c cleaning 82001 clauses out of 164009 with flag 26710606/3476000
496.72/496.59	c cleaning 82995 clauses out of 166009 with flag 27362330/3560001
513.98/513.87	c cleaning 83998 clauses out of 168013 with flag 28054978/3645000
531.41/531.38	c cleaning 84998 clauses out of 170016 with flag 28743723/3731001
549.10/549.04	c cleaning 86003 clauses out of 172017 with flag 29451769/3818000
566.32/566.38	c cleaning 87007 clauses out of 174017 with flag 30151405/3906003
586.55/586.65	c cleaning 87998 clauses out of 176007 with flag 30915590/3995000
606.93/607.07	c cleaning 88993 clauses out of 178010 with flag 31606664/4085001
626.07/626.23	c cleaning 90005 clauses out of 180016 with flag 32345791/4176000
644.84/645.08	c cleaning 91001 clauses out of 182012 with flag 33062548/4268001
666.85/667.15	c cleaning 92001 clauses out of 184012 with flag 33818158/4361002
689.33/689.72	c cleaning 93005 clauses out of 186010 with flag 34569911/4455001
713.56/714.05	c cleaning 93999 clauses out of 188005 with flag 35318855/4550001
737.61/738.12	c cleaning 94995 clauses out of 190005 with flag 36100139/4646000
762.54/763.13	c cleaning 95999 clauses out of 192011 with flag 36843092/4743001
786.95/787.67	c cleaning 97004 clauses out of 194013 with flag 37576295/4841002
810.12/810.85	c cleaning 97997 clauses out of 196007 with flag 38365762/4940000
834.15/834.94	c cleaning 98999 clauses out of 198011 with flag 39159256/5040001
856.59/857.40	c cleaning 99999 clauses out of 200012 with flag 39948296/5141001
880.09/881.15	c cleaning 100998 clauses out of 202012 with flag 40743997/5243000
908.39/909.74	c cleaning 101997 clauses out of 204014 with flag 41565471/5346000
934.88/936.49	c cleaning 103004 clauses out of 206017 with flag 42398881/5450000
959.63/961.68	c cleaning 104001 clauses out of 208013 with flag 43255330/5555000
985.84/987.91	c cleaning 104997 clauses out of 210012 with flag 44073749/5661000
1015.08/1017.25	c cleaning 106002 clauses out of 212016 with flag 44879386/5768001
1043.33/1045.55	c cleaning 107000 clauses out of 214013 with flag 45758874/5876000
1068.39/1070.65	c cleaning 108001 clauses out of 216014 with flag 46592951/5985001
1097.18/1099.56	c cleaning 109000 clauses out of 218014 with flag 47473969/6095002
1125.76/1128.16	c cleaning 110003 clauses out of 220013 with flag 48310926/6206001
1155.85/1158.39	c cleaning 110996 clauses out of 222009 with flag 49195482/6318000
1190.07/1193.14	c cleaning 112001 clauses out of 224014 with flag 50124359/6431001
1220.70/1223.84	c cleaning 112997 clauses out of 226012 with flag 51050086/6545000
1255.80/1259.03	c cleaning 114002 clauses out of 228016 with flag 51941830/6660001
1292.60/1295.90	c cleaning 115003 clauses out of 230014 with flag 52833661/6776001
1326.70/1330.12	c cleaning 115995 clauses out of 232010 with flag 53716769/6893000
1363.54/1367.05	c cleaning 117000 clauses out of 234015 with flag 54611874/7011000
1394.56/1398.16	c cleaning 118003 clauses out of 236015 with flag 55457167/7130000
1432.68/1436.32	c cleaning 118998 clauses out of 238012 with flag 56389258/7250000
1471.49/1475.52	c cleaning 120005 clauses out of 240014 with flag 57317258/7371000
1514.26/1518.79	c cleaning 120996 clauses out of 242010 with flag 58285685/7493001
1554.99/1559.85	c cleaning 121999 clauses out of 244014 with flag 59250907/7616001
1593.29/1598.37	c cleaning 123001 clauses out of 246016 with flag 60191958/7740002
1635.02/1640.12	c cleaning 123999 clauses out of 248014 with flag 61192654/7865001
1677.55/1682.81	c cleaning 125003 clauses out of 250015 with flag 62236330/7991001
1717.80/1723.20	c cleaning 126001 clauses out of 252011 with flag 63229718/8118000
1758.96/1764.59	c cleaning 126999 clauses out of 254010 with flag 64211857/8246000
1795.32/1800.96	c cleaning 127997 clauses out of 256013 with flag 65168704/8375002
1835.62/1841.32	c cleaning 129006 clauses out of 258017 with flag 66097820/8505003
1877.45/1883.24	c cleaning 130001 clauses out of 260008 with flag 67037166/8636000
1920.75/1926.62	c cleaning 130999 clauses out of 262008 with flag 68015528/8768001
1972.07/1978.10	c cleaning 131992 clauses out of 264008 with flag 69166344/8901000
2016.35/2022.45	c cleaning 133004 clauses out of 266017 with flag 70200913/9035001
2059.57/2065.73	c cleaning 134004 clauses out of 268013 with flag 71213660/9170001
2104.78/2111.09	c cleaning 134996 clauses out of 270008 with flag 72252669/9306000
2152.34/2158.75	c cleaning 135999 clauses out of 272014 with flag 73383026/9443002
2202.69/2209.17	c cleaning 136995 clauses out of 274013 with flag 74510088/9581000
2253.05/2259.67	c cleaning 138006 clauses out of 276020 with flag 75642542/9720002
2303.55/2310.27	c cleaning 139000 clauses out of 278012 with flag 76750902/9860000
2354.42/2361.20	c cleaning 140002 clauses out of 280012 with flag 77803819/10001000
2422.31/2429.53	c cleaning 141000 clauses out of 282014 with flag 78897573/10143004
2482.07/2489.46	c cleaning 141999 clauses out of 284012 with flag 80037994/10286002
2543.26/2550.74	c cleaning 143000 clauses out of 286012 with flag 81230495/10430001
2599.36/2606.96	c cleaning 143996 clauses out of 288013 with flag 82408266/10575002
2649.80/2657.56	c cleaning 145006 clauses out of 290015 with flag 83545682/10721000
2711.70/2719.59	c cleaning 145998 clauses out of 292009 with flag 84715195/10868000
2766.45/2774.49	c cleaning 147001 clauses out of 294015 with flag 85873870/11016004
2825.14/2833.24	c cleaning 148000 clauses out of 296010 with flag 87069397/11165000
2882.12/2890.44	c cleaning 149000 clauses out of 298011 with flag 88255691/11315001
2940.48/2948.96	c cleaning 149999 clauses out of 300010 with flag 89391077/11466000
3004.10/3012.76	c cleaning 151004 clauses out of 302013 with flag 90568325/11618002
3061.52/3070.40	c cleaning 151997 clauses out of 304008 with flag 91722680/11771001
3124.69/3133.76	c cleaning 153003 clauses out of 306012 with flag 92848148/11925002
3187.60/3196.84	c cleaning 153997 clauses out of 308009 with flag 93987270/12080002
3256.49/3265.82	c cleaning 155000 clauses out of 310011 with flag 95158050/12236001
3327.48/3336.96	c cleaning 156000 clauses out of 312011 with flag 96423893/12393001
3397.88/3407.54	c cleaning 157001 clauses out of 314010 with flag 97518733/12551000
3465.93/3475.06	c cleaning 157997 clauses out of 316010 with flag 98684580/12710001
3537.53/3546.84	c cleaning 159003 clauses out of 318015 with flag 99893599/12870003
3600.02/3609.41	c starts		: 4113
3600.02/3609.42	c conflicts		: 13029226
3600.02/3609.42	c decisions		: 14654909
3600.02/3609.42	c propagations		: 166837118
3600.02/3609.42	c inspects		: 55828838546
3600.02/3609.42	c shortcuts		: 0
3600.02/3609.42	c learnt literals	: 0
3600.02/3609.42	c learnt binary clauses	: 1
3600.02/3609.42	c learnt ternary clauses	: 26
3600.02/3609.42	c learnt constraints	: 13029226
3600.02/3609.42	c ignored constraints	: 0
3600.02/3609.42	c root simplifications	: 0
3600.02/3609.42	c removed literals (reason simplification)	: 72901968
3600.02/3609.42	c reason swapping (by a shorter reason)	: 0
3600.02/3609.42	c Calls to reduceDB	: 156
3600.02/3609.42	c Number of update (reduction) of LBD	: 3470848
3600.02/3609.42	c Imported unit clauses	: 0
3600.02/3609.42	c No decision after first conflict	: false
3600.02/3609.42	c number of reductions to clauses (during analyze)	: 0
3600.02/3609.42	c number of learned constraints concerned by reduction	: 0
3600.02/3609.42	c number of learning phase by resolution	: 0
3600.02/3609.42	c number of learning phase by cutting planes	: 0
3600.02/3609.42	c number of rounding to 1 operations	: 0
3600.02/3609.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3609.42	c number of reductions of the coefficients by power 2 	: 0
3600.02/3609.42	c number of right shift for reduction by power 2 	: 0
3600.02/3609.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3609.42	c number of ending skipping 	: 0
3600.02/3609.42	c number of internal skipping 	: 0
3600.02/3609.42	c number of derivation steps 	: 0
3600.02/3609.42	c number of skipped derivation steps 	: 0
3600.02/3609.42	c number of remaining unassigned 	: 0
3600.02/3609.42	c number of remaining assigned 	: 0
3600.02/3609.42	c number of falsified literals weakened from reason	: 0
3600.02/3609.42	c number of falsified literals weakened from conflict	: 0
3600.02/3609.42	c time for arithmetic operations	: 0
3600.02/3609.42	c minimum degree of deleted constraints	: null
3600.02/3609.42	c maximum degree of deleted constraints	: null
3600.02/3609.42	c number of deleted constraints	: 0
3600.02/3609.42	c speed (assignments/second)	: 46228.79102585133
3600.02/3609.42	c non guided choices	: 45
3600.02/3609.44	c timeout
3600.02/3609.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 318234
3600.02/3609.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1
3600.02/3609.48	s UNKNOWN
3600.02/3609.48	c Total wall clock time (in seconds): 3609.024

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=206864, runsolver pid=206853

[startup+0.100081 s]*
/proc/loadavg: 1.37 2.55 3.29 3/259 206866
/proc/meminfo: memFree=122787040/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=37736 memory=2048 CPUtime=0 cores=1,3
/proc/206864/stat : 206864 (java) D 206853 206864 206792 0 -1 4194304 154 0 2 0 0 0 0 0 20 0 1 0 20475417 38641664 512 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 0 0 0 0 17 3 0 0 8 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 9434 512 469 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2048 KiB

[startup+0.205559 s]*
/proc/loadavg: 1.37 2.55 3.29 7/263 206870
/proc/meminfo: memFree=122780452/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=294272 memory=19868 CPUtime=0 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 1415 0 2 0 0 0 0 0 20 0 2 0 20475417 301334528 4967 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16784588 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 73568 4967 2887 1 0 2359 0
[pid=206864/tid=206869] ppid=206853 vsize=294272 memory=4211840275809566851 CPUtime=0 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) S 206853 206864 206792 0 -1 4194368 854 0 0 0 0 0 0 0 20 0 2 0 20475436 301334528 4967 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 2147221247 0 16784588 0 0 0 -1 1 0 0 2 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 294272 KiB
Current children cumulated memory: 19868 KiB

[startup+0.305753 s]*
/proc/loadavg: 1.37 2.55 3.29 6/283 206890
/proc/meminfo: memFree=122672144/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=18393816 memory=47776 CPUtime=0.02 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 5674 0 4 0 1 1 0 0 20 0 9 0 20475417 18835267584 11944 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16784588 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4598454 11944 4731 1 0 545728 0
[pid=206864/tid=206869] ppid=206853 vsize=18393816 memory=-8960019650731287228 CPUtime=0.02 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 5107 0 2 0 1 1 0 0 20 0 9 0 20475436 18835267584 11944 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16784588 0 0 0 -1 1 0 0 12 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18393816 KiB
Current children cumulated memory: 47776 KiB

[startup+0.700232 s]
/proc/loadavg: 1.37 2.55 3.29 15/331 206938
/proc/meminfo: memFree=122584100/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19060472 memory=93104 CPUtime=0.64 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 10391 0 5 0 61 3 0 0 20 0 19 0 20475417 19517923328 23276 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4765118 23276 6090 1 0 550964 0
[pid=206864/tid=206869] ppid=206853 vsize=19060472 memory=0 CPUtime=0.31 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 6118 0 2 0 29 2 0 0 20 0 19 0 20475436 19517923328 23276 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19060472 memory=103841 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20475448 19517923328 23276 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20475450 19517923328 23276 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19060472 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20475465 19517923328 23276 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 93104 KiB

[startup+1.50364 s]
/proc/loadavg: 1.37 2.55 3.29 12/331 206938
/proc/meminfo: memFree=122307012/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=180240 CPUtime=2.22 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 19784 0 5 0 215 7 0 0 20 0 20 0 20475417 19586084864 45060 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 45060 6137 1 0 554563 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=0 CPUtime=1.07 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 6452 0 2 0 103 4 0 0 20 0 20 0 20475436 19586084864 45060 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 45060 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=232785580467 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 45060 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 45060 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180240 KiB

[startup+3.10665 s]
/proc/loadavg: 1.82 2.62 3.31 10/335 207009
/proc/meminfo: memFree=122057956/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=180536 CPUtime=4.23 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 21457 0 5 0 414 9 0 0 20 0 20 0 20475417 19586084864 45134 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 45134 6153 1 0 554564 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=0 CPUtime=2.65 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 6875 0 2 0 260 5 0 0 20 0 20 0 20475436 19586084864 45134 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 45134 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=107964 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 45134 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 45134 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180536 KiB

[startup+6.30065 s]
/proc/loadavg: 1.82 2.62 3.31 9/334 207009
/proc/meminfo: memFree=121113296/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=209760 CPUtime=7.39 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 22470 0 5 0 728 11 0 0 20 0 20 0 20475417 19586084864 52440 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 52440 6153 1 0 554568 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=180444 CPUtime=5.8 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 6929 0 2 0 572 8 0 0 20 0 20 0 20475436 19586084864 52440 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=107964 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 52440 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 52440 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 52440 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 209760 KiB

[startup+12.7003 s]
/proc/loadavg: 2.15 2.67 3.32 8/334 207011
/proc/meminfo: memFree=119535608/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=578856 CPUtime=14.06 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 30522 0 5 0 1383 23 0 0 20 0 20 0 20475417 19586084864 144714 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 144714 6153 1 0 554568 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=0 CPUtime=12.16 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 8360 0 2 0 1197 19 0 0 20 0 20 0 20475436 19586084864 144714 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 144714 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 144714 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=519464 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 144714 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 578856 KiB

[startup+25.5003 s]
/proc/loadavg: 2.44 2.71 3.32 7/334 207012
/proc/meminfo: memFree=118219400/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=765816 CPUtime=27.02 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 37592 0 5 0 2668 34 0 0 20 0 20 0 20475417 19586084864 191454 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 191454 6153 1 0 554568 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=519464 CPUtime=24.91 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 9826 0 2 0 2462 29 0 0 20 0 20 0 20475436 19586084864 191454 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 17 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 191454 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=765272 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 191454 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=765272 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 191454 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 27.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 765816 KiB

[startup+51.106 s]
/proc/loadavg: 3.03 2.83 3.35 6/332 207085
/proc/meminfo: memFree=117358392/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1118136 CPUtime=52.54 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 42810 0 5 0 5202 52 0 0 20 0 20 0 20475417 19586084864 279534 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 279534 6153 1 0 554568 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=12248 CPUtime=50.37 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 11545 0 2 0 4992 45 0 0 20 0 20 0 20475436 19586084864 279534 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1118136 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 279534 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=-8960019650731287228 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 279534 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=1114036 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 279534 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 52.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1118136 KiB

[startup+102.3 s]
/proc/loadavg: 3.74 3.06 3.40 6/332 207093
/proc/meminfo: memFree=116468804/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1327136 CPUtime=103.55 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 46698 0 5 0 10280 75 0 0 20 0 20 0 20475417 19586084864 331784 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 331784 6153 1 0 554568 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=1327136 CPUtime=101.33 cores=1,3

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

/proc/meminfo: memFree=100816084/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1610756 CPUtime=3213.11 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 147874 0 5 0 320693 618 0 0 20 0 20 0 20475417 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 402689 6169 1 0 554602 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=1784 CPUtime=3205.68 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 59504 0 2 0 320043 525 0 0 20 0 20 0 20475436 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 379 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1598432 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=1610744 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4087 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=18928 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1610756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/332 208851
/proc/meminfo: memFree=100641092/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1610756 CPUtime=3272.94 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 148875 0 5 0 326670 624 0 0 20 0 20 0 20475417 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 402689 6169 1 0 554602 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=12248 CPUtime=3265.49 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 60365 0 2 0 326019 530 0 0 20 0 20 0 20475436 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 381 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1610756 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=1610756 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4144 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=1610756 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 402689 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1610756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/334 208866
/proc/meminfo: memFree=100415588/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1633320 CPUtime=3332.87 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 150665 0 5 0 332655 632 0 0 20 0 20 0 20475417 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 408330 6169 1 0 554602 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=11496 CPUtime=3325.22 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 61406 0 2 0 331987 535 0 0 20 0 20 0 20475436 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 383 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=-8960019650731287228 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=2196 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4236 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=1633320 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1633320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/333 208876
/proc/meminfo: memFree=100232848/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1633320 CPUtime=3392.71 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 151597 0 5 0 338632 639 0 0 20 0 20 0 20475417 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 408330 6169 1 0 554602 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=75972 CPUtime=3385.02 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 62194 0 2 0 337962 540 0 0 20 0 20 0 20475436 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 385 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1633320 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=75972 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4328 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=18928 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 408330 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1633320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.09 4.09 6/334 208888
/proc/meminfo: memFree=100033456/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1654156 CPUtime=3452.94 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 155587 0 5 0 344648 646 0 0 20 0 20 0 20475417 19586084864 413539 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 413539 6200 1 0 554626 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=75972 CPUtime=3444.78 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 64245 0 2 0 343932 546 0 0 20 0 20 0 20475436 19586084864 413539 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 387 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1651744 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 413539 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4384 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 413539 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=1654156 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 413539 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1654156 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.12 4.10 6/334 208899
/proc/meminfo: memFree=99851560/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1654196 CPUtime=3513.09 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 158946 0 5 0 350653 656 0 0 20 0 20 0 20475417 19586084864 413549 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 413549 6200 1 0 555574 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=1654156 CPUtime=3504.58 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 65269 0 2 0 349905 553 0 0 20 0 20 0 20475436 19586084864 413549 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 389 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=1654196 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 413549 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=12248 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4473 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 413549 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=1654196 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 413549 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1654196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 6/333 208909
/proc/meminfo: memFree=99663760/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1664496 CPUtime=3572.98 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 160799 0 5 0 356635 663 0 0 20 0 20 0 20475417 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 416124 6200 1 0 555574 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=18928 CPUtime=3564.34 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 66014 0 2 0 355875 559 0 0 20 0 20 0 20475436 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 391 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=2196 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4587 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=11496 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1664496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.16 4.12 4.09 7/333 208915
/proc/meminfo: memFree=99591424/131524600 swapFree=131061696/131071996
[pid=206864] ppid=206853 vsize=19127036 memory=1664496 CPUtime=3600.02 cores=1,3
/proc/206864/stat : 206864 (java) S 206853 206864 206792 0 -1 1077936128 161517 0 5 0 359335 667 0 0 20 0 20 0 20475417 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 0 0 16800975 0 0 0 17 3 0 0 18 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
/proc/206864/statm: 4781759 416124 6200 1 0 555574 0
[pid=206864/tid=206869] ppid=206853 vsize=19127036 memory=21496 CPUtime=3591.37 cores=1,3
/proc/206864/task/206869/stat : 206869 (java) R 206853 206864 206792 0 -1 4194368 66563 0 2 0 358575 562 0 0 20 0 20 0 20475436 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 393 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206908] ppid=206853 vsize=19127036 memory=8188 CPUtime=0 cores=1,3
/proc/206864/task/206908/stat : 206908 (Finalizer) S 206853 206864 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20475448 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206934] ppid=206853 vsize=19127036 memory=3020 CPUtime=0 cores=1,3
/proc/206864/task/206934/stat : 206934 (Common-Cleaner) S 206853 206864 206792 0 -1 1077936192 4704 0 0 0 0 0 0 0 20 0 20 0 20475450 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
[pid=206864/tid=206935] ppid=206853 vsize=19127036 memory=2200 CPUtime=0 cores=1,3
/proc/206864/task/206935/stat : 206935 (Timer-0) S 206853 206864 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20475465 19586084864 416124 134679101440 94815646879744 94815646883440 140725616490624 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94815646891256 94815646892048 94815660826624 140725616493487 140725616493669 140725616493669 140725616500680 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1664496 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.5 s, system=6.67764 s

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

Child status: 143

Real time (s): 3609.5
CPU time (s): 3600.17
CPU user time (s): 3593.5
CPU system time (s): 6.67764
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 1664496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.5
system time used= 6.67764
maximum resident set size= 1665432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164415
page faults= 5
swaps= 0
block input operations= 2080
block output operations= 3100248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103158
involuntary context switches= 7830


# summary of solver processes directly reported to runsolver:
#   pid: 206864
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3593.5
#   total CPU system time (s): 6.67764

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75346 second user time and 20.2657 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 18:44:31
IDJOB=4451242
IDBENCH=162386
IDSOLVER=3079
FILE ID=nodeC020/4451242-1721839471
RUNJOBID= nodeC020-1721839470-206804
SLURM_JOB_ID= 7891544
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.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-4451242-1721839471/watcher-4451242-1721839471 -o /tmp/evaluation-result-4451242-1721839471/solver-4451242-1721839471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206804 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451242-1721839471 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451242-1721839471.opb

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

MD5SUM BENCH= 4d5603d89f204ba15b108c8a9193bc01
RANDOM SEED=974062307

nodeC020.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		: 3561.625
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		: 3624.652
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.25
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		: 3491.456
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		: 3658.662
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.25
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		: 3460.590
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		: 3657.224
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.25
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		: 3559.996
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		: 3649.919
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122790868 kB
MemAvailable:   129790340 kB
Buffers:          261668 kB
Cached:          7525840 kB
SwapCached:          120 kB
Active:          2586700 kB
Inactive:        5463008 kB
Active(anon):       2232 kB
Inactive(anon):   313856 kB
Active(file):    2584468 kB
Inactive(file):  5149152 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:              2808 kB
Writeback:             4 kB
AnonPages:        261260 kB
Mapped:           109008 kB
Shmem:             53880 kB
KReclaimable:     211352 kB
Slab:             327224 kB
SReclaimable:     211352 kB
SUnreclaim:       115872 kB
KernelStack:        3904 kB
PageTables:         9272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     642704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-24 19:44:40