Trace number 4453504

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 Default 2024-07-07? (TO) 3600.18 3606.82

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-40.shuf-2.opb
MD5SUM22f3c77e0626629ac1efe43f3d9f4a3a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.002159
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables161
Total number of constraints160
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints146
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4453504-1721488196.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.14	c ... done. Wall clock time 0.016s.
0.13/0.14	c declared #vars     161
0.13/0.14	c #constraints  160
0.13/0.14	c constraints type 
0.13/0.14	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 160
0.13/0.14	c 160 constraints processed.
0.71/0.44	c cleaning 2496 clauses out of 5001 with flag 30056/5001
1.27/0.70	c cleaning 4243 clauses out of 8504 with flag 70571/11000
1.42/0.86	c cleaning 5631 clauses out of 11262 with flag 119594/18001
1.73/1.09	c cleaning 6804 clauses out of 13631 with flag 178847/26001
2.10/1.35	c cleaning 7901 clauses out of 15826 with flag 243130/35000
2.58/1.65	c cleaning 8953 clauses out of 17925 with flag 317677/45000
2.98/2.06	c cleaning 9970 clauses out of 19972 with flag 404208/56000
3.38/2.48	c cleaning 10984 clauses out of 22002 with flag 493658/68000
3.87/2.93	c cleaning 12002 clauses out of 24018 with flag 588122/81000
4.49/3.56	c cleaning 12997 clauses out of 26016 with flag 690801/95000
5.09/4.11	c cleaning 14002 clauses out of 28019 with flag 792884/110000
5.68/4.75	c cleaning 15002 clauses out of 30017 with flag 906258/126000
6.51/5.51	c cleaning 16000 clauses out of 32015 with flag 1035344/143000
7.23/6.29	c cleaning 16998 clauses out of 34016 with flag 1165231/161001
8.13/7.16	c cleaning 18006 clauses out of 36017 with flag 1307723/180000
9.03/8.06	c cleaning 18989 clauses out of 38012 with flag 1446521/200001
10.12/9.17	c cleaning 19994 clauses out of 40023 with flag 1597877/221001
11.22/10.27	c cleaning 21003 clauses out of 42028 with flag 1744704/243000
12.62/11.63	c cleaning 22006 clauses out of 44025 with flag 1901577/266000
14.02/13.06	c cleaning 23006 clauses out of 46019 with flag 2070269/290000
15.42/14.47	c cleaning 23995 clauses out of 48013 with flag 2238873/315000
16.91/15.92	c cleaning 25002 clauses out of 50020 with flag 2426876/341002
18.61/17.66	c cleaning 25998 clauses out of 52017 with flag 2615557/368001
20.41/19.42	c cleaning 27004 clauses out of 54018 with flag 2805460/396000
22.20/21.24	c cleaning 27989 clauses out of 56021 with flag 2999176/425007
24.20/23.22	c cleaning 29011 clauses out of 58025 with flag 3199408/455000
26.30/25.33	c cleaning 29997 clauses out of 60014 with flag 3406583/486000
28.59/27.64	c cleaning 30997 clauses out of 62018 with flag 3623400/518001
30.89/29.96	c cleaning 32000 clauses out of 64020 with flag 3843721/551000
33.39/32.41	c cleaning 33001 clauses out of 66020 with flag 4079825/585000
35.78/34.87	c cleaning 34001 clauses out of 68020 with flag 4313748/620001
38.67/37.77	c cleaning 34997 clauses out of 70018 with flag 4573166/656000
41.86/40.93	c cleaning 35999 clauses out of 72022 with flag 4858352/693001
45.06/44.18	c cleaning 37001 clauses out of 74022 with flag 5130329/731000
47.96/47.07	c cleaning 37994 clauses out of 76021 with flag 5385721/770000
51.34/50.42	c cleaning 38995 clauses out of 78028 with flag 5654342/810001
55.54/54.67	c cleaning 40012 clauses out of 80032 with flag 5935767/851000
60.07/59.12	c cleaning 41003 clauses out of 82021 with flag 6223558/893001
63.56/62.68	c cleaning 42005 clauses out of 84017 with flag 6527791/936000
67.95/67.01	c cleaning 43005 clauses out of 86012 with flag 6817575/980000
72.75/71.86	c cleaning 43999 clauses out of 88009 with flag 7123838/1025002
77.34/76.45	c cleaning 44988 clauses out of 90009 with flag 7428636/1071001
81.23/80.33	c cleaning 46005 clauses out of 92021 with flag 7734345/1118001
86.42/85.58	c cleaning 47000 clauses out of 94017 with flag 8049533/1166002
91.34/90.46	c cleaning 47995 clauses out of 96016 with flag 8387878/1215001
96.82/95.92	c cleaning 49000 clauses out of 98022 with flag 8736128/1265002
102.62/101.74	c cleaning 49999 clauses out of 100020 with flag 9114523/1316000
108.50/107.69	c cleaning 50998 clauses out of 102022 with flag 9524696/1368001
114.09/113.20	c cleaning 52012 clauses out of 104024 with flag 9909489/1421001
120.40/119.57	c cleaning 52993 clauses out of 106012 with flag 10261897/1475001
127.19/126.33	c cleaning 54000 clauses out of 108018 with flag 10618248/1530000
134.17/133.38	c cleaning 55010 clauses out of 110019 with flag 10977569/1586001
141.05/140.29	c cleaning 55994 clauses out of 112008 with flag 11344913/1643000
148.54/147.73	c cleaning 57003 clauses out of 114015 with flag 11726738/1701001
155.33/154.58	c cleaning 57996 clauses out of 116011 with flag 12097158/1760000
163.03/162.22	c cleaning 59004 clauses out of 118016 with flag 12486597/1820001
171.71/170.98	c cleaning 60006 clauses out of 120012 with flag 12874845/1881001
180.39/179.63	c cleaning 60998 clauses out of 122005 with flag 13279402/1943000
188.69/187.90	c cleaning 61997 clauses out of 124008 with flag 13676718/2006001
197.45/196.72	c cleaning 62997 clauses out of 126012 with flag 14139733/2070002
207.95/207.33	c cleaning 64003 clauses out of 128013 with flag 14556796/2135000
216.77/216.22	c cleaning 64992 clauses out of 130011 with flag 14985074/2201001
225.59/225.18	c cleaning 66001 clauses out of 132019 with flag 15406001/2268001
235.70/235.32	c cleaning 67002 clauses out of 134018 with flag 15839832/2336001
246.36/246.00	c cleaning 68006 clauses out of 136015 with flag 16269288/2405000
254.73/254.46	c cleaning 68993 clauses out of 138009 with flag 16725311/2475000
264.33/264.09	c cleaning 69992 clauses out of 140017 with flag 17208074/2546001
274.70/274.43	c cleaning 71005 clauses out of 142024 with flag 17671538/2618000
285.41/285.17	c cleaning 72009 clauses out of 144019 with flag 18133157/2691000
296.08/295.87	c cleaning 72995 clauses out of 146011 with flag 18610747/2765001
306.35/306.17	c cleaning 73989 clauses out of 148015 with flag 19094603/2840000
318.65/318.41	c cleaning 75007 clauses out of 150026 with flag 19575683/2916000
330.24/330.04	c cleaning 75999 clauses out of 152019 with flag 20056890/2993000
340.40/340.23	c cleaning 77008 clauses out of 154023 with flag 20545845/3071003
353.88/353.77	c cleaning 77994 clauses out of 156012 with flag 21027683/3150000
366.26/366.18	c cleaning 79004 clauses out of 158018 with flag 21536605/3230000
377.63/377.58	c cleaning 79994 clauses out of 160014 with flag 22025351/3311000
391.50/391.48	c cleaning 81001 clauses out of 162020 with flag 22531034/3393000
405.47/405.46	c cleaning 81996 clauses out of 164019 with flag 23073531/3476000
419.94/419.94	c cleaning 83004 clauses out of 166023 with flag 23586243/3560000
434.91/434.92	c cleaning 84003 clauses out of 168019 with flag 24101962/3645000
450.19/450.20	c cleaning 84997 clauses out of 170016 with flag 24623488/3731000
461.86/461.90	c cleaning 86002 clauses out of 172019 with flag 25162672/3818000
477.54/477.67	c cleaning 87001 clauses out of 174017 with flag 25715791/3906000
491.91/492.07	c cleaning 87998 clauses out of 176017 with flag 26249763/3995001
506.68/506.81	c cleaning 89000 clauses out of 178018 with flag 26796752/4085000
523.04/523.21	c cleaning 90006 clauses out of 180021 with flag 27382706/4176003
540.80/541.07	c cleaning 90987 clauses out of 182012 with flag 27944904/4268000
556.68/556.92	c cleaning 91996 clauses out of 184026 with flag 28497446/4361001
574.86/575.17	c cleaning 93000 clauses out of 186030 with flag 29059058/4455001
592.01/592.37	c cleaning 93998 clauses out of 188029 with flag 29620347/4550000
608.97/609.36	c cleaning 95006 clauses out of 190032 with flag 30206174/4646001
625.13/625.50	c cleaning 96001 clauses out of 192025 with flag 30777883/4743000
642.83/643.23	c cleaning 97010 clauses out of 194025 with flag 31359346/4841001
661.99/662.44	c cleaning 98003 clauses out of 196014 with flag 31957030/4940000
683.14/683.66	c cleaning 98995 clauses out of 198011 with flag 32585052/5040000
700.99/701.55	c cleaning 100000 clauses out of 200017 with flag 33221928/5141001
723.14/723.72	c cleaning 100997 clauses out of 202016 with flag 33825656/5243000
744.26/744.87	c cleaning 102003 clauses out of 204021 with flag 34448306/5346002
765.61/766.29	c cleaning 103004 clauses out of 206017 with flag 35073095/5450001
790.17/790.85	c cleaning 104000 clauses out of 208014 with flag 35697835/5555002
812.72/813.41	c cleaning 105003 clauses out of 210013 with flag 36315875/5661001
835.18/835.99	c cleaning 105994 clauses out of 212009 with flag 36961923/5768000
857.53/858.34	c cleaning 106990 clauses out of 214016 with flag 37626387/5876001
878.49/879.33	c cleaning 107992 clauses out of 216025 with flag 38331635/5985000
897.90/898.77	c cleaning 108995 clauses out of 218033 with flag 39073109/6095000
918.55/919.41	c cleaning 109996 clauses out of 220038 with flag 39815283/6206000
940.60/941.59	c cleaning 111001 clauses out of 222043 with flag 40566498/6318001
966.14/967.12	c cleaning 112021 clauses out of 224042 with flag 41240907/6431001
993.98/995.07	c cleaning 112993 clauses out of 226021 with flag 41919084/6545001
1021.02/1022.18	c cleaning 114006 clauses out of 228027 with flag 42611221/6660000
1047.74/1048.91	c cleaning 115007 clauses out of 230021 with flag 43306055/6776000
1078.97/1080.29	c cleaning 115992 clauses out of 232014 with flag 44006135/6893000
1110.10/1111.48	c cleaning 117006 clauses out of 234023 with flag 44704387/7011001
1134.24/1135.66	c cleaning 117999 clauses out of 236016 with flag 45407219/7130000
1164.27/1165.76	c cleaning 119002 clauses out of 238017 with flag 46142370/7250000
1194.89/1196.42	c cleaning 120002 clauses out of 240017 with flag 46882529/7371002
1227.01/1228.65	c cleaning 120999 clauses out of 242015 with flag 47596845/7493002
1255.15/1256.84	c cleaning 122003 clauses out of 244014 with flag 48320426/7616000
1287.27/1289.00	c cleaning 122994 clauses out of 246011 with flag 49044736/7740000
1313.99/1315.81	c cleaning 123999 clauses out of 248017 with flag 49792630/7865000
1350.11/1352.08	c cleaning 125007 clauses out of 250020 with flag 50570128/7991002
1381.05/1383.08	c cleaning 125988 clauses out of 252011 with flag 51323704/8118000
1421.15/1423.21	c cleaning 127009 clauses out of 254023 with flag 52078560/8246000
1458.57/1460.78	c cleaning 127999 clauses out of 256015 with flag 52812975/8375001
1494.81/1496.90	c cleaning 129002 clauses out of 258016 with flag 53561655/8505001
1527.55/1529.73	c cleaning 129994 clauses out of 260013 with flag 54315739/8636000
1560.48/1562.76	c cleaning 131009 clauses out of 262021 with flag 55091587/8768002
1594.61/1596.93	c cleaning 131994 clauses out of 264010 with flag 55873176/8901000
1627.14/1629.55	c cleaning 133001 clauses out of 266017 with flag 56631443/9035001
1662.35/1664.89	c cleaning 134002 clauses out of 268016 with flag 57438555/9170001
1692.88/1695.41	c cleaning 134995 clauses out of 270013 with flag 58241825/9306000
1731.79/1734.44	c cleaning 135997 clauses out of 272018 with flag 59047579/9443000
1771.15/1773.93	c cleaning 137001 clauses out of 274021 with flag 59841494/9581000
1798.00/1801.06	c cleaning 137989 clauses out of 276020 with flag 60659804/9720000
1828.50/1831.64	c cleaning 138995 clauses out of 278031 with flag 61484301/9860000
1859.54/1862.77	c cleaning 140004 clauses out of 280036 with flag 62290284/10001000
1907.02/1910.33	c cleaning 141011 clauses out of 282033 with flag 63102841/10143001
1952.91/1956.39	c cleaning 141999 clauses out of 284022 with flag 63918928/10286001
1990.62/1994.19	c cleaning 142997 clauses out of 286023 with flag 64829035/10430001
2028.52/2032.04	c cleaning 143995 clauses out of 288025 with flag 65801668/10575000
2068.24/2071.89	c cleaning 145009 clauses out of 290030 with flag 66617855/10721000
2107.05/2110.70	c cleaning 145993 clauses out of 292021 with flag 67449099/10868000
2143.56/2147.30	c cleaning 147013 clauses out of 294029 with flag 68322142/11016001
2192.04/2195.97	c cleaning 147997 clauses out of 296015 with flag 69192114/11165000
2231.84/2235.85	c cleaning 148993 clauses out of 298018 with flag 70053237/11315000
2271.75/2275.88	c cleaning 150003 clauses out of 300026 with flag 70914399/11466001
2317.84/2322.08	c cleaning 150995 clauses out of 302022 with flag 71756938/11618000
2363.02/2367.27	c cleaning 152007 clauses out of 304027 with flag 72654983/11771000
2408.74/2413.02	c cleaning 153000 clauses out of 306020 with flag 73515811/11925000
2458.54/2462.95	c cleaning 153996 clauses out of 308022 with flag 74381401/12080002
2507.85/2512.34	c cleaning 155009 clauses out of 310027 with flag 75286651/12236003
2545.28/2549.82	c cleaning 155990 clauses out of 312015 with flag 76147840/12393000
2590.38/2595.01	c cleaning 157009 clauses out of 314025 with flag 77002823/12551000
2640.08/2644.85	c cleaning 158001 clauses out of 316016 with flag 77890971/12710000
2691.27/2696.19	c cleaning 158989 clauses out of 318017 with flag 78801140/12870002
2744.94/2749.93	c cleaning 160007 clauses out of 320029 with flag 79717970/13031003
2801.19/2806.26	c cleaning 161005 clauses out of 322019 with flag 80649371/13193000
2864.14/2869.39	c cleaning 161995 clauses out of 324014 with flag 81561424/13356000
2908.33/2913.67	c cleaning 163001 clauses out of 326020 with flag 82515236/13520001
2974.76/2980.29	c cleaning 164001 clauses out of 328019 with flag 83429221/13685001
3022.25/3027.80	c cleaning 165000 clauses out of 330017 with flag 84395509/13851000
3078.11/3083.89	c cleaning 166001 clauses out of 332017 with flag 85309427/14018000
3140.95/3146.80	c cleaning 167002 clauses out of 334017 with flag 86244278/14186001
3195.62/3201.68	c cleaning 168000 clauses out of 336017 with flag 87174840/14355003
3251.90/3257.93	c cleaning 168998 clauses out of 338014 with flag 88132634/14525000
3313.50/3319.68	c cleaning 169992 clauses out of 340016 with flag 89091454/14696000
3373.50/3379.76	c cleaning 171005 clauses out of 342026 with flag 90034017/14868002
3419.12/3425.45	c cleaning 171997 clauses out of 344019 with flag 91031549/15041000
3477.21/3483.65	c cleaning 173005 clauses out of 346023 with flag 92019144/15215001
3528.81/3535.34	c cleaning 173994 clauses out of 348019 with flag 92973166/15390002
3578.59/3585.29	c cleaning 174994 clauses out of 350024 with flag 93933604/15566001
3600.04/3606.72	c starts		: 64546
3600.04/3606.72	c timeout
3600.04/3606.72	c conflicts		: 15654787
3600.04/3606.72	c decisions		: 21476864
3600.04/3606.72	c propagations		: 355359493
3600.04/3606.72	c inspects		: 58991729738
3600.04/3606.72	c shortcuts		: 0
3600.04/3606.72	c learnt literals	: 0
3600.04/3606.72	c learnt binary clauses	: 0
3600.04/3606.72	c learnt ternary clauses	: 0
3600.04/3606.72	c learnt constraints	: 15654787
3600.04/3606.72	c ignored constraints	: 0
3600.04/3606.72	c root simplifications	: 0
3600.04/3606.72	c removed literals (reason simplification)	: 0
3600.04/3606.72	c reason swapping (by a shorter reason)	: 0
3600.04/3606.72	c Calls to reduceDB	: 172
3600.04/3606.72	c Number of update (reduction) of LBD	: 3910672
3600.04/3606.72	c Imported unit clauses	: 0
3600.04/3606.72	c No decision after first conflict	: false
3600.04/3606.72	c number of reductions to clauses (during analyze)	: 0
3600.04/3606.72	c number of learned constraints concerned by reduction	: 0
3600.04/3606.72	c number of learning phase by resolution	: 0
3600.04/3606.72	c number of learning phase by cutting planes	: 0
3600.04/3606.72	c number of rounding to 1 operations	: 0
3600.04/3606.72	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3606.72	c number of reductions of the coefficients by power 2 	: 0
3600.04/3606.72	c number of right shift for reduction by power 2 	: 0
3600.04/3606.72	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3606.72	c number of ending skipping 	: 0
3600.04/3606.72	c number of internal skipping 	: 0
3600.04/3606.72	c number of derivation steps 	: 0
3600.04/3606.72	c number of skipped derivation steps 	: 0
3600.04/3606.72	c number of remaining unassigned 	: 0
3600.04/3606.72	c number of remaining assigned 	: 0
3600.04/3606.72	c number of falsified literals weakened from reason	: 0
3600.04/3606.72	c number of falsified literals weakened from conflict	: 0
3600.04/3606.72	c time for arithmetic operations	: 0
3600.04/3606.73	c minimum degree of deleted constraints	: null
3600.04/3606.73	c maximum degree of deleted constraints	: null
3600.04/3606.73	c number of deleted constraints	: 0
3600.04/3606.74	c speed (assignments/second)	: 98530.65917149394
3600.04/3606.74	c non guided choices	: 117
3600.04/3606.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 263816
3600.04/3606.80	s UNKNOWN
3600.04/3606.80	c Total wall clock time (in seconds): 3606.673

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: 63968 MiB (60739 MiB free)
  memory of node 1: 64473 MiB (62967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453504-1721488196/watcher-4453504-1721488196 -o /tmp/evaluation-result-4453504-1721488196/solver-4453504-1721488196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089316 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453504-1721488196.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1089358, runsolver pid=1089355

[startup+0.100776 s]*
/proc/loadavg: 4.04 4.10 4.09 7/325 1089445
/proc/meminfo: memFree=126511676/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=18975048 memory=63272 CPUtime=0.13 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 7224 0 0 0 11 2 0 0 20 0 18 0 200982041 19430449152 15818 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4743762 15818 5681 1 0 549335 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 1078198336 5742 0 0 0 7 1 0 0 20 0 18 0 200982042 19430449152 15818 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=18975048 memory=1905144 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 200982044 19430449152 15818 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 200982045 19430449152 15818 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63272 KiB

[startup+0.206096 s]*
/proc/loadavg: 4.04 4.10 4.09 12/328 1089448
/proc/meminfo: memFree=126228136/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=70532 CPUtime=0.33 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 9070 0 0 0 30 3 0 0 20 0 19 0 200982041 19498610688 17633 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 17633 5848 1 0 550679 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=8603368907145347203 CPUtime=0.18 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 5933 0 0 0 16 2 0 0 20 0 19 0 200982042 19498610688 17633 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=1905144 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 17633 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 17633 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 17633 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70532 KiB

[startup+0.306034 s]*
/proc/loadavg: 4.04 4.10 4.09 12/331 1089451
/proc/meminfo: memFree=126112264/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=74212 CPUtime=0.52 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 10639 0 0 0 49 3 0 0 20 0 19 0 200982041 19498610688 18553 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 18553 5848 1 0 551564 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=-7162515039915697508 CPUtime=0.26 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 5942 0 0 0 24 2 0 0 20 0 19 0 200982042 19498610688 18553 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 18553 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 18553 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 18553 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74212 KiB

[startup+0.700222 s]
/proc/loadavg: 4.04 4.10 4.09 11/331 1089451
/proc/meminfo: memFree=125731916/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=91084 CPUtime=1.27 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 13373 0 0 0 124 3 0 0 20 0 19 0 200982041 19498610688 22771 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 22771 5848 1 0 553714 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=13124 CPUtime=0.63 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 5989 0 0 0 61 2 0 0 20 0 19 0 200982042 19498610688 22771 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=13124 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 22771 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=2209 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 22771 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=29676 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 22771 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91084 KiB

[startup+1.50104 s]
/proc/loadavg: 4.04 4.10 4.09 11/332 1089452
/proc/meminfo: memFree=125692088/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=100052 CPUtime=2.43 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 17237 0 0 0 239 4 0 0 20 0 19 0 200982041 19498610688 25013 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 25013 5848 1 0 553717 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=13124 CPUtime=1.43 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 6320 0 0 0 141 2 0 0 20 0 19 0 200982042 19498610688 25013 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=29676 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 25013 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 25013 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=39396 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 25013 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100052 KiB

[startup+3.10577 s]
/proc/loadavg: 4.36 4.16 4.11 5/332 1089452
/proc/meminfo: memFree=125629556/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=112444 CPUtime=4.09 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 17841 0 0 0 404 5 0 0 20 0 19 0 200982041 19498610688 28111 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 28111 5859 1 0 553750 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=0 CPUtime=3.03 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 6591 0 0 0 300 3 0 0 20 0 19 0 200982042 19498610688 28111 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=13124 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 28111 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=14364 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 28111 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=50976 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 28111 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 112444 KiB

[startup+6.30026 s]
/proc/loadavg: 4.36 4.16 4.11 5/332 1089452
/proc/meminfo: memFree=125583776/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=129416 CPUtime=7.33 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 18544 0 0 0 728 5 0 0 20 0 19 0 200982041 19498610688 32354 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 32354 5859 1 0 553751 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=0 CPUtime=6.22 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 6905 0 0 0 619 3 0 0 20 0 19 0 200982042 19498610688 32354 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=8246196892819352166 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 32354 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=14364 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 32354 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 32354 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129416 KiB

[startup+12.7003 s]
/proc/loadavg: 4.30 4.16 4.11 5/332 1089454
/proc/meminfo: memFree=125429688/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19041612 memory=164272 CPUtime=13.71 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 19694 0 0 0 1365 6 0 0 20 0 19 0 200982041 19498610688 41068 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4760403 41068 5859 1 0 553751 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19041612 memory=0 CPUtime=12.6 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 7653 0 0 0 1256 4 0 0 20 0 19 0 200982042 19498610688 41068 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19041612 memory=158128 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982044 19498610688 41068 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19041612 memory=151944 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 41068 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 200982056 19498610688 41068 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 13.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164272 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.10 5/333 1089456
/proc/meminfo: memFree=125117148/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=181196 CPUtime=26.49 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 22648 0 0 0 2643 6 0 0 20 0 20 0 200982041 19566772224 45299 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 45299 5907 1 0 554040 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=181124 CPUtime=25.36 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 8775 0 0 0 2532 4 0 0 20 0 20 0 200982042 19566772224 45299 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 45299 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=181192 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 45299 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=14364 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 45299 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181196 KiB

[startup+51.1059 s]
/proc/loadavg: 4.23 4.16 4.10 5/333 1089461
/proc/meminfo: memFree=124329952/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=189532 CPUtime=52.05 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 25094 0 0 0 5198 7 0 0 20 0 20 0 200982041 19566772224 47383 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 47383 5907 1 0 554040 0

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

[startup+3282.3 s]
/proc/loadavg: 4.26 4.22 4.18 5/331 1091222
/proc/meminfo: memFree=116320080/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855232 CPUtime=3276.27 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 86966 0 0 0 327501 126 0 0 20 0 20 0 200982041 19566772224 463808 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463808 5923 1 0 554059 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855212 CPUtime=3271.33 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 46322 0 0 0 327116 17 0 0 20 0 20 0 200982042 19566772224 463808 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=1750760 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463808 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=1750760 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4349 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463808 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=1855232 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463808 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3276.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/331 1091232
/proc/meminfo: memFree=115986300/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=3336.17 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 88274 0 0 0 333488 129 0 0 20 0 20 0 200982041 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463826 5923 1 0 554059 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=3331.2 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 47045 0 0 0 333103 17 0 0 20 0 20 0 200982042 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=29676 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4465 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=6980 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3336.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.17 5/330 1091243
/proc/meminfo: memFree=115969600/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=3396.06 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 89153 0 0 0 339476 130 0 0 20 0 20 0 200982041 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463826 5923 1 0 554059 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=3391.07 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 47730 0 0 0 339090 17 0 0 20 0 20 0 200982042 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4597 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463826 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3396.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/330 1091254
/proc/meminfo: memFree=115903516/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855312 CPUtime=3455.95 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 90062 0 0 0 345464 131 0 0 20 0 20 0 200982041 19566772224 463828 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463828 5923 1 0 554064 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855304 CPUtime=3450.93 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 48497 0 0 0 345076 17 0 0 20 0 20 0 200982042 19566772224 463828 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=140309199849105 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463828 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=-7162515039915632228 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4678 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463828 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=2012 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463828 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3455.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855312 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/330 1091264
/proc/meminfo: memFree=115903140/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855332 CPUtime=3515.84 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 90970 0 0 0 351452 132 0 0 20 0 20 0 200982041 19566772224 463833 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463833 5923 1 0 554066 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855312 CPUtime=3510.79 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 49262 0 0 0 351062 17 0 0 20 0 20 0 200982042 19566772224 463833 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=1855312 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463833 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4759 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463833 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=29676 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463833 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3515.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/330 1091274
/proc/meminfo: memFree=115612572/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855336 CPUtime=3575.69 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 91853 0 0 0 357436 133 0 0 20 0 20 0 200982041 19566772224 463834 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463834 5923 1 0 554068 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=14364 CPUtime=3570.63 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 49959 0 0 0 357045 18 0 0 20 0 20 0 200982042 19566772224 463834 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=39396 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463834 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=1855336 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4883 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463834 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=5628 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463834 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3575.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.7 s]
/proc/loadavg: 4.09 4.14 4.16 5/329 1091344
/proc/meminfo: memFree=118643472/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19108176 memory=1855340 CPUtime=3600.04 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 92254 0 0 0 359870 134 0 0 20 0 20 0 200982041 19566772224 463835 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4777044 463835 5923 1 0 554068 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19108176 memory=1855340 CPUtime=3594.96 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) R 1089355 1089358 1089301 0 -1 4194368 50298 0 0 0 359478 18 0 0 20 0 20 0 200982042 19566772224 463835 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19108176 memory=1855340 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982044 19566772224 463835 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19108176 memory=1855340 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4883 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 463835 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089446] ppid=1089355 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/1089358/task/1089446/stat : 1089446 (Timer-0) S 1089355 1089358 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982056 19566772224 463835 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1855340 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.82 s, system=1.35714 s

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

