Trace number 4485743

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) 3600.23 3655.19

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4485743-1751318521.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  objective function found
2.44/1.46	c ... done. Wall clock time 1.329s.
2.44/1.46	c declared #vars     155020
2.44/1.46	c #constraints  4867
2.44/1.46	c constraints type 
2.44/1.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4528
2.44/1.46	c org.sat4j.specs.Constr$1 => 339
2.44/1.46	c 4867 constraints processed.
2.44/1.47	c objective function length is 14882 literals
13.42/10.51	c cleaning 2495 clauses out of 4998 with flag 18641/5000
15.85/12.59	c cleaning 4253 clauses out of 8505 with flag 35041/11002
16.76/13.37	c cleaning 5626 clauses out of 11251 with flag 50691/18001
17.76/14.27	c cleaning 6813 clauses out of 13625 with flag 68604/26001
18.85/15.33	c cleaning 7904 clauses out of 15811 with flag 89852/35000
20.15/16.67	c cleaning 8953 clauses out of 17909 with flag 112271/45002
21.45/17.93	c cleaning 9978 clauses out of 19955 with flag 137502/56001
22.84/19.38	c cleaning 10985 clauses out of 21979 with flag 165718/68003
24.44/20.97	c cleaning 11997 clauses out of 23993 with flag 195686/81002
26.45/22.98	c cleaning 12994 clauses out of 25995 with flag 228990/95001
28.55/25.07	c cleaning 13998 clauses out of 28001 with flag 264715/110001
30.65/27.17	c cleaning 14997 clauses out of 30004 with flag 301890/126002
33.48/29.97	c cleaning 16003 clauses out of 32007 with flag 342154/143002
36.42/32.95	c cleaning 17001 clauses out of 34002 with flag 385745/161000
39.20/35.73	c cleaning 18001 clauses out of 36001 with flag 431561/180000
42.00/38.59	c cleaning 18999 clauses out of 38002 with flag 479277/200002
45.09/41.66	c cleaning 19999 clauses out of 40002 with flag 528287/221001
48.49/45.09	c cleaning 21000 clauses out of 42002 with flag 581459/243000
51.97/48.55	c cleaning 22000 clauses out of 44002 with flag 636091/266000
55.77/52.35	c cleaning 22999 clauses out of 46003 with flag 693548/290001
59.76/56.33	c cleaning 23997 clauses out of 48004 with flag 752348/315001
66.41/62.69	c cleaning 25004 clauses out of 50008 with flag 810780/341002
87.48/84.28	c cleaning 26006 clauses out of 52011 with flag 874410/368009
106.64/103.18	c cleaning 26986 clauses out of 53999 with flag 938451/396003
128.48/124.46	c cleaning 28003 clauses out of 56010 with flag 1006023/425000
152.33/148.33	c cleaning 29006 clauses out of 58014 with flag 1067496/455007
183.62/179.21	c cleaning 29994 clauses out of 60004 with flag 1129488/486003
207.73/203.94	c cleaning 30983 clauses out of 62007 with flag 1193482/518000
228.62/226.89	c cleaning 32005 clauses out of 64025 with flag 1259484/551001
263.09/261.23	c cleaning 33004 clauses out of 66019 with flag 1327736/585000
314.43/312.45	c cleaning 33982 clauses out of 68015 with flag 1398389/620001
316.52/314.53	c cleaning 34988 clauses out of 70033 with flag 1470649/656001
318.85/316.73	c cleaning 35995 clauses out of 72046 with flag 1544786/693002
321.36/319.01	c cleaning 36994 clauses out of 74049 with flag 1620948/731000
323.67/321.01	c cleaning 37994 clauses out of 76055 with flag 1699046/770000
325.67/323.02	c cleaning 39001 clauses out of 78061 with flag 1779213/810000
327.67/325.01	c cleaning 39993 clauses out of 80060 with flag 1861295/851000
329.77/327.12	c cleaning 40999 clauses out of 82068 with flag 1945410/893001
331.81/329.18	c cleaning 42000 clauses out of 84069 with flag 2031680/936001
334.10/331.41	c cleaning 42998 clauses out of 86069 with flag 2119930/980001
336.40/333.75	c cleaning 44001 clauses out of 88071 with flag 2210086/1025001
338.58/335.96	c cleaning 44999 clauses out of 90069 with flag 2302401/1071000
341.20/338.50	c cleaning 46004 clauses out of 92070 with flag 2396699/1118000
343.80/341.39	c cleaning 46995 clauses out of 94067 with flag 2492879/1166001
346.32/343.82	c cleaning 48000 clauses out of 96071 with flag 2591028/1215000
349.11/346.66	c cleaning 48997 clauses out of 98071 with flag 2691299/1265000
351.81/349.39	c cleaning 50000 clauses out of 100074 with flag 2793618/1316000
354.61/352.13	c cleaning 51006 clauses out of 102075 with flag 2897976/1368001
357.32/354.82	c cleaning 51996 clauses out of 104070 with flag 3004149/1421002
360.34/357.89	c cleaning 53007 clauses out of 106072 with flag 3112397/1475000
363.64/361.16	c cleaning 54000 clauses out of 108066 with flag 3222580/1530001
366.64/364.10	c cleaning 55000 clauses out of 110065 with flag 3334989/1586000
369.83/367.35	c cleaning 56000 clauses out of 112066 with flag 3449405/1643001
373.11/371.46	c cleaning 56997 clauses out of 114066 with flag 3565788/1701001
376.91/375.27	c cleaning 57997 clauses out of 116069 with flag 3684074/1760001
380.61/378.98	c cleaning 59000 clauses out of 118071 with flag 3804250/1820000
384.71/383.07	c cleaning 59992 clauses out of 120072 with flag 3926519/1881001
389.02/387.37	c cleaning 61004 clauses out of 122080 with flag 4050930/1943001
393.13/391.48	c cleaning 62005 clauses out of 124076 with flag 4177216/2006001
397.13/395.46	c cleaning 62996 clauses out of 126071 with flag 4305562/2070001
401.24/399.56	c cleaning 64003 clauses out of 128075 with flag 4435943/2135001
405.25/403.74	c cleaning 64998 clauses out of 130071 with flag 4568233/2201000
409.33/407.83	c cleaning 65997 clauses out of 132073 with flag 4702623/2268000
413.84/412.32	c cleaning 66998 clauses out of 134076 with flag 4839094/2336000
418.17/416.64	c cleaning 68004 clauses out of 136078 with flag 4977461/2405000
422.70/421.12	c cleaning 69006 clauses out of 138075 with flag 5117786/2475001
427.28/425.70	c cleaning 70004 clauses out of 140068 with flag 5260403/2546000
432.21/430.67	c cleaning 70999 clauses out of 142065 with flag 5404965/2618001
436.92/435.55	c cleaning 71997 clauses out of 144065 with flag 5551272/2691000
441.84/440.42	c cleaning 73002 clauses out of 146069 with flag 5699827/2765001
447.15/445.73	c cleaning 74003 clauses out of 148069 with flag 5850283/2840003
452.28/450.88	c cleaning 74999 clauses out of 150063 with flag 6002450/2916000
458.41/456.92	c cleaning 75998 clauses out of 152064 with flag 6156694/2993000
464.40/463.11	c cleaning 76992 clauses out of 154066 with flag 6312955/3071000
470.52/469.21	c cleaning 78002 clauses out of 156075 with flag 6471193/3150001
475.96/474.68	c cleaning 78996 clauses out of 158072 with flag 6631438/3230000
481.89/480.51	c cleaning 80002 clauses out of 160076 with flag 6793739/3311000
487.82/486.43	c cleaning 81001 clauses out of 162075 with flag 6958023/3393001
493.07/491.64	c cleaning 81999 clauses out of 164074 with flag 7124713/3476001
499.29/498.04	c cleaning 83002 clauses out of 166074 with flag 7293177/3560000
506.31/505.04	c cleaning 84006 clauses out of 168074 with flag 7463801/3645002
512.93/511.62	c cleaning 84992 clauses out of 170066 with flag 7636213/3731000
519.05/517.78	c cleaning 85999 clauses out of 172074 with flag 7810458/3818000
524.88/523.50	c cleaning 87000 clauses out of 174075 with flag 7986739/3906000
530.50/529.35	c cleaning 88005 clauses out of 176076 with flag 8165037/3995001
536.24/535.01	c cleaning 89001 clauses out of 178070 with flag 8345185/4085000
543.05/541.81	c cleaning 90001 clauses out of 180070 with flag 8527468/4176001
550.07/548.89	c cleaning 91001 clauses out of 182068 with flag 8711991/4268000
556.88/555.81	c cleaning 91999 clauses out of 184068 with flag 8898630/4361001
564.86/563.72	c cleaning 93000 clauses out of 186069 with flag 9087322/4455001
571.69/570.59	c cleaning 94005 clauses out of 188069 with flag 9277936/4550001
578.23/577.07	c cleaning 94994 clauses out of 190063 with flag 9470330/4646000
584.55/583.34	c cleaning 96000 clauses out of 192070 with flag 9664740/4743001
591.08/591.16	c cleaning 97003 clauses out of 194071 with flag 9861187/4841002
598.69/598.75	c cleaning 97997 clauses out of 196066 with flag 10059463/4940000
605.99/606.00	c cleaning 98998 clauses out of 198070 with flag 10259648/5040001
613.15/613.06	c cleaning 100002 clauses out of 200072 with flag 10461959/5141001
621.29/621.33	c cleaning 100998 clauses out of 202071 with flag 10666414/5243002
629.72/629.72	c cleaning 101999 clauses out of 204071 with flag 10872687/5346000
637.54/637.51	c cleaning 102998 clauses out of 206072 with flag 11081017/5450000
645.31/645.20	c cleaning 104028 clauses out of 208074 with flag 11292237/5555000
651.91/651.99	c cleaning 105014 clauses out of 210046 with flag 11504513/5661000
658.53/658.52	c cleaning 106010 clauses out of 212032 with flag 11718777/5768000
665.17/665.15	c cleaning 107004 clauses out of 214023 with flag 11934966/5876001
672.68/672.52	c cleaning 108007 clauses out of 216019 with flag 12153060/5985001
679.78/679.77	c cleaning 109003 clauses out of 218011 with flag 12373152/6095000
686.40/686.37	c cleaning 109998 clauses out of 220008 with flag 12595277/6206000
694.26/694.14	c cleaning 111003 clauses out of 222010 with flag 12819400/6318000
701.39/701.23	c cleaning 112000 clauses out of 224008 with flag 13045475/6431001
708.42/708.27	c cleaning 113003 clauses out of 226009 with flag 13273523/6545002
715.26/716.87	c cleaning 113998 clauses out of 228005 with flag 13503629/6660001
722.92/724.47	c cleaning 115002 clauses out of 230008 with flag 13735728/6776002
730.22/731.70	c cleaning 115999 clauses out of 232005 with flag 13969801/6893001
737.90/740.91	c cleaning 116993 clauses out of 234005 with flag 14205938/7011000
745.17/748.13	c cleaning 118003 clauses out of 236014 with flag 14444043/7130002
752.39/755.35	c cleaning 119001 clauses out of 238010 with flag 14684120/7250001
760.42/763.32	c cleaning 119997 clauses out of 240008 with flag 14926198/7371000
768.65/771.22	c cleaning 121004 clauses out of 242011 with flag 15170270/7493000
775.84/778.49	c cleaning 122001 clauses out of 244007 with flag 15416363/7616000
783.79/786.38	c cleaning 123000 clauses out of 246006 with flag 15664471/7740000
792.19/794.79	c cleaning 123998 clauses out of 248006 with flag 15914534/7865000
801.04/803.75	c cleaning 125001 clauses out of 250010 with flag 16166664/7991002
809.48/812.16	c cleaning 125997 clauses out of 252008 with flag 16420734/8118001
818.89/821.51	c cleaning 127002 clauses out of 254010 with flag 16676856/8246000
827.50/830.14	c cleaning 128001 clauses out of 256008 with flag 16934924/8375000
836.34/839.06	c cleaning 128995 clauses out of 258007 with flag 17194980/8505000
845.15/847.86	c cleaning 130001 clauses out of 260013 with flag 17457062/8636001
852.89/855.59	c cleaning 131001 clauses out of 262012 with flag 17721146/8768001
861.53/864.20	c cleaning 132000 clauses out of 264013 with flag 17987275/8901003
870.15/872.84	c cleaning 132998 clauses out of 266010 with flag 18255366/9035000
878.68/881.35	c cleaning 134002 clauses out of 268014 with flag 18525470/9170002
887.50/890.14	c cleaning 135002 clauses out of 270011 with flag 18797550/9306001
896.77/901.90	c cleaning 135999 clauses out of 272008 with flag 19071632/9443000
907.30/912.49	c cleaning 136999 clauses out of 274010 with flag 19347796/9581001
916.68/921.76	c cleaning 137998 clauses out of 276010 with flag 19625861/9720000
926.18/931.63	c cleaning 139002 clauses out of 278012 with flag 19905937/9860000
937.41/942.83	c cleaning 139999 clauses out of 280010 with flag 20188007/10001000
947.94/953.37	c cleaning 140998 clauses out of 282011 with flag 20472098/10143000
958.20/963.66	c cleaning 142002 clauses out of 284014 with flag 20758199/10286001
967.79/973.18	c cleaning 143000 clauses out of 286012 with flag 21046292/10430001
977.71/983.01	c cleaning 144002 clauses out of 288012 with flag 21336393/10575001
989.63/995.08	c cleaning 145000 clauses out of 290010 with flag 21628484/10721001
1001.05/1006.40	c cleaning 146000 clauses out of 292009 with flag 21922632/10868000
1012.44/1017.87	c cleaning 147001 clauses out of 294010 with flag 22218704/11016001
1023.44/1028.76	c cleaning 147997 clauses out of 296008 with flag 22516759/11165000
1033.88/1039.11	c cleaning 149004 clauses out of 298014 with flag 22816856/11315003
1045.80/1051.11	c cleaning 150003 clauses out of 300007 with flag 23118947/11466000
1056.41/1061.75	c cleaning 150996 clauses out of 302006 with flag 23423045/11618002
1067.32/1072.62	c cleaning 151996 clauses out of 304008 with flag 23729123/11771000
1077.84/1083.23	c cleaning 152997 clauses out of 306012 with flag 24037243/11925000
1088.98/1094.33	c cleaning 154004 clauses out of 308015 with flag 24347318/12080000
1099.29/1104.68	c cleaning 155006 clauses out of 310011 with flag 24659423/12236000
1109.78/1115.29	c cleaning 156002 clauses out of 312007 with flag 24973560/12393002
1120.81/1126.29	c cleaning 156998 clauses out of 314003 with flag 25289642/12551000
1132.07/1137.40	c cleaning 157998 clauses out of 316006 with flag 25607772/12710001
1143.75/1149.29	c cleaning 159005 clauses out of 318010 with flag 25927888/12870003
1154.36/1159.86	c cleaning 159997 clauses out of 320003 with flag 26249970/13031001
1167.57/1173.25	c cleaning 161000 clauses out of 322006 with flag 26574111/13193001
1178.75/1184.36	c cleaning 162003 clauses out of 324007 with flag 26900186/13356002
1193.19/1198.76	c cleaning 162996 clauses out of 326003 with flag 27228255/13520001
1209.52/1215.35	c cleaning 164002 clauses out of 328006 with flag 27558353/13685000
1224.78/1230.55	c cleaning 164995 clauses out of 330004 with flag 27890473/13851000
1240.12/1245.93	c cleaning 166002 clauses out of 332009 with flag 28224557/14018000
1252.81/1258.11	c cleaning 166996 clauses out of 334008 with flag 28560653/14186001
1267.25/1274.03	c cleaning 167998 clauses out of 336011 with flag 28898774/14355000
1281.09/1287.82	c cleaning 169001 clauses out of 338013 with flag 29238889/14525000
1292.31/1299.11	c cleaning 170001 clauses out of 340012 with flag 29581012/14696000
1304.85/1311.69	c cleaning 171002 clauses out of 342011 with flag 29925201/14868000
1317.57/1324.85	c cleaning 172002 clauses out of 344009 with flag 30271288/15041000
1331.11/1338.37	c cleaning 172996 clauses out of 346007 with flag 30619387/15215000
1344.91/1352.15	c cleaning 174001 clauses out of 348012 with flag 30969513/15390001
1359.32/1366.69	c cleaning 175000 clauses out of 350010 with flag 31321619/15566000
1372.91/1380.19	c cleaning 175997 clauses out of 352010 with flag 31675732/15743000
1386.85/1394.26	c cleaning 177006 clauses out of 354015 with flag 32031836/15921002
1401.86/1409.26	c cleaning 178005 clauses out of 356009 with flag 32389929/16100002
1414.53/1422.10	c cleaning 178994 clauses out of 358002 with flag 32750021/16280000
1428.75/1436.29	c cleaning 179996 clauses out of 360008 with flag 33112122/16461000
1444.76/1452.33	c cleaning 181006 clauses out of 362014 with flag 33476233/16643002
1459.29/1466.87	c cleaning 182003 clauses out of 364007 with flag 33842324/16826001
1474.37/1482.01	c cleaning 182993 clauses out of 366003 with flag 34210462/17010000
1487.80/1495.49	c cleaning 184001 clauses out of 368010 with flag 34580567/17195000
1502.00/1509.98	c cleaning 185002 clauses out of 370011 with flag 34952699/17381002
1518.45/1526.34	c cleaning 186000 clauses out of 372009 with flag 35326803/17568002
1534.04/1542.04	c cleaning 186998 clauses out of 374008 with flag 35702876/17756001
1548.56/1556.53	c cleaning 188001 clauses out of 376009 with flag 36080992/17945000
1562.42/1570.54	c cleaning 189002 clauses out of 378009 with flag 36461129/18135001
1577.07/1585.11	c cleaning 190000 clauses out of 380006 with flag 36843292/18326000
1594.34/1602.59	c cleaning 190998 clauses out of 382006 with flag 37227400/18518000
1609.10/1617.23	c cleaning 191998 clauses out of 384009 with flag 37613517/18711001
1623.67/1632.00	c cleaning 193005 clauses out of 386012 with flag 38001713/18905002
1637.20/1645.41	c cleaning 193995 clauses out of 388006 with flag 38391790/19100001
1654.34/1662.76	c cleaning 195001 clauses out of 390011 with flag 38783918/19296001
1671.76/1680.11	c cleaning 195997 clauses out of 392009 with flag 39178021/19493000
1688.88/1697.47	c cleaning 197002 clauses out of 394014 with flag 39574123/19691002
1708.06/1716.58	c cleaning 198001 clauses out of 396012 with flag 39972225/19890002
1725.49/1734.55	c cleaning 198999 clauses out of 398010 with flag 40372381/20090001
1743.15/1752.19	c cleaning 200005 clauses out of 400010 with flag 40774480/20291000
1760.75/1769.85	c cleaning 200997 clauses out of 402005 with flag 41178618/20493000
1778.82/1788.00	c cleaning 201997 clauses out of 404009 with flag 41584733/20696001
1796.96/1806.09	c cleaning 203004 clauses out of 406011 with flag 41992835/20900000
1816.61/1825.83	c cleaning 204000 clauses out of 408007 with flag 42402973/21105000
1832.85/1842.04	c cleaning 205004 clauses out of 410007 with flag 42815055/21311000
1853.54/1863.03	c cleaning 205992 clauses out of 412003 with flag 43229216/21518000
1872.95/1884.94	c cleaning 207000 clauses out of 414013 with flag 43645358/21726002
1893.28/1905.12	c cleaning 207999 clauses out of 416011 with flag 44063440/21935000
1911.62/1923.68	c cleaning 209006 clauses out of 418012 with flag 44483560/22145000
1930.13/1942.19	c cleaning 209995 clauses out of 420006 with flag 44905720/22356000
1947.37/1959.40	c cleaning 211003 clauses out of 422012 with flag 45329828/22568001
1969.12/1981.36	c cleaning 212002 clauses out of 424009 with flag 45755948/22781001
1990.65/2002.81	c cleaning 212997 clauses out of 426007 with flag 46184080/22995001
2015.50/2027.78	c cleaning 214003 clauses out of 428009 with flag 46614162/23210000
2140.31/2141.88	c cleaning 214992 clauses out of 430003 with flag 47115254/23426000
2160.55/2162.34	c cleaning 216002 clauses out of 432011 with flag 47549412/23643000
2181.47/2182.79	c cleaning 217000 clauses out of 434009 with flag 47985533/23861000
2197.59/2198.91	c cleaning 218000 clauses out of 436009 with flag 48423812/24080000
2224.38/2225.90	c cleaning 219001 clauses out of 438010 with flag 48864001/24300001
2245.58/2247.14	c cleaning 219997 clauses out of 440008 with flag 49306133/24521000
2266.47/2273.05	c cleaning 221004 clauses out of 442012 with flag 49750219/24743001
2286.55/2293.29	c cleaning 221997 clauses out of 444007 with flag 50196383/24966000
2319.15/2325.98	c cleaning 223001 clauses out of 446010 with flag 50644469/25190000
2339.50/2346.24	c cleaning 224001 clauses out of 448010 with flag 51094555/25415001
2361.89/2368.70	c cleaning 225000 clauses out of 450008 with flag 51546783/25641000
2384.09/2391.07	c cleaning 226004 clauses out of 452010 with flag 52000893/25868002
2404.32/2411.36	c cleaning 226999 clauses out of 454004 with flag 52456983/26096000
2434.81/2448.64	c cleaning 228001 clauses out of 456005 with flag 52915226/26325000
2460.31/2474.03	c cleaning 228993 clauses out of 458004 with flag 53375387/26555000
2483.83/2501.46	c cleaning 230004 clauses out of 460013 with flag 53837557/26786002
2504.39/2529.23	c cleaning 231003 clauses out of 462007 with flag 54301643/27018000
2523.98/2548.87	c cleaning 231992 clauses out of 464004 with flag 54767850/27251000
2541.57/2566.38	c cleaning 232999 clauses out of 466014 with flag 55237099/27485002
2557.75/2582.53	c cleaning 234002 clauses out of 468015 with flag 55707330/27720002
2582.67/2607.47	c cleaning 235002 clauses out of 470014 with flag 56179434/27956003
2602.49/2627.39	c cleaning 235997 clauses out of 472009 with flag 56653745/28193000
2618.07/2643.02	c cleaning 237003 clauses out of 474014 with flag 57130002/28431002
2635.83/2660.71	c cleaning 237998 clauses out of 476010 with flag 57608216/28670001
2654.82/2685.60	c cleaning 239001 clauses out of 478013 with flag 58088389/28910002
2675.20/2706.08	c cleaning 239999 clauses out of 480010 with flag 58570526/29151000
2699.74/2730.40	c cleaning 241000 clauses out of 482011 with flag 59054648/29393000
2722.02/2752.72	c cleaning 242004 clauses out of 484012 with flag 59540784/29636001
2742.65/2773.36	c cleaning 243000 clauses out of 486008 with flag 60028904/29880001
2767.38/2797.51	c cleaning 244001 clauses out of 488007 with flag 60518991/30125000
2785.57/2815.65	c cleaning 244997 clauses out of 490006 with flag 61011295/30371000
2807.87/2837.82	c cleaning 245997 clauses out of 492010 with flag 61505986/30618001
2825.92/2856.05	c cleaning 246999 clauses out of 494012 with flag 62002652/30866000
2855.03/2885.23	c cleaning 247997 clauses out of 496013 with flag 62500916/31115000
2879.00/2909.11	c cleaning 249002 clauses out of 498016 with flag 63001627/31365000
2898.83/2929.08	c cleaning 250003 clauses out of 500014 with flag 63504094/31616000
2918.80/2949.14	c cleaning 250999 clauses out of 502011 with flag 64008820/31868000
2937.84/2968.01	c cleaning 252003 clauses out of 504012 with flag 64515577/32121000
2963.95/2994.37	c cleaning 252995 clauses out of 506010 with flag 65023864/32375001
2987.70/3018.16	c cleaning 254005 clauses out of 508015 with flag 65534179/32630001
3011.51/3042.03	c cleaning 255002 clauses out of 510009 with flag 66046450/32886000
3033.91/3064.22	c cleaning 255997 clauses out of 512007 with flag 66560720/33143000
3055.14/3089.85	c cleaning 256999 clauses out of 514011 with flag 67077064/33401001
3082.19/3122.92	c cleaning 257997 clauses out of 516011 with flag 67595655/33660000
3107.53/3148.30	c cleaning 259002 clauses out of 518016 with flag 68116185/33920002
3133.83/3174.53	c cleaning 259997 clauses out of 520012 with flag 68638616/34181000
3158.64/3198.87	c cleaning 261001 clauses out of 522015 with flag 69163052/34443000
3183.32/3223.49	c cleaning 262004 clauses out of 524015 with flag 69689297/34706001
3212.82/3253.04	c cleaning 262997 clauses out of 526011 with flag 70217647/34970001
3237.99/3278.21	c cleaning 263998 clauses out of 528013 with flag 70747891/35235000
3265.31/3316.63	c cleaning 265003 clauses out of 530016 with flag 71280109/35501001
3294.73/3346.07	c cleaning 266003 clauses out of 532013 with flag 71814316/35768001
3319.46/3370.85	c cleaning 266998 clauses out of 534011 with flag 72350508/36036002
3344.62/3396.08	c cleaning 268002 clauses out of 536013 with flag 72888682/36305002
3370.05/3421.57	c cleaning 269002 clauses out of 538011 with flag 73428864/36575002
3398.27/3453.23	c cleaning 270000 clauses out of 540008 with flag 73971142/36846001
3424.81/3479.78	c cleaning 271002 clauses out of 542008 with flag 74515385/37118001
3454.45/3509.49	c cleaning 271997 clauses out of 544005 with flag 75061725/37391000
3480.53/3535.40	c cleaning 272995 clauses out of 546008 with flag 75609931/37665000
3505.65/3560.66	c cleaning 274004 clauses out of 548013 with flag 76160091/37940000
3545.03/3600.11	c cleaning 274998 clauses out of 550009 with flag 76712259/38216000
3572.06/3627.05	c cleaning 276002 clauses out of 552011 with flag 77266414/38493000
3594.61/3649.67	c cleaning 276999 clauses out of 554010 with flag 77823818/38771001
3600.06/3655.01	c starts		: 4718
3600.06/3655.02	c conflicts		: 38879704
3600.06/3655.02	c decisions		: 40265415
3600.06/3655.02	c propagations		: 224677471
3600.06/3655.02	c inspects		: 9985001166
3600.06/3655.02	c shortcuts		: 0
3600.06/3655.02	c learnt literals	: 6
3600.06/3655.02	c learnt binary clauses	: 6
3600.06/3655.02	c learnt ternary clauses	: 17
3600.06/3655.02	c learnt constraints	: 38879698
3600.06/3655.02	c ignored constraints	: 0
3600.06/3655.02	c root simplifications	: 0
3600.06/3655.02	c removed literals (reason simplification)	: 416809861
3600.06/3655.02	c reason swapping (by a shorter reason)	: 0
3600.06/3655.02	c Calls to reduceDB	: 274
3600.06/3655.02	c Number of update (reduction) of LBD	: 109489
3600.06/3655.02	c Imported unit clauses	: 0
3600.06/3655.03	c timeout
3600.06/3655.03	c No decision after first conflict	: false
3600.06/3655.03	c number of reductions to clauses (during analyze)	: 0
3600.06/3655.03	c number of learned constraints concerned by reduction	: 0
3600.06/3655.03	c number of learning phase by resolution	: 0
3600.06/3655.03	c number of learning phase by cutting planes	: 0
3600.06/3655.03	c number of rounding to 1 operations	: 0
3600.06/3655.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3655.03	c number of reductions of the coefficients by power 2 	: 0
3600.06/3655.03	c number of right shift for reduction by power 2 	: 0
3600.06/3655.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3655.03	c number of ending skipping 	: 0
3600.06/3655.03	c number of internal skipping 	: 0
3600.06/3655.03	c number of derivation steps 	: 0
3600.06/3655.03	c number of skipped derivation steps 	: 0
3600.06/3655.03	c number of remaining unassigned 	: 0
3600.06/3655.03	c number of remaining assigned 	: 0
3600.06/3655.03	c number of falsified literals weakened from reason	: 0
3600.06/3655.03	c number of falsified literals weakened from conflict	: 0
3600.06/3655.03	c time for arithmetic operations	: 0
3600.06/3655.03	c minimum degree of deleted constraints	: null
3600.06/3655.03	c maximum degree of deleted constraints	: null
3600.06/3655.03	c number of deleted constraints	: 0
3600.06/3655.03	c speed (assignments/second)	: 61497.88253082456
3600.06/3655.03	c non guided choices	: 57758
3600.06/3655.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 385708
3600.06/3655.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 6
3600.06/3655.10	s UNKNOWN
3600.06/3655.10	c Total wall clock time (in seconds): 3654.971

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

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


