Trace number 4440569

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.16 3617.36

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
MD5SUM481101aa5750e702617a44583ed063de
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark204
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27552
Number of constraints which are cardinality constraints (but not clauses)248
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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 		2104792832
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.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.13	c solving HOME/instance-4440569-1721824703.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.71/0.43	c ... done. Wall clock time 0.294s.
0.71/0.43	c declared #vars     9632
0.71/0.43	c #constraints  29620
0.71/0.43	c constraints type 
0.71/0.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16520
0.71/0.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 304
0.71/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1764
0.71/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11032
0.71/0.43	c 29620 constraints processed.
0.71/0.43	c objective function length is 26 literals
2.27/1.30	c cleaning 2495 clauses out of 5000 with flag 13981/5000
3.05/1.68	c cleaning 4245 clauses out of 8506 with flag 26683/11001
4.85/2.52	c cleaning 5611 clauses out of 11261 with flag 52728/18001
5.82/3.00	c cleaning 6820 clauses out of 13650 with flag 71678/26001
6.94/3.73	c cleaning 7904 clauses out of 15831 with flag 91787/35002
7.68/4.32	c cleaning 8931 clauses out of 17926 with flag 116062/45001
8.48/5.14	c cleaning 9958 clauses out of 19994 with flag 139423/56000
9.47/6.18	c cleaning 10985 clauses out of 22039 with flag 165848/68003
10.56/7.25	c cleaning 11992 clauses out of 24051 with flag 193927/81000
11.75/8.48	c cleaning 12994 clauses out of 26060 with flag 224291/95001
12.85/9.56	c cleaning 13968 clauses out of 28067 with flag 260520/110002
14.05/10.80	c cleaning 15007 clauses out of 30098 with flag 297764/126001
15.51/12.19	c cleaning 16044 clauses out of 32090 with flag 340000/143000
16.86/13.45	c cleaning 16997 clauses out of 34046 with flag 395054/161000
18.06/14.65	c cleaning 18009 clauses out of 36052 with flag 454944/180003
19.64/16.22	c cleaning 18996 clauses out of 38041 with flag 498207/200001
21.04/17.65	c cleaning 19990 clauses out of 40044 with flag 542800/221000
23.02/19.63	c cleaning 21006 clauses out of 42056 with flag 592450/243002
25.41/22.04	c cleaning 22001 clauses out of 44048 with flag 648683/266000
27.78/24.49	c cleaning 23002 clauses out of 46047 with flag 701999/290000
30.55/27.20	c cleaning 24002 clauses out of 48046 with flag 756010/315001
32.15/28.82	c cleaning 24981 clauses out of 50043 with flag 817948/341000
33.54/30.22	c cleaning 25996 clauses out of 52063 with flag 878401/368001
35.48/32.37	c cleaning 27007 clauses out of 54066 with flag 941247/396000
38.45/35.39	c cleaning 28010 clauses out of 56059 with flag 1003653/425000
42.03/38.93	c cleaning 28988 clauses out of 58052 with flag 1072267/455003
44.11/40.84	c cleaning 29996 clauses out of 60061 with flag 1152963/486000
46.19/42.91	c cleaning 30998 clauses out of 62067 with flag 1235399/518002
49.75/46.55	c cleaning 32003 clauses out of 64067 with flag 1308692/551000
53.51/50.38	c cleaning 32996 clauses out of 66066 with flag 1383266/585002
57.88/54.77	c cleaning 33998 clauses out of 68069 with flag 1460526/620001
62.36/59.24	c cleaning 34982 clauses out of 70070 with flag 1541710/656000
65.84/62.86	c cleaning 36015 clauses out of 72090 with flag 1624204/693002
69.54/66.52	c cleaning 37038 clauses out of 74076 with flag 1709172/731003
72.14/69.16	c cleaning 37981 clauses out of 76035 with flag 1801925/770000
75.92/72.91	c cleaning 39018 clauses out of 78055 with flag 1890930/810001
79.01/76.08	c cleaning 40018 clauses out of 80037 with flag 1983258/851001
82.61/79.66	c cleaning 40978 clauses out of 82018 with flag 2086919/893000
85.10/82.17	c cleaning 41990 clauses out of 84040 with flag 2186284/936000
88.80/85.84	c cleaning 43001 clauses out of 86050 with flag 2287097/980000
93.69/90.77	c cleaning 44000 clauses out of 88052 with flag 2383907/1025003
99.35/96.51	c cleaning 44999 clauses out of 90051 with flag 2484177/1071002
105.93/103.15	c cleaning 45995 clauses out of 92051 with flag 2588508/1118001
109.72/106.95	c cleaning 46988 clauses out of 94056 with flag 2696292/1166001
115.40/112.69	c cleaning 48020 clauses out of 96067 with flag 2798763/1215000
120.09/117.33	c cleaning 49006 clauses out of 98048 with flag 2907178/1265001
127.11/124.46	c cleaning 50005 clauses out of 100042 with flag 3017500/1316001
132.69/130.02	c cleaning 50997 clauses out of 102036 with flag 3128537/1368000
137.77/135.15	c cleaning 52003 clauses out of 104041 with flag 3244976/1421002
145.78/143.16	c cleaning 53002 clauses out of 106036 with flag 3374259/1475000
149.17/146.55	c cleaning 53983 clauses out of 108037 with flag 3503170/1530003
156.34/153.77	c cleaning 54998 clauses out of 110053 with flag 3633998/1586002
163.83/161.66	c cleaning 55996 clauses out of 112056 with flag 3769304/1643003
173.61/171.44	c cleaning 57004 clauses out of 114058 with flag 3902436/1701001
182.58/180.42	c cleaning 57999 clauses out of 116053 with flag 4040317/1760000
191.80/189.78	c cleaning 59000 clauses out of 118054 with flag 4173047/1820000
201.77/199.79	c cleaning 59983 clauses out of 120056 with flag 4312320/1881002
208.06/206.09	c cleaning 60997 clauses out of 122072 with flag 4454129/1943001
216.03/214.09	c cleaning 62006 clauses out of 124074 with flag 4589810/2006000
221.61/219.70	c cleaning 63001 clauses out of 126071 with flag 4734484/2070003
231.47/229.67	c cleaning 64006 clauses out of 128069 with flag 4876852/2135002
238.87/237.05	c cleaning 64991 clauses out of 130061 with flag 5026486/2201000
246.54/244.73	c cleaning 66010 clauses out of 132072 with flag 5174766/2268002
253.09/252.25	c cleaning 67005 clauses out of 134061 with flag 5329239/2336001
261.72/260.81	c cleaning 68000 clauses out of 136058 with flag 5478001/2405003
267.80/266.97	c cleaning 68996 clauses out of 138055 with flag 5639385/2475000
274.71/273.87	c cleaning 70003 clauses out of 140059 with flag 5802807/2546000
281.31/281.11	c cleaning 71011 clauses out of 142058 with flag 5958105/2618002
288.42/288.22	c cleaning 71999 clauses out of 144048 with flag 6111422/2691003
298.84/298.67	c cleaning 73000 clauses out of 146048 with flag 6270370/2765002
310.79/310.76	c cleaning 73996 clauses out of 148046 with flag 6431599/2840000
324.01/323.90	c cleaning 75007 clauses out of 150051 with flag 6596074/2916001
337.07/337.09	c cleaning 75996 clauses out of 152043 with flag 6760726/2993000
352.73/352.73	c cleaning 77004 clauses out of 154047 with flag 6929885/3071000
360.07/360.08	c cleaning 77982 clauses out of 156048 with flag 7116834/3150005
368.54/368.57	c cleaning 79019 clauses out of 158063 with flag 7301878/3230002
379.68/379.71	c cleaning 79950 clauses out of 160042 with flag 7486963/3311000
390.13/390.27	c cleaning 81008 clauses out of 162094 with flag 7676063/3393002
405.92/406.15	c cleaning 82005 clauses out of 164086 with flag 7874241/3476002
413.34/413.60	c cleaning 83012 clauses out of 166079 with flag 8063147/3560000
420.42/420.72	c cleaning 83998 clauses out of 168067 with flag 8268643/3645000
431.71/432.18	c cleaning 85006 clauses out of 170069 with flag 8460257/3731000
442.78/443.28	c cleaning 85975 clauses out of 172065 with flag 8649874/3818002
449.20/449.67	c cleaning 86997 clauses out of 174093 with flag 8857890/3906005
456.33/456.89	c cleaning 88018 clauses out of 176091 with flag 9063277/3995000
471.38/472.02	c cleaning 89013 clauses out of 178074 with flag 9259727/4085001
483.02/483.72	c cleaning 89987 clauses out of 180061 with flag 9470609/4176001
491.32/492.01	c cleaning 91006 clauses out of 182074 with flag 9687877/4268001
506.99/507.83	c cleaning 92012 clauses out of 184068 with flag 9889134/4361001
524.20/525.12	c cleaning 93010 clauses out of 186057 with flag 10095234/4455002
534.04/534.90	c cleaning 93993 clauses out of 188048 with flag 10306960/4550003
570.05/571.03	c cleaning 95007 clauses out of 190053 with flag 10539924/4646001
579.37/580.34	c cleaning 95988 clauses out of 192048 with flag 10764554/4743003
607.00/608.10	c cleaning 96999 clauses out of 194057 with flag 10978461/4841000
625.92/627.06	c cleaning 98015 clauses out of 196060 with flag 11182866/4940002
638.45/639.54	c cleaning 98993 clauses out of 198043 with flag 11407138/5040000
652.64/653.74	c cleaning 99990 clauses out of 200052 with flag 11639379/5141002
668.72/669.85	c cleaning 100999 clauses out of 202061 with flag 11891449/5243001
681.20/682.42	c cleaning 101991 clauses out of 204063 with flag 12127095/5346002
690.60/691.87	c cleaning 102999 clauses out of 206070 with flag 12369104/5450000
699.62/700.84	c cleaning 103983 clauses out of 208071 with flag 12615698/5555000
712.95/714.29	c cleaning 105021 clauses out of 210089 with flag 12855363/5661001
729.97/731.26	c cleaning 106016 clauses out of 212067 with flag 13091872/5768000
745.76/748.06	c cleaning 106998 clauses out of 214052 with flag 13327368/5876001
756.80/759.04	c cleaning 107988 clauses out of 216053 with flag 13584252/5985000
768.86/771.12	c cleaning 109024 clauses out of 218066 with flag 13842399/6095001
783.66/785.98	c cleaning 109980 clauses out of 220041 with flag 14093377/6206000
793.40/795.67	c cleaning 111000 clauses out of 222063 with flag 14362284/6318002
814.23/816.57	c cleaning 112005 clauses out of 224061 with flag 14616909/6431000
837.60/839.93	c cleaning 113001 clauses out of 226056 with flag 14862121/6545000
859.84/862.27	c cleaning 114005 clauses out of 228055 with flag 15113979/6660000
884.65/887.30	c cleaning 114998 clauses out of 230050 with flag 15373214/6776000
897.77/900.42	c cleaning 115983 clauses out of 232052 with flag 15647730/6893000
907.49/910.19	c cleaning 116991 clauses out of 234069 with flag 15933161/7011000
924.41/927.17	c cleaning 118009 clauses out of 236079 with flag 16207274/7130001
941.90/944.69	c cleaning 118995 clauses out of 238071 with flag 16480321/7250002
955.82/958.52	c cleaning 120016 clauses out of 240074 with flag 16769202/7371000
969.45/972.11	c cleaning 121001 clauses out of 242059 with flag 17036547/7493001
994.16/996.97	c cleaning 122002 clauses out of 244057 with flag 17308415/7616000
1008.27/1010.90	c cleaning 122996 clauses out of 246058 with flag 17605488/7740003
1024.97/1027.44	c cleaning 124013 clauses out of 248059 with flag 17886548/7865000
1049.15/1051.80	c cleaning 124985 clauses out of 250048 with flag 18151578/7991002
1076.78/1079.41	c cleaning 125994 clauses out of 252061 with flag 18421489/8118000
1106.82/1109.56	c cleaning 127001 clauses out of 254068 with flag 18698243/8246001
1135.90/1138.79	c cleaning 127999 clauses out of 256068 with flag 18977283/8375002
1152.30/1155.15	c cleaning 128999 clauses out of 258069 with flag 19277724/8505002
1167.88/1170.88	c cleaning 130018 clauses out of 260068 with flag 19574575/8636000
1196.59/1199.65	c cleaning 131006 clauses out of 262050 with flag 19866892/8768000
1213.14/1216.16	c cleaning 131991 clauses out of 264045 with flag 20175874/8901001
1235.72/1238.96	c cleaning 132979 clauses out of 266054 with flag 20472095/9035001
1264.66/1268.01	c cleaning 133997 clauses out of 268074 with flag 20777562/9170000
1292.49/1296.07	c cleaning 135000 clauses out of 270077 with flag 21087644/9306000
1310.69/1314.24	c cleaning 136033 clauses out of 272079 with flag 21402537/9443002
1329.10/1332.62	c cleaning 136992 clauses out of 274044 with flag 21716434/9581000
1349.01/1352.66	c cleaning 137995 clauses out of 276055 with flag 22008940/9720003
1368.42/1372.04	c cleaning 139006 clauses out of 278059 with flag 22353470/9860002
1384.78/1388.46	c cleaning 139995 clauses out of 280054 with flag 22684250/10001003
1459.00/1462.91	c cleaning 141002 clauses out of 282057 with flag 23011019/10143001
1478.93/1483.19	c cleaning 141998 clauses out of 284055 with flag 23326828/10286001
1514.93/1519.58	c cleaning 142987 clauses out of 286056 with flag 23641869/10430000
1543.31/1548.29	c cleaning 143993 clauses out of 288069 with flag 23968373/10575000
1575.42/1580.47	c cleaning 145000 clauses out of 290077 with flag 24284938/10721001
1611.31/1616.69	c cleaning 146007 clauses out of 292080 with flag 24645374/10868004
1642.26/1647.69	c cleaning 147002 clauses out of 294069 with flag 25030435/11016000
1663.18/1668.63	c cleaning 148012 clauses out of 296068 with flag 25378089/11165001
1702.92/1708.58	c cleaning 149006 clauses out of 298055 with flag 25691107/11315000
1736.57/1742.31	c cleaning 150010 clauses out of 300049 with flag 26018542/11466000
1768.23/1774.09	c cleaning 151007 clauses out of 302039 with flag 26339566/11618000
1804.56/1810.41	c cleaning 151961 clauses out of 304032 with flag 26665049/11771000
1869.85/1875.95	c cleaning 152996 clauses out of 306071 with flag 26998639/11925000
1953.62/1960.49	c cleaning 154007 clauses out of 308076 with flag 27338113/12080001
1997.11/2004.13	c cleaning 155001 clauses out of 310068 with flag 27676737/12236000
2029.78/2036.85	c cleaning 156019 clauses out of 312069 with flag 28051247/12393002
2049.99/2057.10	c cleaning 156981 clauses out of 314048 with flag 28402946/12551000
2087.07/2094.06	c cleaning 158007 clauses out of 316069 with flag 28762560/12710002
2118.55/2125.63	c cleaning 159008 clauses out of 318060 with flag 29115963/12870000
2147.12/2154.24	c cleaning 159999 clauses out of 320052 with flag 29469197/13031000
2184.94/2192.19	c cleaning 161005 clauses out of 322053 with flag 29844646/13193000
2232.39/2239.76	c cleaning 161985 clauses out of 324050 with flag 30191101/13356002
2287.46/2295.02	c cleaning 162993 clauses out of 326066 with flag 30551232/13520003
2333.85/2341.72	c cleaning 163991 clauses out of 328070 with flag 30914110/13685000
2378.15/2386.42	c cleaning 165007 clauses out of 330083 with flag 31271323/13851004
2432.80/2441.68	c cleaning 165999 clauses out of 332074 with flag 31631801/14018002
2498.68/2508.60	c cleaning 167003 clauses out of 334075 with flag 31997129/14186002
2519.84/2529.89	c cleaning 168030 clauses out of 336072 with flag 32390700/14355002
2539.52/2549.63	c cleaning 168996 clauses out of 338042 with flag 32793504/14525002
2585.60/2596.03	c cleaning 170009 clauses out of 340048 with flag 33188199/14696004
2606.69/2617.28	c cleaning 170987 clauses out of 342036 with flag 33575239/14868001
2645.65/2656.37	c cleaning 171983 clauses out of 344048 with flag 33952551/15041000
2687.57/2698.44	c cleaning 173014 clauses out of 346067 with flag 34329811/15215002
2712.15/2723.14	c cleaning 173987 clauses out of 348053 with flag 34714602/15390002
2758.66/2770.57	c cleaning 174998 clauses out of 350064 with flag 35114608/15566000
2786.29/2798.58	c cleaning 175981 clauses out of 352066 with flag 35514008/15743000
2810.83/2823.07	c cleaning 177005 clauses out of 354085 with flag 35932669/15921000
2833.90/2846.31	c cleaning 177993 clauses out of 356081 with flag 36339300/16100001
2855.05/2868.51	c cleaning 179045 clauses out of 358090 with flag 36748613/16280003
2878.16/2891.91	c cleaning 179987 clauses out of 360046 with flag 37189474/16461004
2929.56/2943.46	c cleaning 181005 clauses out of 362057 with flag 37583164/16643002
2960.50/2974.56	c cleaning 181968 clauses out of 364050 with flag 37991235/16826000
2995.51/3009.86	c cleaning 183024 clauses out of 366087 with flag 38402863/17010005
3039.69/3054.26	c cleaning 183988 clauses out of 368059 with flag 38806439/17195001
3065.35/3079.99	c cleaning 185012 clauses out of 370073 with flag 39239693/17381003
3089.30/3103.99	c cleaning 186010 clauses out of 372060 with flag 39672200/17568002
3112.01/3126.61	c cleaning 186999 clauses out of 374051 with flag 40101368/17756003
3170.10/3184.83	c cleaning 188006 clauses out of 376049 with flag 40520638/17945000
3207.42/3221.86	c cleaning 188993 clauses out of 378043 with flag 40957849/18135000
3299.16/3313.90	c cleaning 189995 clauses out of 380050 with flag 41376278/18326000
3354.01/3368.83	c cleaning 191004 clauses out of 382055 with flag 41791605/18518000
3446.64/3462.44	c cleaning 192004 clauses out of 384051 with flag 42218290/18711000
3510.08/3526.19	c cleaning 192994 clauses out of 386047 with flag 42634572/18905000
3573.51/3589.75	c cleaning 194002 clauses out of 388053 with flag 43058718/19100000
3600.01/3616.21	c timeout
3600.01/3616.21	c starts		: 15698
3600.01/3616.22	c conflicts		: 19249289
3600.01/3616.22	c decisions		: 47119941
3600.01/3616.22	c propagations		: 1225729794
3600.01/3616.22	c inspects		: 41653812647
3600.01/3616.22	c shortcuts		: 0
3600.01/3616.22	c learnt literals	: 0
3600.01/3616.22	c learnt binary clauses	: 2462
3600.01/3616.22	c learnt ternary clauses	: 1203
3600.01/3616.22	c learnt constraints	: 19249289
3600.01/3616.22	c ignored constraints	: 0
3600.01/3616.22	c root simplifications	: 0
3600.01/3616.22	c removed literals (reason simplification)	: 117044516
3600.01/3616.22	c reason swapping (by a shorter reason)	: 0
3600.01/3616.22	c Calls to reduceDB	: 191
3600.01/3616.22	c Number of update (reduction) of LBD	: 684791
3600.01/3616.22	c Imported unit clauses	: 0
3600.01/3616.22	c No decision after first conflict	: false
3600.01/3616.22	c number of reductions to clauses (during analyze)	: 0
3600.01/3616.22	c number of learned constraints concerned by reduction	: 0
3600.01/3616.22	c number of learning phase by resolution	: 0
3600.01/3616.22	c number of learning phase by cutting planes	: 0
3600.01/3616.22	c number of rounding to 1 operations	: 0
3600.01/3616.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3616.22	c number of reductions of the coefficients by power 2 	: 0
3600.01/3616.22	c number of right shift for reduction by power 2 	: 0
3600.01/3616.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3616.22	c number of ending skipping 	: 0
3600.01/3616.22	c number of internal skipping 	: 0
3600.01/3616.22	c number of derivation steps 	: 0
3600.01/3616.22	c number of skipped derivation steps 	: 0
3600.01/3616.22	c number of remaining unassigned 	: 0
3600.01/3616.22	c number of remaining assigned 	: 0
3600.01/3616.22	c number of falsified literals weakened from reason	: 0
3600.01/3616.22	c number of falsified literals weakened from conflict	: 0
3600.01/3616.22	c time for arithmetic operations	: 0
3600.01/3616.22	c minimum degree of deleted constraints	: null
3600.01/3616.22	c maximum degree of deleted constraints	: null
3600.01/3616.22	c number of deleted constraints	: 0
3600.01/3616.22	c speed (assignments/second)	: 338994.5721255165
3600.01/3616.22	c non guided choices	: 10766797
3600.01/3616.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 340878
3600.01/3616.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 2462
3600.01/3616.28	s UNKNOWN
3600.01/3616.28	c Total wall clock time (in seconds): 3616.153

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440569-1721824703/watcher-4440569-1721824703 -o /tmp/evaluation-result-4440569-1721824703/solver-4440569-1721824703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721817188-183882 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440569-1721824703 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440569-1721824703.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
Current StackSize limit: 8192 KiB

