Trace number 4543563

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.31 3589.85

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.08	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-4543563-1753227708.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.03s.
0.13/0.16	c declared #vars     378
0.13/0.16	c #constraints  379
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 378
0.13/0.16	c 379 constraints processed.
0.70/0.46	c cleaning 2500 clauses out of 5000 with flag 11467/5000
1.28/0.77	c cleaning 4251 clauses out of 8501 with flag 24921/11001
1.65/0.92	c cleaning 5619 clauses out of 11250 with flag 40526/18001
1.84/1.07	c cleaning 6809 clauses out of 13631 with flag 58390/26001
2.11/1.26	c cleaning 7908 clauses out of 15822 with flag 78306/35001
2.42/1.49	c cleaning 8951 clauses out of 17913 with flag 101988/45000
2.76/1.71	c cleaning 9976 clauses out of 19963 with flag 126791/56001
2.96/1.99	c cleaning 10987 clauses out of 21987 with flag 155938/68001
3.25/2.28	c cleaning 11994 clauses out of 23999 with flag 187910/81000
3.66/2.63	c cleaning 12999 clauses out of 26005 with flag 222247/95000
3.98/2.97	c cleaning 14004 clauses out of 28007 with flag 256065/110001
4.37/3.35	c cleaning 15000 clauses out of 30002 with flag 294104/126000
4.90/3.86	c cleaning 15997 clauses out of 32002 with flag 338620/143000
5.52/4.48	c cleaning 16999 clauses out of 34005 with flag 387988/161000
6.23/5.15	c cleaning 18003 clauses out of 36007 with flag 438599/180001
6.82/5.70	c cleaning 18997 clauses out of 38003 with flag 487732/200000
7.30/6.29	c cleaning 19993 clauses out of 40006 with flag 536348/221000
7.79/6.79	c cleaning 21005 clauses out of 42013 with flag 584892/243000
8.39/7.32	c cleaning 22000 clauses out of 44008 with flag 636872/266000
8.89/7.88	c cleaning 23004 clauses out of 46009 with flag 692639/290001
9.70/8.60	c cleaning 24003 clauses out of 48005 with flag 751678/315001
10.40/9.35	c cleaning 24999 clauses out of 50002 with flag 812278/341001
11.20/10.13	c cleaning 25994 clauses out of 52002 with flag 873723/368000
11.94/10.84	c cleaning 26997 clauses out of 54009 with flag 935877/396001
12.63/11.57	c cleaning 27997 clauses out of 56011 with flag 1000184/425000
13.43/12.39	c cleaning 29003 clauses out of 58014 with flag 1067385/455000
14.46/13.35	c cleaning 30005 clauses out of 60012 with flag 1137665/486001
15.36/14.26	c cleaning 30999 clauses out of 62007 with flag 1210307/518001
16.56/15.45	c cleaning 31998 clauses out of 64008 with flag 1286414/551001
17.79/16.68	c cleaning 33003 clauses out of 66010 with flag 1362248/585001
19.28/18.15	c cleaning 34001 clauses out of 68006 with flag 1441499/620000
20.58/19.45	c cleaning 35003 clauses out of 70005 with flag 1522379/656000
21.81/20.66	c cleaning 35999 clauses out of 72003 with flag 1606796/693001
23.11/21.90	c cleaning 36997 clauses out of 74003 with flag 1696320/731000
24.31/23.12	c cleaning 37995 clauses out of 76006 with flag 1782591/770000
25.92/24.79	c cleaning 39002 clauses out of 78011 with flag 1874694/810000
27.23/26.04	c cleaning 40002 clauses out of 80009 with flag 1968566/851000
28.55/27.38	c cleaning 40999 clauses out of 82007 with flag 2063849/893000
30.15/28.93	c cleaning 42000 clauses out of 84008 with flag 2160558/936000
31.78/30.52	c cleaning 43003 clauses out of 86009 with flag 2259070/980001
33.57/32.39	c cleaning 44001 clauses out of 88005 with flag 2363184/1025000
35.17/33.96	c cleaning 44999 clauses out of 90004 with flag 2466667/1071000
36.67/35.43	c cleaning 46001 clauses out of 92005 with flag 2574835/1118000
38.17/36.99	c cleaning 47000 clauses out of 94004 with flag 2683854/1166000
39.89/38.65	c cleaning 47996 clauses out of 96004 with flag 2798932/1215000
41.80/40.52	c cleaning 48997 clauses out of 98008 with flag 2915023/1265000
44.03/42.78	c cleaning 50004 clauses out of 100011 with flag 3036653/1316000
46.02/44.75	c cleaning 50999 clauses out of 102007 with flag 3156156/1368000
48.77/47.45	c cleaning 51996 clauses out of 104008 with flag 3280606/1421000
50.56/49.28	c cleaning 53006 clauses out of 106013 with flag 3403183/1475001
52.36/51.04	c cleaning 53997 clauses out of 108006 with flag 3527724/1530000
54.38/53.05	c cleaning 55005 clauses out of 110010 with flag 3654453/1586001
56.87/55.56	c cleaning 55999 clauses out of 112005 with flag 3783901/1643001
58.93/57.59	c cleaning 57002 clauses out of 114005 with flag 3912671/1701000
60.92/59.54	c cleaning 57999 clauses out of 116004 with flag 4042821/1760001
63.32/61.92	c cleaning 59001 clauses out of 118005 with flag 4177291/1820001
65.61/64.20	c cleaning 59998 clauses out of 120003 with flag 4313130/1881000
67.84/66.47	c cleaning 60998 clauses out of 122007 with flag 4451584/1943002
70.24/68.84	c cleaning 62000 clauses out of 124007 with flag 4592529/2006000
72.54/71.16	c cleaning 63002 clauses out of 126007 with flag 4734700/2070000
74.86/73.49	c cleaning 63998 clauses out of 128005 with flag 4878815/2135000
77.35/75.95	c cleaning 65001 clauses out of 130008 with flag 5026279/2201001
79.84/78.45	c cleaning 65998 clauses out of 132006 with flag 5176283/2268000
82.04/80.67	c cleaning 66998 clauses out of 134008 with flag 5329419/2336000
84.73/83.37	c cleaning 68002 clauses out of 136010 with flag 5484031/2405000
87.66/86.23	c cleaning 69002 clauses out of 138009 with flag 5639882/2475001
89.86/88.43	c cleaning 70000 clauses out of 140008 with flag 5798303/2546002
92.15/90.79	c cleaning 70999 clauses out of 142006 with flag 5958412/2618000
94.85/93.41	c cleaning 71998 clauses out of 144007 with flag 6121091/2691000
97.81/96.37	c cleaning 73001 clauses out of 146009 with flag 6287018/2765000
100.41/98.98	c cleaning 74000 clauses out of 148009 with flag 6453251/2840001
103.50/102.02	c cleaning 74997 clauses out of 150009 with flag 6622305/2916001
106.29/104.87	c cleaning 76003 clauses out of 152012 with flag 6796827/2993001
109.19/107.70	c cleaning 76999 clauses out of 154008 with flag 6972289/3071000
112.95/111.01	c cleaning 78002 clauses out of 156009 with flag 7149511/3150000
115.83/113.94	c cleaning 78999 clauses out of 158007 with flag 7327517/3230000
119.13/117.20	c cleaning 79995 clauses out of 160009 with flag 7508779/3311001
122.22/120.33	c cleaning 81003 clauses out of 162015 with flag 7693294/3393002
125.61/123.72	c cleaning 82000 clauses out of 164010 with flag 7877991/3476000
128.10/126.29	c cleaning 83005 clauses out of 166012 with flag 8064224/3560002
131.20/129.35	c cleaning 83999 clauses out of 168006 with flag 8254306/3645001
134.79/132.90	c cleaning 84998 clauses out of 170006 with flag 8445447/3731000
138.65/136.77	c cleaning 85997 clauses out of 172008 with flag 8642152/3818000
142.44/140.57	c cleaning 87001 clauses out of 174012 with flag 8844963/3906001
146.73/144.80	c cleaning 88002 clauses out of 176014 with flag 9044306/3995004
151.52/149.63	c cleaning 88996 clauses out of 178008 with flag 9250818/4085000
156.02/154.18	c cleaning 90003 clauses out of 180012 with flag 9453730/4176000
161.03/159.06	c cleaning 91003 clauses out of 182009 with flag 9664029/4268000
166.82/164.81	c cleaning 91999 clauses out of 184006 with flag 9876459/4361000
170.91/169.00	c cleaning 92999 clauses out of 186007 with flag 10085682/4455000
176.70/174.71	c cleaning 94002 clauses out of 188008 with flag 10302500/4550000
181.48/179.59	c cleaning 94994 clauses out of 190006 with flag 10518051/4646000
185.85/183.82	c cleaning 96004 clauses out of 192012 with flag 10733359/4743000
190.44/188.44	c cleaning 96997 clauses out of 194008 with flag 10952053/4841000
196.03/194.08	c cleaning 98003 clauses out of 196014 with flag 11171594/4940003
202.52/200.55	c cleaning 99005 clauses out of 198009 with flag 11400140/5040001
208.79/206.77	c cleaning 99998 clauses out of 200005 with flag 11627506/5141002
215.38/213.35	c cleaning 101003 clauses out of 202006 with flag 11855072/5243001
225.06/223.08	c cleaning 101994 clauses out of 204002 with flag 12092723/5346000
231.65/229.68	c cleaning 102999 clauses out of 206008 with flag 12326368/5450000
237.79/235.71	c cleaning 104003 clauses out of 208010 with flag 12560314/5555001
243.57/241.59	c cleaning 104997 clauses out of 210006 with flag 12798690/5661000
249.86/247.80	c cleaning 105999 clauses out of 212010 with flag 13039937/5768001
255.94/253.93	c cleaning 107001 clauses out of 214010 with flag 13279358/5876000
261.70/259.63	c cleaning 108002 clauses out of 216010 with flag 13522466/5985001
267.58/265.57	c cleaning 109002 clauses out of 218007 with flag 13768945/6095000
273.87/271.82	c cleaning 109997 clauses out of 220006 with flag 14016884/6206001
280.17/278.18	c cleaning 111003 clauses out of 222009 with flag 14265954/6318001
288.74/286.72	c cleaning 111996 clauses out of 224005 with flag 14517850/6431000
296.01/293.61	c cleaning 112999 clauses out of 226009 with flag 14773111/6545000
302.70/300.37	c cleaning 113999 clauses out of 228012 with flag 15035102/6660002
310.58/308.28	c cleaning 115000 clauses out of 230011 with flag 15297260/6776000
316.76/314.44	c cleaning 116000 clauses out of 232012 with flag 15561360/6893001
322.34/319.97	c cleaning 117002 clauses out of 234011 with flag 15826528/7011000
327.43/325.04	c cleaning 117998 clauses out of 236009 with flag 16091889/7130000
333.01/330.60	c cleaning 119004 clauses out of 238013 with flag 16360526/7250002
338.60/336.24	c cleaning 120000 clauses out of 240007 with flag 16636632/7371000
343.79/341.47	c cleaning 121000 clauses out of 242007 with flag 16912884/7493000
349.57/347.23	c cleaning 121996 clauses out of 244007 with flag 17187109/7616000
356.47/354.16	c cleaning 123002 clauses out of 246012 with flag 17462429/7740001
363.24/360.85	c cleaning 124005 clauses out of 248010 with flag 17742300/7865001
368.83/366.46	c cleaning 124995 clauses out of 250004 with flag 18027269/7991000
376.01/373.64	c cleaning 126001 clauses out of 252009 with flag 18312824/8118000
383.89/381.58	c cleaning 126998 clauses out of 254009 with flag 18603956/8246001
390.87/388.50	c cleaning 127999 clauses out of 256010 with flag 18895655/8375000
397.86/395.54	c cleaning 129000 clauses out of 258012 with flag 19185223/8505001
403.51/401.11	c cleaning 130002 clauses out of 260012 with flag 19476719/8636001
410.69/408.36	c cleaning 131002 clauses out of 262010 with flag 19770501/8768001
416.88/414.56	c cleaning 131998 clauses out of 264008 with flag 20067379/8901001
423.67/421.39	c cleaning 133003 clauses out of 266009 with flag 20368368/9035000
431.15/428.86	c cleaning 134001 clauses out of 268006 with flag 20669089/9170000
438.34/436.07	c cleaning 134997 clauses out of 270006 with flag 20974705/9306001
446.09/443.71	c cleaning 136000 clauses out of 272009 with flag 21281173/9443001
453.77/451.46	c cleaning 137000 clauses out of 274008 with flag 21587817/9581000
460.77/458.47	c cleaning 138000 clauses out of 276009 with flag 21899911/9720001
466.65/464.40	c cleaning 138998 clauses out of 278008 with flag 22216108/9860000
473.64/471.30	c cleaning 140000 clauses out of 280013 with flag 22531365/10001003
482.12/479.72	c cleaning 141001 clauses out of 282011 with flag 22848801/10143001
489.91/487.52	c cleaning 141998 clauses out of 284009 with flag 23168556/10286000
497.49/495.18	c cleaning 142998 clauses out of 286011 with flag 23492520/10430000
504.98/502.62	c cleaning 144003 clauses out of 288014 with flag 23815703/10575001
511.66/509.37	c cleaning 145001 clauses out of 290010 with flag 24143420/10721000
519.42/517.07	c cleaning 146000 clauses out of 292009 with flag 24472026/10868000
527.60/525.27	c cleaning 147000 clauses out of 294009 with flag 24804113/11016000
536.77/534.46	c cleaning 147998 clauses out of 296009 with flag 25136518/11165000
544.86/542.57	c cleaning 149004 clauses out of 298012 with flag 25474891/11315001
553.35/551.05	c cleaning 150002 clauses out of 300007 with flag 25815440/11466000
562.52/560.13	c cleaning 150994 clauses out of 302005 with flag 26156354/11618000
573.09/570.75	c cleaning 151995 clauses out of 304011 with flag 26499337/11771000
584.86/582.51	c cleaning 153003 clauses out of 306016 with flag 26842852/11925000
594.45/592.11	c cleaning 154000 clauses out of 308013 with flag 27188428/12080000
603.87/600.89	c cleaning 155002 clauses out of 310013 with flag 27537444/12236000
612.95/609.98	c cleaning 155999 clauses out of 312012 with flag 27887507/12393001
625.33/622.39	c cleaning 157003 clauses out of 314013 with flag 28242666/12551001
634.96/631.98	c cleaning 157998 clauses out of 316009 with flag 28603798/12710000
642.45/639.46	c cleaning 159000 clauses out of 318012 with flag 28962647/12870001
650.04/647.04	c cleaning 159999 clauses out of 320012 with flag 29323591/13031001
662.21/659.27	c cleaning 161001 clauses out of 322014 with flag 29691061/13193002
672.54/669.57	c cleaning 162001 clauses out of 324012 with flag 30059147/13356001
683.52/680.52	c cleaning 163001 clauses out of 326011 with flag 30430408/13520001
695.48/692.55	c cleaning 163996 clauses out of 328009 with flag 30801805/13685000
707.85/704.93	c cleaning 165001 clauses out of 330014 with flag 31177466/13851001
719.16/716.18	c cleaning 166006 clauses out of 332014 with flag 31555708/14018002
731.63/728.61	c cleaning 167000 clauses out of 334006 with flag 31937272/14186000
744.81/741.81	c cleaning 167998 clauses out of 336006 with flag 32318975/14355000
758.78/755.88	c cleaning 168996 clauses out of 338009 with flag 32701298/14525001
771.55/768.50	c cleaning 170003 clauses out of 340013 with flag 33082389/14696001
781.44/778.44	c cleaning 171005 clauses out of 342010 with flag 33470093/14868001
792.91/789.99	c cleaning 171995 clauses out of 344005 with flag 33858986/15041001
804.38/801.47	c cleaning 173001 clauses out of 346009 with flag 34249057/15215000
818.32/814.72	c cleaning 173997 clauses out of 348008 with flag 34641842/15390000
830.90/827.36	c cleaning 175003 clauses out of 350013 with flag 35035939/15566002
844.68/841.16	c cleaning 176004 clauses out of 352009 with flag 35434161/15743001
855.30/851.70	c cleaning 176997 clauses out of 354004 with flag 35832260/15921000
866.97/863.46	c cleaning 177996 clauses out of 356009 with flag 36239000/16100002
880.93/877.49	c cleaning 178999 clauses out of 358011 with flag 36640745/16280000
891.45/887.81	c cleaning 180004 clauses out of 360012 with flag 37049367/16461000
901.82/898.25	c cleaning 181004 clauses out of 362010 with flag 37458525/16643002
915.79/912.23	c cleaning 181997 clauses out of 364004 with flag 37870252/16826000
926.32/922.73	c cleaning 182995 clauses out of 366008 with flag 38282011/17010001
940.39/936.87	c cleaning 184002 clauses out of 368013 with flag 38700480/17195001
955.16/951.60	c cleaning 184998 clauses out of 370010 with flag 39123227/17381000
964.94/961.41	c cleaning 186003 clauses out of 372012 with flag 39544547/17568000
981.77/978.21	c cleaning 186998 clauses out of 374009 with flag 39973564/17756000
994.74/991.28	c cleaning 187996 clauses out of 376011 with flag 40395646/17945000
1006.21/1002.72	c cleaning 189004 clauses out of 378015 with flag 40822097/18135000
1018.58/1015.13	c cleaning 190002 clauses out of 380011 with flag 41248061/18326000
1029.96/1026.48	c cleaning 190998 clauses out of 382009 with flag 41677030/18518000
1040.63/1037.15	c cleaning 191999 clauses out of 384012 with flag 42112865/18711001
1053.30/1049.86	c cleaning 193002 clauses out of 386012 with flag 42548651/18905000
1063.67/1060.27	c cleaning 193999 clauses out of 388010 with flag 42985458/19100000
1076.13/1072.21	c cleaning 194998 clauses out of 390012 with flag 43425486/19296001
1086.61/1082.73	c cleaning 196004 clauses out of 392013 with flag 43867124/19493000
1097.88/1094.06	c cleaning 197000 clauses out of 394009 with flag 44309627/19691000
1109.75/1105.90	c cleaning 197998 clauses out of 396009 with flag 44753048/19890000
1122.92/1119.05	c cleaning 199001 clauses out of 398011 with flag 45204784/20090000
1136.29/1132.42	c cleaning 200001 clauses out of 400011 with flag 45655625/20291001
1149.56/1145.76	c cleaning 200998 clauses out of 402010 with flag 46110345/20493001
1164.53/1160.77	c cleaning 202004 clauses out of 404012 with flag 46566686/20696001
1178.96/1175.14	c cleaning 202999 clauses out of 406008 with flag 47029402/20900001
1192.12/1188.32	c cleaning 203998 clauses out of 408008 with flag 47491297/21105000
1205.19/1201.41	c cleaning 204999 clauses out of 410010 with flag 47951826/21311000
1220.76/1217.05	c cleaning 205998 clauses out of 412012 with flag 48414862/21518001
1233.89/1230.06	c cleaning 207002 clauses out of 414013 with flag 48879910/21726000
1247.95/1244.12	c cleaning 208001 clauses out of 416011 with flag 49346165/21935000
1262.32/1258.59	c cleaning 208996 clauses out of 418010 with flag 49815204/22145000
1272.20/1268.42	c cleaning 210004 clauses out of 420015 with flag 50287597/22356001
1290.52/1286.13	c cleaning 211003 clauses out of 422011 with flag 50760478/22568001
1303.48/1299.12	c cleaning 212004 clauses out of 424007 with flag 51240537/22781000
1316.84/1312.54	c cleaning 212993 clauses out of 426003 with flag 51722613/22995000
1332.20/1327.87	c cleaning 214000 clauses out of 428010 with flag 52203314/23210000
1347.47/1343.12	c cleaning 214998 clauses out of 430010 with flag 52687809/23426000
1364.02/1359.71	c cleaning 215998 clauses out of 432012 with flag 53175635/23643000
1383.87/1379.68	c cleaning 216999 clauses out of 434014 with flag 53669941/23861000
1399.69/1395.36	c cleaning 218002 clauses out of 436016 with flag 54159993/24080001
1416.15/1411.87	c cleaning 218999 clauses out of 438013 with flag 54653981/24300000
1435.01/1430.78	c cleaning 220004 clauses out of 440015 with flag 55147949/24521001
1446.99/1442.63	c cleaning 220997 clauses out of 442010 with flag 55649482/24743000
1463.26/1459.00	c cleaning 221999 clauses out of 444013 with flag 56150907/24966000
1480.48/1475.48	c cleaning 223000 clauses out of 446015 with flag 56662571/25190001
1495.74/1490.72	c cleaning 224001 clauses out of 448016 with flag 57172353/25415002
1512.81/1507.73	c cleaning 225006 clauses out of 450014 with flag 57678788/25641001
1530.97/1525.91	c cleaning 226000 clauses out of 452007 with flag 58187353/25868000
1556.72/1551.73	c cleaning 226990 clauses out of 454008 with flag 58700227/26096001
1568.26/1563.29	c cleaning 228003 clauses out of 456018 with flag 59215249/26325001
1581.52/1576.53	c cleaning 229005 clauses out of 458014 with flag 59735014/26555000
1598.31/1593.24	c cleaning 230001 clauses out of 460009 with flag 60257278/26786000
1619.67/1614.62	c cleaning 230997 clauses out of 462008 with flag 60777218/27018000
1640.63/1635.61	c cleaning 231996 clauses out of 464011 with flag 61303472/27251000
1665.89/1660.82	c cleaning 233000 clauses out of 466015 with flag 61840266/27485000
1693.43/1688.48	c cleaning 233998 clauses out of 468017 with flag 62378461/27720002
1713.56/1707.72	c cleaning 235001 clauses out of 470018 with flag 62912286/27956001
1732.41/1726.63	c cleaning 236008 clauses out of 472018 with flag 63447806/28193002
1749.25/1743.41	c cleaning 236995 clauses out of 474008 with flag 63982240/28431000
1769.01/1763.25	c cleaning 238000 clauses out of 476014 with flag 64518263/28670001
1785.19/1779.40	c cleaning 239005 clauses out of 478014 with flag 65063892/28910001
1798.57/1792.84	c cleaning 240000 clauses out of 480009 with flag 65602845/29151001
1818.31/1812.60	c cleaning 240996 clauses out of 482008 with flag 66145785/29393000
1841.75/1836.06	c cleaning 242004 clauses out of 484013 with flag 66688456/29636001
1858.12/1852.44	c cleaning 242995 clauses out of 486008 with flag 67233177/29880000
1872.10/1866.31	c cleaning 243997 clauses out of 488014 with flag 67778424/30125001
1888.15/1882.43	c cleaning 245006 clauses out of 490016 with flag 68329011/30371000
1904.22/1898.57	c cleaning 246002 clauses out of 492011 with flag 68886429/30618001
1915.67/1909.90	c cleaning 246994 clauses out of 494008 with flag 69447684/30866000
1939.12/1933.41	c cleaning 248000 clauses out of 496014 with flag 70012818/31115000
1954.28/1948.68	c cleaning 248997 clauses out of 498014 with flag 70592294/31365000
1972.82/1967.13	c cleaning 249999 clauses out of 500017 with flag 71165207/31616000
1989.78/1984.13	c cleaning 251002 clauses out of 502018 with flag 71743628/31868000
2013.52/2007.90	c cleaning 251999 clauses out of 504016 with flag 72322296/32121000
2031.80/2026.27	c cleaning 253001 clauses out of 506017 with flag 72920385/32375000
2053.25/2047.76	c cleaning 253999 clauses out of 508016 with flag 73499516/32630000
2074.06/2067.71	c cleaning 255004 clauses out of 510018 with flag 74078582/32886001
2092.22/2085.97	c cleaning 256003 clauses out of 512014 with flag 74657126/33143001
2113.03/2106.78	c cleaning 256994 clauses out of 514010 with flag 75243392/33401000
2129.19/2122.99	c cleaning 258003 clauses out of 516016 with flag 75832053/33660000
2149.92/2143.65	c cleaning 259000 clauses out of 518014 with flag 76422107/33920001
2169.08/2162.85	c cleaning 260001 clauses out of 520013 with flag 77012533/34181000
2188.73/2182.58	c cleaning 261000 clauses out of 522012 with flag 77599902/34443000
2213.93/2207.75	c cleaning 262003 clauses out of 524013 with flag 78188818/34706001
2233.88/2227.72	c cleaning 262998 clauses out of 526009 with flag 78782313/34970000
2250.84/2244.73	c cleaning 264002 clauses out of 528012 with flag 79375108/35235001
2264.61/2258.43	c cleaning 264998 clauses out of 530010 with flag 79970870/35501001
2290.05/2283.96	c cleaning 265997 clauses out of 532011 with flag 80573250/35768000
2317.28/2311.29	c cleaning 267001 clauses out of 534014 with flag 81171790/36036000
2344.64/2338.51	c cleaning 268000 clauses out of 536014 with flag 81776643/36305001
2365.40/2359.33	c cleaning 269004 clauses out of 538013 with flag 82380736/36575000
2384.46/2378.42	c cleaning 269997 clauses out of 540010 with flag 82988929/36846001
2406.48/2400.48	c cleaning 270996 clauses out of 542013 with flag 83598775/37118001
2421.55/2415.59	c cleaning 272004 clauses out of 544017 with flag 84214211/37391001
2442.87/2436.11	c cleaning 273001 clauses out of 546014 with flag 84830607/37665002
2466.72/2460.03	c cleaning 274003 clauses out of 548013 with flag 85448126/37940002
2488.05/2481.34	c cleaning 275000 clauses out of 550008 with flag 86065179/38216000
2510.21/2503.52	c cleaning 276000 clauses out of 552008 with flag 86686648/38493000
2539.13/2532.34	c cleaning 276995 clauses out of 554008 with flag 87308830/38771000
2561.14/2554.37	c cleaning 277999 clauses out of 556013 with flag 87932421/39050000
2588.68/2581.70	c cleaning 279001 clauses out of 558015 with flag 88557217/39330001
2611.99/2605.04	c cleaning 280005 clauses out of 560014 with flag 89183949/39611001
2641.42/2634.23	c cleaning 280999 clauses out of 562008 with flag 89814515/39893000
2664.97/2657.89	c cleaning 281999 clauses out of 564010 with flag 90448965/40176001
2691.92/2683.90	c cleaning 283000 clauses out of 566011 with flag 91085178/40460001
2711.48/2703.55	c cleaning 283995 clauses out of 568010 with flag 91730021/40745000
2728.84/2720.90	c cleaning 284998 clauses out of 570015 with flag 92376801/41031000
2749.79/2741.94	c cleaning 286007 clauses out of 572018 with flag 93030685/41318001
2769.82/2761.90	c cleaning 286997 clauses out of 574010 with flag 93679161/41606000
2798.75/2790.96	c cleaning 288002 clauses out of 576013 with flag 94336175/41895000
2816.73/2808.88	c cleaning 289004 clauses out of 578011 with flag 94988507/42185000
2834.59/2826.72	c cleaning 289997 clauses out of 580008 with flag 95648940/42476001
2852.25/2844.43	c cleaning 290998 clauses out of 582010 with flag 96307371/42768000
2874.72/2866.82	c cleaning 292002 clauses out of 584012 with flag 96964719/43061000
2927.39/2919.65	c cleaning 293000 clauses out of 586011 with flag 97642376/43355001
2956.11/2948.39	c cleaning 293997 clauses out of 588011 with flag 98337240/43650001
2982.05/2974.37	c cleaning 294999 clauses out of 590014 with flag 99032812/43946001
3016.76/3008.54	c cleaning 296004 clauses out of 592015 with flag 99722837/44243001
3049.79/3041.60	c cleaning 296997 clauses out of 594011 with flag 100412501/44541001
3089.64/3081.44	c cleaning 298000 clauses out of 596014 with flag 101127408/44840001
3122.50/3114.15	c cleaning 298997 clauses out of 598013 with flag 101861363/45140000
3139.16/3130.84	c cleaning 300005 clauses out of 600017 with flag 102538147/45441001
3163.05/3154.76	c cleaning 301001 clauses out of 602012 with flag 103215787/45743001
3182.12/3173.75	c cleaning 302000 clauses out of 604010 with flag 103899259/46046000
3218.06/3208.75	c cleaning 302995 clauses out of 606010 with flag 104591851/46350000
3247.88/3238.59	c cleaning 303999 clauses out of 608015 with flag 105290895/46655000
3270.81/3261.47	c cleaning 304997 clauses out of 610016 with flag 105990811/46961000
3293.72/3284.30	c cleaning 306003 clauses out of 612019 with flag 106683431/47268000
3321.33/3311.81	c cleaning 307006 clauses out of 614017 with flag 107378942/47576001
3361.59/3352.08	c cleaning 307994 clauses out of 616010 with flag 108084471/47885000
3392.73/3382.34	c cleaning 308998 clauses out of 618016 with flag 108798200/48195000
3421.88/3411.59	c cleaning 310001 clauses out of 620018 with flag 109509008/48506000
3446.55/3436.18	c cleaning 311002 clauses out of 622017 with flag 110222677/48818000
3480.47/3470.11	c cleaning 312006 clauses out of 624018 with flag 110941922/49131003
3502.91/3492.59	c cleaning 313002 clauses out of 626009 with flag 111665898/49445000
3533.33/3523.08	c cleaning 313997 clauses out of 628008 with flag 112408855/49760001
3564.59/3554.20	c cleaning 315001 clauses out of 630011 with flag 113142629/50076001
3600.01/3589.71	c starts		: 1
3600.01/3589.73	c conflicts		: 50393001
3600.01/3589.73	c decisions		: 72983961
3600.01/3589.73	c propagations		: 391007809
3600.01/3589.73	c inspects		: 24334563288
3600.01/3589.73	c shortcuts		: 0
3600.01/3589.73	c learnt literals	: 0
3600.01/3589.73	c learnt binary clauses	: 0
3600.01/3589.73	c learnt ternary clauses	: 0
3600.01/3589.73	c learnt constraints	: 50393001
3600.01/3589.73	c ignored constraints	: 0
3600.01/3589.73	c root simplifications	: 0
3600.01/3589.73	c removed literals (reason simplification)	: 36133207
3600.01/3589.73	c reason swapping (by a shorter reason)	: 0
3600.01/3589.73	c Calls to reduceDB	: 313
3600.01/3589.74	c Number of update (reduction) of LBD	: 4479812
3600.01/3589.74	c Imported unit clauses	: 0
3600.01/3589.74	c No decision after first conflict	: false
3600.01/3589.74	c number of reductions to clauses (during analyze)	: 0
3600.01/3589.74	c number of learned constraints concerned by reduction	: 0
3600.01/3589.74	c number of learning phase by resolution	: 0
3600.01/3589.74	c number of learning phase by cutting planes	: 0
3600.01/3589.74	c number of rounding to 1 operations	: 0
3600.01/3589.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3589.74	c number of reductions of the coefficients by power 2 	: 0
3600.01/3589.74	c number of right shift for reduction by power 2 	: 0
3600.01/3589.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3589.74	c number of ending skipping 	: 0
3600.01/3589.74	c number of internal skipping 	: 0
3600.01/3589.74	c number of derivation steps 	: 0
3600.01/3589.74	c number of skipped derivation steps 	: 0
3600.01/3589.74	c number of remaining unassigned 	: 0
3600.01/3589.74	c number of remaining assigned 	: 0
3600.01/3589.74	c number of falsified literals weakened from reason	: 0
3600.01/3589.74	c number of falsified literals weakened from conflict	: 0
3600.01/3589.74	c time for arithmetic operations	: 0
3600.01/3589.75	c minimum degree of deleted constraints	: null
3600.01/3589.75	c maximum degree of deleted constraints	: null
3600.01/3589.75	c number of deleted constraints	: 0
3600.01/3589.75	c speed (assignments/second)	: 108928.47692893575
3600.01/3589.75	c non guided choices	: 207
3600.22/3589.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 632010
3600.22/3589.83	s UNKNOWN
3600.22/3589.84	c Total wall clock time (in seconds): 3589.706

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543563-1753227708/watcher-4543563-1753227708 -o /tmp/evaluation-result-4543563-1753227708/solver-4543563-1753227708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216816 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4543563-1753227708.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=217366, runsolver pid=217357

