Trace number 4446044

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.81 3601.69

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-60.opb
MD5SUM0cc29dda69c4373ab2687cf37dcdce8e
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 benchmark70.6443
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4446044-1721322170.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
2.60/1.44	c ... done. Wall clock time 1.315s.
2.60/1.44	c declared #vars     12587
2.60/1.44	c #constraints  284398
2.60/1.44	c constraints type 
2.60/1.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 59821
2.60/1.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 906
2.60/1.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 27909
2.60/1.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 195762
2.60/1.44	c 284398 constraints processed.
6.14/3.64	c cleaning 2500 clauses out of 5000 with flag 123189/5000
7.75/5.17	c cleaning 4228 clauses out of 8500 with flag 285115/11000
9.64/6.81	c cleaning 5595 clauses out of 11272 with flag 456212/18000
12.15/9.35	c cleaning 6818 clauses out of 13677 with flag 629052/26000
14.16/11.32	c cleaning 7928 clauses out of 15860 with flag 825174/35001
16.56/13.79	c cleaning 8943 clauses out of 17931 with flag 1003947/45000
18.76/15.95	c cleaning 9865 clauses out of 19988 with flag 1170219/56000
21.25/18.48	c cleaning 10974 clauses out of 22125 with flag 1364092/68002
24.55/21.79	c cleaning 11959 clauses out of 24149 with flag 1550778/81000
27.86/25.08	c cleaning 13036 clauses out of 26190 with flag 1747355/95000
31.25/28.48	c cleaning 13963 clauses out of 28154 with flag 1955361/110000
34.95/32.19	c cleaning 15025 clauses out of 30192 with flag 2174394/126001
37.87/35.07	c cleaning 15949 clauses out of 32166 with flag 2386993/143000
42.00/39.11	c cleaning 17097 clauses out of 34217 with flag 2636890/161000
45.68/42.85	c cleaning 18022 clauses out of 36120 with flag 2873400/180000
49.38/46.59	c cleaning 18958 clauses out of 38101 with flag 3092357/200003
52.81/49.75	c cleaning 20063 clauses out of 40143 with flag 3295540/221004
55.70/52.64	c cleaning 20962 clauses out of 42074 with flag 3490460/243000
59.00/55.92	c cleaning 22057 clauses out of 44114 with flag 3706674/266002
62.61/59.56	c cleaning 22996 clauses out of 46054 with flag 3989177/290000
65.98/62.81	c cleaning 23965 clauses out of 48058 with flag 4196051/315001
70.08/66.90	c cleaning 25017 clauses out of 50092 with flag 4415330/341000
73.57/70.41	c cleaning 26036 clauses out of 52074 with flag 4639006/368000
77.27/74.15	c cleaning 26895 clauses out of 54038 with flag 4876668/396000
81.16/78.10	c cleaning 28059 clauses out of 56143 with flag 5129971/425000
86.75/83.67	c cleaning 29006 clauses out of 58084 with flag 5468326/455000
91.64/88.51	c cleaning 30008 clauses out of 60079 with flag 5742767/486001
95.53/92.48	c cleaning 31008 clauses out of 62070 with flag 6017157/518000
99.96/96.88	c cleaning 31963 clauses out of 64063 with flag 6270231/551001
104.45/101.34	c cleaning 32990 clauses out of 66099 with flag 6516180/585000
108.85/105.78	c cleaning 34028 clauses out of 68109 with flag 6778492/620000
113.83/110.70	c cleaning 34987 clauses out of 70082 with flag 7094049/656001
120.02/116.97	c cleaning 35869 clauses out of 72094 with flag 7473916/693000
126.82/123.71	c cleaning 37012 clauses out of 74225 with flag 7861443/731000
132.31/129.27	c cleaning 38090 clauses out of 76213 with flag 8197835/770000
138.50/135.49	c cleaning 38855 clauses out of 78123 with flag 8583451/810000
145.74/142.68	c cleaning 40079 clauses out of 80270 with flag 8961756/851002
152.62/149.50	c cleaning 41016 clauses out of 82189 with flag 9257909/893000
159.32/156.25	c cleaning 41990 clauses out of 84174 with flag 9608760/936001
166.41/163.32	c cleaning 43028 clauses out of 86183 with flag 10020559/980000
172.50/169.48	c cleaning 44045 clauses out of 88157 with flag 10388737/1025002
179.20/176.11	c cleaning 44999 clauses out of 90110 with flag 10757017/1071000
186.09/183.02	c cleaning 45976 clauses out of 92114 with flag 11160827/1118003
193.74/190.66	c cleaning 47050 clauses out of 94136 with flag 11602584/1166001
200.82/197.78	c cleaning 48025 clauses out of 96085 with flag 11943112/1215000
209.51/206.46	c cleaning 48987 clauses out of 98060 with flag 12352753/1265000
217.00/213.92	c cleaning 49984 clauses out of 100073 with flag 12771464/1316000
225.68/222.61	c cleaning 50937 clauses out of 102090 with flag 13228134/1368001
234.36/231.25	c cleaning 51999 clauses out of 104152 with flag 13702532/1421000
243.04/239.91	c cleaning 53048 clauses out of 106157 with flag 14195008/1475004
252.43/249.32	c cleaning 54025 clauses out of 108105 with flag 14589991/1530000
261.02/257.96	c cleaning 54976 clauses out of 110080 with flag 15004869/1586000
270.61/267.52	c cleaning 56017 clauses out of 112104 with flag 15469000/1643000
280.94/277.83	c cleaning 57007 clauses out of 114088 with flag 15966189/1701001
290.81/287.78	c cleaning 57999 clauses out of 116080 with flag 16399089/1760000
301.40/298.32	c cleaning 59007 clauses out of 118081 with flag 16858325/1820000
311.37/308.30	c cleaning 60032 clauses out of 120077 with flag 17367438/1881003
322.92/319.84	c cleaning 60999 clauses out of 122042 with flag 17864193/1943000
334.71/331.65	c cleaning 61901 clauses out of 124044 with flag 18378997/2006001
344.20/341.15	c cleaning 63014 clauses out of 126142 with flag 18862923/2070000
355.19/352.15	c cleaning 64016 clauses out of 128129 with flag 19349563/2135001
366.33/363.26	c cleaning 65033 clauses out of 130113 with flag 19882909/2201001
376.81/373.71	c cleaning 65953 clauses out of 132080 with flag 20408803/2268001
388.29/385.20	c cleaning 66998 clauses out of 134126 with flag 20960532/2336000
400.98/397.90	c cleaning 68025 clauses out of 136128 with flag 21476233/2405000
415.72/412.63	c cleaning 69031 clauses out of 138103 with flag 22007278/2475000
428.89/425.87	c cleaning 69949 clauses out of 140072 with flag 22605875/2546000
441.56/438.53	c cleaning 70962 clauses out of 142123 with flag 23151191/2618000
454.92/451.80	c cleaning 72009 clauses out of 144161 with flag 23801535/2691000
467.99/465.00	c cleaning 73033 clauses out of 146153 with flag 24392473/2765001
481.47/478.44	c cleaning 74045 clauses out of 148119 with flag 25007633/2840000
495.75/492.77	c cleaning 74994 clauses out of 150074 with flag 25574774/2916000
510.38/507.33	c cleaning 75906 clauses out of 152080 with flag 26132619/2993000
525.64/522.69	c cleaning 77023 clauses out of 154174 with flag 26760430/3071000
542.11/539.11	c cleaning 78018 clauses out of 156153 with flag 27304633/3150002
558.09/555.19	c cleaning 78957 clauses out of 158133 with flag 27982765/3230000
574.31/571.38	c cleaning 80031 clauses out of 160179 with flag 28596366/3311003
589.17/586.25	c cleaning 80971 clauses out of 162145 with flag 29258123/3393000
605.14/602.25	c cleaning 82014 clauses out of 164175 with flag 29960848/3476001
621.80/618.95	c cleaning 83026 clauses out of 166160 with flag 30602335/3560000
636.67/633.79	c cleaning 84047 clauses out of 168134 with flag 31256537/3645000
654.83/651.94	c cleaning 84986 clauses out of 170087 with flag 31932547/3731000
671.59/668.77	c cleaning 85986 clauses out of 172101 with flag 32640020/3818000
689.95/687.11	c cleaning 87018 clauses out of 174115 with flag 33285465/3906000
709.40/706.51	c cleaning 87998 clauses out of 176097 with flag 33991030/3995000
727.97/725.13	c cleaning 89020 clauses out of 178100 with flag 34711359/4085001
746.93/744.15	c cleaning 89921 clauses out of 180080 with flag 35415133/4176001
764.50/761.78	c cleaning 91042 clauses out of 182158 with flag 36106525/4268000
782.87/780.12	c cleaning 91959 clauses out of 184116 with flag 36808547/4361000
802.20/799.41	c cleaning 93008 clauses out of 186157 with flag 37464327/4455000
823.87/821.19	c cleaning 93997 clauses out of 188149 with flag 38152022/4550000
843.61/840.97	c cleaning 94958 clauses out of 190152 with flag 38872656/4646000
862.68/860.09	c cleaning 96043 clauses out of 192195 with flag 39690243/4743001
886.13/883.49	c cleaning 97046 clauses out of 194151 with flag 40404093/4841000
909.19/906.54	c cleaning 98002 clauses out of 196105 with flag 41226306/4940000
930.95/928.36	c cleaning 99027 clauses out of 198106 with flag 41953125/5040003
950.82/948.21	c cleaning 99982 clauses out of 200076 with flag 42860735/5141000
975.88/973.36	c cleaning 101027 clauses out of 202094 with flag 43601245/5243000
998.99/996.47	c cleaning 101894 clauses out of 204067 with flag 44382948/5346000
1023.56/1021.22	c cleaning 103063 clauses out of 206173 with flag 45403327/5450000
1047.61/1045.31	c cleaning 104014 clauses out of 208111 with flag 46195415/5555001
1069.71/1067.31	c cleaning 104793 clauses out of 210096 with flag 47114244/5661000
1094.48/1092.16	c cleaning 106045 clauses out of 212303 with flag 48148480/5768000
1117.94/1115.69	c cleaning 107099 clauses out of 214260 with flag 49042530/5876002
1138.60/1136.33	c cleaning 108077 clauses out of 216159 with flag 49930927/5985000
1162.66/1160.30	c cleaning 109014 clauses out of 218084 with flag 50816561/6095002
1186.92/1184.67	c cleaning 109982 clauses out of 220068 with flag 51685441/6206000
1209.58/1207.36	c cleaning 111012 clauses out of 222087 with flag 52581900/6318001
1235.34/1233.16	c cleaning 111908 clauses out of 224074 with flag 53515178/6431000
1259.86/1257.67	c cleaning 113061 clauses out of 226170 with flag 54388575/6545004
1282.43/1280.20	c cleaning 113999 clauses out of 228105 with flag 55303917/6660000
1307.68/1305.58	c cleaning 114916 clauses out of 230106 with flag 56200673/6776000
1332.94/1330.83	c cleaning 116059 clauses out of 232194 with flag 57201753/6893004
1359.63/1357.42	c cleaning 116973 clauses out of 234131 with flag 58089884/7011000
1386.19/1384.03	c cleaning 118043 clauses out of 236159 with flag 59117000/7130001
1414.14/1412.10	c cleaning 118946 clauses out of 238115 with flag 59977353/7250000
1442.69/1440.63	c cleaning 120049 clauses out of 240171 with flag 60904769/7371002
1471.39/1469.22	c cleaning 121061 clauses out of 242121 with flag 61899375/7493001
1498.43/1496.39	c cleaning 122008 clauses out of 244061 with flag 62884666/7616002
1529.29/1527.23	c cleaning 122985 clauses out of 246051 with flag 63856901/7740000
1561.02/1559.08	c cleaning 123990 clauses out of 248067 with flag 64932781/7865001
1593.68/1591.23	c cleaning 124969 clauses out of 250079 with flag 66074144/7991003
1624.12/1621.75	c cleaning 126002 clauses out of 252107 with flag 67062775/8118000
1654.66/1652.30	c cleaning 127044 clauses out of 254106 with flag 68204220/8246001
1687.10/1684.71	c cleaning 127971 clauses out of 256061 with flag 69103162/8375000
1716.74/1714.48	c cleaning 128992 clauses out of 258090 with flag 70192243/8505000
1750.67/1748.45	c cleaning 129963 clauses out of 260098 with flag 71180942/8636000
1780.74/1778.42	c cleaning 130690 clauses out of 262135 with flag 72291307/8768000
1812.39/1810.13	c cleaning 132138 clauses out of 264448 with flag 73304864/8901003
1842.73/1840.55	c cleaning 133082 clauses out of 266307 with flag 74380488/9035000
1875.18/1873.02	c cleaning 134033 clauses out of 268227 with flag 75404876/9170002
1907.09/1904.94	c cleaning 135027 clauses out of 270193 with flag 76493905/9306001
1942.90/1940.82	c cleaning 136060 clauses out of 272165 with flag 77455190/9443000
1978.82/1976.87	c cleaning 137021 clauses out of 274105 with flag 78441990/9581000
2012.54/2010.64	c cleaning 137999 clauses out of 276084 with flag 79627641/9720000
2049.22/2047.20	c cleaning 139024 clauses out of 278085 with flag 80757701/9860000
2084.85/2082.93	c cleaning 140008 clauses out of 280062 with flag 81744441/10001001
2122.08/2120.14	c cleaning 140928 clauses out of 282053 with flag 82930390/10143000
2159.34/2157.74	c cleaning 142030 clauses out of 284126 with flag 84042498/10286001
2202.07/2200.73	c cleaning 143007 clauses out of 286096 with flag 84988074/10430001
2240.61/2239.26	c cleaning 144013 clauses out of 288089 with flag 86138388/10575001
2279.92/2278.65	c cleaning 144971 clauses out of 290075 with flag 87302639/10721000
2320.35/2319.13	c cleaning 146043 clauses out of 292104 with flag 88431756/10868000
2362.24/2361.10	c cleaning 146989 clauses out of 294062 with flag 89433857/11016001
2399.30/2398.46	c cleaning 147972 clauses out of 296072 with flag 90658999/11165000
2437.42/2436.74	c cleaning 148960 clauses out of 298100 with flag 91861406/11315000
2479.24/2478.63	c cleaning 150048 clauses out of 300143 with flag 93057284/11466003
2523.36/2522.76	c cleaning 150936 clauses out of 302092 with flag 94212853/11618000
2568.37/2567.87	c cleaning 152022 clauses out of 304156 with flag 95240639/11771000
2614.69/2614.27	c cleaning 152841 clauses out of 306134 with flag 96500939/11925000
2657.02/2656.60	c cleaning 154086 clauses out of 308293 with flag 97556233/12080000
2702.85/2702.45	c cleaning 155037 clauses out of 310208 with flag 98784097/12236001
2747.47/2747.13	c cleaning 156038 clauses out of 312170 with flag 100024632/12393000
2789.19/2789.00	c cleaning 156925 clauses out of 314132 with flag 101244461/12551000
2834.32/2834.13	c cleaning 158034 clauses out of 316208 with flag 102613596/12710001
2881.76/2881.55	c cleaning 159012 clauses out of 318173 with flag 103793863/12870000
2929.56/2929.49	c cleaning 160070 clauses out of 320163 with flag 105031536/13031002
2977.06/2977.07	c cleaning 161045 clauses out of 322095 with flag 106361799/13193004
3026.15/3026.22	c cleaning 161977 clauses out of 324048 with flag 107634015/13356002
3082.84/3082.91	c cleaning 163016 clauses out of 326069 with flag 108997615/13520000
3131.95/3132.13	c cleaning 163924 clauses out of 328054 with flag 110188187/13685001
3179.95/3180.28	c cleaning 164953 clauses out of 330131 with flag 111426164/13851002
3235.85/3236.25	c cleaning 166061 clauses out of 332177 with flag 112888813/14018001
3293.88/3294.62	c cleaning 166944 clauses out of 334115 with flag 114005844/14186000
3347.56/3348.47	c cleaning 168074 clauses out of 336172 with flag 115192587/14355001
3405.53/3406.55	c cleaning 169024 clauses out of 338097 with flag 116440394/14525000
3457.30/3458.29	c cleaning 169997 clauses out of 340073 with flag 117749879/14696000
3510.87/3511.93	c cleaning 170903 clauses out of 342076 with flag 118990304/14868000
3564.86/3566.06	c cleaning 171994 clauses out of 344173 with flag 120689353/15041000
3600.47/3601.53	c starts		: 57042
3600.47/3601.57	c conflicts		: 15154742
3600.47/3601.57	c decisions		: 106132933
3600.47/3601.57	c propagations		: 2686728491
3600.47/3601.57	c inspects		: 45745924325
3600.47/3601.57	c shortcuts		: 0
3600.47/3601.57	c learnt literals	: 6
3600.47/3601.57	c learnt binary clauses	: 3422
3600.47/3601.57	c learnt ternary clauses	: 7538
3600.47/3601.57	c learnt constraints	: 15154736
3600.47/3601.57	c ignored constraints	: 0
3600.47/3601.57	c root simplifications	: 0
3600.47/3601.57	c removed literals (reason simplification)	: 0
3600.47/3601.57	c reason swapping (by a shorter reason)	: 0
3600.47/3601.57	c Calls to reduceDB	: 169
3600.47/3601.57	c Number of update (reduction) of LBD	: 8675007
3600.47/3601.57	c Imported unit clauses	: 0
3600.47/3601.57	c No decision after first conflict	: false
3600.47/3601.57	c number of reductions to clauses (during analyze)	: 0
3600.47/3601.57	c number of learned constraints concerned by reduction	: 0
3600.47/3601.57	c number of learning phase by resolution	: 0
3600.47/3601.57	c number of learning phase by cutting planes	: 0
3600.47/3601.57	c number of rounding to 1 operations	: 0
3600.47/3601.57	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.47/3601.57	c number of reductions of the coefficients by power 2 	: 0
3600.47/3601.57	c number of right shift for reduction by power 2 	: 0
3600.47/3601.57	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.47/3601.57	c number of ending skipping 	: 0
3600.47/3601.57	c number of internal skipping 	: 0
3600.47/3601.57	c number of derivation steps 	: 0
3600.47/3601.57	c number of skipped derivation steps 	: 0
3600.47/3601.57	c number of remaining unassigned 	: 0
3600.47/3601.57	c number of remaining assigned 	: 0
3600.47/3601.57	c number of falsified literals weakened from reason	: 0
3600.47/3601.57	c number of falsified literals weakened from conflict	: 0
3600.47/3601.57	c time for arithmetic operations	: 0
3600.47/3601.57	c timeout
3600.47/3601.58	c minimum degree of deleted constraints	: null
3600.47/3601.58	c maximum degree of deleted constraints	: null
3600.47/3601.58	c number of deleted constraints	: 0
3600.47/3601.58	c speed (assignments/second)	: 746287.3496649839
3600.47/3601.58	c non guided choices	: 2625943
3600.66/3601.67	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 282499
3600.66/3601.67	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 3422
3600.66/3601.67	s UNKNOWN
3600.66/3601.67	c Total wall clock time (in seconds): 3601.55

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=941667, runsolver pid=941664

