Trace number 4516039

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.38 3607.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
MD5SUMbc497e8177732403fc20f4b37a52cb26
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.487157
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204
Total number of constraints409
Number of constraints which are clauses408
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint204
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 206
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4516039-1751237342.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.034s.
0.12/0.18	c declared #vars     204
0.12/0.18	c #constraints  409
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 408
0.12/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.18	c 409 constraints processed.
1.46/0.82	c cleaning 2500 clauses out of 5000 with flag 10573/5000
2.44/1.38	c cleaning 4250 clauses out of 8501 with flag 23235/11001
3.45/1.86	c cleaning 5625 clauses out of 11251 with flag 38088/18001
4.19/2.28	c cleaning 6813 clauses out of 13627 with flag 54940/26002
4.86/2.72	c cleaning 7906 clauses out of 15812 with flag 73928/35000
5.37/3.17	c cleaning 8949 clauses out of 17907 with flag 94997/45001
6.05/3.76	c cleaning 9980 clauses out of 19959 with flag 118229/56002
6.76/4.31	c cleaning 10989 clauses out of 21979 with flag 143617/68002
7.48/5.01	c cleaning 11993 clauses out of 23988 with flag 171006/81000
8.27/5.84	c cleaning 12997 clauses out of 25996 with flag 200679/95001
9.06/6.67	c cleaning 13996 clauses out of 27998 with flag 232429/110000
9.98/7.57	c cleaning 15002 clauses out of 30003 with flag 266192/126001
11.14/8.62	c cleaning 15999 clauses out of 32000 with flag 302120/143000
12.36/9.80	c cleaning 17000 clauses out of 34002 with flag 340199/161001
13.56/11.08	c cleaning 18001 clauses out of 36002 with flag 380410/180001
14.78/12.24	c cleaning 19001 clauses out of 38001 with flag 422662/200001
16.00/13.40	c cleaning 20000 clauses out of 40000 with flag 467183/221001
17.30/14.77	c cleaning 21000 clauses out of 42000 with flag 513570/243001
18.70/16.14	c cleaning 21995 clauses out of 43999 with flag 562141/266000
20.30/17.70	c cleaning 22997 clauses out of 46004 with flag 612681/290000
21.98/19.48	c cleaning 24004 clauses out of 48007 with flag 665309/315000
24.29/21.72	c cleaning 24997 clauses out of 50004 with flag 720108/341001
26.89/24.32	c cleaning 25999 clauses out of 52006 with flag 777144/368000
29.30/26.72	c cleaning 27002 clauses out of 54007 with flag 836168/396000
31.59/29.05	c cleaning 27998 clauses out of 56006 with flag 897438/425001
34.28/31.92	c cleaning 28997 clauses out of 58007 with flag 960741/455000
36.77/34.43	c cleaning 30000 clauses out of 60011 with flag 1026361/486001
40.26/37.92	c cleaning 30998 clauses out of 62010 with flag 1094133/518000
43.18/40.83	c cleaning 32002 clauses out of 64012 with flag 1163753/551000
46.97/44.61	c cleaning 33003 clauses out of 66010 with flag 1235541/585000
50.78/48.41	c cleaning 33998 clauses out of 68008 with flag 1309304/620001
54.38/52.09	c cleaning 35001 clauses out of 70010 with flag 1385363/656001
57.78/55.42	c cleaning 36003 clauses out of 72008 with flag 1463035/693000
61.40/59.03	c cleaning 36999 clauses out of 74006 with flag 1543104/731001
64.94/62.73	c cleaning 37998 clauses out of 76006 with flag 1625261/770000
68.64/66.47	c cleaning 39002 clauses out of 78009 with flag 1709484/810001
72.73/70.57	c cleaning 39997 clauses out of 80006 with flag 1796040/851000
77.15/75.00	c cleaning 40998 clauses out of 82011 with flag 1884628/893002
82.13/79.98	c cleaning 42002 clauses out of 84012 with flag 1975197/936001
87.05/84.84	c cleaning 43003 clauses out of 86011 with flag 2067837/980002
92.96/90.74	c cleaning 44002 clauses out of 88006 with flag 2162513/1025000
98.74/96.65	c cleaning 45000 clauses out of 90004 with flag 2259273/1071000
104.75/102.53	c cleaning 45996 clauses out of 92005 with flag 2361808/1118001
113.91/111.68	c cleaning 47002 clauses out of 94009 with flag 2477128/1166001
120.82/118.59	c cleaning 48004 clauses out of 96008 with flag 2596485/1215002
130.50/128.35	c cleaning 48993 clauses out of 98003 with flag 2725003/1265001
140.29/138.14	c cleaning 50005 clauses out of 100009 with flag 2854187/1316000
148.08/145.81	c cleaning 51002 clauses out of 102004 with flag 2981624/1368000
156.42/154.17	c cleaning 52002 clauses out of 104003 with flag 3116668/1421001
165.09/163.12	c cleaning 52990 clauses out of 106000 with flag 3250282/1475000
169.31/167.30	c cleaning 54004 clauses out of 108010 with flag 3380497/1530000
173.88/171.82	c cleaning 54998 clauses out of 110006 with flag 3515219/1586000
179.40/177.30	c cleaning 56003 clauses out of 112009 with flag 3654276/1643001
184.48/182.38	c cleaning 57002 clauses out of 114007 with flag 3794584/1701002
191.42/189.41	c cleaning 57997 clauses out of 116003 with flag 3946945/1760000
196.42/194.45	c cleaning 58998 clauses out of 118006 with flag 4094558/1820000
199.94/197.99	c cleaning 59995 clauses out of 120008 with flag 4233773/1881000
204.27/202.32	c cleaning 61002 clauses out of 122013 with flag 4377405/1943000
209.31/207.48	c cleaning 62001 clauses out of 124013 with flag 4528672/2006002
213.04/211.18	c cleaning 63003 clauses out of 126010 with flag 4674883/2070000
216.97/215.06	c cleaning 64000 clauses out of 128007 with flag 4821926/2135000
221.08/219.37	c cleaning 65002 clauses out of 130008 with flag 4973744/2201001
224.82/223.07	c cleaning 66002 clauses out of 132005 with flag 5127319/2268000
229.86/228.04	c cleaning 67000 clauses out of 134004 with flag 5288078/2336001
234.47/232.64	c cleaning 68001 clauses out of 136004 with flag 5453221/2405001
239.62/237.71	c cleaning 69000 clauses out of 138002 with flag 5614583/2475000
243.77/241.90	c cleaning 69999 clauses out of 140003 with flag 5778019/2546001
247.99/246.08	c cleaning 70990 clauses out of 142003 with flag 5942755/2618000
252.69/250.93	c cleaning 72002 clauses out of 144013 with flag 6114453/2691000
256.88/255.12	c cleaning 73005 clauses out of 146012 with flag 6287256/2765001
261.25/259.42	c cleaning 74000 clauses out of 148006 with flag 6452473/2840000
266.59/264.75	c cleaning 75001 clauses out of 150008 with flag 6625865/2916002
272.96/271.06	c cleaning 76000 clauses out of 152007 with flag 6794304/2993002
277.89/275.93	c cleaning 77001 clauses out of 154005 with flag 6968584/3071000
283.76/281.73	c cleaning 77999 clauses out of 156006 with flag 7138689/3150002
289.20/287.12	c cleaning 78996 clauses out of 158006 with flag 7308574/3230001
295.16/293.10	c cleaning 80004 clauses out of 160010 with flag 7480184/3311001
301.39/299.21	c cleaning 81001 clauses out of 162006 with flag 7654117/3393001
308.16/305.97	c cleaning 82002 clauses out of 164005 with flag 7830676/3476001
315.09/312.85	c cleaning 82998 clauses out of 166002 with flag 8009299/3560000
322.72/320.42	c cleaning 83997 clauses out of 168005 with flag 8189915/3645001
330.75/328.46	c cleaning 84998 clauses out of 170008 with flag 8372778/3731001
339.02/336.66	c cleaning 86000 clauses out of 172009 with flag 8557754/3818000
347.74/345.33	c cleaning 87002 clauses out of 174009 with flag 8744788/3906000
357.14/354.66	c cleaning 87998 clauses out of 176007 with flag 8934462/3995000
367.42/364.65	c cleaning 88998 clauses out of 178012 with flag 9126140/4085003
377.85/375.09	c cleaning 90004 clauses out of 180012 with flag 9319335/4176001
387.67/384.83	c cleaning 91004 clauses out of 182010 with flag 9515032/4268003
401.58/398.77	c cleaning 91995 clauses out of 184004 with flag 9712449/4361001
414.49/411.63	c cleaning 93004 clauses out of 186009 with flag 9912142/4455001
421.78/418.88	c cleaning 93999 clauses out of 188005 with flag 10113492/4550001
429.94/426.94	c cleaning 95000 clauses out of 190006 with flag 10317213/4646001
440.21/437.17	c cleaning 95996 clauses out of 192005 with flag 10522706/4743000
449.89/446.88	c cleaning 97005 clauses out of 194010 with flag 10730773/4841001
458.43/455.39	c cleaning 98000 clauses out of 196004 with flag 10940194/4940000
467.87/464.70	c cleaning 99000 clauses out of 198005 with flag 11152394/5040001
476.98/473.75	c cleaning 100001 clauses out of 200004 with flag 11366491/5141000
486.23/482.93	c cleaning 100998 clauses out of 202003 with flag 11583187/5243000
495.74/492.47	c cleaning 101994 clauses out of 204006 with flag 11802242/5346001
506.73/503.49	c cleaning 103004 clauses out of 206012 with flag 12023279/5450001
516.60/513.20	c cleaning 104000 clauses out of 208007 with flag 12246370/5555000
527.25/523.81	c cleaning 105001 clauses out of 210007 with flag 12471847/5661000
538.32/534.85	c cleaning 105999 clauses out of 212007 with flag 12699743/5768001
550.28/546.73	c cleaning 106995 clauses out of 214008 with flag 12929366/5876001
560.66/557.07	c cleaning 108001 clauses out of 216012 with flag 13160091/5985000
570.07/566.42	c cleaning 109005 clauses out of 218013 with flag 13393488/6095002
579.24/575.57	c cleaning 110001 clauses out of 220007 with flag 13629165/6206001
588.96/585.67	c cleaning 111004 clauses out of 222007 with flag 13866083/6318002
598.99/595.61	c cleaning 111994 clauses out of 224002 with flag 14105567/6431001
609.47/605.88	c cleaning 113003 clauses out of 226007 with flag 14347150/6545000
619.92/616.66	c cleaning 114001 clauses out of 228004 with flag 14591508/6660000
632.56/629.25	c cleaning 115001 clauses out of 230004 with flag 14837379/6776001
644.08/640.70	c cleaning 116002 clauses out of 232004 with flag 15085495/6893002
657.17/654.13	c cleaning 116996 clauses out of 234000 with flag 15335868/7011000
670.92/667.88	c cleaning 118000 clauses out of 236006 with flag 15589271/7130002
683.22/680.58	c cleaning 118995 clauses out of 238004 with flag 15844063/7250000
697.55/694.87	c cleaning 119998 clauses out of 240011 with flag 16100642/7371002
713.78/711.48	c cleaning 121001 clauses out of 242011 with flag 16359080/7493000
729.09/726.77	c cleaning 122001 clauses out of 244010 with flag 16620626/7616000
744.79/743.13	c cleaning 123003 clauses out of 246009 with flag 16884369/7740000
760.99/759.20	c cleaning 124000 clauses out of 248006 with flag 17150050/7865000
776.63/775.19	c cleaning 124998 clauses out of 250007 with flag 17417859/7991001
794.43/792.97	c cleaning 126004 clauses out of 252008 with flag 17687327/8118000
814.61/813.45	c cleaning 126999 clauses out of 254004 with flag 17959089/8246000
830.54/829.27	c cleaning 128001 clauses out of 256006 with flag 18233011/8375001
847.12/846.27	c cleaning 128992 clauses out of 258004 with flag 18509021/8505000
864.58/864.17	c cleaning 130006 clauses out of 260015 with flag 18787595/8636003
882.71/881.98	c cleaning 131000 clauses out of 262006 with flag 19067804/8768000
903.23/903.10	c cleaning 131997 clauses out of 264007 with flag 19349835/8901001
917.31/917.04	c cleaning 132999 clauses out of 266011 with flag 19632681/9035002
932.12/932.46	c cleaning 134000 clauses out of 268011 with flag 19918109/9170001
948.31/948.53	c cleaning 134998 clauses out of 270011 with flag 20207534/9306001
963.47/964.27	c cleaning 136002 clauses out of 272013 with flag 20496661/9443001
982.63/983.30	c cleaning 137005 clauses out of 274010 with flag 20789431/9581000
998.19/999.44	c cleaning 137998 clauses out of 276006 with flag 21084582/9720001
1016.89/1019.06	c cleaning 138994 clauses out of 278008 with flag 21381824/9860001
1033.21/1035.20	c cleaning 139997 clauses out of 280013 with flag 21681546/10001000
1050.54/1052.55	c cleaning 141007 clauses out of 282017 with flag 21983205/10143001
1066.13/1068.00	c cleaning 141998 clauses out of 284009 with flag 22286967/10286000
1087.38/1088.91	c cleaning 143001 clauses out of 286012 with flag 22592375/10430001
1106.26/1108.39	c cleaning 144000 clauses out of 288010 with flag 22899596/10575000
1126.76/1128.89	c cleaning 144992 clauses out of 290011 with flag 23209577/10721001
1146.54/1149.14	c cleaning 146007 clauses out of 292019 with flag 23520916/10868001
1170.15/1173.33	c cleaning 147004 clauses out of 294014 with flag 23834306/11016003
1190.96/1194.08	c cleaning 147998 clauses out of 296007 with flag 24149730/11165000
1211.07/1214.61	c cleaning 149002 clauses out of 298009 with flag 24467089/11315000
1232.20/1236.34	c cleaning 150000 clauses out of 300007 with flag 24787705/11466000
1255.99/1260.00	c cleaning 150997 clauses out of 302008 with flag 25110523/11618001
1280.09/1284.61	c cleaning 152002 clauses out of 304010 with flag 25435462/11771000
1309.49/1314.55	c cleaning 153000 clauses out of 306009 with flag 25761965/11925001
1328.51/1334.48	c cleaning 153999 clauses out of 308008 with flag 26089870/12080000
1353.58/1359.52	c cleaning 154996 clauses out of 310009 with flag 26420419/12236000
1376.81/1382.77	c cleaning 156004 clauses out of 312015 with flag 26753708/12393002
1399.43/1405.43	c cleaning 157004 clauses out of 314009 with flag 27088873/12551000
1423.45/1429.63	c cleaning 157997 clauses out of 316006 with flag 27425535/12710001
1440.49/1446.68	c cleaning 159000 clauses out of 318008 with flag 27763224/12870000
1455.79/1461.98	c cleaning 159998 clauses out of 320008 with flag 28103790/13031000
1473.76/1479.88	c cleaning 161000 clauses out of 322011 with flag 28446780/13193001
1490.57/1496.81	c cleaning 162004 clauses out of 324011 with flag 28791390/13356001
1508.49/1514.82	c cleaning 162997 clauses out of 326007 with flag 29138911/13520001
1528.66/1534.98	c cleaning 163995 clauses out of 328009 with flag 29489774/13685000
1548.24/1554.55	c cleaning 165004 clauses out of 330014 with flag 29842677/13851000
1567.80/1573.88	c cleaning 165995 clauses out of 332011 with flag 30197425/14018001
1586.41/1592.31	c cleaning 167005 clauses out of 334016 with flag 30553736/14186001
1610.66/1616.71	c cleaning 168002 clauses out of 336011 with flag 30912512/14355001
1637.65/1643.83	c cleaning 168996 clauses out of 338010 with flag 31274818/14525002
1659.84/1666.56	c cleaning 170002 clauses out of 340014 with flag 31638616/14696002
1685.08/1691.70	c cleaning 170998 clauses out of 342010 with flag 32004672/14868000
1708.86/1715.64	c cleaning 172001 clauses out of 344012 with flag 32370952/15041000
1728.34/1735.37	c cleaning 173002 clauses out of 346012 with flag 32741003/15215001
1747.51/1754.42	c cleaning 174002 clauses out of 348010 with flag 33112789/15390001
1768.78/1775.97	c cleaning 175004 clauses out of 350008 with flag 33486381/15566001
1791.35/1798.78	c cleaning 176000 clauses out of 352003 with flag 33862760/15743000
1812.50/1819.99	c cleaning 176995 clauses out of 354004 with flag 34239178/15921001
1836.36/1843.78	c cleaning 178002 clauses out of 356010 with flag 34616615/16100002
1857.91/1865.37	c cleaning 178991 clauses out of 358006 with flag 34997428/16280000
1881.75/1888.91	c cleaning 180000 clauses out of 360015 with flag 35380404/16461000
1904.46/1911.65	c cleaning 181007 clauses out of 362016 with flag 35765079/16643001
1927.58/1934.78	c cleaning 182000 clauses out of 364009 with flag 36151135/16826001
1953.23/1960.56	c cleaning 183001 clauses out of 366008 with flag 36540024/17010000
1981.98/1989.28	c cleaning 183992 clauses out of 368007 with flag 36933824/17195000
2007.15/2014.42	c cleaning 185007 clauses out of 370016 with flag 37328778/17381001
2031.10/2038.41	c cleaning 185999 clauses out of 372010 with flag 37726006/17568002
2056.82/2064.18	c cleaning 187000 clauses out of 374009 with flag 38125363/17756000
2083.35/2090.75	c cleaning 188003 clauses out of 376010 with flag 38526380/17945001
2107.66/2115.01	c cleaning 188994 clauses out of 378006 with flag 38929591/18135000
2137.21/2144.29	c cleaning 190005 clauses out of 380013 with flag 39334856/18326001
2162.72/2169.84	c cleaning 191000 clauses out of 382007 with flag 39740597/18518000
2187.97/2195.15	c cleaning 192000 clauses out of 384007 with flag 40149083/18711000
2217.35/2224.58	c cleaning 193003 clauses out of 386007 with flag 40561056/18905000
2244.26/2251.47	c cleaning 194001 clauses out of 388004 with flag 40974678/19100000
2273.08/2280.34	c cleaning 194998 clauses out of 390003 with flag 41391637/19296000
2301.90/2309.01	c cleaning 195996 clauses out of 392008 with flag 41808682/19493003
2332.51/2340.08	c cleaning 197005 clauses out of 394009 with flag 42229601/19691000
2368.13/2375.70	c cleaning 197990 clauses out of 396005 with flag 42650756/19890001
2401.64/2409.34	c cleaning 199000 clauses out of 398014 with flag 43072376/20090000
2433.32/2441.08	c cleaning 200001 clauses out of 400016 with flag 43496563/20291002
2465.54/2472.95	c cleaning 200996 clauses out of 402014 with flag 43925490/20493001
2495.76/2503.24	c cleaning 202003 clauses out of 404019 with flag 44355756/20696002
2529.51/2537.13	c cleaning 203003 clauses out of 406014 with flag 44788436/20900000
2559.10/2566.76	c cleaning 204003 clauses out of 408013 with flag 45225239/21105002
2590.75/2598.41	c cleaning 204996 clauses out of 410009 with flag 45661261/21311001
2628.83/2636.14	c cleaning 206002 clauses out of 412012 with flag 46100839/21518000
2672.60/2680.03	c cleaning 206997 clauses out of 414010 with flag 46543273/21726000
2713.73/2722.54	c cleaning 208002 clauses out of 416013 with flag 46987599/21935000
2748.94/2757.85	c cleaning 209002 clauses out of 418012 with flag 47432613/22145001
2789.19/2798.05	c cleaning 209996 clauses out of 420009 with flag 47878499/22356000
2831.07/2839.68	c cleaning 210997 clauses out of 422013 with flag 48326210/22568000
2872.31/2881.00	c cleaning 212008 clauses out of 424018 with flag 48775779/22781002
2910.04/2918.69	c cleaning 213001 clauses out of 426009 with flag 49230577/22995001
2945.97/2954.68	c cleaning 214001 clauses out of 428007 with flag 49687637/23210000
2982.24/2991.04	c cleaning 214998 clauses out of 430006 with flag 50145418/23426000
3019.44/3027.80	c cleaning 215989 clauses out of 432008 with flag 50607109/23643000
3054.98/3063.38	c cleaning 217006 clauses out of 434019 with flag 51069897/23861000
3088.42/3096.82	c cleaning 218007 clauses out of 436014 with flag 51534487/24080001
3125.69/3134.18	c cleaning 218996 clauses out of 438006 with flag 52002085/24300000
3162.95/3171.75	c cleaning 220004 clauses out of 440011 with flag 52471744/24521001
3204.59/3212.94	c cleaning 220997 clauses out of 442006 with flag 52941801/24743000
3248.20/3256.52	c cleaning 222002 clauses out of 444009 with flag 53415021/24966000
3289.42/3297.86	c cleaning 222993 clauses out of 446007 with flag 53889749/25190000
3318.36/3326.83	c cleaning 224005 clauses out of 448015 with flag 54366224/25415001
3353.26/3361.31	c cleaning 225001 clauses out of 450009 with flag 54844472/25641000
3392.52/3400.67	c cleaning 225994 clauses out of 452009 with flag 55324191/25868001
3433.90/3441.94	c cleaning 227004 clauses out of 454016 with flag 55806697/26096002
3466.81/3474.25	c cleaning 227997 clauses out of 456012 with flag 56292303/26325002
3499.82/3507.36	c cleaning 229006 clauses out of 458013 with flag 56779703/26555000
3534.32/3542.02	c cleaning 229998 clauses out of 460007 with flag 57268587/26786000
3577.18/3584.91	c cleaning 231004 clauses out of 462010 with flag 57760223/27018001
3600.06/3607.49	c timeout
3600.06/3607.49	c starts		: 31868
3600.06/3607.50	c conflicts		: 27201062
3600.06/3607.50	c decisions		: 33067606
3600.06/3607.50	c propagations		: 157487224
3600.06/3607.50	c inspects		: 20522658942
3600.26/3607.50	c shortcuts		: 0
3600.26/3607.50	c learnt literals	: 0
3600.26/3607.50	c learnt binary clauses	: 0
3600.26/3607.50	c learnt ternary clauses	: 0
3600.26/3607.50	c learnt constraints	: 27201062
3600.26/3607.50	c ignored constraints	: 0
3600.26/3607.50	c root simplifications	: 0
3600.26/3607.50	c removed literals (reason simplification)	: 516387488
3600.26/3607.50	c reason swapping (by a shorter reason)	: 0
3600.26/3607.50	c Calls to reduceDB	: 228
3600.26/3607.50	c Number of update (reduction) of LBD	: 404942
3600.26/3607.50	c Imported unit clauses	: 0
3600.26/3607.50	c No decision after first conflict	: false
3600.26/3607.50	c number of reductions to clauses (during analyze)	: 0
3600.26/3607.50	c number of learned constraints concerned by reduction	: 0
3600.26/3607.50	c number of learning phase by resolution	: 0
3600.26/3607.50	c number of learning phase by cutting planes	: 0
3600.26/3607.50	c number of rounding to 1 operations	: 0
3600.26/3607.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.26/3607.50	c number of reductions of the coefficients by power 2 	: 0
3600.26/3607.50	c number of right shift for reduction by power 2 	: 0
3600.26/3607.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.26/3607.50	c number of ending skipping 	: 0
3600.26/3607.50	c number of internal skipping 	: 0
3600.26/3607.50	c number of derivation steps 	: 0
3600.26/3607.50	c number of skipped derivation steps 	: 0
3600.26/3607.50	c number of remaining unassigned 	: 0
3600.26/3607.50	c number of remaining assigned 	: 0
3600.26/3607.50	c number of falsified literals weakened from reason	: 0
3600.26/3607.50	c number of falsified literals weakened from conflict	: 0
3600.26/3607.50	c time for arithmetic operations	: 0
3600.26/3607.50	c minimum degree of deleted constraints	: null
3600.26/3607.50	c maximum degree of deleted constraints	: null
3600.26/3607.50	c number of deleted constraints	: 0
3600.26/3607.50	c speed (assignments/second)	: 43657.66839158478
3600.26/3607.50	c non guided choices	: 58
3600.26/3607.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 414067
3600.26/3607.57	s UNKNOWN
3600.26/3607.57	c Total wall clock time (in seconds): 3607.429

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=36221, runsolver pid=36218

