Trace number 4509203

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3601.86 3429.05

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
MD5SUM77cfb75a57ffdbd7a405571baa0b4678
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark61
Best CPU time to get the best result obtained on this benchmark3585.55
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables91392
Total number of constraints1684
Number of constraints which are clauses713
Number of constraints which are cardinality constraints (but not clauses)713
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint714
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 264142
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 882426
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.14/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.10	c java.vm.version	22.0.1+8-16
0.14/0.10	c java.vm.vendor	Oracle Corporation
0.14/0.10	c sun.arch.data.model	64
0.14/0.10	c java.version		22.0.1
0.14/0.10	c os.name		Linux
0.14/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.14/0.10	c os.arch		amd64
0.14/0.11	c Free memory 		2106806208
0.14/0.11	c Max memory 		16282288128
0.14/0.11	c Total memory 		2113929216
0.14/0.11	c Number of processors 	2
0.14/0.15	c Pseudo Boolean Optimization by upper bound
0.14/0.15	c --- Begin Solver configuration ---
0.14/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.14/0.15	c Learn all clauses as in MiniSAT
0.14/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.15	c Expensive reason simplification
0.14/0.15	c Glucose 2.1 dynamic restart strategy
0.14/0.15	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.14/0.15	c timeout=2147483s
0.14/0.15	c DB Simplification allowed=false
0.14/0.15	c Listener: none
0.14/0.15	c --- End Solver configuration ---
0.14/0.15	c solving HOME/instance-4509203-1751519572.opb
0.14/0.15	c reading problem ... 
0.14/0.15	c using VERIPB proof format
0.14/0.17	c  objective function found
2.14/1.25	c ... done. Wall clock time 1.086s.
2.14/1.25	c declared #vars     91392
2.14/1.25	c #constraints  1684
2.14/1.25	c constraints type 
2.14/1.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 713
2.14/1.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 258
2.14/1.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 713
2.14/1.25	c 1684 constraints processed.
2.14/1.26	c objective function length is 128 literals
3.94/2.13	c SATISFIABLE
3.94/2.13	c OPTIMIZING...
3.94/2.13	c Got one! Elapsed wall clock time (in seconds):1.979
3.94/2.13	o 78
5.91/3.12	c Got one! Elapsed wall clock time (in seconds):2.974
5.91/3.12	o 77
7.40/4.16	c Got one! Elapsed wall clock time (in seconds):4.011
7.40/4.16	o 76
9.39/5.67	c cleaning 3335 clauses out of 6678 with flag 15767/6678
11.42/6.94	c Got one! Elapsed wall clock time (in seconds):6.787
11.42/6.94	o 75
13.13/8.19	c cleaning 4506 clauses out of 9026 with flag 9403/12361
18.33/12.70	c cleaning 5250 clauses out of 10518 with flag 32833/18359
23.83/17.78	c cleaning 6117 clauses out of 12268 with flag 66471/25359
31.31/24.99	c cleaning 7057 clauses out of 14150 with flag 108970/33358
40.67/34.19	c cleaning 8035 clauses out of 16095 with flag 157136/42360
49.23/42.26	c cleaning 9014 clauses out of 18058 with flag 210189/52358
58.45/50.96	c cleaning 10008 clauses out of 20045 with flag 266942/63359
70.55/62.38	c cleaning 11008 clauses out of 22039 with flag 332645/75361
84.19/75.61	c cleaning 12001 clauses out of 24029 with flag 405283/88359
96.50/87.31	c cleaning 12997 clauses out of 26027 with flag 483354/102358
111.80/102.25	c cleaning 13997 clauses out of 28030 with flag 569753/117358
128.07/117.53	c cleaning 14996 clauses out of 30034 with flag 663369/133359
141.79/130.79	c cleaning 16003 clauses out of 32037 with flag 764684/150358
158.14/146.36	c cleaning 17004 clauses out of 34034 with flag 878040/168358
176.43/164.00	c cleaning 18002 clauses out of 36030 with flag 989103/187358
194.67/181.54	c cleaning 18996 clauses out of 38029 with flag 1100116/207359
216.61/203.77	c cleaning 19999 clauses out of 40032 with flag 1224220/228358
238.60/225.07	c cleaning 20995 clauses out of 42034 with flag 1359447/250359
261.39/247.03	c cleaning 21999 clauses out of 44038 with flag 1497216/273358
282.14/266.95	c cleaning 23000 clauses out of 46039 with flag 1632927/297358
306.52/290.27	c cleaning 24008 clauses out of 48039 with flag 1776014/322358
333.98/316.12	c cleaning 25002 clauses out of 50032 with flag 1929095/348359
358.30/339.22	c cleaning 25994 clauses out of 52029 with flag 2097621/375358
386.86/366.94	c cleaning 26994 clauses out of 54035 with flag 2271075/403358
417.77/396.92	c cleaning 28002 clauses out of 56043 with flag 2461292/432360
438.66/417.03	c Got one! Elapsed wall clock time (in seconds):416.878
438.66/417.03	o 74
439.18/417.39	c Got one! Elapsed wall clock time (in seconds):417.239
439.18/417.39	o 73
439.69/417.88	c Got one! Elapsed wall clock time (in seconds):417.725
439.69/417.88	o 72
442.63/420.55	c cleaning 27886 clauses out of 55798 with flag 17958/460117
445.59/423.43	c cleaning 16934 clauses out of 33911 with flag 48019/466116
449.99/427.50	c cleaning 11969 clauses out of 23977 with flag 87494/473116
454.66/431.99	c cleaning 9986 clauses out of 20007 with flag 131109/481115
460.84/437.69	c cleaning 9492 clauses out of 19021 with flag 178262/490115
468.99/445.17	c cleaning 9747 clauses out of 19530 with flag 234873/500116
478.17/453.90	c cleaning 10372 clauses out of 20784 with flag 293351/511117
486.43/461.61	c cleaning 11188 clauses out of 22411 with flag 354876/523116
495.33/469.84	c cleaning 12083 clauses out of 24223 with flag 410611/536116
506.59/480.32	c cleaning 13051 clauses out of 26142 with flag 482865/550118
518.53/491.65	c cleaning 14028 clauses out of 28088 with flag 577835/565115
531.46/503.62	c cleaning 15007 clauses out of 30061 with flag 675187/581116
546.05/517.34	c cleaning 16013 clauses out of 32053 with flag 776773/598115
561.75/531.99	c cleaning 16996 clauses out of 34040 with flag 882974/616115
577.41/545.52	c cleaning 18002 clauses out of 36045 with flag 986132/635116
591.91/559.01	c cleaning 18998 clauses out of 38042 with flag 1089167/655115
607.82/573.91	c cleaning 20001 clauses out of 40044 with flag 1201265/676115
624.02/589.13	c cleaning 21002 clauses out of 42044 with flag 1318345/698116
643.29/607.15	c cleaning 21997 clauses out of 44041 with flag 1444194/721115
662.43/625.17	c cleaning 23001 clauses out of 46044 with flag 1569452/745115
682.86/644.42	c cleaning 24006 clauses out of 48044 with flag 1709131/770116
706.27/666.32	c cleaning 24995 clauses out of 50037 with flag 1861509/796115
731.19/689.83	c cleaning 25999 clauses out of 52046 with flag 2013850/823119
758.69/715.84	c cleaning 27000 clauses out of 54043 with flag 2186724/851115
783.53/739.04	c cleaning 27999 clauses out of 56046 with flag 2350931/880118
803.12/755.78	c Got one! Elapsed wall clock time (in seconds):755.629
803.12/755.78	o 71
807.01/759.22	c cleaning 27263 clauses out of 54556 with flag 16816/906627
811.08/763.03	c cleaning 16633 clauses out of 33292 with flag 41032/912626
815.83/767.56	c cleaning 11819 clauses out of 23660 with flag 72320/919627
823.57/774.76	c cleaning 9904 clauses out of 19842 with flag 109841/927628
837.47/787.85	c cleaning 9449 clauses out of 18937 with flag 169427/936627
848.05/797.76	c cleaning 9719 clauses out of 19487 with flag 228105/946626
860.98/809.76	c cleaning 10371 clauses out of 20768 with flag 308764/957626
874.71/822.95	c cleaning 11176 clauses out of 22397 with flag 372816/969626
886.46/834.20	c cleaning 12092 clauses out of 24223 with flag 441631/982628
898.20/845.29	c Got one! Elapsed wall clock time (in seconds):845.136
898.20/845.29	o 70
898.70/845.70	c Got one! Elapsed wall clock time (in seconds):845.554
898.70/845.70	o 69
903.55/850.10	c cleaning 13431 clauses out of 26889 with flag 18256/997386
906.44/852.96	c cleaning 9713 clauses out of 19459 with flag 43683/1003387
909.05/855.56	c cleaning 8357 clauses out of 16745 with flag 71341/1010386
914.29/860.76	c cleaning 8178 clauses out of 16389 with flag 108630/1018387
918.71/865.05	c cleaning 8587 clauses out of 17210 with flag 146318/1027386
924.44/870.61	c cleaning 9301 clauses out of 18626 with flag 191800/1037389
931.23/877.13	c cleaning 10146 clauses out of 20322 with flag 243150/1048386
940.46/886.07	c cleaning 11067 clauses out of 22177 with flag 301228/1060387
949.16/894.13	c cleaning 12030 clauses out of 24109 with flag 364072/1073386
956.85/901.52	c cleaning 13025 clauses out of 26079 with flag 427160/1087386
965.38/909.68	c cleaning 14012 clauses out of 28054 with flag 495425/1102386
976.14/919.77	c cleaning 15007 clauses out of 30042 with flag 574982/1118386
987.44/930.54	c cleaning 16001 clauses out of 32035 with flag 657397/1135386
997.66/940.24	c cleaning 16999 clauses out of 34034 with flag 740832/1153386
1009.57/951.63	c cleaning 18000 clauses out of 36036 with flag 830322/1172387
1028.91/970.18	c cleaning 19003 clauses out of 38036 with flag 926814/1192387
1047.95/988.33	c cleaning 19997 clauses out of 40032 with flag 1049503/1213386
1064.44/1004.09	c cleaning 20993 clauses out of 42035 with flag 1169514/1235386
1084.94/1023.33	c cleaning 22003 clauses out of 44042 with flag 1304418/1258386
1105.31/1042.81	c cleaning 22999 clauses out of 46040 with flag 1437365/1282387
1129.29/1065.88	c cleaning 24002 clauses out of 48040 with flag 1581613/1307386
1157.86/1093.14	c cleaning 24993 clauses out of 50038 with flag 1739348/1333386
1159.64/1095.00	c Got one! Elapsed wall clock time (in seconds):1094.848
1159.64/1095.00	o 68
1161.15/1096.32	c cleaning 15482 clauses out of 30985 with flag 8576/1339326
1163.55/1098.65	c cleaning 10739 clauses out of 21503 with flag 30464/1345326
1166.84/1101.83	c cleaning 8869 clauses out of 17765 with flag 57590/1352327
1170.29/1105.27	c cleaning 8433 clauses out of 16895 with flag 88933/1360326
1174.84/1109.47	c cleaning 8716 clauses out of 17463 with flag 124406/1369327
1181.01/1115.21	c cleaning 9358 clauses out of 18746 with flag 163594/1379326
1186.86/1120.70	c cleaning 10170 clauses out of 20388 with flag 211197/1390326
1193.19/1126.76	c cleaning 11092 clauses out of 22219 with flag 263010/1402327
1200.48/1133.72	c cleaning 12048 clauses out of 24126 with flag 316358/1415326
1210.15/1142.94	c cleaning 13020 clauses out of 26080 with flag 370046/1429328
1219.68/1151.95	c cleaning 14013 clauses out of 28058 with flag 433610/1444326
1228.64/1160.42	c cleaning 15009 clauses out of 30045 with flag 498142/1460326
1238.76/1170.04	c cleaning 16001 clauses out of 32037 with flag 569868/1477327
1248.93/1179.74	c cleaning 17000 clauses out of 34035 with flag 649966/1495326
1263.17/1192.81	c cleaning 17998 clauses out of 36036 with flag 740881/1514327
1278.61/1207.52	c cleaning 19002 clauses out of 38037 with flag 833936/1534326
1292.75/1221.05	c cleaning 19998 clauses out of 40036 with flag 927602/1555327
1308.09/1235.77	c cleaning 20999 clauses out of 42037 with flag 1016684/1577326
1327.64/1254.39	c cleaning 22003 clauses out of 44038 with flag 1141075/1600326
1344.62/1270.64	c cleaning 22998 clauses out of 46035 with flag 1243358/1624326
1366.35/1291.58	c cleaning 23998 clauses out of 48037 with flag 1361954/1649326
1384.35/1308.69	c cleaning 25001 clauses out of 50040 with flag 1476720/1675327
1402.24/1325.65	c cleaning 25994 clauses out of 52038 with flag 1598583/1702326
1425.42/1347.83	c cleaning 27004 clauses out of 54045 with flag 1734139/1730327
1447.39/1368.99	c cleaning 27994 clauses out of 56040 with flag 1862780/1759326
1468.61/1389.27	c cleaning 28994 clauses out of 58046 with flag 1992761/1789326
1490.84/1410.16	c cleaning 30007 clauses out of 60052 with flag 2145795/1820326
1516.33/1434.38	c cleaning 31007 clauses out of 62045 with flag 2308308/1852326
1543.43/1460.12	c cleaning 32000 clauses out of 64038 with flag 2471192/1885326
1568.25/1483.61	c cleaning 33001 clauses out of 66038 with flag 2617199/1919326
1597.07/1511.12	c cleaning 34001 clauses out of 68038 with flag 2780962/1954327
1623.48/1536.36	c cleaning 35003 clauses out of 70037 with flag 2939900/1990327
1657.81/1569.22	c cleaning 35998 clauses out of 72033 with flag 3101151/2027326
1695.86/1605.64	c cleaning 37000 clauses out of 74037 with flag 3287144/2065328
1727.94/1636.20	c cleaning 37980 clauses out of 76036 with flag 3473651/2104327
1760.54/1665.33	c cleaning 39001 clauses out of 78055 with flag 3636692/2144326
1797.37/1699.45	c cleaning 40008 clauses out of 80055 with flag 3777277/2185327
1830.09/1730.63	c cleaning 40999 clauses out of 82048 with flag 3940133/2227328
1865.12/1763.87	c cleaning 42002 clauses out of 84047 with flag 4107788/2270326
1904.07/1801.10	c cleaning 42996 clauses out of 86045 with flag 4280442/2314326
1944.47/1839.57	c cleaning 44000 clauses out of 88049 with flag 4445456/2359326
1985.33/1878.54	c cleaning 44992 clauses out of 90049 with flag 4632986/2405326
2024.17/1915.57	c cleaning 46004 clauses out of 92057 with flag 4801489/2452326
2065.89/1955.20	c cleaning 47007 clauses out of 94056 with flag 4971245/2500329
2104.78/1992.48	c cleaning 47999 clauses out of 96047 with flag 5135428/2549327
2140.04/2025.98	c cleaning 48995 clauses out of 98050 with flag 5297454/2599329
2178.87/2063.13	c cleaning 49996 clauses out of 100053 with flag 5456805/2650327
2225.98/2106.65	c cleaning 50990 clauses out of 102057 with flag 5621829/2702327
2272.87/2151.76	c cleaning 52001 clauses out of 104067 with flag 5796041/2755327
2318.41/2195.39	c cleaning 53008 clauses out of 106065 with flag 5992684/2809326
2364.76/2239.68	c cleaning 54000 clauses out of 108058 with flag 6178720/2864327
2420.26/2292.96	c cleaning 55000 clauses out of 110057 with flag 6388504/2920326
2466.10/2336.97	c cleaning 56001 clauses out of 112060 with flag 6567179/2977329
2518.22/2387.15	c cleaning 56991 clauses out of 114056 with flag 6753443/3035326
2581.82/2448.53	c cleaning 58006 clauses out of 116067 with flag 6973264/3094328
2647.32/2511.63	c cleaning 59002 clauses out of 118061 with flag 7195596/3154328
2707.30/2569.40	c cleaning 59997 clauses out of 120057 with flag 7423908/3215326
2779.10/2636.73	c cleaning 60999 clauses out of 122060 with flag 7664703/3277326
2842.75/2698.08	c cleaning 62006 clauses out of 124062 with flag 7878031/3340327
2904.39/2757.38	c cleaning 62997 clauses out of 126056 with flag 8107943/3404327
2968.46/2819.03	c cleaning 63996 clauses out of 128058 with flag 8351974/3469326
3034.34/2882.54	c cleaning 65010 clauses out of 130064 with flag 8593879/3535328
3100.03/2945.62	c cleaning 66004 clauses out of 132052 with flag 8876188/3602326
3163.19/3006.17	c cleaning 67002 clauses out of 134048 with flag 9157515/3670326
3187.25/3029.09	c Got one! Elapsed wall clock time (in seconds):3028.941
3187.25/3029.09	o 67
3191.23/3032.85	c cleaning 50477 clauses out of 100988 with flag 19581/3704268
3194.69/3036.25	c cleaning 28239 clauses out of 56512 with flag 50907/3710269
3199.20/3040.43	c cleaning 17620 clauses out of 35272 with flag 83889/3717268
3204.34/3045.47	c cleaning 12807 clauses out of 25653 with flag 126457/3725269
3210.60/3051.12	c cleaning 10898 clauses out of 21849 with flag 169350/3734272
3216.82/3056.88	c cleaning 10461 clauses out of 20947 with flag 213480/3744268
3224.42/3064.13	c cleaning 10723 clauses out of 21486 with flag 273157/3755268
3233.12/3072.22	c cleaning 11355 clauses out of 22764 with flag 327924/3767269
3241.71/3080.35	c cleaning 12190 clauses out of 24408 with flag 395661/3780268
3253.37/3090.46	c cleaning 13087 clauses out of 26218 with flag 475203/3794268
3266.36/3102.59	c cleaning 14044 clauses out of 28131 with flag 551714/3809268
3279.49/3115.03	c cleaning 15017 clauses out of 30087 with flag 639839/3825268
3293.20/3127.97	c cleaning 16015 clauses out of 32070 with flag 735766/3842268
3309.02/3142.94	c cleaning 17007 clauses out of 34055 with flag 859244/3860268
3326.13/3159.23	c cleaning 17998 clauses out of 36048 with flag 972900/3879268
3343.88/3176.10	c cleaning 18999 clauses out of 38050 with flag 1089377/3899268
3366.38/3197.47	c cleaning 20006 clauses out of 40051 with flag 1229433/3920268
3385.88/3215.79	c cleaning 21000 clauses out of 42046 with flag 1376783/3942269
3407.08/3235.88	c cleaning 22002 clauses out of 44045 with flag 1519241/3965268
3432.04/3259.42	c cleaning 23001 clauses out of 46045 with flag 1672276/3989270
3455.20/3281.39	c cleaning 24000 clauses out of 48042 with flag 1847281/4014268
3480.02/3305.05	c cleaning 24996 clauses out of 50043 with flag 2037406/4040269
3504.51/3328.11	c cleaning 26006 clauses out of 52046 with flag 2209540/4067268
3531.48/3353.73	c cleaning 26999 clauses out of 54040 with flag 2395568/4095268
3559.24/3379.90	c cleaning 27996 clauses out of 56041 with flag 2608416/4124268
3590.42/3409.45	c cleaning 29000 clauses out of 58045 with flag 2818967/4154268
3600.03/3418.72	c starts		: 210
3600.03/3418.73	c conflicts		: 4165804
3600.03/3418.73	c decisions		: 9948285
3600.03/3418.73	c propagations		: 355157594
3600.03/3418.73	c inspects		: 4121447927
3600.03/3418.73	c shortcuts		: 0
3600.03/3418.73	c learnt literals	: 0
3600.03/3418.73	c learnt binary clauses	: 0
3600.03/3418.73	c learnt ternary clauses	: 0
3600.03/3418.73	c learnt constraints	: 4165804
3600.03/3418.73	c ignored constraints	: 0
3600.03/3418.73	c root simplifications	: 0
3600.03/3418.73	c removed literals (reason simplification)	: 2498523
3600.03/3418.73	c reason swapping (by a shorter reason)	: 0
3600.03/3418.73	c Calls to reduceDB	: 172
3600.03/3418.73	c Number of update (reduction) of LBD	: 981815
3600.03/3418.73	c Imported unit clauses	: 0
3600.03/3418.73	c No decision after first conflict	: false
3600.03/3418.73	c number of reductions to clauses (during analyze)	: 0
3600.03/3418.73	c number of learned constraints concerned by reduction	: 0
3600.03/3418.73	c number of learning phase by resolution	: 0
3600.03/3418.73	c number of learning phase by cutting planes	: 0
3600.03/3418.73	c number of rounding to 1 operations	: 0
3600.03/3418.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3418.74	c number of reductions of the coefficients by power 2 	: 0
3600.03/3418.74	c number of right shift for reduction by power 2 	: 0
3600.03/3418.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3418.74	c number of ending skipping 	: 0
3600.03/3418.74	c number of internal skipping 	: 0
3600.03/3418.74	c number of derivation steps 	: 0
3600.03/3418.74	c number of skipped derivation steps 	: 0
3600.03/3418.74	c number of remaining unassigned 	: 0
3600.03/3418.74	c number of remaining assigned 	: 0
3600.03/3418.75	c number of falsified literals weakened from reason	: 0
3600.03/3418.75	c number of falsified literals weakened from conflict	: 0
3600.03/3418.75	c time for arithmetic operations	: 0
3600.03/3418.75	c minimum degree of deleted constraints	: null
3600.03/3418.75	c maximum degree of deleted constraints	: null
3600.03/3418.75	c number of deleted constraints	: 0
3600.03/3418.75	c speed (assignments/second)	: 103924.58540053929
3600.03/3418.75	c non guided choices	: 3842183
3600.03/3418.78	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.03/3418.78		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1984)
3600.03/3418.78		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2130)
3600.03/3418.78		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2121)
3600.03/3418.78		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:181)
3600.03/3418.78		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.03/3418.78		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.03/3418.78		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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: 63794 MiB (55346 MiB free)
  memory of node 1: 64507 MiB (42032 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509203-1751519572/watcher-4509203-1751519572 -o /tmp/evaluation-result-4509203-1751519572/solver-4509203-1751519572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509203-1751519572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509203-1751519572.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 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
Starting watchdog thread
solver pid=75009, runsolver pid=75006
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.80 4.55 4.79 6/338 75027
/proc/meminfo: memFree=99690984/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=49860 CPUtime=0.14 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 6156 0 0 0 11 3 0 0 20 0 18 0 67636128 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 12465 5330 1 0 547259 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 4980 0 0 0 5 1 0 0 20 0 18 0 67636130 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=61792617516369 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 12465 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49860 KiB

[startup+0.205991 s]*
/proc/loadavg: 4.80 4.55 4.79 7/338 75027
/proc/meminfo: memFree=99677184/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=63136 CPUtime=0.32 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 6827 0 0 0 29 3 0 0 20 0 18 0 67636128 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 15784 5394 1 0 547829 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5310 0 0 0 13 2 0 0 20 0 18 0 67636130 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=1593 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=60693105869820 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 15784 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63136 KiB

[startup+0.30591 s]*
/proc/loadavg: 4.80 4.55 4.79 6/338 75027
/proc/meminfo: memFree=99655760/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18930384 memory=83776 CPUtime=0.49 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 8182 0 0 0 45 4 0 0 20 0 18 0 67636128 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4732596 20944 5426 1 0 548340 0
[pid=75009/tid=75011] ppid=75006 vsize=18930384 memory=-6000919481380661096 CPUtime=0.22 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5319 0 0 0 20 2 0 0 20 0 18 0 67636130 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67636132 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 67636133 19384713216 20944 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 83776 KiB

[startup+0.700228 s]
/proc/loadavg: 4.80 4.55 4.79 6/339 75028
/proc/meminfo: memFree=99570564/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=18996948 memory=180800 CPUtime=1.25 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 9453 0 0 0 118 7 0 0 20 0 19 0 67636128 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4749237 45200 5458 1 0 549361 0
[pid=75009/tid=75011] ppid=75006 vsize=18996948 memory=18560 CPUtime=0.55 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5358 0 0 0 52 3 0 0 20 0 19 0 67636130 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=18996948 memory=11264 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67636132 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 67636133 19452874752 45200 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 180800 KiB

[startup+1.50023 s]
/proc/loadavg: 4.80 4.55 4.79 7/339 75028
/proc/meminfo: memFree=99545992/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=461108 CPUtime=2.73 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 11980 0 0 0 261 12 0 0 20 0 20 0 67636128 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 115277 5522 1 0 1289670 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=3200 CPUtime=1.1 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5634 0 0 0 103 7 0 0 20 0 20 0 67636130 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 115277 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 461108 KiB

[startup+3.10568 s]
/proc/loadavg: 4.80 4.55 4.79 6/340 75029
/proc/meminfo: memFree=99206420/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=527392 CPUtime=5.91 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 15079 0 0 0 574 17 0 0 20 0 20 0 67636128 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 131848 5522 1 0 1291559 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=11264 CPUtime=2.57 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5680 0 0 0 248 9 0 0 20 0 20 0 67636130 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 131848 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 527392 KiB

[startup+6.30023 s]
/proc/loadavg: 4.74 4.54 4.78 5/340 75029
/proc/meminfo: memFree=98554636/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=1250836 CPUtime=10.57 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 16978 0 0 0 1018 39 0 0 20 0 20 0 67636128 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 312709 5554 1 0 2081173 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=0 CPUtime=5.39 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 5912 0 0 0 517 22 0 0 20 0 20 0 67636130 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=4283932234721037686 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 312709 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 10.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1250836 KiB

[startup+12.7004 s]
/proc/loadavg: 4.76 4.55 4.79 5/340 75029
/proc/meminfo: memFree=96234476/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=2980972 CPUtime=18.33 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 18933 0 0 0 1746 87 0 0 20 0 20 0 67636128 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 745243 5554 1 0 2277544 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=0 CPUtime=11.13 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 6697 0 0 0 1051 62 0 0 20 0 20 0 67636130 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=2862188 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 745243 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 18.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2980972 KiB

[startup+25.5005 s]
/proc/loadavg: 4.59 4.52 4.77 5/340 75029
/proc/meminfo: memFree=95092448/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=3960120 CPUtime=32.04 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 24514 0 0 0 3081 123 0 0 20 0 20 0 67636128 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 990030 5554 1 0 2434466 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=22.99 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 9088 0 0 0 2208 91 0 0 20 0 20 0 67636130 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=3199 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=3267876 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3225460 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 990030 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 32.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3960120 KiB

[startup+51.114 s]
/proc/loadavg: 4.39 4.48 4.75 6/340 75029
/proc/meminfo: memFree=92110288/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=5892328 CPUtime=58.67 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 31136 0 0 0 5677 190 0 0 20 0 20 0 67636128 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 1473082 5554 1 0 2743628 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=5892328 CPUtime=46.35 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 12397 0 0 0 4495 140 0 0 20 0 20 0 67636130 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=-6000919481380661096 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=4242784 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3960120 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 1473082 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0

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

[pid=75009] ppid=75006 vsize=19063512 memory=13997048 CPUtime=3329.33 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 414579 0 0 0 329165 3768 0 0 20 0 20 0 67636128 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3499262 5554 1 0 3593799 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=16273320 CPUtime=2967.72 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 217035 0 0 0 293416 3356 0 0 20 0 20 0 67636130 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=13813876 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2539 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=13813876 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3499262 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3329.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13997048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.31 4.37 6/334 75413
/proc/meminfo: memFree=11126884/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=14915992 CPUtime=3392.58 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 499421 0 0 0 335397 3861 0 0 20 0 20 0 67636128 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3728998 5554 1 0 3752487 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=12713900 CPUtime=3023.73 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 295535 0 0 0 298931 3442 0 0 20 0 20 0 67636130 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=14298104 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=14683928 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2595 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=14915992 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3728998 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14915992 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.28 4.36 5/334 75415
/proc/meminfo: memFree=6006256/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3456.29 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1098425 0 0 0 341648 3981 0 0 20 0 20 0 67636128 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3816646 5554 1 0 3840183 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3079.52 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 840733 0 0 0 304400 3552 0 0 20 0 20 0 67636130 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=18560 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2654 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3816646 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3456.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15266584 KiB

[startup+3342.3 s]
/proc/loadavg: 4.39 4.31 4.37 5/334 75421
/proc/meminfo: memFree=3682856/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15685144 CPUtime=3519.68 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1207101 0 0 0 347889 4079 0 0 20 0 20 0 67636128 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3921286 5554 1 0 3946671 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15266584 CPUtime=3135.24 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 948135 0 0 0 309879 3645 0 0 20 0 20 0 67636130 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15570200 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15570200 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2713 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=15685144 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3921286 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3519.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15685144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.41 4.33 4.37 5/334 75423
/proc/meminfo: memFree=1664104/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15849368 CPUtime=3582.9 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 1805782 0 0 0 354096 4194 0 0 20 0 20 0 67636128 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3962342 5554 1 0 3988431 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=18560 CPUtime=3191.44 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 1509906 0 0 0 315389 3755 0 0 20 0 20 0 67636130 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2772 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15849368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3418.7 s]
/proc/loadavg: 4.47 4.35 4.37 5/334 75424
/proc/meminfo: memFree=1452952/131382112 swapFree=33009904/33010684
[pid=75009] ppid=75006 vsize=19063512 memory=15849368 CPUtime=3600.03 cores=0,2
/proc/75009/stat : 75009 (java) S 75006 75009 73970 0 -1 4194304 2433404 0 0 0 355757 4246 0 0 20 0 20 0 67636128 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
/proc/75009/statm: 4765878 3962342 5554 1 0 3988431 0
[pid=75009/tid=75011] ppid=75006 vsize=19063512 memory=15791896 CPUtime=3207 cores=0,2
/proc/75009/task/75011/stat : 75011 (java) R 75006 75009 73970 0 -1 4194368 2107613 0 0 0 316897 3803 0 0 20 0 20 0 67636130 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75020] ppid=75006 vsize=19063512 memory=15791896 CPUtime=0 cores=0,2
/proc/75009/task/75020/stat : 75020 (Finalizer) S 75006 75009 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67636132 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75027] ppid=75006 vsize=19063512 memory=15849368 CPUtime=0 cores=0,2
/proc/75009/task/75027/stat : 75027 (Common-Cleaner) S 75006 75009 73970 0 -1 4194368 2772 0 0 0 0 0 0 0 20 0 20 0 67636133 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
[pid=75009/tid=75029] ppid=75006 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/75009/task/75029/stat : 75029 (Timer-0) S 75006 75009 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67636258 19521036288 3962342 18446744073709551615 94322120515584 94322120519280 140731968323632 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94322120527096 94322120527888 94322149437440 140731968330032 140731968330214 140731968330214 140731968335816 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 15849368 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3557.82 s, system=44.0358 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3419.2 s]
/proc/loadavg: 4.47 4.35 4.37 7/316 75427
/proc/meminfo: memFree=17227288/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3420 s]*
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3420.4 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3420.6 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3420.7 s]
/proc/loadavg: 4.51 4.36 4.37 7/316 75427
/proc/meminfo: memFree=17145952/131382112 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): 3429.05
CPU time (s): 3601.86
CPU user time (s): 3557.82
CPU system time (s): 44.0358
CPU usage (%): 105.04
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 16273320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.82
system time used= 44.0358
maximum resident set size= 16273320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2435786
page faults= 0
swaps= 0
block input operations= 8
block output operations= 70226968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351127
involuntary context switches= 24614


