Trace number 4543564

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.25 3559.14

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_07_054.opb
MD5SUM8cc5936c86de52aa6e90ec0781cd7f5c
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.027588
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables378
Total number of constraints379
Number of constraints which are clauses378
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint378
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 94
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 472
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4543564-1753228000.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c using VERIPB proof format
0.13/0.14	c  no objective function found
0.13/0.18	c ... done. Wall clock time 0.037s.
0.13/0.18	c declared #vars     378
0.13/0.18	c #constraints  379
0.13/0.18	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 378
0.13/0.18	c 379 constraints processed.
1.26/0.79	c cleaning 2500 clauses out of 5000 with flag 11467/5000
2.25/1.28	c cleaning 4251 clauses out of 8501 with flag 24921/11001
3.04/1.65	c cleaning 5619 clauses out of 11250 with flag 40526/18001
3.83/2.01	c cleaning 6809 clauses out of 13631 with flag 58390/26001
4.30/2.36	c cleaning 7908 clauses out of 15822 with flag 78306/35001
5.03/2.80	c cleaning 8951 clauses out of 17913 with flag 101988/45000
5.44/3.24	c cleaning 9976 clauses out of 19963 with flag 126791/56001
5.93/3.77	c cleaning 10987 clauses out of 21987 with flag 155938/68001
6.44/4.29	c cleaning 11994 clauses out of 23999 with flag 187910/81000
7.15/4.90	c cleaning 12999 clauses out of 26005 with flag 222247/95000
7.65/5.47	c cleaning 14004 clauses out of 28007 with flag 256065/110001
8.38/6.11	c cleaning 15000 clauses out of 30002 with flag 294104/126000
9.18/6.91	c cleaning 15997 clauses out of 32002 with flag 338620/143000
10.11/7.87	c cleaning 16999 clauses out of 34005 with flag 387988/161000
11.10/8.86	c cleaning 18003 clauses out of 36007 with flag 438599/180001
12.01/9.71	c cleaning 18997 clauses out of 38003 with flag 487732/200000
12.91/10.62	c cleaning 19993 clauses out of 40006 with flag 536348/221000
13.71/11.43	c cleaning 21005 clauses out of 42013 with flag 584892/243000
14.62/12.32	c cleaning 22000 clauses out of 44008 with flag 636872/266000
15.52/13.26	c cleaning 23004 clauses out of 46009 with flag 692639/290001
16.63/14.38	c cleaning 24003 clauses out of 48005 with flag 751678/315001
17.82/15.53	c cleaning 24999 clauses out of 50002 with flag 812278/341001
19.03/16.74	c cleaning 25994 clauses out of 52002 with flag 873723/368000
20.13/17.86	c cleaning 26997 clauses out of 54009 with flag 935877/396001
21.33/19.09	c cleaning 27997 clauses out of 56011 with flag 1000184/425000
22.75/20.42	c cleaning 29003 clauses out of 58014 with flag 1067385/455000
24.14/21.84	c cleaning 30005 clauses out of 60012 with flag 1137665/486001
25.56/23.27	c cleaning 30999 clauses out of 62007 with flag 1210307/518001
27.38/25.04	c cleaning 31998 clauses out of 64008 with flag 1286414/551001
29.08/26.77	c cleaning 33003 clauses out of 66010 with flag 1362248/585001
31.19/28.83	c cleaning 34001 clauses out of 68006 with flag 1441499/620000
33.12/30.73	c cleaning 35003 clauses out of 70005 with flag 1522379/656000
34.81/32.48	c cleaning 35999 clauses out of 72003 with flag 1606796/693001
36.72/34.38	c cleaning 36997 clauses out of 74003 with flag 1696320/731000
38.64/36.27	c cleaning 37995 clauses out of 76006 with flag 1782591/770000
41.05/38.60	c cleaning 39002 clauses out of 78011 with flag 1874694/810000
42.98/40.54	c cleaning 40002 clauses out of 80009 with flag 1968566/851000
44.97/42.52	c cleaning 40999 clauses out of 82007 with flag 2063849/893000
47.17/44.79	c cleaning 42000 clauses out of 84008 with flag 2160558/936000
49.59/47.12	c cleaning 43003 clauses out of 86009 with flag 2259070/980001
52.27/49.83	c cleaning 44001 clauses out of 88005 with flag 2363184/1025000
54.68/52.23	c cleaning 44999 clauses out of 90004 with flag 2466667/1071000
57.00/54.53	c cleaning 46001 clauses out of 92005 with flag 2574835/1118000
59.43/56.97	c cleaning 47000 clauses out of 94004 with flag 2683854/1166000
62.06/59.57	c cleaning 47996 clauses out of 96004 with flag 2798932/1215000
64.97/62.41	c cleaning 48997 clauses out of 98008 with flag 2915023/1265000
68.20/65.65	c cleaning 50004 clauses out of 100011 with flag 3036653/1316000
71.25/68.67	c cleaning 50999 clauses out of 102007 with flag 3156156/1368000
74.99/72.35	c cleaning 51996 clauses out of 104008 with flag 3280606/1421000
77.83/75.18	c cleaning 53006 clauses out of 106013 with flag 3403183/1475001
80.65/77.98	c cleaning 53997 clauses out of 108006 with flag 3527724/1530000
83.84/81.07	c cleaning 55005 clauses out of 110010 with flag 3654453/1586001
87.57/84.77	c cleaning 55999 clauses out of 112005 with flag 3783901/1643001
90.70/87.81	c cleaning 57002 clauses out of 114005 with flag 3912671/1701000
93.74/90.84	c cleaning 57999 clauses out of 116004 with flag 4042821/1760001
97.43/94.40	c cleaning 59001 clauses out of 118005 with flag 4177291/1820001
100.96/97.90	c cleaning 59998 clauses out of 120003 with flag 4313130/1881000
104.38/101.33	c cleaning 60998 clauses out of 122007 with flag 4451584/1943002
107.90/104.88	c cleaning 62000 clauses out of 124007 with flag 4592529/2006000
111.43/108.36	c cleaning 63002 clauses out of 126007 with flag 4734700/2070000
114.94/111.88	c cleaning 63998 clauses out of 128005 with flag 4878815/2135000
118.67/115.58	c cleaning 65001 clauses out of 130008 with flag 5026279/2201001
122.40/119.29	c cleaning 65998 clauses out of 132006 with flag 5176283/2268000
126.11/122.86	c cleaning 66998 clauses out of 134008 with flag 5329419/2336000
130.16/126.87	c cleaning 68002 clauses out of 136010 with flag 5484031/2405000
134.28/130.95	c cleaning 69002 clauses out of 138009 with flag 5639882/2475001
137.80/134.41	c cleaning 70000 clauses out of 140008 with flag 5798303/2546002
141.42/138.08	c cleaning 70999 clauses out of 142006 with flag 5958412/2618000
145.50/142.04	c cleaning 71998 clauses out of 144007 with flag 6121091/2691000
149.85/146.37	c cleaning 73001 clauses out of 146009 with flag 6287018/2765000
153.87/150.35	c cleaning 74000 clauses out of 148009 with flag 6453251/2840001
158.51/154.91	c cleaning 74997 clauses out of 150009 with flag 6622305/2916001
162.75/159.20	c cleaning 76003 clauses out of 152012 with flag 6796827/2993001
167.07/163.49	c cleaning 76999 clauses out of 154008 with flag 6972289/3071000
171.98/168.20	c cleaning 78002 clauses out of 156009 with flag 7149511/3150000
176.33/172.58	c cleaning 78999 clauses out of 158007 with flag 7327517/3230000
181.06/177.25	c cleaning 79995 clauses out of 160009 with flag 7508779/3311001
185.86/181.91	c cleaning 81003 clauses out of 162015 with flag 7693294/3393002
190.80/186.89	c cleaning 82000 clauses out of 164010 with flag 7877991/3476000
194.96/191.00	c cleaning 83005 clauses out of 166012 with flag 8064224/3560002
199.69/195.61	c cleaning 83999 clauses out of 168006 with flag 8254306/3645001
204.84/200.70	c cleaning 84998 clauses out of 170006 with flag 8445447/3731000
210.18/206.06	c cleaning 85997 clauses out of 172008 with flag 8642152/3818000
215.65/211.47	c cleaning 87001 clauses out of 174012 with flag 8844963/3906001
221.59/217.39	c cleaning 88002 clauses out of 176014 with flag 9044306/3995004
228.26/223.95	c cleaning 88996 clauses out of 178008 with flag 9250818/4085000
234.62/230.26	c cleaning 90003 clauses out of 180012 with flag 9453730/4176000
241.21/236.70	c cleaning 91003 clauses out of 182009 with flag 9664029/4268000
248.69/244.18	c cleaning 91999 clauses out of 184006 with flag 9876459/4361000
254.51/249.90	c cleaning 92999 clauses out of 186007 with flag 10085682/4455000
261.87/257.27	c cleaning 94002 clauses out of 188008 with flag 10302500/4550000
268.76/264.06	c cleaning 94994 clauses out of 190006 with flag 10518051/4646000
274.80/270.06	c cleaning 96004 clauses out of 192012 with flag 10733359/4743000
281.35/276.54	c cleaning 96997 clauses out of 194008 with flag 10952053/4841000
289.11/284.26	c cleaning 98003 clauses out of 196014 with flag 11171594/4940003
297.99/292.82	c cleaning 99005 clauses out of 198009 with flag 11400140/5040001
306.36/301.17	c cleaning 99998 clauses out of 200005 with flag 11627506/5141002
315.22/309.94	c cleaning 101003 clauses out of 202006 with flag 11855072/5243001
327.32/321.91	c cleaning 101994 clauses out of 204002 with flag 12092723/5346000
336.10/330.64	c cleaning 102999 clauses out of 206008 with flag 12326368/5450000
344.41/338.98	c cleaning 104003 clauses out of 208010 with flag 12560314/5555001
352.63/347.15	c cleaning 104997 clauses out of 210006 with flag 12798690/5661000
361.06/355.55	c cleaning 105999 clauses out of 212010 with flag 13039937/5768001
369.63/364.09	c cleaning 107001 clauses out of 214010 with flag 13279358/5876000
377.82/372.15	c cleaning 108002 clauses out of 216010 with flag 13522466/5985001
386.41/380.62	c cleaning 109002 clauses out of 218007 with flag 13768945/6095000
395.14/389.35	c cleaning 109997 clauses out of 220006 with flag 14016884/6206001
404.08/398.23	c cleaning 111003 clauses out of 222009 with flag 14265954/6318001
415.22/409.30	c cleaning 111996 clauses out of 224005 with flag 14517850/6431000
424.09/418.15	c cleaning 112999 clauses out of 226009 with flag 14773111/6545000
433.24/427.27	c cleaning 113999 clauses out of 228012 with flag 15035102/6660002
443.49/437.45	c cleaning 115000 clauses out of 230011 with flag 15297260/6776000
452.06/445.99	c cleaning 116000 clauses out of 232012 with flag 15561360/6893001
459.76/453.58	c cleaning 117002 clauses out of 234011 with flag 15826528/7011000
467.15/460.88	c cleaning 117998 clauses out of 236009 with flag 16091889/7130000
475.12/468.78	c cleaning 119004 clauses out of 238013 with flag 16360526/7250002
483.09/476.61	c cleaning 120000 clauses out of 240007 with flag 16636632/7371000
490.70/484.14	c cleaning 121000 clauses out of 242007 with flag 16912884/7493000
498.85/492.27	c cleaning 121996 clauses out of 244007 with flag 17187109/7616000
507.89/501.28	c cleaning 123002 clauses out of 246012 with flag 17462429/7740001
517.18/510.48	c cleaning 124005 clauses out of 248010 with flag 17742300/7865001
525.03/518.21	c cleaning 124995 clauses out of 250004 with flag 18027269/7991000
534.86/528.05	c cleaning 126001 clauses out of 252009 with flag 18312824/8118000
545.37/538.45	c cleaning 126998 clauses out of 254009 with flag 18603956/8246001
554.68/547.64	c cleaning 127999 clauses out of 256010 with flag 18895655/8375000
564.03/556.95	c cleaning 129000 clauses out of 258012 with flag 19185223/8505001
572.00/564.85	c cleaning 130002 clauses out of 260012 with flag 19476719/8636001
581.77/574.58	c cleaning 131002 clauses out of 262010 with flag 19770501/8768001
590.64/583.31	c cleaning 131998 clauses out of 264008 with flag 20067379/8901001
599.92/592.57	c cleaning 133003 clauses out of 266009 with flag 20368368/9035000
610.51/602.75	c cleaning 134001 clauses out of 268006 with flag 20669089/9170000
620.36/612.52	c cleaning 134997 clauses out of 270006 with flag 20974705/9306001
630.71/622.82	c cleaning 136000 clauses out of 272009 with flag 21281173/9443001
641.22/633.25	c cleaning 137000 clauses out of 274008 with flag 21587817/9581000
650.68/642.67	c cleaning 138000 clauses out of 276009 with flag 21899911/9720001
659.24/651.12	c cleaning 138998 clauses out of 278008 with flag 22216108/9860000
668.75/660.56	c cleaning 140000 clauses out of 280013 with flag 22531365/10001003
679.69/671.42	c cleaning 141001 clauses out of 282011 with flag 22848801/10143001
690.46/682.15	c cleaning 141998 clauses out of 284009 with flag 23168556/10286000
700.69/692.34	c cleaning 142998 clauses out of 286011 with flag 23492520/10430000
710.88/702.45	c cleaning 144003 clauses out of 288014 with flag 23815703/10575001
720.43/711.97	c cleaning 145001 clauses out of 290010 with flag 24143420/10721000
730.58/722.10	c cleaning 146000 clauses out of 292009 with flag 24472026/10868000
741.69/733.01	c cleaning 147000 clauses out of 294009 with flag 24804113/11016000
753.58/744.88	c cleaning 147998 clauses out of 296009 with flag 25136518/11165000
764.54/755.74	c cleaning 149004 clauses out of 298012 with flag 25474891/11315001
775.73/766.82	c cleaning 150002 clauses out of 300007 with flag 25815440/11466000
787.77/778.81	c cleaning 150994 clauses out of 302005 with flag 26156354/11618000
801.45/792.46	c cleaning 151995 clauses out of 304011 with flag 26499337/11771000
816.18/807.12	c cleaning 153003 clauses out of 306016 with flag 26842852/11925000
829.03/819.80	c cleaning 154000 clauses out of 308013 with flag 27188428/12080000
840.43/831.14	c cleaning 155002 clauses out of 310013 with flag 27537444/12236000
852.47/843.17	c cleaning 155999 clauses out of 312012 with flag 27887507/12393001
867.82/858.40	c cleaning 157003 clauses out of 314013 with flag 28242666/12551001
880.36/870.80	c cleaning 157998 clauses out of 316009 with flag 28603798/12710000
890.87/881.27	c cleaning 159000 clauses out of 318012 with flag 28962647/12870001
901.33/891.63	c cleaning 159999 clauses out of 320012 with flag 29323591/13031001
917.09/907.37	c cleaning 161001 clauses out of 322014 with flag 29691061/13193002
930.90/921.04	c cleaning 162001 clauses out of 324012 with flag 30059147/13356001
945.16/935.29	c cleaning 163001 clauses out of 326011 with flag 30430408/13520001
960.55/950.55	c cleaning 163996 clauses out of 328009 with flag 30801805/13685000
976.77/966.68	c cleaning 165001 clauses out of 330014 with flag 31177466/13851001
991.90/981.37	c cleaning 166006 clauses out of 332014 with flag 31555708/14018002
1007.79/997.11	c cleaning 167000 clauses out of 334006 with flag 31937272/14186000
1024.38/1013.67	c cleaning 167998 clauses out of 336006 with flag 32318975/14355000
1042.16/1031.32	c cleaning 168996 clauses out of 338009 with flag 32701298/14525001
1058.48/1047.50	c cleaning 170003 clauses out of 340013 with flag 33082389/14696001
1071.91/1060.86	c cleaning 171005 clauses out of 342010 with flag 33470093/14868001
1087.01/1075.85	c cleaning 171995 clauses out of 344005 with flag 33858986/15041001
1101.74/1090.48	c cleaning 173001 clauses out of 346009 with flag 34249057/15215000
1118.34/1106.95	c cleaning 173997 clauses out of 348008 with flag 34641842/15390000
1134.54/1123.10	c cleaning 175003 clauses out of 350013 with flag 35035939/15566002
1152.26/1140.60	c cleaning 176004 clauses out of 352009 with flag 35434161/15743001
1166.15/1154.47	c cleaning 176997 clauses out of 354004 with flag 35832260/15921000
1181.73/1169.96	c cleaning 177996 clauses out of 356009 with flag 36239000/16100002
1200.12/1187.85	c cleaning 178999 clauses out of 358011 with flag 36640745/16280000
1214.34/1201.93	c cleaning 180004 clauses out of 360012 with flag 37049367/16461000
1228.11/1215.65	c cleaning 181004 clauses out of 362010 with flag 37458525/16643002
1245.77/1233.20	c cleaning 181997 clauses out of 364004 with flag 37870252/16826000
1259.93/1247.35	c cleaning 182995 clauses out of 366008 with flag 38282011/17010001
1278.05/1265.37	c cleaning 184002 clauses out of 368013 with flag 38700480/17195001
1296.54/1283.72	c cleaning 184998 clauses out of 370010 with flag 39123227/17381000
1310.15/1297.24	c cleaning 186003 clauses out of 372012 with flag 39544547/17568000
1330.92/1317.93	c cleaning 186998 clauses out of 374009 with flag 39973564/17756000
1347.94/1334.85	c cleaning 187996 clauses out of 376011 with flag 40395646/17945000
1363.37/1350.15	c cleaning 189004 clauses out of 378015 with flag 40822097/18135000
1379.83/1366.51	c cleaning 190002 clauses out of 380011 with flag 41248061/18326000
1394.82/1381.48	c cleaning 190998 clauses out of 382009 with flag 41677030/18518000
1409.70/1396.20	c cleaning 191999 clauses out of 384012 with flag 42112865/18711001
1426.22/1412.67	c cleaning 193002 clauses out of 386012 with flag 42548651/18905000
1440.72/1426.60	c cleaning 193999 clauses out of 388010 with flag 42985458/19100000
1456.70/1442.52	c cleaning 194998 clauses out of 390012 with flag 43425486/19296001
1471.12/1456.80	c cleaning 196004 clauses out of 392013 with flag 43867124/19493000
1486.32/1471.99	c cleaning 197000 clauses out of 394009 with flag 44309627/19691000
1502.24/1487.62	c cleaning 197998 clauses out of 396009 with flag 44753048/19890000
1519.42/1504.71	c cleaning 199001 clauses out of 398011 with flag 45204784/20090000
1536.70/1521.96	c cleaning 200001 clauses out of 400011 with flag 45655625/20291001
1554.08/1539.19	c cleaning 200998 clauses out of 402010 with flag 46110345/20493001
1573.21/1557.71	c cleaning 202004 clauses out of 404012 with flag 46566686/20696001
1591.49/1575.97	c cleaning 202999 clauses out of 406008 with flag 47029402/20900001
1609.32/1593.67	c cleaning 203998 clauses out of 408008 with flag 47491297/21105000
1626.69/1610.80	c cleaning 204999 clauses out of 410010 with flag 47951826/21311000
1645.99/1630.01	c cleaning 205998 clauses out of 412012 with flag 48414862/21518001
1663.53/1647.46	c cleaning 207002 clauses out of 414013 with flag 48879910/21726000
1681.94/1665.34	c cleaning 208001 clauses out of 416011 with flag 49346165/21935000
1700.99/1684.28	c cleaning 208996 clauses out of 418010 with flag 49815204/22145000
1714.78/1697.91	c cleaning 210004 clauses out of 420015 with flag 50287597/22356001
1736.69/1719.72	c cleaning 211003 clauses out of 422011 with flag 50760478/22568001
1753.71/1736.61	c cleaning 212004 clauses out of 424007 with flag 51240537/22781000
1771.46/1754.24	c cleaning 212993 clauses out of 426003 with flag 51722613/22995000
1791.62/1773.66	c cleaning 214000 clauses out of 428010 with flag 52203314/23210000
1811.59/1793.43	c cleaning 214998 clauses out of 430010 with flag 52687809/23426000
1833.26/1814.97	c cleaning 215998 clauses out of 432012 with flag 53175635/23643000
1857.75/1839.22	c cleaning 216999 clauses out of 434014 with flag 53669941/23861000
1878.38/1859.25	c cleaning 218002 clauses out of 436016 with flag 54159993/24080001
1899.46/1880.11	c cleaning 218999 clauses out of 438013 with flag 54653981/24300000
1923.79/1904.32	c cleaning 220004 clauses out of 440015 with flag 55147949/24521001
1940.00/1920.31	c cleaning 220997 clauses out of 442010 with flag 55649482/24743000
1961.68/1941.43	c cleaning 221999 clauses out of 444013 with flag 56150907/24966000
1983.21/1962.81	c cleaning 223000 clauses out of 446015 with flag 56662571/25190001
2003.47/1982.91	c cleaning 224001 clauses out of 448016 with flag 57172353/25415002
2025.34/2004.66	c cleaning 225006 clauses out of 450014 with flag 57678788/25641001
2048.29/2027.00	c cleaning 226000 clauses out of 452007 with flag 58187353/25868000
2078.11/2056.72	c cleaning 226990 clauses out of 454008 with flag 58700227/26096001
2093.71/2072.16	c cleaning 228003 clauses out of 456018 with flag 59215249/26325001
2111.40/2089.74	c cleaning 229005 clauses out of 458014 with flag 59735014/26555000
2133.85/2111.51	c cleaning 230001 clauses out of 460009 with flag 60257278/26786000
2159.51/2137.10	c cleaning 230997 clauses out of 462008 with flag 60777218/27018000
2185.58/2162.90	c cleaning 231996 clauses out of 464011 with flag 61303472/27251000
2215.43/2192.62	c cleaning 233000 clauses out of 466015 with flag 61840266/27485000
2248.18/2224.89	c cleaning 233998 clauses out of 468017 with flag 62378461/27720002
2272.45/2248.96	c cleaning 235001 clauses out of 470018 with flag 62912286/27956001
2296.32/2272.61	c cleaning 236008 clauses out of 472018 with flag 63447806/28193002
2318.10/2294.22	c cleaning 236995 clauses out of 474008 with flag 63982240/28431000
2343.31/2318.84	c cleaning 238000 clauses out of 476014 with flag 64518263/28670001
2364.38/2339.76	c cleaning 239005 clauses out of 478014 with flag 65063892/28910001
2382.75/2357.99	c cleaning 240000 clauses out of 480009 with flag 65602845/29151001
2409.02/2383.33	c cleaning 240996 clauses out of 482008 with flag 66145785/29393000
2437.58/2411.77	c cleaning 242004 clauses out of 484013 with flag 66688456/29636001
2459.34/2433.35	c cleaning 242995 clauses out of 486008 with flag 67233177/29880000
2478.67/2451.86	c cleaning 243997 clauses out of 488014 with flag 67778424/30125001
2499.43/2472.41	c cleaning 245006 clauses out of 490016 with flag 68329011/30371000
2520.41/2493.23	c cleaning 246002 clauses out of 492011 with flag 68886429/30618001
2536.15/2508.83	c cleaning 246994 clauses out of 494008 with flag 69447684/30866000
2565.67/2537.73	c cleaning 248000 clauses out of 496014 with flag 70012818/31115000
2586.15/2558.02	c cleaning 248997 clauses out of 498014 with flag 70592294/31365000
2610.03/2581.71	c cleaning 249999 clauses out of 500017 with flag 71165207/31616000
2632.13/2603.22	c cleaning 251002 clauses out of 502018 with flag 71743628/31868000
2660.79/2631.70	c cleaning 251999 clauses out of 504016 with flag 72322296/32121000
2684.49/2655.24	c cleaning 253001 clauses out of 506017 with flag 72920385/32375000
2711.57/2682.16	c cleaning 253999 clauses out of 508016 with flag 73499516/32630000
2736.72/2706.64	c cleaning 255004 clauses out of 510018 with flag 74078582/32886001
2760.13/2729.82	c cleaning 256003 clauses out of 512014 with flag 74657126/33143001
2785.98/2755.59	c cleaning 256994 clauses out of 514010 with flag 75243392/33401000
2807.50/2776.45	c cleaning 258003 clauses out of 516016 with flag 75832053/33660000
2834.00/2802.70	c cleaning 259000 clauses out of 518014 with flag 76422107/33920001
2858.10/2826.68	c cleaning 260001 clauses out of 520013 with flag 77012533/34181000
2883.98/2851.80	c cleaning 261000 clauses out of 522012 with flag 77599902/34443000
2914.14/2881.83	c cleaning 262003 clauses out of 524013 with flag 78188818/34706001
2938.97/2906.41	c cleaning 262998 clauses out of 526009 with flag 78782313/34970000
2961.83/2928.60	c cleaning 264002 clauses out of 528012 with flag 79375108/35235001
2980.86/2947.46	c cleaning 264998 clauses out of 530010 with flag 79970870/35501001
3011.91/2978.39	c cleaning 265997 clauses out of 532011 with flag 80573250/35768000
3044.94/3011.21	c cleaning 267001 clauses out of 534014 with flag 81171790/36036000
3077.64/3043.25	c cleaning 268000 clauses out of 536014 with flag 81776643/36305001
3103.47/3068.88	c cleaning 269004 clauses out of 538013 with flag 82380736/36575000
3128.27/3093.45	c cleaning 269997 clauses out of 540010 with flag 82988929/36846001
3155.94/3120.92	c cleaning 270996 clauses out of 542013 with flag 83598775/37118001
3177.22/3141.50	c cleaning 272004 clauses out of 544017 with flag 84214211/37391001
3203.57/3167.72	c cleaning 273001 clauses out of 546014 with flag 84830607/37665002
3232.39/3196.48	c cleaning 274003 clauses out of 548013 with flag 85448126/37940002
3258.92/3222.79	c cleaning 275000 clauses out of 550008 with flag 86065179/38216000
3288.33/3251.28	c cleaning 276000 clauses out of 552008 with flag 86686648/38493000
3323.38/3286.12	c cleaning 276995 clauses out of 554008 with flag 87308830/38771000
3351.44/3313.93	c cleaning 277999 clauses out of 556013 with flag 87932421/39050000
3384.83/3347.18	c cleaning 279001 clauses out of 558015 with flag 88557217/39330001
3414.88/3376.50	c cleaning 280005 clauses out of 560014 with flag 89183949/39611001
3449.16/3410.66	c cleaning 280999 clauses out of 562008 with flag 89814515/39893000
3478.29/3439.53	c cleaning 281999 clauses out of 564010 with flag 90448965/40176001
3510.77/3471.12	c cleaning 283000 clauses out of 566011 with flag 91085178/40460001
3535.95/3495.92	c cleaning 283995 clauses out of 568010 with flag 91730021/40745000
3559.11/3518.91	c cleaning 284998 clauses out of 570015 with flag 92376801/41031000
3587.04/3546.61	c cleaning 286007 clauses out of 572018 with flag 93030685/41318001
3600.09/3559.02	c timeout
3600.09/3559.02	c starts		: 1
3600.09/3559.03	c conflicts		: 41522030
3600.09/3559.03	c decisions		: 60126312
3600.09/3559.03	c propagations		: 321544490
3600.09/3559.03	c inspects		: 19426902126
3600.09/3559.03	c shortcuts		: 0
3600.09/3559.03	c learnt literals	: 0
3600.09/3559.03	c learnt binary clauses	: 0
3600.09/3559.03	c learnt ternary clauses	: 0
3600.09/3559.03	c learnt constraints	: 41522030
3600.09/3559.03	c ignored constraints	: 0
3600.09/3559.03	c root simplifications	: 0
3600.09/3559.03	c removed literals (reason simplification)	: 29534158
3600.09/3559.03	c reason swapping (by a shorter reason)	: 0
3600.09/3559.03	c Calls to reduceDB	: 283
3600.09/3559.03	c Number of update (reduction) of LBD	: 3670163
3600.09/3559.03	c Imported unit clauses	: 0
3600.09/3559.03	c No decision after first conflict	: false
3600.09/3559.03	c number of reductions to clauses (during analyze)	: 0
3600.09/3559.03	c number of learned constraints concerned by reduction	: 0
3600.09/3559.03	c number of learning phase by resolution	: 0
3600.09/3559.03	c number of learning phase by cutting planes	: 0
3600.09/3559.03	c number of rounding to 1 operations	: 0
3600.09/3559.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3559.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3559.03	c number of right shift for reduction by power 2 	: 0
3600.09/3559.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3559.03	c number of ending skipping 	: 0
3600.09/3559.03	c number of internal skipping 	: 0
3600.09/3559.03	c number of derivation steps 	: 0
3600.09/3559.03	c number of skipped derivation steps 	: 0
3600.09/3559.03	c number of remaining unassigned 	: 0
3600.09/3559.03	c number of remaining assigned 	: 0
3600.09/3559.03	c number of falsified literals weakened from reason	: 0
3600.09/3559.03	c number of falsified literals weakened from conflict	: 0
3600.09/3559.03	c time for arithmetic operations	: 0
3600.09/3559.03	c minimum degree of deleted constraints	: null
3600.09/3559.03	c maximum degree of deleted constraints	: null
3600.09/3559.03	c number of deleted constraints	: 0
3600.09/3559.03	c speed (assignments/second)	: 90350.79920592216
3600.09/3559.03	c non guided choices	: 207
3600.09/3559.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 490040
3600.09/3559.10	s UNKNOWN
3600.09/3559.10	c Total wall clock time (in seconds): 3558.961

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=180627, runsolver pid=180624

