Trace number 4509940

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 2025-06-06? (TO) 3600.18 3607.61

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
MD5SUMe9fe8a525132cf683f02a97489687f4f
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.003962
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables165
Total number of constraints164
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 8
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4509940-1751195141.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.018s.
0.12/0.15	c declared #vars     165
0.12/0.15	c #constraints  164
0.12/0.15	c constraints type 
0.12/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 164
0.12/0.15	c 164 constraints processed.
0.70/0.49	c cleaning 2501 clauses out of 5001 with flag 49796/5001
1.42/0.86	c cleaning 4246 clauses out of 8500 with flag 115349/11001
1.73/1.05	c cleaning 5623 clauses out of 11253 with flag 172809/18000
2.06/1.38	c cleaning 6805 clauses out of 13634 with flag 241659/26004
2.47/1.70	c cleaning 7893 clauses out of 15826 with flag 330202/35001
2.86/2.14	c cleaning 8948 clauses out of 17934 with flag 434615/45002
3.37/2.52	c cleaning 9986 clauses out of 19986 with flag 526376/56002
3.76/2.93	c cleaning 10985 clauses out of 21998 with flag 634309/68000
4.26/3.44	c cleaning 12000 clauses out of 24013 with flag 747927/81000
4.76/3.97	c cleaning 12997 clauses out of 26014 with flag 867588/95001
5.55/4.70	c cleaning 13993 clauses out of 28017 with flag 990129/110001
6.26/5.43	c cleaning 15004 clauses out of 30023 with flag 1128918/126000
6.99/6.16	c cleaning 15998 clauses out of 32020 with flag 1263205/143001
8.10/7.28	c cleaning 17002 clauses out of 34024 with flag 1427003/161003
9.10/8.28	c cleaning 18000 clauses out of 36019 with flag 1593099/180000
10.19/9.35	c cleaning 19003 clauses out of 38020 with flag 1756396/200001
11.29/10.42	c cleaning 20006 clauses out of 40017 with flag 1931000/221001
12.50/11.65	c cleaning 20990 clauses out of 42011 with flag 2114453/243001
13.79/12.91	c cleaning 22011 clauses out of 44021 with flag 2295057/266001
14.99/14.14	c cleaning 22996 clauses out of 46009 with flag 2481652/290000
16.78/16.00	c cleaning 23994 clauses out of 48014 with flag 2696291/315001
18.69/17.88	c cleaning 25001 clauses out of 50021 with flag 2937677/341002
20.78/19.95	c cleaning 25998 clauses out of 52018 with flag 3191675/368000
22.68/21.81	c cleaning 26997 clauses out of 54020 with flag 3418630/396000
24.47/23.65	c cleaning 28002 clauses out of 56023 with flag 3639021/425000
26.37/25.58	c cleaning 29004 clauses out of 58023 with flag 3859820/455002
28.76/28.00	c cleaning 30002 clauses out of 60017 with flag 4100072/486000
31.06/30.28	c cleaning 30999 clauses out of 62016 with flag 4346150/518001
33.65/32.83	c cleaning 31989 clauses out of 64017 with flag 4603771/551001
36.34/35.52	c cleaning 33003 clauses out of 66027 with flag 4859297/585000
39.04/38.23	c cleaning 34006 clauses out of 68025 with flag 5127065/620001
41.93/41.19	c cleaning 35002 clauses out of 70018 with flag 5410059/656000
45.22/44.45	c cleaning 36004 clauses out of 72017 with flag 5715618/693001
48.82/48.03	c cleaning 36997 clauses out of 74012 with flag 6001197/731000
52.50/51.72	c cleaning 37993 clauses out of 76015 with flag 6283237/770000
56.29/55.50	c cleaning 39007 clauses out of 78022 with flag 6575713/810000
60.69/59.98	c cleaning 40004 clauses out of 80015 with flag 6858987/851000
64.79/64.04	c cleaning 40992 clauses out of 82013 with flag 7164694/893002
68.97/68.24	c cleaning 41989 clauses out of 84019 with flag 7465830/936000
73.39/72.60	c cleaning 43004 clauses out of 86030 with flag 7761162/980000
78.08/77.33	c cleaning 44007 clauses out of 88027 with flag 8067852/1025001
83.56/82.83	c cleaning 45000 clauses out of 90020 with flag 8393959/1071001
88.95/88.29	c cleaning 45996 clauses out of 92020 with flag 8714494/1118001
94.04/93.39	c cleaning 47006 clauses out of 94027 with flag 9046402/1166004
99.43/98.75	c cleaning 48007 clauses out of 96017 with flag 9386302/1215000
105.92/105.27	c cleaning 48995 clauses out of 98012 with flag 9750713/1265002
112.44/111.74	c cleaning 49993 clauses out of 100015 with flag 10166114/1316000
119.13/118.44	c cleaning 50996 clauses out of 102023 with flag 10592291/1368001
126.21/125.55	c cleaning 51996 clauses out of 104026 with flag 11062751/1421000
133.80/133.13	c cleaning 53004 clauses out of 106030 with flag 11553168/1475000
140.58/139.95	c cleaning 54008 clauses out of 108026 with flag 11961922/1530000
147.86/147.21	c cleaning 54996 clauses out of 110020 with flag 12341121/1586002
155.99/155.34	c cleaning 56001 clauses out of 112022 with flag 12719672/1643000
163.47/162.88	c cleaning 57000 clauses out of 114021 with flag 13101450/1701000
171.54/170.92	c cleaning 58011 clauses out of 116021 with flag 13519008/1760000
179.42/178.87	c cleaning 58997 clauses out of 118013 with flag 13916281/1820003
187.90/187.31	c cleaning 59993 clauses out of 120013 with flag 14319224/1881000
196.88/196.32	c cleaning 61001 clauses out of 122020 with flag 14722221/1943000
204.49/204.00	c cleaning 62001 clauses out of 124019 with flag 15152728/2006000
214.06/213.56	c cleaning 62996 clauses out of 126019 with flag 15573914/2070001
223.93/223.46	c cleaning 64005 clauses out of 128022 with flag 16005762/2135000
234.61/234.14	c cleaning 65002 clauses out of 130017 with flag 16437140/2201000
245.38/244.93	c cleaning 65994 clauses out of 132015 with flag 16875400/2268000
256.18/255.77	c cleaning 67007 clauses out of 134022 with flag 17307365/2336001
265.95/265.56	c cleaning 67995 clauses out of 136015 with flag 17754750/2405001
276.84/276.43	c cleaning 69008 clauses out of 138019 with flag 18184100/2475000
288.52/288.11	c cleaning 69997 clauses out of 140011 with flag 18622655/2546000
299.91/299.58	c cleaning 70991 clauses out of 142015 with flag 19096325/2618001
311.90/311.55	c cleaning 72006 clauses out of 144023 with flag 19561106/2691000
325.07/324.70	c cleaning 73003 clauses out of 146018 with flag 20025371/2765001
336.14/335.85	c cleaning 73997 clauses out of 148014 with flag 20524336/2840000
348.91/348.65	c cleaning 75008 clauses out of 150018 with flag 21002377/2916001
360.80/360.54	c cleaning 76002 clauses out of 152009 with flag 21555699/2993000
373.87/373.69	c cleaning 76998 clauses out of 154007 with flag 22083184/3071000
388.95/388.73	c cleaning 77994 clauses out of 156010 with flag 22582700/3150001
402.91/402.78	c cleaning 78998 clauses out of 158015 with flag 23074172/3230000
414.23/414.04	c cleaning 79992 clauses out of 160018 with flag 23624762/3311001
425.31/425.13	c cleaning 81003 clauses out of 162026 with flag 24156530/3393001
440.28/440.10	c cleaning 82005 clauses out of 164022 with flag 24653607/3476000
456.73/456.60	c cleaning 82996 clauses out of 166018 with flag 25163785/3560001
471.44/471.35	c cleaning 83998 clauses out of 168022 with flag 25669303/3645001
485.61/485.53	c cleaning 85002 clauses out of 170023 with flag 26198611/3731000
502.47/502.48	c cleaning 85994 clauses out of 172021 with flag 26722588/3818000
519.73/519.70	c cleaning 87009 clauses out of 174027 with flag 27259296/3906000
536.02/536.06	c cleaning 87997 clauses out of 176018 with flag 27765271/3995000
551.99/552.08	c cleaning 88996 clauses out of 178022 with flag 28299133/4085001
569.64/569.72	c cleaning 89998 clauses out of 180025 with flag 28847069/4176000
588.50/588.61	c cleaning 91009 clauses out of 182027 with flag 29397437/4268000
606.76/606.96	c cleaning 91998 clauses out of 184018 with flag 29969997/4361000
627.33/627.52	c cleaning 92993 clauses out of 186021 with flag 30540083/4455001
645.09/645.36	c cleaning 94010 clauses out of 188029 with flag 31125810/4550002
667.05/667.38	c cleaning 94998 clauses out of 190017 with flag 31706181/4646000
686.60/687.00	c cleaning 96005 clauses out of 192019 with flag 32288127/4743000
705.25/705.69	c cleaning 96998 clauses out of 194014 with flag 32873348/4841000
727.51/727.94	c cleaning 97998 clauses out of 196016 with flag 33442721/4940000
747.76/748.28	c cleaning 98993 clauses out of 198019 with flag 34077617/5040001
770.11/770.66	c cleaning 100005 clauses out of 200025 with flag 34698472/5141000
788.97/789.56	c cleaning 101001 clauses out of 202021 with flag 35332502/5243001
808.43/809.05	c cleaning 102003 clauses out of 204020 with flag 36015623/5346001
832.24/832.89	c cleaning 103006 clauses out of 206016 with flag 36604814/5450000
852.30/852.93	c cleaning 103997 clauses out of 208011 with flag 37201189/5555001
874.94/875.67	c cleaning 105002 clauses out of 210014 with flag 37867102/5661001
898.49/899.29	c cleaning 106001 clauses out of 212012 with flag 38547542/5768001
925.73/926.59	c cleaning 106991 clauses out of 214010 with flag 39197047/5876000
951.16/951.98	c cleaning 108005 clauses out of 216020 with flag 39815035/5985001
977.80/978.65	c cleaning 109005 clauses out of 218014 with flag 40439834/6095000
1005.53/1006.40	c cleaning 109991 clauses out of 220010 with flag 41090357/6206001
1031.57/1032.52	c cleaning 111004 clauses out of 222018 with flag 41727642/6318000
1061.00/1062.04	c cleaning 111999 clauses out of 224016 with flag 42372450/6431002
1085.43/1086.51	c cleaning 113006 clauses out of 226015 with flag 43023255/6545000
1114.17/1115.37	c cleaning 114000 clauses out of 228009 with flag 43666875/6660000
1141.70/1142.91	c cleaning 114998 clauses out of 230009 with flag 44332925/6776000
1166.63/1167.96	c cleaning 116003 clauses out of 232011 with flag 45004889/6893000
1193.55/1194.93	c cleaning 116998 clauses out of 234009 with flag 45690026/7011001
1217.88/1219.39	c cleaning 117993 clauses out of 236010 with flag 46364704/7130000
1247.50/1249.05	c cleaning 119005 clauses out of 238018 with flag 47037333/7250001
1275.82/1277.49	c cleaning 120000 clauses out of 240012 with flag 47713343/7371000
1305.54/1307.27	c cleaning 121003 clauses out of 242012 with flag 48370874/7493000
1338.41/1340.17	c cleaning 121996 clauses out of 244010 with flag 49059418/7616001
1367.73/1369.55	c cleaning 122996 clauses out of 246013 with flag 49743978/7740000
1397.17/1399.08	c cleaning 124006 clauses out of 248017 with flag 50449426/7865000
1429.80/1431.79	c cleaning 124991 clauses out of 250011 with flag 51137707/7991000
1464.51/1466.52	c cleaning 126002 clauses out of 252020 with flag 51832252/8118000
1499.94/1502.04	c cleaning 127002 clauses out of 254018 with flag 52531061/8246000
1531.37/1533.54	c cleaning 128002 clauses out of 256016 with flag 53239200/8375000
1561.49/1563.77	c cleaning 128992 clauses out of 258015 with flag 53956004/8505001
1593.31/1595.67	c cleaning 129993 clauses out of 260023 with flag 54692193/8636001
1624.99/1627.34	c cleaning 131007 clauses out of 262029 with flag 55421053/8768000
1662.30/1664.77	c cleaning 132004 clauses out of 264022 with flag 56126853/8901000
1698.53/1701.05	c cleaning 133006 clauses out of 266018 with flag 56896154/9035000
1728.33/1730.94	c cleaning 133988 clauses out of 268012 with flag 57654825/9170000
1768.22/1770.93	c cleaning 135001 clauses out of 270024 with flag 58417446/9306000
1806.42/1809.28	c cleaning 136006 clauses out of 272024 with flag 59151195/9443001
1839.71/1842.69	c cleaning 137009 clauses out of 274019 with flag 59899536/9581002
1870.13/1873.10	c cleaning 137996 clauses out of 276008 with flag 60673784/9720000
1909.92/1913.05	c cleaning 138994 clauses out of 278013 with flag 61500849/9860001
1942.33/1945.52	c cleaning 139996 clauses out of 280018 with flag 62305631/10001000
1974.53/1977.87	c cleaning 141005 clauses out of 282022 with flag 63086089/10143000
2015.82/2019.28	c cleaning 141989 clauses out of 284017 with flag 63853678/10286000
2056.10/2059.63	c cleaning 143000 clauses out of 286029 with flag 64620770/10430001
2096.88/2100.52	c cleaning 144005 clauses out of 288028 with flag 65389072/10575000
2139.27/2143.01	c cleaning 145005 clauses out of 290026 with flag 66176240/10721003
2174.86/2178.70	c cleaning 146004 clauses out of 292019 with flag 67022374/10868001
2215.06/2219.09	c cleaning 147003 clauses out of 294014 with flag 67841308/11016000
2255.13/2259.28	c cleaning 147999 clauses out of 296011 with flag 68651755/11165000
2298.11/2302.34	c cleaning 149001 clauses out of 298014 with flag 69460704/11315002
2335.51/2339.80	c cleaning 149996 clauses out of 300011 with flag 70354949/11466000
2373.99/2378.41	c cleaning 150989 clauses out of 302015 with flag 71234483/11618000
2414.77/2419.30	c cleaning 152008 clauses out of 304028 with flag 72097341/11771002
2463.44/2468.16	c cleaning 153007 clauses out of 306020 with flag 72887010/11925002
2508.11/2512.94	c cleaning 154001 clauses out of 308011 with flag 73753988/12080000
2559.56/2564.52	c cleaning 155002 clauses out of 310011 with flag 74560618/12236001
2605.83/2610.95	c cleaning 155992 clauses out of 312010 with flag 75385188/12393002
2648.31/2653.50	c cleaning 156996 clauses out of 314016 with flag 76386980/12551000
2696.46/2701.88	c cleaning 157997 clauses out of 316020 with flag 77226718/12710000
2746.52/2752.09	c cleaning 159010 clauses out of 318023 with flag 78067344/12870000
2796.18/2801.87	c cleaning 160002 clauses out of 320014 with flag 78925240/13031001
2850.12/2855.97	c cleaning 161001 clauses out of 322013 with flag 79767214/13193002
2900.38/2906.37	c cleaning 161996 clauses out of 324011 with flag 80603760/13356001
2955.76/2961.68	c cleaning 163001 clauses out of 326014 with flag 81437616/13520000
3007.13/3013.19	c cleaning 163997 clauses out of 328014 with flag 82295550/13685001
3052.70/3058.88	c cleaning 164991 clauses out of 330016 with flag 83128166/13851000
3102.46/3108.78	c cleaning 166007 clauses out of 332025 with flag 83992597/14018000
3152.82/3159.26	c cleaning 167004 clauses out of 334020 with flag 84972729/14186002
3201.68/3208.27	c cleaning 168001 clauses out of 336016 with flag 85847641/14355002
3260.61/3267.38	c cleaning 168997 clauses out of 338013 with flag 86751443/14525000
3312.56/3319.49	c cleaning 170000 clauses out of 340016 with flag 87638934/14696000
3372.69/3379.73	c cleaning 171005 clauses out of 342016 with flag 88599086/14868000
3425.85/3433.05	c cleaning 171984 clauses out of 344013 with flag 89495371/15041002
3487.70/3494.92	c cleaning 173013 clauses out of 346028 with flag 90388733/15215001
3548.06/3555.48	c cleaning 173991 clauses out of 348016 with flag 91267306/15390002
3600.02/3607.51	c starts		: 55656
3600.02/3607.52	c conflicts		: 15559154
3600.02/3607.52	c decisions		: 21163543
3600.02/3607.52	c propagations		: 328459805
3600.02/3607.52	c inspects		: 57613970004
3600.02/3607.52	c shortcuts		: 0
3600.02/3607.52	c learnt literals	: 0
3600.02/3607.52	c learnt binary clauses	: 0
3600.02/3607.52	c learnt ternary clauses	: 12
3600.02/3607.52	c learnt constraints	: 15559154
3600.02/3607.52	c ignored constraints	: 0
3600.02/3607.52	c root simplifications	: 0
3600.02/3607.52	c removed literals (reason simplification)	: 32558700
3600.02/3607.52	c reason swapping (by a shorter reason)	: 0
3600.02/3607.52	c Calls to reduceDB	: 171
3600.02/3607.52	c Number of update (reduction) of LBD	: 4241275
3600.02/3607.52	c Imported unit clauses	: 0
3600.02/3607.52	c No decision after first conflict	: false
3600.02/3607.52	c number of reductions to clauses (during analyze)	: 0
3600.02/3607.52	c number of learned constraints concerned by reduction	: 0
3600.02/3607.52	c number of learning phase by resolution	: 0
3600.02/3607.52	c number of learning phase by cutting planes	: 0
3600.02/3607.52	c number of rounding to 1 operations	: 0
3600.02/3607.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3607.52	c number of reductions of the coefficients by power 2 	: 0
3600.02/3607.52	c number of right shift for reduction by power 2 	: 0
3600.02/3607.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3607.52	c number of ending skipping 	: 0
3600.02/3607.52	c number of internal skipping 	: 0
3600.02/3607.52	c number of derivation steps 	: 0
3600.02/3607.52	c number of skipped derivation steps 	: 0
3600.02/3607.52	c number of remaining unassigned 	: 0
3600.02/3607.52	c number of remaining assigned 	: 0
3600.02/3607.52	c number of falsified literals weakened from reason	: 0
3600.02/3607.53	c number of falsified literals weakened from conflict	: 0
3600.02/3607.53	c time for arithmetic operations	: 0
3600.02/3607.53	c timeout
3600.02/3607.53	c minimum degree of deleted constraints	: null
3600.02/3607.53	c maximum degree of deleted constraints	: null
3600.02/3607.53	c number of deleted constraints	: 0
3600.02/3607.53	c speed (assignments/second)	: 91052.3039606362
3600.02/3607.53	c non guided choices	: 149
3600.02/3607.59	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 343177
3600.02/3607.59	s UNKNOWN
3600.02/3607.59	c Total wall clock time (in seconds): 3607.46

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: 63665 MiB (59605 MiB free)
  memory of node 1: 64507 MiB (60606 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509940-1751195141/watcher-4509940-1751195141 -o /tmp/evaluation-result-4509940-1751195141/solver-4509940-1751195141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4509940-1751195141.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=28558, runsolver pid=28555

[startup+0.100059 s]*
/proc/loadavg: 4.15 4.12 4.08 7/339 28576
/proc/meminfo: memFree=123083228/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18930384 memory=57676 CPUtime=0.12 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 6562 0 0 0 10 2 0 0 20 0 18 0 35192024 19384713216 14419 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4732596 14419 5339 1 0 547619 0
[pid=28558/tid=28560] ppid=28555 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5067 0 0 0 7 1 0 0 20 0 18 0 35192026 19384713216 14419 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35192028 19384713216 14419 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18930384 memory=58485492706614 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35192029 19384713216 14419 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57676 KiB

[startup+0.206213 s]*
/proc/loadavg: 4.30 4.15 4.10 7/340 28577
/proc/meminfo: memFree=123076876/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=63332 CPUtime=0.32 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 7885 0 0 0 30 2 0 0 20 0 19 0 35192024 19452874752 15833 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 15833 5435 1 0 548591 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5297 0 0 0 17 1 0 0 20 0 19 0 35192026 19452874752 15833 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=18949 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 15833 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=57385981051877 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 15833 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 15833 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63332 KiB

[startup+0.306115 s]*
/proc/loadavg: 4.30 4.15 4.10 6/340 28577
/proc/meminfo: memFree=123074356/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=66048 CPUtime=0.51 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 8813 0 0 0 49 2 0 0 20 0 19 0 35192024 19452874752 16512 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 16512 5435 1 0 549164 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=-6000919485591413869 CPUtime=0.26 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5301 0 0 0 25 1 0 0 20 0 19 0 35192026 19452874752 16512 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 16512 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 16512 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 16512 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66048 KiB

[startup+0.700237 s]
/proc/loadavg: 4.30 4.15 4.10 6/340 28577
/proc/meminfo: memFree=123067236/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=84904 CPUtime=1.26 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 15223 0 0 0 123 3 0 0 20 0 19 0 35192024 19452874752 21226 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 21226 5467 1 0 552725 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=17536 CPUtime=0.62 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5344 0 0 0 61 1 0 0 20 0 19 0 35192026 19452874752 21226 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 21226 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 21226 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 21226 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84904 KiB

[startup+1.50024 s]
/proc/loadavg: 4.30 4.15 4.10 5/340 28577
/proc/meminfo: memFree=123063140/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=93312 CPUtime=2.27 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 16166 0 0 0 223 4 0 0 20 0 19 0 35192024 19452874752 23328 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 23328 5467 1 0 552727 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5656 0 0 0 140 1 0 0 20 0 19 0 35192026 19452874752 23328 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 23328 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 23328 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 23328 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93312 KiB

[startup+3.10597 s]
/proc/loadavg: 4.30 4.15 4.10 5/340 28577
/proc/meminfo: memFree=123047020/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=103680 CPUtime=3.96 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 18841 0 0 0 392 4 0 0 20 0 19 0 35192024 19452874752 25920 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 25920 5467 1 0 552728 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=10752 CPUtime=3 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 5939 0 0 0 298 2 0 0 20 0 19 0 35192026 19452874752 25920 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=-6000919485591413869 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 25920 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 25920 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 25920 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103680 KiB

[startup+6.30025 s]
/proc/loadavg: 4.28 4.15 4.09 5/340 28577
/proc/meminfo: memFree=123030392/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=118600 CPUtime=7.2 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 21476 0 0 0 715 5 0 0 20 0 19 0 35192024 19452874752 29650 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 29650 5467 1 0 552729 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=0 CPUtime=6.18 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 6168 0 0 0 616 2 0 0 20 0 19 0 35192026 19452874752 29650 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 29650 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 29650 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=93312 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 29650 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118600 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.15 4.09 5/340 28577
/proc/meminfo: memFree=123002240/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=18996948 memory=147272 CPUtime=13.59 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 22536 0 0 0 1353 6 0 0 20 0 19 0 35192024 19452874752 36818 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4749237 36818 5467 1 0 552729 0
[pid=28558/tid=28560] ppid=28555 vsize=18996948 memory=93312 CPUtime=12.56 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 6889 0 0 0 1253 3 0 0 20 0 19 0 35192026 19452874752 36818 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=18996948 memory=143176 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35192028 19452874752 36818 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35192029 19452874752 36818 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35192040 19452874752 36818 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 13.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 147272 KiB

[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.09 5/341 28579
/proc/meminfo: memFree=122962312/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=172240 CPUtime=26.37 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 24414 0 0 0 2630 7 0 0 20 0 20 0 35192024 19521036288 43060 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 43060 5467 1 0 553018 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=143176 CPUtime=25.32 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 7353 0 0 0 2529 3 0 0 20 0 20 0 35192026 19521036288 43060 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 43060 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=-6000919485591413869 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 43060 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 43060 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 26.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172240 KiB

[startup+51.1061 s]
/proc/loadavg: 4.25 4.16 4.10 5/341 28580
/proc/meminfo: memFree=122937492/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=180480 CPUtime=51.91 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 24620 0 0 0 5184 7 0 0 20 0 20 0 35192024 19521036288 45120 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 45120 5467 1 0 553018 0

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

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/341 29465
/proc/meminfo: memFree=124058080/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3275.57 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 46829 0 0 0 327439 118 0 0 20 0 20 0 35192024 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 525580 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3271.72 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 19405 0 0 0 327132 40 0 0 20 0 20 0 35192026 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=-6000919485591413869 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 801 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3275.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.23 4.14 5/342 29610
/proc/meminfo: memFree=124673244/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3335.39 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 47568 0 0 0 333420 119 0 0 20 0 20 0 35192024 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 525580 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3331.52 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 20034 0 0 0 333112 40 0 0 20 0 20 0 35192026 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 833 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3335.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.22 4.14 5/341 29612
/proc/meminfo: memFree=124595300/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3395.23 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 48035 0 0 0 339402 121 0 0 20 0 20 0 35192024 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 525580 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3391.34 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 20384 0 0 0 339093 41 0 0 20 0 20 0 35192026 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 865 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3395.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.13 5/341 29614
/proc/meminfo: memFree=124455412/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2102320 CPUtime=3455.06 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 48073 0 0 0 345383 123 0 0 20 0 20 0 35192024 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 525580 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=17536 CPUtime=3451.16 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 20416 0 0 0 345074 42 0 0 20 0 20 0 35192026 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2102320 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 865 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 525580 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3455.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2102320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/341 29616
/proc/meminfo: memFree=124377476/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3515.04 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 49119 0 0 0 351379 125 0 0 20 0 20 0 35192024 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 526604 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3510.87 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 20776 0 0 0 351045 42 0 0 20 0 20 0 35192026 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2106416 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 865 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=2106416 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3515.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106416 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.13 5/341 29620
/proc/meminfo: memFree=124159792/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3574.9 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 49652 0 0 0 357364 126 0 0 20 0 20 0 35192024 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 526604 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3570.72 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 21252 0 0 0 357029 43 0 0 20 0 20 0 35192026 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 879 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106416 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.5 s]
/proc/loadavg: 4.16 4.17 4.13 5/341 29621
/proc/meminfo: memFree=124159824/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3600.02 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 49672 0 0 0 359876 126 0 0 20 0 20 0 35192024 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4765878 526604 5499 1 0 553034 0
[pid=28558/tid=28560] ppid=28555 vsize=19063512 memory=2106416 CPUtime=3595.84 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) R 28555 28558 27841 0 -1 4194368 21267 0 0 0 359541 43 0 0 20 0 20 0 35192026 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19063512 memory=2106416 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35192028 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19063512 memory=2106416 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 879 0 0 0 0 0 0 0 20 0 20 0 35192029 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28577] ppid=28555 vsize=19063512 memory=2106416 CPUtime=0 cores=0,2
/proc/28558/task/28577/stat : 28577 (Timer-0) S 28555 28558 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35192040 19521036288 526604 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2106416 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.9 s, system=1.27881 s

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