[startup+0.100557 s]*
/proc/loadavg: 4.10 4.13 4.11 5/332 941685
/proc/meminfo: memFree=119590928/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=18975048 memory=65168 CPUtime=0.13 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 7212 0 0 0 11 2 0 0 20 0 18 0 184377577 19430449152 16292 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4743762 16292 5647 1 0 549342 0
[pid=941667/tid=941669] ppid=941664 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 1078198336 5729 0 0 0 7 1 0 0 20 0 18 0 184377577 19430449152 16292 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 16292 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 16292 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65168 KiB

[startup+0.206676 s]*
/proc/loadavg: 4.10 4.13 4.11 6/332 941685
/proc/meminfo: memFree=119567652/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=18975048 memory=88524 CPUtime=0.33 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 8820 0 0 0 31 2 0 0 20 0 18 0 184377577 19430449152 22131 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4743762 22131 5829 1 0 550364 0
[pid=941667/tid=941669] ppid=941664 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 5913 0 0 0 16 1 0 0 20 0 18 0 184377577 19430449152 22131 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=18975048 memory=14994 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 22131 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 22131 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 88524 KiB

[startup+0.314051 s]*
/proc/loadavg: 4.10 4.13 4.11 6/332 941685
/proc/meminfo: memFree=119523300/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=18975048 memory=132852 CPUtime=0.54 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 9156 0 0 0 50 4 0 0 20 0 18 0 184377577 19430449152 33213 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4743762 33213 5829 1 0 550563 0
[pid=941667/tid=941669] ppid=941664 vsize=18975048 memory=-8887682802147173052 CPUtime=0.27 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 5937 0 0 0 25 2 0 0 20 0 18 0 184377577 19430449152 33213 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 33213 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 184377580 19430449152 33213 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 132852 KiB