[startup+0.100059 s]*
/proc/loadavg: 4.15 4.10 4.05 6/336 217395
/proc/meminfo: memFree=126835848/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=18930384 memory=59496 CPUtime=0.13 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 6489 0 0 0 11 2 0 0 20 0 18 0 238449538 19384713216 14874 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4732596 14874 5350 1 0 547624 0
[pid=217366/tid=217370] ppid=217357 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 5098 0 0 0 6 1 0 0 20 0 18 0 238449539 19384713216 14874 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238449541 19384713216 14874 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=18930384 memory=57385981077077 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 238449542 19384713216 14874 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59496 KiB

[startup+0.205743 s]*
/proc/loadavg: 4.15 4.10 4.05 8/338 217397
/proc/meminfo: memFree=126831440/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=18996948 memory=63772 CPUtime=0.32 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 7042 0 0 0 30 2 0 0 20 0 19 0 238449538 19452874752 15943 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4749237 15943 5446 1 0 548300 0
[pid=217366/tid=217370] ppid=217357 vsize=18996948 memory=4027056412 CPUtime=0.16 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 5326 0 0 0 15 1 0 0 20 0 19 0 238449539 19452874752 15943 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=18996948 memory=17913 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449541 19452874752 15943 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=18996948 memory=56286469424100 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238449542 19452874752 15943 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449555 19452874752 15943 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63772 KiB

