Trace number 4516038

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.27 3591.31

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.10/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.21	c See www.sat4j.org for details.
0.24/0.23	c version PB25.v20250606
0.24/0.26	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.26	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.26	c java.vm.version	22.0.1+8-16
0.24/0.26	c java.vm.vendor	Oracle Corporation
0.24/0.26	c sun.arch.data.model	64
0.24/0.26	c java.version		22.0.1
0.24/0.26	c os.name		Linux
0.24/0.26	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.26	c os.arch		amd64
0.24/0.27	c Free memory 		2106806208
0.24/0.27	c Max memory 		16282288128
0.24/0.27	c Total memory 		2113929216
0.24/0.28	c Number of processors 	2
0.39/0.38	c Pseudo Boolean Optimization by upper bound
0.39/0.38	c --- Begin Solver configuration ---
0.39/0.38	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.39/0.38	c Learn all clauses as in MiniSAT
0.39/0.38	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.39/0.38	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.39/0.38	c Expensive reason simplification
0.39/0.38	c Glucose 2.1 dynamic restart strategy
0.39/0.38	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.39/0.38	c timeout=2147483s
0.39/0.38	c DB Simplification allowed=false
0.39/0.38	c Listener: none
0.39/0.38	c --- End Solver configuration ---
0.39/0.39	c solving HOME/instance-4516038-1751237252.opb
0.39/0.39	c reading problem ... 
0.39/0.39	c  no objective function found
0.56/0.47	c ... done. Wall clock time 0.074s.
0.56/0.47	c declared #vars     204
0.56/0.47	c #constraints  409
0.56/0.47	c constraints type 
0.56/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 408
0.56/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.56/0.47	c 409 constraints processed.
2.02/1.26	c cleaning 2500 clauses out of 5000 with flag 10573/5000
2.98/1.74	c cleaning 4250 clauses out of 8501 with flag 23235/11001
3.37/1.99	c cleaning 5625 clauses out of 11251 with flag 38088/18001
3.76/2.26	c cleaning 6813 clauses out of 13627 with flag 54940/26002
4.16/2.54	c cleaning 7906 clauses out of 15812 with flag 73928/35000
4.46/2.81	c cleaning 8949 clauses out of 17907 with flag 94997/45001
4.88/3.17	c cleaning 9980 clauses out of 19959 with flag 118229/56002
5.28/3.51	c cleaning 10989 clauses out of 21979 with flag 143617/68002
5.68/3.96	c cleaning 11993 clauses out of 23988 with flag 171006/81000
6.28/4.51	c cleaning 12997 clauses out of 25996 with flag 200679/95001
6.80/5.09	c cleaning 13996 clauses out of 27998 with flag 232429/110000
7.53/5.74	c cleaning 15002 clauses out of 30003 with flag 266192/126001
8.17/6.39	c cleaning 15999 clauses out of 32000 with flag 302120/143000
9.04/7.17	c cleaning 17000 clauses out of 34002 with flag 340199/161001
9.94/8.07	c cleaning 18001 clauses out of 36002 with flag 380410/180001
10.72/8.89	c cleaning 19001 clauses out of 38001 with flag 422662/200001
11.72/9.83	c cleaning 20000 clauses out of 40000 with flag 467183/221001
12.72/10.83	c cleaning 21000 clauses out of 42000 with flag 513570/243001
13.62/11.78	c cleaning 21995 clauses out of 43999 with flag 562141/266000
14.71/12.87	c cleaning 22997 clauses out of 46004 with flag 612681/290000
16.42/14.56	c cleaning 24004 clauses out of 48007 with flag 665309/315000
18.59/16.71	c cleaning 24997 clauses out of 50004 with flag 720108/341001
21.17/19.35	c cleaning 25999 clauses out of 52006 with flag 777144/368000
23.17/21.31	c cleaning 27002 clauses out of 54007 with flag 836168/396000
24.99/23.18	c cleaning 27998 clauses out of 56006 with flag 897438/425001
26.99/25.14	c cleaning 28997 clauses out of 58007 with flag 960741/455000
28.78/27.00	c cleaning 30000 clauses out of 60011 with flag 1026361/486001
31.47/29.62	c cleaning 30998 clauses out of 62010 with flag 1094133/518000
33.77/31.99	c cleaning 32002 clauses out of 64012 with flag 1163753/551000
36.66/34.90	c cleaning 33003 clauses out of 66010 with flag 1235541/585000
39.56/37.78	c cleaning 33998 clauses out of 68008 with flag 1309304/620001
43.42/41.60	c cleaning 35001 clauses out of 70010 with flag 1385363/656001
46.29/44.53	c cleaning 36003 clauses out of 72008 with flag 1463035/693000
49.58/47.83	c cleaning 36999 clauses out of 74006 with flag 1543104/731001
52.48/50.74	c cleaning 37998 clauses out of 76006 with flag 1625261/770000
55.37/53.65	c cleaning 39002 clauses out of 78009 with flag 1709484/810001
58.63/56.87	c cleaning 39997 clauses out of 80006 with flag 1796040/851000
62.12/60.38	c cleaning 40998 clauses out of 82011 with flag 1884628/893002
66.21/64.40	c cleaning 42002 clauses out of 84012 with flag 1975197/936001
71.09/69.30	c cleaning 43003 clauses out of 86011 with flag 2067837/980002
75.58/73.81	c cleaning 44002 clauses out of 88006 with flag 2162513/1025000
80.29/78.57	c cleaning 45000 clauses out of 90004 with flag 2259273/1071000
85.14/83.29	c cleaning 45996 clauses out of 92005 with flag 2361808/1118001
93.10/91.02	c cleaning 47002 clauses out of 94009 with flag 2477128/1166001
98.38/96.33	c cleaning 48004 clauses out of 96008 with flag 2596485/1215002
107.25/105.20	c cleaning 48993 clauses out of 98003 with flag 2725003/1265001
116.41/114.48	c cleaning 50005 clauses out of 100009 with flag 2854187/1316000
122.87/120.80	c cleaning 51002 clauses out of 102004 with flag 2981624/1368000
129.84/127.88	c cleaning 52002 clauses out of 104003 with flag 3116668/1421001
137.92/135.93	c cleaning 52990 clauses out of 106000 with flag 3250282/1475000
141.19/139.29	c cleaning 54004 clauses out of 108010 with flag 3380497/1530000
145.23/143.20	c cleaning 54998 clauses out of 110006 with flag 3515219/1586000
149.13/147.12	c cleaning 56003 clauses out of 112009 with flag 3654276/1643001
152.81/150.82	c cleaning 57002 clauses out of 114007 with flag 3794584/1701002
157.91/155.92	c cleaning 57997 clauses out of 116003 with flag 3946945/1760000
161.53/159.56	c cleaning 58998 clauses out of 118006 with flag 4094558/1820000
163.92/161.93	c cleaning 59995 clauses out of 120008 with flag 4233773/1881000
166.82/164.82	c cleaning 61002 clauses out of 122013 with flag 4377405/1943000
170.12/168.13	c cleaning 62001 clauses out of 124013 with flag 4528672/2006002
172.71/170.77	c cleaning 63003 clauses out of 126010 with flag 4674883/2070000
175.31/173.39	c cleaning 64000 clauses out of 128007 with flag 4821926/2135000
178.30/176.35	c cleaning 65002 clauses out of 130008 with flag 4973744/2201001
180.69/178.71	c cleaning 66002 clauses out of 132005 with flag 5127319/2268000
184.29/182.32	c cleaning 67000 clauses out of 134004 with flag 5288078/2336001
187.58/185.61	c cleaning 68001 clauses out of 136004 with flag 5453221/2405001
192.09/189.70	c cleaning 69000 clauses out of 138002 with flag 5614583/2475000
196.06/193.77	c cleaning 69999 clauses out of 140003 with flag 5778019/2546001
199.30/196.97	c cleaning 70990 clauses out of 142003 with flag 5942755/2618000
202.79/200.43	c cleaning 72002 clauses out of 144013 with flag 6114453/2691000
205.83/203.46	c cleaning 73005 clauses out of 146012 with flag 6287256/2765001
208.92/206.50	c cleaning 74000 clauses out of 148006 with flag 6452473/2840000
213.91/211.57	c cleaning 75001 clauses out of 150008 with flag 6625865/2916002
219.52/217.20	c cleaning 76000 clauses out of 152007 with flag 6794304/2993002
223.41/221.02	c cleaning 77001 clauses out of 154005 with flag 6968584/3071000
227.89/225.57	c cleaning 77999 clauses out of 156006 with flag 7138689/3150002
232.18/229.81	c cleaning 78996 clauses out of 158006 with flag 7308574/3230001
237.02/234.66	c cleaning 80004 clauses out of 160010 with flag 7480184/3311001
241.91/239.52	c cleaning 81001 clauses out of 162006 with flag 7654117/3393001
247.41/245.03	c cleaning 82002 clauses out of 164005 with flag 7830676/3476001
252.89/250.54	c cleaning 82998 clauses out of 166002 with flag 8009299/3560000
259.61/257.15	c cleaning 83997 clauses out of 168005 with flag 8189915/3645001
266.28/263.86	c cleaning 84998 clauses out of 170008 with flag 8372778/3731001
273.51/271.01	c cleaning 86000 clauses out of 172009 with flag 8557754/3818000
280.89/278.44	c cleaning 87002 clauses out of 174009 with flag 8744788/3906000
290.32/287.84	c cleaning 87998 clauses out of 176007 with flag 8934462/3995000
299.11/296.67	c cleaning 88998 clauses out of 178012 with flag 9126140/4085003
308.17/305.63	c cleaning 90004 clauses out of 180012 with flag 9319335/4176001
316.56/314.08	c cleaning 91004 clauses out of 182010 with flag 9515032/4268003
329.57/327.06	c cleaning 91995 clauses out of 184004 with flag 9712449/4361001
341.14/338.61	c cleaning 93004 clauses out of 186009 with flag 9912142/4455001
348.67/345.88	c cleaning 93999 clauses out of 188005 with flag 10113492/4550001
355.15/352.34	c cleaning 95000 clauses out of 190006 with flag 10317213/4646001
364.15/361.33	c cleaning 95996 clauses out of 192005 with flag 10522706/4743000
372.34/369.60	c cleaning 97005 clauses out of 194010 with flag 10730773/4841001
379.52/376.70	c cleaning 98000 clauses out of 196004 with flag 10940194/4940000
388.45/385.65	c cleaning 99000 clauses out of 198005 with flag 11152394/5040001
395.95/393.18	c cleaning 100001 clauses out of 200004 with flag 11366491/5141000
403.53/400.73	c cleaning 100998 clauses out of 202003 with flag 11583187/5243000
412.00/409.12	c cleaning 101994 clauses out of 204006 with flag 11802242/5346001
421.27/418.43	c cleaning 103004 clauses out of 206012 with flag 12023279/5450001
429.37/426.54	c cleaning 104000 clauses out of 208007 with flag 12246370/5555000
438.34/435.43	c cleaning 105001 clauses out of 210007 with flag 12471847/5661000
447.52/444.64	c cleaning 105999 clauses out of 212007 with flag 12699743/5768001
457.71/454.87	c cleaning 106995 clauses out of 214008 with flag 12929366/5876001
467.66/464.82	c cleaning 108001 clauses out of 216012 with flag 13160091/5985000
476.91/474.03	c cleaning 109005 clauses out of 218013 with flag 13393488/6095002
484.48/481.64	c cleaning 110001 clauses out of 220007 with flag 13629165/6206001
492.46/489.69	c cleaning 111004 clauses out of 222007 with flag 13866083/6318002
500.40/497.59	c cleaning 111994 clauses out of 224002 with flag 14105567/6431001
509.08/506.24	c cleaning 113003 clauses out of 226007 with flag 14347150/6545000
517.77/514.89	c cleaning 114001 clauses out of 228004 with flag 14591508/6660000
530.45/527.16	c cleaning 115001 clauses out of 230004 with flag 14837379/6776001
540.43/537.19	c cleaning 116002 clauses out of 232004 with flag 15085495/6893002
551.93/548.62	c cleaning 116996 clauses out of 234000 with flag 15335868/7011000
563.90/560.54	c cleaning 118000 clauses out of 236006 with flag 15589271/7130002
574.53/571.13	c cleaning 118995 clauses out of 238004 with flag 15844063/7250000
587.17/583.67	c cleaning 119998 clauses out of 240011 with flag 16100642/7371002
601.92/598.32	c cleaning 121001 clauses out of 242011 with flag 16359080/7493000
615.43/611.73	c cleaning 122001 clauses out of 244010 with flag 16620626/7616000
629.12/625.36	c cleaning 123003 clauses out of 246009 with flag 16884369/7740000
643.94/640.19	c cleaning 124000 clauses out of 248006 with flag 17150050/7865000
657.93/653.94	c cleaning 124998 clauses out of 250007 with flag 17417859/7991001
674.11/669.98	c cleaning 126004 clauses out of 252008 with flag 17687327/8118000
692.99/688.47	c cleaning 126999 clauses out of 254004 with flag 17959089/8246000
707.22/702.64	c cleaning 128001 clauses out of 256006 with flag 18233011/8375001
721.72/717.14	c cleaning 128992 clauses out of 258004 with flag 18509021/8505000
737.44/732.85	c cleaning 130006 clauses out of 260015 with flag 18787595/8636003
753.42/748.74	c cleaning 131000 clauses out of 262006 with flag 19067804/8768000
771.50/766.88	c cleaning 131997 clauses out of 264007 with flag 19349835/8901001
783.54/778.87	c cleaning 132999 clauses out of 266011 with flag 19632681/9035002
796.12/791.49	c cleaning 134000 clauses out of 268011 with flag 19918109/9170001
810.36/805.64	c cleaning 134998 clauses out of 270011 with flag 20207534/9306001
823.43/818.78	c cleaning 136002 clauses out of 272013 with flag 20496661/9443001
840.45/835.70	c cleaning 137005 clauses out of 274010 with flag 20789431/9581000
854.14/849.48	c cleaning 137998 clauses out of 276006 with flag 21084582/9720001
870.63/865.92	c cleaning 138994 clauses out of 278008 with flag 21381824/9860001
884.12/879.45	c cleaning 139997 clauses out of 280013 with flag 21681546/10001000
899.81/895.02	c cleaning 141007 clauses out of 282017 with flag 21983205/10143001
914.12/908.24	c cleaning 141998 clauses out of 284009 with flag 22286967/10286000
932.51/926.66	c cleaning 143001 clauses out of 286012 with flag 22592375/10430001
949.27/943.45	c cleaning 144000 clauses out of 288010 with flag 22899596/10575000
969.18/963.36	c cleaning 144992 clauses out of 290011 with flag 23209577/10721001
986.55/980.74	c cleaning 146007 clauses out of 292019 with flag 23520916/10868001
1007.36/1001.57	c cleaning 147004 clauses out of 294014 with flag 23834306/11016003
1026.02/1020.27	c cleaning 147998 clauses out of 296007 with flag 24149730/11165000
1045.22/1039.49	c cleaning 149002 clauses out of 298009 with flag 24467089/11315000
1064.58/1058.82	c cleaning 150000 clauses out of 300007 with flag 24787705/11466000
1086.24/1080.41	c cleaning 150997 clauses out of 302008 with flag 25110523/11618001
1108.10/1102.33	c cleaning 152002 clauses out of 304010 with flag 25435462/11771000
1137.01/1131.23	c cleaning 153000 clauses out of 306009 with flag 25761965/11925001
1153.48/1147.71	c cleaning 153999 clauses out of 308008 with flag 26089870/12080000
1176.85/1171.07	c cleaning 154996 clauses out of 310009 with flag 26420419/12236000
1197.91/1192.18	c cleaning 156004 clauses out of 312015 with flag 26753708/12393002
1219.11/1213.35	c cleaning 157004 clauses out of 314009 with flag 27088873/12551000
1241.07/1235.28	c cleaning 157997 clauses out of 316006 with flag 27425535/12710001
1255.16/1249.37	c cleaning 159000 clauses out of 318008 with flag 27763224/12870000
1269.20/1263.34	c cleaning 159998 clauses out of 320008 with flag 28103790/13031000
1284.76/1278.81	c cleaning 161000 clauses out of 322011 with flag 28446780/13193001
1298.64/1292.73	c cleaning 162004 clauses out of 324011 with flag 28791390/13356001
1314.22/1308.36	c cleaning 162997 clauses out of 326007 with flag 29138911/13520001
1332.00/1326.19	c cleaning 163995 clauses out of 328009 with flag 29489774/13685000
1350.39/1344.65	c cleaning 165004 clauses out of 330014 with flag 29842677/13851000
1367.47/1361.72	c cleaning 165995 clauses out of 332011 with flag 30197425/14018001
1383.39/1377.67	c cleaning 167005 clauses out of 334016 with flag 30553736/14186001
1405.72/1399.95	c cleaning 168002 clauses out of 336011 with flag 30912512/14355001
1430.37/1424.63	c cleaning 168996 clauses out of 338010 with flag 31274818/14525002
1449.86/1444.18	c cleaning 170002 clauses out of 340014 with flag 31638616/14696002
1472.91/1467.21	c cleaning 170998 clauses out of 342010 with flag 32004672/14868000
1494.55/1488.85	c cleaning 172001 clauses out of 344012 with flag 32370952/15041000
1511.12/1505.48	c cleaning 173002 clauses out of 346012 with flag 32741003/15215001
1529.49/1523.05	c cleaning 174002 clauses out of 348010 with flag 33112789/15390001
1548.37/1541.90	c cleaning 175004 clauses out of 350008 with flag 33486381/15566001
1568.73/1562.33	c cleaning 176000 clauses out of 352003 with flag 33862760/15743000
1586.70/1580.39	c cleaning 176995 clauses out of 354004 with flag 34239178/15921001
1608.42/1602.02	c cleaning 178002 clauses out of 356010 with flag 34616615/16100002
1626.58/1620.20	c cleaning 178991 clauses out of 358006 with flag 34997428/16280000
1647.30/1640.92	c cleaning 180000 clauses out of 360015 with flag 35380404/16461000
1666.38/1660.02	c cleaning 181007 clauses out of 362016 with flag 35765079/16643001
1687.01/1680.64	c cleaning 182000 clauses out of 364009 with flag 36151135/16826001
1710.58/1704.23	c cleaning 183001 clauses out of 366008 with flag 36540024/17010000
1737.24/1730.81	c cleaning 183992 clauses out of 368007 with flag 36933824/17195000
1758.70/1752.39	c cleaning 185007 clauses out of 370016 with flag 37328778/17381001
1779.95/1773.59	c cleaning 185999 clauses out of 372010 with flag 37726006/17568002
1802.71/1796.30	c cleaning 187000 clauses out of 374009 with flag 38125363/17756000
1826.62/1820.23	c cleaning 188003 clauses out of 376010 with flag 38526380/17945001
1847.69/1841.38	c cleaning 188994 clauses out of 378006 with flag 38929591/18135000
1874.63/1868.31	c cleaning 190005 clauses out of 380013 with flag 39334856/18326001
1897.08/1890.89	c cleaning 191000 clauses out of 382007 with flag 39740597/18518000
1919.63/1913.28	c cleaning 192000 clauses out of 384007 with flag 40149083/18711000
1946.98/1940.54	c cleaning 193003 clauses out of 386007 with flag 40561056/18905000
1970.71/1964.20	c cleaning 194001 clauses out of 388004 with flag 40974678/19100000
1997.43/1991.00	c cleaning 194998 clauses out of 390003 with flag 41391637/19296000
2021.99/2015.54	c cleaning 195996 clauses out of 392008 with flag 41808682/19493003
2049.64/2043.15	c cleaning 197005 clauses out of 394009 with flag 42229601/19691000
2081.87/2075.44	c cleaning 197990 clauses out of 396005 with flag 42650756/19890001
2112.25/2105.74	c cleaning 199000 clauses out of 398014 with flag 43072376/20090000
2140.69/2134.27	c cleaning 200001 clauses out of 400016 with flag 43496563/20291002
2169.91/2163.49	c cleaning 200996 clauses out of 402014 with flag 43925490/20493001
2197.06/2190.60	c cleaning 202003 clauses out of 404019 with flag 44355756/20696002
2227.71/2221.21	c cleaning 203003 clauses out of 406014 with flag 44788436/20900000
2253.71/2247.18	c cleaning 204003 clauses out of 408013 with flag 45225239/21105002
2282.87/2275.16	c cleaning 204996 clauses out of 410009 with flag 45661261/21311001
2317.40/2309.74	c cleaning 206002 clauses out of 412012 with flag 46100839/21518000
2358.41/2350.86	c cleaning 206997 clauses out of 414010 with flag 46543273/21726000
2396.92/2389.42	c cleaning 208002 clauses out of 416013 with flag 46987599/21935000
2428.53/2421.06	c cleaning 209002 clauses out of 418012 with flag 47432613/22145001
2466.59/2459.02	c cleaning 209996 clauses out of 420009 with flag 47878499/22356000
2504.54/2496.99	c cleaning 210997 clauses out of 422013 with flag 48326210/22568000
2542.27/2534.79	c cleaning 212008 clauses out of 424018 with flag 48775779/22781002
2577.62/2570.03	c cleaning 213001 clauses out of 426009 with flag 49230577/22995001
2609.35/2601.81	c cleaning 214001 clauses out of 428007 with flag 49687637/23210000
2643.25/2635.87	c cleaning 214998 clauses out of 430006 with flag 50145418/23426000
2676.82/2669.33	c cleaning 215989 clauses out of 432008 with flag 50607109/23643000
2707.98/2700.56	c cleaning 217006 clauses out of 434019 with flag 51069897/23861000
2738.32/2730.95	c cleaning 218007 clauses out of 436014 with flag 51534487/24080001
2772.87/2765.59	c cleaning 218996 clauses out of 438006 with flag 52002085/24300000
2807.63/2800.39	c cleaning 220004 clauses out of 440011 with flag 52471744/24521001
2845.40/2838.05	c cleaning 220997 clauses out of 442006 with flag 52941801/24743000
2885.12/2877.79	c cleaning 222002 clauses out of 444009 with flag 53415021/24966000
2923.24/2915.84	c cleaning 222993 clauses out of 446007 with flag 53889749/25190000
2949.02/2941.55	c cleaning 224005 clauses out of 448015 with flag 54366224/25415001
2980.27/2972.82	c cleaning 225001 clauses out of 450009 with flag 54844472/25641000
3015.64/3008.21	c cleaning 225994 clauses out of 452009 with flag 55324191/25868001
3052.78/3045.47	c cleaning 227004 clauses out of 454016 with flag 55806697/26096002
3081.38/3074.01	c cleaning 227997 clauses out of 456012 with flag 56292303/26325002
3113.35/3106.00	c cleaning 229006 clauses out of 458013 with flag 56779703/26555000
3144.01/3136.54	c cleaning 229998 clauses out of 460007 with flag 57268587/26786000
3185.85/3177.01	c cleaning 231004 clauses out of 462010 with flag 57760223/27018001
3220.03/3211.26	c cleaning 232002 clauses out of 464005 with flag 58254017/27251000
3262.51/3253.77	c cleaning 232999 clauses out of 466003 with flag 58750603/27485000
3305.44/3296.69	c cleaning 233995 clauses out of 468005 with flag 59250765/27720001
3345.45/3336.69	c cleaning 234995 clauses out of 470009 with flag 59752983/27956000
3403.03/3394.22	c cleaning 236006 clauses out of 472014 with flag 60257335/28193000
3443.63/3434.87	c cleaning 236998 clauses out of 474008 with flag 60763673/28431000
3487.48/3478.64	c cleaning 238006 clauses out of 476012 with flag 61272554/28670002
3531.21/3522.33	c cleaning 238996 clauses out of 478004 with flag 61783640/28910000
3579.11/3570.35	c cleaning 239994 clauses out of 480008 with flag 62295913/29151000
3600.02/3591.13	c timeout
3600.02/3591.13	c starts		: 31868
3600.02/3591.15	c conflicts		: 29324169
3600.02/3591.15	c decisions		: 35383671
3600.02/3591.15	c propagations		: 169074633
3600.02/3591.15	c inspects		: 22920148577
3600.02/3591.15	c shortcuts		: 0
3600.02/3591.15	c learnt literals	: 0
3600.02/3591.15	c learnt binary clauses	: 0
3600.02/3591.15	c learnt ternary clauses	: 0
3600.02/3591.15	c learnt constraints	: 29324169
3600.02/3591.15	c ignored constraints	: 0
3600.02/3591.15	c root simplifications	: 0
3600.02/3591.15	c removed literals (reason simplification)	: 563927234
3600.02/3591.15	c reason swapping (by a shorter reason)	: 0
3600.02/3591.15	c Calls to reduceDB	: 237
3600.02/3591.15	c Number of update (reduction) of LBD	: 436923
3600.02/3591.15	c Imported unit clauses	: 0
3600.02/3591.15	c No decision after first conflict	: false
3600.02/3591.15	c number of reductions to clauses (during analyze)	: 0
3600.02/3591.15	c number of learned constraints concerned by reduction	: 0
3600.02/3591.15	c number of learning phase by resolution	: 0
3600.02/3591.15	c number of learning phase by cutting planes	: 0
3600.02/3591.15	c number of rounding to 1 operations	: 0
3600.02/3591.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3591.15	c number of reductions of the coefficients by power 2 	: 0
3600.02/3591.15	c number of right shift for reduction by power 2 	: 0
3600.02/3591.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3591.15	c number of ending skipping 	: 0
3600.02/3591.15	c number of internal skipping 	: 0
3600.02/3591.15	c number of derivation steps 	: 0
3600.02/3591.15	c number of skipped derivation steps 	: 0
3600.02/3591.15	c number of remaining unassigned 	: 0
3600.02/3591.15	c number of remaining assigned 	: 0
3600.02/3591.15	c number of falsified literals weakened from reason	: 0
3600.02/3591.15	c number of falsified literals weakened from conflict	: 0
3600.02/3591.15	c time for arithmetic operations	: 0
3600.02/3591.16	c minimum degree of deleted constraints	: null
3600.02/3591.16	c maximum degree of deleted constraints	: null
3600.02/3591.16	c number of deleted constraints	: 0
3600.02/3591.16	c speed (assignments/second)	: 47087.01348071468
3600.02/3591.16	c non guided choices	: 58
3600.15/3591.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 413183
3600.15/3591.29	s UNKNOWN
3600.15/3591.29	c Total wall clock time (in seconds): 3590.902

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516038-1751237252/watcher-4516038-1751237252 -o /tmp/evaluation-result-4516038-1751237252/solver-4516038-1751237252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34859 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516038-1751237252.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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=34914, runsolver pid=34897

