Trace number 4515859

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 VeriPB 2025-06-06? (TO) 3600.16 3581.31

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
MD5SUM63b188aa857e13a102f967140947950a
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.095755
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables350
Total number of constraints701
Number of constraints which are clauses700
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint350
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 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 355
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	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-4515859-1751234833.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.13	c  no objective function found
0.12/0.17	c ... done. Wall clock time 0.042s.
0.12/0.17	c declared #vars     350
0.12/0.17	c #constraints  701
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 700
0.12/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.17	c 701 constraints processed.
1.88/1.08	c cleaning 2500 clauses out of 5000 with flag 10575/5000
3.06/1.67	c cleaning 4251 clauses out of 8502 with flag 23187/11002
4.21/2.27	c cleaning 5622 clauses out of 11249 with flag 37820/18000
5.03/2.88	c cleaning 6813 clauses out of 13627 with flag 54666/26000
5.79/3.55	c cleaning 7906 clauses out of 15815 with flag 73650/35001
6.60/4.33	c cleaning 8952 clauses out of 17908 with flag 94817/45000
7.50/5.16	c cleaning 9978 clauses out of 19956 with flag 118042/56000
8.48/6.05	c cleaning 10986 clauses out of 21978 with flag 143373/68000
9.47/7.02	c cleaning 11996 clauses out of 23993 with flag 170759/81001
10.69/8.28	c cleaning 12994 clauses out of 25997 with flag 200280/95001
12.03/9.56	c cleaning 13999 clauses out of 28004 with flag 231878/110002
13.32/10.87	c cleaning 14995 clauses out of 30003 with flag 265636/126000
14.76/12.19	c cleaning 16004 clauses out of 32008 with flag 301424/143000
16.29/13.66	c cleaning 16998 clauses out of 34004 with flag 339352/161000
17.89/15.25	c cleaning 18002 clauses out of 36007 with flag 379338/180001
19.75/17.05	c cleaning 19002 clauses out of 38007 with flag 421571/200003
21.54/18.90	c cleaning 20000 clauses out of 40002 with flag 465918/221000
23.73/20.96	c cleaning 20997 clauses out of 42004 with flag 512285/243002
26.32/23.58	c cleaning 21996 clauses out of 44006 with flag 561067/266001
28.79/25.95	c cleaning 23001 clauses out of 46010 with flag 611628/290001
31.39/28.50	c cleaning 24001 clauses out of 48008 with flag 664414/315000
33.96/31.09	c cleaning 25003 clauses out of 50007 with flag 719269/341000
36.63/33.75	c cleaning 26002 clauses out of 52004 with flag 776328/368000
39.88/37.01	c cleaning 26999 clauses out of 54003 with flag 835431/396001
42.77/39.89	c cleaning 27999 clauses out of 56004 with flag 896613/425001
45.37/42.46	c cleaning 28998 clauses out of 58005 with flag 959862/455001
47.95/45.00	c cleaning 30002 clauses out of 60006 with flag 1025182/486000
50.96/47.83	c cleaning 31000 clauses out of 62004 with flag 1092656/518000
54.26/51.17	c cleaning 31999 clauses out of 64005 with flag 1162204/551001
57.74/54.58	c cleaning 32998 clauses out of 66005 with flag 1233918/585000
61.48/58.20	c cleaning 33999 clauses out of 68007 with flag 1307636/620000
65.55/62.27	c cleaning 35004 clauses out of 70010 with flag 1383601/656002
69.84/66.81	c cleaning 36003 clauses out of 72006 with flag 1461494/693002
74.79/71.78	c cleaning 36996 clauses out of 74002 with flag 1541678/731001
78.97/75.84	c cleaning 38000 clauses out of 76005 with flag 1624080/770000
83.85/80.60	c cleaning 39000 clauses out of 78005 with flag 1708586/810000
88.52/85.25	c cleaning 40000 clauses out of 80006 with flag 1795186/851001
93.70/90.34	c cleaning 41000 clauses out of 82007 with flag 1884074/893002
99.44/96.32	c cleaning 41998 clauses out of 84006 with flag 1974979/936001
106.34/103.48	c cleaning 43004 clauses out of 86008 with flag 2068134/980001
113.38/110.52	c cleaning 44002 clauses out of 88003 with flag 2163250/1025000
121.74/118.85	c cleaning 44998 clauses out of 90002 with flag 2260122/1071001
130.86/128.22	c cleaning 46002 clauses out of 92003 with flag 2359232/1118000
136.24/133.58	c cleaning 47000 clauses out of 94002 with flag 2460467/1166001
142.10/139.28	c cleaning 47997 clauses out of 96001 with flag 2563922/1215000
148.41/145.42	c cleaning 49000 clauses out of 98004 with flag 2669320/1265000
155.55/152.71	c cleaning 50002 clauses out of 100005 with flag 2777034/1316001
161.72/158.88	c cleaning 50999 clauses out of 102002 with flag 2886944/1368000
168.92/165.91	c cleaning 51996 clauses out of 104005 with flag 2998953/1421002
177.68/174.69	c cleaning 53000 clauses out of 106009 with flag 3112993/1475002
184.79/181.71	c cleaning 53997 clauses out of 108009 with flag 3229059/1530002
194.21/191.26	c cleaning 55002 clauses out of 110011 with flag 3347598/1586001
201.70/198.65	c cleaning 55998 clauses out of 112009 with flag 3468200/1643001
209.12/205.99	c cleaning 57004 clauses out of 114013 with flag 3590808/1701003
218.69/215.63	c cleaning 58004 clauses out of 116007 with flag 3715420/1760001
228.96/225.59	c cleaning 59000 clauses out of 118002 with flag 3842067/1820000
238.63/235.16	c cleaning 59994 clauses out of 120002 with flag 3970657/1881000
250.98/247.64	c cleaning 61001 clauses out of 122008 with flag 4101641/1943000
260.32/256.98	c cleaning 62001 clauses out of 124008 with flag 4234890/2006001
270.45/266.97	c cleaning 62997 clauses out of 126006 with flag 4370201/2070000
282.35/279.17	c cleaning 63998 clauses out of 128010 with flag 4507342/2135001
291.87/288.63	c cleaning 65001 clauses out of 130012 with flag 4646734/2201001
302.41/299.50	c cleaning 65996 clauses out of 132010 with flag 4788012/2268000
312.79/309.89	c cleaning 67004 clauses out of 134015 with flag 4931497/2336001
324.68/321.86	c cleaning 68001 clauses out of 136010 with flag 5077221/2405000
337.07/334.24	c cleaning 69004 clauses out of 138011 with flag 5224944/2475002
348.48/345.55	c cleaning 69999 clauses out of 140005 with flag 5374848/2546000
361.07/358.47	c cleaning 70999 clauses out of 142006 with flag 5526838/2618000
373.79/371.03	c cleaning 71999 clauses out of 144007 with flag 5680788/2691000
389.09/386.53	c cleaning 73004 clauses out of 146009 with flag 5837091/2765001
408.07/405.46	c cleaning 73998 clauses out of 148005 with flag 5995434/2840001
421.79/419.22	c cleaning 75001 clauses out of 150006 with flag 6155927/2916000
435.17/432.54	c cleaning 75999 clauses out of 152005 with flag 6318445/2993000
449.78/447.22	c cleaning 77004 clauses out of 154008 with flag 6482968/3071002
465.46/462.87	c cleaning 77999 clauses out of 156002 with flag 6649573/3150000
480.68/478.25	c cleaning 78998 clauses out of 158003 with flag 6818129/3230000
494.48/491.91	c cleaning 80003 clauses out of 160005 with flag 6989687/3311000
511.41/508.91	c cleaning 80998 clauses out of 162003 with flag 7162875/3393001
530.30/527.73	c cleaning 81997 clauses out of 164004 with flag 7338122/3476000
545.82/543.32	c cleaning 82999 clauses out of 166010 with flag 7515937/3560003
563.71/561.18	c cleaning 84002 clauses out of 168010 with flag 7695240/3645002
584.25/581.64	c cleaning 84995 clauses out of 170006 with flag 7876404/3731000
601.49/598.77	c cleaning 86003 clauses out of 172012 with flag 8060101/3818001
621.96/619.18	c cleaning 87001 clauses out of 174009 with flag 8246117/3906001
635.51/632.71	c cleaning 88003 clauses out of 176007 with flag 8433881/3995000
648.68/645.71	c cleaning 89001 clauses out of 178005 with flag 8624100/4085001
663.11/660.08	c cleaning 89996 clauses out of 180004 with flag 8816198/4176001
676.51/673.64	c cleaning 91004 clauses out of 182009 with flag 9010317/4268002
691.13/688.17	c cleaning 92000 clauses out of 184005 with flag 9206770/4361002
706.38/703.49	c cleaning 93000 clauses out of 186004 with flag 9405287/4455001
723.58/720.56	c cleaning 93993 clauses out of 188003 with flag 9605842/4550000
743.24/740.26	c cleaning 95002 clauses out of 190011 with flag 9808549/4646001
759.81/756.73	c cleaning 95996 clauses out of 192009 with flag 10013114/4743001
773.72/770.73	c cleaning 96995 clauses out of 194012 with flag 10220076/4841000
790.52/787.33	c cleaning 98007 clauses out of 196019 with flag 10429081/4940002
807.25/803.71	c cleaning 98999 clauses out of 198010 with flag 10640070/5040000
824.85/821.10	c cleaning 100006 clauses out of 200011 with flag 10853854/5141000
844.14/840.56	c cleaning 101002 clauses out of 202006 with flag 11069015/5243001
865.20/861.58	c cleaning 102000 clauses out of 204005 with flag 11286008/5346002
885.32/881.79	c cleaning 103002 clauses out of 206003 with flag 11505387/5450000
905.01/901.48	c cleaning 103992 clauses out of 208001 with flag 11726642/5555000
925.64/921.83	c cleaning 105001 clauses out of 210010 with flag 11950217/5661001
944.33/940.50	c cleaning 105998 clauses out of 212009 with flag 12176614/5768001
963.81/959.66	c cleaning 107004 clauses out of 214011 with flag 12404613/5876001
985.27/980.99	c cleaning 108003 clauses out of 216006 with flag 12635176/5985000
1005.51/1001.22	c cleaning 108996 clauses out of 218003 with flag 12867414/6095000
1027.14/1022.90	c cleaning 109999 clauses out of 220007 with flag 13102863/6206000
1052.68/1048.41	c cleaning 110998 clauses out of 222009 with flag 13339788/6318001
1078.73/1074.43	c cleaning 111998 clauses out of 224011 with flag 13578058/6431001
1101.16/1096.78	c cleaning 113004 clauses out of 226013 with flag 13818697/6545001
1125.74/1120.80	c cleaning 113997 clauses out of 228009 with flag 14061531/6660001
1146.78/1141.84	c cleaning 114999 clauses out of 230011 with flag 14306478/6776000
1167.66/1162.60	c cleaning 116001 clauses out of 232013 with flag 14553668/6893001
1189.05/1184.05	c cleaning 117006 clauses out of 234012 with flag 14802613/7011001
1207.69/1202.62	c cleaning 117995 clauses out of 236005 with flag 15054118/7130000
1236.43/1231.28	c cleaning 118992 clauses out of 238010 with flag 15307785/7250000
1262.42/1257.26	c cleaning 120003 clauses out of 240019 with flag 15563123/7371001
1288.22/1282.52	c cleaning 121001 clauses out of 242015 with flag 15820577/7493000
1310.64/1305.15	c cleaning 122006 clauses out of 244016 with flag 16080243/7616002
1332.19/1326.82	c cleaning 122996 clauses out of 246008 with flag 16341812/7740000
1356.72/1351.73	c cleaning 123998 clauses out of 248012 with flag 16606563/7865000
1380.80/1375.65	c cleaning 125003 clauses out of 250015 with flag 16872615/7991001
1404.39/1398.47	c cleaning 126001 clauses out of 252011 with flag 17140508/8118000
1427.27/1421.14	c cleaning 126998 clauses out of 254010 with flag 17410531/8246000
1452.81/1446.69	c cleaning 128000 clauses out of 256012 with flag 17683174/8375000
1477.30/1470.93	c cleaning 129002 clauses out of 258012 with flag 17957336/8505000
1503.77/1497.26	c cleaning 129996 clauses out of 260010 with flag 18233348/8636000
1528.68/1521.32	c cleaning 131004 clauses out of 262014 with flag 18511751/8768000
1556.89/1549.39	c cleaning 132002 clauses out of 264011 with flag 18792467/8901001
1582.83/1575.18	c cleaning 133000 clauses out of 266008 with flag 19074983/9035000
1606.62/1598.89	c cleaning 134004 clauses out of 268008 with flag 19359941/9170000
1634.23/1626.28	c cleaning 135003 clauses out of 270006 with flag 19647132/9306002
1665.69/1656.96	c cleaning 135993 clauses out of 272002 with flag 19936273/9443001
1694.55/1685.61	c cleaning 137004 clauses out of 274009 with flag 20227550/9581001
1728.32/1719.22	c cleaning 137999 clauses out of 276005 with flag 20520584/9720001
1766.38/1757.19	c cleaning 138998 clauses out of 278006 with flag 20815627/9860001
1798.15/1788.73	c cleaning 139996 clauses out of 280007 with flag 21112643/10001000
1833.80/1823.73	c cleaning 140996 clauses out of 282011 with flag 21411894/10143000
1867.00/1856.89	c cleaning 142000 clauses out of 284016 with flag 21713738/10286001
1899.03/1888.67	c cleaning 143003 clauses out of 286015 with flag 22017125/10430000
1938.09/1927.54	c cleaning 143998 clauses out of 288014 with flag 22323587/10575002
1977.63/1966.47	c cleaning 145002 clauses out of 290015 with flag 22631975/10721001
2016.52/2005.17	c cleaning 145995 clauses out of 292014 with flag 22942527/10868002
2048.25/2036.73	c cleaning 147002 clauses out of 294017 with flag 23254497/11016000
2090.71/2079.07	c cleaning 148007 clauses out of 296016 with flag 23568720/11165001
2131.89/2119.35	c cleaning 148997 clauses out of 298010 with flag 23883993/11315002
2170.55/2158.21	c cleaning 150004 clauses out of 300012 with flag 24201165/11466001
2204.56/2192.28	c cleaning 150998 clauses out of 302008 with flag 24521729/11618001
2240.89/2229.08	c cleaning 152002 clauses out of 304009 with flag 24844511/11771000
2280.39/2268.50	c cleaning 152997 clauses out of 306007 with flag 25169219/11925000
2312.55/2300.05	c cleaning 154004 clauses out of 308012 with flag 25496316/12080002
2345.72/2333.27	c cleaning 154999 clauses out of 310009 with flag 25825540/12236003
2381.20/2368.78	c cleaning 156001 clauses out of 312008 with flag 26156185/12393001
2418.68/2406.14	c cleaning 156998 clauses out of 314008 with flag 26489206/12551002
2458.27/2445.16	c cleaning 157998 clauses out of 316008 with flag 26824880/12710000
2492.79/2480.85	c cleaning 159000 clauses out of 318010 with flag 27161827/12870000
2535.56/2523.51	c cleaning 159999 clauses out of 320012 with flag 27501355/13031002
2578.03/2565.26	c cleaning 160998 clauses out of 322013 with flag 27843021/13193002
2624.00/2611.10	c cleaning 162007 clauses out of 324014 with flag 28186493/13356001
2676.40/2663.50	c cleaning 162997 clauses out of 326008 with flag 28532389/13520002
2718.37/2704.88	c cleaning 163996 clauses out of 328010 with flag 28880188/13685001
2759.48/2745.98	c cleaning 165003 clauses out of 330015 with flag 29230193/13851002
2806.52/2792.96	c cleaning 165995 clauses out of 332010 with flag 29582410/14018000
2857.69/2843.29	c cleaning 167003 clauses out of 334017 with flag 29936706/14186002
2901.62/2887.10	c cleaning 168003 clauses out of 336013 with flag 30293177/14355001
2948.88/2934.13	c cleaning 169000 clauses out of 338009 with flag 30651356/14525000
3000.63/2985.88	c cleaning 170001 clauses out of 340010 with flag 31011788/14696001
3065.85/3051.03	c cleaning 171002 clauses out of 342009 with flag 31374927/14868001
3129.03/3113.86	c cleaning 171991 clauses out of 344006 with flag 31739779/15041000
3175.98/3160.68	c cleaning 173002 clauses out of 346015 with flag 32107388/15215000
3218.88/3202.61	c cleaning 174002 clauses out of 348013 with flag 32476959/15390000
3273.56/3257.43	c cleaning 175003 clauses out of 350011 with flag 32848524/15566000
3330.99/3314.91	c cleaning 176002 clauses out of 352009 with flag 33222224/15743001
3386.57/3369.89	c cleaning 177003 clauses out of 354006 with flag 33598283/15921000
3429.68/3412.89	c cleaning 177993 clauses out of 356003 with flag 33975430/16100000
3468.05/3450.24	c cleaning 179003 clauses out of 358011 with flag 34355805/16280001
3508.92/3491.11	c cleaning 179998 clauses out of 360007 with flag 34737314/16461000
3551.73/3532.99	c cleaning 180995 clauses out of 362009 with flag 35121189/16643000
3591.70/3572.85	c cleaning 182006 clauses out of 364016 with flag 35507365/16826002
3600.02/3581.21	c starts		: 1
3600.02/3581.21	c conflicts		: 16880704
3600.02/3581.21	c decisions		: 18054044
3600.02/3581.21	c propagations		: 92470354
3600.02/3581.21	c inspects		: 13773447216
3600.02/3581.21	c shortcuts		: 0
3600.02/3581.21	c learnt literals	: 0
3600.02/3581.21	c learnt binary clauses	: 0
3600.02/3581.21	c learnt ternary clauses	: 0
3600.02/3581.21	c learnt constraints	: 16880704
3600.02/3581.21	c ignored constraints	: 0
3600.02/3581.21	c root simplifications	: 0
3600.02/3581.21	c removed literals (reason simplification)	: 312198842
3600.02/3581.21	c reason swapping (by a shorter reason)	: 0
3600.02/3581.21	c Calls to reduceDB	: 179
3600.02/3581.21	c Number of update (reduction) of LBD	: 166311
3600.02/3581.21	c Imported unit clauses	: 0
3600.02/3581.21	c No decision after first conflict	: false
3600.02/3581.21	c number of reductions to clauses (during analyze)	: 0
3600.02/3581.21	c number of learned constraints concerned by reduction	: 0
3600.02/3581.21	c number of learning phase by resolution	: 0
3600.02/3581.21	c number of learning phase by cutting planes	: 0
3600.02/3581.21	c number of rounding to 1 operations	: 0
3600.02/3581.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3581.21	c number of reductions of the coefficients by power 2 	: 0
3600.02/3581.21	c number of right shift for reduction by power 2 	: 0
3600.02/3581.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3581.21	c number of ending skipping 	: 0
3600.02/3581.21	c number of internal skipping 	: 0
3600.02/3581.22	c number of derivation steps 	: 0
3600.02/3581.22	c number of skipped derivation steps 	: 0
3600.02/3581.22	c number of remaining unassigned 	: 0
3600.02/3581.22	c number of remaining assigned 	: 0
3600.02/3581.22	c number of falsified literals weakened from reason	: 0
3600.02/3581.22	c number of falsified literals weakened from conflict	: 0
3600.02/3581.22	c time for arithmetic operations	: 0
3600.02/3581.22	c minimum degree of deleted constraints	: null
3600.02/3581.22	c maximum degree of deleted constraints	: null
3600.02/3581.22	c number of deleted constraints	: 0
3600.02/3581.22	c speed (assignments/second)	: 25822.17034413139
3600.02/3581.22	c non guided choices	: 82
3600.02/3581.22	c timeout
3600.02/3581.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 236712
3600.02/3581.29	s UNKNOWN
3600.02/3581.29	c Total wall clock time (in seconds): 3581.162

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: 63708 MiB (17319 MiB free)
  memory of node 1: 64465 MiB (33613 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515859-1751234833/watcher-4515859-1751234833 -o /tmp/evaluation-result-4515859-1751234833/solver-4515859-1751234833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515859-1751234833 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515859-1751234833.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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
solver pid=36019, runsolver pid=36016
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.42 4.38 4.25 5/346 36037
/proc/meminfo: memFree=52125312/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=18930384 memory=57848 CPUtime=0.12 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 6593 0 0 0 11 1 0 0 20 0 18 0 39162722 19384713216 14462 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4732596 14462 5331 1 0 547640 0
[pid=36019/tid=36021] ppid=36016 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 5094 0 0 0 7 1 0 0 20 0 18 0 39162723 19384713216 14462 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39162725 19384713216 14462 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=18930384 memory=60684515952020 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39162725 19384713216 14462 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57848 KiB

[startup+0.205926 s]*
/proc/loadavg: 4.42 4.38 4.25 7/347 36038
/proc/meminfo: memFree=52119452/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=18996948 memory=64288 CPUtime=0.33 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 7099 0 0 0 31 2 0 0 20 0 19 0 39162722 19452874752 16072 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4749237 16072 5427 1 0 548236 0
[pid=36019/tid=36021] ppid=36016 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 5351 0 0 0 16 1 0 0 20 0 19 0 39162723 19452874752 16072 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=18996948 memory=16898 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39162725 19452874752 16072 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39162725 19452874752 16072 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=18996948 memory=154607 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39162739 19452874752 16072 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64288 KiB

[startup+0.305904 s]*
/proc/loadavg: 4.42 4.38 4.25 6/347 36038
/proc/meminfo: memFree=52104708/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=18996948 memory=79480 CPUtime=0.51 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 8227 0 0 0 49 2 0 0 20 0 19 0 39162722 19452874752 19870 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4749237 19870 5427 1 0 548867 0
[pid=36019/tid=36021] ppid=36016 vsize=18996948 memory=-6000919481363883628 CPUtime=0.26 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 5366 0 0 0 24 2 0 0 20 0 19 0 39162723 19452874752 19870 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39162725 19452874752 19870 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39162725 19452874752 19870 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39162739 19452874752 19870 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79480 KiB

[startup+0.700213 s]
/proc/loadavg: 4.42 4.38 4.25 6/347 36038
/proc/meminfo: memFree=52073772/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=161952 CPUtime=1.27 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 10103 0 0 0 123 4 0 0 20 0 20 0 39162722 19521036288 40488 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 40488 5459 1 0 550109 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=18048 CPUtime=0.59 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 5415 0 0 0 56 3 0 0 20 0 20 0 39162723 19521036288 40488 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 40488 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 40488 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 40488 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 161952 KiB

[startup+1.50023 s]
/proc/loadavg: 4.42 4.38 4.25 6/348 36039
/proc/meminfo: memFree=52009580/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=178464 CPUtime=2.86 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 18938 0 0 0 280 6 0 0 20 0 20 0 39162722 19521036288 44616 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 44616 5459 1 0 552522 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 5806 0 0 0 129 4 0 0 20 0 20 0 39162723 19521036288 44616 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 44616 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 44616 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 44616 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178464 KiB

[startup+3.10578 s]
/proc/loadavg: 4.54 4.41 4.26 5/348 36039
/proc/meminfo: memFree=51479264/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=573464 CPUtime=5.38 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 21963 0 0 0 523 15 0 0 20 0 20 0 39162722 19521036288 143366 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 143366 5459 1 0 699163 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=10752 CPUtime=2.86 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 6464 0 0 0 275 11 0 0 20 0 20 0 39162723 19521036288 143366 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=-6000919481363883628 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 143366 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 143366 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 143366 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 573464 KiB

[startup+6.30023 s]
/proc/loadavg: 4.54 4.41 4.26 6/348 36039
/proc/meminfo: memFree=50875772/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=938412 CPUtime=8.77 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 22306 0 0 0 851 26 0 0 20 0 20 0 39162722 19521036288 234603 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 234603 5459 1 0 699193 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=0 CPUtime=5.94 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 6611 0 0 0 574 20 0 0 20 0 20 0 39162723 19521036288 234603 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 234603 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 234603 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=184712 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 234603 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 938412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.46 4.39 4.26 5/348 36040
/proc/meminfo: memFree=49976012/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=1519640 CPUtime=15.35 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 23149 0 0 0 1489 46 0 0 20 0 20 0 39162722 19521036288 379910 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 379910 5459 1 0 834976 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=184712 CPUtime=12.21 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 6972 0 0 0 1182 39 0 0 20 0 20 0 39162723 19521036288 379910 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=1519640 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 379910 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 379910 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 379910 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 15.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1519640 KiB

[startup+25.5002 s]
/proc/loadavg: 4.46 4.40 4.26 5/348 36040
/proc/meminfo: memFree=48455148/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2224392 CPUtime=28.4 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 28258 0 0 0 2763 77 0 0 20 0 20 0 39162722 19521036288 556098 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 556098 5459 1 0 834980 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=1519640 CPUtime=24.73 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 9231 0 0 0 2408 65 0 0 20 0 20 0 39162723 19521036288 556098 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 556098 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=-6000919481363883628 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 556098 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 556098 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 28.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2224392 KiB

[startup+51.1059 s]
/proc/loadavg: 4.37 4.38 4.26 5/348 36040
/proc/meminfo: memFree=46880448/131250000 swapFree=33010684/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2417448 CPUtime=54.26 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 33305 0 0 0 5313 113 0 0 20 0 20 0 39162722 19521036288 604362 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0

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

/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713536 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=2854144 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2106 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713536 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=2854144 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713536 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3177.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854144 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.27 4.31 5/345 36478
/proc/meminfo: memFree=80299932/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3238.49 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 161855 0 0 0 321632 2217 0 0 20 0 20 0 39162722 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713632 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=18048 CPUtime=3164.95 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 76747 0 0 0 314399 2096 0 0 20 0 20 0 39162723 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=2854144 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=-6000919481363883628 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2106 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=2854528 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3238.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.25 4.29 5/345 36495
/proc/meminfo: memFree=78806676/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3298.45 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 162071 0 0 0 327606 2239 0 0 20 0 20 0 39162722 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713632 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=5504 CPUtime=3224.08 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 76762 0 0 0 320291 2117 0 0 20 0 20 0 39162723 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=-6000919481363883628 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3298.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.23 4.28 5/346 36500
/proc/meminfo: memFree=77332912/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3359 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 162783 0 0 0 333635 2265 0 0 20 0 20 0 39162722 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713632 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3283.41 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 77203 0 0 0 326200 2141 0 0 20 0 20 0 39162723 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=319338 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=2696 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2138 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3359 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.22 4.27 5/345 36502
/proc/meminfo: memFree=74669724/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3419.2 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 164766 0 0 0 339620 2300 0 0 20 0 20 0 39162722 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713632 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3342.39 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 78400 0 0 0 332065 2174 0 0 20 0 20 0 39162723 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=2854528 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2139 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713632 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3419.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.21 4.27 4/345 36507
/proc/meminfo: memFree=73041616/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854656 CPUtime=3480.12 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 169655 0 0 0 345674 2338 0 0 20 0 20 0 39162722 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713664 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=2854528 CPUtime=3401.28 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 80999 0 0 0 337918 2210 0 0 20 0 20 0 39162723 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=2854656 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2192 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=2854656 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3480.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.21 4.27 5/346 36510
/proc/meminfo: memFree=71448024/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854656 CPUtime=3540.17 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 169910 0 0 0 351644 2373 0 0 20 0 20 0 39162722 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713664 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=2854656 CPUtime=3460.34 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 81120 0 0 0 343790 2244 0 0 20 0 20 0 39162723 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2272 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3540.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.2 s]
/proc/loadavg: 4.16 4.19 4.26 5/346 36515
/proc/meminfo: memFree=69780948/131250000 swapFree=33009904/33010684
[pid=36019] ppid=36016 vsize=19063512 memory=2854656 CPUtime=3600.02 cores=5,7
/proc/36019/stat : 36019 (java) S 36016 36019 34474 0 -1 4194304 172764 0 0 0 357594 2408 0 0 20 0 20 0 39162722 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
/proc/36019/statm: 4765878 713664 5491 1 0 726605 0
[pid=36019/tid=36021] ppid=36016 vsize=19063512 memory=2169948 CPUtime=3518.34 cores=5,7
/proc/36019/task/36021/stat : 36021 (java) R 36016 36019 34474 0 -1 4194368 82921 0 0 0 349557 2277 0 0 20 0 20 0 39162723 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36030] ppid=36016 vsize=19063512 memory=6896 CPUtime=0 cores=5,7
/proc/36019/task/36030/stat : 36030 (Finalizer) S 36016 36019 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36037] ppid=36016 vsize=19063512 memory=12452704 CPUtime=0 cores=5,7
/proc/36019/task/36037/stat : 36037 (Common-Cleaner) S 36016 36019 34474 0 -1 4194368 2272 0 0 0 0 0 0 0 20 0 20 0 39162725 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
[pid=36019/tid=36038] ppid=36016 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36019/task/36038/stat : 36038 (Timer-0) S 36016 36019 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39162739 19521036288 713664 18446744073709551615 94836505141248 94836505144944 140735356702656 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94836505152760 94836505153552 94836512624640 140735356705072 140735356705254 140735356705254 140735356710856 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2854656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.05 s, system=24.1082 s

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