[startup+0.100063 s]*
/proc/loadavg: 4.39 4.24 4.20 5/345 43327
/proc/meminfo: memFree=103043872/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=18930384 memory=57772 CPUtime=0.13 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 6575 0 0 0 11 2 0 0 20 0 18 0 47530778 19384713216 14443 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4732596 14443 5337 1 0 547619 0
[pid=43309/tid=43311] ppid=43306 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5076 0 0 0 7 1 0 0 20 0 18 0 47530779 19384713216 14443 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 14443 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=18930384 memory=61784027576291 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 14443 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57772 KiB

[startup+0.2059 s]*
/proc/loadavg: 4.39 4.24 4.20 7/345 43327
/proc/meminfo: memFree=103040848/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=18930384 memory=74260 CPUtime=0.32 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 7771 0 0 0 29 3 0 0 20 0 18 0 47530778 19384713216 18565 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4732596 18565 5433 1 0 548505 0
[pid=43309/tid=43311] ppid=43306 vsize=18930384 memory=4026663196 CPUtime=0.18 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5284 0 0 0 16 2 0 0 20 0 18 0 47530779 19384713216 18565 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=18930384 memory=13937 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 18565 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=18930384 memory=60684515935208 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 18565 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 74260 KiB

[startup+0.305843 s]*
/proc/loadavg: 4.39 4.24 4.20 6/345 43327
/proc/meminfo: memFree=103017848/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=18930384 memory=110912 CPUtime=0.52 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 9094 0 0 0 48 4 0 0 20 0 18 0 47530778 19384713216 27728 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4732596 27728 5433 1 0 549332 0
[pid=43309/tid=43311] ppid=43306 vsize=18930384 memory=-6000919481380465003 CPUtime=0.27 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5304 0 0 0 25 2 0 0 20 0 18 0 47530779 19384713216 27728 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 27728 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47530781 19384713216 27728 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 110912 KiB

