Trace number 4516002

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.18 3602.29

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
MD5SUM794d54e57ea9d36ec364612fc10f9ae6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.149377
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables132
Total number of constraints265
Number of constraints which are clauses264
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint132
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 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 137
Number of bits of the biggest sum of numbers8
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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4516002-1751236224.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.022s.
0.13/0.15	c declared #vars     132
0.13/0.15	c #constraints  265
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 264
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.15	c 265 constraints processed.
0.71/0.42	c cleaning 2501 clauses out of 5002 with flag 10693/5002
1.09/0.68	c cleaning 4250 clauses out of 8500 with flag 23494/11001
1.47/0.87	c cleaning 5626 clauses out of 11251 with flag 38422/18002
1.80/1.07	c cleaning 6811 clauses out of 13624 with flag 55507/26001
2.18/1.33	c cleaning 7907 clauses out of 15813 with flag 74745/35001
2.55/1.64	c cleaning 8952 clauses out of 17906 with flag 96111/45001
2.91/1.97	c cleaning 9974 clauses out of 19955 with flag 119514/56002
3.30/2.35	c cleaning 10985 clauses out of 21979 with flag 145268/68000
3.70/2.78	c cleaning 11993 clauses out of 23995 with flag 173076/81001
4.12/3.19	c cleaning 12997 clauses out of 26001 with flag 202792/95000
4.61/3.62	c cleaning 14001 clauses out of 28007 with flag 234754/110003
5.01/4.05	c cleaning 15001 clauses out of 30003 with flag 268949/126000
5.55/4.51	c cleaning 15999 clauses out of 32004 with flag 305114/143002
6.07/5.08	c cleaning 17000 clauses out of 34003 with flag 343390/161000
6.76/5.78	c cleaning 18001 clauses out of 36003 with flag 383892/180000
7.56/6.56	c cleaning 19000 clauses out of 38004 with flag 426388/200002
8.36/7.38	c cleaning 19997 clauses out of 40002 with flag 471366/221000
9.36/8.35	c cleaning 20994 clauses out of 42006 with flag 519559/243001
10.48/9.36	c cleaning 22006 clauses out of 44011 with flag 573390/266000
12.07/10.95	c cleaning 22999 clauses out of 46005 with flag 634647/290000
13.67/12.57	c cleaning 24001 clauses out of 48006 with flag 696318/315000
15.18/14.03	c cleaning 24998 clauses out of 50006 with flag 760173/341001
17.37/16.23	c cleaning 25998 clauses out of 52007 with flag 828244/368000
19.18/18.02	c cleaning 27002 clauses out of 54012 with flag 901306/396003
21.57/20.44	c cleaning 27999 clauses out of 56008 with flag 975987/425001
23.76/22.65	c cleaning 29006 clauses out of 58011 with flag 1055991/455003
25.96/24.85	c cleaning 30002 clauses out of 60003 with flag 1137686/486001
28.78/27.68	c cleaning 30998 clauses out of 62001 with flag 1215229/518001
31.18/30.04	c cleaning 31996 clauses out of 64002 with flag 1293754/551000
33.47/32.31	c cleaning 33001 clauses out of 66006 with flag 1371651/585000
36.66/35.51	c cleaning 33996 clauses out of 68005 with flag 1452898/620000
39.69/38.57	c cleaning 35004 clauses out of 70010 with flag 1539000/656001
42.08/40.90	c cleaning 35999 clauses out of 72005 with flag 1621081/693000
44.77/43.64	c cleaning 37001 clauses out of 74006 with flag 1706874/731000
47.07/45.95	c cleaning 38001 clauses out of 76005 with flag 1794345/770000
49.36/48.29	c cleaning 38999 clauses out of 78005 with flag 1883646/810001
52.29/51.18	c cleaning 40002 clauses out of 80005 with flag 1972738/851000
54.88/53.78	c cleaning 41002 clauses out of 82004 with flag 2065561/893001
57.67/56.52	c cleaning 41997 clauses out of 84001 with flag 2159919/936000
61.46/60.39	c cleaning 42994 clauses out of 86004 with flag 2263394/980000
65.79/64.62	c cleaning 44005 clauses out of 88011 with flag 2364959/1025001
69.09/67.90	c cleaning 45000 clauses out of 90005 with flag 2469317/1071000
71.98/70.87	c cleaning 45993 clauses out of 92005 with flag 2574898/1118000
76.22/75.04	c cleaning 47005 clauses out of 94013 with flag 2687086/1166001
80.21/79.06	c cleaning 48000 clauses out of 96008 with flag 2801591/1215001
82.50/81.39	c cleaning 49001 clauses out of 98008 with flag 2913916/1265001
85.20/84.01	c cleaning 50003 clauses out of 100006 with flag 3027654/1316000
87.72/86.56	c cleaning 50999 clauses out of 102005 with flag 3138168/1368002
90.64/89.47	c cleaning 51996 clauses out of 104004 with flag 3251044/1421000
93.93/92.74	c cleaning 52998 clauses out of 106009 with flag 3366428/1475001
96.77/95.54	c cleaning 54002 clauses out of 108012 with flag 3483614/1530002
100.46/99.25	c cleaning 54998 clauses out of 110008 with flag 3603537/1586000
104.65/103.43	c cleaning 56004 clauses out of 112011 with flag 3725171/1643001
109.08/107.89	c cleaning 57004 clauses out of 114007 with flag 3848645/1701001
112.77/111.50	c cleaning 57994 clauses out of 116003 with flag 3974984/1760001
115.77/114.57	c cleaning 58999 clauses out of 118008 with flag 4103237/1820000
119.98/118.78	c cleaning 60002 clauses out of 120010 with flag 4232881/1881001
122.57/121.37	c cleaning 60996 clauses out of 122008 with flag 4365172/1943001
125.86/124.60	c cleaning 62004 clauses out of 124011 with flag 4499410/2006000
128.99/127.72	c cleaning 63002 clauses out of 126007 with flag 4635774/2070000
132.68/131.40	c cleaning 63993 clauses out of 128005 with flag 4774528/2135000
136.38/135.10	c cleaning 65003 clauses out of 130012 with flag 4915242/2201000
140.20/138.93	c cleaning 66000 clauses out of 132010 with flag 5057541/2268001
144.30/143.06	c cleaning 67003 clauses out of 134009 with flag 5202450/2336000
148.08/146.89	c cleaning 68000 clauses out of 136006 with flag 5349220/2405000
152.03/150.79	c cleaning 68999 clauses out of 138007 with flag 5498273/2475001
156.71/155.43	c cleaning 69995 clauses out of 140008 with flag 5649005/2546001
160.81/159.58	c cleaning 71003 clauses out of 142013 with flag 5802781/2618001
165.41/164.13	c cleaning 71997 clauses out of 144010 with flag 5958434/2691001
170.83/169.54	c cleaning 73005 clauses out of 146012 with flag 6115935/2765000
175.82/174.50	c cleaning 73999 clauses out of 148007 with flag 6275287/2840000
180.60/179.37	c cleaning 75002 clauses out of 150008 with flag 6436144/2916000
187.00/185.77	c cleaning 75998 clauses out of 152006 with flag 6599432/2993000
194.24/192.91	c cleaning 77004 clauses out of 154009 with flag 6765621/3071001
200.92/199.60	c cleaning 77996 clauses out of 156004 with flag 6934247/3150000
208.11/206.86	c cleaning 78998 clauses out of 158008 with flag 7105177/3230000
216.04/214.71	c cleaning 80002 clauses out of 160011 with flag 7277802/3311001
223.02/221.71	c cleaning 81000 clauses out of 162009 with flag 7452391/3393001
229.51/228.28	c cleaning 82004 clauses out of 164010 with flag 7629198/3476002
236.00/234.79	c cleaning 83000 clauses out of 166006 with flag 7807096/3560002
242.95/241.60	c cleaning 83998 clauses out of 168004 with flag 7987690/3645000
250.14/248.81	c cleaning 85002 clauses out of 170006 with flag 8171066/3731000
256.82/255.52	c cleaning 85996 clauses out of 172004 with flag 8356956/3818000
264.90/263.63	c cleaning 86998 clauses out of 174009 with flag 8544512/3906001
273.79/272.58	c cleaning 88001 clauses out of 176010 with flag 8734281/3995000
283.56/282.32	c cleaning 89003 clauses out of 178010 with flag 8926330/4085001
291.45/290.29	c cleaning 89999 clauses out of 180008 with flag 9120101/4176002
297.62/296.31	c cleaning 91002 clauses out of 182007 with flag 9315692/4268000
304.80/303.50	c cleaning 91998 clauses out of 184008 with flag 9513497/4361003
312.79/311.55	c cleaning 92998 clauses out of 186007 with flag 9713294/4455000
320.57/319.35	c cleaning 93996 clauses out of 188010 with flag 9915153/4550001
329.44/328.27	c cleaning 95002 clauses out of 190013 with flag 10119406/4646000
339.12/337.55	c cleaning 95999 clauses out of 192012 with flag 10325710/4743001
349.29/347.70	c cleaning 97001 clauses out of 194013 with flag 10534969/4841001
358.57/357.05	c cleaning 98003 clauses out of 196013 with flag 10745744/4940002
367.84/366.39	c cleaning 99004 clauses out of 198010 with flag 10957548/5040002
376.64/375.19	c cleaning 99996 clauses out of 200005 with flag 11171943/5141001
388.76/387.29	c cleaning 100998 clauses out of 202009 with flag 11388204/5243001
397.55/396.04	c cleaning 102000 clauses out of 204010 with flag 11606082/5346000
408.42/406.94	c cleaning 103001 clauses out of 206012 with flag 11825990/5450002
420.70/419.28	c cleaning 103996 clauses out of 208010 with flag 12048513/5555001
433.57/432.15	c cleaning 105002 clauses out of 210013 with flag 12273029/5661000
445.73/444.31	c cleaning 106005 clauses out of 212011 with flag 12499999/5768000
461.30/459.93	c cleaning 107000 clauses out of 214007 with flag 12728858/5876001
474.47/473.11	c cleaning 107991 clauses out of 216007 with flag 12960705/5985001
488.01/486.64	c cleaning 108992 clauses out of 218015 with flag 13201036/6095000
500.79/499.42	c cleaning 110007 clauses out of 220023 with flag 13441934/6206000
514.46/513.11	c cleaning 111005 clauses out of 222016 with flag 13679969/6318000
545.69/544.44	c cleaning 111995 clauses out of 224012 with flag 13938720/6431001
581.92/580.79	c cleaning 113002 clauses out of 226016 with flag 14195229/6545000
620.04/619.00	c cleaning 114005 clauses out of 228015 with flag 14454601/6660001
657.93/656.83	c cleaning 114998 clauses out of 230010 with flag 14713681/6776001
698.85/697.84	c cleaning 116001 clauses out of 232011 with flag 14977208/6893000
736.56/735.68	c cleaning 116999 clauses out of 234011 with flag 15235195/7011001
779.86/779.05	c cleaning 117999 clauses out of 236011 with flag 15496029/7130000
794.22/793.48	c cleaning 119003 clauses out of 238012 with flag 15760486/7250000
825.45/824.67	c cleaning 120005 clauses out of 240010 with flag 16039693/7371001
851.69/850.95	c cleaning 120995 clauses out of 242004 with flag 16309104/7493000
876.83/876.17	c cleaning 122005 clauses out of 244011 with flag 16574998/7616002
920.23/919.64	c cleaning 123000 clauses out of 246006 with flag 16848693/7740002
962.62/962.17	c cleaning 123994 clauses out of 248005 with flag 17124118/7865001
1015.79/1015.47	c cleaning 124997 clauses out of 250010 with flag 17407132/7991000
1049.70/1049.36	c cleaning 126007 clauses out of 252015 with flag 17686321/8118002
1096.60/1096.32	c cleaning 127003 clauses out of 254007 with flag 17968685/8246001
1161.56/1161.45	c cleaning 128000 clauses out of 256006 with flag 18279511/8375003
1210.33/1210.33	c cleaning 128995 clauses out of 258003 with flag 18578260/8505000
1248.84/1248.92	c cleaning 130003 clauses out of 260009 with flag 18868695/8636001
1267.59/1267.79	c cleaning 131000 clauses out of 262005 with flag 19155906/8768000
1291.24/1291.40	c cleaning 131997 clauses out of 264005 with flag 19449771/8901000
1316.67/1316.84	c cleaning 132996 clauses out of 266009 with flag 19745534/9035001
1372.24/1372.53	c cleaning 134006 clauses out of 268013 with flag 20044553/9170001
1426.13/1426.52	c cleaning 134993 clauses out of 270006 with flag 20351078/9306000
1450.98/1451.41	c cleaning 135996 clauses out of 272014 with flag 20661942/9443001
1475.43/1475.93	c cleaning 137004 clauses out of 274017 with flag 20964818/9581000
1489.41/1489.84	c cleaning 138005 clauses out of 276013 with flag 21266808/9720000
1516.26/1516.75	c cleaning 139001 clauses out of 278008 with flag 21588291/9860000
1557.15/1557.77	c cleaning 140003 clauses out of 280007 with flag 21922511/10001000
1605.34/1606.07	c cleaning 140994 clauses out of 282006 with flag 22255766/10143002
1624.18/1624.95	c cleaning 141995 clauses out of 284010 with flag 22560063/10286000
1643.46/1643.73	c cleaning 143002 clauses out of 286015 with flag 22867125/10430000
1670.70/1671.07	c cleaning 143997 clauses out of 288013 with flag 23180604/10575000
1719.38/1719.83	c cleaning 145000 clauses out of 290016 with flag 23518586/10721000
1762.97/1763.53	c cleaning 146005 clauses out of 292019 with flag 23858540/10868003
1811.46/1812.14	c cleaning 147006 clauses out of 294011 with flag 24201264/11016000
1857.58/1858.22	c cleaning 147997 clauses out of 296005 with flag 24553990/11165000
1894.59/1895.33	c cleaning 148998 clauses out of 298008 with flag 24899559/11315000
1950.77/1951.60	c cleaning 150007 clauses out of 300014 with flag 25260636/11466004
2001.06/2002.02	c cleaning 151001 clauses out of 302005 with flag 25619931/11618002
2036.07/2037.13	c cleaning 151994 clauses out of 304003 with flag 25964435/11771001
2071.89/2073.08	c cleaning 153002 clauses out of 306008 with flag 26316171/11925000
2116.27/2117.53	c cleaning 154003 clauses out of 308006 with flag 26684846/12080000
2149.39/2150.76	c cleaning 154997 clauses out of 310003 with flag 27024123/12236000
2177.35/2178.62	c cleaning 155996 clauses out of 312006 with flag 27372953/12393000
2212.67/2214.08	c cleaning 157006 clauses out of 314012 with flag 27721071/12551002
2245.40/2246.85	c cleaning 157997 clauses out of 316004 with flag 28073298/12710000
2318.23/2319.88	c cleaning 158997 clauses out of 318008 with flag 28437741/12870001
2354.14/2355.89	c cleaning 160001 clauses out of 320012 with flag 28811951/13031002
2377.19/2378.97	c cleaning 160998 clauses out of 322009 with flag 29186610/13193000
2407.84/2409.54	c cleaning 162001 clauses out of 324011 with flag 29566716/13356000
2425.11/2426.82	c cleaning 162999 clauses out of 326011 with flag 29919604/13520001
2444.27/2446.05	c cleaning 164004 clauses out of 328012 with flag 30281521/13685001
2463.12/2464.96	c cleaning 165001 clauses out of 330008 with flag 30642577/13851001
2479.39/2481.25	c cleaning 166004 clauses out of 332008 with flag 30998660/14018002
2506.32/2508.26	c cleaning 166993 clauses out of 334002 with flag 31376423/14186000
2529.27/2531.29	c cleaning 167998 clauses out of 336009 with flag 31750317/14355000
2547.72/2549.77	c cleaning 168997 clauses out of 338012 with flag 32121087/14525001
2574.63/2576.57	c cleaning 170002 clauses out of 340014 with flag 32505981/14696000
2602.87/2604.81	c cleaning 171000 clauses out of 342012 with flag 32886184/14868000
2626.32/2628.30	c cleaning 172003 clauses out of 344012 with flag 33265025/15041000
2654.06/2656.13	c cleaning 173000 clauses out of 346010 with flag 33649028/15215001
2685.32/2686.71	c cleaning 173998 clauses out of 348010 with flag 34051170/15390001
2718.23/2719.72	c cleaning 174993 clauses out of 350011 with flag 34448324/15566000
2744.97/2746.50	c cleaning 176005 clauses out of 352019 with flag 34840926/15743001
2769.11/2770.71	c cleaning 177003 clauses out of 354014 with flag 35235334/15921001
2797.64/2799.33	c cleaning 178004 clauses out of 356011 with flag 35626917/16100001
2825.38/2827.10	c cleaning 178996 clauses out of 358006 with flag 36024170/16280000
2854.41/2856.11	c cleaning 180005 clauses out of 360011 with flag 36434434/16461001
2882.73/2884.59	c cleaning 180995 clauses out of 362007 with flag 36823142/16643002
2903.09/2905.00	c cleaning 182000 clauses out of 364011 with flag 37213083/16826001
2922.73/2924.62	c cleaning 183003 clauses out of 366010 with flag 37604268/17010000
2946.48/2948.44	c cleaning 183998 clauses out of 368009 with flag 37999473/17195002
2971.83/2973.72	c cleaning 185003 clauses out of 370012 with flag 38396802/17381003
3003.26/3005.27	c cleaning 185998 clauses out of 372006 with flag 38795655/17568000
3034.10/3036.19	c cleaning 187001 clauses out of 374010 with flag 39197367/17756002
3061.93/3064.03	c cleaning 187999 clauses out of 376008 with flag 39599339/17945001
3091.65/3093.80	c cleaning 188997 clauses out of 378008 with flag 40002927/18135000
3119.90/3122.19	c cleaning 190005 clauses out of 380012 with flag 40409691/18326001
3151.67/3153.81	c cleaning 190992 clauses out of 382006 with flag 40818886/18518000
3183.40/3185.61	c cleaning 192002 clauses out of 384014 with flag 41229970/18711000
3212.34/3214.62	c cleaning 193002 clauses out of 386015 with flag 41641829/18905003
3238.28/3240.66	c cleaning 193998 clauses out of 388010 with flag 42054089/19100000
3263.53/3265.98	c cleaning 195003 clauses out of 390013 with flag 42469218/19296001
3292.38/3294.84	c cleaning 195996 clauses out of 392009 with flag 42886103/19493000
3319.85/3322.24	c cleaning 196999 clauses out of 394013 with flag 43304888/19691000
3342.30/3344.76	c cleaning 198005 clauses out of 396014 with flag 43726872/19890000
3369.15/3371.69	c cleaning 199001 clauses out of 398009 with flag 44150555/20090000
3400.88/3403.44	c cleaning 200000 clauses out of 400008 with flag 44576307/20291000
3430.65/3432.52	c cleaning 201003 clauses out of 402008 with flag 45004413/20493000
3459.59/3461.52	c cleaning 201998 clauses out of 404005 with flag 45435981/20696000
3485.43/3487.44	c cleaning 202995 clauses out of 406007 with flag 45870935/20900000
3517.27/3519.31	c cleaning 204003 clauses out of 408012 with flag 46308031/21105000
3545.07/3547.19	c cleaning 205003 clauses out of 410009 with flag 46746867/21311000
3583.78/3586.00	c cleaning 206002 clauses out of 412007 with flag 47187804/21518001
3600.05/3602.21	c timeout
3600.05/3602.21	c starts		: 11882
3600.05/3602.21	c conflicts		: 21624693
3600.05/3602.21	c decisions		: 24301217
3600.05/3602.21	c propagations		: 115484486
3600.05/3602.21	c inspects		: 29458954171
3600.05/3602.21	c shortcuts		: 0
3600.05/3602.21	c learnt literals	: 0
3600.05/3602.21	c learnt binary clauses	: 0
3600.05/3602.21	c learnt ternary clauses	: 0
3600.05/3602.21	c learnt constraints	: 21624693
3600.05/3602.21	c ignored constraints	: 0
3600.05/3602.21	c root simplifications	: 0
3600.05/3602.21	c removed literals (reason simplification)	: 413212759
3600.05/3602.21	c reason swapping (by a shorter reason)	: 0
3600.05/3602.21	c Calls to reduceDB	: 203
3600.05/3602.21	c Number of update (reduction) of LBD	: 449517
3600.05/3602.21	c Imported unit clauses	: 0
3600.05/3602.21	c No decision after first conflict	: false
3600.05/3602.22	c number of reductions to clauses (during analyze)	: 0
3600.05/3602.22	c number of learned constraints concerned by reduction	: 0
3600.05/3602.22	c number of learning phase by resolution	: 0
3600.05/3602.22	c number of learning phase by cutting planes	: 0
3600.05/3602.22	c number of rounding to 1 operations	: 0
3600.05/3602.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3602.22	c number of reductions of the coefficients by power 2 	: 0
3600.05/3602.22	c number of right shift for reduction by power 2 	: 0
3600.05/3602.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3602.22	c number of ending skipping 	: 0
3600.05/3602.22	c number of internal skipping 	: 0
3600.05/3602.22	c number of derivation steps 	: 0
3600.05/3602.22	c number of skipped derivation steps 	: 0
3600.05/3602.22	c number of remaining unassigned 	: 0
3600.05/3602.22	c number of remaining assigned 	: 0
3600.05/3602.22	c number of falsified literals weakened from reason	: 0
3600.05/3602.22	c number of falsified literals weakened from conflict	: 0
3600.05/3602.22	c time for arithmetic operations	: 0
3600.05/3602.22	c minimum degree of deleted constraints	: null
3600.05/3602.22	c maximum degree of deleted constraints	: null
3600.05/3602.22	c number of deleted constraints	: 0
3600.05/3602.22	c speed (assignments/second)	: 32060.660255153853
3600.05/3602.22	c non guided choices	: 40
3600.05/3602.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 312697
3600.05/3602.28	s UNKNOWN
3600.05/3602.28	c Total wall clock time (in seconds): 3602.149

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516002-1751236224/watcher-4516002-1751236224 -o /tmp/evaluation-result-4516002-1751236224/solver-4516002-1751236224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31769 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516002-1751236224.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32673, runsolver pid=32670

