Trace number 4516686

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 2025-06-06? (TO) 3600.24 3589.64

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.12/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.16	c See www.sat4j.org for details.
0.12/0.17	c version PB25.v20250606
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.20	c Free memory 		2104792832
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2113929216
0.12/0.22	c Number of processors 	2
0.31/0.31	c Pseudo Boolean Optimization by upper bound
0.31/0.31	c --- Begin Solver configuration ---
0.31/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.31/0.31	c Learn all clauses as in MiniSAT
0.31/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.31	c Expensive reason simplification
0.31/0.31	c Glucose 2.1 dynamic restart strategy
0.31/0.31	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.31/0.31	c timeout=2147483s
0.31/0.31	c DB Simplification allowed=false
0.31/0.31	c Listener: none
0.31/0.31	c --- End Solver configuration ---
0.31/0.31	c solving HOME/instance-4516686-1751240826.opb
0.31/0.31	c reading problem ... 
0.31/0.32	c  no objective function found
1.18/0.80	c ... done. Wall clock time 0.478s.
1.37/0.80	c declared #vars     14001
1.37/0.80	c #constraints  7000
1.37/0.80	c constraints type 
1.37/0.80	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7000
1.37/0.80	c 7000 constraints processed.
4.28/2.31	c cleaning 2493 clauses out of 5000 with flag 41955/5000
5.31/3.19	c cleaning 4232 clauses out of 8510 with flag 107584/11003
6.63/4.29	c cleaning 5616 clauses out of 11275 with flag 196330/18000
8.10/5.23	c cleaning 6824 clauses out of 13661 with flag 282515/26002
9.20/6.36	c cleaning 7905 clauses out of 15835 with flag 383596/35000
10.39/7.57	c cleaning 8937 clauses out of 17931 with flag 508233/45001
12.59/9.71	c cleaning 9966 clauses out of 19993 with flag 651217/56000
14.09/11.21	c cleaning 11000 clauses out of 22027 with flag 807735/68000
15.58/12.78	c cleaning 11976 clauses out of 24028 with flag 971963/81001
17.29/14.47	c cleaning 12980 clauses out of 26054 with flag 1147247/95003
19.29/16.43	c cleaning 14004 clauses out of 28071 with flag 1345749/110000
21.38/18.59	c cleaning 14979 clauses out of 30069 with flag 1582519/126002
23.66/20.70	c cleaning 15958 clauses out of 32088 with flag 1800199/143000
25.92/22.96	c cleaning 16992 clauses out of 34133 with flag 2035799/161003
28.51/25.55	c cleaning 17998 clauses out of 36141 with flag 2299717/180003
31.30/28.39	c cleaning 19008 clauses out of 38140 with flag 2598736/200000
34.01/31.05	c cleaning 20004 clauses out of 40135 with flag 2871355/221003
37.11/34.11	c cleaning 20957 clauses out of 42129 with flag 3191789/243001
40.29/37.39	c cleaning 21996 clauses out of 44171 with flag 3540663/266000
43.78/40.80	c cleaning 22991 clauses out of 46175 with flag 3912910/290000
47.17/44.28	c cleaning 23991 clauses out of 48184 with flag 4280350/315000
50.98/48.10	c cleaning 24993 clauses out of 50193 with flag 4690474/341000
55.32/52.41	c cleaning 26000 clauses out of 52200 with flag 5053384/368000
58.99/56.11	c cleaning 26972 clauses out of 54200 with flag 5424966/396000
63.48/60.62	c cleaning 28017 clauses out of 56231 with flag 5880523/425003
68.75/65.91	c cleaning 28992 clauses out of 58211 with flag 6364112/455000
73.24/70.40	c cleaning 29948 clauses out of 60221 with flag 6851508/486002
78.94/76.15	c cleaning 31042 clauses out of 62272 with flag 7377337/518001
83.74/80.99	c cleaning 31968 clauses out of 64230 with flag 7882317/551001
88.76/85.90	c cleaning 32978 clauses out of 66261 with flag 8434767/585000
94.18/91.24	c cleaning 34017 clauses out of 68283 with flag 8995773/620000
99.37/96.49	c cleaning 34944 clauses out of 70266 with flag 9584772/656000
105.16/102.22	c cleaning 36023 clauses out of 72322 with flag 10245828/693000
111.72/108.75	c cleaning 36999 clauses out of 74299 with flag 10863192/731000
117.28/114.36	c cleaning 37947 clauses out of 76300 with flag 11501965/770000
123.98/120.97	c cleaning 39000 clauses out of 78353 with flag 12144805/810000
130.27/127.20	c cleaning 40056 clauses out of 80353 with flag 12859063/851000
136.57/133.57	c cleaning 41030 clauses out of 82298 with flag 13584060/893001
145.02/141.94	c cleaning 42007 clauses out of 84267 with flag 14370917/936000
151.41/148.32	c cleaning 43004 clauses out of 86265 with flag 15108569/980005
158.79/155.68	c cleaning 44129 clauses out of 88257 with flag 15923710/1025001
165.68/162.57	c cleaning 44934 clauses out of 90127 with flag 16726807/1071000
174.09/170.80	c cleaning 45935 clauses out of 92193 with flag 17553428/1118000
181.48/178.27	c cleaning 47010 clauses out of 94261 with flag 18422946/1166003
189.77/186.46	c cleaning 47967 clauses out of 96248 with flag 19324679/1215000
197.71/194.43	c cleaning 48954 clauses out of 98282 with flag 20235598/1265001
206.97/203.63	c cleaning 50016 clauses out of 100329 with flag 21197266/1316002
215.83/212.53	c cleaning 50984 clauses out of 102311 with flag 22166205/1368000
224.34/220.92	c cleaning 51992 clauses out of 104329 with flag 23165895/1421002
232.82/229.47	c cleaning 53016 clauses out of 106335 with flag 24207515/1475000
242.60/239.17	c cleaning 54004 clauses out of 108320 with flag 25311929/1530001
251.96/248.55	c cleaning 54996 clauses out of 110315 with flag 26370197/1586000
261.84/258.34	c cleaning 55963 clauses out of 112319 with flag 27493968/1643000
270.82/267.32	c cleaning 57036 clauses out of 114356 with flag 28615600/1701000
281.72/278.24	c cleaning 58029 clauses out of 116320 with flag 29772159/1760000
291.11/287.65	c cleaning 58953 clauses out of 118291 with flag 30950744/1820000
301.31/297.88	c cleaning 60017 clauses out of 120339 with flag 32123477/1881001
311.67/308.29	c cleaning 60991 clauses out of 122322 with flag 33331418/1943001
322.67/319.21	c cleaning 62029 clauses out of 124330 with flag 34591460/2006000
333.33/329.98	c cleaning 62993 clauses out of 126301 with flag 35822543/2070000
345.14/341.73	c cleaning 63983 clauses out of 128308 with flag 37106702/2135000
356.02/352.54	c cleaning 65010 clauses out of 130329 with flag 38502464/2201004
366.71/363.20	c cleaning 66001 clauses out of 132317 with flag 39850060/2268002
378.64/375.14	c cleaning 66962 clauses out of 134315 with flag 41127471/2336001
389.90/386.49	c cleaning 68025 clauses out of 136353 with flag 42577123/2405001
401.59/397.66	c cleaning 68999 clauses out of 138327 with flag 44000801/2475000
413.30/409.39	c cleaning 69989 clauses out of 140328 with flag 45451285/2546000
425.06/421.07	c cleaning 70969 clauses out of 142339 with flag 46935276/2618000
437.95/433.94	c cleaning 72005 clauses out of 144370 with flag 48385662/2691000
451.46/447.42	c cleaning 73024 clauses out of 146367 with flag 49892843/2765002
465.14/461.05	c cleaning 74007 clauses out of 148341 with flag 51428858/2840000
477.61/473.50	c cleaning 75004 clauses out of 150337 with flag 53030571/2916003
490.68/486.62	c cleaning 76012 clauses out of 152332 with flag 54604279/2993002
502.96/498.98	c cleaning 76984 clauses out of 154318 with flag 56182700/3071000
516.29/512.20	c cleaning 77957 clauses out of 156334 with flag 57746632/3150000
529.64/525.66	c cleaning 79003 clauses out of 158377 with flag 59368639/3230000
542.72/538.78	c cleaning 80059 clauses out of 160377 with flag 61041537/3311003
557.67/553.69	c cleaning 80970 clauses out of 162319 with flag 62756002/3393004
570.84/566.85	c cleaning 81999 clauses out of 164345 with flag 64474302/3476000
583.90/579.91	c cleaning 83011 clauses out of 166346 with flag 66131621/3560000
597.89/593.89	c cleaning 83981 clauses out of 168336 with flag 67925077/3645001
611.76/607.77	c cleaning 84988 clauses out of 170355 with flag 69735995/3731001
626.04/622.04	c cleaning 85997 clauses out of 172366 with flag 71603776/3818000
641.33/637.32	c cleaning 87000 clauses out of 174369 with flag 73516474/3906000
656.27/652.27	c cleaning 88032 clauses out of 176369 with flag 75337779/3995000
671.32/667.18	c cleaning 88966 clauses out of 178338 with flag 77250781/4085001
686.58/682.40	c cleaning 90000 clauses out of 180371 with flag 79242323/4176000
702.72/698.64	c cleaning 91029 clauses out of 182371 with flag 81149532/4268000
719.88/715.85	c cleaning 91978 clauses out of 184344 with flag 83209151/4361002
737.03/732.92	c cleaning 93005 clauses out of 186365 with flag 85190596/4455001
752.79/748.70	c cleaning 94016 clauses out of 188360 with flag 87249318/4550001
768.90/764.89	c cleaning 94973 clauses out of 190344 with flag 89341660/4646001
785.90/781.77	c cleaning 96018 clauses out of 192370 with flag 91450872/4743000
803.13/799.02	c cleaning 97012 clauses out of 194353 with flag 93597830/4841001
820.14/816.04	c cleaning 98018 clauses out of 196341 with flag 95681867/4940001
837.00/832.96	c cleaning 99052 clauses out of 198322 with flag 97868359/5040000
854.47/850.28	c cleaning 100058 clauses out of 200270 with flag 100058780/5141000
873.40/869.11	c cleaning 100921 clauses out of 202212 with flag 102281178/5243000
891.11/886.77	c cleaning 102001 clauses out of 204294 with flag 104543858/5346003
908.98/904.66	c cleaning 102958 clauses out of 206290 with flag 106864627/5450000
927.80/922.97	c cleaning 103972 clauses out of 208335 with flag 109168612/5555003
947.11/942.29	c cleaning 104988 clauses out of 210360 with flag 111430844/5661000
965.68/960.81	c cleaning 105993 clauses out of 212373 with flag 113820973/5768001
984.24/979.46	c cleaning 107007 clauses out of 214379 with flag 116189745/5876000
1005.03/1000.14	c cleaning 108033 clauses out of 216373 with flag 118655287/5985001
1025.55/1020.66	c cleaning 108947 clauses out of 218341 with flag 121096426/6095002
1046.99/1042.05	c cleaning 110069 clauses out of 220396 with flag 123571372/6206004
1067.24/1062.23	c cleaning 110993 clauses out of 222324 with flag 126050678/6318001
1086.91/1081.86	c cleaning 111990 clauses out of 224331 with flag 128529257/6431001
1107.11/1101.91	c cleaning 113076 clauses out of 226340 with flag 131069976/6545000
1127.42/1122.17	c cleaning 114133 clauses out of 228267 with flag 133620900/6660003
1148.46/1143.17	c cleaning 114948 clauses out of 230131 with flag 136159489/6776000
1168.76/1163.33	c cleaning 115913 clauses out of 232186 with flag 138741257/6893003
1188.95/1183.45	c cleaning 116975 clauses out of 234273 with flag 141334501/7011003
1209.63/1204.04	c cleaning 117980 clauses out of 236295 with flag 143947530/7130000
1230.62/1224.97	c cleaning 118999 clauses out of 238315 with flag 146620211/7250000
1251.79/1246.14	c cleaning 120026 clauses out of 240316 with flag 149347262/7371000
1275.37/1269.31	c cleaning 120978 clauses out of 242292 with flag 152099019/7493002
1297.12/1291.12	c cleaning 122002 clauses out of 244312 with flag 154845415/7616000
1320.71/1314.83	c cleaning 123000 clauses out of 246313 with flag 157671122/7740003
1342.76/1336.93	c cleaning 124015 clauses out of 248311 with flag 160459477/7865001
1366.26/1360.23	c cleaning 124985 clauses out of 250295 with flag 163292045/7991000
1389.42/1383.30	c cleaning 126023 clauses out of 252313 with flag 166091488/8118003
1413.81/1407.76	c cleaning 126976 clauses out of 254287 with flag 169002165/8246000
1438.09/1432.10	c cleaning 128021 clauses out of 256311 with flag 171893441/8375000
1462.85/1456.78	c cleaning 129003 clauses out of 258291 with flag 174995616/8505001
1488.69/1482.66	c cleaning 130005 clauses out of 260289 with flag 178005980/8636002
1512.13/1505.90	c cleaning 130971 clauses out of 262283 with flag 180982178/8768001
1535.91/1529.64	c cleaning 131981 clauses out of 264313 with flag 184045252/8901002
1560.86/1554.64	c cleaning 133023 clauses out of 266330 with flag 187108463/9035000
1584.86/1578.66	c cleaning 133964 clauses out of 268308 with flag 190198869/9170001
1610.35/1604.15	c cleaning 135003 clauses out of 270343 with flag 193307420/9306000
1634.49/1628.31	c cleaning 136046 clauses out of 272340 with flag 196409491/9443000
1660.82/1654.79	c cleaning 136977 clauses out of 274295 with flag 199618689/9581001
1685.76/1679.71	c cleaning 138009 clauses out of 276317 with flag 202819778/9720000
1711.79/1705.63	c cleaning 139003 clauses out of 278308 with flag 206002753/9860000
1737.43/1731.16	c cleaning 140014 clauses out of 280305 with flag 209276717/10001000
1763.34/1756.99	c cleaning 141001 clauses out of 282293 with flag 212612778/10143002
1789.99/1783.54	c cleaning 141979 clauses out of 284291 with flag 215956780/10286001
1817.54/1810.80	c cleaning 143022 clauses out of 286313 with flag 219421968/10430002
1845.41/1838.68	c cleaning 143967 clauses out of 288290 with flag 222808688/10575001
1873.47/1866.62	c cleaning 145017 clauses out of 290322 with flag 226185359/10721000
1901.65/1894.89	c cleaning 145996 clauses out of 292305 with flag 229657411/10868000
1929.57/1922.90	c cleaning 146995 clauses out of 294309 with flag 233131112/11016000
1958.07/1951.41	c cleaning 148157 clauses out of 296314 with flag 236636197/11165000
1987.35/1980.62	c cleaning 148932 clauses out of 298157 with flag 240150637/11315000
2016.19/2009.34	c cleaning 149986 clauses out of 300230 with flag 243695236/11466005
2044.30/2037.36	c cleaning 151000 clauses out of 302239 with flag 247231288/11618000
2073.17/2066.19	c cleaning 151979 clauses out of 304242 with flag 250921729/11771003
2101.81/2094.71	c cleaning 152998 clauses out of 306260 with flag 254618444/11925000
2132.98/2125.55	c cleaning 153991 clauses out of 308263 with flag 258377973/12080001
2163.22/2155.73	c cleaning 154916 clauses out of 310271 with flag 262067818/12236000
2193.21/2185.56	c cleaning 156024 clauses out of 312356 with flag 265810703/12393001
2223.26/2215.48	c cleaning 156971 clauses out of 314331 with flag 269612707/12551000
2254.18/2246.21	c cleaning 158039 clauses out of 316361 with flag 273433089/12710001
2285.01/2277.03	c cleaning 158981 clauses out of 318321 with flag 277265859/12870000
2316.47/2308.45	c cleaning 160072 clauses out of 320343 with flag 281126253/13031003
2348.69/2340.60	c cleaning 160993 clauses out of 322268 with flag 284951941/13193000
2380.72/2372.63	c cleaning 161989 clauses out of 324276 with flag 288855821/13356001
2412.21/2404.10	c cleaning 163007 clauses out of 326286 with flag 292727680/13520000
2444.60/2436.45	c cleaning 163968 clauses out of 328279 with flag 296689797/13685000
2476.37/2468.19	c cleaning 164938 clauses out of 330312 with flag 300659449/13851001
2510.69/2502.45	c cleaning 166030 clauses out of 332375 with flag 304758646/14018002
2543.70/2535.44	c cleaning 166991 clauses out of 334343 with flag 308813728/14186000
2575.95/2567.61	c cleaning 168041 clauses out of 336353 with flag 312960500/14355001
2607.91/2599.60	c cleaning 169145 clauses out of 338311 with flag 317011823/14525000
2642.36/2634.09	c cleaning 170085 clauses out of 340170 with flag 321261309/14696004
2675.28/2666.83	c cleaning 170864 clauses out of 342082 with flag 325436817/14868001
2707.96/2699.44	c cleaning 172101 clauses out of 344217 with flag 329570991/15041000
2742.59/2734.05	c cleaning 172896 clauses out of 346117 with flag 333867202/15215001
2776.64/2768.02	c cleaning 173915 clauses out of 348223 with flag 338212266/15390003
2810.99/2802.43	c cleaning 174981 clauses out of 350305 with flag 342673434/15566000
2847.21/2838.42	c cleaning 176011 clauses out of 352327 with flag 347074020/15743003
2883.59/2874.78	c cleaning 177003 clauses out of 354313 with flag 351551677/15921000
2919.99/2911.11	c cleaning 177950 clauses out of 356310 with flag 356073600/16100000
2955.93/2947.04	c cleaning 178993 clauses out of 358362 with flag 360632979/16280002
2991.36/2982.40	c cleaning 180035 clauses out of 360367 with flag 365212826/16461000
3027.24/3018.39	c cleaning 181001 clauses out of 362334 with flag 369702321/16643002
3063.03/3054.17	c cleaning 181991 clauses out of 364332 with flag 374280117/16826001
3101.06/3092.17	c cleaning 182979 clauses out of 366340 with flag 379004548/17010000
3137.94/3128.96	c cleaning 184028 clauses out of 368361 with flag 383768590/17195000
3174.27/3165.22	c cleaning 184985 clauses out of 370335 with flag 388416990/17381002
3212.13/3203.04	c cleaning 186002 clauses out of 372348 with flag 393094417/17568000
3249.39/3240.37	c cleaning 187009 clauses out of 374349 with flag 397795538/17756003
3288.60/3279.60	c cleaning 188027 clauses out of 376337 with flag 402580173/17945000
3326.40/3317.42	c cleaning 188966 clauses out of 378312 with flag 407417052/18135002
3364.84/3355.67	c cleaning 190005 clauses out of 380344 with flag 412204854/18326000
3405.29/3395.15	c cleaning 191013 clauses out of 382339 with flag 417149209/18518000
3443.72/3433.46	c cleaning 192018 clauses out of 384327 with flag 422069387/18711001
3481.85/3471.67	c cleaning 192954 clauses out of 386308 with flag 427043918/18905000
3521.17/3511.00	c cleaning 193999 clauses out of 388354 with flag 431981821/19100000
3559.77/3549.45	c cleaning 194998 clauses out of 390356 with flag 436935175/19296001
3597.11/3586.63	c cleaning 196019 clauses out of 392357 with flag 441991304/19493000
3600.00/3589.53	c timeout
3600.00/3589.53	c starts		: 122178
3600.00/3589.53	c conflicts		: 19511425
3600.00/3589.53	c decisions		: 904654828
3600.00/3589.53	c propagations		: 9266899988
3600.00/3589.53	c inspects		: 13773432057
3600.00/3589.53	c shortcuts		: 0
3600.00/3589.53	c learnt literals	: 0
3600.00/3589.53	c learnt binary clauses	: 0
3600.00/3589.53	c learnt ternary clauses	: 0
3600.00/3589.53	c learnt constraints	: 19511425
3600.00/3589.53	c ignored constraints	: 0
3600.00/3589.53	c root simplifications	: 0
3600.00/3589.53	c removed literals (reason simplification)	: 17200575
3600.00/3589.53	c reason swapping (by a shorter reason)	: 0
3600.00/3589.53	c Calls to reduceDB	: 193
3600.00/3589.53	c Number of update (reduction) of LBD	: 8389651
3600.00/3589.54	c Imported unit clauses	: 0
3600.00/3589.54	c No decision after first conflict	: false
3600.00/3589.54	c number of reductions to clauses (during analyze)	: 0
3600.00/3589.54	c number of learned constraints concerned by reduction	: 0
3600.00/3589.54	c number of learning phase by resolution	: 0
3600.00/3589.54	c number of learning phase by cutting planes	: 0
3600.00/3589.54	c number of rounding to 1 operations	: 0
3600.00/3589.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3589.54	c number of reductions of the coefficients by power 2 	: 0
3600.00/3589.54	c number of right shift for reduction by power 2 	: 0
3600.00/3589.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3589.54	c number of ending skipping 	: 0
3600.00/3589.54	c number of internal skipping 	: 0
3600.00/3589.54	c number of derivation steps 	: 0
3600.00/3589.54	c number of skipped derivation steps 	: 0
3600.00/3589.54	c number of remaining unassigned 	: 0
3600.00/3589.54	c number of remaining assigned 	: 0
3600.00/3589.54	c number of falsified literals weakened from reason	: 0
3600.00/3589.54	c number of falsified literals weakened from conflict	: 0
3600.00/3589.54	c time for arithmetic operations	: 0
3600.00/3589.54	c minimum degree of deleted constraints	: null
3600.00/3589.54	c maximum degree of deleted constraints	: null
3600.00/3589.54	c number of deleted constraints	: 0
3600.00/3589.54	c speed (assignments/second)	: 2582221.957566616
3600.00/3589.54	c non guided choices	: 46502882
3600.00/3589.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 214763
3600.00/3589.60	s UNKNOWN
3600.00/3589.60	c Total wall clock time (in seconds): 3589.295

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: 63837 MiB (62357 MiB free)
  memory of node 1: 64465 MiB (59898 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516686-1751240826/watcher-4516686-1751240826 -o /tmp/evaluation-result-4516686-1751240826/solver-4516686-1751240826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34857 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516686-1751240826.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=35425, runsolver pid=35422

[startup+0.10007 s]*
/proc/loadavg: 4.30 4.20 4.12 8/325 35443
/proc/meminfo: memFree=125183980/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=18930384 memory=50408 CPUtime=0.12 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 5792 0 0 0 9 3 0 0 20 0 18 0 39761939 19384713216 12602 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4732596 12602 5305 1 0 547027 0
[pid=35425/tid=35427] ppid=35422 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 4694 0 0 0 6 2 0 0 20 0 18 0 39761941 19384713216 12602 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761945 19384713216 12602 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=18930384 memory=58494082630061 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39761946 19384713216 12602 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50408 KiB

[startup+0.213307 s]*
/proc/loadavg: 4.44 4.23 4.13 8/325 35443
/proc/meminfo: memFree=125174656/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=18930384 memory=57228 CPUtime=0.31 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 6460 0 0 0 27 4 0 0 20 0 18 0 39761939 19384713216 14307 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4732596 14307 5337 1 0 547603 0
[pid=35425/tid=35427] ppid=35422 vsize=18930384 memory=4026597660 CPUtime=0.19 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 5051 0 0 0 16 3 0 0 20 0 18 0 39761941 19384713216 14307 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=18930384 memory=13926 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761945 19384713216 14307 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=18930384 memory=57394570986489 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39761946 19384713216 14307 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57228 KiB

[startup+0.313391 s]*
/proc/loadavg: 4.44 4.23 4.13 8/325 35443
/proc/meminfo: memFree=125169552/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=18930384 memory=62768 CPUtime=0.46 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 6714 0 0 0 42 4 0 0 20 0 18 0 39761939 19384713216 15692 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4732596 15692 5433 1 0 547799 0
[pid=35425/tid=35427] ppid=35422 vsize=18930384 memory=-6000919498526713708 CPUtime=0.28 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 5240 0 0 0 25 3 0 0 20 0 18 0 39761941 19384713216 15692 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761945 19384713216 15692 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39761946 19384713216 15692 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62768 KiB

[startup+0.700357 s]
/proc/loadavg: 4.44 4.23 4.13 6/326 35444
/proc/meminfo: memFree=125067160/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=18996948 memory=331976 CPUtime=1.18 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 8494 0 0 0 106 12 0 0 20 0 19 0 39761939 19452874752 82994 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4749237 82994 5465 1 0 549188 0
[pid=35425/tid=35427] ppid=35422 vsize=18996948 memory=17408 CPUtime=0.6 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 5386 0 0 0 51 9 0 0 20 0 19 0 39761941 19452874752 82994 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39761945 19452874752 82994 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39761946 19452874752 82994 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 331976 KiB

[startup+1.50025 s]
/proc/loadavg: 4.44 4.23 4.13 8/327 35445
/proc/meminfo: memFree=124745784/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=471644 CPUtime=2.75 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 13108 0 0 0 259 16 0 0 20 0 20 0 39761939 19521036288 117911 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 117911 5465 1 0 552618 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=3200 CPUtime=1.32 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 5510 0 0 0 120 12 0 0 20 0 20 0 39761941 19521036288 117911 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 117911 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 117911 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 117911 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 471644 KiB

[startup+3.10458 s]
/proc/loadavg: 4.44 4.23 4.13 6/327 35445
/proc/meminfo: memFree=124688004/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=478904 CPUtime=5.31 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 23423 0 0 0 514 17 0 0 20 0 20 0 39761939 19521036288 119726 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 119726 5465 1 0 553283 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=14720 CPUtime=2.88 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 6592 0 0 0 276 12 0 0 20 0 20 0 39761941 19521036288 119726 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 119726 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 119726 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 119726 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 478904 KiB

[startup+6.30019 s]
/proc/loadavg: 4.48 4.24 4.13 6/327 35445
/proc/meminfo: memFree=124643088/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=475400 CPUtime=9.2 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 24261 0 0 0 902 18 0 0 20 0 20 0 39761939 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 118850 5497 1 0 553284 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=0 CPUtime=6.05 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 7011 0 0 0 593 12 0 0 20 0 20 0 39761941 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=471772 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 9.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 475400 KiB

[startup+12.7004 s]
/proc/loadavg: 4.45 4.24 4.13 6/327 35445
/proc/meminfo: memFree=124552976/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=475400 CPUtime=15.58 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 26215 0 0 0 1540 18 0 0 20 0 20 0 39761939 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 118850 5497 1 0 553284 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=471772 CPUtime=12.42 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 8268 0 0 0 1230 12 0 0 20 0 20 0 39761941 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=475400 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 118850 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 15.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 475400 KiB

[startup+25.5004 s]
/proc/loadavg: 4.46 4.24 4.13 6/326 35512
/proc/meminfo: memFree=126808620/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=575756 CPUtime=28.51 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 29889 0 0 0 2830 21 0 0 20 0 20 0 39761939 19521036288 143939 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 143939 5497 1 0 553284 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=0 CPUtime=25.18 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 9383 0 0 0 2504 14 0 0 20 0 20 0 39761941 19521036288 143939 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 143939 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=-6000919498526713708 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 143939 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=2824 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 143939 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 28.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 575756 KiB

[startup+51.1085 s]
/proc/loadavg: 4.40 4.25 4.14 6/326 35512
/proc/meminfo: memFree=126057816/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=922020 CPUtime=54.04 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 31139 0 0 0 5374 30 0 0 20 0 20 0 39761939 19521036288 230505 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 230505 5497 1 0 553284 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=753932 CPUtime=50.41 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 9631 0 0 0 5020 21 0 0 20 0 20 0 39761941 19521036288 230505 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=647436 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 230505 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 45 0 0 0 0 0 0 0 20 0 20 0 39761946 19521036288 230505 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=532748 CPUtime=0 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.24 4.21 4.18 6/326 35676
/proc/meminfo: memFree=113239484/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=5273920 CPUtime=3291.3 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 142472 0 0 0 328833 297 0 0 20 0 20 0 39761939 19521036288 1318480 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1318480 5529 1 0 1459602 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=5273920 CPUtime=3249.48 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 71109 0 0 0 324901 47 0 0 20 0 20 0 39761941 19521036288 1318480 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1318480 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=14720 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 1849 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1318480 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=5273920 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1318480 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3291.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5273920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 6/326 35678
/proc/meminfo: memFree=112934640/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=5398848 CPUtime=3351.29 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 144301 0 0 0 334826 303 0 0 20 0 20 0 39761939 19521036288 1349712 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1349712 5529 1 0 1459602 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=14720 CPUtime=3308.88 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 72037 0 0 0 330841 47 0 0 20 0 20 0 39761941 19521036288 1349712 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1349712 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=14720 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 1936 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1349712 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1349712 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3351.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5398848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.19 4.18 6/326 35680
/proc/meminfo: memFree=112290956/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=5957232 CPUtime=3412.45 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 160288 0 0 0 340925 320 0 0 20 0 20 0 39761939 19521036288 1489308 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1489308 5529 1 0 2248857 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=5638464 CPUtime=3368.12 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 80309 0 0 0 336760 52 0 0 20 0 20 0 39761941 19521036288 1489308 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1489308 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=11264 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 1936 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1489308 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1489308 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3412.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5957232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.17 4.17 6/326 35682
/proc/meminfo: memFree=112009244/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=6207328 CPUtime=3472.57 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 163198 0 0 0 346927 330 0 0 20 0 20 0 39761939 19521036288 1551832 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1551832 5529 1 0 2248857 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=5632 CPUtime=3427.58 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 82821 0 0 0 342701 57 0 0 20 0 20 0 39761941 19521036288 1551832 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1551832 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=17408 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 1968 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1551832 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=6207328 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1551832 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3472.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6207328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.17 7/326 35684
/proc/meminfo: memFree=111888996/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=6330444 CPUtime=3532.56 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 165153 0 0 0 352920 336 0 0 20 0 20 0 39761939 19521036288 1582611 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1582611 5529 1 0 2248916 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=6207328 CPUtime=3487.31 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 83987 0 0 0 348673 58 0 0 20 0 20 0 39761941 19521036288 1582611 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1582611 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=11264 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 2091 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1582611 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=4105952 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1582611 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3532.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6330444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.15 4.17 4/301 35722
/proc/meminfo: memFree=115023964/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=6330572 CPUtime=3592.82 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 168376 0 0 0 358943 339 0 0 20 0 20 0 39761939 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1582643 5529 1 0 2248963 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=6330444 CPUtime=3546.79 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 86217 0 0 0 354621 58 0 0 20 0 20 0 39761941 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=6330572 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=6330572 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 2091 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=6330572 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3592.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6330572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.5 s]
/proc/loadavg: 3.97 4.13 4.16 4/301 35722
/proc/meminfo: memFree=115024108/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19063512 memory=6330572 CPUtime=3600 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 168894 0 0 0 359661 339 0 0 20 0 20 0 39761939 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4765878 1582643 5529 1 0 2248963 0
[pid=35425/tid=35427] ppid=35422 vsize=19063512 memory=6330572 CPUtime=3553.97 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) R 35422 35425 32092 0 -1 4194368 86694 0 0 0 355339 58 0 0 20 0 20 0 39761941 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19063512 memory=6330444 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19063512 memory=4352 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 2132 0 0 0 1 0 0 0 20 0 20 0 39761946 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35445] ppid=35422 vsize=19063512 memory=6330444 CPUtime=0 cores=4,6
/proc/35425/task/35445/stat : 35445 (Timer-0) S 35422 35425 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39762020 19521036288 1582643 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6330572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.83 s, system=3.41737 s

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