[startup+0.700239 s]
/proc/loadavg: 4.39 4.24 4.20 6/346 43328
/proc/meminfo: memFree=102953468/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=18996948 memory=199136 CPUtime=1.27 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 9657 0 0 0 121 6 0 0 20 0 19 0 47530778 19452874752 49784 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4749237 49784 5465 1 0 549907 0
[pid=43309/tid=43311] ppid=43306 vsize=18996948 memory=17664 CPUtime=0.57 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5328 0 0 0 54 3 0 0 20 0 19 0 47530779 19452874752 49784 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47530781 19452874752 49784 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47530781 19452874752 49784 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 199136 KiB

[startup+1.50023 s]
/proc/loadavg: 4.39 4.24 4.20 6/346 43328
/proc/meminfo: memFree=102895464/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=18996948 memory=516184 CPUtime=2.58 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 10745 0 0 0 245 13 0 0 20 0 19 0 47530778 19452874752 129046 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4749237 129046 5529 1 0 1157980 0
[pid=43309/tid=43311] ppid=43306 vsize=18996948 memory=3200 CPUtime=1.22 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5594 0 0 0 115 7 0 0 20 0 19 0 47530779 19452874752 129046 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47530781 19452874752 129046 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=18996948 memory=11136 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47530781 19452874752 129046 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 516184 KiB