[startup+0.707064 s]
/proc/loadavg: 4.10 4.13 4.11 7/333 941686
/proc/meminfo: memFree=119478640/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19041612 memory=201352 CPUtime=1.29 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 16612 0 0 0 123 6 0 0 20 0 19 0 184377577 19498610688 50338 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4760403 50338 5829 1 0 555892 0
[pid=941667/tid=941669] ppid=941664 vsize=19041612 memory=5560 CPUtime=0.59 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) S 941664 941667 937004 0 -1 1077936192 5955 0 0 0 56 3 0 0 20 0 19 0 184377577 19498610688 50338 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19041612 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 184377580 19498610688 50338 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 184377580 19498610688 50338 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 201352 KiB

[startup+1.50025 s]
/proc/loadavg: 4.10 4.13 4.11 6/333 941686
/proc/meminfo: memFree=119392096/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=437900 CPUtime=2.79 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 20257 0 0 0 267 12 0 0 20 0 20 0 184377577 19566772224 109475 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 109475 5861 1 0 1049593 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=13012 CPUtime=1.19 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 6077 0 0 0 112 7 0 0 20 0 20 0 184377577 19566772224 109475 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 109475 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 109475 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 437900 KiB

[startup+3.10606 s]
/proc/loadavg: 4.09 4.13 4.11 5/334 941687
/proc/meminfo: memFree=119216112/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=439048 CPUtime=5.48 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 21648 0 0 0 535 13 0 0 20 0 20 0 184377577 19566772224 109762 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 109762 5892 1 0 1049630 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=198340509722 CPUtime=2.76 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 6088 0 0 0 269 7 0 0 20 0 20 0 184377577 19566772224 109762 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 109762 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 109762 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=438296 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 109762 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 439048 KiB

