Trace number 4453642

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 2024 2024-07-07? (TO) 3600.22 3627.84

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
MD5SUM0add631ef3bf04b19f39ae45ede738e0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.721576
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14001
Total number of constraints7000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7000
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4453642-1721843553.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.70/0.41	c ... done. Wall clock time 0.283s.
0.70/0.41	c declared #vars     14001
0.70/0.41	c #constraints  7000
0.70/0.41	c constraints type 
0.70/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7000
0.70/0.41	c 7000 constraints processed.
3.83/2.02	c cleaning 2493 clauses out of 5000 with flag 41955/5000
5.44/3.21	c cleaning 4232 clauses out of 8510 with flag 107584/11003
6.90/4.65	c cleaning 5616 clauses out of 11275 with flag 196330/18000
8.32/5.89	c cleaning 6824 clauses out of 13661 with flag 282515/26002
9.93/7.36	c cleaning 7905 clauses out of 15835 with flag 383596/35000
11.59/8.93	c cleaning 8937 clauses out of 17931 with flag 508233/45001
13.29/10.65	c cleaning 9966 clauses out of 19993 with flag 651217/56000
15.18/12.49	c cleaning 11000 clauses out of 22027 with flag 807735/68000
17.29/14.56	c cleaning 11976 clauses out of 24028 with flag 971963/81001
19.51/16.74	c cleaning 12980 clauses out of 26054 with flag 1147247/95003
22.18/19.32	c cleaning 14004 clauses out of 28071 with flag 1345749/110000
24.98/22.11	c cleaning 14979 clauses out of 30069 with flag 1582519/126002
27.66/24.78	c cleaning 15958 clauses out of 32088 with flag 1800199/143000
30.59/27.64	c cleaning 16992 clauses out of 34133 with flag 2035799/161003
33.83/30.86	c cleaning 17998 clauses out of 36141 with flag 2299717/180003
37.40/34.60	c cleaning 19008 clauses out of 38140 with flag 2598736/200000
40.78/37.98	c cleaning 20004 clauses out of 40135 with flag 2871355/221003
44.63/41.78	c cleaning 20957 clauses out of 42129 with flag 3191789/243001
48.52/45.68	c cleaning 21996 clauses out of 44171 with flag 3540663/266000
52.79/49.81	c cleaning 22991 clauses out of 46175 with flag 3912910/290000
57.17/54.16	c cleaning 23991 clauses out of 48184 with flag 4280350/315000
61.65/58.63	c cleaning 24993 clauses out of 50193 with flag 4690474/341000
66.05/62.96	c cleaning 26000 clauses out of 52200 with flag 5053384/368000
70.52/67.65	c cleaning 26972 clauses out of 54200 with flag 5424966/396000
75.79/72.82	c cleaning 28017 clauses out of 56231 with flag 5880523/425003
81.22/78.18	c cleaning 28992 clauses out of 58211 with flag 6364112/455000
86.39/83.38	c cleaning 29948 clauses out of 60221 with flag 6851508/486002
92.17/89.10	c cleaning 31042 clauses out of 62272 with flag 7377337/518001
98.20/95.14	c cleaning 31968 clauses out of 64230 with flag 7882317/551001
103.97/100.90	c cleaning 32978 clauses out of 66261 with flag 8434767/585000
110.19/107.07	c cleaning 34017 clauses out of 68283 with flag 8995773/620000
116.36/113.23	c cleaning 34944 clauses out of 70266 with flag 9584772/656000
123.12/119.98	c cleaning 36023 clauses out of 72322 with flag 10245828/693000
129.98/126.93	c cleaning 36999 clauses out of 74299 with flag 10863192/731000
136.45/133.49	c cleaning 37947 clauses out of 76300 with flag 11501965/770000
143.55/140.40	c cleaning 39000 clauses out of 78353 with flag 12144805/810000
150.93/147.71	c cleaning 40056 clauses out of 80353 with flag 12859063/851000
158.44/155.18	c cleaning 41030 clauses out of 82298 with flag 13584060/893001
166.13/163.02	c cleaning 42007 clauses out of 84267 with flag 14370917/936000
173.60/170.43	c cleaning 43004 clauses out of 86265 with flag 15108569/980005
181.88/178.69	c cleaning 44129 clauses out of 88257 with flag 15923710/1025001
190.04/187.19	c cleaning 44934 clauses out of 90127 with flag 16726807/1071000
198.01/195.16	c cleaning 45935 clauses out of 92193 with flag 17553428/1118000
206.66/203.77	c cleaning 47010 clauses out of 94261 with flag 18422946/1166003
215.53/212.53	c cleaning 47967 clauses out of 96248 with flag 19324679/1215000
224.55/221.63	c cleaning 48954 clauses out of 98282 with flag 20235598/1265001
233.85/230.86	c cleaning 50016 clauses out of 100329 with flag 21197266/1316002
243.17/240.03	c cleaning 50984 clauses out of 102311 with flag 22166205/1368000
252.72/249.61	c cleaning 51992 clauses out of 104329 with flag 23165895/1421002
262.60/259.45	c cleaning 53016 clauses out of 106335 with flag 24207515/1475000
272.88/269.62	c cleaning 54004 clauses out of 108320 with flag 25311929/1530001
282.71/279.69	c cleaning 54996 clauses out of 110315 with flag 26370197/1586000
293.06/289.95	c cleaning 55963 clauses out of 112319 with flag 27493968/1643000
303.41/300.25	c cleaning 57036 clauses out of 114356 with flag 28615600/1701000
314.10/311.05	c cleaning 58029 clauses out of 116320 with flag 29772159/1760000
324.96/321.80	c cleaning 58953 clauses out of 118291 with flag 30950744/1820000
335.79/332.68	c cleaning 60017 clauses out of 120339 with flag 32123477/1881001
347.09/343.96	c cleaning 60991 clauses out of 122322 with flag 33331418/1943001
358.65/355.41	c cleaning 62029 clauses out of 124330 with flag 34591460/2006000
370.08/366.85	c cleaning 62993 clauses out of 126301 with flag 35822543/2070000
381.94/378.74	c cleaning 63983 clauses out of 128308 with flag 37106702/2135000
394.02/390.78	c cleaning 65010 clauses out of 130329 with flag 38502464/2201004
406.44/403.23	c cleaning 66001 clauses out of 132317 with flag 39850060/2268002
418.19/414.98	c cleaning 66962 clauses out of 134315 with flag 41127471/2336001
431.27/427.87	c cleaning 68025 clauses out of 136353 with flag 42577123/2405001
443.74/440.40	c cleaning 68999 clauses out of 138327 with flag 44000801/2475000
456.56/453.24	c cleaning 69989 clauses out of 140328 with flag 45451285/2546000
469.66/466.50	c cleaning 70969 clauses out of 142339 with flag 46935276/2618000
482.68/479.48	c cleaning 72005 clauses out of 144370 with flag 48385662/2691000
496.02/492.78	c cleaning 73024 clauses out of 146367 with flag 49892843/2765002
509.63/506.55	c cleaning 74007 clauses out of 148341 with flag 51428858/2840000
523.57/520.45	c cleaning 75004 clauses out of 150337 with flag 53030571/2916003
537.57/534.80	c cleaning 76012 clauses out of 152332 with flag 54604279/2993002
551.55/548.75	c cleaning 76984 clauses out of 154318 with flag 56182700/3071000
565.39/562.96	c cleaning 77957 clauses out of 156334 with flag 57746632/3150000
579.80/577.20	c cleaning 79003 clauses out of 158377 with flag 59368639/3230000
594.56/592.41	c cleaning 80059 clauses out of 160377 with flag 61041537/3311003
609.60/607.40	c cleaning 80970 clauses out of 162319 with flag 62756002/3393004
624.37/622.66	c cleaning 81999 clauses out of 164345 with flag 64474302/3476000
639.09/637.43	c cleaning 83011 clauses out of 166346 with flag 66131621/3560000
654.80/653.51	c cleaning 83981 clauses out of 168336 with flag 67925077/3645001
670.36/669.07	c cleaning 84988 clauses out of 170355 with flag 69735995/3731001
686.52/685.54	c cleaning 85997 clauses out of 172366 with flag 71603776/3818000
702.57/701.69	c cleaning 87000 clauses out of 174369 with flag 73516474/3906000
718.67/718.14	c cleaning 88032 clauses out of 176369 with flag 75337779/3995000
735.10/734.63	c cleaning 88966 clauses out of 178338 with flag 77250781/4085001
752.09/752.10	c cleaning 90000 clauses out of 180371 with flag 79242323/4176000
768.63/768.52	c cleaning 91029 clauses out of 182371 with flag 81149532/4268000
786.00/786.25	c cleaning 91978 clauses out of 184344 with flag 83209151/4361002
803.44/803.97	c cleaning 93005 clauses out of 186365 with flag 85190596/4455001
820.78/821.29	c cleaning 94016 clauses out of 188360 with flag 87249318/4550001
838.81/839.63	c cleaning 94973 clauses out of 190344 with flag 89341660/4646001
856.74/857.51	c cleaning 96018 clauses out of 192370 with flag 91450872/4743000
874.99/876.17	c cleaning 97012 clauses out of 194353 with flag 93597830/4841001
893.17/894.60	c cleaning 98018 clauses out of 196341 with flag 95681867/4940001
911.81/913.20	c cleaning 99052 clauses out of 198322 with flag 97868359/5040000
930.90/932.57	c cleaning 100058 clauses out of 200270 with flag 100058780/5141000
950.22/951.73	c cleaning 100921 clauses out of 202212 with flag 102281178/5243000
969.15/971.07	c cleaning 102001 clauses out of 204294 with flag 104543858/5346003
988.69/990.91	c cleaning 102958 clauses out of 206290 with flag 106864627/5450000
1008.60/1010.71	c cleaning 103972 clauses out of 208335 with flag 109168612/5555003
1028.26/1030.97	c cleaning 104988 clauses out of 210360 with flag 111430844/5661000
1048.48/1051.69	c cleaning 105993 clauses out of 212373 with flag 113820973/5768001
1068.96/1072.12	c cleaning 107007 clauses out of 214379 with flag 116189745/5876000
1089.82/1093.56	c cleaning 108033 clauses out of 216373 with flag 118655287/5985001
1110.60/1114.98	c cleaning 108947 clauses out of 218341 with flag 121096426/6095002
1131.39/1135.62	c cleaning 110069 clauses out of 220396 with flag 123571372/6206004
1152.58/1157.17	c cleaning 110993 clauses out of 222324 with flag 126050678/6318001
1174.15/1179.04	c cleaning 111990 clauses out of 224331 with flag 128529257/6431001
1196.01/1201.23	c cleaning 113076 clauses out of 226340 with flag 131069976/6545000
1217.60/1222.79	c cleaning 114133 clauses out of 228267 with flag 133620900/6660003
1239.55/1244.97	c cleaning 114948 clauses out of 230131 with flag 136159489/6776000
1261.46/1267.28	c cleaning 115913 clauses out of 232186 with flag 138741257/6893003
1283.69/1289.31	c cleaning 116975 clauses out of 234273 with flag 141334501/7011003
1306.20/1313.92	c cleaning 117980 clauses out of 236295 with flag 143947530/7130000
1329.04/1336.92	c cleaning 118999 clauses out of 238315 with flag 146620211/7250000
1352.49/1360.49	c cleaning 120026 clauses out of 240316 with flag 149347262/7371000
1376.24/1384.17	c cleaning 120978 clauses out of 242292 with flag 152099019/7493002
1400.00/1408.02	c cleaning 122002 clauses out of 244312 with flag 154845415/7616000
1423.92/1432.62	c cleaning 123000 clauses out of 246313 with flag 157671122/7740003
1447.95/1456.80	c cleaning 124015 clauses out of 248311 with flag 160459477/7865001
1472.03/1480.82	c cleaning 124985 clauses out of 250295 with flag 163292045/7991000
1496.17/1505.12	c cleaning 126023 clauses out of 252313 with flag 166091488/8118003
1520.75/1529.99	c cleaning 126976 clauses out of 254287 with flag 169002165/8246000
1545.36/1554.96	c cleaning 128021 clauses out of 256311 with flag 171893441/8375000
1571.32/1580.95	c cleaning 129003 clauses out of 258291 with flag 174995616/8505001
1596.67/1606.47	c cleaning 130005 clauses out of 260289 with flag 178005980/8636002
1621.86/1631.52	c cleaning 130971 clauses out of 262283 with flag 180982178/8768001
1647.48/1657.38	c cleaning 131981 clauses out of 264313 with flag 184045252/8901002
1673.15/1683.77	c cleaning 133023 clauses out of 266330 with flag 187108463/9035000
1699.43/1710.48	c cleaning 133964 clauses out of 268308 with flag 190198869/9170001
1725.76/1736.94	c cleaning 135003 clauses out of 270343 with flag 193307420/9306000
1752.15/1763.53	c cleaning 136046 clauses out of 272340 with flag 196409491/9443000
1779.47/1791.37	c cleaning 136977 clauses out of 274295 with flag 199618689/9581001
1806.80/1818.50	c cleaning 138009 clauses out of 276317 with flag 202819778/9720000
1833.65/1845.58	c cleaning 139003 clauses out of 278308 with flag 206002753/9860000
1861.39/1873.36	c cleaning 140014 clauses out of 280305 with flag 209276717/10001000
1889.33/1901.41	c cleaning 141001 clauses out of 282293 with flag 212612778/10143002
1917.85/1930.12	c cleaning 141979 clauses out of 284291 with flag 215956780/10286001
1946.87/1959.37	c cleaning 143022 clauses out of 286313 with flag 219421968/10430002
1975.33/1987.97	c cleaning 143967 clauses out of 288290 with flag 222808688/10575001
2004.27/2016.96	c cleaning 145017 clauses out of 290322 with flag 226185359/10721000
2033.04/2045.83	c cleaning 145996 clauses out of 292305 with flag 229657411/10868000
2062.39/2075.24	c cleaning 146995 clauses out of 294309 with flag 233131112/11016000
2092.16/2105.33	c cleaning 148157 clauses out of 296314 with flag 236636197/11165000
2122.13/2135.31	c cleaning 148932 clauses out of 298157 with flag 240150637/11315000
2151.82/2165.24	c cleaning 149986 clauses out of 300230 with flag 243695236/11466005
2181.89/2195.52	c cleaning 151000 clauses out of 302239 with flag 247231288/11618000
2212.68/2226.23	c cleaning 151979 clauses out of 304242 with flag 250921729/11771003
2243.39/2257.10	c cleaning 152998 clauses out of 306260 with flag 254618444/11925000
2274.99/2288.70	c cleaning 153991 clauses out of 308263 with flag 258377973/12080001
2305.76/2319.88	c cleaning 154916 clauses out of 310271 with flag 262067818/12236000
2337.66/2351.85	c cleaning 156024 clauses out of 312356 with flag 265810703/12393001
2369.66/2384.17	c cleaning 156971 clauses out of 314331 with flag 269612707/12551000
2401.67/2416.43	c cleaning 158039 clauses out of 316361 with flag 273433089/12710001
2433.93/2448.86	c cleaning 158981 clauses out of 318321 with flag 277265859/12870000
2466.35/2481.33	c cleaning 160072 clauses out of 320343 with flag 281126253/13031003
2498.77/2513.89	c cleaning 160993 clauses out of 322268 with flag 284951941/13193000
2531.52/2546.60	c cleaning 161989 clauses out of 324276 with flag 288855821/13356001
2564.57/2579.54	c cleaning 163007 clauses out of 326286 with flag 292727680/13520000
2597.51/2612.56	c cleaning 163968 clauses out of 328279 with flag 296689797/13685000
2630.65/2645.75	c cleaning 164938 clauses out of 330312 with flag 300659449/13851001
2664.99/2680.33	c cleaning 166030 clauses out of 332375 with flag 304758646/14018002
2698.86/2714.29	c cleaning 166991 clauses out of 334343 with flag 308813728/14186000
2732.99/2748.50	c cleaning 168041 clauses out of 336353 with flag 312960500/14355001
2767.31/2783.02	c cleaning 169145 clauses out of 338311 with flag 317011823/14525000
2802.57/2818.67	c cleaning 170085 clauses out of 340170 with flag 321261309/14696004
2837.43/2853.75	c cleaning 170864 clauses out of 342082 with flag 325436817/14868001
2872.30/2888.85	c cleaning 172101 clauses out of 344217 with flag 329570991/15041000
2907.54/2924.29	c cleaning 172896 clauses out of 346117 with flag 333867202/15215001
2943.50/2960.89	c cleaning 173915 clauses out of 348223 with flag 338212266/15390003
2979.89/2997.47	c cleaning 174981 clauses out of 350305 with flag 342673434/15566000
3016.16/3040.16	c cleaning 176011 clauses out of 352327 with flag 347074020/15743003
3053.07/3077.06	c cleaning 177003 clauses out of 354313 with flag 351551677/15921000
3090.25/3114.70	c cleaning 177950 clauses out of 356310 with flag 356073600/16100000
3127.33/3151.89	c cleaning 178993 clauses out of 358362 with flag 360632979/16280002
3164.75/3189.79	c cleaning 180035 clauses out of 360367 with flag 365212826/16461000
3202.09/3227.39	c cleaning 181001 clauses out of 362334 with flag 369702321/16643002
3240.51/3265.92	c cleaning 181991 clauses out of 364332 with flag 374280117/16826001
3279.45/3305.10	c cleaning 182979 clauses out of 366340 with flag 379004548/17010000
3318.11/3343.99	c cleaning 184028 clauses out of 368361 with flag 383768590/17195000
3356.87/3382.50	c cleaning 184985 clauses out of 370335 with flag 388416990/17381002
3395.58/3421.65	c cleaning 186002 clauses out of 372348 with flag 393094417/17568000
3434.82/3461.75	c cleaning 187009 clauses out of 374349 with flag 397795538/17756003
3474.50/3501.74	c cleaning 188027 clauses out of 376337 with flag 402580173/17945000
3514.63/3542.11	c cleaning 188966 clauses out of 378312 with flag 407417052/18135002
3554.11/3581.99	c cleaning 190005 clauses out of 380344 with flag 412204854/18326000
3593.66/3621.31	c cleaning 191013 clauses out of 382339 with flag 417149209/18518000
3600.04/3627.73	c starts		: 115759
3600.04/3627.73	c timeout
3600.04/3627.73	c conflicts		: 18553896
3600.04/3627.73	c decisions		: 858052737
3600.04/3627.73	c propagations		: 8803333275
3600.04/3627.73	c inspects		: 12970507469
3600.04/3627.73	c shortcuts		: 0
3600.04/3627.73	c learnt literals	: 0
3600.04/3627.73	c learnt binary clauses	: 0
3600.04/3627.73	c learnt ternary clauses	: 0
3600.04/3627.73	c learnt constraints	: 18553896
3600.04/3627.73	c ignored constraints	: 0
3600.04/3627.73	c root simplifications	: 0
3600.04/3627.73	c removed literals (reason simplification)	: 16261436
3600.04/3627.73	c reason swapping (by a shorter reason)	: 0
3600.04/3627.74	c Calls to reduceDB	: 188
3600.04/3627.74	c Number of update (reduction) of LBD	: 7995152
3600.04/3627.74	c Imported unit clauses	: 0
3600.04/3627.74	c No decision after first conflict	: false
3600.04/3627.74	c number of reductions to clauses (during analyze)	: 0
3600.04/3627.74	c number of learned constraints concerned by reduction	: 0
3600.04/3627.74	c number of learning phase by resolution	: 0
3600.04/3627.74	c number of learning phase by cutting planes	: 0
3600.04/3627.74	c number of rounding to 1 operations	: 0
3600.04/3627.74	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3627.74	c number of reductions of the coefficients by power 2 	: 0
3600.04/3627.74	c number of right shift for reduction by power 2 	: 0
3600.04/3627.74	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3627.74	c number of ending skipping 	: 0
3600.04/3627.74	c number of internal skipping 	: 0
3600.04/3627.74	c number of derivation steps 	: 0
3600.04/3627.74	c number of skipped derivation steps 	: 0
3600.04/3627.74	c number of remaining unassigned 	: 0
3600.04/3627.74	c number of remaining assigned 	: 0
3600.04/3627.74	c number of falsified literals weakened from reason	: 0
3600.04/3627.74	c number of falsified literals weakened from conflict	: 0
3600.04/3627.74	c time for arithmetic operations	: 0
3600.04/3627.74	c minimum degree of deleted constraints	: null
3600.04/3627.74	c maximum degree of deleted constraints	: null
3600.04/3627.74	c number of deleted constraints	: 0
3600.04/3627.74	c speed (assignments/second)	: 2426955.8268305897
3600.04/3627.74	c non guided choices	: 44216737
3600.04/3627.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 227222
3600.04/3627.80	s UNKNOWN
3600.04/3627.80	c Total wall clock time (in seconds): 3627.671

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453642-1721843553/watcher-4453642-1721843553 -o /tmp/evaluation-result-4453642-1721843553/solver-4453642-1721843553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206428 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453642-1721843553 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453642-1721843553.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=208694, runsolver pid=208691