[startup+0.100077 s]*
/proc/loadavg: 1.08 1.49 2.62 13/319 34984
/proc/meminfo: memFree=129805848/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18930344 memory=46428 CPUtime=0.1 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 5632 0 65 0 7 3 0 0 20 0 18 0 39404559 19384672256 11607 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4732586 11607 4939 1 0 546910 0
[pid=34914/tid=34925] ppid=34897 vsize=18930344 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 4523 0 60 0 4 1 0 0 20 0 18 0 39404562 19384672256 11607 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18930344 memory=228522721619 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404568 19384672256 11607 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39404569 19384713216 11607 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 46428 KiB

[startup+0.21897 s]*
/proc/loadavg: 1.08 1.49 2.62 14/319 34984
/proc/meminfo: memFree=129794524/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18930384 memory=49884 CPUtime=0.24 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 6089 0 65 0 20 4 0 0 20 0 18 0 39404559 19384713216 12471 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4732596 12471 5355 1 0 547259 0
[pid=34914/tid=34925] ppid=34897 vsize=18930384 memory=4026597660 CPUtime=0.14 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 4890 0 60 0 12 2 0 0 20 0 18 0 39404562 19384713216 12471 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404568 19384713216 12471 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39404569 19384713216 12471 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49884 KiB

[startup+0.313353 s]*
/proc/loadavg: 1.08 1.49 2.62 11/319 34984
/proc/meminfo: memFree=129764972/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18930384 memory=55844 CPUtime=0.39 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 6561 0 65 0 34 5 0 0 20 0 18 0 39404559 19384713216 13961 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4732596 13961 5355 1 0 547641 0
[pid=34914/tid=34925] ppid=34897 vsize=18930384 memory=-6000919476934174828 CPUtime=0.23 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 5049 0 60 0 20 3 0 0 20 0 18 0 39404562 19384713216 13961 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39404568 19384713216 13961 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 39404569 19384713216 13961 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55844 KiB