[startup+3.1057 s]
/proc/loadavg: 4.36 4.23 4.20 5/347 43329
/proc/meminfo: memFree=102599884/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=527672 CPUtime=4.93 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 15663 0 0 0 478 15 0 0 20 0 20 0 47530778 19521036288 131918 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 131918 5529 1 0 1160836 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=11136 CPUtime=2.8 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 5678 0 0 0 273 7 0 0 20 0 20 0 47530779 19521036288 131918 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 131918 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 131918 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=2208 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 131918 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 4.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 527672 KiB

[startup+6.30021 s]
/proc/loadavg: 4.36 4.23 4.20 5/347 43329
/proc/meminfo: memFree=102539144/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=557756 CPUtime=8.93 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 18807 0 0 0 876 17 0 0 20 0 20 0 47530778 19521036288 139439 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 139439 5529 1 0 1160840 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=0 CPUtime=5.93 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 6343 0 0 0 586 7 0 0 20 0 20 0 47530779 19521036288 139439 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=4570474860524113270 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 139439 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=-6000919481380465003 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 139439 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 139439 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 557756 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.23 4.19 5/347 43329
/proc/meminfo: memFree=102457760/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=638512 CPUtime=16.09 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 29588 0 0 0 1588 21 0 0 20 0 20 0 47530778 19521036288 159628 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 159628 5561 1 0 1163243 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=0 CPUtime=12.28 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 7601 0 0 0 1219 9 0 0 20 0 20 0 47530779 19521036288 159628 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=593316 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 159628 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 159628 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 159628 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 16.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 638512 KiB

