Trace number 4542705

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.18 3601.03

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
MD5SUM51f0204441dcd002ae254f35580dbb8b
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 benchmark3.67265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables577
Total number of constraints290
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints286
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4542705-1753217360.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.04s.
0.12/0.18	c declared #vars     577
0.12/0.18	c #constraints  290
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 288
0.12/0.18	c 290 constraints processed.
0.70/0.46	c cleaning 2491 clauses out of 5001 with flag 15678/5001
1.08/0.69	c cleaning 4247 clauses out of 8510 with flag 36378/11001
1.47/0.89	c cleaning 5617 clauses out of 11263 with flag 62614/18001
1.87/1.09	c cleaning 6811 clauses out of 13645 with flag 91699/26000
2.36/1.30	c cleaning 7898 clauses out of 15834 with flag 121681/35000
2.65/1.53	c cleaning 8943 clauses out of 17936 with flag 161098/45000
2.99/1.74	c cleaning 9982 clauses out of 19994 with flag 206840/56001
3.46/2.15	c cleaning 10990 clauses out of 22013 with flag 262854/68002
3.75/2.48	c cleaning 12000 clauses out of 24021 with flag 317769/81000
4.26/2.98	c cleaning 13001 clauses out of 26023 with flag 378434/95002
4.56/3.29	c cleaning 13992 clauses out of 28020 with flag 437415/110000
5.10/3.65	c cleaning 14998 clauses out of 30029 with flag 491373/126001
5.53/4.09	c cleaning 16002 clauses out of 32031 with flag 564585/143001
6.16/4.62	c cleaning 16998 clauses out of 34028 with flag 641712/161000
6.87/5.39	c cleaning 17995 clauses out of 36031 with flag 731100/180001
7.57/6.01	c cleaning 18993 clauses out of 38036 with flag 813375/200001
7.96/6.48	c cleaning 19991 clauses out of 40045 with flag 890814/221003
8.57/7.05	c cleaning 21013 clauses out of 42051 with flag 975215/243000
9.58/8.02	c cleaning 21990 clauses out of 44038 with flag 1067385/266000
10.47/8.91	c cleaning 22996 clauses out of 46049 with flag 1178212/290001
11.37/9.81	c cleaning 24012 clauses out of 48054 with flag 1289470/315002
12.07/10.53	c cleaning 25001 clauses out of 50040 with flag 1386663/341000
13.07/11.57	c cleaning 25999 clauses out of 52039 with flag 1502658/368000
13.97/12.44	c cleaning 26998 clauses out of 54041 with flag 1612720/396001
14.47/12.98	c cleaning 28000 clauses out of 56043 with flag 1718472/425001
15.67/14.14	c cleaning 28999 clauses out of 58042 with flag 1832984/455000
17.16/15.67	c cleaning 29997 clauses out of 60044 with flag 1965642/486001
18.37/16.89	c cleaning 31008 clauses out of 62046 with flag 2099918/518000
20.16/18.69	c cleaning 32006 clauses out of 64039 with flag 2253995/551001
22.16/20.63	c cleaning 33005 clauses out of 66033 with flag 2431275/585001
23.16/21.63	c cleaning 33996 clauses out of 68028 with flag 2577120/620001
24.95/23.42	c cleaning 35009 clauses out of 70034 with flag 2730591/656003
26.95/25.45	c cleaning 35997 clauses out of 72023 with flag 2958735/693001
27.95/26.41	c cleaning 37005 clauses out of 74025 with flag 3129104/731000
29.07/27.58	c cleaning 37990 clauses out of 76020 with flag 3281748/770000
30.87/29.30	c cleaning 38989 clauses out of 78030 with flag 3431809/810000
33.17/31.61	c cleaning 39999 clauses out of 80042 with flag 3598672/851001
34.67/33.17	c cleaning 40996 clauses out of 82043 with flag 3755346/893001
36.26/34.79	c cleaning 42006 clauses out of 84046 with flag 3933680/936000
37.66/36.12	c cleaning 42997 clauses out of 86040 with flag 4101435/980000
40.59/39.04	c cleaning 44000 clauses out of 88043 with flag 4356942/1025000
43.59/42.05	c cleaning 45001 clauses out of 90043 with flag 4615085/1071000
46.87/45.30	c cleaning 46002 clauses out of 92044 with flag 4874368/1118002
49.18/47.61	c cleaning 46999 clauses out of 94041 with flag 5122398/1166001
51.58/50.09	c cleaning 47999 clauses out of 96042 with flag 5330580/1215001
54.67/53.15	c cleaning 48998 clauses out of 98042 with flag 5540313/1265000
56.10/54.58	c cleaning 50002 clauses out of 100045 with flag 5727910/1316001
59.20/57.65	c cleaning 51016 clauses out of 102042 with flag 5975342/1368000
60.70/59.16	c cleaning 51980 clauses out of 104026 with flag 6188032/1421000
62.49/60.93	c cleaning 52993 clauses out of 106046 with flag 6398905/1475000
64.39/62.80	c cleaning 53994 clauses out of 108053 with flag 6595323/1530000
65.92/64.37	c cleaning 55005 clauses out of 110060 with flag 6796284/1586001
68.01/66.46	c cleaning 56015 clauses out of 112054 with flag 7029394/1643000
70.71/69.11	c cleaning 56999 clauses out of 114039 with flag 7292866/1701000
72.61/71.06	c cleaning 58001 clauses out of 116040 with flag 7522890/1760000
74.45/72.80	c cleaning 58983 clauses out of 118040 with flag 7738505/1820001
78.34/76.70	c cleaning 60007 clauses out of 120056 with flag 7988727/1881000
80.03/78.46	c cleaning 60994 clauses out of 122049 with flag 8213836/1943000
82.23/80.66	c cleaning 62010 clauses out of 124055 with flag 8457851/2006000
85.32/83.79	c cleaning 62999 clauses out of 126048 with flag 8748151/2070003
88.06/86.47	c cleaning 64000 clauses out of 128048 with flag 9036236/2135002
90.75/89.13	c cleaning 64989 clauses out of 130048 with flag 9295437/2201002
93.24/91.68	c cleaning 65996 clauses out of 132058 with flag 9555929/2268001
97.44/95.84	c cleaning 66988 clauses out of 134062 with flag 9879584/2336001
100.25/98.67	c cleaning 68013 clauses out of 136075 with flag 10153335/2405002
102.45/100.85	c cleaning 69015 clauses out of 138060 with flag 10411507/2475000
104.94/103.34	c cleaning 70000 clauses out of 140045 with flag 10668489/2546000
108.03/106.47	c cleaning 71005 clauses out of 142045 with flag 10958267/2618000
110.97/109.30	c cleaning 71997 clauses out of 144041 with flag 11237768/2691001
117.55/115.90	c cleaning 73002 clauses out of 146043 with flag 11589515/2765000
122.64/121.04	c cleaning 73989 clauses out of 148041 with flag 11927595/2840000
128.27/126.69	c cleaning 75009 clauses out of 150053 with flag 12289797/2916001
131.46/129.85	c cleaning 76004 clauses out of 152043 with flag 12577859/2993000
134.35/132.75	c cleaning 77002 clauses out of 154039 with flag 12873303/3071000
136.99/135.31	c cleaning 77993 clauses out of 156038 with flag 13155552/3150001
139.88/138.20	c cleaning 79009 clauses out of 158044 with flag 13447408/3230000
142.28/140.66	c cleaning 79992 clauses out of 160035 with flag 13734923/3311000
144.87/143.22	c cleaning 80981 clauses out of 162043 with flag 14042718/3393000
147.59/145.97	c cleaning 82006 clauses out of 164062 with flag 14343369/3476000
152.08/150.44	c cleaning 83000 clauses out of 166056 with flag 14769462/3560000
155.37/153.72	c cleaning 84001 clauses out of 168057 with flag 15078497/3645001
160.16/158.55	c cleaning 85002 clauses out of 170055 with flag 15469248/3731000
163.69/162.01	c cleaning 85992 clauses out of 172054 with flag 15828991/3818001
168.59/166.94	c cleaning 87010 clauses out of 174061 with flag 16188187/3906000
171.98/170.30	c cleaning 88002 clauses out of 176051 with flag 16522493/3995000
175.07/173.41	c cleaning 89015 clauses out of 178049 with flag 16840015/4085000
179.62/177.94	c cleaning 89981 clauses out of 180034 with flag 17195871/4176000
183.30/181.69	c cleaning 91018 clauses out of 182054 with flag 17568626/4268001
186.89/185.28	c cleaning 91991 clauses out of 184039 with flag 17907492/4361004
190.09/188.43	c cleaning 93011 clauses out of 186044 with flag 18254665/4455000
196.37/194.78	c cleaning 94002 clauses out of 188033 with flag 18658912/4550000
201.91/200.25	c cleaning 94998 clauses out of 190032 with flag 19082370/4646001
205.90/204.22	c cleaning 96004 clauses out of 192035 with flag 19469625/4743002
209.89/208.21	c cleaning 96984 clauses out of 194029 with flag 19863568/4841000
217.58/215.91	c cleaning 97994 clauses out of 196046 with flag 20347547/4940001
221.83/220.12	c cleaning 99006 clauses out of 198052 with flag 20708444/5040001
225.31/223.67	c cleaning 100012 clauses out of 200045 with flag 21085079/5141000
230.00/228.34	c cleaning 100995 clauses out of 202033 with flag 21517516/5243000
234.39/232.77	c cleaning 101981 clauses out of 204038 with flag 21897029/5346000
238.89/237.26	c cleaning 102995 clauses out of 206058 with flag 22312277/5450001
244.04/242.33	c cleaning 104004 clauses out of 208063 with flag 22738082/5555001
249.74/248.05	c cleaning 104991 clauses out of 210058 with flag 23190928/5661000
255.02/253.34	c cleaning 106019 clauses out of 212068 with flag 23619140/5768001
258.82/257.16	c cleaning 106999 clauses out of 214048 with flag 24015926/5876000
263.80/262.18	c cleaning 108000 clauses out of 216049 with flag 24436668/5985000
268.26/266.59	c cleaning 109000 clauses out of 218049 with flag 24843315/6095000
273.05/271.30	c cleaning 110015 clauses out of 220050 with flag 25286785/6206001
277.64/275.98	c cleaning 110980 clauses out of 222034 with flag 25724563/6318000
284.33/282.61	c cleaning 111992 clauses out of 224055 with flag 26283537/6431001
288.82/287.12	c cleaning 113007 clauses out of 226063 with flag 26716124/6545001
295.50/293.84	c cleaning 114004 clauses out of 228055 with flag 27213678/6660000
307.09/305.45	c cleaning 115000 clauses out of 230051 with flag 27804395/6776000
319.26/317.65	c cleaning 116005 clauses out of 232052 with flag 28462953/6893001
331.82/330.22	c cleaning 117002 clauses out of 234047 with flag 29170908/7011001
338.01/336.44	c cleaning 118014 clauses out of 236045 with flag 29716350/7130001
343.29/341.72	c cleaning 118987 clauses out of 238030 with flag 30186197/7250000
350.47/348.99	c cleaning 119978 clauses out of 240044 with flag 30749150/7371001
355.36/353.88	c cleaning 121014 clauses out of 242066 with flag 31189474/7493001
362.56/360.66	c cleaning 121997 clauses out of 244053 with flag 31733543/7616002
367.85/365.90	c cleaning 123017 clauses out of 246055 with flag 32180726/7740001
373.14/371.25	c cleaning 123989 clauses out of 248037 with flag 32644217/7865000
378.63/376.76	c cleaning 125003 clauses out of 250049 with flag 33108333/7991001
391.60/389.77	c cleaning 126000 clauses out of 252045 with flag 33681709/8118000
397.13/395.26	c cleaning 127008 clauses out of 254046 with flag 34163033/8246001
403.31/401.49	c cleaning 127998 clauses out of 256038 with flag 34675224/8375001
408.41/406.53	c cleaning 128988 clauses out of 258040 with flag 35124034/8505001
414.90/413.08	c cleaning 129998 clauses out of 260053 with flag 35636598/8636002
422.38/420.52	c cleaning 131012 clauses out of 262056 with flag 36148407/8768003
429.66/427.89	c cleaning 132006 clauses out of 264041 with flag 36678725/8901000
436.72/434.83	c cleaning 133001 clauses out of 266035 with flag 37195245/9035000
442.51/440.64	c cleaning 133978 clauses out of 268036 with flag 37688945/9170002
448.49/446.61	c cleaning 135000 clauses out of 270056 with flag 38191037/9306000
456.47/454.65	c cleaning 136005 clauses out of 272057 with flag 38756474/9443001
462.26/460.45	c cleaning 137004 clauses out of 274051 with flag 39237592/9581000
469.95/468.14	c cleaning 137995 clauses out of 276047 with flag 39802060/9720000
477.00/475.14	c cleaning 139009 clauses out of 278052 with flag 40382348/9860000
484.18/482.38	c cleaning 139998 clauses out of 280043 with flag 40961872/10001000
490.76/488.91	c cleaning 140997 clauses out of 282045 with flag 41479248/10143000
497.05/495.27	c cleaning 142004 clauses out of 284048 with flag 42001852/10286000
504.13/502.36	c cleaning 142992 clauses out of 286044 with flag 42548479/10430000
510.21/508.47	c cleaning 144018 clauses out of 288052 with flag 43083099/10575000
517.70/515.96	c cleaning 144985 clauses out of 290035 with flag 43649017/10721001
525.04/523.21	c cleaning 146016 clauses out of 292052 with flag 44216406/10868003
532.22/530.44	c cleaning 146974 clauses out of 294033 with flag 44780276/11016000
542.80/541.09	c cleaning 147994 clauses out of 296061 with flag 45419301/11165002
551.08/549.30	c cleaning 149007 clauses out of 298066 with flag 46042519/11315001
559.16/557.40	c cleaning 149995 clauses out of 300059 with flag 46628728/11466001
566.94/565.28	c cleaning 151003 clauses out of 302063 with flag 47234271/11618000
575.73/574.02	c cleaning 152013 clauses out of 304060 with flag 47838934/11771000
582.99/581.26	c cleaning 152998 clauses out of 306047 with flag 48422081/11925000
592.17/590.43	c cleaning 153994 clauses out of 308049 with flag 49060517/12080000
602.25/600.52	c cleaning 154996 clauses out of 310056 with flag 49689580/12236001
610.92/609.24	c cleaning 156018 clauses out of 312059 with flag 50329732/12393000
619.00/617.35	c cleaning 156974 clauses out of 314041 with flag 50925644/12551000
629.87/628.28	c cleaning 158008 clauses out of 316067 with flag 51560641/12710000
640.85/639.27	c cleaning 159001 clauses out of 318062 with flag 52235161/12870003
648.93/647.34	c cleaning 160007 clauses out of 320058 with flag 52842039/13031000
657.91/656.32	c cleaning 161002 clauses out of 322052 with flag 53483933/13193001
667.30/665.74	c cleaning 161999 clauses out of 324049 with flag 54104295/13356000
675.87/674.34	c cleaning 163014 clauses out of 326050 with flag 54723099/13520000
687.66/686.18	c cleaning 163982 clauses out of 328036 with flag 55451119/13685000
696.37/694.72	c cleaning 165003 clauses out of 330055 with flag 56078092/13851001
704.45/702.87	c cleaning 165996 clauses out of 332052 with flag 56691213/14018001
715.93/714.30	c cleaning 167001 clauses out of 334057 with flag 57341107/14186002
727.30/725.71	c cleaning 168011 clauses out of 336055 with flag 58005093/14355001
739.37/737.82	c cleaning 169007 clauses out of 338045 with flag 58743235/14525002
748.34/746.88	c cleaning 169990 clauses out of 340039 with flag 59405505/14696003
757.72/756.21	c cleaning 171003 clauses out of 342047 with flag 60070227/14868001
769.08/767.57	c cleaning 171999 clauses out of 344043 with flag 60805833/15041000
777.96/776.42	c cleaning 172989 clauses out of 346044 with flag 61489062/15215000
788.74/787.21	c cleaning 174004 clauses out of 348055 with flag 62232067/15390000
799.81/798.39	c cleaning 175008 clauses out of 350052 with flag 62914162/15566001
810.19/808.72	c cleaning 175990 clauses out of 352043 with flag 63629904/15743000
820.77/819.34	c cleaning 176995 clauses out of 354054 with flag 64308684/15921001
833.34/831.96	c cleaning 178011 clauses out of 356058 with flag 65070290/16100000
847.01/845.58	c cleaning 178992 clauses out of 358048 with flag 65887788/16280001
857.89/856.45	c cleaning 180014 clauses out of 360056 with flag 66598960/16461001
867.37/865.92	c cleaning 180992 clauses out of 362041 with flag 67283367/16643000
877.64/876.25	c cleaning 181998 clauses out of 364049 with flag 67982159/16826000
887.43/886.06	c cleaning 182980 clauses out of 366051 with flag 68669179/17010000
902.69/901.35	c cleaning 184019 clauses out of 368071 with flag 69564420/17195000
913.27/911.98	c cleaning 184995 clauses out of 370052 with flag 70281940/17381000
922.97/921.57	c cleaning 186001 clauses out of 372057 with flag 70945332/17568000
933.05/931.61	c cleaning 187021 clauses out of 374057 with flag 71640737/17756001
944.53/943.18	c cleaning 187998 clauses out of 376036 with flag 72428308/17945001
955.59/954.27	c cleaning 188993 clauses out of 378037 with flag 73160585/18135000
970.06/968.72	c cleaning 190016 clauses out of 380045 with flag 74008454/18326001
980.15/978.88	c cleaning 190980 clauses out of 382030 with flag 74750795/18518002
993.41/992.16	c cleaning 191997 clauses out of 384048 with flag 75539964/18711000
1009.97/1008.20	c cleaning 192991 clauses out of 386052 with flag 76325932/18905001
1022.85/1021.12	c cleaning 194012 clauses out of 388060 with flag 77201255/19100000
1033.92/1032.26	c cleaning 194998 clauses out of 390049 with flag 77968621/19296001
1045.50/1043.81	c cleaning 195999 clauses out of 392051 with flag 78719445/19493001
1057.87/1056.24	c cleaning 197015 clauses out of 394052 with flag 79492659/19691001
1076.33/1074.77	c cleaning 197987 clauses out of 396036 with flag 80466070/19890000
1091.00/1089.46	c cleaning 198999 clauses out of 398049 with flag 81348679/20090000
1102.19/1100.56	c cleaning 200007 clauses out of 400051 with flag 82106807/20291001
1117.46/1115.81	c cleaning 200991 clauses out of 402043 with flag 82932170/20493000
1133.72/1132.16	c cleaning 201995 clauses out of 404054 with flag 83784265/20696002
1148.60/1147.09	c cleaning 203010 clauses out of 406057 with flag 84682553/20900000
1163.85/1162.35	c cleaning 204001 clauses out of 408047 with flag 85557292/21105000
1178.82/1177.34	c cleaning 205007 clauses out of 410047 with flag 86387518/21311001
1190.60/1189.12	c cleaning 205983 clauses out of 412041 with flag 87175065/21518002
1204.37/1202.94	c cleaning 207006 clauses out of 414058 with flag 88019894/21726002
1221.36/1219.82	c cleaning 208000 clauses out of 416050 with flag 88929071/21935000
1234.33/1232.81	c cleaning 209003 clauses out of 418051 with flag 89769375/22145001
1252.39/1251.00	c cleaning 209992 clauses out of 420047 with flag 90711919/22356000
1267.46/1266.08	c cleaning 211011 clauses out of 422058 with flag 91580127/22568003
1281.91/1280.58	c cleaning 211990 clauses out of 424044 with flag 92415139/22781000
1295.07/1293.70	c cleaning 212999 clauses out of 426054 with flag 93248099/22995000
1308.93/1307.60	c cleaning 213997 clauses out of 428055 with flag 94140308/23210000
1323.39/1322.13	c cleaning 215006 clauses out of 430059 with flag 95024695/23426001
1338.13/1336.77	c cleaning 216007 clauses out of 432052 with flag 95963560/23643000
1354.49/1353.14	c cleaning 217006 clauses out of 434049 with flag 96888118/23861004
1370.36/1369.03	c cleaning 217996 clauses out of 436039 with flag 97789122/24080000
1384.62/1383.31	c cleaning 218995 clauses out of 438044 with flag 98668795/24300001
1406.86/1405.65	c cleaning 220003 clauses out of 440048 with flag 99601045/24521000
1422.33/1421.15	c cleaning 221010 clauses out of 442045 with flag 100511028/24743000
1439.48/1438.30	c cleaning 221993 clauses out of 444035 with flag 101426351/24966000
1461.32/1460.27	c cleaning 223008 clauses out of 446045 with flag 102432257/25190003
1475.59/1474.35	c cleaning 223997 clauses out of 448035 with flag 103292791/25415001
1489.06/1487.84	c cleaning 224997 clauses out of 450037 with flag 104123367/25641000
1506.32/1505.19	c cleaning 225990 clauses out of 452044 with flag 105091691/25868004
1520.68/1519.59	c cleaning 226995 clauses out of 454052 with flag 105956837/26096002
1541.22/1540.15	c cleaning 228006 clauses out of 456058 with flag 107040144/26325003
1557.08/1556.03	c cleaning 229003 clauses out of 458050 with flag 107986431/26555001
1571.73/1570.70	c cleaning 229991 clauses out of 460046 with flag 108886348/26786000
1588.95/1587.88	c cleaning 231011 clauses out of 462055 with flag 109812269/27018000
1604.02/1602.91	c cleaning 232002 clauses out of 464048 with flag 110747217/27251004
1629.96/1628.94	c cleaning 233000 clauses out of 466043 with flag 111857275/27485001
1654.20/1653.28	c cleaning 233993 clauses out of 468042 with flag 112968940/27720000
1671.17/1670.29	c cleaning 235007 clauses out of 470050 with flag 113896222/27956001
1688.83/1687.99	c cleaning 236003 clauses out of 472044 with flag 114870286/28193002
1704.59/1703.76	c cleaning 236993 clauses out of 474040 with flag 115817125/28431001
1720.78/1719.80	c cleaning 237997 clauses out of 476046 with flag 116772559/28670000
1737.74/1736.84	c cleaning 239015 clauses out of 478052 with flag 117788046/28910003
1753.51/1752.67	c cleaning 240017 clauses out of 480034 with flag 118768822/29151000
1768.18/1767.35	c cleaning 240986 clauses out of 482017 with flag 119650351/29393000
1791.73/1790.94	c cleaning 241987 clauses out of 484031 with flag 120642133/29636000
1813.06/1811.73	c cleaning 242995 clauses out of 486044 with flag 121645942/29880000
1831.93/1830.65	c cleaning 244009 clauses out of 488050 with flag 122725479/30125001
1848.08/1846.87	c cleaning 244993 clauses out of 490040 with flag 123705933/30371000
1864.84/1863.69	c cleaning 246008 clauses out of 492049 with flag 124703830/30618002
1881.19/1880.08	c cleaning 246998 clauses out of 494040 with flag 125655020/30866001
1898.94/1897.86	c cleaning 248011 clauses out of 496042 with flag 126633810/31115001
1916.80/1915.79	c cleaning 248987 clauses out of 498030 with flag 127630319/31365000
1941.34/1940.36	c cleaning 250001 clauses out of 500044 with flag 128749575/31616001
1961.81/1960.88	c cleaning 251005 clauses out of 502042 with flag 129799041/31868000
1979.16/1978.28	c cleaning 252008 clauses out of 504038 with flag 130802494/32121001
1998.13/1997.29	c cleaning 252999 clauses out of 506029 with flag 131861944/32375000
2015.89/2015.02	c cleaning 253991 clauses out of 508030 with flag 132920297/32630000
2033.85/2033.03	c cleaning 255002 clauses out of 510039 with flag 133958321/32886000
2052.75/2051.81	c cleaning 255999 clauses out of 512037 with flag 134983453/33143000
2071.11/2070.25	c cleaning 256997 clauses out of 514038 with flag 136009004/33401000
2088.07/2087.24	c cleaning 257997 clauses out of 516044 with flag 136973691/33660003
2109.32/2108.51	c cleaning 259001 clauses out of 518045 with flag 138054818/33920001
2127.99/2127.20	c cleaning 260003 clauses out of 520044 with flag 139111164/34181001
2146.14/2145.43	c cleaning 260991 clauses out of 522040 with flag 140154369/34443000
2169.09/2168.45	c cleaning 262011 clauses out of 524050 with flag 141262514/34706001
2187.95/2187.34	c cleaning 262992 clauses out of 526039 with flag 142301730/34970001
2211.90/2211.36	c cleaning 264005 clauses out of 528046 with flag 143396486/35235000
2230.96/2230.24	c cleaning 265001 clauses out of 530042 with flag 144470776/35501001
2260.90/2260.24	c cleaning 265999 clauses out of 532040 with flag 145681595/35768000
2280.15/2279.54	c cleaning 266995 clauses out of 534041 with flag 146788756/36036000
2303.61/2303.08	c cleaning 267995 clauses out of 536046 with flag 148059100/36305000
2329.74/2329.29	c cleaning 269002 clauses out of 538051 with flag 149333513/36575000
2348.48/2348.02	c cleaning 269993 clauses out of 540050 with flag 150381890/36846001
2367.04/2366.66	c cleaning 271015 clauses out of 542056 with flag 151407717/37118000
2386.19/2385.68	c cleaning 271997 clauses out of 544041 with flag 152455442/37391000
2408.83/2408.32	c cleaning 273004 clauses out of 546046 with flag 153575386/37665002
2429.58/2429.14	c cleaning 273992 clauses out of 548041 with flag 154660374/37940001
2447.62/2447.29	c cleaning 274999 clauses out of 550049 with flag 155698371/38216001
2467.07/2466.72	c cleaning 276006 clauses out of 552051 with flag 156782828/38493002
2487.41/2487.12	c cleaning 276994 clauses out of 554043 with flag 157945559/38771000
2507.38/2507.17	c cleaning 277995 clauses out of 556049 with flag 159040898/39050000
2528.80/2528.57	c cleaning 278999 clauses out of 558056 with flag 160214692/39330002
2550.05/2549.86	c cleaning 280004 clauses out of 560055 with flag 161344807/39611000
2570.71/2570.54	c cleaning 281017 clauses out of 562053 with flag 162464831/39893002
2593.46/2593.38	c cleaning 281998 clauses out of 564035 with flag 163631753/40176001
2616.71/2616.68	c cleaning 283001 clauses out of 566037 with flag 164796030/40460001
2638.15/2638.06	c cleaning 284001 clauses out of 568035 with flag 165948551/40745000
2662.39/2662.37	c cleaning 285011 clauses out of 570034 with flag 167122393/41031000
2686.94/2686.93	c cleaning 285980 clauses out of 572023 with flag 168283623/41318000
2708.29/2708.37	c cleaning 287003 clauses out of 574044 with flag 169397194/41606001
2729.95/2730.05	c cleaning 287990 clauses out of 576040 with flag 170516315/41895000
2755.40/2755.49	c cleaning 289006 clauses out of 578052 with flag 171660274/42185002
2778.35/2778.48	c cleaning 290006 clauses out of 580044 with flag 172816334/42476000
2810.08/2810.29	c cleaning 291008 clauses out of 582040 with flag 174210637/42768002
2834.23/2834.40	c cleaning 292002 clauses out of 584030 with flag 175396090/43061000
2864.57/2864.88	c cleaning 292994 clauses out of 586029 with flag 176716392/43355001
2885.83/2886.18	c cleaning 294007 clauses out of 588035 with flag 177827200/43650001
2909.89/2910.15	c cleaning 294990 clauses out of 590029 with flag 178999977/43946002
2931.34/2931.66	c cleaning 296006 clauses out of 592037 with flag 180113103/44243000
2954.70/2955.07	c cleaning 296987 clauses out of 594031 with flag 181266308/44541000
2978.94/2979.37	c cleaning 298002 clauses out of 596044 with flag 182444304/44840000
3002.18/3002.62	c cleaning 298989 clauses out of 598043 with flag 183641676/45140001
3034.92/3035.41	c cleaning 300006 clauses out of 600053 with flag 185030001/45441000
3064.30/3064.30	c cleaning 301003 clauses out of 602049 with flag 186286669/45743002
3091.45/3091.59	c cleaning 301991 clauses out of 604045 with flag 187565517/46046001
3116.00/3116.15	c cleaning 303009 clauses out of 606053 with flag 188771448/46350000
3139.24/3139.46	c cleaning 304002 clauses out of 608044 with flag 189999494/46655000
3169.37/3169.52	c cleaning 304992 clauses out of 610042 with flag 191313376/46961000
3192.92/3193.18	c cleaning 306007 clauses out of 612050 with flag 192452016/47268000
3217.87/3218.11	c cleaning 306999 clauses out of 614045 with flag 193677187/47576002
3242.61/3242.95	c cleaning 308004 clauses out of 616044 with flag 194897171/47885000
3278.42/3278.81	c cleaning 308999 clauses out of 618040 with flag 196297631/48195000
3302.45/3302.99	c cleaning 310013 clauses out of 620042 with flag 197526464/48506001
3331.86/3332.36	c cleaning 310999 clauses out of 622028 with flag 198880660/48818000
3358.61/3359.16	c cleaning 311998 clauses out of 624029 with flag 200159245/49131000
3384.74/3385.32	c cleaning 313004 clauses out of 626031 with flag 201426621/49445000
3409.20/3409.81	c cleaning 313992 clauses out of 628028 with flag 202664523/49760001
3439.82/3440.56	c cleaning 315004 clauses out of 630036 with flag 203996160/50076001
3465.58/3466.39	c cleaning 315987 clauses out of 632031 with flag 205258196/50393000
3496.06/3496.70	c cleaning 316997 clauses out of 634044 with flag 206737491/50711000
3520.81/3521.54	c cleaning 318002 clauses out of 636050 with flag 207959711/51030003
3545.55/3546.35	c cleaning 318993 clauses out of 638045 with flag 209215716/51350000
3571.40/3572.28	c cleaning 320016 clauses out of 640052 with flag 210455414/51671000
3598.04/3598.93	c cleaning 320993 clauses out of 642036 with flag 211785988/51993000
3600.03/3600.91	c starts		: 23729
3600.03/3600.92	c conflicts		: 52024252
3600.03/3600.92	c decisions		: 67242651
3600.03/3600.92	c propagations		: 584430329
3600.03/3600.92	c inspects		: 64138458633
3600.03/3600.92	c shortcuts		: 0
3600.03/3600.92	c learnt literals	: 0
3600.03/3600.92	c learnt binary clauses	: 0
3600.03/3600.92	c learnt ternary clauses	: 0
3600.03/3600.92	c learnt constraints	: 52024252
3600.03/3600.92	c ignored constraints	: 0
3600.03/3600.92	c root simplifications	: 0
3600.03/3600.92	c removed literals (reason simplification)	: 32761534
3600.03/3600.92	c reason swapping (by a shorter reason)	: 0
3600.03/3600.92	c Calls to reduceDB	: 318
3600.03/3600.92	c Number of update (reduction) of LBD	: 13899681
3600.03/3600.92	c Imported unit clauses	: 0
3600.03/3600.92	c No decision after first conflict	: false
3600.03/3600.92	c number of reductions to clauses (during analyze)	: 0
3600.03/3600.92	c number of learned constraints concerned by reduction	: 0
3600.03/3600.92	c number of learning phase by resolution	: 0
3600.03/3600.92	c number of learning phase by cutting planes	: 0
3600.03/3600.92	c number of rounding to 1 operations	: 0
3600.03/3600.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3600.92	c number of reductions of the coefficients by power 2 	: 0
3600.03/3600.92	c number of right shift for reduction by power 2 	: 0
3600.03/3600.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3600.92	c number of ending skipping 	: 0
3600.03/3600.92	c number of internal skipping 	: 0
3600.03/3600.92	c number of derivation steps 	: 0
3600.03/3600.92	c number of skipped derivation steps 	: 0
3600.03/3600.92	c number of remaining unassigned 	: 0
3600.03/3600.92	c number of remaining assigned 	: 0
3600.03/3600.92	c number of falsified literals weakened from reason	: 0
3600.03/3600.92	c number of falsified literals weakened from conflict	: 0
3600.03/3600.92	c time for arithmetic operations	: 0
3600.03/3600.92	c minimum degree of deleted constraints	: null
3600.03/3600.92	c maximum degree of deleted constraints	: null
3600.03/3600.92	c number of deleted constraints	: 0
3600.03/3600.92	c speed (assignments/second)	: 162308.39466331922
3600.03/3600.92	c non guided choices	: 2610684
3600.03/3600.93	c timeout
3600.03/3600.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 352295
3600.03/3600.98	s UNKNOWN
3600.03/3600.98	c Total wall clock time (in seconds): 3600.847

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542705-1753217360/watcher-4542705-1753217360 -o /tmp/evaluation-result-4542705-1753217360/solver-4542705-1753217360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157170 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4542705-1753217360.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10006 s]*
/proc/loadavg: 4.23 4.15 4.16 6/338 157992
/proc/meminfo: memFree=71576364/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18930384 memory=55560 CPUtime=0.12 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 6538 0 0 0 10 2 0 0 20 0 18 0 237413541 19384713216 13890 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4732596 13890 5340 1 0 547604 0
[pid=157974/tid=157976] ppid=157971 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) S 157971 157974 157157 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 237413542 19384713216 13890 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 237413544 19384713216 13890 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18930384 memory=55186957824150 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237413545 19384713216 13890 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55560 KiB