[startup+0.70043 s]
/proc/loadavg: 1.08 1.49 2.62 12/306 34990
/proc/meminfo: memFree=129765608/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18996948 memory=62984 CPUtime=1.07 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 8575 0 65 0 100 7 0 0 20 0 19 0 39404559 19452874752 15746 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4749237 15746 5451 1 0 548903 0
[pid=34914/tid=34925] ppid=34897 vsize=18996948 memory=17408 CPUtime=0.55 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 5246 0 60 0 52 3 0 0 20 0 19 0 39404562 19452874752 15746 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39404568 19452874752 15746 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39404569 19452874752 15746 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39404607 19452874752 15746 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62984 KiB

[startup+1.50028 s]
/proc/loadavg: 1.08 1.49 2.62 9/301 34998
/proc/meminfo: memFree=129724672/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18996948 memory=79288 CPUtime=2.6 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 16057 0 65 0 248 12 0 0 20 0 19 0 39404559 19452874752 19822 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4749237 19822 5451 1 0 551331 0
[pid=34914/tid=34925] ppid=34897 vsize=18996948 memory=0 CPUtime=1.29 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 6341 0 60 0 123 6 0 0 20 0 19 0 39404562 19452874752 19822 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39404568 19452874752 19822 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39404569 19452874752 19822 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39404607 19452874752 19822 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79288 KiB