[startup+25.5002 s]
/proc/loadavg: 4.34 4.23 4.20 5/347 43330
/proc/meminfo: memFree=100549628/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=2441664 CPUtime=29.05 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 34155 0 0 0 2844 61 0 0 20 0 20 0 47530778 19521036288 610416 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 610416 5561 1 0 1163243 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=-6000919481380465003 CPUtime=25.04 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 9797 0 0 0 2456 48 0 0 20 0 20 0 47530779 19521036288 610416 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=3103 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 610416 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=1573312 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 610416 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=1376704 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 610416 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 29.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2441664 KiB

[startup+51.1058 s]
/proc/loadavg: 4.22 4.21 4.19 5/347 43330
/proc/meminfo: memFree=99760752/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=2912844 CPUtime=54.57 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 38331 0 0 0 5379 78 0 0 20 0 20 0 47530778 19521036288 728211 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 728211 5561 1 0 1163256 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=2912844 CPUtime=50.45 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 11637 0 0 0 4980 65 0 0 20 0 20 0 47530779 19521036288 728211 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=-6000919481380465003 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 728211 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=2912844 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 33 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 728211 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=1999296 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 728211 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0

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

[startup+3342.3 s]
/proc/loadavg: 4.29 4.24 4.20 5/347 43666
/proc/meminfo: memFree=59923304/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3131984 CPUtime=3291.04 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 140424 0 1 0 327539 1565 0 0 20 0 20 0 47530778 19521036288 782996 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 782996 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=14572 CPUtime=3224.06 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 55939 0 0 0 320966 1440 0 0 20 0 20 0 47530779 19521036288 782996 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=14572 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 782996 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=3131088 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1370 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 782996 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=12544 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 782996 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3291.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3131984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.33 4.28 4.22 5/345 43670
/proc/meminfo: memFree=57928500/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3134672 CPUtime=3350.93 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 140694 0 1 0 333505 1588 0 0 20 0 20 0 47530778 19521036288 783668 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 783668 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=3131088 CPUtime=3283.36 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 55998 0 0 0 326874 1462 0 0 20 0 20 0 47530779 19521036288 783668 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=17664 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 783668 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=3134672 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1426 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 783668 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=3134672 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 783668 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3350.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3134672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.24 4.20 5/347 43680
/proc/meminfo: memFree=57312040/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3407.46 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 141376 0 1 0 339131 1615 0 0 20 0 20 0 47530778 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 784308 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=17664 CPUtime=3339.27 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 56558 0 0 0 332439 1488 0 0 20 0 20 0 47530779 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1427 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3407.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3137232 KiB