[startup+0.100079 s]*
/proc/loadavg: 4.38 4.21 4.12 6/335 208712
/proc/meminfo: memFree=108705744/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=18975048 memory=65020 CPUtime=0.13 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 7239 0 0 0 12 1 0 0 20 0 18 0 20883999 19430449152 16255 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4743762 16255 5627 1 0 549364 0
[pid=208694/tid=208696] ppid=208691 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 5769 0 0 0 7 1 0 0 20 0 18 0 20884000 19430449152 16255 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20884002 19430449152 16255 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=18975048 memory=14979961989030310 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20884003 19430449152 16255 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65020 KiB

[startup+0.206128 s]*
/proc/loadavg: 4.38 4.21 4.12 8/336 208713
/proc/meminfo: memFree=108584976/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19041612 memory=157980 CPUtime=0.33 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 7763 0 0 0 29 4 0 0 20 0 19 0 20883999 19498610688 39495 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4760403 39495 5871 1 0 549884 0
[pid=208694/tid=208696] ppid=208691 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 5969 0 0 0 14 3 0 0 20 0 19 0 20884000 19498610688 39495 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19041612 memory=1499814 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20884002 19498610688 39495 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19041612 memory=14135537057400351 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20884003 19498610688 39495 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157980 KiB

[startup+0.307129 s]*
/proc/loadavg: 4.38 4.21 4.12 7/336 208713
/proc/meminfo: memFree=108476724/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19041612 memory=252216 CPUtime=0.51 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 9301 0 0 0 45 6 0 0 20 0 19 0 20883999 19498610688 63054 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4760403 63054 5871 1 0 550852 0
[pid=208694/tid=208696] ppid=208691 vsize=19041612 memory=-9103011129333621436 CPUtime=0.26 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 6011 0 0 0 21 5 0 0 20 0 19 0 20884000 19498610688 63054 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20884002 19498610688 63054 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20884003 19498610688 63054 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 252216 KiB

