Trace number 4516650

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.35 3594.97

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb
MD5SUM505a4ae26cb167d5fc0677a4ae659532
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 benchmark1.18398
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16001
Total number of constraints8000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)8000
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.09/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.19	c See www.sat4j.org for details.
0.09/0.20	c version PB25.v20250606
0.25/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.25/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.25/0.23	c java.vm.version	22.0.1+8-16
0.25/0.23	c java.vm.vendor	Oracle Corporation
0.25/0.23	c sun.arch.data.model	64
0.25/0.23	c java.version		22.0.1
0.25/0.23	c os.name		Linux
0.25/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.25/0.23	c os.arch		amd64
0.25/0.24	c Free memory 		2106806208
0.25/0.24	c Max memory 		16282288128
0.25/0.24	c Total memory 		2113929216
0.25/0.25	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	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.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.34	c solving HOME/instance-4516650-1751240824.opb
0.43/0.34	c reading problem ... 
0.43/0.35	c  no objective function found
1.88/1.16	c ... done. Wall clock time 0.813s.
1.88/1.16	c declared #vars     16001
1.88/1.16	c #constraints  16000
1.88/1.16	c constraints type 
1.88/1.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16000
1.88/1.16	c 16000 constraints processed.
3.72/2.14	c cleaning 2488 clauses out of 5000 with flag 36528/5000
5.08/2.98	c cleaning 4243 clauses out of 8512 with flag 83601/11000
6.31/4.04	c cleaning 5619 clauses out of 11269 with flag 157377/18000
7.71/5.40	c cleaning 6810 clauses out of 13651 with flag 255657/26001
9.42/7.12	c cleaning 7871 clauses out of 15841 with flag 379307/35001
11.00/8.71	c cleaning 8931 clauses out of 17969 with flag 493438/45000
13.30/11.03	c cleaning 9946 clauses out of 20038 with flag 655952/56000
15.89/13.68	c cleaning 10937 clauses out of 22095 with flag 842618/68003
18.48/16.30	c cleaning 12078 clauses out of 24155 with flag 1023975/81000
21.40/19.12	c cleaning 12897 clauses out of 26078 with flag 1220110/95001
24.88/22.63	c cleaning 14090 clauses out of 28180 with flag 1477268/110000
27.67/25.47	c cleaning 14886 clauses out of 30091 with flag 1697485/126001
31.04/28.76	c cleaning 15928 clauses out of 32204 with flag 1974987/143000
34.51/32.12	c cleaning 17016 clauses out of 34278 with flag 2246283/161002
38.28/35.98	c cleaning 18125 clauses out of 36260 with flag 2578600/180000
41.77/39.49	c cleaning 18894 clauses out of 38136 with flag 2890737/200001
46.16/43.81	c cleaning 19954 clauses out of 40243 with flag 3266508/221002
50.26/47.95	c cleaning 20979 clauses out of 42287 with flag 3630203/243000
54.46/52.18	c cleaning 22143 clauses out of 44308 with flag 4006801/266000
59.14/56.82	c cleaning 22936 clauses out of 46165 with flag 4421280/290000
64.03/61.71	c cleaning 23917 clauses out of 48230 with flag 4854767/315001
69.13/66.85	c cleaning 24969 clauses out of 50314 with flag 5321766/341002
74.62/72.31	c cleaning 26103 clauses out of 52344 with flag 5813875/368001
79.80/77.51	c cleaning 26915 clauses out of 54240 with flag 6275849/396000
85.59/83.33	c cleaning 27933 clauses out of 56325 with flag 6819569/425000
91.48/89.29	c cleaning 29024 clauses out of 58395 with flag 7384617/455003
97.76/95.55	c cleaning 30018 clauses out of 60368 with flag 7985802/486000
103.74/101.54	c cleaning 30975 clauses out of 62350 with flag 8531332/518000
109.93/107.73	c cleaning 32006 clauses out of 64376 with flag 9114835/551001
116.42/114.23	c cleaning 33019 clauses out of 66369 with flag 9730660/585000
123.21/121.08	c cleaning 34178 clauses out of 68355 with flag 10379540/620005
130.29/128.15	c cleaning 34852 clauses out of 70173 with flag 11048562/656001
137.76/135.69	c cleaning 35954 clauses out of 72321 with flag 11791523/693001
145.34/143.26	c cleaning 36977 clauses out of 74366 with flag 12533658/731000
152.92/150.88	c cleaning 38000 clauses out of 76389 with flag 13292075/770000
160.71/158.60	c cleaning 38977 clauses out of 78390 with flag 14046884/810001
168.58/166.56	c cleaning 39961 clauses out of 80412 with flag 14829903/851000
176.76/174.75	c cleaning 40997 clauses out of 82451 with flag 15658829/893000
184.74/182.75	c cleaning 42018 clauses out of 84455 with flag 16475315/936001
193.32/191.33	c cleaning 42993 clauses out of 86436 with flag 17321525/980000
202.30/200.37	c cleaning 43985 clauses out of 88445 with flag 18226189/1025002
210.98/209.09	c cleaning 45229 clauses out of 90458 with flag 19108211/1071000
220.15/218.26	c cleaning 45920 clauses out of 92229 with flag 20044078/1118000
228.83/226.99	c cleaning 46945 clauses out of 94309 with flag 20913586/1166000
238.51/236.60	c cleaning 48011 clauses out of 96364 with flag 21902685/1215000
248.00/246.17	c cleaning 48963 clauses out of 98353 with flag 22864798/1265000
257.86/256.05	c cleaning 49963 clauses out of 100391 with flag 23847877/1316001
267.63/265.87	c cleaning 51024 clauses out of 102428 with flag 24854053/1368001
277.83/276.09	c cleaning 51954 clauses out of 104404 with flag 25903513/1421001
287.50/285.76	c cleaning 53020 clauses out of 106450 with flag 26896903/1475001
297.37/295.66	c cleaning 53997 clauses out of 108430 with flag 27952513/1530001
307.65/305.91	c cleaning 54982 clauses out of 110432 with flag 29018496/1586000
318.93/317.29	c cleaning 55938 clauses out of 112451 with flag 30146342/1643001
330.40/328.75	c cleaning 57059 clauses out of 114514 with flag 31277730/1701002
341.87/340.18	c cleaning 58010 clauses out of 116454 with flag 32395689/1760001
353.63/351.96	c cleaning 58994 clauses out of 118443 with flag 33569404/1820000
365.81/364.08	c cleaning 60008 clauses out of 120449 with flag 34746484/1881000
378.08/376.37	c cleaning 60987 clauses out of 122442 with flag 35963793/1943001
391.54/389.72	c cleaning 62003 clauses out of 124454 with flag 37228590/2006000
403.94/402.19	c cleaning 62984 clauses out of 126451 with flag 38470127/2070000
417.18/415.31	c cleaning 64018 clauses out of 128468 with flag 39791215/2135001
429.76/428.00	c cleaning 64984 clauses out of 130449 with flag 41059646/2201000
443.61/441.72	c cleaning 65986 clauses out of 132465 with flag 42407371/2268000
456.40/454.51	c cleaning 67023 clauses out of 134479 with flag 43683758/2336000
471.43/469.52	c cleaning 68048 clauses out of 136459 with flag 45021464/2405003
485.34/483.33	c cleaning 68942 clauses out of 138408 with flag 46369979/2475000
499.61/497.65	c cleaning 69970 clauses out of 140467 with flag 47793394/2546001
513.99/511.90	c cleaning 71002 clauses out of 142497 with flag 49200893/2618001
528.57/526.53	c cleaning 72066 clauses out of 144494 with flag 50670192/2691000
544.23/542.17	c cleaning 72972 clauses out of 146428 with flag 52165315/2765000
559.23/557.01	c cleaning 74030 clauses out of 148456 with flag 53605951/2840000
574.50/572.33	c cleaning 75022 clauses out of 150426 with flag 55124725/2916000
590.47/588.26	c cleaning 75986 clauses out of 152406 with flag 56687869/2993002
605.45/603.20	c cleaning 77209 clauses out of 154418 with flag 58170542/3071000
621.09/618.85	c cleaning 77886 clauses out of 156210 with flag 59690979/3150001
638.36/636.03	c cleaning 78975 clauses out of 158324 with flag 61244906/3230001
654.13/651.88	c cleaning 79917 clauses out of 160350 with flag 62808381/3311002
671.56/669.27	c cleaning 80974 clauses out of 162433 with flag 64436646/3393002
688.14/685.88	c cleaning 82210 clauses out of 164457 with flag 66095505/3476000
705.47/703.13	c cleaning 82917 clauses out of 166247 with flag 67776148/3560000
722.22/719.95	c cleaning 83980 clauses out of 168332 with flag 69412791/3645002
741.07/738.79	c cleaning 84954 clauses out of 170351 with flag 71232451/3731001
759.18/756.70	c cleaning 85936 clauses out of 172396 with flag 72972518/3818000
776.85/774.46	c cleaning 87035 clauses out of 174461 with flag 74718556/3906001
796.30/793.89	c cleaning 87992 clauses out of 176426 with flag 76455383/3995001
814.66/812.21	c cleaning 88983 clauses out of 178434 with flag 78264129/4085001
834.10/831.60	c cleaning 90032 clauses out of 180450 with flag 80110931/4176000
852.06/849.64	c cleaning 90968 clauses out of 182418 with flag 81884523/4268000
871.98/869.43	c cleaning 92001 clauses out of 184452 with flag 83800365/4361002
891.34/888.82	c cleaning 93011 clauses out of 186449 with flag 85699481/4455000
911.46/908.89	c cleaning 93970 clauses out of 188439 with flag 87613771/4550001
931.21/928.61	c cleaning 95025 clauses out of 190469 with flag 89513975/4646001
951.63/948.94	c cleaning 96024 clauses out of 192444 with flag 91486491/4743001
971.49/968.82	c cleaning 97032 clauses out of 194419 with flag 93455773/4841000
991.98/989.29	c cleaning 98082 clauses out of 196389 with flag 95383252/4940002
1012.44/1009.78	c cleaning 98959 clauses out of 198307 with flag 97389051/5040002
1035.29/1031.41	c cleaning 100005 clauses out of 200348 with flag 99442053/5141002
1056.25/1052.30	c cleaning 100961 clauses out of 202341 with flag 101456320/5243000
1077.82/1073.90	c cleaning 101988 clauses out of 204380 with flag 103544597/5346000
1100.32/1096.45	c cleaning 102986 clauses out of 206392 with flag 105661821/5450000
1123.08/1119.12	c cleaning 104009 clauses out of 208407 with flag 107866784/5555001
1145.01/1141.06	c cleaning 105201 clauses out of 210401 with flag 110006575/5661004
1167.85/1163.80	c cleaning 105900 clauses out of 212196 with flag 112180706/5768000
1190.60/1186.61	c cleaning 106902 clauses out of 214296 with flag 114418818/5876000
1213.39/1209.45	c cleaning 107986 clauses out of 216395 with flag 116628184/5985001
1236.75/1232.90	c cleaning 108994 clauses out of 218408 with flag 118905674/6095000
1260.20/1256.33	c cleaning 109985 clauses out of 220414 with flag 121197959/6206000
1283.30/1279.35	c cleaning 111020 clauses out of 222429 with flag 123433934/6318000
1306.55/1302.68	c cleaning 112037 clauses out of 224409 with flag 125701611/6431000
1330.71/1326.80	c cleaning 112939 clauses out of 226374 with flag 128045359/6545002
1356.63/1352.68	c cleaning 113984 clauses out of 228435 with flag 130363242/6660002
1381.28/1377.30	c cleaning 115225 clauses out of 230450 with flag 132783883/6776001
1406.42/1402.50	c cleaning 115892 clauses out of 232228 with flag 135214802/6893004
1430.75/1426.88	c cleaning 116970 clauses out of 234332 with flag 137573263/7011000
1457.49/1453.51	c cleaning 117982 clauses out of 236363 with flag 140017059/7130001
1482.84/1478.98	c cleaning 118982 clauses out of 238380 with flag 142539998/7250000
1508.50/1504.52	c cleaning 120010 clauses out of 240398 with flag 145038191/7371000
1534.15/1530.22	c cleaning 120993 clauses out of 242389 with flag 147578032/7493001
1561.83/1557.88	c cleaning 122013 clauses out of 244395 with flag 150128150/7616000
1587.67/1583.74	c cleaning 122992 clauses out of 246382 with flag 152644657/7740000
1614.07/1610.03	c cleaning 124026 clauses out of 248391 with flag 155192075/7865001
1640.59/1636.64	c cleaning 124964 clauses out of 250365 with flag 157762284/7991001
1667.92/1663.81	c cleaning 125980 clauses out of 252400 with flag 160376410/8118000
1694.76/1690.72	c cleaning 127011 clauses out of 254420 with flag 163003903/8246000
1722.34/1718.25	c cleaning 128027 clauses out of 256409 with flag 165700108/8375000
1750.08/1746.05	c cleaning 128952 clauses out of 258383 with flag 168454651/8505001
1778.22/1774.05	c cleaning 130011 clauses out of 260431 with flag 171164646/8636001
1806.26/1802.12	c cleaning 130995 clauses out of 262419 with flag 173904064/8768000
1835.15/1830.41	c cleaning 132020 clauses out of 264424 with flag 176589553/8901000
1864.70/1860.02	c cleaning 133034 clauses out of 266405 with flag 179456942/9035001
1893.71/1888.96	c cleaning 133972 clauses out of 268370 with flag 182223624/9170000
1922.95/1918.29	c cleaning 135001 clauses out of 270399 with flag 185067306/9306001
1952.90/1948.26	c cleaning 136012 clauses out of 272397 with flag 187965862/9443000
1982.75/1978.04	c cleaning 136986 clauses out of 274386 with flag 190831375/9581001
2012.79/2008.18	c cleaning 138017 clauses out of 276399 with flag 193740623/9720000
2043.30/2038.78	c cleaning 139012 clauses out of 278382 with flag 196682899/9860000
2075.42/2070.81	c cleaning 140016 clauses out of 280370 with flag 199629719/10001000
2106.15/2101.63	c cleaning 140945 clauses out of 282354 with flag 202620101/10143000
2137.61/2133.17	c cleaning 141998 clauses out of 284409 with flag 205677240/10286000
2169.27/2164.75	c cleaning 142977 clauses out of 286411 with flag 208741636/10430000
2201.30/2196.87	c cleaning 143993 clauses out of 288434 with flag 211811858/10575000
2234.24/2229.81	c cleaning 145019 clauses out of 290442 with flag 215034727/10721001
2267.30/2262.80	c cleaning 146003 clauses out of 292423 with flag 218221117/10868001
2299.65/2295.26	c cleaning 147026 clauses out of 294419 with flag 221318912/11016000
2333.39/2329.04	c cleaning 147992 clauses out of 296395 with flag 224601752/11165002
2366.70/2362.27	c cleaning 149013 clauses out of 298401 with flag 227782165/11315000
2399.74/2395.31	c cleaning 150034 clauses out of 300390 with flag 230955925/11466002
2434.30/2429.71	c cleaning 151015 clauses out of 302355 with flag 234238707/11618001
2468.64/2464.14	c cleaning 151972 clauses out of 304339 with flag 237589694/11771000
2502.63/2498.18	c cleaning 152981 clauses out of 306368 with flag 240900293/11925001
2536.46/2532.01	c cleaning 153969 clauses out of 308386 with flag 244174436/12080000
2570.90/2566.51	c cleaning 155019 clauses out of 310418 with flag 247523055/12236001
2605.51/2601.12	c cleaning 155982 clauses out of 312398 with flag 250887270/12393000
2640.61/2636.32	c cleaning 156997 clauses out of 314416 with flag 254265517/12551000
2677.80/2673.34	c cleaning 158003 clauses out of 316419 with flag 257745391/12710000
2713.09/2708.58	c cleaning 159010 clauses out of 318417 with flag 261164350/12870001
2749.12/2744.61	c cleaning 160022 clauses out of 320407 with flag 264658144/13031001
2785.66/2781.17	c cleaning 160999 clauses out of 322385 with flag 268207497/13193001
2821.08/2816.65	c cleaning 162030 clauses out of 324387 with flag 271675652/13356002
2858.23/2853.75	c cleaning 162993 clauses out of 326355 with flag 275195095/13520000
2894.15/2889.77	c cleaning 163941 clauses out of 328362 with flag 278675562/13685000
2931.24/2926.71	c cleaning 165007 clauses out of 330421 with flag 282229098/13851000
2967.57/2963.16	c cleaning 166028 clauses out of 332415 with flag 285779846/14018001
3005.74/3001.22	c cleaning 167044 clauses out of 334386 with flag 289383481/14186000
3043.37/3038.92	c cleaning 167940 clauses out of 336342 with flag 293059221/14355000
3082.46/3078.00	c cleaning 168982 clauses out of 338402 with flag 296824949/14525000
3120.29/3115.84	c cleaning 170030 clauses out of 340421 with flag 300460576/14696001
3160.92/3155.68	c cleaning 171017 clauses out of 342390 with flag 304295608/14868000
3200.35/3195.18	c cleaning 171951 clauses out of 344373 with flag 308152878/15041000
3239.54/3234.24	c cleaning 173024 clauses out of 346422 with flag 311870906/15215000
3280.16/3274.94	c cleaning 174020 clauses out of 348399 with flag 315763684/15390001
3321.98/3316.69	c cleaning 175021 clauses out of 350380 with flag 319716593/15566002
3362.39/3357.12	c cleaning 176004 clauses out of 352357 with flag 323650601/15743000
3402.95/3397.65	c cleaning 176946 clauses out of 354354 with flag 327522645/15921001
3443.85/3438.64	c cleaning 178016 clauses out of 356407 with flag 331519289/16100000
3484.65/3479.33	c cleaning 179025 clauses out of 358394 with flag 335401074/16280003
3526.45/3521.21	c cleaning 179952 clauses out of 360367 with flag 339419534/16461001
3568.85/3563.53	c cleaning 181048 clauses out of 362415 with flag 343474503/16643001
3600.08/3594.82	c timeout
3600.08/3594.83	c starts		: 141340
3600.08/3594.84	c conflicts		: 16783513
3600.08/3594.84	c decisions		: 1402489187
3600.08/3594.84	c propagations		: 9122820852
3600.08/3594.84	c inspects		: 17962811635
3600.08/3594.84	c shortcuts		: 0
3600.08/3594.84	c learnt literals	: 0
3600.08/3594.84	c learnt binary clauses	: 0
3600.08/3594.84	c learnt ternary clauses	: 0
3600.08/3594.84	c learnt constraints	: 16783513
3600.08/3594.84	c ignored constraints	: 0
3600.08/3594.84	c root simplifications	: 0
3600.08/3594.84	c removed literals (reason simplification)	: 10861268
3600.08/3594.84	c reason swapping (by a shorter reason)	: 0
3600.08/3594.84	c Calls to reduceDB	: 178
3600.08/3594.84	c Number of update (reduction) of LBD	: 6057764
3600.08/3594.84	c Imported unit clauses	: 0
3600.08/3594.84	c No decision after first conflict	: false
3600.08/3594.84	c number of reductions to clauses (during analyze)	: 0
3600.08/3594.84	c number of learned constraints concerned by reduction	: 0
3600.08/3594.84	c number of learning phase by resolution	: 0
3600.08/3594.84	c number of learning phase by cutting planes	: 0
3600.08/3594.84	c number of rounding to 1 operations	: 0
3600.08/3594.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3594.84	c number of reductions of the coefficients by power 2 	: 0
3600.08/3594.84	c number of right shift for reduction by power 2 	: 0
3600.08/3594.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3594.84	c number of ending skipping 	: 0
3600.08/3594.84	c number of internal skipping 	: 0
3600.08/3594.84	c number of derivation steps 	: 0
3600.08/3594.84	c number of skipped derivation steps 	: 0
3600.08/3594.84	c number of remaining unassigned 	: 0
3600.08/3594.84	c number of remaining assigned 	: 0
3600.08/3594.84	c number of falsified literals weakened from reason	: 0
3600.08/3594.84	c number of falsified literals weakened from conflict	: 0
3600.08/3594.84	c time for arithmetic operations	: 0
3600.08/3594.84	c minimum degree of deleted constraints	: null
3600.08/3594.84	c maximum degree of deleted constraints	: null
3600.08/3594.84	c number of deleted constraints	: 0
3600.08/3594.84	c speed (assignments/second)	: 2538579.16137032
3600.08/3594.84	c non guided choices	: 41376910
3600.27/3594.92	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 321879
3600.27/3594.92	s UNKNOWN
3600.27/3594.92	c Total wall clock time (in seconds): 3594.574

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=35358, runsolver pid=35355
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.30 4.20 4.12 6/326 35379
/proc/meminfo: memFree=118078196/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=18930344 memory=49016 CPUtime=0.09 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 5632 0 0 0 6 3 0 0 20 0 18 0 39761784 19384672256 12254 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4732586 12254 5084 1 0 546863 0
[pid=35358/tid=35360] ppid=35355 vsize=18930344 memory=4026531960 CPUtime=0.05 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 4569 0 0 0 3 2 0 0 20 0 18 0 39761786 19384672256 12254 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=18930344 memory=228522721619 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761791 19384672256 12254 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=18930344 memory=58494082630061 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39761792 19384672256 12254 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 49016 KiB