[startup+3607.6 s]
/proc/loadavg: 4.16 4.17 4.13 5/341 29621
/proc/meminfo: memFree=124159824/131249996 swapFree=33010684/33010684
[pid=28558] ppid=28555 vsize=19263204 memory=2107440 CPUtime=3600.17 cores=0,2
/proc/28558/stat : 28558 (java) S 28555 28558 27841 0 -1 4194304 52406 0 0 0 359890 127 0 0 20 0 15 0 35192024 19725520896 526860 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
/proc/28558/statm: 4815801 526860 5531 1 0 553953 0
[pid=28558/tid=28560] ppid=28555 vsize=19263204 memory=17536 CPUtime=3595.85 cores=0,2
/proc/28558/task/28560/stat : 28560 (java) S 28555 28558 27841 0 -1 4194368 21493 0 0 0 359542 43 0 0 20 0 15 0 35192026 19725520896 526860 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28569] ppid=28555 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/28558/task/28569/stat : 28569 (Finalizer) S 28555 28558 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 35192028 19725520896 526860 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
[pid=28558/tid=28576] ppid=28555 vsize=19263204 memory=5632 CPUtime=0 cores=0,2
/proc/28558/task/28576/stat : 28576 (Common-Cleaner) S 28555 28558 27841 0 -1 4194368 879 0 0 0 0 0 0 0 20 0 15 0 35192029 19725520896 526860 18446744073709551615 94368118562816 94368118566512 140723829918304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94368118574328 94368118575120 94368139563008 140723829926273 140723829926374 140723829926374 140723829931976 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2107440 KiB