[startup+0.305669 s]*
/proc/loadavg: 4.15 4.10 4.05 7/338 217398
/proc/meminfo: memFree=126818460/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=18996948 memory=72112 CPUtime=0.51 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 9071 0 0 0 49 2 0 0 20 0 19 0 238449538 19452874752 18028 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4749237 18028 5446 1 0 549341 0
[pid=217366/tid=217370] ppid=217357 vsize=18996948 memory=-8671794767825969852 CPUtime=0.25 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 5328 0 0 0 24 1 0 0 20 0 19 0 238449539 19452874752 18028 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449541 19452874752 18028 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238449542 19452874752 18028 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449555 19452874752 18028 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72112 KiB

[startup+0.700241 s]
/proc/loadavg: 4.15 4.10 4.05 7/338 217398
/proc/meminfo: memFree=126796296/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=18996948 memory=87620 CPUtime=1.28 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 12471 0 0 0 125 3 0 0 20 0 19 0 238449538 19452874752 21905 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4749237 21905 5446 1 0 551628 0
[pid=217366/tid=217370] ppid=217357 vsize=18996948 memory=22144 CPUtime=0.62 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 5388 0 0 0 61 1 0 0 20 0 19 0 238449539 19452874752 21905 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449541 19452874752 21905 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238449542 19452874752 21905 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449555 19452874752 21905 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87620 KiB