[startup+3.11108 s]
/proc/loadavg: 1.08 1.49 2.62 10/326 35057
/proc/meminfo: memFree=129401168/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=18996948 memory=122612 CPUtime=4.88 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 16789 0 65 0 472 16 0 0 20 0 19 0 39404559 19452874752 30653 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4749237 30653 5451 1 0 551332 0
[pid=34914/tid=34925] ppid=34897 vsize=18996948 memory=11264 CPUtime=2.87 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 6661 0 60 0 277 10 0 0 20 0 19 0 39404562 19452874752 30653 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=18996948 memory=-6000919476934174828 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39404568 19452874752 30653 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 39404569 19452874752 30653 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39404607 19452874752 30653 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122612 KiB

[startup+6.30041 s]
/proc/loadavg: 1.47 1.56 2.64 7/328 35059
/proc/meminfo: memFree=129075040/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19063512 memory=180352 CPUtime=8.17 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 20005 0 65 0 798 19 0 0 20 0 20 0 39404559 19521036288 45088 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4765878 45088 5483 1 0 551640 0
[pid=34914/tid=34925] ppid=34897 vsize=19063512 memory=0 CPUtime=5.99 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 6978 0 60 0 588 11 0 0 20 0 20 0 39404562 19521036288 45088 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 45088 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 39404569 19521036288 45088 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19063512 memory=83444 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404607 19521036288 45088 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 8.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180352 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 1.62 2.65 7/328 35059
/proc/meminfo: memFree=128492884/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19063512 memory=217452 CPUtime=14.61 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 21159 0 65 0 1441 20 0 0 20 0 20 0 39404559 19521036288 54363 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4765878 54363 5483 1 0 551640 0
[pid=34914/tid=34925] ppid=34897 vsize=19063512 memory=83444 CPUtime=12.24 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 7226 0 60 0 1213 11 0 0 20 0 20 0 39404562 19521036288 54363 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19063512 memory=217452 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 54363 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 39404569 19521036288 54363 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19063512 memory=217452 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404607 19521036288 54363 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 14.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 217452 KiB