[startup+3522.3 s]
/proc/loadavg: 4.45 4.31 4.23 5/348 43683
/proc/meminfo: memFree=56709768/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3467.47 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 142724 0 1 0 345107 1640 0 0 20 0 20 0 47530778 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 784308 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=14572 CPUtime=3398.51 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 57529 0 0 0 338340 1511 0 0 20 0 20 0 47530779 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=4480 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1473 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3467.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3137232 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.28 4.22 5/348 43685
/proc/meminfo: memFree=56039228/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3527.27 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 143966 0 1 0 351066 1661 0 0 20 0 20 0 47530778 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 784308 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=11136 CPUtime=3457.85 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 58608 0 0 0 344255 1530 0 0 20 0 20 0 47530779 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1473 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3527.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3137232 KiB

[startup+3642.3 s]
/proc/loadavg: 4.33 4.29 4.23 6/346 44151
/proc/meminfo: memFree=81268844/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3587.27 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 144131 0 1 0 357044 1683 0 0 20 0 20 0 47530778 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 784308 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3517.13 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 58643 0 0 0 350161 1552 0 0 20 0 20 0 47530779 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1498 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3137232 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3655 s]*
/proc/loadavg: 4.26 4.27 4.22 5/346 44152
/proc/meminfo: memFree=79296708/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19063512 memory=3137232 CPUtime=3600.06 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 144146 0 1 0 358318 1688 0 0 20 0 20 0 47530778 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4765878 784308 5561 1 0 797877 0
[pid=43309/tid=43311] ppid=43306 vsize=19063512 memory=2816 CPUtime=3529.65 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) R 43306 43309 42765 0 -1 4194368 58643 0 0 0 351409 1556 0 0 20 0 20 0 47530779 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19063512 memory=6784 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19063512 memory=-6000919472757106795 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1498 0 0 0 0 0 0 0 20 0 20 0 47530781 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43329] ppid=43306 vsize=19063512 memory=5196 CPUtime=0 cores=5,7
/proc/43309/task/43329/stat : 43329 (Timer-0) S 43306 43309 42765 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47530940 19521036288 784308 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3137232 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.3 s, system=16.9276 s

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