[startup+3606.8 s]
/proc/loadavg: 4.09 4.14 4.16 5/329 1091344
/proc/meminfo: memFree=118643472/131524600 swapFree=131071216/131071996
[pid=1089358] ppid=1089355 vsize=19307868 memory=1855824 CPUtime=3600.16 cores=5,7
/proc/1089358/stat : 1089358 (java) S 1089355 1089358 1089301 0 -1 1077936128 94946 0 0 0 359882 134 0 0 20 0 15 0 200982041 19771256832 463956 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
/proc/1089358/statm: 4826967 463956 5919 1 0 554991 0
[pid=1089358/tid=1089360] ppid=1089355 vsize=19307868 memory=2328 CPUtime=3594.97 cores=5,7
/proc/1089358/task/1089360/stat : 1089360 (java) S 1089355 1089358 1089301 0 -1 1077936192 50408 0 0 0 359479 18 0 0 20 0 15 0 200982042 19771256832 463956 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089405] ppid=1089355 vsize=19307868 memory=-7162515039915632228 CPUtime=0 cores=5,7
/proc/1089358/task/1089405/stat : 1089405 (Finalizer) S 1089355 1089358 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 200982044 19771256832 463956 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
[pid=1089358/tid=1089418] ppid=1089355 vsize=19307868 memory=20776 CPUtime=0 cores=5,7
/proc/1089358/task/1089418/stat : 1089418 (Common-Cleaner) S 1089355 1089358 1089301 0 -1 1077936192 4883 0 0 0 0 0 0 0 20 0 15 0 200982045 19771256832 463956 134679101440 94252764119040 94252764122736 140733135643664 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94252764130552 94252764131344 94252789927936 140733135647749 140733135647839 140733135647839 140733135654856 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1855824 KiB