solver pid=189612, runsolver pid=189609

[startup+0.100653 s]*
/proc/loadavg: 4.15 4.18 4.18 7/333 189630
/proc/meminfo: memFree=120790668/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=18975048 memory=64928 CPUtime=0.14 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 7248 0 0 0 12 2 0 0 20 0 18 0 18993645 19430449152 16232 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4743762 16232 5566 1 0 549370 0
[pid=189612/tid=189614] ppid=189609 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 1077936192 5757 0 0 0 7 1 0 0 20 0 18 0 18993646 19430449152 16232 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18993648 19430449152 16232 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=18975048 memory=15262540772067107 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18993649 19430449152 16232 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64928 KiB

[startup+0.210149 s]*
/proc/loadavg: 4.15 4.18 4.18 7/333 189630
/proc/meminfo: memFree=120757836/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=18975048 memory=97620 CPUtime=0.34 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 8228 0 0 0 31 3 0 0 20 0 18 0 18993645 19430449152 24405 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4743762 24405 5846 1 0 550057 0
[pid=189612/tid=189614] ppid=189609 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) D 189609 189612 183872 0 -1 4194368 5956 0 0 0 16 2 0 0 20 0 18 0 18993646 19430449152 24405 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=18975048 memory=1251090 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18993648 19430449152 24405 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18993649 19430449152 24405 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 97620 KiB