# summary of solver processes directly reported to runsolver:
#   pid: 75009
#   total CPU time (s): 3601.86
#   total CPU user time (s): 3557.82
#   total CPU system time (s): 44.0358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.77 second user time and 33.1226 second system time

The end

Launcher Data

Begin job on nodeC001 at 2025-07-03 07:12:52
IDJOB=4509203
IDBENCH=158601
IDSOLVER=3364
FILE ID=nodeC001/4509203-1751519572
RUNJOBID= nodeC001-1751516281-73980
SLURM_JOB_ID= 9598627
Free space on /tmp= 432500 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509203-1751519572/watcher-4509203-1751519572 -o /tmp/evaluation-result-4509203-1751519572/solver-4509203-1751519572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73980 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509203-1751519572 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509203-1751519572.opb

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

MD5SUM BENCH= 77cfb75a57ffdbd7a405571baa0b4678
RANDOM SEED=1732788525

nodeC001 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	: 0xb00001f
cpu MHz		: 1197.169
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3591.512
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3591.482
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 2394.338
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.739
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 2394.337
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.407
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.476
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        99715548 kB
MemAvailable:   122659348 kB
Buffers:            1668 kB
Cached:         23717636 kB
SwapCached:           32 kB
Active:          7573344 kB
Inactive:       23408220 kB
Active(anon):    7257736 kB
Inactive(anon):    22520 kB
Active(file):     315608 kB
Inactive(file): 23385700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            490696 kB
Writeback:            12 kB
AnonPages:       7263352 kB
Mapped:           123548 kB
Shmem:             17900 kB
KReclaimable:     163852 kB
Slab:             266668 kB
SReclaimable:     163852 kB
SUnreclaim:       102816 kB
KernelStack:        5200 kB
PageTables:        17968 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7840220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6950912 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432492 MiB
End job on nodeC001 at 2025-07-03 08:10:02