[startup+0.205911 s]*
/proc/loadavg: 4.23 4.15 4.16 9/340 157996
/proc/meminfo: memFree=71572268/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18996948 memory=64372 CPUtime=0.32 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 7134 0 0 0 30 2 0 0 20 0 19 0 237413541 19452874752 16093 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749237 16093 5436 1 0 548297 0
[pid=157974/tid=157976] ppid=157971 vsize=18996948 memory=4026990876 CPUtime=0.17 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 5297 0 0 0 16 1 0 0 20 0 19 0 237413542 19452874752 16093 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18996948 memory=17146 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19452874752 16093 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18996948 memory=54087446168546 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19452874752 16093 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19452874752 16093 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64372 KiB

[startup+0.305977 s]*
/proc/loadavg: 4.23 4.15 4.16 9/340 157996
/proc/meminfo: memFree=71562200/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18998932 memory=73240 CPUtime=0.51 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 11022 0 0 0 48 3 0 0 20 0 19 0 237413541 19454906368 18310 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749733 18310 5468 1 0 550586 0
[pid=157974/tid=157976] ppid=157971 vsize=18998932 memory=-9103570784963306172 CPUtime=0.26 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 5305 0 0 0 25 1 0 0 20 0 19 0 237413542 19454906368 18310 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18998932 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19454906368 18310 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18998932 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19454906368 18310 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18998932 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19454906368 18310 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18998932 KiB
Current children cumulated memory: 73240 KiB