[startup+0.311246 s]*
/proc/loadavg: 4.15 4.18 4.18 6/333 189630
/proc/meminfo: memFree=120730936/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=18975048 memory=129128 CPUtime=0.53 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 9225 0 0 0 49 4 0 0 20 0 18 0 18993645 19430449152 32282 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4743762 32282 5846 1 0 550613 0
[pid=189612/tid=189614] ppid=189609 vsize=18975048 memory=-8529083647391474364 CPUtime=0.26 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 5973 0 0 0 24 2 0 0 20 0 18 0 18993646 19430449152 32282 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18993648 19430449152 32282 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18993649 19430449152 32282 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 129128 KiB

[startup+0.701 s]
/proc/loadavg: 4.15 4.18 4.18 6/335 189632
/proc/meminfo: memFree=120683980/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=183116 CPUtime=1.27 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 16769 0 0 0 121 6 0 0 20 0 20 0 18993645 19566772224 45779 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 45779 5903 1 0 555318 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=5432 CPUtime=0.61 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 6139 0 0 0 58 3 0 0 20 0 20 0 18993646 19566772224 45779 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=12304 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 45779 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=280050524283560 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 45779 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 45779 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183116 KiB

[startup+1.501 s]
/proc/loadavg: 4.15 4.18 4.18 7/335 189632
/proc/meminfo: memFree=120662424/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=189004 CPUtime=2.85 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 24247 0 0 0 277 8 0 0 20 0 20 0 18993645 19566772224 47251 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 47251 5951 1 0 555816 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=12304 CPUtime=1.38 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 7133 0 0 0 134 4 0 0 20 0 20 0 18993646 19566772224 47251 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 47251 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 47251 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=280050524136720 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 47251 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189004 KiB