[startup+3655.11 s]
/proc/loadavg: 4.26 4.27 4.22 5/346 44152
/proc/meminfo: memFree=79296708/131249996 swapFree=33010684/33010684
[pid=43309] ppid=43306 vsize=19263204 memory=3137324 CPUtime=3600.2 cores=5,7
/proc/43309/stat : 43309 (java) S 43306 43309 42765 0 -1 4194304 146244 0 1 0 358330 1690 0 0 20 0 15 0 47530778 19725520896 784331 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
/proc/43309/statm: 4815801 784331 5593 1 0 798796 0
[pid=43309/tid=43311] ppid=43306 vsize=19263204 memory=3137232 CPUtime=3529.7 cores=5,7
/proc/43309/task/43311/stat : 43311 (java) D 43306 43309 42765 0 -1 4194368 58873 0 0 0 351411 1559 0 0 20 0 15 0 47530779 19725520896 784331 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43320] ppid=43306 vsize=19263204 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43320/stat : 43320 (Finalizer) S 43306 43309 42765 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 47530781 19725520896 784331 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
[pid=43309/tid=43327] ppid=43306 vsize=19263204 memory=3137232 CPUtime=0 cores=5,7
/proc/43309/task/43327/stat : 43327 (Common-Cleaner) S 43306 43309 42765 0 -1 4194368 1498 0 0 0 0 0 0 0 20 0 15 0 47530781 19725520896 784331 18446744073709551615 93950887501824 93950887505520 140720594624944 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93950887513336 93950887514128 93950916898816 140720594630960 140720594631142 140720594631142 140720594636744 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3137324 KiB