[startup+0.100065 s]*
/proc/loadavg: 4.28 4.24 4.19 7/337 180671
/proc/meminfo: memFree=125186164/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=18930384 memory=57780 CPUtime=0.13 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 6563 0 0 0 11 2 0 0 20 0 18 0 238479397 19384713216 14445 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4732596 14445 5337 1 0 547603 0
[pid=180627/tid=180630] ppid=180624 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 5062 0 0 0 6 1 0 0 20 0 18 0 238479399 19384713216 14445 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=18930384 memory=16898 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238479401 19384713216 14445 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238479401 19384713216 14445 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB

[startup+0.205675 s]*
/proc/loadavg: 4.28 4.24 4.19 9/338 180672
/proc/meminfo: memFree=125169988/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=18996948 memory=62220 CPUtime=0.3 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 7100 0 0 0 28 2 0 0 20 0 19 0 238479397 19452874752 15555 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4749237 15555 5433 1 0 548264 0
[pid=180627/tid=180630] ppid=180624 vsize=18996948 memory=4026990876 CPUtime=0.16 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 5336 0 0 0 15 1 0 0 20 0 19 0 238479399 19452874752 15555 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=18996948 memory=16898 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238479401 19452874752 15555 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238479401 19452874752 15555 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238479415 19452874752 15555 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62220 KiB