[startup+0.100051 s]*
/proc/loadavg: 4.63 4.52 4.39 7/344 36239
/proc/meminfo: memFree=30337060/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=18930384 memory=57804 CPUtime=0.12 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 6561 0 4 0 10 2 0 0 20 0 18 0 39413574 19384713216 14451 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4732596 14451 5348 1 0 547642 0
[pid=36221/tid=36223] ppid=36218 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 5050 0 1 0 6 1 0 0 20 0 18 0 39413576 19384713216 14451 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=18930384 memory=241407623509 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39413578 19384713216 14451 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=18930384 memory=60684515952020 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39413579 19384713216 14451 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57804 KiB

[startup+0.205997 s]*
/proc/loadavg: 4.63 4.52 4.39 8/345 36240
/proc/meminfo: memFree=30331452/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=18996948 memory=62472 CPUtime=0.31 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 7160 0 4 0 29 2 0 0 20 0 19 0 39413574 19452874752 15618 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4749237 15618 5444 1 0 548309 0
[pid=36221/tid=36223] ppid=36218 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 5323 0 1 0 15 1 0 0 20 0 19 0 39413576 19452874752 15618 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=18996948 memory=16898 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39413578 19452874752 15618 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=18996948 memory=59585004307431 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39413579 19452874752 15618 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=18996948 memory=4312038 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39413593 19452874752 15618 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62472 KiB