[startup+0.700229 s]
/proc/loadavg: 4.23 4.15 4.16 5/316 158004
/proc/meminfo: memFree=78821420/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18996948 memory=88292 CPUtime=1.27 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 14425 0 0 0 123 4 0 0 20 0 19 0 237413541 19452874752 22073 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749237 22073 5468 1 0 552583 0
[pid=157974/tid=157976] ppid=157971 vsize=18996948 memory=27136 CPUtime=0.66 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 5372 0 0 0 64 2 0 0 20 0 19 0 237413542 19452874752 22073 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19452874752 22073 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19452874752 22073 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19452874752 22073 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88292 KiB

[startup+1.50023 s]
/proc/loadavg: 4.23 4.15 4.16 5/316 158004
/proc/meminfo: memFree=78807684/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18996948 memory=100288 CPUtime=2.65 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 18596 0 0 0 260 5 0 0 20 0 19 0 237413541 19452874752 25072 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749237 25072 5468 1 0 552886 0
[pid=157974/tid=157976] ppid=157971 vsize=18996948 memory=10752 CPUtime=1.45 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 5720 0 0 0 143 2 0 0 20 0 19 0 237413542 19452874752 25072 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19452874752 25072 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19452874752 25072 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19452874752 25072 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 100288 KiB

[startup+3.10567 s]
/proc/loadavg: 4.23 4.15 4.16 6/338 158059
/proc/meminfo: memFree=78784048/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18996948 memory=118848 CPUtime=4.47 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 19460 0 0 0 442 5 0 0 20 0 19 0 237413541 19452874752 29712 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749237 29712 5468 1 0 552889 0
[pid=157974/tid=157976] ppid=157971 vsize=18996948 memory=10752 CPUtime=3.05 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 6067 0 0 0 303 2 0 0 20 0 19 0 237413542 19452874752 29712 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18996948 memory=-9103570784963306172 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19452874752 29712 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19452874752 29712 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19452874752 29712 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 4.47 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118848 KiB