[startup+3.11 s]
/proc/loadavg: 4.30 4.22 4.19 8/335 189634
/proc/meminfo: memFree=120617080/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=202912 CPUtime=6.03 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 26776 0 0 0 594 9 0 0 20 0 20 0 18993645 19566772224 50728 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 50728 5951 1 0 555958 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=0 CPUtime=2.94 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 7905 0 0 0 290 4 0 0 20 0 20 0 18993646 19566772224 50728 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=12304 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 50728 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 50728 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=11944 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 50728 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202912 KiB

[startup+6.30401 s]
/proc/loadavg: 4.30 4.22 4.19 5/336 189635
/proc/meminfo: memFree=120410452/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=371404 CPUtime=9.67 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 29323 0 0 0 952 15 0 0 20 0 20 0 18993645 19566772224 92851 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 92851 5967 1 0 556971 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=12304 CPUtime=6.08 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 8059 0 0 0 600 8 0 0 20 0 20 0 18993646 19566772224 92851 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 92851 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 92851 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=189004 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 92851 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 371404 KiB

[startup+12.701 s]
/proc/loadavg: 4.33 4.22 4.19 5/336 189636
/proc/meminfo: memFree=120045988/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=643972 CPUtime=16.17 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 35156 0 0 0 1594 23 0 0 20 0 20 0 18993645 19566772224 160993 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 160993 5967 1 0 556971 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=0 CPUtime=12.41 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 9069 0 0 0 1225 16 0 0 20 0 20 0 18993646 19566772224 160993 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 160993 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=637824 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 160993 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=12304 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 160993 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 16.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 643972 KiB