[startup+3581.3 s]*
/proc/loadavg: 4.16 4.19 4.26 5/328 36518
/proc/meminfo: memFree=70282584/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3581.31
CPU time (s): 3600.16
CPU user time (s): 3576.05
CPU system time (s): 24.1082
CPU usage (%): 100.526
Max. virtual memory (cumulated for all children) (KiB): 19065436
Max. memory (cumulated for all children) (KiB): 3288204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.05
system time used= 24.1082
maximum resident set size= 3288204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174360
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36964672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128892
involuntary context switches= 13827


# summary of solver processes directly reported to runsolver:
#   pid: 36019
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3576.05
#   total CPU system time (s): 24.1082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.59055 second user time and 17.3786 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 00:07:13
IDJOB=4515859
IDBENCH=165690
IDSOLVER=3364
FILE ID=nodeC033/4515859-1751234833
RUNJOBID= nodeC033-1751234104-34968
SLURM_JOB_ID= 9587701
Free space on /tmp= 432768 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515859-1751234833/watcher-4515859-1751234833 -o /tmp/evaluation-result-4515859-1751234833/solver-4515859-1751234833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515859-1751234833 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515859-1751234833.opb

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

MD5SUM BENCH= 63b188aa857e13a102f967140947950a
RANDOM SEED=907184231

nodeC033 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.725
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	: 7000.13
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		: 3598.454
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	: 7000.13
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		: 3600.338
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	: 7000.13
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		: 3600.057
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	: 7000.13
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		: 3600.046
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	: 7000.13
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		: 3600.054
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	: 7000.13
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		: 3509.997
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	: 7000.13
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		: 3599.043
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        52155620 kB
MemAvailable:   82766012 kB
Buffers:            3280 kB
Cached:         31384992 kB
SwapCached:            0 kB
Active:         46944352 kB
Inactive:       31125516 kB
Active(anon):   46699796 kB
Inactive(anon):        0 kB
Active(file):     244556 kB
Inactive(file): 31125516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7692504 kB
Writeback:             0 kB
AnonPages:      46682764 kB
Mapped:           123820 kB
Shmem:             18120 kB
KReclaimable:     159120 kB
Slab:             488392 kB
SReclaimable:     159120 kB
SUnreclaim:       329272 kB
KernelStack:        5328 kB
PageTables:        94996 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   47472240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151608 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  46118912 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432776 MiB
End job on nodeC033 at 2025-06-30 01:06:55