[startup+0.213765 s]*
/proc/loadavg: 4.30 4.20 4.12 6/307 35379
/proc/meminfo: memFree=125715540/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=18930384 memory=51832 CPUtime=0.25 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 6082 0 0 0 21 4 0 0 20 0 18 0 39761784 19384713216 12958 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4732596 12958 5372 1 0 547235 0
[pid=35358/tid=35360] ppid=35355 vsize=18930384 memory=4026597495 CPUtime=0.17 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) S 35355 35358 32092 0 -1 4194368 4964 0 0 0 14 3 0 0 20 0 18 0 39761786 19384713216 12958 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=18930384 memory=215637833027 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761791 19384713216 12958 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=18930384 memory=17772 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39761792 19384713216 12958 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51832 KiB

[startup+0.315722 s]*
/proc/loadavg: 4.30 4.20 4.12 7/304 35383
/proc/meminfo: memFree=126301264/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=18930384 memory=58204 CPUtime=0.43 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 6648 0 0 0 38 5 0 0 20 0 18 0 39761784 19384713216 14551 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4732596 14551 5372 1 0 547769 0
[pid=35358/tid=35360] ppid=35355 vsize=18930384 memory=8039887049847964074 CPUtime=0.26 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 5193 0 0 0 23 3 0 0 20 0 18 0 39761786 19384713216 14551 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39761791 19384713216 14551 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 39761792 19384713216 14551 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58204 KiB