[startup+25.501 s]
/proc/loadavg: 4.28 4.22 4.19 5/336 189638
/proc/meminfo: memFree=119414896/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=1067932 CPUtime=28.87 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 37741 0 0 0 2851 36 0 0 20 0 20 0 18993645 19566772224 266983 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 266983 5967 1 0 556971 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=637824 CPUtime=25.08 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 10853 0 0 0 2479 29 0 0 20 0 20 0 18993646 19566772224 266983 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=-8529083647391474364 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 266983 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=68028 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 266983 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 266983 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 28.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1067932 KiB

[startup+51.106 s]
/proc/loadavg: 4.18 4.20 4.18 5/337 189642
/proc/meminfo: memFree=118757376/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=1342436 CPUtime=54.32 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 47732 0 0 0 5382 50 0 0 20 0 20 0 18993645 19566772224 335609 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 335609 5967 1 0 556971 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=1340384 CPUtime=50.25 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 13144 0 0 0 4984 41 0 0 20 0 20 0 18993646 19566772224 335609 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=68028 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 335609 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0

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

/proc/189612/statm: 4777044 545467 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=2181868 CPUtime=3243.93 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 85064 0 0 0 323820 573 0 0 20 0 20 0 18993646 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1378 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=11944 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=68128 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4076 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=15884 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3267.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/335 191496
/proc/meminfo: memFree=100208200/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181868 CPUtime=3327.62 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 203569 0 0 0 332063 699 0 0 20 0 20 0 18993645 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545467 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=15884 CPUtime=3303.64 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 86084 0 0 0 329786 578 0 0 20 0 20 0 18993646 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1381 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=-8529083647391474364 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4220 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545467 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3327.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 4/335 191506
/proc/meminfo: memFree=100045880/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181944 CPUtime=3387.44 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 206028 0 0 0 338037 707 0 0 20 0 20 0 18993645 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545486 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=-8529083647391474364 CPUtime=3363.33 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 86989 0 0 0 335749 584 0 0 20 0 20 0 18993646 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1386 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4281 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=5432 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3387.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/332 191516
/proc/meminfo: memFree=99941544/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181944 CPUtime=3446.54 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 207509 0 0 0 343942 712 0 0 20 0 20 0 18993645 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545486 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=-8529083647391474364 CPUtime=3422.28 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 88132 0 0 0 341641 587 0 0 20 0 20 0 18993646 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1465 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=2181868 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4315 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=5432 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545486 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3446.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181944 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/332 191527
/proc/meminfo: memFree=99789028/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181948 CPUtime=3506.28 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 210179 0 0 0 349907 721 0 0 20 0 20 0 18993645 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545487 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=11944 CPUtime=3481.86 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 89991 0 0 0 347591 595 0 0 20 0 20 0 18993646 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1479 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=68128 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=2181944 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4395 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=2181948 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3506.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181948 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.85 4.04 3/282 191607
/proc/meminfo: memFree=112976868/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181948 CPUtime=3566.05 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 212563 0 0 0 355876 729 0 0 20 0 20 0 18993645 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545487 5967 1 0 558205 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=5432 CPUtime=3541.5 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 91310 0 0 0 353549 601 0 0 20 0 20 0 18993646 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1489 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=11944 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=11944 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4456 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=-8529083647391474364 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545487 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3566.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3616.2 s]
/proc/loadavg: 2.38 3.59 3.95 2/256 191646
/proc/meminfo: memFree=118097716/131524600 swapFree=131055224/131071996
[pid=189612] ppid=189609 vsize=19108176 memory=2181992 CPUtime=3600.01 cores=0,2
/proc/189612/stat : 189612 (java) S 189609 189612 183872 0 -1 1077936128 216321 0 0 0 359266 735 0 0 20 0 20 0 18993645 19566772224 545498 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
/proc/189612/statm: 4777044 545498 5967 1 0 558217 0
[pid=189612/tid=189614] ppid=189609 vsize=19108176 memory=146020298130799 CPUtime=3575.14 cores=0,2
/proc/189612/task/189614/stat : 189614 (java) R 189609 189612 183872 0 -1 4194368 92234 0 0 0 356908 606 0 0 20 0 20 0 18993646 19566772224 545498 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1491 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189623] ppid=189609 vsize=19108176 memory=146020298130799 CPUtime=0 cores=0,2
/proc/189612/task/189623/stat : 189623 (Finalizer) S 189609 189612 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18993648 19566772224 545498 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189630] ppid=189609 vsize=19108176 memory=146020298130799 CPUtime=0 cores=0,2
/proc/189612/task/189630/stat : 189630 (Common-Cleaner) S 189609 189612 183872 0 -1 1077936192 4487 0 0 0 0 0 0 0 20 0 20 0 18993649 19566772224 545498 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
[pid=189612/tid=189632] ppid=189609 vsize=19108176 memory=146020298130799 CPUtime=0 cores=0,2
/proc/189612/task/189632/stat : 189632 (Timer-0) S 189609 189612 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18993690 19566772224 545498 134679101440 94840108113920 94840108117616 140722401308128 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94840108125432 94840108126224 94840127590400 140722401309611 140722401309793 140722401309793 140722401316808 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181992 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.78 s, system=7.3745 s

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