[startup+0.100061 s]*
/proc/loadavg: 4.33 4.31 4.31 5/338 32691
/proc/meminfo: memFree=118256096/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18930384 memory=59500 CPUtime=0.13 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 6486 0 0 0 11 2 0 0 20 0 18 0 39299973 19384713216 14875 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4732596 14875 5356 1 0 547619 0
[pid=32673/tid=32675] ppid=32670 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 5065 0 0 0 6 1 0 0 20 0 18 0 39299975 19384713216 14875 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39299977 19384713216 14875 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39299977 19384713216 14875 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59500 KiB

[startup+0.205682 s]*
/proc/loadavg: 4.33 4.31 4.31 6/339 32692
/proc/meminfo: memFree=118242864/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18996948 memory=64720 CPUtime=0.32 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 7425 0 0 0 30 2 0 0 20 0 19 0 39299973 19452874752 16180 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4749237 16180 5452 1 0 548551 0
[pid=32673/tid=32675] ppid=32670 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 5301 0 0 0 16 1 0 0 20 0 19 0 39299975 19452874752 16180 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18996948 memory=17146 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 16180 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18996948 memory=54087446168546 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 16180 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39299990 19452874752 16180 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64720 KiB

[startup+0.305701 s]*
/proc/loadavg: 4.33 4.31 4.31 6/339 32692
/proc/meminfo: memFree=118230576/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18997508 memory=67176 CPUtime=0.52 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 8788 0 0 0 49 3 0 0 20 0 19 0 39299973 19453448192 16794 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4749377 16794 5452 1 0 549297 0
[pid=32673/tid=32675] ppid=32670 vsize=18997508 memory=-6000919507032631916 CPUtime=0.26 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 5303 0 0 0 25 1 0 0 20 0 19 0 39299975 19453448192 16826 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18997508 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39299977 19453448192 16858 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18997508 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39299977 19453448192 16890 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=18997508 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39299990 19453448192 16890 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18997508 KiB
Current children cumulated memory: 67176 KiB