Child status: 143

Real time (s): 3655.19
CPU time (s): 3600.23
CPU user time (s): 3583.3
CPU system time (s): 16.9276
CPU usage (%): 98.4966
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6473744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.3
system time used= 16.9276
maximum resident set size= 6474256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146270
page faults= 1
swaps= 0
block input operations= 992
block output operations= 34577144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138528
involuntary context switches= 28865


# summary of solver processes directly reported to runsolver:
#   pid: 43309
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3583.3
#   total CPU system time (s): 16.9276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26579 second user time and 17.3066 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-30 23:22:01
IDJOB=4485743
IDBENCH=146868
IDSOLVER=3364
FILE ID=nodeC032/4485743-1751318521
RUNJOBID= nodeC032-1751314974-42778
SLURM_JOB_ID= 9594329
Free space on /tmp= 432048 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485743-1751318521/watcher-4485743-1751318521 -o /tmp/evaluation-result-4485743-1751318521/solver-4485743-1751318521 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751314974-42778 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4485743-1751318521 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4485743-1751318521.opb

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

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=160892274

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        103063368 kB
MemAvailable:   121589928 kB
Buffers:            3280 kB
Cached:         19313596 kB
SwapCached:            0 kB
Active:          8458960 kB
Inactive:       19060072 kB
Active(anon):    8220324 kB
Inactive(anon):        0 kB
Active(file):     238636 kB
Inactive(file): 19060072 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            214524 kB
Writeback:            56 kB
AnonPages:       8204012 kB
Mapped:           123028 kB
Shmem:             18068 kB
KReclaimable:     134180 kB
Slab:             229256 kB
SReclaimable:     134180 kB
SUnreclaim:        95076 kB
KernelStack:        5296 kB
PageTables:        19720 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9596672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151592 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7991296 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432052 MiB
End job on nodeC032 at 2025-07-01 00:22:57