[startup+0.700396 s]
/proc/loadavg: 4.30 4.20 4.12 8/303 35388
/proc/meminfo: memFree=126200760/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=18996948 memory=365072 CPUtime=1.09 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 8094 0 0 0 94 15 0 0 20 0 19 0 39761784 19452874752 91268 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4749237 91268 5468 1 0 548812 0
[pid=35358/tid=35360] ppid=35355 vsize=18996948 memory=17408 CPUtime=0.59 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 5414 0 0 0 48 11 0 0 20 0 19 0 39761786 19452874752 91268 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39761791 19452874752 91268 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39761792 19452874752 91268 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 365072 KiB

[startup+1.50024 s]
/proc/loadavg: 4.30 4.20 4.12 5/305 35394
/proc/meminfo: memFree=125589572/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1158724 CPUtime=2.62 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 10661 0 0 0 226 36 0 0 20 0 20 0 39761784 19521036288 289681 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 289681 5468 1 0 1028504 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=3200 CPUtime=1.33 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 5845 0 0 0 104 29 0 0 20 0 20 0 39761786 19521036288 289681 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 289681 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 289681 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1158724 KiB

[startup+3.10557 s]
/proc/loadavg: 4.44 4.23 4.13 7/327 35445
/proc/meminfo: memFree=124728284/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1195064 CPUtime=5.4 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 14666 0 0 0 502 38 0 0 20 0 20 0 39761784 19521036288 298766 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 298766 5500 1 0 1030719 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=11264 CPUtime=2.92 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 5906 0 0 0 262 30 0 0 20 0 20 0 39761786 19521036288 298766 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 298766 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 298766 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 298766 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1195064 KiB