[startup+0.306152 s]*
/proc/loadavg: 4.63 4.52 4.39 7/345 36240
/proc/meminfo: memFree=30311036/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=18996948 memory=82100 CPUtime=0.5 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 8336 0 4 0 47 3 0 0 20 0 19 0 39413574 19452874752 20525 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4749237 20525 5444 1 0 548981 0
[pid=36221/tid=36223] ppid=36218 vsize=18996948 memory=-6000919472773817964 CPUtime=0.26 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 5345 0 1 0 25 1 0 0 20 0 19 0 39413576 19452874752 20525 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39413578 19452874752 20525 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39413579 19452874752 20525 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39413593 19452874752 20525 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82100 KiB

[startup+0.700259 s]
/proc/loadavg: 4.63 4.52 4.39 6/345 36240
/proc/meminfo: memFree=30242672/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=158480 CPUtime=1.26 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 9886 0 4 0 121 5 0 0 20 0 20 0 39413574 19521036288 39620 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 39620 5476 1 0 549685 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=18048 CPUtime=0.64 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 5384 0 1 0 61 3 0 0 20 0 20 0 39413576 19521036288 39620 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 39620 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 39620 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 39620 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 158480 KiB

[startup+1.50026 s]
/proc/loadavg: 4.63 4.52 4.39 6/346 36241
/proc/meminfo: memFree=30196424/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=175060 CPUtime=2.85 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 19829 0 4 0 277 8 0 0 20 0 20 0 39413574 19521036288 43765 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 43765 5476 1 0 552688 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=0 CPUtime=1.42 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 5827 0 1 0 138 4 0 0 20 0 20 0 39413576 19521036288 43765 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 43765 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 43765 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 43765 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175060 KiB