[startup+25.5004 s]
/proc/loadavg: 2.25 1.74 2.67 8/328 35059
/proc/meminfo: memFree=126826288/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19063512 memory=320192 CPUtime=27.37 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 23067 0 65 0 2715 22 0 0 20 0 20 0 39404559 19521036288 80048 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4765878 80048 5483 1 0 551640 0
[pid=34914/tid=34925] ppid=34897 vsize=19063512 memory=14720 CPUtime=24.71 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 8221 0 60 0 2460 11 0 0 20 0 20 0 39404562 19521036288 80048 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19063512 memory=10112 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 80048 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 39404569 19521036288 80048 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39404607 19521036288 80048 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 27.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320192 KiB

[startup+51.1138 s]
/proc/loadavg: 3.01 1.95 2.72 7/328 35059
/proc/meminfo: memFree=123992216/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19063512 memory=465964 CPUtime=52.89 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 24054 0 65 0 5262 27 0 0 20 0 20 0 39404559 19521036288 116491 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4765878 116491 5483 1 0 551640 0
[pid=34914/tid=34925] ppid=34897 vsize=19063512 memory=14720 CPUtime=49.77 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 8306 0 60 0 4966 11 0 0 20 0 20 0 39404562 19521036288 116491 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19063512 memory=424916 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39404568 19521036288 116491 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 7/328 35231
/proc/meminfo: memFree=99401964/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3000120 CPUtime=3291.16 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 118343 0 65 0 328831 285 0 0 20 0 21 0 39404559 19589197824 750030 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 750030 5515 1 0 892502 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=14720 CPUtime=3257.54 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 55033 0 60 0 325720 34 0 0 20 0 21 0 39404562 19589197824 750030 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=2950968 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 750030 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=2760 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 1876 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 750030 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=3000120 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 750030 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3291.16 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3000120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.16 4.10 7/328 35233
/proc/meminfo: memFree=99379704/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3024700 CPUtime=3351.14 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 119346 0 65 0 334825 289 0 0 20 0 21 0 39404559 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 756175 5515 1 0 892502 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=3024700 CPUtime=3317.25 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 55753 0 60 0 331691 34 0 0 20 0 21 0 39404562 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=3024700 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 1876 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=3024700 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3351.14 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3024700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.10 7/328 35235
/proc/meminfo: memFree=99375500/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3024700 CPUtime=3411.11 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 121098 0 65 0 340818 293 0 0 20 0 21 0 39404559 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 756175 5515 1 0 892503 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=3024700 CPUtime=3376.94 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 56566 0 60 0 337660 34 0 0 20 0 21 0 39404562 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=17408 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=3024700 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2008 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=3024700 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 756175 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3411.11 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3024700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.10 7/327 35237
/proc/meminfo: memFree=99197440/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3032912 CPUtime=3471.21 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 122619 0 65 0 346823 298 0 0 20 0 21 0 39404559 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 758228 5515 1 0 892503 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=3024700 CPUtime=3436.42 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 56992 0 60 0 343608 34 0 0 20 0 21 0 39404562 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3471.21 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3032912 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.10 7/327 35241
/proc/meminfo: memFree=99099360/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3032912 CPUtime=3531.21 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 122851 0 65 0 352820 301 0 0 20 0 21 0 39404559 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 758228 5515 1 0 892503 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=3032912 CPUtime=3496.14 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 56992 0 60 0 349580 34 0 0 20 0 21 0 39404562 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=3032912 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=4760 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=7825457735921474178 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 758228 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3531.21 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3032912 KiB