[startup+6.30045 s]
/proc/loadavg: 4.44 4.23 4.13 6/327 35445
/proc/meminfo: memFree=124667664/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1227960 CPUtime=8.61 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 14734 0 0 0 822 39 0 0 20 0 20 0 39761784 19521036288 306990 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 306990 5532 1 0 1030719 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=11264 CPUtime=6.1 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 5972 0 0 0 580 30 0 0 20 0 20 0 39761786 19521036288 306990 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 306990 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=-6000919485591545708 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 306990 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 306990 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1227960 KiB

[startup+12.7005 s]
/proc/loadavg: 4.45 4.24 4.13 5/327 35445
/proc/meminfo: memFree=124561420/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1279160 CPUtime=15 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 15342 0 0 0 1460 40 0 0 20 0 20 0 39761784 19521036288 319790 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 319790 5532 1 0 1030719 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=1273016 CPUtime=12.49 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 6536 0 0 0 1218 31 0 0 20 0 20 0 39761786 19521036288 319790 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 319790 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 319790 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=-6000919485591545708 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 319790 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1279160 KiB

[startup+25.5004 s]
/proc/loadavg: 4.46 4.24 4.13 5/326 35512
/proc/meminfo: memFree=126845420/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1373368 CPUtime=27.8 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 18724 0 0 0 2738 42 0 0 20 0 20 0 39761784 19521036288 343342 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 343342 5532 1 0 1030719 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=1273016 CPUtime=25.25 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 7845 0 0 0 2492 33 0 0 20 0 20 0 39761786 19521036288 343342 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 343342 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=2273 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 343342 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=37349433 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 343342 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 27.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1373368 KiB