[startup+0.700232 s]
/proc/loadavg: 4.38 4.21 4.12 7/337 208714
/proc/meminfo: memFree=108123248/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=497864 CPUtime=1.25 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 11730 0 0 0 113 12 0 0 20 0 20 0 20883999 19566772224 124466 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 124466 5896 1 0 552475 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=5440 CPUtime=0.61 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 6211 0 0 0 51 10 0 0 20 0 20 0 20884000 19566772224 124466 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 124466 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=279454329135784 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 124466 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 124466 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497864 KiB

[startup+1.50111 s]
/proc/loadavg: 4.38 4.21 4.12 8/337 208714
/proc/meminfo: memFree=107890992/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=504984 CPUtime=2.83 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 12531 0 0 0 270 13 0 0 20 0 20 0 20883999 19566772224 126246 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 126246 5896 1 0 553180 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=12316 CPUtime=1.4 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 6256 0 0 0 129 11 0 0 20 0 20 0 20884000 19566772224 126246 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 126246 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 126246 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=279454328988944 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 126246 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 504984 KiB

[startup+3.10612 s]
/proc/loadavg: 4.43 4.22 4.13 5/337 208714
/proc/meminfo: memFree=107352108/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=766732 CPUtime=5.34 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 19656 0 0 0 514 20 0 0 20 0 20 0 20883999 19566772224 191683 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 191683 5896 1 0 554543 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=0 CPUtime=2.99 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 6944 0 0 0 281 18 0 0 20 0 20 0 20884000 19566772224 191683 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 191683 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 191683 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 191683 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 766732 KiB