[startup+6.30028 s]
/proc/loadavg: 4.09 4.13 4.11 5/334 941687
/proc/meminfo: memFree=119214712/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=440152 CPUtime=9.14 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 29087 0 0 0 900 14 0 0 20 0 20 0 184377577 19566772224 110038 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 110038 5892 1 0 1049694 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=0 CPUtime=5.93 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 6717 0 0 0 586 7 0 0 20 0 20 0 184377577 19566772224 110038 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 110038 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=439048 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 110038 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=440152 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 110038 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 440152 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.13 4.11 5/334 941688
/proc/meminfo: memFree=119220184/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=434400 CPUtime=15.56 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 29589 0 0 0 1541 15 0 0 20 0 20 0 184377577 19566772224 108600 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 108600 5892 1 0 1049694 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=434396 CPUtime=12.31 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 7004 0 0 0 1224 7 0 0 20 0 20 0 184377577 19566772224 108600 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108600 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=7379824641149854547 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108600 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 108600 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 434400 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.12 5/332 941690
/proc/meminfo: memFree=119219956/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=434544 CPUtime=28.35 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 31906 0 0 0 2819 16 0 0 20 0 20 0 184377577 19566772224 108636 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 108636 5908 1 0 1049694 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=7379824641149854547 CPUtime=25.08 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 8129 0 0 0 2501 7 0 0 20 0 20 0 184377577 19566772224 108636 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108636 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=5444 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108636 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=-8887682802147173052 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 108636 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 28.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 434544 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.12 4.11 5/332 941694
/proc/meminfo: memFree=119219380/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=434732 CPUtime=54.21 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 42720 0 0 0 5403 18 0 0 20 0 20 0 184377577 19566772224 108683 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 108683 5908 1 0 1049694 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=434600 CPUtime=50.63 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 10710 0 0 0 5056 7 0 0 20 0 20 0 184377577 19566772224 108683 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108683 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 108683 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 108683 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0

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