[startup+0.305667 s]*
/proc/loadavg: 4.28 4.24 4.19 8/339 180673
/proc/meminfo: memFree=125141380/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=18997312 memory=82808 CPUtime=0.5 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 8479 0 0 0 47 3 0 0 20 0 19 0 238479397 19453247488 20702 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4749328 20702 5433 1 0 548728 0
[pid=180627/tid=180630] ppid=180624 vsize=18997312 memory=-9176194657503978172 CPUtime=0.26 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 5361 0 0 0 24 2 0 0 20 0 19 0 238479399 19453247488 20702 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=18997312 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238479401 19453247488 20702 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=18997312 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238479401 19453247488 20702 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=18997312 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238479415 19453247488 20702 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18997312 KiB
Current children cumulated memory: 82808 KiB

[startup+0.700229 s]
/proc/loadavg: 4.28 4.24 4.19 7/339 180673
/proc/meminfo: memFree=125021216/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=165852 CPUtime=1.26 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 12253 0 0 0 121 5 0 0 20 0 20 0 238479397 19521036288 41463 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 41463 5465 1 0 551568 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=27264 CPUtime=0.62 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 5397 0 0 0 59 3 0 0 20 0 20 0 238479399 19521036288 41463 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 41463 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 41463 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 41463 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165852 KiB