[startup+3.10587 s]
/proc/loadavg: 4.63 4.52 4.39 5/346 36241
/proc/meminfo: memFree=29805624/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=544620 CPUtime=5.37 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 22725 0 4 0 517 20 0 0 20 0 20 0 39413574 19521036288 136155 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 136155 5476 1 0 552761 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=10752 CPUtime=3.01 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 6477 0 1 0 286 15 0 0 20 0 20 0 39413576 19521036288 136155 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=-6000919472773817964 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 136155 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 136155 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 136155 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 5.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 544620 KiB

[startup+6.30023 s]
/proc/loadavg: 4.58 4.51 4.38 6/346 36241
/proc/meminfo: memFree=29396216/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=764384 CPUtime=8.77 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 23128 0 4 0 847 30 0 0 20 0 20 0 39413574 19521036288 191096 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 191096 5476 1 0 552763 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=0 CPUtime=6.16 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 6730 0 1 0 592 24 0 0 20 0 20 0 39413576 19521036288 191096 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 191096 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 191096 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=175116 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 191096 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 764384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.54 4.50 4.38 5/347 36242
/proc/meminfo: memFree=28676640/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=1325640 CPUtime=15.29 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 28524 0 4 0 1480 49 0 0 20 0 20 0 39413574 19521036288 331410 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 331410 5476 1 0 552763 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=175116 CPUtime=12.5 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 7964 0 1 0 1208 42 0 0 20 0 20 0 39413576 19521036288 331410 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=1319464 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 331410 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 331410 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 331410 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325640 KiB