Child status: 143

Real time (s): 3606.82
CPU time (s): 3600.18
CPU user time (s): 3598.82
CPU system time (s): 1.35714
CPU usage (%): 99.8159
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1855824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.82
system time used= 1.35714
maximum resident set size= 1856672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94992
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102197
involuntary context switches= 2916


# summary of solver processes directly reported to runsolver:
#   pid: 1089358
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.82
#   total CPU system time (s): 1.35714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.09634 second user time and 18.0799 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 17:10:08
IDJOB=4453504
IDBENCH=175560
IDSOLVER=3058
FILE ID=nodeC018/4453504-1721488196
RUNJOBID= nodeC018-1721488208-1089316
SLURM_JOB_ID= 7545781
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-40.shuf-2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453504-1721488196/watcher-4453504-1721488196 -o /tmp/evaluation-result-4453504-1721488196/solver-4453504-1721488196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089316 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453504-1721488196.opb

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

MD5SUM BENCH= 22f3c77e0626629ac1efe43f3d9f4a3a
RANDOM SEED=1329716445

nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3365.417
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3461.792
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3613.360
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3556.488
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3504.497
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3295.539
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
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		: 3528.535
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.52
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		: 3589.088
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126686648 kB
MemAvailable:   129753792 kB
Buffers:          580536 kB
Cached:          3302192 kB
SwapCached:          148 kB
Active:          1157680 kB
Inactive:        3059272 kB
Active(anon):       1472 kB
Inactive(anon):   378220 kB
Active(file):    1156208 kB
Inactive(file):  2681052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              1348 kB
Writeback:             4 kB
AnonPages:        334096 kB
Mapped:           109808 kB
Shmem:             45784 kB
KReclaimable:     139412 kB
Slab:             240112 kB
SReclaimable:     139412 kB
SUnreclaim:       100700 kB
KernelStack:        3840 kB
PageTables:         9604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC018 at 2024-07-20 18:10:15