[startup+1.50022 s]
/proc/loadavg: 4.28 4.24 4.19 7/340 180675
/proc/meminfo: memFree=124923504/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=177112 CPUtime=2.85 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 19876 0 0 0 277 8 0 0 20 0 20 0 238479397 19521036288 44278 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 44278 5465 1 0 552939 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=0 CPUtime=1.37 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 5805 0 0 0 132 5 0 0 20 0 20 0 238479399 19521036288 44278 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 44278 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 44278 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 44278 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177112 KiB

[startup+3.10548 s]
/proc/loadavg: 4.25 4.23 4.19 5/340 180675
/proc/meminfo: memFree=124089656/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=814720 CPUtime=5.34 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 21908 0 0 0 510 24 0 0 20 0 20 0 238479397 19521036288 203680 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 203680 5465 1 0 552943 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=10752 CPUtime=2.95 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 6787 0 0 0 274 21 0 0 20 0 20 0 238479399 19521036288 203680 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=-8888808706282398396 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 203680 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 203680 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 203680 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 814720 KiB

[startup+6.30022 s]
/proc/loadavg: 4.25 4.23 4.19 5/340 180675
/proc/meminfo: memFree=123148040/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=1314216 CPUtime=8.58 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 22991 0 0 0 816 42 0 0 20 0 20 0 238479397 19521036288 328554 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 328554 5465 1 0 552944 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=0 CPUtime=6.11 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 7125 0 0 0 573 38 0 0 20 0 20 0 238479399 19521036288 328554 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 328554 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 328554 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=177164 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 328554 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314216 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 180675
/proc/meminfo: memFree=122194560/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=1328584 CPUtime=15.02 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 24891 0 0 0 1446 56 0 0 20 0 20 0 238479397 19521036288 332146 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 332146 5465 1 0 552944 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=177164 CPUtime=12.45 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 8021 0 0 0 1194 51 0 0 20 0 20 0 238479399 19521036288 332146 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 332146 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=-8888808706282398396 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 332146 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=906232097 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 332146 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 15.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.23 4.19 5/341 180677
/proc/meminfo: memFree=121597044/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=1357408 CPUtime=27.88 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 28926 0 0 0 2706 82 0 0 20 0 20 0 238479397 19521036288 339352 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 339352 5497 1 0 552944 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=1345112 CPUtime=25.09 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 9321 0 0 0 2433 76 0 0 20 0 20 0 238479399 19521036288 339352 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=-8888808706282398396 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 339352 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=1328584 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 339352 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=132 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 339352 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1357408 KiB

