Trace number 4516687

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 VeriPB 2025-06-06? (TO) 3600.26 3595.77

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.921869
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4516687-1751241051.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.70/0.41	c ... done. Wall clock time 0.275s.
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.85/2.08	c cleaning 2493 clauses out of 5000 with flag 41955/5000
5.57/3.28	c cleaning 4232 clauses out of 8510 with flag 107584/11003
7.21/4.79	c cleaning 5616 clauses out of 11275 with flag 196330/18000
8.73/6.09	c cleaning 6824 clauses out of 13661 with flag 282515/26002
10.34/7.57	c cleaning 7905 clauses out of 15835 with flag 383596/35000
11.95/9.11	c cleaning 8937 clauses out of 17931 with flag 508233/45001
13.65/10.87	c cleaning 9966 clauses out of 19993 with flag 651217/56000
15.67/12.74	c cleaning 11000 clauses out of 22027 with flag 807735/68000
17.66/14.75	c cleaning 11976 clauses out of 24028 with flag 971963/81001
20.02/17.01	c cleaning 12980 clauses out of 26054 with flag 1147247/95003
22.60/19.54	c cleaning 14004 clauses out of 28071 with flag 1345749/110000
25.42/22.34	c cleaning 14979 clauses out of 30069 with flag 1582519/126002
28.18/25.08	c cleaning 15958 clauses out of 32088 with flag 1800199/143000
31.24/28.03	c cleaning 16992 clauses out of 34133 with flag 2035799/161003
34.59/31.37	c cleaning 17998 clauses out of 36141 with flag 2299717/180003
38.25/35.19	c cleaning 19008 clauses out of 38140 with flag 2598736/200000
41.74/38.60	c cleaning 20004 clauses out of 40135 with flag 2871355/221003
45.69/42.52	c cleaning 20957 clauses out of 42129 with flag 3191789/243001
49.97/46.72	c cleaning 21996 clauses out of 44171 with flag 3540663/266000
54.14/50.97	c cleaning 22991 clauses out of 46175 with flag 3912910/290000
58.70/55.46	c cleaning 23991 clauses out of 48184 with flag 4280350/315000
63.60/60.26	c cleaning 24993 clauses out of 50193 with flag 4690474/341000
67.98/64.69	c cleaning 26000 clauses out of 52200 with flag 5053384/368000
72.96/69.82	c cleaning 26972 clauses out of 54200 with flag 5424966/396000
78.48/75.26	c cleaning 28017 clauses out of 56231 with flag 5880523/425003
83.96/80.73	c cleaning 28992 clauses out of 58211 with flag 6364112/455000
89.54/86.26	c cleaning 29948 clauses out of 60221 with flag 6851508/486002
95.65/92.20	c cleaning 31042 clauses out of 62272 with flag 7377337/518001
101.54/98.42	c cleaning 31968 clauses out of 64230 with flag 7882317/551001
107.74/104.51	c cleaning 32978 clauses out of 66261 with flag 8434767/585000
114.24/110.94	c cleaning 34017 clauses out of 68283 with flag 8995773/620000
120.85/117.49	c cleaning 34944 clauses out of 70266 with flag 9584772/656000
127.84/124.41	c cleaning 36023 clauses out of 72322 with flag 10245828/693000
134.84/131.65	c cleaning 36999 clauses out of 74299 with flag 10863192/731000
141.92/138.61	c cleaning 37947 clauses out of 76300 with flag 11501965/770000
149.12/145.79	c cleaning 39000 clauses out of 78353 with flag 12144805/810000
156.80/153.37	c cleaning 40056 clauses out of 80353 with flag 12859063/851000
164.69/162.99	c cleaning 41030 clauses out of 82298 with flag 13584060/893001
172.77/171.10	c cleaning 42007 clauses out of 84267 with flag 14370917/936000
180.73/178.90	c cleaning 43004 clauses out of 86265 with flag 15108569/980005
189.39/187.52	c cleaning 44129 clauses out of 88257 with flag 15923710/1025001
197.86/196.22	c cleaning 44934 clauses out of 90127 with flag 16726807/1071000
206.44/204.72	c cleaning 45935 clauses out of 92193 with flag 17553428/1118000
215.52/213.74	c cleaning 47010 clauses out of 94261 with flag 18422946/1166003
224.71/222.86	c cleaning 47967 clauses out of 96248 with flag 19324679/1215000
234.06/232.28	c cleaning 48954 clauses out of 98282 with flag 20235598/1265001
243.93/241.99	c cleaning 50016 clauses out of 100329 with flag 21197266/1316002
253.64/251.52	c cleaning 50984 clauses out of 102311 with flag 22166205/1368000
263.48/261.49	c cleaning 51992 clauses out of 104329 with flag 23165895/1421002
273.99/271.82	c cleaning 53016 clauses out of 106335 with flag 24207515/1475000
284.67/282.41	c cleaning 54004 clauses out of 108320 with flag 25311929/1530001
295.12/292.84	c cleaning 54996 clauses out of 110315 with flag 26370197/1586000
305.98/303.64	c cleaning 55963 clauses out of 112319 with flag 27493968/1643000
316.72/314.39	c cleaning 57036 clauses out of 114356 with flag 28615600/1701000
327.92/325.62	c cleaning 58029 clauses out of 116320 with flag 29772159/1760000
339.15/336.80	c cleaning 58953 clauses out of 118291 with flag 30950744/1820000
350.43/348.25	c cleaning 60017 clauses out of 120339 with flag 32123477/1881001
362.17/359.81	c cleaning 60991 clauses out of 122322 with flag 33331418/1943001
374.06/371.68	c cleaning 62029 clauses out of 124330 with flag 34591460/2006000
385.94/383.64	c cleaning 62993 clauses out of 126301 with flag 35822543/2070000
398.19/395.74	c cleaning 63983 clauses out of 128308 with flag 37106702/2135000
410.76/408.25	c cleaning 65010 clauses out of 130329 with flag 38502464/2201004
423.26/420.98	c cleaning 66001 clauses out of 132317 with flag 39850060/2268002
435.70/433.26	c cleaning 66962 clauses out of 134315 with flag 41127471/2336001
449.01/446.65	c cleaning 68025 clauses out of 136353 with flag 42577123/2405001
462.13/459.63	c cleaning 68999 clauses out of 138327 with flag 44000801/2475000
475.65/473.23	c cleaning 69989 clauses out of 140328 with flag 45451285/2546000
489.48/486.95	c cleaning 70969 clauses out of 142339 with flag 46935276/2618000
502.93/500.37	c cleaning 72005 clauses out of 144370 with flag 48385662/2691000
517.00/514.47	c cleaning 73024 clauses out of 146367 with flag 49892843/2765002
531.25/528.60	c cleaning 74007 clauses out of 148341 with flag 51428858/2840000
545.91/543.32	c cleaning 75004 clauses out of 150337 with flag 53030571/2916003
560.25/557.61	c cleaning 76012 clauses out of 152332 with flag 54604279/2993002
574.88/572.30	c cleaning 76984 clauses out of 154318 with flag 56182700/3071000
589.53/586.89	c cleaning 77957 clauses out of 156334 with flag 57746632/3150000
604.35/601.87	c cleaning 79003 clauses out of 158377 with flag 59368639/3230000
619.77/617.17	c cleaning 80059 clauses out of 160377 with flag 61041537/3311003
635.27/632.84	c cleaning 80970 clauses out of 162319 with flag 62756002/3393004
650.72/648.21	c cleaning 81999 clauses out of 164345 with flag 64474302/3476000
666.23/663.84	c cleaning 83011 clauses out of 166346 with flag 66131621/3560000
682.56/680.05	c cleaning 83981 clauses out of 168336 with flag 67925077/3645001
698.77/696.42	c cleaning 84988 clauses out of 170355 with flag 69735995/3731001
715.47/713.10	c cleaning 85997 clauses out of 172366 with flag 71603776/3818000
732.47/730.13	c cleaning 87000 clauses out of 174369 with flag 73516474/3906000
749.17/746.98	c cleaning 88032 clauses out of 176369 with flag 75337779/3995000
766.47/764.14	c cleaning 88966 clauses out of 178338 with flag 77250781/4085001
784.25/782.01	c cleaning 90000 clauses out of 180371 with flag 79242323/4176000
801.46/799.16	c cleaning 91029 clauses out of 182371 with flag 81149532/4268000
819.59/817.47	c cleaning 91978 clauses out of 184344 with flag 83209151/4361002
837.66/835.43	c cleaning 93005 clauses out of 186365 with flag 85190596/4455001
855.93/853.88	c cleaning 94016 clauses out of 188360 with flag 87249318/4550001
874.79/872.74	c cleaning 94973 clauses out of 190344 with flag 89341660/4646001
893.57/891.43	c cleaning 96018 clauses out of 192370 with flag 91450872/4743000
912.64/910.65	c cleaning 97012 clauses out of 194353 with flag 93597830/4841001
931.58/929.41	c cleaning 98018 clauses out of 196341 with flag 95681867/4940001
950.97/948.99	c cleaning 99052 clauses out of 198322 with flag 97868359/5040000
971.35/969.03	c cleaning 100058 clauses out of 200270 with flag 100058780/5141000
991.30/988.93	c cleaning 100921 clauses out of 202212 with flag 102281178/5243000
1011.31/1009.02	c cleaning 102001 clauses out of 204294 with flag 104543858/5346003
1031.71/1029.55	c cleaning 102958 clauses out of 206290 with flag 106864627/5450000
1052.68/1050.31	c cleaning 103972 clauses out of 208335 with flag 109168612/5555003
1073.07/1070.86	c cleaning 104988 clauses out of 210360 with flag 111430844/5661000
1094.19/1092.03	c cleaning 105993 clauses out of 212373 with flag 113820973/5768001
1115.38/1113.14	c cleaning 107007 clauses out of 214379 with flag 116189745/5876000
1137.06/1134.90	c cleaning 108033 clauses out of 216373 with flag 118655287/5985001
1158.63/1156.61	c cleaning 108947 clauses out of 218341 with flag 121096426/6095002
1180.41/1178.44	c cleaning 110069 clauses out of 220396 with flag 123571372/6206004
1202.52/1200.40	c cleaning 110993 clauses out of 222324 with flag 126050678/6318001
1224.79/1222.82	c cleaning 111990 clauses out of 224331 with flag 128529257/6431001
1247.43/1245.60	c cleaning 113076 clauses out of 226340 with flag 131069976/6545000
1269.88/1267.93	c cleaning 114133 clauses out of 228267 with flag 133620900/6660003
1292.58/1290.79	c cleaning 114948 clauses out of 230131 with flag 136159489/6776000
1315.69/1313.87	c cleaning 115913 clauses out of 232186 with flag 138741257/6893003
1338.76/1336.91	c cleaning 116975 clauses out of 234273 with flag 141334501/7011003
1362.06/1360.19	c cleaning 117980 clauses out of 236295 with flag 143947530/7130000
1385.80/1383.86	c cleaning 118999 clauses out of 238315 with flag 146620211/7250000
1409.85/1407.90	c cleaning 120026 clauses out of 240316 with flag 149347262/7371000
1434.54/1432.62	c cleaning 120978 clauses out of 242292 with flag 152099019/7493002
1459.18/1457.39	c cleaning 122002 clauses out of 244312 with flag 154845415/7616000
1484.36/1482.37	c cleaning 123000 clauses out of 246313 with flag 157671122/7740003
1509.37/1507.42	c cleaning 124015 clauses out of 248311 with flag 160459477/7865001
1534.61/1532.71	c cleaning 124985 clauses out of 250295 with flag 163292045/7991000
1559.76/1558.81	c cleaning 126023 clauses out of 252313 with flag 166091488/8118003
1585.70/1584.70	c cleaning 126976 clauses out of 254287 with flag 169002165/8246000
1611.47/1610.48	c cleaning 128021 clauses out of 256311 with flag 171893441/8375000
1638.32/1637.39	c cleaning 129003 clauses out of 258291 with flag 174995616/8505001
1664.85/1663.73	c cleaning 130005 clauses out of 260289 with flag 178005980/8636002
1691.17/1690.07	c cleaning 130971 clauses out of 262283 with flag 180982178/8768001
1718.19/1717.03	c cleaning 131981 clauses out of 264313 with flag 184045252/8901002
1745.12/1743.96	c cleaning 133023 clauses out of 266330 with flag 187108463/9035000
1772.44/1771.29	c cleaning 133964 clauses out of 268308 with flag 190198869/9170001
1800.14/1798.82	c cleaning 135003 clauses out of 270343 with flag 193307420/9306000
1827.94/1826.46	c cleaning 136046 clauses out of 272340 with flag 196409491/9443000
1856.25/1854.73	c cleaning 136977 clauses out of 274295 with flag 199618689/9581001
1884.61/1883.04	c cleaning 138009 clauses out of 276317 with flag 202819778/9720000
1912.70/1910.91	c cleaning 139003 clauses out of 278308 with flag 206002753/9860000
1941.47/1939.67	c cleaning 140014 clauses out of 280305 with flag 209276717/10001000
1970.67/1968.77	c cleaning 141001 clauses out of 282293 with flag 212612778/10143002
2000.60/1998.87	c cleaning 141979 clauses out of 284291 with flag 215956780/10286001
2030.66/2028.90	c cleaning 143022 clauses out of 286313 with flag 219421968/10430002
2060.25/2058.59	c cleaning 143967 clauses out of 288290 with flag 222808688/10575001
2090.29/2088.59	c cleaning 145017 clauses out of 290322 with flag 226185359/10721000
2120.62/2118.83	c cleaning 145996 clauses out of 292305 with flag 229657411/10868000
2151.06/2149.26	c cleaning 146995 clauses out of 294309 with flag 233131112/11016000
2182.10/2180.27	c cleaning 148157 clauses out of 296314 with flag 236636197/11165000
2213.20/2211.37	c cleaning 148932 clauses out of 298157 with flag 240150637/11315000
2244.13/2242.29	c cleaning 149986 clauses out of 300230 with flag 243695236/11466005
2275.25/2273.37	c cleaning 151000 clauses out of 302239 with flag 247231288/11618000
2307.37/2305.45	c cleaning 151979 clauses out of 304242 with flag 250921729/11771003
2339.60/2337.54	c cleaning 152998 clauses out of 306260 with flag 254618444/11925000
2372.66/2370.87	c cleaning 153991 clauses out of 308263 with flag 258377973/12080001
2405.05/2403.13	c cleaning 154916 clauses out of 310271 with flag 262067818/12236000
2438.07/2436.29	c cleaning 156024 clauses out of 312356 with flag 265810703/12393001
2471.20/2469.39	c cleaning 156971 clauses out of 314331 with flag 269612707/12551000
2504.56/2502.51	c cleaning 158039 clauses out of 316361 with flag 273433089/12710001
2538.02/2535.95	c cleaning 158981 clauses out of 318321 with flag 277265859/12870000
2571.57/2569.50	c cleaning 160072 clauses out of 320343 with flag 281126253/13031003
2605.56/2603.43	c cleaning 160993 clauses out of 322268 with flag 284951941/13193000
2639.61/2637.48	c cleaning 161989 clauses out of 324276 with flag 288855821/13356001
2673.58/2671.37	c cleaning 163007 clauses out of 326286 with flag 292727680/13520000
2708.27/2705.83	c cleaning 163968 clauses out of 328279 with flag 296689797/13685000
2743.26/2740.51	c cleaning 164938 clauses out of 330312 with flag 300659449/13851001
2779.13/2776.33	c cleaning 166030 clauses out of 332375 with flag 304758646/14018002
2814.54/2811.55	c cleaning 166991 clauses out of 334343 with flag 308813728/14186000
2850.20/2847.13	c cleaning 168041 clauses out of 336353 with flag 312960500/14355001
2886.13/2882.91	c cleaning 169145 clauses out of 338311 with flag 317011823/14525000
2922.78/2919.50	c cleaning 170085 clauses out of 340170 with flag 321261309/14696004
2959.23/2956.01	c cleaning 170864 clauses out of 342082 with flag 325436817/14868001
2995.37/2992.24	c cleaning 172101 clauses out of 344217 with flag 329570991/15041000
3032.54/3029.27	c cleaning 172896 clauses out of 346117 with flag 333867202/15215001
3070.50/3066.87	c cleaning 173915 clauses out of 348223 with flag 338212266/15390003
3108.38/3104.69	c cleaning 174981 clauses out of 350305 with flag 342673434/15566000
3146.28/3142.67	c cleaning 176011 clauses out of 352327 with flag 347074020/15743003
3184.61/3180.98	c cleaning 177003 clauses out of 354313 with flag 351551677/15921000
3223.43/3219.65	c cleaning 177950 clauses out of 356310 with flag 356073600/16100000
3262.38/3258.48	c cleaning 178993 clauses out of 358362 with flag 360632979/16280002
3301.49/3297.71	c cleaning 180035 clauses out of 360367 with flag 365212826/16461000
3340.41/3336.52	c cleaning 181001 clauses out of 362334 with flag 369702321/16643002
3380.28/3376.15	c cleaning 181991 clauses out of 364332 with flag 374280117/16826001
3420.64/3416.34	c cleaning 182979 clauses out of 366340 with flag 379004548/17010000
3461.11/3456.99	c cleaning 184028 clauses out of 368361 with flag 383768590/17195000
3501.24/3496.90	c cleaning 184985 clauses out of 370335 with flag 388416990/17381002
3541.55/3537.16	c cleaning 186002 clauses out of 372348 with flag 393094417/17568000
3580.12/3575.89	c cleaning 187009 clauses out of 374349 with flag 397795538/17756003
3600.08/3595.61	c starts		: 111046
3600.08/3595.61	c timeout
3600.08/3595.63	c conflicts		: 17858510
3600.08/3595.63	c decisions		: 823660517
3600.08/3595.63	c propagations		: 8462749164
3600.08/3595.63	c inspects		: 12387269019
3600.08/3595.63	c shortcuts		: 0
3600.08/3595.63	c learnt literals	: 0
3600.08/3595.63	c learnt binary clauses	: 0
3600.08/3595.63	c learnt ternary clauses	: 0
3600.08/3595.63	c learnt constraints	: 17858510
3600.08/3595.63	c ignored constraints	: 0
3600.08/3595.63	c root simplifications	: 0
3600.08/3595.63	c removed literals (reason simplification)	: 15592066
3600.08/3595.63	c reason swapping (by a shorter reason)	: 0
3600.08/3595.63	c Calls to reduceDB	: 184
3600.08/3595.63	c Number of update (reduction) of LBD	: 7709332
3600.08/3595.63	c Imported unit clauses	: 0
3600.08/3595.63	c No decision after first conflict	: false
3600.08/3595.63	c number of reductions to clauses (during analyze)	: 0
3600.08/3595.63	c number of learned constraints concerned by reduction	: 0
3600.08/3595.63	c number of learning phase by resolution	: 0
3600.08/3595.63	c number of learning phase by cutting planes	: 0
3600.08/3595.63	c number of rounding to 1 operations	: 0
3600.08/3595.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3595.63	c number of reductions of the coefficients by power 2 	: 0
3600.08/3595.63	c number of right shift for reduction by power 2 	: 0
3600.08/3595.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3595.63	c number of ending skipping 	: 0
3600.08/3595.63	c number of internal skipping 	: 0
3600.08/3595.63	c number of derivation steps 	: 0
3600.08/3595.63	c number of skipped derivation steps 	: 0
3600.08/3595.63	c number of remaining unassigned 	: 0
3600.08/3595.63	c number of remaining assigned 	: 0
3600.08/3595.63	c number of falsified literals weakened from reason	: 0
3600.08/3595.63	c number of falsified literals weakened from conflict	: 0
3600.08/3595.63	c time for arithmetic operations	: 0
3600.08/3595.63	c minimum degree of deleted constraints	: null
3600.08/3595.63	c maximum degree of deleted constraints	: null
3600.08/3595.63	c number of deleted constraints	: 0
3600.08/3595.63	c speed (assignments/second)	: 2353896.300326351
3600.08/3595.63	c non guided choices	: 42669946
3600.08/3595.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 289847
3600.08/3595.69	s UNKNOWN
3600.08/3595.69	c Total wall clock time (in seconds): 3595.56

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: 63708 MiB (44240 MiB free)
  memory of node 1: 64465 MiB (62542 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516687-1751241051/watcher-4516687-1751241051 -o /tmp/evaluation-result-4516687-1751241051/solver-4516687-1751241051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516687-1751241051 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516687-1751241051.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB

solver pid=32586, runsolver pid=32583

[startup+0.10006 s]*
/proc/loadavg: 4.32 4.28 4.23 7/346 32604
/proc/meminfo: memFree=109313084/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18930384 memory=55616 CPUtime=0.12 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 6545 0 0 0 10 2 0 0 20 0 18 0 39782641 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4732596 13904 5337 1 0 547604 0
[pid=32586/tid=32588] ppid=32583 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 39782642 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39782645 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18930384 memory=56286469452864 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39782645 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55616 KiB

[startup+0.205929 s]*
/proc/loadavg: 4.32 4.28 4.23 7/347 32605
/proc/meminfo: memFree=109212828/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18996948 memory=150452 CPUtime=0.31 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 7170 0 0 0 27 4 0 0 20 0 19 0 39782641 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4749237 37613 5465 1 0 548225 0
[pid=32586/tid=32588] ppid=32583 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5315 0 0 0 13 3 0 0 20 0 19 0 39782642 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18996948 memory=2621 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18996948 memory=55186957796323 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150452 KiB

[startup+0.305906 s]*
/proc/loadavg: 4.32 4.28 4.23 6/347 32605
/proc/meminfo: memFree=109126628/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18996948 memory=216532 CPUtime=0.5 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 8756 0 0 0 44 6 0 0 20 0 19 0 39782641 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4749237 54133 5465 1 0 549305 0
[pid=32586/tid=32588] ppid=32583 vsize=18996948 memory=-6000919494131018348 CPUtime=0.25 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5345 0 0 0 21 4 0 0 20 0 19 0 39782642 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 216532 KiB

[startup+0.700223 s]
/proc/loadavg: 4.32 4.28 4.23 6/348 32606
/proc/meminfo: memFree=108914712/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=418832 CPUtime=1.26 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 10809 0 0 0 116 10 0 0 20 0 20 0 39782641 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 104708 5465 1 0 550754 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=17408 CPUtime=0.55 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5525 0 0 0 47 8 0 0 20 0 20 0 39782642 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 418832 KiB

[startup+1.50023 s]
/proc/loadavg: 4.32 4.28 4.23 6/348 32606
/proc/meminfo: memFree=108901104/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=429128 CPUtime=2.85 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 14756 0 0 0 273 12 0 0 20 0 20 0 39782641 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 107282 5497 1 0 553177 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5580 0 0 0 124 9 0 0 20 0 20 0 39782642 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429128 KiB

[startup+3.10583 s]
/proc/loadavg: 4.32 4.28 4.23 5/348 32607
/proc/meminfo: memFree=108496920/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=809016 CPUtime=5.48 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 18316 0 0 0 526 22 0 0 20 0 20 0 39782641 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 202254 5497 1 0 553232 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=10752 CPUtime=2.91 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 6180 0 0 0 273 18 0 0 20 0 20 0 39782642 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 809016 KiB

[startup+6.30023 s]
/proc/loadavg: 4.30 4.28 4.23 5/348 32607
/proc/meminfo: memFree=107636072/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=1666820 CPUtime=9.15 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 23827 0 0 0 873 42 0 0 20 0 20 0 39782641 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 416705 5529 1 0 801794 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 7268 0 0 0 572 37 0 0 20 0 20 0 39782642 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=445596 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1666820 KiB

[startup+12.7002 s]
/proc/loadavg: 4.27 4.27 4.23 5/348 32607
/proc/meminfo: memFree=107179136/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=1939080 CPUtime=15.67 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 24960 0 0 0 1515 52 0 0 20 0 20 0 39782641 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 484770 5529 1 0 801828 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=445596 CPUtime=12.37 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) S 32583 32586 31982 0 -1 4194368 7835 0 0 0 1191 46 0 0 20 0 20 0 39782642 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=1910264 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1939080 KiB