[startup+1.50025 s]
/proc/loadavg: 4.15 4.10 4.05 5/338 217398
/proc/meminfo: memFree=126759296/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=18996948 memory=118596 CPUtime=2.56 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 16085 0 0 0 252 4 0 0 20 0 19 0 238449538 19452874752 29649 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4749237 29649 5446 1 0 551630 0
[pid=217366/tid=217370] ppid=217357 vsize=18996948 memory=0 CPUtime=1.42 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 5734 0 0 0 140 2 0 0 20 0 19 0 238449539 19452874752 29649 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238449541 19452874752 29649 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 238449542 19452874752 29649 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 238449555 19452874752 29649 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118596 KiB

[startup+3.10549 s]
/proc/loadavg: 4.13 4.10 4.05 5/339 217399
/proc/meminfo: memFree=126595696/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=180656 CPUtime=4.18 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 17733 0 0 0 412 6 0 0 20 0 20 0 238449538 19521036288 45164 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 45164 5478 1 0 551936 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=10752 CPUtime=3.01 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 6001 0 0 0 298 3 0 0 20 0 20 0 238449539 19521036288 45164 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=-8671794767825969852 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 45164 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 45164 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 45164 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180656 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.10 4.05 4/317 217412
/proc/meminfo: memFree=129048556/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=191056 CPUtime=7.4 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 17996 0 0 0 733 7 0 0 20 0 20 0 238449538 19521036288 47764 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 47764 5478 1 0 551937 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=0 CPUtime=6.15 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 6022 0 0 0 611 4 0 0 20 0 20 0 238449539 19521036288 47764 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 47764 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 47764 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=124740 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 47764 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 191056 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.05 5/340 217468
/proc/meminfo: memFree=128774416/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=273348 CPUtime=13.83 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 19663 0 0 0 1373 10 0 0 20 0 20 0 238449538 19521036288 68337 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 68337 5478 1 0 551937 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=124740 CPUtime=12.46 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 6553 0 0 0 1241 5 0 0 20 0 20 0 238449539 19521036288 68337 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 68337 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 68337 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=-8671794767825969852 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 68337 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 13.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 273348 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.05 5/340 217468
/proc/meminfo: memFree=128421404/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=478548 CPUtime=26.72 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 22701 0 0 0 2658 14 0 0 20 0 20 0 238449538 19521036288 119637 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 119637 5510 1 0 551937 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=0 CPUtime=25.08 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 7465 0 0 0 2503 5 0 0 20 0 20 0 238449539 19521036288 119637 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 119637 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=-8671794767825969852 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 119637 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 119637 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 26.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 478548 KiB