[startup+3582.3 s]
/proc/loadavg: 4.48 4.24 4.13 6/327 35445
/proc/meminfo: memFree=124577556/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3114844 CPUtime=3591.22 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 123130 0 65 0 358816 306 0 0 20 0 21 0 39404559 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 778711 5515 1 0 892503 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=17408 CPUtime=3555.77 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 57058 0 60 0 355541 36 0 0 20 0 21 0 39404562 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=3032912 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=14720 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=3073884 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3591.22 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3114844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.11 s]
/proc/loadavg: 4.41 4.23 4.13 5/327 35445
/proc/meminfo: memFree=124512016/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19130076 memory=3114844 CPUtime=3600.02 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 123130 0 65 0 359695 307 0 0 20 0 21 0 39404559 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4782519 778711 5515 1 0 892503 0
[pid=34914/tid=34925] ppid=34897 vsize=19130076 memory=3114844 CPUtime=3564.56 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) R 34897 34914 32092 0 -1 4194368 57058 0 60 0 356420 36 0 0 20 0 21 0 39404562 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19130076 memory=3114844 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39404568 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19130076 memory=-6000919476934174828 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 21 0 39404569 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34988] ppid=34897 vsize=19130076 memory=3114844 CPUtime=0 cores=5,7
/proc/34914/task/34988/stat : 34988 (Timer-0) S 34897 34914 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 39404607 19589197824 778711 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3114844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.18 s, system=3.08982 s

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