[startup+3616.8 s]
/proc/loadavg: 2.38 3.59 3.95 1/238 191649
/proc/meminfo: memFree=118094248/131524600 swapFree=131055224/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3617.2 s]
/proc/loadavg: 2.38 3.59 3.95 1/238 191649
/proc/meminfo: memFree=118094472/131524600 swapFree=131055224/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3617.3 s]
/proc/loadavg: 2.38 3.59 3.95 1/238 191649
/proc/meminfo: memFree=118094472/131524600 swapFree=131055224/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): 3617.36
CPU time (s): 3600.16
CPU user time (s): 3592.78
CPU system time (s): 7.3745
CPU usage (%): 99.5242
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2182648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.78
system time used= 7.3745
maximum resident set size= 2183588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219637
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10565872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116374
involuntary context switches= 29562


# summary of solver processes directly reported to runsolver:
#   pid: 189612
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3592.78
#   total CPU system time (s): 7.3745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70424 second user time and 17.9547 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 14:38:23
IDJOB=4440569
IDBENCH=158396
IDSOLVER=3079
FILE ID=nodeC028/4440569-1721824703
RUNJOBID= nodeC028-1721817188-183882
SLURM_JOB_ID= 7816888
Free space on /tmp= 890060 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug4.5.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440569-1721824703/watcher-4440569-1721824703 -o /tmp/evaluation-result-4440569-1721824703/solver-4440569-1721824703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721817188-183882 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440569-1721824703 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440569-1721824703.opb

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

MD5SUM BENCH= 481101aa5750e702617a44583ed063de
RANDOM SEED=1759071281

nodeC028.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		: 3655.979
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.46
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		: 3687.748
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.51
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		: 3649.421
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.46
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		: 3599.996
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.51
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		: 3680.311
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.46
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		: 3687.853
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.51
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		: 3608.529
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120835968 kB
MemAvailable:   125717760 kB
Buffers:          249036 kB
Cached:          5418348 kB
SwapCached:          816 kB
Active:          2368652 kB
Inactive:        7616972 kB
Active(anon):       4516 kB
Inactive(anon):  4366204 kB
Active(file):    2364136 kB
Inactive(file):  3250768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055224 kB
Dirty:            227448 kB
Writeback:             8 kB
AnonPages:       4316672 kB
Mapped:           134088 kB
Shmem:             52380 kB
KReclaimable:     213420 kB
Slab:             343336 kB
SReclaimable:     213420 kB
SUnreclaim:       129916 kB
KernelStack:        5024 kB
PageTables:        18824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7261908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4032512 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:      424660 kB
DirectMap2M:    46534656 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC028 at 2024-07-24 15:38:40