[startup+25.5002 s]
/proc/loadavg: 4.28 4.28 4.23 5/348 32607
/proc/meminfo: memFree=106857132/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=2015176 CPUtime=28.69 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 30194 0 0 0 2804 65 0 0 20 0 20 0 39782641 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 503794 5529 1 0 801854 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=24.94 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 9171 0 0 0 2438 56 0 0 20 0 20 0 39782642 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2015176 KiB

[startup+51.1059 s]
/proc/loadavg: 4.18 4.25 4.22 5/349 32675
/proc/meminfo: memFree=121767572/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=2113564 CPUtime=54.34 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 34063 0 0 0 5351 83 0 0 20 0 20 0 39782641 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 528391 5529 1 0 801854 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=1920 CPUtime=49.9 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 11792 0 0 0 4919 71 0 0 20 0 20 0 39782642 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=2080792 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=1943176 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/346 32863
/proc/meminfo: memFree=56396520/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3286.17 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 129264 0 0 0 326870 1747 0 0 20 0 20 0 39782641 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791230 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=14848 CPUtime=3221.11 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 62036 0 0 0 320472 1639 0 0 20 0 20 0 39782642 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1647 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3286.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3164920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 6/346 32865
/proc/meminfo: memFree=55273500/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3346.41 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 133393 0 0 0 332866 1775 0 0 20 0 20 0 39782641 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791230 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3279.99 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 63830 0 0 0 326333 1666 0 0 20 0 20 0 39782642 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3346.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3164920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.18 6/347 32868
/proc/meminfo: memFree=54230436/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3406.38 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 135165 0 0 0 338837 1801 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3338.99 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 64627 0 0 0 332208 1691 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3406.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/348 32872
/proc/meminfo: memFree=53171288/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3466.57 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 135602 0 0 0 344824 1833 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3397.68 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 64911 0 0 0 338047 1721 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3466.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/348 32876
/proc/meminfo: memFree=52110000/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3526.62 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 137920 0 0 0 350805 1857 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3456.63 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 66435 0 0 0 343919 1744 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3526.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.88 4.08 3/298 32945
/proc/meminfo: memFree=87823368/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3586.83 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 142130 0 0 0 356798 1885 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804455 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=14848 CPUtime=3515.38 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 68288 0 0 0 349768 1770 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=-4421386517655415140 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.6 s]
/proc/loadavg: 2.92 3.81 4.05 3/298 32946
/proc/meminfo: memFree=87692312/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3600.08 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 142144 0 0 0 358117 1891 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804455 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=17408 CPUtime=3528.48 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 68300 0 0 0 351071 1777 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.31 s, system=18.9537 s

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