[startup+25.5002 s]
/proc/loadavg: 4.42 4.48 4.37 5/347 36243
/proc/meminfo: memFree=28180920/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=1327696 CPUtime=28.1 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 31267 0 4 0 2746 64 0 0 20 0 20 0 39413574 19521036288 331924 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 331924 5476 1 0 552763 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=1319464 CPUtime=25.21 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 9085 0 1 0 2465 56 0 0 20 0 20 0 39413576 19521036288 331924 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 331924 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=-6000919472773817964 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 331924 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 331924 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 28.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1327696 KiB

[startup+51.106 s]
/proc/loadavg: 4.47 4.49 4.38 6/349 36245
/proc/meminfo: memFree=27307956/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=1350244 CPUtime=53.49 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 34053 0 4 0 5262 87 0 0 20 0 20 0 39413574 19521036288 337561 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 337561 5476 1 0 552763 0

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

[startup+3282.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/346 36703
/proc/meminfo: memFree=35649520/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2125788 CPUtime=3273.94 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 132048 0 4 0 325184 2210 0 0 20 0 20 0 39413574 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 531447 5508 1 0 543807 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=-6000919472773817964 CPUtime=3224.34 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 48505 0 1 0 320352 2082 0 0 20 0 20 0 39413576 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1664 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125788 KiB

[startup+3342.3 s]
/proc/loadavg: 4.38 4.24 4.19 5/345 36706
/proc/meminfo: memFree=34484920/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2125788 CPUtime=3334.31 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 134814 0 4 0 331182 2249 0 0 20 0 20 0 39413574 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 531447 5508 1 0 543813 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=5504 CPUtime=3283.51 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 49645 0 1 0 326232 2119 0 0 20 0 20 0 39413576 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=-6000919472773817964 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1757 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3334.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125788 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.18 6/345 36711
/proc/meminfo: memFree=33445924/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2125788 CPUtime=3394.23 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 135790 0 4 0 337141 2282 0 0 20 0 20 0 39413574 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 531447 5508 1 0 543813 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=18048 CPUtime=3342.65 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 50374 0 1 0 332116 2149 0 0 20 0 20 0 39413576 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1757 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3394.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125788 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/345 36713
/proc/meminfo: memFree=32690368/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2125788 CPUtime=3454.26 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 135861 0 4 0 343113 2313 0 0 20 0 20 0 39413574 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 531447 5508 1 0 543813 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=14412 CPUtime=3401.97 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 50377 0 1 0 338018 2179 0 0 20 0 20 0 39413576 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=2158208 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 531447 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3454.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2125788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/345 36717
/proc/meminfo: memFree=32274716/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2149340 CPUtime=3514.72 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 144272 0 4 0 349117 2355 0 0 20 0 20 0 39413574 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 537335 5508 1 0 549694 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=2125788 CPUtime=3461.19 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 57398 0 1 0 343900 2219 0 0 20 0 20 0 39413576 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=2125788 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1812 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=2149340 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3514.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2149340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/346 36720
/proc/meminfo: memFree=31980624/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2149340 CPUtime=3574.59 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 145703 0 4 0 355078 2381 0 0 20 0 20 0 39413574 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 537335 5508 1 0 549710 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=3328 CPUtime=3520.45 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 58283 0 1 0 349802 2243 0 0 20 0 20 0 39413576 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=14412 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=2149340 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1892 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3574.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2149340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.4 s]
/proc/loadavg: 4.19 4.19 4.18 5/346 36722
/proc/meminfo: memFree=31607252/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19063512 memory=2149340 CPUtime=3600.06 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 148047 0 4 0 357611 2395 0 0 20 0 20 0 39413574 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4765878 537335 5508 1 0 549712 0
[pid=36221/tid=36223] ppid=36218 vsize=19063512 memory=18048 CPUtime=3545.25 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 59081 0 1 0 352268 2257 0 0 20 0 20 0 39413576 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39413578 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1983 0 0 0 0 0 0 0 20 0 20 0 39413579 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36240] ppid=36218 vsize=19063512 memory=5276 CPUtime=0 cores=4,6
/proc/36221/task/36240/stat : 36240 (Timer-0) S 36218 36221 34474 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39413593 19521036288 537335 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2149340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3576.4 s, system=23.9767 s

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

