Trace number 4516651

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.17 3595.83

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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4516651-1751241005.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.15	c  no objective function found
1.06/0.66	c ... done. Wall clock time 0.514s.
1.06/0.66	c declared #vars     16001
1.06/0.66	c #constraints  16000
1.06/0.66	c constraints type 
1.06/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 16000
1.06/0.66	c 16000 constraints processed.
4.22/2.26	c cleaning 2488 clauses out of 5000 with flag 36528/5000
6.46/3.42	c cleaning 4243 clauses out of 8512 with flag 83601/11000
8.15/4.86	c cleaning 5619 clauses out of 11269 with flag 157377/18000
9.88/6.59	c cleaning 6810 clauses out of 13651 with flag 255657/26001
12.11/8.77	c cleaning 7871 clauses out of 15841 with flag 379307/35001
14.11/10.77	c cleaning 8931 clauses out of 17969 with flag 493438/45000
16.91/13.50	c cleaning 9946 clauses out of 20038 with flag 655952/56000
20.00/16.65	c cleaning 10937 clauses out of 22095 with flag 842618/68003
23.25/19.87	c cleaning 12078 clauses out of 24155 with flag 1023975/81000
26.64/23.21	c cleaning 12897 clauses out of 26078 with flag 1220110/95001
30.83/27.49	c cleaning 14090 clauses out of 28180 with flag 1477268/110000
34.83/31.47	c cleaning 14886 clauses out of 30091 with flag 1697485/126001
39.35/35.95	c cleaning 15928 clauses out of 32204 with flag 1974987/143000
43.98/40.58	c cleaning 17016 clauses out of 34278 with flag 2246283/161002
48.77/45.37	c cleaning 18125 clauses out of 36260 with flag 2578600/180000
53.28/49.87	c cleaning 18894 clauses out of 38136 with flag 2890737/200001
58.47/55.04	c cleaning 19954 clauses out of 40243 with flag 3266508/221002
63.48/60.09	c cleaning 20979 clauses out of 42287 with flag 3630203/243000
68.66/65.20	c cleaning 22143 clauses out of 44308 with flag 4006801/266000
74.29/70.91	c cleaning 22936 clauses out of 46165 with flag 4421280/290000
80.06/76.77	c cleaning 23917 clauses out of 48230 with flag 4854767/315001
86.28/82.96	c cleaning 24969 clauses out of 50314 with flag 5321766/341002
92.76/89.46	c cleaning 26103 clauses out of 52344 with flag 5813875/368001
99.06/95.75	c cleaning 26915 clauses out of 54240 with flag 6275849/396000
106.07/102.80	c cleaning 27933 clauses out of 56325 with flag 6819569/425000
113.05/109.84	c cleaning 29024 clauses out of 58395 with flag 7384617/455003
120.68/117.47	c cleaning 30018 clauses out of 60368 with flag 7985802/486000
128.09/124.87	c cleaning 30975 clauses out of 62350 with flag 8531332/518000
135.68/132.55	c cleaning 32006 clauses out of 64376 with flag 9114835/551001
143.58/140.47	c cleaning 33019 clauses out of 66369 with flag 9730660/585000
151.98/148.84	c cleaning 34178 clauses out of 68355 with flag 10379540/620005
160.48/157.40	c cleaning 34852 clauses out of 70173 with flag 11048562/656001
169.30/166.23	c cleaning 35954 clauses out of 72321 with flag 11791523/693001
178.08/175.07	c cleaning 36977 clauses out of 74366 with flag 12533658/731000
187.08/184.08	c cleaning 38000 clauses out of 76389 with flag 13292075/770000
196.28/193.34	c cleaning 38977 clauses out of 78390 with flag 14046884/810001
205.78/202.84	c cleaning 39961 clauses out of 80412 with flag 14829903/851000
215.48/212.53	c cleaning 40997 clauses out of 82451 with flag 15658829/893000
225.20/222.31	c cleaning 42018 clauses out of 84455 with flag 16475315/936001
235.52/232.63	c cleaning 42993 clauses out of 86436 with flag 17321525/980000
246.35/243.47	c cleaning 43985 clauses out of 88445 with flag 18226189/1025002
257.09/254.22	c cleaning 45229 clauses out of 90458 with flag 19108211/1071000
268.13/265.28	c cleaning 45920 clauses out of 92229 with flag 20044078/1118000
279.05/276.07	c cleaning 46945 clauses out of 94309 with flag 20913586/1166000
290.80/287.89	c cleaning 48011 clauses out of 96364 with flag 21902685/1215000
302.42/299.45	c cleaning 48963 clauses out of 98353 with flag 22864798/1265000
314.48/311.43	c cleaning 49963 clauses out of 100391 with flag 23847877/1316001
326.44/323.44	c cleaning 51024 clauses out of 102428 with flag 24854053/1368001
338.82/335.75	c cleaning 51954 clauses out of 104404 with flag 25903513/1421001
350.99/347.93	c cleaning 53020 clauses out of 106450 with flag 26896903/1475001
363.31/360.24	c cleaning 53997 clauses out of 108430 with flag 27952513/1530001
376.10/372.98	c cleaning 54982 clauses out of 110432 with flag 29018496/1586000
389.45/386.30	c cleaning 55938 clauses out of 112451 with flag 30146342/1643001
402.94/399.71	c cleaning 57059 clauses out of 114514 with flag 31277730/1701002
416.30/413.17	c cleaning 58010 clauses out of 116454 with flag 32395689/1760001
430.01/426.82	c cleaning 58994 clauses out of 118443 with flag 33569404/1820000
443.98/440.85	c cleaning 60008 clauses out of 120449 with flag 34746484/1881000
458.32/455.11	c cleaning 60987 clauses out of 122442 with flag 35963793/1943001
472.99/469.87	c cleaning 62003 clauses out of 124454 with flag 37228590/2006000
487.70/484.47	c cleaning 62984 clauses out of 126451 with flag 38470127/2070000
502.84/499.66	c cleaning 64018 clauses out of 128468 with flag 39791215/2135001
517.80/514.52	c cleaning 64984 clauses out of 130449 with flag 41059646/2201000
533.42/530.26	c cleaning 65986 clauses out of 132465 with flag 42407371/2268000
548.48/545.20	c cleaning 67023 clauses out of 134479 with flag 43683758/2336000
564.29/561.03	c cleaning 68048 clauses out of 136459 with flag 45021464/2405003
580.11/576.86	c cleaning 68942 clauses out of 138408 with flag 46369979/2475000
596.74/593.53	c cleaning 69970 clauses out of 140467 with flag 47793394/2546001
613.12/609.83	c cleaning 71002 clauses out of 142497 with flag 49200893/2618001
630.15/626.93	c cleaning 72066 clauses out of 144494 with flag 50670192/2691000
647.41/644.13	c cleaning 72972 clauses out of 146428 with flag 52165315/2765000
664.40/661.23	c cleaning 74030 clauses out of 148456 with flag 53605951/2840000
681.95/678.76	c cleaning 75022 clauses out of 150426 with flag 55124725/2916000
700.06/696.92	c cleaning 75986 clauses out of 152406 with flag 56687869/2993002
717.53/714.44	c cleaning 77209 clauses out of 154418 with flag 58170542/3071000
735.48/732.38	c cleaning 77886 clauses out of 156210 with flag 59690979/3150001
753.96/751.16	c cleaning 78975 clauses out of 158324 with flag 61244906/3230001
772.31/769.46	c cleaning 79917 clauses out of 160350 with flag 62808381/3311002
791.43/788.65	c cleaning 80974 clauses out of 162433 with flag 64436646/3393002
810.53/807.89	c cleaning 82210 clauses out of 164457 with flag 66095505/3476000
829.99/827.20	c cleaning 82917 clauses out of 166247 with flag 67776148/3560000
849.39/846.79	c cleaning 83980 clauses out of 168332 with flag 69412791/3645002
870.20/867.64	c cleaning 84954 clauses out of 170351 with flag 71232451/3731001
890.35/887.75	c cleaning 85936 clauses out of 172396 with flag 72972518/3818000
910.65/908.16	c cleaning 87035 clauses out of 174461 with flag 74718556/3906001
931.24/928.77	c cleaning 87992 clauses out of 176426 with flag 76455383/3995001
952.11/949.56	c cleaning 88983 clauses out of 178434 with flag 78264129/4085001
973.79/971.38	c cleaning 90032 clauses out of 180450 with flag 80110931/4176000
994.56/992.66	c cleaning 90968 clauses out of 182418 with flag 81884523/4268000
1016.78/1014.73	c cleaning 92001 clauses out of 184452 with flag 83800365/4361002
1038.89/1036.93	c cleaning 93011 clauses out of 186449 with flag 85699481/4455000
1060.96/1059.01	c cleaning 93970 clauses out of 188439 with flag 87613771/4550001
1083.34/1081.43	c cleaning 95025 clauses out of 190469 with flag 89513975/4646001
1106.20/1104.21	c cleaning 96024 clauses out of 192444 with flag 91486491/4743001
1129.07/1127.13	c cleaning 97032 clauses out of 194419 with flag 93455773/4841000
1151.58/1149.76	c cleaning 98082 clauses out of 196389 with flag 95383252/4940002
1175.09/1173.20	c cleaning 98959 clauses out of 198307 with flag 97389051/5040002
1199.11/1197.07	c cleaning 100005 clauses out of 200348 with flag 99442053/5141002
1222.76/1220.79	c cleaning 100961 clauses out of 202341 with flag 101456320/5243000
1247.33/1245.25	c cleaning 101988 clauses out of 204380 with flag 103544597/5346000
1271.99/1269.91	c cleaning 102986 clauses out of 206392 with flag 105661821/5450000
1297.30/1295.31	c cleaning 104009 clauses out of 208407 with flag 107866784/5555001
1322.03/1319.95	c cleaning 105201 clauses out of 210401 with flag 110006575/5661004
1347.64/1345.52	c cleaning 105900 clauses out of 212196 with flag 112180706/5768000
1373.29/1371.26	c cleaning 106902 clauses out of 214296 with flag 114418818/5876000
1399.02/1396.99	c cleaning 107986 clauses out of 216395 with flag 116628184/5985001
1425.65/1423.52	c cleaning 108994 clauses out of 218408 with flag 118905674/6095000
1451.93/1449.84	c cleaning 109985 clauses out of 220414 with flag 121197959/6206000
1478.03/1475.84	c cleaning 111020 clauses out of 222429 with flag 123433934/6318000
1504.72/1502.55	c cleaning 112037 clauses out of 224409 with flag 125701611/6431000
1531.92/1529.80	c cleaning 112939 clauses out of 226374 with flag 128045359/6545002
1559.23/1557.07	c cleaning 113984 clauses out of 228435 with flag 130363242/6660002
1587.09/1584.96	c cleaning 115225 clauses out of 230450 with flag 132783883/6776001
1615.38/1613.21	c cleaning 115892 clauses out of 232228 with flag 135214802/6893004
1642.98/1640.78	c cleaning 116970 clauses out of 234332 with flag 137573263/7011000
1671.50/1669.28	c cleaning 117982 clauses out of 236363 with flag 140017059/7130001
1700.65/1699.11	c cleaning 118982 clauses out of 238380 with flag 142539998/7250000
1729.58/1728.05	c cleaning 120010 clauses out of 240398 with flag 145038191/7371000
1758.82/1757.20	c cleaning 120993 clauses out of 242389 with flag 147578032/7493001
1788.44/1786.80	c cleaning 122013 clauses out of 244395 with flag 150128150/7616000
1817.94/1816.25	c cleaning 122992 clauses out of 246382 with flag 152644657/7740000
1847.63/1846.00	c cleaning 124026 clauses out of 248391 with flag 155192075/7865001
1878.22/1876.48	c cleaning 124964 clauses out of 250365 with flag 157762284/7991001
1908.65/1906.87	c cleaning 125980 clauses out of 252400 with flag 160376410/8118000
1939.18/1937.38	c cleaning 127011 clauses out of 254420 with flag 163003903/8246000
1970.44/1969.04	c cleaning 128027 clauses out of 256409 with flag 165700108/8375000
2002.05/2000.56	c cleaning 128952 clauses out of 258383 with flag 168454651/8505001
2033.61/2032.04	c cleaning 130011 clauses out of 260431 with flag 171164646/8636001
2065.42/2063.96	c cleaning 130995 clauses out of 262419 with flag 173904064/8768000
2097.43/2095.86	c cleaning 132020 clauses out of 264424 with flag 176589553/8901000
2130.67/2129.09	c cleaning 133034 clauses out of 266405 with flag 179456942/9035001
2163.09/2161.47	c cleaning 133972 clauses out of 268370 with flag 182223624/9170000
2196.28/2194.53	c cleaning 135001 clauses out of 270399 with flag 185067306/9306001
2229.97/2228.08	c cleaning 136012 clauses out of 272397 with flag 187965862/9443000
2263.77/2261.77	c cleaning 136986 clauses out of 274386 with flag 190831375/9581001
2297.67/2295.62	c cleaning 138017 clauses out of 276399 with flag 193740623/9720000
2331.95/2329.89	c cleaning 139012 clauses out of 278382 with flag 196682899/9860000
2366.36/2364.24	c cleaning 140016 clauses out of 280370 with flag 199629719/10001000
2401.21/2399.07	c cleaning 140945 clauses out of 282354 with flag 202620101/10143000
2436.82/2434.67	c cleaning 141998 clauses out of 284409 with flag 205677240/10286000
2472.24/2469.81	c cleaning 142977 clauses out of 286411 with flag 208741636/10430000
2508.04/2505.53	c cleaning 143993 clauses out of 288434 with flag 211811858/10575000
2544.98/2542.34	c cleaning 145019 clauses out of 290442 with flag 215034727/10721001
2581.62/2579.11	c cleaning 146003 clauses out of 292423 with flag 218221117/10868001
2618.12/2615.56	c cleaning 147026 clauses out of 294419 with flag 221318912/11016000
2655.93/2653.39	c cleaning 147992 clauses out of 296395 with flag 224601752/11165002
2693.41/2690.52	c cleaning 149013 clauses out of 298401 with flag 227782165/11315000
2730.72/2727.96	c cleaning 150034 clauses out of 300390 with flag 230955925/11466002
2768.35/2765.57	c cleaning 151015 clauses out of 302355 with flag 234238707/11618001
2807.04/2804.24	c cleaning 151972 clauses out of 304339 with flag 237589694/11771000
2845.44/2842.58	c cleaning 152981 clauses out of 306368 with flag 240900293/11925001
2884.18/2880.83	c cleaning 153969 clauses out of 308386 with flag 244174436/12080000
2923.07/2919.69	c cleaning 155019 clauses out of 310418 with flag 247523055/12236001
2961.99/2958.66	c cleaning 155982 clauses out of 312398 with flag 250887270/12393000
3001.59/2998.17	c cleaning 156997 clauses out of 314416 with flag 254265517/12551000
3041.89/3039.13	c cleaning 158003 clauses out of 316419 with flag 257745391/12710000
3082.01/3078.97	c cleaning 159010 clauses out of 318417 with flag 261164350/12870001
3122.76/3119.58	c cleaning 160022 clauses out of 320407 with flag 264658144/13031001
3164.63/3161.43	c cleaning 160999 clauses out of 322385 with flag 268207497/13193001
3204.79/3201.58	c cleaning 162030 clauses out of 324387 with flag 271675652/13356002
3245.81/3242.28	c cleaning 162993 clauses out of 326355 with flag 275195095/13520000
3286.55/3282.95	c cleaning 163941 clauses out of 328362 with flag 278675562/13685000
3327.95/3324.36	c cleaning 165007 clauses out of 330421 with flag 282229098/13851000
3369.14/3365.49	c cleaning 166028 clauses out of 332415 with flag 285779846/14018001
3411.29/3407.34	c cleaning 167044 clauses out of 334386 with flag 289383481/14186000
3453.64/3449.76	c cleaning 167940 clauses out of 336342 with flag 293059221/14355000
3496.93/3492.98	c cleaning 168982 clauses out of 338402 with flag 296824949/14525000
3539.50/3535.40	c cleaning 170030 clauses out of 340421 with flag 300460576/14696001
3583.71/3579.42	c cleaning 171017 clauses out of 342390 with flag 304295608/14868000
3600.01/3595.71	c starts		: 125626
3600.01/3595.71	c timeout
3600.01/3595.72	c conflicts		: 14935335
3600.01/3595.72	c decisions		: 1249995864
3600.01/3595.72	c propagations		: 8130156853
3600.01/3595.72	c inspects		: 15788360759
3600.01/3595.72	c shortcuts		: 0
3600.01/3595.72	c learnt literals	: 0
3600.01/3595.72	c learnt binary clauses	: 0
3600.01/3595.72	c learnt ternary clauses	: 0
3600.01/3595.72	c learnt constraints	: 14935335
3600.01/3595.72	c ignored constraints	: 0
3600.01/3595.72	c root simplifications	: 0
3600.01/3595.72	c removed literals (reason simplification)	: 9524579
3600.01/3595.72	c reason swapping (by a shorter reason)	: 0
3600.01/3595.73	c Calls to reduceDB	: 168
3600.01/3595.73	c Number of update (reduction) of LBD	: 5411888
3600.01/3595.73	c Imported unit clauses	: 0
3600.01/3595.73	c No decision after first conflict	: false
3600.01/3595.73	c number of reductions to clauses (during analyze)	: 0
3600.01/3595.73	c number of learned constraints concerned by reduction	: 0
3600.01/3595.73	c number of learning phase by resolution	: 0
3600.01/3595.73	c number of learning phase by cutting planes	: 0
3600.01/3595.73	c number of rounding to 1 operations	: 0
3600.01/3595.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3595.73	c number of reductions of the coefficients by power 2 	: 0
3600.01/3595.73	c number of right shift for reduction by power 2 	: 0
3600.01/3595.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3595.73	c number of ending skipping 	: 0
3600.01/3595.73	c number of internal skipping 	: 0
3600.01/3595.73	c number of derivation steps 	: 0
3600.01/3595.73	c number of skipped derivation steps 	: 0
3600.01/3595.73	c number of remaining unassigned 	: 0
3600.01/3595.73	c number of remaining assigned 	: 0
3600.01/3595.73	c number of falsified literals weakened from reason	: 0
3600.01/3595.73	c number of falsified literals weakened from conflict	: 0
3600.01/3595.73	c time for arithmetic operations	: 0
3600.01/3595.73	c minimum degree of deleted constraints	: null
3600.01/3595.73	c maximum degree of deleted constraints	: null
3600.01/3595.73	c number of deleted constraints	: 0
3600.01/3595.73	c speed (assignments/second)	: 2261482.673148902
3600.01/3595.73	c non guided choices	: 36670589
3600.01/3595.80	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 238708
3600.01/3595.80	s UNKNOWN
3600.01/3595.80	c Total wall clock time (in seconds): 3595.656

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (44612 MiB free)
  memory of node 1: 64465 MiB (34711 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516651-1751241005/watcher-4516651-1751241005 -o /tmp/evaluation-result-4516651-1751241005/solver-4516651-1751241005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31994 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516651-1751241005 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516651-1751241005.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32518, runsolver pid=32515

[startup+0.10006 s]*
/proc/loadavg: 4.33 4.28 4.23 6/345 32536
/proc/meminfo: memFree=81198192/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=18930384 memory=55660 CPUtime=0.12 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 6534 0 0 0 10 2 0 0 20 0 18 0 39777948 19384713216 13915 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4732596 13915 5369 1 0 547587 0
[pid=32518/tid=32520] ppid=32515 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 5038 0 0 0 6 1 0 0 20 0 18 0 39777950 19384713216 13915 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39777952 19384713216 13915 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=18930384 memory=56286469452864 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39777952 19384713216 13915 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55660 KiB

[startup+0.206003 s]*
/proc/loadavg: 4.31 4.28 4.23 7/346 32537
/proc/meminfo: memFree=81097116/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=18996948 memory=150580 CPUtime=0.3 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 7180 0 0 0 26 4 0 0 20 0 19 0 39777948 19452874752 37645 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4749237 37645 5465 1 0 548241 0
[pid=32518/tid=32520] ppid=32515 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 5307 0 0 0 14 3 0 0 20 0 19 0 39777950 19452874752 37645 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=18996948 memory=2621 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39777952 19452874752 37645 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=18996948 memory=55186957796323 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39777952 19452874752 37645 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150580 KiB

[startup+0.30609 s]*
/proc/loadavg: 4.31 4.28 4.23 6/346 32537
/proc/meminfo: memFree=81015892/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=18996948 memory=246780 CPUtime=0.49 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 8652 0 0 0 43 6 0 0 20 0 19 0 39777948 19452874752 61695 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4749237 61695 5465 1 0 549182 0
[pid=32518/tid=32520] ppid=32515 vsize=18996948 memory=-6000919485658524268 CPUtime=0.25 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 5353 0 0 0 20 5 0 0 20 0 19 0 39777950 19452874752 62207 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39777952 19452874752 62207 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 39777952 19452874752 62207 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 246780 KiB

[startup+0.700233 s]
/proc/loadavg: 4.31 4.28 4.23 6/346 32537
/proc/meminfo: memFree=80369836/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19067268 memory=1010604 CPUtime=1.24 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 14617 0 0 0 102 22 0 0 20 0 20 0 39777948 19524882432 252651 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4766817 252651 5465 1 0 553708 0
[pid=32518/tid=32520] ppid=32515 vsize=19067268 memory=17408 CPUtime=0.6 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 5743 0 0 0 41 19 0 0 20 0 20 0 39777950 19524882432 252683 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19067268 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19524882432 252683 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19067268 memory=3200 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39777952 19524882432 252683 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19067268 KiB
Current children cumulated memory: 1010604 KiB

[startup+1.50024 s]
/proc/loadavg: 4.31 4.28 4.23 6/347 32538
/proc/meminfo: memFree=80181492/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1117304 CPUtime=2.83 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 18295 0 0 0 257 26 0 0 20 0 20 0 39777948 19521036288 279326 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 279326 5497 1 0 555264 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=3200 CPUtime=1.31 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 5955 0 0 0 110 21 0 0 20 0 20 0 39777950 19521036288 279326 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 279326 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 279326 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 279326 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1117304 KiB

[startup+3.10581 s]
/proc/loadavg: 4.31 4.28 4.23 6/347 32538
/proc/meminfo: memFree=79951040/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1212848 CPUtime=5.97 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 18711 0 0 0 567 30 0 0 20 0 20 0 39777948 19521036288 303212 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 303212 5497 1 0 555363 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=14848 CPUtime=2.86 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 6045 0 0 0 261 25 0 0 20 0 20 0 39777950 19521036288 303212 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 303212 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 303212 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 303212 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1212848 KiB

[startup+6.30021 s]
/proc/loadavg: 4.28 4.27 4.23 5/347 32538
/proc/meminfo: memFree=79902152/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1210948 CPUtime=9.68 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 21840 0 0 0 936 32 0 0 20 0 20 0 39777948 19521036288 302737 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 302737 5529 1 0 555366 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=0 CPUtime=6.05 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 7286 0 0 0 578 27 0 0 20 0 20 0 39777950 19521036288 302737 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 302737 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 302737 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=1131668 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 302737 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 9.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1210948 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.27 4.22 5/347 32538
/proc/meminfo: memFree=79678868/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1319536 CPUtime=16.11 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 24862 0 0 0 1573 38 0 0 20 0 20 0 39777948 19521036288 329884 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 329884 5529 1 0 555366 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=1131668 CPUtime=12.4 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 7644 0 0 0 1209 31 0 0 20 0 20 0 39777950 19521036288 329884 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=1319536 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 329884 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 329884 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 329884 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 16.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1319536 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.27 4.23 5/347 32538
/proc/meminfo: memFree=79451868/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1331868 CPUtime=28.93 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 30432 0 0 0 2850 43 0 0 20 0 20 0 39777948 19521036288 332967 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 332967 5529 1 0 555366 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=0 CPUtime=25.14 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 9372 0 0 0 2478 36 0 0 20 0 20 0 39777950 19521036288 332967 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 332967 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=1331868 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 332967 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=1331868 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 332967 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 28.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1331868 KiB

[startup+51.1058 s]
/proc/loadavg: 4.30 4.28 4.23 5/348 32607
/proc/meminfo: memFree=108196216/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=1338120 CPUtime=54.58 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 37528 0 0 0 5406 52 0 0 20 0 20 0 39777948 19521036288 334530 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 334530 5529 1 0 555366 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=1331868 CPUtime=50.61 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 11664 0 0 0 5017 44 0 0 20 0 20 0 39777950 19521036288 334530 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=1338120 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 334530 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=1331868 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 53 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 334530 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.21 4.18 5/345 32858
/proc/meminfo: memFree=57247268/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3285.95 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 149236 0 0 0 327265 1330 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3233.68 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 52633 0 0 0 322138 1230 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1330 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3285.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/346 32863
/proc/meminfo: memFree=56157720/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3345.93 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 149430 0 0 0 333242 1351 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=17408 CPUtime=3292.77 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 52764 0 0 0 328026 1251 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3345.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/346 32865
/proc/meminfo: memFree=55069728/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3406.3 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 155386 0 0 0 339257 1373 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=17408 CPUtime=3351.67 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 54028 0 0 0 333895 1272 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=7020 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3406.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/346 32868
/proc/meminfo: memFree=54017464/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3466.25 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 156658 0 0 0 345230 1395 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=17408 CPUtime=3410.7 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 54955 0 0 0 339778 1292 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1377 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3466.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/348 32872
/proc/meminfo: memFree=52935376/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3526.32 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 157713 0 0 0 351215 1417 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=17408 CPUtime=3469.74 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 55802 0 0 0 345661 1313 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1429 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3526.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.02 4.14 4.17 4/323 32910
/proc/meminfo: memFree=71896276/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3586.6 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 163820 0 0 0 357222 1438 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=17408 CPUtime=3528.77 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 57134 0 0 0 351545 1332 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1453 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=21824 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.7 s]
/proc/loadavg: 3.94 4.12 4.16 4/323 32910
/proc/meminfo: memFree=71735800/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3600.01 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 163826 0 0 0 358559 1442 0 0 20 0 20 0 39777948 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4765878 544830 5529 1 0 557777 0
[pid=32518/tid=32520] ppid=32515 vsize=19063512 memory=2179320 CPUtime=3542.09 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) R 32515 32518 31982 0 -1 4194368 57134 0 0 0 352873 1336 0 0 20 0 20 0 39777950 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1453 0 0 0 0 0 0 0 20 0 20 0 39777952 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32538] ppid=32515 vsize=19063512 memory=2179320 CPUtime=0 cores=1,3
/proc/32518/task/32538/stat : 32538 (Timer-0) S 32515 32518 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39778016 19521036288 544830 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2179320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.72 s, system=14.4513 s

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