[startup+3595.7 s]
/proc/loadavg: 2.92 3.81 4.05 3/298 32946
/proc/meminfo: memFree=87692312/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19263204 memory=3165816 CPUtime=3600.23 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 143714 0 0 0 358130 1893 0 0 20 0 16 0 39782641 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4815801 791454 5529 1 0 805396 0
[pid=32586/tid=32588] ppid=32583 vsize=19263204 memory=14848 CPUtime=3528.5 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) D 32583 32586 31982 0 -1 4194368 68495 0 0 0 351072 1778 0 0 20 0 16 0 39782642 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19263204 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 39782645 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19263204 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 16 0 39782645 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3165816 KiB

Child status: 143

Real time (s): 3595.77
CPU time (s): 3600.26
CPU user time (s): 3581.31
CPU system time (s): 18.9537
CPU usage (%): 100.125
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3165816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.31
system time used= 18.9537
maximum resident set size= 3165944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37795584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128668
involuntary context switches= 14048


# summary of solver processes directly reported to runsolver:
#   pid: 32586
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3581.31
#   total CPU system time (s): 18.9537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49593 second user time and 17.686 second system time

The end

Launcher Data

Begin job on nodeC015 at 2025-06-30 01:50:52
IDJOB=4516687
IDBENCH=175725
IDSOLVER=3364
FILE ID=nodeC015/4516687-1751241051
RUNJOBID= nodeC015-1751237512-31995
SLURM_JOB_ID= 9587718
Free space on /tmp= 433012 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
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 -w /tmp/evaluation-result-4516687-1751241051/watcher-4516687-1751241051 -o /tmp/evaluation-result-4516687-1751241051/solver-4516687-1751241051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516687-1751241051 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516687-1751241051.opb

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

MD5SUM BENCH= 0add631ef3bf04b19f39ae45ede738e0
RANDOM SEED=776161545

nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.067
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.074
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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.426
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3547.783
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3600.065
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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		: 3598.395
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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.688
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
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.303
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        109345628 kB
MemAvailable:   123811664 kB
Buffers:            3280 kB
Cached:         15258772 kB
SwapCached:            0 kB
Active:          6315616 kB
Inactive:       15002292 kB
Active(anon):    6074000 kB
Inactive(anon):        0 kB
Active(file):     241616 kB
Inactive(file): 15002292 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            169112 kB
Writeback:             0 kB
AnonPages:       6057388 kB
Mapped:           122824 kB
Shmem:             18076 kB
KReclaimable:     122736 kB
Slab:             216420 kB
SReclaimable:     122736 kB
SUnreclaim:        93684 kB
KernelStack:        5328 kB
PageTables:        15516 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8270972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5758976 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC015 at 2025-06-30 02:50:47