[startup+51.1056 s]
/proc/loadavg: 4.06 4.08 4.04 5/340 217468
/proc/meminfo: memFree=127696168/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=839048 CPUtime=52.49 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 22991 0 0 0 5226 23 0 0 20 0 20 0 238449538 19521036288 209762 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 209762 5510 1 0 551937 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=718212 CPUtime=50.38 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/340 217639
/proc/meminfo: memFree=121375152/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2212768 CPUtime=3291.73 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 128863 0 0 0 329024 149 0 0 20 0 20 0 238449538 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 553192 5510 1 0 566307 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=14692 CPUtime=3265.45 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 57225 0 0 0 326510 35 0 0 20 0 20 0 238449539 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=2212768 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=21484 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1526 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3291.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2212768 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217641
/proc/meminfo: memFree=121362880/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2212768 CPUtime=3351.9 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 129451 0 0 0 335038 152 0 0 20 0 20 0 238449538 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 553192 5510 1 0 566316 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2212768 CPUtime=3325.01 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 57406 0 0 0 332466 35 0 0 20 0 20 0 238449539 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=5148 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=2212768 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1572 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=2212768 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 553192 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3351.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2212768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/340 217643
/proc/meminfo: memFree=121101284/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2466848 CPUtime=3412.7 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 133504 0 0 0 341110 160 0 0 20 0 20 0 238449538 19521036288 616712 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 616712 5510 1 0 675012 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2212768 CPUtime=3384.73 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 59304 0 0 0 338434 39 0 0 20 0 20 0 238449539 19521036288 616712 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 616712 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=2395168 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1573 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 616712 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=2456608 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 616712 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3412.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2466848 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/340 217645
/proc/meminfo: memFree=120921172/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3472.68 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 134325 0 0 0 347104 164 0 0 20 0 20 0 238449538 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 661768 5510 1 0 675013 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2212768 CPUtime=3444.47 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 59891 0 0 0 344404 43 0 0 20 0 20 0 238449539 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1573 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3472.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2647072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/340 217647
/proc/meminfo: memFree=120920800/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3532.63 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 136098 0 0 0 353098 165 0 0 20 0 20 0 238449538 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 661768 5510 1 0 675013 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3504.22 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 60846 0 0 0 350379 43 0 0 20 0 20 0 238449539 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1621 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=14692 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3532.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2647072 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3592.63 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 137487 0 0 0 359096 167 0 0 20 0 20 0 238449538 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 661768 5510 1 0 675013 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3563.91 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 61271 0 0 0 356347 44 0 0 20 0 20 0 238449539 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3592.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2647072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.7 s]
/proc/loadavg: 4.14 4.11 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3600.01 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 137490 0 0 0 359834 167 0 0 20 0 20 0 238449538 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4765878 661768 5510 1 0 675013 0
[pid=217366/tid=217370] ppid=217357 vsize=19063512 memory=2647072 CPUtime=3571.3 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 61272 0 0 0 357086 44 0 0 20 0 20 0 238449539 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238449541 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 20 0 238449542 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217397] ppid=217357 vsize=19063512 memory=2647072 CPUtime=0 cores=4,6
/proc/217366/task/217397/stat : 217397 (Timer-0) S 217357 217366 216805 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238449555 19521036288 661768 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2647072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.62 s, system=1.69378 s

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