[startup+51.1131 s]
/proc/loadavg: 4.44 4.26 4.14 5/326 35512
/proc/meminfo: memFree=126123604/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=1555640 CPUtime=53.47 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 20561 0 0 0 5300 47 0 0 20 0 20 0 39761784 19521036288 388910 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 388910 5532 1 0 1030719 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=5632 CPUtime=50.78 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 8761 0 0 0 5042 36 0 0 20 0 20 0 39761786 19521036288 388910 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=1488056 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 388910 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 388910 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=-6000919485591545708 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 388910 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 53.47 s

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

[startup+3282.3 s]
/proc/loadavg: 4.26 4.21 4.19 5/326 35676
/proc/meminfo: memFree=113251772/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3287.54 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 119054 0 0 0 328479 275 0 0 20 0 20 0 39761784 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026360 5532 1 0 1040170 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3264.35 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 69494 0 0 0 326347 88 0 0 20 0 20 0 39761786 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=4105440 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=4105440 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1491 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3287.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4105440 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/326 35678
/proc/meminfo: memFree=112934388/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3347.61 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 120344 0 0 0 334483 278 0 0 20 0 20 0 39761784 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026360 5532 1 0 1040170 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3323.96 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 69938 0 0 0 332308 88 0 0 20 0 20 0 39761786 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=-6000919485591545708 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=4105440 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1536 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026360 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3347.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4105440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.17 6/326 35680
/proc/meminfo: memFree=112307340/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4105568 CPUtime=3407.63 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 122121 0 0 0 340482 281 0 0 20 0 20 0 39761784 19521036288 1026392 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026392 5532 1 0 1040199 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3383.64 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 71399 0 0 0 338274 90 0 0 20 0 20 0 39761786 19521036288 1026392 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=4105440 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026392 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1669 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026392 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026392 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3407.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4105568 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/326 35682
/proc/meminfo: memFree=112009244/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4105952 CPUtime=3467.69 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 124301 0 0 0 346484 285 0 0 20 0 20 0 39761784 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026488 5532 1 0 1040303 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4105440 CPUtime=3443.26 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 72608 0 0 0 344236 90 0 0 20 0 20 0 39761786 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=4105568 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=4105568 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3467.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4105952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/326 35684
/proc/meminfo: memFree=111888980/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4105952 CPUtime=3527.55 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 124957 0 0 0 352467 288 0 0 20 0 20 0 39761784 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026488 5532 1 0 1040303 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4105568 CPUtime=3503.07 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 73260 0 0 0 350217 90 0 0 20 0 20 0 39761786 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=4105952 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026488 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3527.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4105952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.18 4/301 35722
/proc/meminfo: memFree=115023964/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4106080 CPUtime=3587.6 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 127290 0 0 0 358467 293 0 0 20 0 20 0 39761784 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026520 5532 1 0 1040308 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=4106080 CPUtime=3562.72 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 74625 0 0 0 356180 92 0 0 20 0 20 0 39761786 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=4106080 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1796 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=4106080 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4106080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3594.8 s]
/proc/loadavg: 3.89 4.11 4.16 3/276 35756
/proc/meminfo: memFree=121335396/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19063512 memory=4106080 CPUtime=3600.08 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 127591 0 0 0 359713 295 0 0 20 0 20 0 39761784 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4765878 1026520 5532 1 0 1040308 0
[pid=35358/tid=35360] ppid=35355 vsize=19063512 memory=3456 CPUtime=3575.18 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) R 35355 35358 32092 0 -1 4194368 74860 0 0 0 357425 93 0 0 20 0 20 0 39761786 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19063512 memory=-6000919485591545708 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39761791 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19063512 memory=4447484 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1796 0 0 0 0 0 0 0 20 0 20 0 39761792 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35398] ppid=35355 vsize=19063512 memory=2944 CPUtime=0 cores=1,3
/proc/35358/task/35398/stat : 35398 (Timer-0) S 35355 35358 32092 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39761902 19521036288 1026520 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4106080 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.36 s, system=2.99026 s

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