[startup+3282.3 s]
/proc/loadavg: 4.05 4.11 4.15 5/332 943566
/proc/meminfo: memFree=116309368/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149936 CPUtime=3281.69 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 181998 0 0 0 327990 179 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787484 5908 1 0 1054097 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=43712 CPUtime=3268.7 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 81348 0 0 0 326853 17 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=3149936 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 4889 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=3149936 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3281.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149936 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/334 943747
/proc/meminfo: memFree=115961040/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149936 CPUtime=3341.48 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 183677 0 0 0 333966 182 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787484 5908 1 0 1054097 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=11488 CPUtime=3328.46 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 82759 0 0 0 332828 18 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=3149936 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5019 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=1976 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3341.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149936 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/334 943757
/proc/meminfo: memFree=115866160/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149936 CPUtime=3401.34 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 185344 0 0 0 339950 184 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787484 5908 1 0 1054097 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=3149936 CPUtime=3388.29 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 84194 0 0 0 338811 18 0 0 20 0 20 0 184377577 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=316154 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5107 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787484 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3401.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/336 943839
/proc/meminfo: memFree=117006188/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3461.39 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 188211 0 0 0 345953 186 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787485 5908 1 0 1054098 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=43712 CPUtime=3447.92 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 85511 0 0 0 344774 18 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=3149940 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=13012 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5195 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3461.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/336 943861
/proc/meminfo: memFree=116763140/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3521.25 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 190160 0 0 0 351937 188 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787485 5908 1 0 1054098 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3507.76 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 87166 0 0 0 350758 18 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5324 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=-8887682802147173052 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3521.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/336 943871
/proc/meminfo: memFree=116289940/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3581.11 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 192137 0 0 0 357922 189 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787485 5908 1 0 1054098 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3567.59 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 88863 0 0 0 356741 18 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=43712 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=3149940 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5450 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=-7521704786142913400 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3581.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/336 943875
/proc/meminfo: memFree=116254748/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3600.08 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 192631 0 0 0 359818 190 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4777044 787485 5908 1 0 1054098 0
[pid=941667/tid=941669] ppid=941664 vsize=19108176 memory=3149940 CPUtime=3586.53 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) R 941664 941667 937004 0 -1 4194368 89231 0 0 0 358635 18 0 0 20 0 20 0 184377577 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19108176 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19108176 memory=3149940 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5576 0 0 0 0 0 0 0 20 0 20 0 184377580 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941687] ppid=941664 vsize=19108176 memory=5560 CPUtime=0 cores=5,7
/proc/941667/task/941687/stat : 941687 (Timer-0) S 941664 941667 937004 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 184377722 19566772224 787485 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3149940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.92752 s

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