[startup+3589.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/340 217649
/proc/meminfo: memFree=120920928/131249992 swapFree=33003724/33010684
[pid=217366] ppid=217357 vsize=19263204 memory=2647712 CPUtime=3600.22 cores=4,6
/proc/217366/stat : 217366 (java) S 217357 217366 216805 0 -1 4194304 139585 0 0 0 359854 168 0 0 20 0 21 0 238449538 19725520896 661928 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
/proc/217366/statm: 4815801 661928 5510 1 0 675916 0
[pid=217366/tid=217370] ppid=217357 vsize=19263204 memory=21484 CPUtime=3571.4 cores=4,6
/proc/217366/task/217370/stat : 217370 (java) R 217357 217366 216805 0 -1 4194368 61272 0 0 0 357096 44 0 0 20 0 21 0 238449539 19725520896 661928 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217388] ppid=217357 vsize=19263204 memory=-8671794767825969852 CPUtime=0 cores=4,6
/proc/217366/task/217388/stat : 217388 (Finalizer) S 217357 217366 216805 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 238449541 19725520896 661928 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
[pid=217366/tid=217395] ppid=217357 vsize=19263204 memory=2764 CPUtime=0 cores=4,6
/proc/217366/task/217395/stat : 217395 (Common-Cleaner) S 217357 217366 216805 0 -1 4194368 1665 0 0 0 0 0 0 0 20 0 21 0 238449542 19725520896 661928 18446744073709551615 93864863428608 93864863432304 140732610543232 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93864863440120 93864863440912 93864871501824 140732610546047 140732610546148 140732610546148 140732610551752 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2647712 KiB