[startup+3591.21 s]
/proc/loadavg: 4.41 4.23 4.13 5/327 35445
/proc/meminfo: memFree=124512016/131382112 swapFree=33010684/33010684
[pid=34914] ppid=34897 vsize=19329768 memory=3115612 CPUtime=3600.15 cores=5,7
/proc/34914/stat : 34914 (java) S 34897 34914 32092 0 -1 4194304 125110 0 65 0 359708 307 0 0 20 0 22 0 39404559 19793682432 778903 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
/proc/34914/statm: 4832442 778903 5547 1 0 893450 0
[pid=34914/tid=34925] ppid=34897 vsize=19329768 memory=14720 CPUtime=3564.59 cores=5,7
/proc/34914/task/34925/stat : 34925 (java) S 34897 34914 32092 0 -1 4194368 57220 0 60 0 356423 36 0 0 20 0 22 0 39404562 19793682432 778903 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34967] ppid=34897 vsize=19329768 memory=0 CPUtime=0 cores=5,7
/proc/34914/task/34967/stat : 34967 (Finalizer) S 34897 34914 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 39404568 19793682432 778903 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
[pid=34914/tid=34983] ppid=34897 vsize=19329768 memory=6944656592387989600 CPUtime=0 cores=5,7
/proc/34914/task/34983/stat : 34983 (Common-Cleaner) S 34897 34914 32092 0 -1 4194368 2081 0 0 0 0 0 0 0 20 0 22 0 39404569 19793682432 778903 18446744073709551615 94723247108096 94723247111792 140727662726272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94723247119608 94723247120400 94723251367936 140727662729601 140727662729702 140727662729702 140727662735304 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 3115612 KiB