[startup+6.30111 s]
/proc/loadavg: 4.43 4.22 4.13 5/337 208714
/proc/meminfo: memFree=107088624/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=930936 CPUtime=8.92 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 22328 0 0 0 865 27 0 0 20 0 20 0 20883999 19566772224 232734 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 232734 5912 1 0 554545 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=12316 CPUtime=6.12 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 7499 0 0 0 588 24 0 0 20 0 20 0 20884000 19566772224 232734 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 232734 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=7100839861465945203 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 232734 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=504984 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 232734 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 930936 KiB

[startup+12.7011 s]
/proc/loadavg: 4.36 4.21 4.12 5/337 208716
/proc/meminfo: memFree=106931068/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=971920 CPUtime=15.47 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 27646 0 0 0 1514 33 0 0 20 0 20 0 20883999 19566772224 242980 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 242980 5912 1 0 554545 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=0 CPUtime=12.39 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 8707 0 0 0 1210 29 0 0 20 0 20 0 20884000 19566772224 242980 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 242980 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=947344 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 242980 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 242980 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 971920 KiB

[startup+25.5003 s]
/proc/loadavg: 4.47 4.24 4.13 5/337 208718
/proc/meminfo: memFree=105048308/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=2310828 CPUtime=28.5 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 30480 0 0 0 2782 68 0 0 20 0 20 0 20883999 19566772224 577707 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 577707 5912 1 0 957696 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=947344 CPUtime=24.83 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 9309 0 0 0 2425 58 0 0 20 0 20 0 20884000 19566772224 577707 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=-9103011129333621436 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 577707 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 577707 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 577707 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 28.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2310828 KiB