Child status: 143

Real time (s): 3607.61
CPU time (s): 3600.18
CPU user time (s): 3598.9
CPU system time (s): 1.27881
CPU usage (%): 99.794
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2107440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.9
system time used= 1.27881
maximum resident set size= 2107440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102288
involuntary context switches= 8926


# summary of solver processes directly reported to runsolver:
#   pid: 28558
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.9
#   total CPU system time (s): 1.27881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.917 second user time and 19.1834 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 13:05:41
IDJOB=4509940
IDBENCH=159187
IDSOLVER=3363
FILE ID=nodeC024/4509940-1751195141
RUNJOBID= nodeC024-1751191546-27851
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509940-1751195141/watcher-4509940-1751195141 -o /tmp/evaluation-result-4509940-1751195141/solver-4509940-1751195141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509940-1751195141.opb

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

MD5SUM BENCH= e9fe8a525132cf683f02a97489687f4f
RANDOM SEED=1369370075

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123097188 kB
MemAvailable:   122777100 kB
Buffers:            3280 kB
Cached:           489644 kB
SwapCached:            0 kB
Active:          7320380 kB
Inactive:         235084 kB
Active(anon):    7080604 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   235084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               676 kB
Writeback:             0 kB
AnonPages:       7065020 kB
Mapped:           122464 kB
Shmem:             18064 kB
KReclaimable:      88184 kB
Slab:             174948 kB
SReclaimable:      88184 kB
SUnreclaim:        86764 kB
KernelStack:        5188 kB
PageTables:        17388 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9099452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6789120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:05:49