[startup+51.1056 s]
/proc/loadavg: 4.36 4.26 4.20 5/341 180678
/proc/meminfo: memFree=120726892/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=1375908 CPUtime=53.59 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 31140 0 0 0 5228 131 0 0 20 0 20 0 238479397 19521036288 343977 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 343977 5497 1 0 552944 0

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

/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=2868856 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=2868856 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3198.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2868856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.23 4.25 5/339 180861
/proc/meminfo: memFree=64012544/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2868856 CPUtime=3258.52 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 119702 0 0 0 321998 3854 0 0 20 0 20 0 238479397 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 717214 5529 1 0 729696 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=2868856 CPUtime=3179.22 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 50100 0 0 0 314179 3743 0 0 20 0 20 0 238479399 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2868856 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=2868856 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=2868856 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 717214 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3258.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2868856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.24 5/340 180870
/proc/meminfo: memFree=63359784/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2874104 CPUtime=3319.59 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 121953 0 0 0 328053 3906 0 0 20 0 20 0 238479397 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 718526 5529 1 0 731045 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=2874104 CPUtime=3238.55 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 52263 0 0 0 320062 3793 0 0 20 0 20 0 238479399 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=27264 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3319.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.23 4.24 5/341 180873
/proc/meminfo: memFree=62578068/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2874104 CPUtime=3380.04 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 123987 0 0 0 334044 3960 0 0 20 0 20 0 238479397 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 718526 5529 1 0 731045 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=7517440539303766361 CPUtime=3297.74 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 53623 0 0 0 325928 3846 0 0 20 0 20 0 238479399 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1596 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3380.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.23 4.24 5/341 180875
/proc/meminfo: memFree=61690240/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2874104 CPUtime=3440.89 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 127458 0 0 0 340068 4021 0 0 20 0 20 0 238479397 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 718526 5529 1 0 731046 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=7517440539303766361 CPUtime=3357.06 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 54883 0 0 0 331802 3904 0 0 20 0 20 0 238479399 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1622 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3440.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.25 4.25 5/340 180877
/proc/meminfo: memFree=60873448/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2874104 CPUtime=3501.24 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 127610 0 0 0 346045 4079 0 0 20 0 20 0 238479397 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 718526 5529 1 0 731047 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=7517440539303766361 CPUtime=3416.36 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 54888 0 0 0 337675 3961 0 0 20 0 20 0 238479399 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=2874104 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 718526 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3501.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2874104 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.26 4.26 5/341 180881
/proc/meminfo: memFree=60004580/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2919288 CPUtime=3562.52 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 142818 0 0 0 352106 4146 0 0 20 0 20 0 238479397 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 729822 5529 1 0 742343 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=-8888808706282398396 CPUtime=3475.57 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 68756 0 0 0 343531 4026 0 0 20 0 20 0 238479399 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2919288 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=14464 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3562.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2919288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3559 s]*
/proc/loadavg: 4.29 4.26 4.26 5/341 180949
/proc/meminfo: memFree=65713056/131250000 swapFree=33009904/33010684
[pid=180627] ppid=180624 vsize=19063512 memory=2919288 CPUtime=3600.09 cores=5,7
/proc/180627/stat : 180627 (java) S 180624 180627 179930 0 -1 4194304 144457 0 0 0 355819 4190 0 0 20 0 20 0 238479397 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
/proc/180627/statm: 4765878 729822 5529 1 0 742343 0
[pid=180627/tid=180630] ppid=180624 vsize=19063512 memory=2432 CPUtime=3511.7 cores=5,7
/proc/180627/task/180630/stat : 180630 (java) R 180624 180627 179930 0 -1 4194368 69773 0 0 0 347103 4067 0 0 20 0 20 0 238479399 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180642] ppid=180624 vsize=19063512 memory=2919288 CPUtime=0 cores=5,7
/proc/180627/task/180642/stat : 180642 (Finalizer) S 180624 180627 179930 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180649] ppid=180624 vsize=19063512 memory=-8744690219671659196 CPUtime=0 cores=5,7
/proc/180627/task/180649/stat : 180649 (Common-Cleaner) S 180624 180627 179930 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 20 0 238479401 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
[pid=180627/tid=180672] ppid=180624 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/180627/task/180672/stat : 180672 (Timer-0) S 180624 180627 179930 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238479415 19521036288 729822 18446744073709551615 94566324170752 94566324174448 140735579176880 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94566324182264 94566324183056 94566324604928 140735579183444 140735579183588 140735579183588 140735579189192 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2919288 KiB

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

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