[startup+51.1059 s]
/proc/loadavg: 4.31 4.22 4.13 5/337 208723
/proc/meminfo: memFree=103715976/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3026032 CPUtime=54.09 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 35479 0 0 0 5311 98 0 0 20 0 20 0 20883999 19566772224 756508 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 756508 5912 1 0 957696 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=2901008 CPUtime=49.68 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 12452 0 0 0 4886 82 0 0 20 0 20 0 20884000 19566772224 756508 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 756508 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0

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

[startup+3282.3 s]
/proc/loadavg: 3.08 3.14 3.25 4/316 210716
/proc/meminfo: memFree=57722080/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3784892 CPUtime=3256.82 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 297255 0 0 0 323872 1810 0 0 20 0 20 0 20883999 19566772224 946223 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946223 5912 1 0 959896 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=11384 CPUtime=3193.91 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 146721 0 0 0 317693 1698 0 0 20 0 20 0 20884000 19566772224 946223 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4123 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946223 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=3784892 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3487 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946223 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=3784892 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946223 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3256.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3784892 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.15 3.24 4/316 210727
/proc/meminfo: memFree=56704376/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3784896 CPUtime=3316.51 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 301478 0 0 0 329811 1840 0 0 20 0 20 0 20883999 19566772224 946224 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946224 5912 1 0 959896 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=11384 CPUtime=3252.23 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 149206 0 0 0 323496 1727 0 0 20 0 20 0 20884000 19566772224 946224 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4170 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946224 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=3784892 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3585 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946224 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=-9103011129333621436 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946224 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3316.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3784896 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.13 3.23 4/316 210737
/proc/meminfo: memFree=55679528/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3787056 CPUtime=3376.47 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 317704 0 0 0 335774 1873 0 0 20 0 20 0 20883999 19566772224 946764 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946764 5912 1 0 960434 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=11384 CPUtime=3310.89 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 155358 0 0 0 329332 1757 0 0 20 0 20 0 20884000 19566772224 946764 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4222 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=3784896 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946764 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3725 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946764 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=3787056 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946764 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3376.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3787056 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.14 3.22 4/316 210751
/proc/meminfo: memFree=54667496/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3787080 CPUtime=3435.4 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 321499 0 0 0 341635 1905 0 0 20 0 20 0 20883999 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946770 5912 1 0 960446 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=11384 CPUtime=3368.58 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 156937 0 0 0 335070 1788 0 0 20 0 20 0 20884000 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4360 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=3787076 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3795 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=3787080 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3435.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3787080 KiB