[startup+6.3002 s]
/proc/loadavg: 4.21 4.15 4.16 5/338 158059
/proc/meminfo: memFree=78714868/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=18996948 memory=157896 CPUtime=7.86 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 20111 0 0 0 780 6 0 0 20 0 19 0 237413541 19452874752 39474 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4749237 39474 5468 1 0 552890 0
[pid=157974/tid=157976] ppid=157971 vsize=18996948 memory=0 CPUtime=6.24 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 6424 0 0 0 621 3 0 0 20 0 19 0 237413542 19452874752 39474 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 237413544 19452874752 39474 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237413545 19452874752 39474 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=18996948 memory=102336 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237413560 19452874752 39474 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157896 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.15 4.15 4/319 158078
/proc/meminfo: memFree=86760572/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=180964 CPUtime=14.27 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 22516 0 0 0 1420 7 0 0 20 0 20 0 237413541 19521036288 45241 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 45241 5500 1 0 553179 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=102336 CPUtime=12.61 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 7190 0 0 0 1258 3 0 0 20 0 20 0 237413542 19521036288 45241 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 45241 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=-9103570784963306172 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 45241 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=-5921431000321657942 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 45241 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180964 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.15 5/340 158128
/proc/meminfo: memFree=86612260/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=189216 CPUtime=27.05 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 24156 0 0 0 2698 7 0 0 20 0 20 0 237413541 19521036288 47304 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 47304 5500 1 0 553179 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=189216 CPUtime=25.36 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 7552 0 0 0 2533 3 0 0 20 0 20 0 237413542 19521036288 47304 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=189216 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 47304 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=-9103570784963306172 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 47304 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 47304 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 27.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189216 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.14 4.15 5/341 158199
/proc/meminfo: memFree=89539032/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=275476 CPUtime=52.67 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 25722 0 0 0 5258 9 0 0 20 0 20 0 237413541 19521036288 68869 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 68869 5500 1 0 553179 0

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