[startup+3601.61 s]
/proc/loadavg: 4.12 4.10 4.12 5/336 943875
/proc/meminfo: memFree=116254748/131524600 swapFree=131071996/131071996
[pid=941667] ppid=941664 vsize=19307868 memory=3152880 CPUtime=3600.66 cores=5,7
/proc/941667/stat : 941667 (java) S 941664 941667 937004 0 -1 1077936128 198857 0 0 0 359875 191 0 0 20 0 21 0 184377577 19771256832 788220 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
/proc/941667/statm: 4826967 788220 5907 1 0 1055039 0
[pid=941667/tid=941669] ppid=941664 vsize=19307868 memory=43712 CPUtime=3586.58 cores=5,7
/proc/941667/task/941669/stat : 941669 (java) S 941664 941667 937004 0 -1 1077936192 91308 0 0 0 358639 19 0 0 20 0 21 0 184377577 19771256832 788220 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941678] ppid=941664 vsize=19307868 memory=11488 CPUtime=0 cores=5,7
/proc/941667/task/941678/stat : 941678 (Finalizer) S 941664 941667 937004 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 184377580 19771256832 788220 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
[pid=941667/tid=941685] ppid=941664 vsize=19307868 memory=3149940 CPUtime=0 cores=5,7
/proc/941667/task/941685/stat : 941685 (Common-Cleaner) S 941664 941667 937004 0 -1 1077936192 5576 0 0 0 0 0 0 0 20 0 21 0 184377580 19771256832 788220 134679101440 94672161521664 94672161525360 140737130808784 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94672161533176 94672161533968 94672175550464 140737130812422 140737130812512 140737130812512 140737130819528 0
Current children cumulated CPU time: 3600.66 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3152880 KiB