[startup+3607.5 s]
/proc/loadavg: 4.19 4.19 4.18 5/346 36722
/proc/meminfo: memFree=31607252/131250000 swapFree=33009904/33010684
[pid=36221] ppid=36218 vsize=19263204 memory=2150108 CPUtime=3600.26 cores=4,6
/proc/36221/stat : 36221 (java) S 36218 36221 34474 0 -1 4194304 150120 0 4 0 357630 2396 0 0 20 0 21 0 39413574 19725520896 537527 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
/proc/36221/statm: 4815801 537527 5540 1 0 550627 0
[pid=36221/tid=36223] ppid=36218 vsize=19263204 memory=5276 CPUtime=3545.26 cores=4,6
/proc/36221/task/36223/stat : 36223 (java) R 36218 36221 34474 0 -1 4194368 59505 0 1 0 352269 2257 0 0 20 0 21 0 39413576 19725520896 537527 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36232] ppid=36218 vsize=19263204 memory=2149340 CPUtime=0 cores=4,6
/proc/36221/task/36232/stat : 36232 (Finalizer) S 36218 36221 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39413578 19725520896 537527 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
[pid=36221/tid=36239] ppid=36218 vsize=19263204 memory=19584 CPUtime=0 cores=4,6
/proc/36221/task/36239/stat : 36239 (Common-Cleaner) S 36218 36221 34474 0 -1 4194368 1983 0 0 0 0 0 0 0 20 0 21 0 39413579 19725520896 537527 18446744073709551615 94045846978560 94045846982256 140721570873392 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94045846990072 94045846990864 94045874262016 140721570875696 140721570875878 140721570875878 140721570881480 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2150108 KiB