/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=2179032 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 671 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=2179032 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3222.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/339 158378
/proc/meminfo: memFree=81097448/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179032 CPUtime=3281.91 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 87413 0 0 0 328097 94 0 0 20 0 20 0 237413541 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544758 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=2179032 CPUtime=3269.48 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 44046 0 0 0 326931 17 0 0 20 0 20 0 237413542 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=16508 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=2179032 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 684 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=2179032 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544758 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3281.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179032 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/339 158380
/proc/meminfo: memFree=81096916/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3341.84 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 87759 0 0 0 334089 95 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=5632 CPUtime=3329.22 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 44120 0 0 0 332905 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=16508 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 697 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3341.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/340 158383
/proc/meminfo: memFree=81096788/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3401.71 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 88129 0 0 0 340074 97 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=57 CPUtime=3389.08 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 44485 0 0 0 338891 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=27136 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=16508 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 697 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=16508 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3401.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/341 158386
/proc/meminfo: memFree=81096980/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3461.58 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 88932 0 0 0 346060 98 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=57 CPUtime=3448.93 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 45220 0 0 0 344876 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=27136 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3461.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/341 158388
/proc/meminfo: memFree=81096700/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3521.6 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 89821 0 0 0 352061 99 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3508.63 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 45845 0 0 0 350846 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 739 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3521.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/341 158390
/proc/meminfo: memFree=81096924/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3581.48 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 89912 0 0 0 358048 100 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=16508 CPUtime=3568.48 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 45918 0 0 0 356831 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 752 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3581.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.9 s]
/proc/loadavg: 4.07 4.11 4.10 5/341 158390
/proc/meminfo: memFree=81096964/131249988 swapFree=33010160/33010684
[pid=157974] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3600.03 cores=5,7
/proc/157974/stat : 157974 (java) S 157971 157974 157157 0 -1 4194304 89923 0 0 0 359903 100 0 0 20 0 20 0 237413541 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
/proc/157974/statm: 4765878 544790 5500 1 0 558624 0
[pid=157974/tid=157976] ppid=157971 vsize=19063512 memory=2179160 CPUtime=3587.04 cores=5,7
/proc/157974/task/157976/stat : 157976 (java) R 157971 157974 157157 0 -1 4194368 45927 0 0 0 358687 17 0 0 20 0 20 0 237413542 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157985] ppid=157971 vsize=19063512 memory=16508 CPUtime=0 cores=5,7
/proc/157974/task/157985/stat : 157985 (Finalizer) S 157971 157974 157157 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 237413544 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157992] ppid=157971 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/157974/task/157992/stat : 157992 (Common-Cleaner) S 157971 157974 157157 0 -1 4194368 752 0 0 0 0 0 0 0 20 0 20 0 237413545 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
[pid=157974/tid=157993] ppid=157971 vsize=19063512 memory=2179160 CPUtime=0 cores=5,7
/proc/157974/task/157993/stat : 157993 (Timer-0) S 157971 157974 157157 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237413560 19521036288 544790 18446744073709551615 94493894881280 94493894884976 140732979479680 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94493894892792 94493894893584 94493906485248 140732979485055 140732979485156 140732979485156 140732979490760 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=1.0181 s

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