[startup+3522.3 s]
/proc/loadavg: 3.11 3.13 3.21 4/316 210765
/proc/meminfo: memFree=53654428/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3787080 CPUtime=3494.81 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 325676 0 0 0 347548 1933 0 0 20 0 20 0 20883999 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946770 5912 1 0 960446 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=75604 CPUtime=3426.96 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 159817 0 0 0 340881 1815 0 0 20 0 20 0 20884000 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4408 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3911 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946770 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3494.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3787080 KiB

[startup+3582.3 s]
/proc/loadavg: 3.17 3.14 3.21 4/315 210776
/proc/meminfo: memFree=52655696/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3787084 CPUtime=3554.53 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 329562 0 0 0 353491 1962 0 0 20 0 20 0 20883999 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946771 5912 1 0 960446 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=11384 CPUtime=3485.7 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 162303 0 0 0 346727 1843 0 0 20 0 20 0 20884000 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4455 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=3787080 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 3986 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=3787084 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3554.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3787084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.7 s]
/proc/loadavg: 2.57 3.01 3.16 2/263 210851
/proc/meminfo: memFree=103483192/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19108176 memory=3787084 CPUtime=3600.04 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 333489 0 0 0 358021 1983 0 0 20 0 20 0 20883999 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4777044 946771 5912 1 0 960446 0
[pid=208694/tid=208696] ppid=208691 vsize=19108176 memory=3787084 CPUtime=3530.4 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) R 208691 208694 206418 0 -1 4194368 164221 0 0 0 351177 1863 0 0 20 0 20 0 20884000 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4469 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19108176 memory=3787084 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20884002 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19108176 memory=3787084 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 4013 0 0 0 0 0 0 0 20 0 20 0 20884003 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208714] ppid=208691 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/208694/task/208714/stat : 208714 (Timer-0) S 208691 208694 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20884042 19566772224 946771 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3787084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.35 s, system=19.8638 s

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