[startup+3589.61 s]
/proc/loadavg: 3.97 4.13 4.16 4/301 35722
/proc/meminfo: memFree=115024108/131382112 swapFree=33010684/33010684
[pid=35425] ppid=35422 vsize=19263204 memory=6331340 CPUtime=3600.21 cores=4,6
/proc/35425/stat : 35425 (java) S 35422 35425 32092 0 -1 4194304 170958 0 0 0 359682 339 0 0 20 0 20 0 39761939 19725520896 1582835 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
/proc/35425/statm: 4815801 1582835 5529 1 0 2249889 0
[pid=35425/tid=35427] ppid=35422 vsize=19263204 memory=17408 CPUtime=3554 cores=4,6
/proc/35425/task/35427/stat : 35427 (java) S 35422 35425 32092 0 -1 4194368 86919 0 0 0 355342 58 0 0 20 0 20 0 39761941 19725520896 1582835 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35436] ppid=35422 vsize=19263204 memory=11264 CPUtime=0 cores=4,6
/proc/35425/task/35436/stat : 35436 (Finalizer) S 35422 35425 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761945 19725520896 1582835 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
[pid=35425/tid=35443] ppid=35422 vsize=19263204 memory=5632 CPUtime=0.01 cores=4,6
/proc/35425/task/35443/stat : 35443 (Common-Cleaner) S 35422 35425 32092 0 -1 4194368 2132 0 0 0 1 0 0 0 20 0 20 0 39761946 19725520896 1582835 18446744073709551615 94185061703680 94185061707376 140732904792992 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94185061715192 94185061715984 94185075056640 140732904798593 140732904798694 140732904798694 140732904804296 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6331340 KiB