[startup+3601 s]*
/proc/loadavg: 4.06 4.11 4.10 7/321 158396
/proc/meminfo: memFree=83234572/131249988 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3601.03
CPU time (s): 3600.18
CPU user time (s): 3599.16
CPU system time (s): 1.0181
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2179160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.01809
maximum resident set size= 2180184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105046
involuntary context switches= 3018


# summary of solver processes directly reported to runsolver:
#   pid: 157974
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 1.0181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50455 second user time and 16.2194 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-22 22:49:20
IDJOB=4542705
IDBENCH=164553
IDSOLVER=3363
FILE ID=nodeC020/4542705-1753217360
RUNJOBID= nodeC020-1753210180-157170
SLURM_JOB_ID= 9687784
Free space on /tmp= 432796 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542705-1753217360/watcher-4542705-1753217360 -o /tmp/evaluation-result-4542705-1753217360/solver-4542705-1753217360 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1753210180-157170 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4542705-1753217360.opb

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

MD5SUM BENCH= 51f0204441dcd002ae254f35580dbb8b
RANDOM SEED=1611087539

nodeC020 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.865
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.79
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.891
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.79
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		: 3545.035
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.048
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.899
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.79
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		: 3527.664
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.285
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.79
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		: 3599.901
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        71596708 kB
MemAvailable:   110920920 kB
Buffers:            2128 kB
Cached:         40081364 kB
SwapCached:            4 kB
Active:         19683876 kB
Inactive:       39227148 kB
Active(anon):   18829244 kB
Inactive(anon):    24536 kB
Active(file):     854632 kB
Inactive(file): 39202612 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               680 kB
Writeback:            20 kB
AnonPages:      18830116 kB
Mapped:           128576 kB
Shmem:             26244 kB
KReclaimable:     212416 kB
Slab:             309140 kB
SReclaimable:     212416 kB
SUnreclaim:        96724 kB
KernelStack:        5184 kB
PageTables:        40528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   21974532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18544640 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC020 at 2025-07-22 23:49:21