Trace number 4443944

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.23 3606.82

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUMf8e7200d7e9c4a7cfb6b4e6c5b6d430a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark8.6827
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 7
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 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.09	c Free memory 		2106806208
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.13	--- Begin Solver configuration ---
0.12/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	Learn all clauses as in MiniSAT
0.12/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	No reason simplification
0.12/0.13	Glucose 2.1 dynamic restart strategy
0.12/0.13	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.13	timeout=2147483s
0.12/0.13	DB Simplification allowed=false
0.12/0.13	Listener: none
0.12/0.13	--- End Solver configuration ---
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c No reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4443944-1721317225.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.71/0.46	c ... done. Wall clock time 0.326s.
0.71/0.46	c declared #vars     1020
0.71/0.46	c #constraints  43180
0.71/0.46	c constraints type 
0.71/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 170
0.71/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 43010
0.71/0.46	c 43180 constraints processed.
2.24/1.20	c cleaning 2498 clauses out of 5001 with flag 18818/5001
3.04/1.70	c cleaning 4242 clauses out of 8503 with flag 53770/11001
3.69/2.17	c cleaning 5630 clauses out of 11263 with flag 97923/18003
4.28/2.66	c cleaning 6811 clauses out of 13630 with flag 139339/26000
4.89/3.25	c cleaning 7905 clauses out of 15820 with flag 190052/35001
5.94/4.10	c cleaning 8946 clauses out of 17914 with flag 279736/45000
6.73/4.90	c cleaning 9985 clauses out of 19969 with flag 355311/56001
7.44/5.68	c cleaning 10986 clauses out of 21983 with flag 422551/68000
8.44/6.60	c cleaning 11991 clauses out of 23997 with flag 516196/81000
9.34/7.57	c cleaning 12998 clauses out of 26008 with flag 606780/95002
10.44/8.62	c cleaning 14002 clauses out of 28009 with flag 702774/110001
12.23/10.49	c cleaning 14992 clauses out of 30006 with flag 896071/126000
13.75/11.92	c cleaning 16002 clauses out of 32014 with flag 1050139/143000
14.98/13.19	c cleaning 17000 clauses out of 34017 with flag 1152562/161005
16.47/14.65	c cleaning 18002 clauses out of 36012 with flag 1276823/180000
18.07/16.29	c cleaning 18989 clauses out of 38010 with flag 1412977/200000
20.87/19.04	c cleaning 19997 clauses out of 40022 with flag 1669784/221001
22.97/21.18	c cleaning 21006 clauses out of 42025 with flag 1886069/243001
24.88/23.06	c cleaning 22001 clauses out of 44020 with flag 2030506/266002
26.90/25.02	c cleaning 23007 clauses out of 46019 with flag 2157778/290002
28.90/27.05	c cleaning 24001 clauses out of 48010 with flag 2290982/315000
31.73/29.85	c cleaning 24998 clauses out of 50009 with flag 2508851/341000
34.03/32.14	c cleaning 25995 clauses out of 52011 with flag 2678942/368000
36.56/34.68	c cleaning 26992 clauses out of 54019 with flag 2878600/396003
39.55/37.63	c cleaning 28000 clauses out of 56024 with flag 3123918/425000
42.50/40.50	c cleaning 29009 clauses out of 58024 with flag 3330270/455000
45.39/43.46	c cleaning 30007 clauses out of 60017 with flag 3542507/486002
48.82/46.80	c cleaning 30996 clauses out of 62009 with flag 3804179/518001
51.72/49.71	c cleaning 31998 clauses out of 64013 with flag 3978657/551001
55.14/53.18	c cleaning 32996 clauses out of 66015 with flag 4223778/585001
59.86/57.81	c cleaning 34002 clauses out of 68020 with flag 4569510/620002
63.84/61.82	c cleaning 34995 clauses out of 70016 with flag 4884697/656000
69.87/67.86	c cleaning 35994 clauses out of 72022 with flag 5361786/693001
74.81/72.78	c cleaning 37002 clauses out of 74027 with flag 5842305/731000
82.34/80.28	c cleaning 38006 clauses out of 76025 with flag 6388569/770000
89.93/87.84	c cleaning 38987 clauses out of 78019 with flag 7004449/810000
98.35/96.20	c cleaning 40007 clauses out of 80032 with flag 7747049/851000
107.47/105.34	c cleaning 41005 clauses out of 82025 with flag 8585204/893000
112.43/110.36	c cleaning 41997 clauses out of 84020 with flag 8988662/936000
117.25/115.11	c cleaning 43008 clauses out of 86023 with flag 9281036/980000
123.50/121.41	c cleaning 43997 clauses out of 88020 with flag 9698447/1025005
132.68/130.62	c cleaning 44995 clauses out of 90019 with flag 10407261/1071001
139.22/137.26	c cleaning 46009 clauses out of 92023 with flag 10974886/1118000
144.69/142.46	c cleaning 46999 clauses out of 94014 with flag 11230253/1166000
149.95/147.71	c cleaning 47989 clauses out of 96015 with flag 11513345/1215000
155.20/153.09	c cleaning 49008 clauses out of 98027 with flag 11780025/1265001
160.86/158.72	c cleaning 49997 clauses out of 100019 with flag 12081733/1316001
166.90/164.83	c cleaning 51005 clauses out of 102022 with flag 12465113/1368001
173.26/171.13	c cleaning 51988 clauses out of 104016 with flag 12811923/1421000
179.24/177.15	c cleaning 53011 clauses out of 106029 with flag 13157513/1475001
185.78/183.63	c cleaning 54005 clauses out of 108018 with flag 13521384/1530001
192.16/190.08	c cleaning 54997 clauses out of 110012 with flag 13861341/1586000
198.94/196.84	c cleaning 56005 clauses out of 112017 with flag 14275250/1643002
205.94/203.81	c cleaning 56999 clauses out of 114011 with flag 14609235/1701001
213.41/211.38	c cleaning 57994 clauses out of 116013 with flag 15105051/1760002
220.99/218.90	c cleaning 59005 clauses out of 118017 with flag 15475948/1820000
228.42/226.39	c cleaning 60000 clauses out of 120013 with flag 15847587/1881001
235.90/233.80	c cleaning 60994 clauses out of 122013 with flag 16225773/1943001
243.58/241.58	c cleaning 62001 clauses out of 124020 with flag 16613508/2006002
251.63/249.52	c cleaning 63006 clauses out of 126017 with flag 17009891/2070000
265.09/263.01	c cleaning 63976 clauses out of 128011 with flag 17804168/2135000
275.46/273.46	c cleaning 65009 clauses out of 130036 with flag 18464128/2201001
286.25/284.18	c cleaning 65989 clauses out of 132027 with flag 19054753/2268001
294.93/292.81	c cleaning 67008 clauses out of 134037 with flag 19533321/2336000
304.00/301.92	c cleaning 68005 clauses out of 136029 with flag 19921862/2405000
313.39/311.24	c cleaning 68995 clauses out of 138024 with flag 20330216/2475000
322.80/320.72	c cleaning 70003 clauses out of 140029 with flag 20798157/2546000
332.72/330.71	c cleaning 70996 clauses out of 142026 with flag 21328548/2618000
342.83/340.52	c cleaning 72006 clauses out of 144031 with flag 21761108/2691001
352.80/350.51	c cleaning 73006 clauses out of 146024 with flag 22273404/2765000
362.67/360.46	c cleaning 74003 clauses out of 148020 with flag 22778679/2840002
377.34/375.13	c cleaning 74994 clauses out of 150016 with flag 23563203/2916001
390.16/387.92	c cleaning 75989 clauses out of 152023 with flag 24397475/2993002
400.92/398.73	c cleaning 77008 clauses out of 154035 with flag 24893928/3071003
412.10/409.99	c cleaning 78005 clauses out of 156025 with flag 25395446/3150001
425.65/423.40	c cleaning 78993 clauses out of 158020 with flag 26181518/3230001
446.70/444.51	c cleaning 80005 clauses out of 160027 with flag 27314365/3311001
458.96/456.81	c cleaning 81007 clauses out of 162022 with flag 27857639/3393001
471.35/469.12	c cleaning 82002 clauses out of 164016 with flag 28478454/3476002
485.53/483.41	c cleaning 82990 clauses out of 166012 with flag 29220889/3560000
498.12/496.17	c cleaning 84010 clauses out of 168023 with flag 29741243/3645001
511.24/509.28	c cleaning 84994 clauses out of 170013 with flag 30360022/3731001
524.21/522.25	c cleaning 86000 clauses out of 172019 with flag 30901680/3818001
537.57/535.69	c cleaning 87002 clauses out of 174018 with flag 31438663/3906000
554.62/552.63	c cleaning 87998 clauses out of 176017 with flag 32379269/3995001
568.49/566.53	c cleaning 89005 clauses out of 178018 with flag 32970547/4085000
582.55/580.68	c cleaning 90000 clauses out of 180013 with flag 33589429/4176000
596.71/594.82	c cleaning 90996 clauses out of 182013 with flag 34169346/4268000
611.94/610.06	c cleaning 92002 clauses out of 184017 with flag 34923246/4361000
626.89/625.08	c cleaning 93000 clauses out of 186015 with flag 35631223/4455000
642.15/640.30	c cleaning 93999 clauses out of 188017 with flag 36292644/4550002
658.16/656.36	c cleaning 95005 clauses out of 190016 with flag 36971978/4646000
675.83/674.04	c cleaning 96002 clauses out of 192011 with flag 37831218/4743000
691.58/689.80	c cleaning 96995 clauses out of 194009 with flag 38466834/4841000
708.24/706.10	c cleaning 98003 clauses out of 196015 with flag 39179438/4940001
724.49/722.47	c cleaning 98983 clauses out of 198012 with flag 39949936/5040001
741.05/739.05	c cleaning 100005 clauses out of 200028 with flag 40644744/5141000
758.30/756.26	c cleaning 101005 clauses out of 202024 with flag 41303968/5243001
777.32/775.48	c cleaning 102003 clauses out of 204018 with flag 42197363/5346000
794.77/793.06	c cleaning 102985 clauses out of 206015 with flag 42914613/5450000
813.07/811.31	c cleaning 103998 clauses out of 208030 with flag 43638349/5555000
831.53/829.83	c cleaning 105013 clauses out of 210034 with flag 44343037/5661002
849.78/848.16	c cleaning 106008 clauses out of 212019 with flag 45054354/5768000
868.53/866.86	c cleaning 106999 clauses out of 214016 with flag 45767534/5876005
887.38/885.71	c cleaning 107999 clauses out of 216014 with flag 46571599/5985002
906.32/904.76	c cleaning 108996 clauses out of 218015 with flag 47416022/6095002
925.17/923.68	c cleaning 109993 clauses out of 220019 with flag 48204859/6206002
946.55/945.00	c cleaning 110998 clauses out of 222024 with flag 49136058/6318000
966.59/965.05	c cleaning 112013 clauses out of 224029 with flag 49913276/6431003
987.12/985.65	c cleaning 112996 clauses out of 226014 with flag 50811358/6545001
1011.04/1009.67	c cleaning 114005 clauses out of 228019 with flag 51882505/6660002
1033.16/1031.62	c cleaning 115002 clauses out of 230013 with flag 52738751/6776001
1054.56/1053.24	c cleaning 116001 clauses out of 232011 with flag 53615151/6893001
1076.69/1075.47	c cleaning 116987 clauses out of 234009 with flag 54519224/7011000
1098.53/1097.30	c cleaning 117996 clauses out of 236023 with flag 55424281/7130001
1121.87/1120.70	c cleaning 119013 clauses out of 238030 with flag 56376692/7250004
1145.25/1144.15	c cleaning 119993 clauses out of 240013 with flag 57358114/7371000
1172.08/1171.08	c cleaning 121000 clauses out of 242021 with flag 58479148/7493001
1199.91/1198.89	c cleaning 122003 clauses out of 244021 with flag 59820406/7616001
1224.84/1223.13	c cleaning 123001 clauses out of 246019 with flag 60673119/7740002
1249.04/1247.40	c cleaning 124000 clauses out of 248016 with flag 61492430/7865000
1273.98/1272.32	c cleaning 124999 clauses out of 250018 with flag 62485086/7991002
1299.18/1297.59	c cleaning 126001 clauses out of 252018 with flag 63336396/8118001
1324.55/1323.11	c cleaning 126996 clauses out of 254018 with flag 64240448/8246002
1349.84/1348.54	c cleaning 128000 clauses out of 256023 with flag 65206231/8375003
1376.49/1375.44	c cleaning 129002 clauses out of 258020 with flag 66213766/8505000
1401.96/1401.15	c cleaning 130004 clauses out of 260022 with flag 67221433/8636004
1429.15/1428.51	c cleaning 131000 clauses out of 262014 with flag 68267315/8768000
1456.10/1455.79	c cleaning 131991 clauses out of 264014 with flag 69202334/8901000
1483.30/1483.09	c cleaning 133002 clauses out of 266023 with flag 70211524/9035000
1526.70/1526.84	c cleaning 134002 clauses out of 268023 with flag 71930755/9170002
1555.05/1555.20	c cleaning 135001 clauses out of 270022 with flag 72946277/9306003
1584.08/1584.56	c cleaning 136003 clauses out of 272020 with flag 73873648/9443002
1612.72/1613.36	c cleaning 136999 clauses out of 274017 with flag 74974704/9581002
1641.85/1642.72	c cleaning 137986 clauses out of 276016 with flag 76124580/9720000
1670.99/1672.07	c cleaning 139000 clauses out of 278030 with flag 77214111/9860000
1701.60/1702.96	c cleaning 140012 clauses out of 280033 with flag 78404893/10001003
1731.97/1733.54	c cleaning 140999 clauses out of 282018 with flag 79598003/10143000
1763.23/1764.90	c cleaning 142004 clauses out of 284021 with flag 80591393/10286002
1794.10/1795.53	c cleaning 142994 clauses out of 286016 with flag 81782703/10430001
1825.79/1827.29	c cleaning 143994 clauses out of 288023 with flag 82844924/10575002
1856.60/1858.19	c cleaning 144990 clauses out of 290028 with flag 84023809/10721001
1888.91/1890.51	c cleaning 146000 clauses out of 292038 with flag 85218233/10868001
1921.90/1923.55	c cleaning 147013 clauses out of 294039 with flag 86359567/11016002
1954.60/1956.32	c cleaning 148005 clauses out of 296024 with flag 87439645/11165000
1987.09/1988.90	c cleaning 148993 clauses out of 298020 with flag 88543118/11315001
2019.74/2021.56	c cleaning 150012 clauses out of 300028 with flag 89839451/11466002
2053.25/2055.12	c cleaning 150996 clauses out of 302015 with flag 91132638/11618001
2087.25/2089.21	c cleaning 151981 clauses out of 304018 with flag 92280208/11771000
2122.36/2124.42	c cleaning 153002 clauses out of 306039 with flag 93577731/11925002
2157.86/2159.97	c cleaning 153999 clauses out of 308036 with flag 94940644/12080001
2193.16/2195.34	c cleaning 155014 clauses out of 310036 with flag 96127195/12236000
2230.06/2232.33	c cleaning 155998 clauses out of 312022 with flag 97524220/12393000
2266.72/2269.09	c cleaning 157006 clauses out of 314024 with flag 98698334/12551000
2302.89/2305.50	c cleaning 157994 clauses out of 316018 with flag 100031027/12710000
2340.56/2343.50	c cleaning 159003 clauses out of 318025 with flag 101241432/12870001
2378.27/2381.48	c cleaning 160005 clauses out of 320023 with flag 102519217/13031002
2416.32/2419.80	c cleaning 160999 clauses out of 322017 with flag 103906366/13193001
2454.86/2458.79	c cleaning 161996 clauses out of 324017 with flag 105133949/13356000
2494.89/2498.97	c cleaning 162998 clauses out of 326021 with flag 106549027/13520000
2533.99/2538.18	c cleaning 164003 clauses out of 328024 with flag 107843281/13685001
2573.68/2577.97	c cleaning 164998 clauses out of 330020 with flag 109246083/13851000
2613.40/2617.66	c cleaning 165996 clauses out of 332022 with flag 110553499/14018000
2655.15/2659.57	c cleaning 167001 clauses out of 334026 with flag 111900746/14186000
2696.31/2700.86	c cleaning 168005 clauses out of 336027 with flag 113268789/14355002
2739.91/2744.58	c cleaning 169003 clauses out of 338020 with flag 114877909/14525000
2783.51/2788.57	c cleaning 170004 clauses out of 340017 with flag 116294659/14696000
2826.52/2831.90	c cleaning 170988 clauses out of 342013 with flag 117652426/14868000
2869.17/2874.70	c cleaning 172006 clauses out of 344026 with flag 119203880/15041001
2913.05/2918.78	c cleaning 173006 clauses out of 346020 with flag 120546512/15215001
2956.64/2962.41	c cleaning 173994 clauses out of 348013 with flag 121906932/15390000
3007.34/3012.84	c cleaning 175009 clauses out of 350021 with flag 123579082/15566002
3051.72/3057.34	c cleaning 175993 clauses out of 352011 with flag 125015540/15743001
3098.03/3103.50	c cleaning 177006 clauses out of 354017 with flag 126423291/15921000
3144.10/3149.76	c cleaning 177985 clauses out of 356012 with flag 127964397/16100001
3199.73/3205.32	c cleaning 179003 clauses out of 358026 with flag 130017082/16280000
3246.01/3251.78	c cleaning 180001 clauses out of 360023 with flag 131659484/16461000
3293.09/3298.78	c cleaning 181006 clauses out of 362022 with flag 133286347/16643000
3340.86/3346.61	c cleaning 182008 clauses out of 364017 with flag 135001594/16826001
3384.21/3390.04	c cleaning 182988 clauses out of 366008 with flag 136487793/17010000
3427.66/3433.60	c cleaning 184001 clauses out of 368020 with flag 138032962/17195000
3470.81/3476.83	c cleaning 184995 clauses out of 370019 with flag 139652806/17381000
3515.57/3521.77	c cleaning 186008 clauses out of 372024 with flag 141291359/17568000
3558.93/3565.25	c cleaning 186987 clauses out of 374017 with flag 142861198/17756001
3600.07/3606.72	c starts		: 49272
3600.07/3606.72	c conflicts		: 17934008
3600.07/3606.72	c decisions		: 30158778
3600.07/3606.73	c propagations		: 1690571047
3600.07/3606.73	c inspects		: 44061102683
3600.07/3606.73	c shortcuts		: 0
3600.07/3606.73	c learnt literals	: 0
3600.07/3606.73	c learnt binary clauses	: 0
3600.07/3606.73	c learnt ternary clauses	: 0
3600.07/3606.73	c learnt constraints	: 17934008
3600.07/3606.73	c ignored constraints	: 0
3600.07/3606.73	c root simplifications	: 0
3600.07/3606.73	c removed literals (reason simplification)	: 0
3600.07/3606.73	c reason swapping (by a shorter reason)	: 0
3600.07/3606.73	c Calls to reduceDB	: 184
3600.07/3606.73	c Number of update (reduction) of LBD	: 7548337
3600.07/3606.73	c Imported unit clauses	: 0
3600.07/3606.73	c No decision after first conflict	: false
3600.07/3606.73	c number of reductions to clauses (during analyze)	: 0
3600.07/3606.73	c number of learned constraints concerned by reduction	: 0
3600.07/3606.73	c number of learning phase by resolution	: 0
3600.07/3606.73	c number of learning phase by cutting planes	: 0
3600.07/3606.73	c number of rounding to 1 operations	: 0
3600.07/3606.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3606.73	c number of reductions of the coefficients by power 2 	: 0
3600.07/3606.73	c number of right shift for reduction by power 2 	: 0
3600.07/3606.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3606.73	c number of ending skipping 	: 0
3600.07/3606.73	c number of internal skipping 	: 0
3600.07/3606.73	c number of derivation steps 	: 0
3600.07/3606.73	c timeout
3600.07/3606.74	c number of skipped derivation steps 	: 0
3600.07/3606.74	c number of remaining unassigned 	: 0
3600.07/3606.74	c number of remaining assigned 	: 0
3600.07/3606.74	c number of falsified literals weakened from reason	: 0
3600.07/3606.74	c number of falsified literals weakened from conflict	: 0
3600.07/3606.74	c time for arithmetic operations	: 0
3600.07/3606.74	c minimum degree of deleted constraints	: null
3600.07/3606.74	c maximum degree of deleted constraints	: null
3600.07/3606.74	c number of deleted constraints	: 0
3600.07/3606.75	c speed (assignments/second)	: 468785.94865893474
3600.07/3606.75	c non guided choices	: 194
3600.07/3606.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 365037
3600.07/3606.80	s UNKNOWN
3600.07/3606.80	c Total wall clock time (in seconds): 3606.668

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: 63931 MiB (60010 MiB free)
  memory of node 1: 64510 MiB (59628 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443944-1721317225/watcher-4443944-1721317225 -o /tmp/evaluation-result-4443944-1721317225/solver-4443944-1721317225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443944-1721317225.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=938320, runsolver pid=938317
Current StackSize limit: 8192 KiB


[startup+0.102975 s]*
/proc/loadavg: 4.55 3.19 2.78 5/331 938338
/proc/meminfo: memFree=122468056/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=18975048 memory=63328 CPUtime=0.12 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 7184 0 0 0 11 1 0 0 20 0 18 0 183883061 19430449152 15832 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4743762 15832 5754 1 0 549299 0
[pid=938320/tid=938322] ppid=938317 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 1077936192 5740 0 0 0 7 1 0 0 20 0 18 0 183883061 19430449152 15832 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 15832 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 15832 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63328 KiB

[startup+0.207041 s]*
/proc/loadavg: 4.55 3.19 2.78 6/331 938338
/proc/meminfo: memFree=122455324/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=18975048 memory=76468 CPUtime=0.32 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 8004 0 0 0 30 2 0 0 20 0 18 0 183883061 19430449152 19117 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4743762 19117 5854 1 0 549799 0
[pid=938320/tid=938322] ppid=938317 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 5904 0 0 0 16 1 0 0 20 0 18 0 183883061 19430449152 19117 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=18975048 memory=14994 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 19117 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 19117 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76468 KiB

[startup+0.305837 s]*
/proc/loadavg: 4.55 3.19 2.78 7/331 938338
/proc/meminfo: memFree=122419084/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=18975048 memory=112224 CPUtime=0.51 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 9109 0 0 0 48 3 0 0 20 0 18 0 183883061 19430449152 28056 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4743762 28056 5854 1 0 550542 0
[pid=938320/tid=938322] ppid=938317 vsize=18975048 memory=-8672920663403831996 CPUtime=0.27 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 5925 0 0 0 25 2 0 0 20 0 18 0 183883061 19430449152 28056 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 28056 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 183883064 19430449152 28056 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 112224 KiB

[startup+0.70103 s]
/proc/loadavg: 4.55 3.19 2.78 7/333 938340
/proc/meminfo: memFree=122354828/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=187176 CPUtime=1.26 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 16579 0 0 0 121 5 0 0 20 0 20 0 183883061 19566772224 46794 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 46794 5869 1 0 556076 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=5560 CPUtime=0.59 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 6006 0 0 0 56 3 0 0 20 0 20 0 183883061 19566772224 46794 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 46794 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=280092534432424 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 46794 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 46794 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187176 KiB

[startup+1.50304 s]
/proc/loadavg: 4.55 3.19 2.78 6/333 938340
/proc/meminfo: memFree=122342508/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=189056 CPUtime=2.85 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 22580 0 0 0 279 6 0 0 20 0 20 0 183883061 19566772224 47264 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 47264 5869 1 0 556123 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=13012 CPUtime=1.38 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 7017 0 0 0 135 3 0 0 20 0 20 0 183883061 19566772224 47264 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47264 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47264 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=280092534285584 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 47264 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189056 KiB

[startup+3.10572 s]
/proc/loadavg: 4.51 3.21 2.78 5/333 938340
/proc/meminfo: memFree=122341440/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=189344 CPUtime=4.79 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 23347 0 0 0 473 6 0 0 20 0 20 0 183883061 19566772224 47336 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 47336 5869 1 0 556132 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=0 CPUtime=2.98 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 7371 0 0 0 295 3 0 0 20 0 20 0 183883061 19566772224 47336 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47336 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47336 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 47336 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189344 KiB

[startup+6.30024 s]
/proc/loadavg: 4.51 3.21 2.78 5/333 938341
/proc/meminfo: memFree=122340624/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=189868 CPUtime=8.14 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 24375 0 0 0 807 7 0 0 20 0 20 0 183883061 19566772224 47467 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 47467 5885 1 0 556132 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=13012 CPUtime=6.14 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 7409 0 0 0 611 3 0 0 20 0 20 0 183883061 19566772224 47467 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47467 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 47467 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=189056 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 47467 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 8.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189868 KiB

[startup+12.7003 s]
/proc/loadavg: 4.47 3.22 2.79 5/333 938341
/proc/meminfo: memFree=122211836/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=196280 CPUtime=14.57 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 29609 0 0 0 1450 7 0 0 20 0 20 0 183883061 19566772224 49070 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 49070 5895 1 0 556132 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=0 CPUtime=12.49 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 8225 0 0 0 1246 3 0 0 20 0 20 0 183883061 19566772224 49070 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 49070 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=196256 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 49070 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=13012 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 49070 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 14.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.51 3.29 2.82 5/332 938344
/proc/meminfo: memFree=122051600/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=286528 CPUtime=27.4 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 32932 0 0 0 2730 10 0 0 20 0 20 0 183883061 19566772224 71632 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 71632 5911 1 0 556132 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=196256 CPUtime=25.1 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 9277 0 0 0 2507 3 0 0 20 0 20 0 183883061 19566772224 71632 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=-8672920663403831996 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 71632 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=43592 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 71632 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 71632 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 27.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 286528 KiB

[startup+51.106 s]
/proc/loadavg: 4.39 3.37 2.86 5/332 938347
/proc/meminfo: memFree=121751196/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=555024 CPUtime=53.16 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 37468 0 0 0 5299 17 0 0 20 0 20 0 183883061 19566772224 138756 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 138756 5911 1 0 556132 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=456708 CPUtime=50.35 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 10805 0 0 0 5031 4 0 0 20 0 20 0 183883061 19566772224 138756 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=43592 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 138756 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0

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

/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802589 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=3210356 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3366 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802589 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=3210356 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802589 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3216.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/334 940331
/proc/meminfo: memFree=115307052/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210364 CPUtime=3276.53 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 215333 0 0 0 327470 183 0 0 20 0 20 0 183883061 19566772224 802591 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802591 5911 1 0 816454 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=3210360 CPUtime=3256.57 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 100578 0 0 0 325616 41 0 0 20 0 20 0 183883061 19566772224 802591 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=3210356 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802591 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3496 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802591 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=43592 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802591 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3276.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210364 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/331 940479
/proc/meminfo: memFree=120355908/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210380 CPUtime=3336.58 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 218931 0 0 0 333473 185 0 0 20 0 20 0 183883061 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802595 5911 1 0 816455 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=13012 CPUtime=3316.16 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 101892 0 0 0 331575 41 0 0 20 0 20 0 183883061 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=3210380 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=2636 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3542 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=3210380 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3336.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.16 4.10 5/331 940489
/proc/meminfo: memFree=118703944/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210380 CPUtime=3396.46 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 221550 0 0 0 339460 186 0 0 20 0 20 0 183883061 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802595 5911 1 0 816455 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=3210380 CPUtime=3375.83 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 103294 0 0 0 337542 41 0 0 20 0 20 0 183883061 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=3210380 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=3210380 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3632 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802595 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3396.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.19 4.11 5/331 940567
/proc/meminfo: memFree=118140584/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210392 CPUtime=3456.36 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 225026 0 0 0 345448 188 0 0 20 0 20 0 183883061 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802598 5911 1 0 816455 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=3210380 CPUtime=3435.49 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 104730 0 0 0 343508 41 0 0 20 0 20 0 183883061 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=3210380 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=3210392 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3757 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=3210392 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3456.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210392 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.11 5/331 940643
/proc/meminfo: memFree=117668776/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210392 CPUtime=3516.16 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 226596 0 0 0 351426 190 0 0 20 0 20 0 183883061 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802598 5911 1 0 816455 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=3210392 CPUtime=3495.27 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 106065 0 0 0 349485 42 0 0 20 0 20 0 183883061 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=3210392 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3845 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=43592 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802598 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3516.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/331 940653
/proc/meminfo: memFree=116996356/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210488 CPUtime=3575.89 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 229872 0 0 0 357397 192 0 0 20 0 20 0 183883061 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802622 5911 1 0 816460 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=2312 CPUtime=3554.67 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 107712 0 0 0 355425 42 0 0 20 0 20 0 183883061 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=5560 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=11488 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3859 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=3210488 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3575.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.7 s]
/proc/loadavg: 4.21 4.17 4.11 5/334 940664
/proc/meminfo: memFree=116674072/131524600 swapFree=131071996/131071996
[pid=938320] ppid=938317 vsize=19108176 memory=3210488 CPUtime=3600.07 cores=0,2
/proc/938320/stat : 938320 (java) S 938317 938320 937004 0 -1 1077936128 230346 0 0 0 359814 193 0 0 20 0 20 0 183883061 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
/proc/938320/statm: 4777044 802622 5911 1 0 816460 0
[pid=938320/tid=938322] ppid=938317 vsize=19108176 memory=3210488 CPUtime=3578.84 cores=0,2
/proc/938320/task/938322/stat : 938322 (java) R 938317 938320 937004 0 -1 4194368 108089 0 0 0 357842 42 0 0 20 0 20 0 183883061 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938331] ppid=938317 vsize=19108176 memory=3210488 CPUtime=0 cores=0,2
/proc/938320/task/938331/stat : 938331 (Finalizer) S 938317 938320 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938338] ppid=938317 vsize=19108176 memory=40476 CPUtime=0 cores=0,2
/proc/938320/task/938338/stat : 938338 (Common-Cleaner) S 938317 938320 937004 0 -1 1077936192 3948 0 0 0 0 0 0 0 20 0 20 0 183883064 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
[pid=938320/tid=938340] ppid=938317 vsize=19108176 memory=20428 CPUtime=0 cores=0,2
/proc/938320/task/938340/stat : 938340 (Timer-0) S 938317 938320 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183883107 19566772224 802622 134679101440 94755220537344 94755220541040 140734845672320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94755220548856 94755220549648 94755229724672 140734845674502 140734845674592 140734845674592 140734845681608 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3210488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.28 s, system=1.94781 s

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