Child status: 143

Real time (s): 3607.6
CPU time (s): 3600.38
CPU user time (s): 3576.4
CPU system time (s): 23.9767
CPU usage (%): 99.7998
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2162800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.4
system time used= 23.9767
maximum resident set size= 2162800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150380
page faults= 4
swaps= 0
block input operations= 88
block output operations= 31717848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132568
involuntary context switches= 18165


# summary of solver processes directly reported to runsolver:
#   pid: 36221
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3576.4
#   total CPU system time (s): 23.9767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8533 second user time and 17.4868 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 00:49:02
IDJOB=4516039
IDBENCH=169008
IDSOLVER=3364
FILE ID=nodeC033/4516039-1751237342
RUNJOBID= nodeC033-1751234104-34966
SLURM_JOB_ID= 9587701
Free space on /tmp= 432768 MiB

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

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

MD5SUM BENCH= bc497e8177732403fc20f4b37a52cb26
RANDOM SEED=669274995

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        30382340 kB
MemAvailable:   94117992 kB
Buffers:            2128 kB
Cached:         64443992 kB
SwapCached:           68 kB
Active:         35517140 kB
Inactive:       64287916 kB
Active(anon):   35349868 kB
Inactive(anon):    26888 kB
Active(file):     167272 kB
Inactive(file): 64261028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           6421204 kB
Writeback:             0 kB
AnonPages:      35358052 kB
Mapped:           123792 kB
Shmem:             18028 kB
KReclaimable:     293184 kB
Slab:             584916 kB
SReclaimable:     293184 kB
SUnreclaim:       291732 kB
KernelStack:        5280 kB
PageTables:        72832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   35927064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151560 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  34836480 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

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