[startup+3627.8 s]
/proc/loadavg: 2.57 3.01 3.16 2/263 210851
/proc/meminfo: memFree=103483192/131524600 swapFree=131059368/131071996
[pid=208694] ppid=208691 vsize=19307868 memory=3787912 CPUtime=3600.19 cores=0,2
/proc/208694/stat : 208694 (java) S 208691 208694 206418 0 -1 1077936128 337132 0 0 0 358035 1984 0 0 20 0 15 0 20883999 19771256832 946978 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
/proc/208694/statm: 4826967 946978 5924 1 0 961374 0
[pid=208694/tid=208696] ppid=208691 vsize=19307868 memory=2272 CPUtime=3530.43 cores=0,2
/proc/208694/task/208696/stat : 208696 (java) D 208691 208694 206418 0 -1 4194368 164507 0 0 0 351180 1863 0 0 20 0 15 0 20884000 19771256832 946978 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 4476 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208705] ppid=208691 vsize=19307868 memory=32140 CPUtime=0 cores=0,2
/proc/208694/task/208705/stat : 208705 (Finalizer) S 208691 208694 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 20884002 19771256832 946978 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
[pid=208694/tid=208712] ppid=208691 vsize=19307868 memory=20752 CPUtime=0 cores=0,2
/proc/208694/task/208712/stat : 208712 (Common-Cleaner) S 208691 208694 206418 0 -1 1077936192 4013 0 0 0 0 0 0 0 20 0 15 0 20884003 19771256832 946978 134679101440 94001229045760 94001229049456 140724581932080 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94001229057272 94001229058064 94001247096832 140724581933995 140724581934177 140724581934177 140724581941192 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3787912 KiB