[startup+3594.9 s]
/proc/loadavg: 3.89 4.11 4.16 3/276 35756
/proc/meminfo: memFree=121335396/131382112 swapFree=33010684/33010684
[pid=35358] ppid=35355 vsize=19263204 memory=4106720 CPUtime=3600.27 cores=1,3
/proc/35358/stat : 35358 (java) S 35355 35358 32092 0 -1 4194304 130068 0 0 0 359731 296 0 0 20 0 21 0 39761784 19725520896 1026680 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
/proc/35358/statm: 4815801 1026680 5564 1 0 1041227 0
[pid=35358/tid=35360] ppid=35355 vsize=19263204 memory=4106080 CPUtime=3575.2 cores=1,3
/proc/35358/task/35360/stat : 35360 (java) S 35355 35358 32092 0 -1 4194368 75187 0 0 0 357427 93 0 0 20 0 21 0 39761786 19725520896 1026680 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35372] ppid=35355 vsize=19263204 memory=17408 CPUtime=0 cores=1,3
/proc/35358/task/35372/stat : 35372 (Finalizer) S 35355 35358 32092 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 39761791 19725520896 1026680 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
[pid=35358/tid=35379] ppid=35355 vsize=19263204 memory=4252 CPUtime=0 cores=1,3
/proc/35358/task/35379/stat : 35379 (Common-Cleaner) S 35355 35358 32092 0 -1 4194368 1796 0 0 0 0 0 0 0 20 0 21 0 39761792 19725520896 1026680 18446744073709551615 94311551483904 94311551487600 140734147057008 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94311551495416 94311551496208 94311571902464 140734147066241 140734147066342 140734147066342 140734147071944 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4106720 KiB