[startup+3595.8 s]
/proc/loadavg: 3.94 4.12 4.16 4/323 32910
/proc/meminfo: memFree=71735800/131249996 swapFree=33010684/33010684
[pid=32518] ppid=32515 vsize=19263204 memory=2179952 CPUtime=3600.15 cores=1,3
/proc/32518/stat : 32518 (java) S 32515 32518 31982 0 -1 4194304 165223 0 0 0 358571 1444 0 0 20 0 15 0 39777948 19725520896 544988 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
/proc/32518/statm: 4815801 544988 5529 1 0 558681 0
[pid=32518/tid=32520] ppid=32515 vsize=19263204 memory=4764 CPUtime=3542.11 cores=1,3
/proc/32518/task/32520/stat : 32520 (java) D 32515 32518 31982 0 -1 4194368 57306 0 0 0 352874 1337 0 0 20 0 15 0 39777950 19725520896 544988 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32529] ppid=32515 vsize=19263204 memory=9216 CPUtime=0 cores=1,3
/proc/32518/task/32529/stat : 32529 (Finalizer) S 32515 32518 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 39777952 19725520896 544988 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
[pid=32518/tid=32536] ppid=32515 vsize=19263204 memory=26496 CPUtime=0 cores=1,3
/proc/32518/task/32536/stat : 32536 (Common-Cleaner) S 32515 32518 31982 0 -1 4194368 1453 0 0 0 0 0 0 0 20 0 15 0 39777952 19725520896 544988 18446744073709551615 94514052014080 94514052017776 140726205306320 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94514052025592 94514052026384 94514076012544 140726205311280 140726205311462 140726205311462 140726205317064 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2179952 KiB