Child status: 143

Real time (s): 3591.31
CPU time (s): 3600.27
CPU user time (s): 3597.18
CPU system time (s): 3.08982
CPU usage (%): 100.25
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 3115612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.18
system time used= 3.08982
maximum resident set size= 3115740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125316
page faults= 65
swaps= 0
block input operations= 0
block output operations= 3496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111602
involuntary context switches= 10247


# summary of solver processes directly reported to runsolver:
#   pid: 34914
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3597.18
#   total CPU system time (s): 3.08982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7315 second user time and 35.8922 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 00:47:32
IDJOB=4516038
IDBENCH=169008
IDSOLVER=3363
FILE ID=nodeC005/4516038-1751237252
RUNJOBID= nodeC005-1751237252-34859
SLURM_JOB_ID= 9587711
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516038-1751237252/watcher-4516038-1751237252 -o /tmp/evaluation-result-4516038-1751237252/solver-4516038-1751237252 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34859 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516038-1751237252.opb

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

MD5SUM BENCH= bc497e8177732403fc20f4b37a52cb26
RANDOM SEED=1564561397

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129858372 kB
MemAvailable:   129941796 kB
Buffers:            3280 kB
Cached:           886608 kB
SwapCached:            0 kB
Active:           318952 kB
Inactive:         638736 kB
Active(anon):      85760 kB
Inactive(anon):        0 kB
Active(file):     233192 kB
Inactive(file):   638736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1616 kB
Writeback:            52 kB
AnonPages:         70596 kB
Mapped:           102216 kB
Shmem:             17960 kB
KReclaimable:     102248 kB
Slab:             184692 kB
SReclaimable:     102248 kB
SUnreclaim:        82444 kB
KernelStack:        3812 kB
PageTables:         2648 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     334252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC005 at 2025-06-30 01:47:23