Child status: 143

Real time (s): 3627.84
CPU time (s): 3600.22
CPU user time (s): 3580.35
CPU system time (s): 19.8638
CPU usage (%): 99.2386
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3787912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.35
system time used= 19.8638
maximum resident set size= 3788788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39196576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124715
involuntary context switches= 31488


# summary of solver processes directly reported to runsolver:
#   pid: 208694
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3580.35
#   total CPU system time (s): 19.8638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18209 second user time and 18.4331 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 19:52:33
IDJOB=4453642
IDBENCH=175725
IDSOLVER=3079
FILE ID=nodeC021/4453642-1721843553
RUNJOBID= nodeC021-1721839920-206428
SLURM_JOB_ID= 7891546
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.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-4453642-1721843553/watcher-4453642-1721843553 -o /tmp/evaluation-result-4453642-1721843553/solver-4453642-1721843553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206428 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453642-1721843553 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453642-1721843553.opb

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

MD5SUM BENCH= 0add631ef3bf04b19f39ae45ede738e0
RANDOM SEED=57026723

nodeC021.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		: 3600.636
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	: 7000.35
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		: 3665.843
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	: 7007.41
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		: 3600.332
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	: 7000.35
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.198
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	: 7007.41
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		: 3646.387
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	: 7000.35
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		: 3666.010
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	: 7007.41
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		: 3612.596
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	: 7000.35
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		: 3600.351
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        108782920 kB
MemAvailable:   125422680 kB
Buffers:          272540 kB
Cached:         17168412 kB
SwapCached:          440 kB
Active:          2579284 kB
Inactive:       19487820 kB
Active(anon):       1712 kB
Inactive(anon):  4677948 kB
Active(file):    2577572 kB
Inactive(file): 14809872 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:            208176 kB
Writeback:             8 kB
AnonPages:       4624292 kB
Mapped:           126608 kB
Shmem:             53464 kB
KReclaimable:     183928 kB
Slab:             310572 kB
SReclaimable:     183928 kB
SUnreclaim:       126644 kB
KernelStack:        5152 kB
PageTables:        19196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7710760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4321280 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-24 20:53:01