Child status: 143

Real time (s): 3595.83
CPU time (s): 3600.17
CPU user time (s): 3585.72
CPU system time (s): 14.4513
CPU usage (%): 100.121
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2179952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.72
system time used= 14.4513
maximum resident set size= 2180088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28484728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127851
involuntary context switches= 13439


# summary of solver processes directly reported to runsolver:
#   pid: 32518
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3585.72
#   total CPU system time (s): 14.4513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45478 second user time and 17.4809 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 01:50:05
IDJOB=4516651
IDBENCH=175711
IDSOLVER=3364
FILE ID=nodeC015/4516651-1751241005
RUNJOBID= nodeC015-1751237512-31994
SLURM_JOB_ID= 9587718
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution VeriPB 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 -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516651-1751241005/watcher-4516651-1751241005 -o /tmp/evaluation-result-4516651-1751241005/solver-4516651-1751241005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31994 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516651-1751241005 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516651-1751241005.opb

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

MD5SUM BENCH= 505a4ae26cb167d5fc0677a4ae659532
RANDOM SEED=149524638

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.054
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.046
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3587.013
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.065
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.087
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3590.124
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.676
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        81227360 kB
MemAvailable:   114630196 kB
Buffers:            3280 kB
Cached:         34174312 kB
SwapCached:            0 kB
Active:         15436920 kB
Inactive:       33917788 kB
Active(anon):   15195304 kB
Inactive(anon):        0 kB
Active(file):     241616 kB
Inactive(file): 33917788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            195892 kB
Writeback:             0 kB
AnonPages:      15176024 kB
Mapped:           122796 kB
Shmem:             18076 kB
KReclaimable:     165344 kB
Slab:             259728 kB
SReclaimable:     165344 kB
SUnreclaim:        94384 kB
KernelStack:        5312 kB
PageTables:        33268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   16579940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151544 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14788608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

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