Child status: 143

Real time (s): 3589.64
CPU time (s): 3600.24
CPU user time (s): 3596.83
CPU system time (s): 3.41737
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6331340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.41737
maximum resident set size= 6331468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170985
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113901
involuntary context switches= 25254


# summary of solver processes directly reported to runsolver:
#   pid: 35425
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3596.83
#   total CPU system time (s): 3.41737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9188 second user time and 32.3589 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 01:47:06
IDJOB=4516686
IDBENCH=175725
IDSOLVER=3363
FILE ID=nodeC005/4516686-1751240826
RUNJOBID= nodeC005-1751237252-34857
SLURM_JOB_ID= 9587711
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 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 -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516686-1751240826/watcher-4516686-1751240826 -o /tmp/evaluation-result-4516686-1751240826/solver-4516686-1751240826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34857 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516686-1751240826.opb

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

MD5SUM BENCH= 0add631ef3bf04b19f39ae45ede738e0
RANDOM SEED=1444319814

nodeC005 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	: 0xb00001f
cpu MHz		: 3661.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3192.638
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.551
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3192.636
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 3591.721
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.718
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
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	: 0xb00001f
cpu MHz		: 1197.115
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        125194356 kB
MemAvailable:   125282044 kB
Buffers:            3280 kB
Cached:           890820 kB
SwapCached:            0 kB
Active:          5008944 kB
Inactive:         642932 kB
Active(anon):    4775736 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   642932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3292 kB
Writeback:             0 kB
AnonPages:       4760920 kB
Mapped:           122240 kB
Shmem:             17960 kB
KReclaimable:     102352 kB
Slab:             184756 kB
SReclaimable:     102352 kB
SUnreclaim:        82404 kB
KernelStack:        4976 kB
PageTables:        12912 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   10303232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150264 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4534272 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC005 at 2025-06-30 02:46:55