[startup+0.700263 s]
/proc/loadavg: 4.33 4.31 4.31 6/339 32692
/proc/meminfo: memFree=118197620/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18996948 memory=84852 CPUtime=1.28 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 12308 0 0 0 124 4 0 0 20 0 19 0 39299973 19452874752 21213 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4749237 21213 5452 1 0 551452 0
[pid=32673/tid=32675] ppid=32670 vsize=18996948 memory=17536 CPUtime=0.64 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 5352 0 0 0 63 1 0 0 20 0 19 0 39299975 19452874752 21213 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 21213 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 21213 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39299990 19452874752 21213 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84852 KiB

[startup+1.50026 s]
/proc/loadavg: 4.33 4.31 4.31 5/339 32692
/proc/meminfo: memFree=118130636/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18996948 memory=101536 CPUtime=2.45 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 15728 0 0 0 240 5 0 0 20 0 19 0 39299973 19452874752 25384 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4749237 25384 5452 1 0 551453 0
[pid=32673/tid=32675] ppid=32670 vsize=18996948 memory=0 CPUtime=1.44 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 5755 0 0 0 142 2 0 0 20 0 19 0 39299975 19452874752 25384 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 25384 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 25384 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39299990 19452874752 25384 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 101536 KiB

[startup+3.10558 s]
/proc/loadavg: 4.33 4.31 4.31 5/339 32692
/proc/meminfo: memFree=117929972/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=18996948 memory=128160 CPUtime=4.12 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 16375 0 0 0 406 6 0 0 20 0 19 0 39299973 19452874752 32040 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4749237 32040 5452 1 0 551454 0
[pid=32673/tid=32675] ppid=32670 vsize=18996948 memory=10752 CPUtime=3.03 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 6020 0 0 0 301 2 0 0 20 0 19 0 39299975 19452874752 32040 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=18996948 memory=-6000919507032631916 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 32040 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39299977 19452874752 32040 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39299990 19452874752 32040 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 128160 KiB