[startup+3606.81 s]*
/proc/loadavg: 4.21 4.17 4.11 6/316 940667
/proc/meminfo: memFree=118942320/131524600 swapFree=131071996/131071996
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): 3606.82
CPU time (s): 3600.23
CPU user time (s): 3598.28
CPU system time (s): 1.94781
CPU usage (%): 99.8173
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3210488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.94781
maximum resident set size= 3212108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106762
involuntary context switches= 31646


# summary of solver processes directly reported to runsolver:
#   pid: 938320
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 1.94781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35263 second user time and 17.9233 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 17:40:37
IDJOB=4443944
IDBENCH=147891
IDSOLVER=3058
FILE ID=nodeC016/4443944-1721317225
RUNJOBID= nodeC016-1721316965-937014
SLURM_JOB_ID= 7542659
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443944-1721317225/watcher-4443944-1721317225 -o /tmp/evaluation-result-4443944-1721317225/solver-4443944-1721317225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937014 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443944-1721317225.opb

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

MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=1850669223

nodeC016.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		: 3627.370
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.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122510000 kB
MemAvailable:   126162248 kB
Buffers:          346528 kB
Cached:          4141392 kB
SwapCached:            0 kB
Active:           544928 kB
Inactive:        7852500 kB
Active(anon):       1560 kB
Inactive(anon):  3945652 kB
Active(file):     543368 kB
Inactive(file):  3906848 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2476 kB
Writeback:            12 kB
AnonPages:       3908056 kB
Mapped:           126572 kB
Shmem:             37720 kB
KReclaimable:      83360 kB
Slab:             192980 kB
SReclaimable:      83360 kB
SUnreclaim:       109620 kB
KernelStack:        5024 kB
PageTables:        17476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7244832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69536 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3627008 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-18 18:40:44