Child status: 143

Real time (s): 3601.69
CPU time (s): 3600.81
CPU user time (s): 3598.89
CPU system time (s): 1.92752
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3152880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.92752
maximum resident set size= 3154104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113623
involuntary context switches= 4643


# summary of solver processes directly reported to runsolver:
#   pid: 941667
#   total CPU time (s): 3600.81
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.92752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55215 second user time and 18.1092 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-18 19:03:02
IDJOB=4446044
IDBENCH=155441
IDSOLVER=3058
FILE ID=nodeC016/4446044-1721322170
RUNJOBID= nodeC016-1721316965-937017
SLURM_JOB_ID= 7542659
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-60.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446044-1721322170/watcher-4446044-1721322170 -o /tmp/evaluation-result-4446044-1721322170/solver-4446044-1721322170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721316965-937017 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446044-1721322170.opb

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

MD5SUM BENCH= 0cc29dda69c4373ab2687cf37dcdce8e
RANDOM SEED=1778617284

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		: 3665.775
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		: 3672.437
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		: 3599.955
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		: 3600.578
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		: 3665.743
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		: 3673.933
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.215
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		: 3650.758
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:        119634932 kB
MemAvailable:   123262684 kB
Buffers:          352380 kB
Cached:          4111296 kB
SwapCached:            0 kB
Active:           550776 kB
Inactive:       10715280 kB
Active(anon):       1560 kB
Inactive(anon):  6838592 kB
Active(file):     549216 kB
Inactive(file):  3876688 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12828 kB
Writeback:             0 kB
AnonPages:       6800640 kB
Mapped:           126512 kB
Shmem:             37720 kB
KReclaimable:      82992 kB
Slab:             193260 kB
SReclaimable:      82992 kB
SUnreclaim:       110268 kB
KernelStack:        5088 kB
PageTables:        23468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7366468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6481920 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= 889964 MiB
End job on nodeC016 at 2024-07-18 20:03:04