Child status: 143

Real time (s): 3589.85
CPU time (s): 3600.31
CPU user time (s): 3598.62
CPU system time (s): 1.69378
CPU usage (%): 100.291
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2647712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 1.69378
maximum resident set size= 2647968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109622
involuntary context switches= 22380


# summary of solver processes directly reported to runsolver:
#   pid: 217366
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3598.62
#   total CPU system time (s): 1.69378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68446 second user time and 16.3986 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 01:41:48
IDJOB=4543563
IDBENCH=173856
IDSOLVER=3363
FILE ID=nodeC025/4543563-1753227708
RUNJOBID= nodeC025-1753224118-216816
SLURM_JOB_ID= 9687832
Free space on /tmp= 431860 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/domset_large/normalized-domset-hexgrid_07_054.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543563-1753227708/watcher-4543563-1753227708 -o /tmp/evaluation-result-4543563-1753227708/solver-4543563-1753227708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753224118-216816 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4543563-1753227708.opb

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

MD5SUM BENCH= 8cc5936c86de52aa6e90ec0781cd7f5c
RANDOM SEED=1674897472

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126902892 kB
MemAvailable:   127110512 kB
Buffers:            2128 kB
Cached:           951340 kB
SwapCached:         2132 kB
Active:          3330440 kB
Inactive:         296676 kB
Active(anon):    2667640 kB
Inactive(anon):    27612 kB
Active(file):     662800 kB
Inactive(file):   269064 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2528 kB
Writeback:             0 kB
AnonPages:       2674588 kB
Mapped:           123156 kB
Shmem:             21600 kB
KReclaimable:     229988 kB
Slab:             327716 kB
SReclaimable:     229988 kB
SUnreclaim:        97728 kB
KernelStack:        4896 kB
PageTables:         8584 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5200980 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151128 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2543616 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431856 MiB
End job on nodeC025 at 2025-07-23 02:41:38