[startup+6.30024 s]
/proc/loadavg: 4.31 4.31 4.31 5/340 32693
/proc/meminfo: memFree=117782516/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=173084 CPUtime=7.36 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 20169 0 0 0 729 7 0 0 20 0 20 0 39299973 19521036288 43271 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 43271 5452 1 0 551744 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=0 CPUtime=6.21 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 6602 0 0 0 618 3 0 0 20 0 20 0 39299975 19521036288 43271 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 43271 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 43271 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=103584 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 43271 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 7.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.30 4.31 5/340 32693
/proc/meminfo: memFree=117659772/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=173024 CPUtime=13.87 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 24062 0 0 0 1379 8 0 0 20 0 20 0 39299973 19521036288 43256 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 43256 5452 1 0 551744 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=103584 CPUtime=12.59 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 7214 0 0 0 1256 3 0 0 20 0 20 0 39299975 19521036288 43256 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=173024 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 43256 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 43256 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 43256 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 13.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173024 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.29 4.30 5/341 32696
/proc/meminfo: memFree=117655460/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=216372 CPUtime=26.68 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 26397 0 0 0 2658 10 0 0 20 0 20 0 39299973 19521036288 54093 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 54093 5452 1 0 551744 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=173024 CPUtime=25.31 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 7730 0 0 0 2528 3 0 0 20 0 20 0 39299975 19521036288 54093 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 54093 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=179200 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 54093 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 54093 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 26.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 216372 KiB