# cumulated CPU time of all completed processes:  user=3558.33 s, system=41.9201 s

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

[startup+3559.11 s]*
/proc/loadavg: 4.29 4.26 4.26 6/323 180952
/proc/meminfo: memFree=68443484/131250000 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3559.14
CPU time (s): 3600.25
CPU user time (s): 3558.33
CPU system time (s): 41.9201
CPU usage (%): 101.155
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2919288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.33
system time used= 41.9201
maximum resident set size= 2920184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147059
page faults= 0
swaps= 0
block input operations= 0
block output operations= 62157904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142857
involuntary context switches= 12739


# summary of solver processes directly reported to runsolver:
#   pid: 180627
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3558.33
#   total CPU system time (s): 41.9201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13577 second user time and 16.6577 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-23 01:46:40
IDJOB=4543564
IDBENCH=173856
IDSOLVER=3364
FILE ID=nodeC033/4543564-1753228000
RUNJOBID= nodeC033-1753224403-179943
SLURM_JOB_ID= 9687833
Free space on /tmp= 432076 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large/normalized-domset-hexgrid_07_054.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543564-1753228000/watcher-4543564-1753228000 -o /tmp/evaluation-result-4543564-1753228000/solver-4543564-1753228000 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753224403-179943 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4543564-1753228000 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4543564-1753228000.opb

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

MD5SUM BENCH= 8cc5936c86de52aa6e90ec0781cd7f5c
RANDOM SEED=1084973598

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.076
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		: 3598.847
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		: 3595.392
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		: 3599.856
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.119
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		: 3600.062
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:        125256736 kB
MemAvailable:   127106376 kB
Buffers:            2128 kB
Cached:          2572380 kB
SwapCached:           64 kB
Active:          3893832 kB
Inactive:        1345164 kB
Active(anon):    2685516 kB
Inactive(anon):     5284 kB
Active(file):    1208316 kB
Inactive(file):  1339880 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            229112 kB
Writeback:             0 kB
AnonPages:       2665664 kB
Mapped:           128732 kB
Shmem:             26228 kB
KReclaimable:     281368 kB
Slab:             380556 kB
SReclaimable:     281368 kB
SUnreclaim:        99188 kB
KernelStack:        4844 kB
PageTables:         8656 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    4824944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151080 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2519040 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= 369452 MiB
End job on nodeC033 at 2025-07-23 02:45:59