Child status: 143

Real time (s): 3594.97
CPU time (s): 3600.35
CPU user time (s): 3597.36
CPU system time (s): 2.99026
CPU usage (%): 100.15
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4106720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 2.99026
maximum resident set size= 4106976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111697
involuntary context switches= 3192


# summary of solver processes directly reported to runsolver:
#   pid: 35358
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3597.36
#   total CPU system time (s): 2.99026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5401 second user time and 35.1339 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-30 01:47:04
IDJOB=4516650
IDBENCH=175711
IDSOLVER=3363
FILE ID=nodeC005/4516650-1751240824
RUNJOBID= nodeC005-1751237252-34858
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-eq-random4reg-4000.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516650-1751240824/watcher-4516650-1751240824 -o /tmp/evaluation-result-4516650-1751240824/solver-4516650-1751240824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751237252-34858 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516650-1751240824.opb

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

MD5SUM BENCH= 505a4ae26cb167d5fc0677a4ae659532
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		: 3556.777
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		: 1197.240
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.566
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		: 1198.001
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		: 3492.280
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.906
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		: 3700.000
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.170
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:        118112344 kB
MemAvailable:   118200380 kB
Buffers:            3280 kB
Cached:           891172 kB
SwapCached:            0 kB
Active:         12101540 kB
Inactive:         643280 kB
Active(anon):   11868332 kB
Inactive(anon):        0 kB
Active(file):     233208 kB
Inactive(file):   643280 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2308 kB
Writeback:             0 kB
AnonPages:      11853532 kB
Mapped:           122216 kB
Shmem:             17960 kB
KReclaimable:     102352 kB
Slab:             184836 kB
SReclaimable:     102352 kB
SUnreclaim:        82484 kB
KernelStack:        4976 kB
PageTables:        26808 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   16755688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11554816 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:59