[startup+51.1057 s]
/proc/loadavg: 4.20 4.28 4.30 5/341 32696
/proc/meminfo: memFree=117372600/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=298488 CPUtime=52.29 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 26591 0 0 0 5218 11 0 0 20 0 20 0 39299973 19521036288 74622 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 74622 5452 1 0 551744 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=216372 CPUtime=50.78 cores=0,2

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

/proc/meminfo: memFree=105563748/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3220.02 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 73698 0 0 0 321855 147 0 0 20 0 20 0 39299973 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 520326 5484 1 0 554612 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3210.82 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 29299 0 0 0 321049 33 0 0 20 0 20 0 39299975 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 895 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3220.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2081304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/340 32935
/proc/meminfo: memFree=120283344/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3279.89 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 74522 0 0 0 327841 148 0 0 20 0 20 0 39299973 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 520326 5484 1 0 554612 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3270.67 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 29992 0 0 0 327034 33 0 0 20 0 20 0 39299975 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 914 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=21872 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3279.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2081304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.16 4/316 33078
/proc/meminfo: memFree=123041428/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3339.9 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 75579 0 0 0 333840 150 0 0 20 0 20 0 39299973 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 520326 5484 1 0 554612 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3330.39 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 30083 0 0 0 333006 33 0 0 20 0 20 0 39299975 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=39065309 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3339.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2081304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.15 5/339 33135
/proc/meminfo: memFree=122746696/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2081304 CPUtime=3399.79 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 75747 0 0 0 339827 152 0 0 20 0 20 0 39299973 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 520326 5484 1 0 554612 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=14848 CPUtime=3390.25 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 30222 0 0 0 338992 33 0 0 20 0 20 0 39299975 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=-6000919507032631916 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=2081304 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 520326 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3399.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2081304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/340 33138
/proc/meminfo: memFree=122488332/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2165320 CPUtime=3460.39 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 76962 0 0 0 345884 155 0 0 20 0 20 0 39299973 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 541330 5484 1 0 554614 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=14848 CPUtime=3449.95 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 30781 0 0 0 344962 33 0 0 20 0 20 0 39299975 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 925 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=2165320 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3460.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.14 5/340 33207
/proc/meminfo: memFree=125976732/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2165320 CPUtime=3520.31 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 78677 0 0 0 351875 156 0 0 20 0 20 0 39299973 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 541330 5484 1 0 554614 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=17536 CPUtime=3509.74 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 31566 0 0 0 350941 33 0 0 20 0 20 0 39299975 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=2165320 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=2165320 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 945 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3520.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/342 33214
/proc/meminfo: memFree=125231896/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2165320 CPUtime=3580.19 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 78722 0 0 0 357861 158 0 0 20 0 20 0 39299973 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 541330 5484 1 0 554614 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=2165320 CPUtime=3569.6 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 31591 0 0 0 356927 33 0 0 20 0 20 0 39299975 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=2165320 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=2165320 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3580.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.2 s]
/proc/loadavg: 4.07 4.10 4.13 5/343 33218
/proc/meminfo: memFree=125133204/131249988 swapFree=33010684/33010684
[pid=32673] ppid=32670 vsize=19063512 memory=2165320 CPUtime=3600.05 cores=0,2
/proc/32673/stat : 32673 (java) S 32670 32673 31759 0 -1 4194304 78726 0 0 0 359846 159 0 0 20 0 20 0 39299973 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
/proc/32673/statm: 4765878 541330 5484 1 0 554614 0
[pid=32673/tid=32675] ppid=32670 vsize=19063512 memory=245635481903 CPUtime=3589.45 cores=0,2
/proc/32673/task/32675/stat : 32675 (java) R 32670 32673 31759 0 -1 4194368 31592 0 0 0 358912 33 0 0 20 0 20 0 39299975 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32684] ppid=32670 vsize=19063512 memory=54113165640434 CPUtime=0 cores=0,2
/proc/32673/task/32684/stat : 32684 (Finalizer) S 32670 32673 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32691] ppid=32670 vsize=19063512 memory=3762255223163453472 CPUtime=0 cores=0,2
/proc/32673/task/32691/stat : 32691 (Common-Cleaner) S 32670 32673 31759 0 -1 4194368 959 0 0 0 0 0 0 0 20 0 20 0 39299977 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
[pid=32673/tid=32692] ppid=32670 vsize=19063512 memory=9984 CPUtime=0 cores=0,2
/proc/32673/task/32692/stat : 32692 (Timer-0) S 32670 32673 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39299990 19521036288 541330 18446744073709551615 94081496297472 94081496301168 140725250908880 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94081496308984 94081496309776 94081514655744 140725250910593 140725250910694 140725250910694 140725250916296 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2165320 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.58 s, system=1.60564 s

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

Child status: 143

Real time (s): 3602.29
CPU time (s): 3600.18
CPU user time (s): 3598.58
CPU system time (s): 1.60564
CPU usage (%): 99.9414
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2165320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.60564
maximum resident set size= 2166344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80400
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104374
involuntary context switches= 5581


# summary of solver processes directly reported to runsolver:
#   pid: 32673
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.58
#   total CPU system time (s): 1.60564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74958 second user time and 17.4811 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 00:30:24
IDJOB=4516002
IDBENCH=168944
IDSOLVER=3363
FILE ID=nodeC020/4516002-1751236224
RUNJOBID= nodeC020-1751232650-31769
SLURM_JOB_ID= 9587710
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516002-1751236224/watcher-4516002-1751236224 -o /tmp/evaluation-result-4516002-1751236224/solver-4516002-1751236224 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31769 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516002-1751236224.opb

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

MD5SUM BENCH= 794d54e57ea9d36ec364612fc10f9ae6
RANDOM SEED=430851821

nodeC020 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		: 3567.359
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	: 6999.79
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		: 3599.879
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	: 6999.79
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		: 3599.872
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	: 6999.79
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		: 3596.416
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	: 6999.79
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		: 3599.888
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	: 6999.79
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		: 3599.523
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	: 6999.79
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		: 3599.104
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	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.139
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	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        118272512 kB
MemAvailable:   118385200 kB
Buffers:            3280 kB
Cached:           919044 kB
SwapCached:            0 kB
Active:         11782288 kB
Inactive:         611744 kB
Active(anon):   11489764 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   611744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               760 kB
Writeback:             4 kB
AnonPages:      11474516 kB
Mapped:           122568 kB
Shmem:             18056 kB
KReclaimable:      95316 kB
Slab:             182432 kB
SReclaimable:      95316 kB
SUnreclaim:        87116 kB
KernelStack:        5172 kB
PageTables:        26020 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   14514508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11186176 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC020 at 2025-06-30 01:30:27