Trace number 4542706

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.31 3583.77

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
MD5SUM51f0204441dcd002ae254f35580dbb8b
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 benchmark3.67265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables577
Total number of constraints290
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints286
Minimum length of a constraint2
Maximum length of a constraint8
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 12
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.07/0.21	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.07/0.21	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.21	c See www.sat4j.org for details.
0.24/0.24	c version PB25.v20250606
0.24/0.26	c java.runtime.name	OpenJDK Runtime Environment
0.24/0.26	c java.vm.name		OpenJDK 64-Bit Server VM
0.24/0.26	c java.vm.version	22.0.1+8-16
0.24/0.26	c java.vm.vendor	Oracle Corporation
0.24/0.26	c sun.arch.data.model	64
0.24/0.26	c java.version		22.0.1
0.24/0.26	c os.name		Linux
0.24/0.26	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.24/0.26	c os.arch		amd64
0.24/0.27	c Free memory 		2104792832
0.24/0.27	c Max memory 		16282288128
0.24/0.27	c Total memory 		2113929216
0.24/0.28	c Number of processors 	2
0.38/0.39	c Pseudo Boolean Optimization by upper bound
0.38/0.39	c --- Begin Solver configuration ---
0.38/0.39	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.38/0.39	c Learn all clauses as in MiniSAT
0.38/0.39	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.38/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.38/0.39	c Expensive reason simplification
0.38/0.39	c Glucose 2.1 dynamic restart strategy
0.38/0.39	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.38/0.39	c timeout=2147483s
0.38/0.39	c DB Simplification allowed=false
0.38/0.39	c Listener: none
0.38/0.39	c --- End Solver configuration ---
0.38/0.40	c solving HOME/instance-4542706-1753222705.opb
0.38/0.40	c reading problem ... 
0.38/0.40	c using VERIPB proof format
0.38/0.40	c  no objective function found
0.55/0.49	c ... done. Wall clock time 0.089s.
0.55/0.49	c declared #vars     577
0.55/0.49	c #constraints  290
0.55/0.49	c constraints type 
0.55/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.55/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 288
0.55/0.49	c 290 constraints processed.
2.45/1.43	c cleaning 2491 clauses out of 5001 with flag 15678/5001
3.45/1.97	c cleaning 4247 clauses out of 8510 with flag 36378/11001
4.03/2.29	c cleaning 5617 clauses out of 11263 with flag 62614/18001
4.83/2.60	c cleaning 6811 clauses out of 13645 with flag 91699/26000
5.42/2.94	c cleaning 7898 clauses out of 15834 with flag 121681/35000
6.01/3.28	c cleaning 8943 clauses out of 17936 with flag 161098/45000
6.53/3.59	c cleaning 9982 clauses out of 19994 with flag 206840/56001
7.27/4.12	c cleaning 10990 clauses out of 22013 with flag 262854/68002
7.70/4.55	c cleaning 12000 clauses out of 24021 with flag 317769/81000
8.41/5.16	c cleaning 13001 clauses out of 26023 with flag 378434/95002
9.08/5.62	c cleaning 13992 clauses out of 28020 with flag 437415/110000
10.27/6.26	c cleaning 14998 clauses out of 30029 with flag 491373/126001
11.05/6.83	c cleaning 16002 clauses out of 32031 with flag 564585/143001
11.74/7.49	c cleaning 16998 clauses out of 34028 with flag 641712/161000
12.89/8.43	c cleaning 17995 clauses out of 36031 with flag 731100/180001
13.68/9.21	c cleaning 18993 clauses out of 38036 with flag 813375/200001
14.29/9.87	c cleaning 19991 clauses out of 40045 with flag 890814/221003
15.09/10.66	c cleaning 21013 clauses out of 42051 with flag 975215/243000
16.29/11.83	c cleaning 21990 clauses out of 44038 with flag 1067385/266000
17.39/12.92	c cleaning 22996 clauses out of 46049 with flag 1178212/290001
18.50/14.03	c cleaning 24012 clauses out of 48054 with flag 1289470/315002
19.41/14.98	c cleaning 25001 clauses out of 50040 with flag 1386663/341000
20.71/16.25	c cleaning 25999 clauses out of 52039 with flag 1502658/368000
21.80/17.37	c cleaning 26998 clauses out of 54041 with flag 1612720/396001
22.62/18.12	c cleaning 28000 clauses out of 56043 with flag 1718472/425001
24.00/19.54	c cleaning 28999 clauses out of 58042 with flag 1832984/455000
25.90/21.49	c cleaning 29997 clauses out of 60044 with flag 1965642/486001
27.39/22.97	c cleaning 31008 clauses out of 62046 with flag 2099918/518000
29.50/25.09	c cleaning 32006 clauses out of 64039 with flag 2253995/551001
31.78/27.36	c cleaning 33005 clauses out of 66033 with flag 2431275/585001
33.08/28.63	c cleaning 33996 clauses out of 68028 with flag 2577120/620001
35.27/30.84	c cleaning 35009 clauses out of 70034 with flag 2730591/656003
37.66/33.26	c cleaning 35997 clauses out of 72023 with flag 2958735/693001
38.96/34.51	c cleaning 37005 clauses out of 74025 with flag 3129104/731000
40.36/35.95	c cleaning 37990 clauses out of 76020 with flag 3281748/770000
42.36/37.97	c cleaning 38989 clauses out of 78030 with flag 3431809/810000
45.54/40.72	c cleaning 39999 clauses out of 80042 with flag 3598672/851001
47.33/42.59	c cleaning 40996 clauses out of 82043 with flag 3755346/893001
49.33/44.55	c cleaning 42006 clauses out of 84046 with flag 3933680/936000
51.03/46.27	c cleaning 42997 clauses out of 86040 with flag 4101435/980000
54.32/49.58	c cleaning 44000 clauses out of 88043 with flag 4356942/1025000
57.81/53.08	c cleaning 45001 clauses out of 90043 with flag 4615085/1071000
61.69/56.92	c cleaning 46002 clauses out of 92044 with flag 4874368/1118002
64.38/59.65	c cleaning 46999 clauses out of 94041 with flag 5122398/1166001
67.28/62.57	c cleaning 47999 clauses out of 96042 with flag 5330580/1215001
70.88/66.16	c cleaning 48998 clauses out of 98042 with flag 5540313/1265000
72.67/67.90	c cleaning 50002 clauses out of 100045 with flag 5727910/1316001
76.15/71.45	c cleaning 51016 clauses out of 102042 with flag 5975342/1368000
78.15/73.43	c cleaning 51980 clauses out of 104026 with flag 6188032/1421000
80.24/75.56	c cleaning 52993 clauses out of 106046 with flag 6398905/1475000
82.64/77.94	c cleaning 53994 clauses out of 108053 with flag 6595323/1530000
84.54/79.87	c cleaning 55005 clauses out of 110060 with flag 6796284/1586001
87.13/82.44	c cleaning 56015 clauses out of 112054 with flag 7029394/1643000
90.32/85.68	c cleaning 56999 clauses out of 114039 with flag 7292866/1701000
92.72/88.09	c cleaning 58001 clauses out of 116040 with flag 7522890/1760000
94.91/90.29	c cleaning 58983 clauses out of 118040 with flag 7738505/1820001
99.49/94.82	c cleaning 60007 clauses out of 120056 with flag 7988727/1881000
101.59/97.00	c cleaning 60994 clauses out of 122049 with flag 8213836/1943000
104.38/99.79	c cleaning 62010 clauses out of 124055 with flag 8457851/2006000
108.07/103.47	c cleaning 62999 clauses out of 126048 with flag 8748151/2070003
111.37/106.75	c cleaning 64000 clauses out of 128048 with flag 9036236/2135002
114.46/109.88	c cleaning 64989 clauses out of 130048 with flag 9295437/2201002
117.67/113.03	c cleaning 65996 clauses out of 132058 with flag 9555929/2268001
122.54/117.91	c cleaning 66988 clauses out of 134062 with flag 9879584/2336001
125.84/121.23	c cleaning 68013 clauses out of 136075 with flag 10153335/2405002
128.65/124.09	c cleaning 69015 clauses out of 138060 with flag 10411507/2475000
131.73/127.13	c cleaning 70000 clauses out of 140045 with flag 10668489/2546000
135.63/131.03	c cleaning 71005 clauses out of 142045 with flag 10958267/2618000
138.91/134.39	c cleaning 71997 clauses out of 144041 with flag 11237768/2691001
146.65/142.06	c cleaning 73002 clauses out of 146043 with flag 11589515/2765000
152.76/148.13	c cleaning 73989 clauses out of 148041 with flag 11927595/2840000
159.23/154.63	c cleaning 75009 clauses out of 150053 with flag 12289797/2916001
163.35/158.79	c cleaning 76004 clauses out of 152043 with flag 12577859/2993000
167.05/162.49	c cleaning 77002 clauses out of 154039 with flag 12873303/3071000
170.38/165.75	c cleaning 77993 clauses out of 156038 with flag 13155552/3150001
174.08/169.44	c cleaning 79009 clauses out of 158044 with flag 13447408/3230000
177.32/172.66	c cleaning 79992 clauses out of 160035 with flag 13734923/3311000
180.62/175.96	c cleaning 80981 clauses out of 162043 with flag 14042718/3393000
184.26/179.51	c cleaning 82006 clauses out of 164062 with flag 14343369/3476000
189.83/185.10	c cleaning 83000 clauses out of 166056 with flag 14769462/3560000
194.00/189.21	c cleaning 84001 clauses out of 168057 with flag 15078497/3645001
199.98/195.14	c cleaning 85002 clauses out of 170055 with flag 15469248/3731000
204.25/199.45	c cleaning 85992 clauses out of 172054 with flag 15828991/3818001
210.50/205.62	c cleaning 87010 clauses out of 174061 with flag 16188187/3906000
215.86/210.96	c cleaning 88002 clauses out of 176051 with flag 16522493/3995000
220.06/215.19	c cleaning 89015 clauses out of 178049 with flag 16840015/4085000
225.79/220.85	c cleaning 89981 clauses out of 180034 with flag 17195871/4176000
230.76/225.70	c cleaning 91018 clauses out of 182054 with flag 17568626/4268001
235.35/230.30	c cleaning 91991 clauses out of 184039 with flag 17907492/4361004
239.81/234.78	c cleaning 93011 clauses out of 186044 with flag 18254665/4455000
247.59/242.55	c cleaning 94002 clauses out of 188033 with flag 18658912/4550000
254.33/249.24	c cleaning 94998 clauses out of 190032 with flag 19082370/4646001
259.81/254.68	c cleaning 96004 clauses out of 192035 with flag 19469625/4743002
265.99/260.70	c cleaning 96984 clauses out of 194029 with flag 19863568/4841000
275.57/270.39	c cleaning 97994 clauses out of 196046 with flag 20347547/4940001
280.93/275.66	c cleaning 99006 clauses out of 198052 with flag 20708444/5040001
285.73/280.38	c cleaning 100012 clauses out of 200045 with flag 21085079/5141000
291.61/286.27	c cleaning 100995 clauses out of 202033 with flag 21517516/5243000
297.39/291.90	c cleaning 101981 clauses out of 204038 with flag 21897029/5346000
304.35/298.83	c cleaning 102995 clauses out of 206058 with flag 22312277/5450001
311.91/306.33	c cleaning 104004 clauses out of 208063 with flag 22738082/5555001
319.00/313.46	c cleaning 104991 clauses out of 210058 with flag 23190928/5661000
325.78/320.12	c cleaning 106019 clauses out of 212068 with flag 23619140/5768001
330.74/325.09	c cleaning 106999 clauses out of 214048 with flag 24015926/5876000
338.19/332.40	c cleaning 108000 clauses out of 216049 with flag 24436668/5985000
343.67/338.00	c cleaning 109000 clauses out of 218049 with flag 24843315/6095000
349.95/344.12	c cleaning 110015 clauses out of 220050 with flag 25286785/6206001
355.89/350.04	c cleaning 110980 clauses out of 222034 with flag 25724563/6318000
365.33/359.47	c cleaning 111992 clauses out of 224055 with flag 26283537/6431001
371.31/365.32	c cleaning 113007 clauses out of 226063 with flag 26716124/6545001
379.49/373.59	c cleaning 114004 clauses out of 228055 with flag 27213678/6660000
393.53/387.52	c cleaning 115000 clauses out of 230051 with flag 27804395/6776000
409.18/403.18	c cleaning 116005 clauses out of 232052 with flag 28462953/6893001
425.18/419.17	c cleaning 117002 clauses out of 234047 with flag 29170908/7011001
433.02/426.98	c cleaning 118014 clauses out of 236045 with flag 29716350/7130001
439.79/433.60	c cleaning 118987 clauses out of 238030 with flag 30186197/7250000
449.27/443.04	c cleaning 119978 clauses out of 240044 with flag 30749150/7371001
455.36/449.17	c cleaning 121014 clauses out of 242066 with flag 31189474/7493001
463.75/457.53	c cleaning 121997 clauses out of 244053 with flag 31733543/7616002
470.51/464.25	c cleaning 123017 clauses out of 246055 with flag 32180726/7740001
477.45/471.15	c cleaning 123989 clauses out of 248037 with flag 32644217/7865000
485.59/479.29	c cleaning 125003 clauses out of 250049 with flag 33108333/7991001
501.65/495.28	c cleaning 126000 clauses out of 252045 with flag 33681709/8118000
508.74/502.21	c cleaning 127008 clauses out of 254046 with flag 34163033/8246001
516.63/510.09	c cleaning 127998 clauses out of 256038 with flag 34675224/8375001
523.01/516.45	c cleaning 128988 clauses out of 258040 with flag 35124034/8505001
531.25/524.63	c cleaning 129998 clauses out of 260053 with flag 35636598/8636002
540.49/533.87	c cleaning 131012 clauses out of 262056 with flag 36148407/8768003
549.90/543.24	c cleaning 132006 clauses out of 264041 with flag 36678725/8901000
559.86/553.13	c cleaning 133001 clauses out of 266035 with flag 37195245/9035000
568.38/561.70	c cleaning 133978 clauses out of 268036 with flag 37688945/9170002
576.09/569.33	c cleaning 135000 clauses out of 270056 with flag 38191037/9306000
587.24/580.44	c cleaning 136005 clauses out of 272057 with flag 38756474/9443001
595.80/588.99	c cleaning 137004 clauses out of 274051 with flag 39237592/9581000
606.55/599.63	c cleaning 137995 clauses out of 276047 with flag 39802060/9720000
615.21/608.25	c cleaning 139009 clauses out of 278052 with flag 40382348/9860000
624.33/617.37	c cleaning 139998 clauses out of 280043 with flag 40961872/10001000
632.56/625.53	c cleaning 140997 clauses out of 282045 with flag 41479248/10143000
640.71/633.64	c cleaning 142004 clauses out of 284048 with flag 42001852/10286000
649.55/642.44	c cleaning 142992 clauses out of 286044 with flag 42548479/10430000
657.21/650.10	c cleaning 144018 clauses out of 288052 with flag 43083099/10575000
666.53/659.37	c cleaning 144985 clauses out of 290035 with flag 43649017/10721001
676.01/668.71	c cleaning 146016 clauses out of 292052 with flag 44216406/10868003
685.39/678.02	c cleaning 146974 clauses out of 294033 with flag 44780276/11016000
698.31/690.98	c cleaning 147994 clauses out of 296061 with flag 45419301/11165002
709.74/702.36	c cleaning 149007 clauses out of 298066 with flag 46042519/11315001
719.88/712.41	c cleaning 149995 clauses out of 300059 with flag 46628728/11466001
730.94/723.48	c cleaning 151003 clauses out of 302063 with flag 47234271/11618000
743.19/735.63	c cleaning 152013 clauses out of 304060 with flag 47838934/11771000
752.41/744.85	c cleaning 152998 clauses out of 306047 with flag 48422081/11925000
764.89/757.29	c cleaning 153994 clauses out of 308049 with flag 49060517/12080000
777.45/769.70	c cleaning 154996 clauses out of 310056 with flag 49689580/12236001
788.18/780.42	c cleaning 156018 clauses out of 312059 with flag 50329732/12393000
798.28/790.48	c cleaning 156974 clauses out of 314041 with flag 50925644/12551000
811.61/803.78	c cleaning 158008 clauses out of 316067 with flag 51560641/12710000
826.90/818.58	c cleaning 159001 clauses out of 318062 with flag 52235161/12870003
836.99/828.63	c cleaning 160007 clauses out of 320058 with flag 52842039/13031000
848.13/839.73	c cleaning 161002 clauses out of 322052 with flag 53483933/13193001
859.56/851.18	c cleaning 161999 clauses out of 324049 with flag 54104295/13356000
871.26/862.84	c cleaning 163014 clauses out of 326050 with flag 54723099/13520000
886.36/877.97	c cleaning 163982 clauses out of 328036 with flag 55451119/13685000
897.63/889.12	c cleaning 165003 clauses out of 330055 with flag 56078092/13851001
907.85/899.37	c cleaning 165996 clauses out of 332052 with flag 56691213/14018001
921.77/913.23	c cleaning 167001 clauses out of 334057 with flag 57341107/14186002
935.60/927.08	c cleaning 168011 clauses out of 336055 with flag 58005093/14355001
951.93/943.33	c cleaning 169007 clauses out of 338045 with flag 58743235/14525002
964.28/955.68	c cleaning 169990 clauses out of 340039 with flag 59405505/14696003
975.57/966.96	c cleaning 171003 clauses out of 342047 with flag 60070227/14868001
989.30/980.64	c cleaning 171999 clauses out of 344043 with flag 60805833/15041000
1000.23/991.54	c cleaning 172989 clauses out of 346044 with flag 61489062/15215000
1014.45/1005.79	c cleaning 174004 clauses out of 348055 with flag 62232067/15390000
1029.44/1020.79	c cleaning 175008 clauses out of 350052 with flag 62914162/15566001
1042.45/1033.74	c cleaning 175990 clauses out of 352043 with flag 63629904/15743000
1055.95/1047.17	c cleaning 176995 clauses out of 354054 with flag 64308684/15921001
1071.28/1062.43	c cleaning 178011 clauses out of 356058 with flag 65070290/16100000
1089.01/1080.13	c cleaning 178992 clauses out of 358048 with flag 65887788/16280001
1102.63/1093.78	c cleaning 180014 clauses out of 360056 with flag 66598960/16461001
1114.63/1105.68	c cleaning 180992 clauses out of 362041 with flag 67283367/16643000
1128.55/1119.52	c cleaning 181998 clauses out of 364049 with flag 67982159/16826000
1140.58/1131.57	c cleaning 182980 clauses out of 366051 with flag 68669179/17010000
1159.06/1150.05	c cleaning 184019 clauses out of 368071 with flag 69564420/17195000
1173.75/1164.57	c cleaning 184995 clauses out of 370052 with flag 70281940/17381000
1185.39/1176.19	c cleaning 186001 clauses out of 372057 with flag 70945332/17568000
1197.98/1188.75	c cleaning 187021 clauses out of 374057 with flag 71640737/17756001
1212.08/1202.89	c cleaning 187998 clauses out of 376036 with flag 72428308/17945001
1226.24/1216.99	c cleaning 188993 clauses out of 378037 with flag 73160585/18135000
1244.37/1235.09	c cleaning 190016 clauses out of 380045 with flag 74008454/18326001
1258.19/1248.85	c cleaning 190980 clauses out of 382030 with flag 74750795/18518002
1275.50/1266.09	c cleaning 191997 clauses out of 384048 with flag 75539964/18711000
1294.85/1285.38	c cleaning 192991 clauses out of 386052 with flag 76325932/18905001
1310.99/1301.49	c cleaning 194012 clauses out of 388060 with flag 77201255/19100000
1325.13/1315.46	c cleaning 194998 clauses out of 390049 with flag 77968621/19296001
1339.28/1329.51	c cleaning 195999 clauses out of 392051 with flag 78719445/19493001
1354.49/1344.72	c cleaning 197015 clauses out of 394052 with flag 79492659/19691001
1377.09/1367.21	c cleaning 197987 clauses out of 396036 with flag 80466070/19890000
1395.06/1385.06	c cleaning 198999 clauses out of 398049 with flag 81348679/20090000
1408.62/1398.57	c cleaning 200007 clauses out of 400051 with flag 82106807/20291001
1427.36/1417.30	c cleaning 200991 clauses out of 402043 with flag 82932170/20493000
1448.75/1438.50	c cleaning 201995 clauses out of 404054 with flag 83784265/20696002
1467.05/1456.70	c cleaning 203010 clauses out of 406057 with flag 84682553/20900000
1485.39/1475.07	c cleaning 204001 clauses out of 408047 with flag 85557292/21105000
1504.50/1493.78	c cleaning 205007 clauses out of 410047 with flag 86387518/21311001
1520.03/1509.27	c cleaning 205983 clauses out of 412041 with flag 87175065/21518002
1537.79/1526.90	c cleaning 207006 clauses out of 414058 with flag 88019894/21726002
1558.06/1547.12	c cleaning 208000 clauses out of 416050 with flag 88929071/21935000
1575.50/1564.57	c cleaning 209003 clauses out of 418051 with flag 89769375/22145001
1597.40/1586.40	c cleaning 209992 clauses out of 420047 with flag 90711919/22356000
1617.01/1605.97	c cleaning 211011 clauses out of 422058 with flag 91580127/22568003
1634.58/1623.45	c cleaning 211990 clauses out of 424044 with flag 92415139/22781000
1651.04/1639.82	c cleaning 212999 clauses out of 426054 with flag 93248099/22995000
1669.17/1657.90	c cleaning 213997 clauses out of 428055 with flag 94140308/23210000
1686.92/1675.68	c cleaning 215006 clauses out of 430059 with flag 95024695/23426001
1704.65/1693.38	c cleaning 216007 clauses out of 432052 with flag 95963560/23643000
1725.91/1714.58	c cleaning 217006 clauses out of 434049 with flag 96888118/23861004
1746.34/1734.88	c cleaning 217996 clauses out of 436039 with flag 97789122/24080000
1764.21/1752.65	c cleaning 218995 clauses out of 438044 with flag 98668795/24300001
1792.28/1780.62	c cleaning 220003 clauses out of 440048 with flag 99601045/24521000
1811.12/1799.48	c cleaning 221010 clauses out of 442045 with flag 100511028/24743000
1832.17/1820.44	c cleaning 221993 clauses out of 444035 with flag 101426351/24966000
1859.99/1848.28	c cleaning 223008 clauses out of 446045 with flag 102432257/25190003
1877.45/1865.51	c cleaning 223997 clauses out of 448035 with flag 103292791/25415001
1895.26/1883.35	c cleaning 224997 clauses out of 450037 with flag 104123367/25641000
1917.84/1905.82	c cleaning 225990 clauses out of 452044 with flag 105091691/25868004
1937.92/1925.86	c cleaning 226995 clauses out of 454052 with flag 105956837/26096002
1963.35/1951.20	c cleaning 228006 clauses out of 456058 with flag 107040144/26325003
1982.89/1970.76	c cleaning 229003 clauses out of 458050 with flag 107986431/26555001
2000.73/1988.55	c cleaning 229991 clauses out of 460046 with flag 108886348/26786000
2021.53/2009.33	c cleaning 231011 clauses out of 462055 with flag 109812269/27018000
2039.95/2027.65	c cleaning 232002 clauses out of 464048 with flag 110747217/27251004
2071.44/2059.17	c cleaning 233000 clauses out of 466043 with flag 111857275/27485001
2102.01/2089.56	c cleaning 233993 clauses out of 468042 with flag 112968940/27720000
2122.52/2110.07	c cleaning 235007 clauses out of 470050 with flag 113896222/27956001
2144.03/2131.55	c cleaning 236003 clauses out of 472044 with flag 114870286/28193002
2164.56/2152.03	c cleaning 236993 clauses out of 474040 with flag 115817125/28431001
2183.78/2171.20	c cleaning 237997 clauses out of 476046 with flag 116772559/28670000
2204.53/2191.97	c cleaning 239015 clauses out of 478052 with flag 117788046/28910003
2223.83/2211.15	c cleaning 240017 clauses out of 480034 with flag 118768822/29151000
2241.88/2229.11	c cleaning 240986 clauses out of 482017 with flag 119650351/29393000
2270.63/2257.96	c cleaning 241987 clauses out of 484031 with flag 120642133/29636000
2295.37/2282.24	c cleaning 242995 clauses out of 486044 with flag 121645942/29880000
2318.44/2305.15	c cleaning 244009 clauses out of 488050 with flag 122725479/30125001
2338.97/2325.14	c cleaning 244993 clauses out of 490040 with flag 123705933/30371000
2359.47/2345.64	c cleaning 246008 clauses out of 492049 with flag 124703830/30618002
2379.45/2365.53	c cleaning 246998 clauses out of 494040 with flag 125655020/30866001
2400.76/2386.87	c cleaning 248011 clauses out of 496042 with flag 126633810/31115001
2422.35/2408.45	c cleaning 248987 clauses out of 498030 with flag 127630319/31365000
2453.47/2439.54	c cleaning 250001 clauses out of 500044 with flag 128749575/31616001
2479.74/2465.77	c cleaning 251005 clauses out of 502042 with flag 129799041/31868000
2501.00/2486.98	c cleaning 252008 clauses out of 504038 with flag 130802494/32121001
2524.48/2510.35	c cleaning 252999 clauses out of 506029 with flag 131861944/32375000
2546.11/2532.00	c cleaning 253991 clauses out of 508030 with flag 132920297/32630000
2568.16/2553.97	c cleaning 255002 clauses out of 510039 with flag 133958321/32886000
2592.34/2578.09	c cleaning 255999 clauses out of 512037 with flag 134983453/33143000
2616.15/2601.83	c cleaning 256997 clauses out of 514038 with flag 136009004/33401000
2636.82/2622.47	c cleaning 257997 clauses out of 516044 with flag 136973691/33660003
2662.85/2648.43	c cleaning 259001 clauses out of 518045 with flag 138054818/33920001
2685.52/2671.04	c cleaning 260003 clauses out of 520044 with flag 139111164/34181001
2709.26/2694.70	c cleaning 260991 clauses out of 522040 with flag 140154369/34443000
2737.09/2722.58	c cleaning 262011 clauses out of 524050 with flag 141262514/34706001
2760.23/2745.53	c cleaning 262992 clauses out of 526039 with flag 142301730/34970001
2789.31/2774.53	c cleaning 264005 clauses out of 528046 with flag 143396486/35235000
2813.42/2798.54	c cleaning 265001 clauses out of 530042 with flag 144470776/35501001
2850.50/2835.56	c cleaning 265999 clauses out of 532040 with flag 145681595/35768000
2873.88/2858.99	c cleaning 266995 clauses out of 534041 with flag 146788756/36036000
2902.72/2887.72	c cleaning 267995 clauses out of 536046 with flag 148059100/36305000
2934.66/2919.63	c cleaning 269002 clauses out of 538051 with flag 149333513/36575000
2959.69/2944.68	c cleaning 269993 clauses out of 540050 with flag 150381890/36846001
2982.24/2967.19	c cleaning 271015 clauses out of 542056 with flag 151407717/37118000
3005.34/2990.26	c cleaning 271997 clauses out of 544041 with flag 152455442/37391000
3034.54/3019.31	c cleaning 273004 clauses out of 546046 with flag 153575386/37665002
3059.54/3044.39	c cleaning 273992 clauses out of 548041 with flag 154660374/37940001
3082.41/3066.77	c cleaning 274999 clauses out of 550049 with flag 155698371/38216001
3106.01/3090.33	c cleaning 276006 clauses out of 552051 with flag 156782828/38493002
3130.80/3115.16	c cleaning 276994 clauses out of 554043 with flag 157945559/38771000
3155.22/3139.59	c cleaning 277995 clauses out of 556049 with flag 159040898/39050000
3181.24/3165.59	c cleaning 278999 clauses out of 558056 with flag 160214692/39330002
3207.15/3191.47	c cleaning 280004 clauses out of 560055 with flag 161344807/39611000
3232.20/3216.50	c cleaning 281017 clauses out of 562053 with flag 162464831/39893002
3262.49/3246.71	c cleaning 281998 clauses out of 564035 with flag 163631753/40176001
3292.68/3276.89	c cleaning 283001 clauses out of 566037 with flag 164796030/40460001
3318.32/3302.46	c cleaning 284001 clauses out of 568035 with flag 165948551/40745000
3348.48/3332.58	c cleaning 285011 clauses out of 570034 with flag 167122393/41031000
3377.17/3361.17	c cleaning 285980 clauses out of 572023 with flag 168283623/41318000
3403.80/3387.76	c cleaning 287003 clauses out of 574044 with flag 169397194/41606001
3430.06/3413.97	c cleaning 287990 clauses out of 576040 with flag 170516315/41895000
3462.01/3445.80	c cleaning 289006 clauses out of 578052 with flag 171660274/42185002
3489.82/3473.50	c cleaning 290006 clauses out of 580044 with flag 172816334/42476000
3529.15/3512.89	c cleaning 291008 clauses out of 582040 with flag 174210637/42768002
3557.64/3541.29	c cleaning 292002 clauses out of 584030 with flag 175396090/43061000
3595.16/3578.73	c cleaning 292994 clauses out of 586029 with flag 176716392/43355001
3600.07/3583.63	c timeout
3600.07/3583.65	c starts		: 19722
3600.07/3583.65	c conflicts		: 43420219
3600.07/3583.65	c decisions		: 56136874
3600.07/3583.65	c propagations		: 488171554
3600.07/3583.65	c inspects		: 50742687878
3600.07/3583.65	c shortcuts		: 0
3600.07/3583.65	c learnt literals	: 0
3600.07/3583.65	c learnt binary clauses	: 0
3600.07/3583.65	c learnt ternary clauses	: 0
3600.07/3583.65	c learnt constraints	: 43420219
3600.07/3583.65	c ignored constraints	: 0
3600.07/3583.65	c root simplifications	: 0
3600.07/3583.65	c removed literals (reason simplification)	: 27600571
3600.07/3583.65	c reason swapping (by a shorter reason)	: 0
3600.07/3583.65	c Calls to reduceDB	: 290
3600.07/3583.65	c Number of update (reduction) of LBD	: 11631243
3600.07/3583.65	c Imported unit clauses	: 0
3600.07/3583.65	c No decision after first conflict	: false
3600.07/3583.65	c number of reductions to clauses (during analyze)	: 0
3600.07/3583.65	c number of learned constraints concerned by reduction	: 0
3600.07/3583.65	c number of learning phase by resolution	: 0
3600.07/3583.65	c number of learning phase by cutting planes	: 0
3600.07/3583.65	c number of rounding to 1 operations	: 0
3600.07/3583.65	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3583.65	c number of reductions of the coefficients by power 2 	: 0
3600.07/3583.65	c number of right shift for reduction by power 2 	: 0
3600.07/3583.65	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3583.65	c number of ending skipping 	: 0
3600.07/3583.65	c number of internal skipping 	: 0
3600.07/3583.65	c number of derivation steps 	: 0
3600.07/3583.65	c number of skipped derivation steps 	: 0
3600.07/3583.65	c number of remaining unassigned 	: 0
3600.07/3583.65	c number of remaining assigned 	: 0
3600.07/3583.65	c number of falsified literals weakened from reason	: 0
3600.07/3583.65	c number of falsified literals weakened from conflict	: 0
3600.07/3583.65	c time for arithmetic operations	: 0
3600.07/3583.65	c minimum degree of deleted constraints	: null
3600.07/3583.65	c maximum degree of deleted constraints	: null
3600.07/3583.65	c number of deleted constraints	: 0
3600.07/3583.65	c speed (assignments/second)	: 136240.58833018248
3600.07/3583.65	c non guided choices	: 2164116
3600.24/3583.72	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 358253
3600.24/3583.73	s UNKNOWN
3600.24/3583.73	c Total wall clock time (in seconds): 3583.332

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: 63794 MiB (62690 MiB free)
  memory of node 1: 64507 MiB (63151 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542706-1753222705/watcher-4542706-1753222705 -o /tmp/evaluation-result-4542706-1753222705/solver-4542706-1753222705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158994 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542706-1753222705 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542706-1753222705.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 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
solver pid=159044, runsolver pid=159036
Current StackSize limit: 8192 KiB


[startup+0.100082 s]*
/proc/loadavg: 1.13 1.16 1.94 13/312 159114
/proc/meminfo: memFree=128808696/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=18929456 memory=43780 CPUtime=0.07 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 5309 0 103 0 4 3 0 0 20 0 18 0 237950315 19383762944 10945 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4732364 10945 4538 1 0 546627 0
[pid=159044/tid=159056] ppid=159036 vsize=18929456 memory=4026532124 CPUtime=0.05 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) D 159036 159044 158984 0 -1 4194368 4520 0 82 0 3 2 0 0 20 0 18 0 237950319 19383762944 10945 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=18929456 memory=16142 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19383762944 10945 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=18929456 memory=58494082614266 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 237950326 19383762944 10945 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18929456 KiB
Current children cumulated memory: 43780 KiB

[startup+0.214924 s]*
/proc/loadavg: 1.13 1.16 1.94 8/320 159122
/proc/meminfo: memFree=128799372/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=18930384 memory=49668 CPUtime=0.24 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 6102 0 103 0 19 5 0 0 20 0 18 0 237950315 19384713216 12417 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4732596 12417 5306 1 0 547275 0
[pid=159044/tid=159056] ppid=159036 vsize=18930384 memory=4026990876 CPUtime=0.15 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 4881 0 82 0 12 3 0 0 20 0 18 0 237950319 19384713216 12956 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=18930384 memory=16142 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 12956 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=18930384 memory=58494082614266 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 12956 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49668 KiB

[startup+0.313939 s]*
/proc/loadavg: 1.13 1.16 1.94 11/320 159122
/proc/meminfo: memFree=128777760/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=18930384 memory=57748 CPUtime=0.38 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 6589 0 103 0 33 5 0 0 20 0 18 0 237950315 19384713216 14437 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4732596 14437 5306 1 0 547658 0
[pid=159044/tid=159056] ppid=159036 vsize=18930384 memory=-8600303413619368636 CPUtime=0.24 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 5095 0 82 0 21 3 0 0 20 0 18 0 237950319 19384713216 14437 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 237950325 19384713216 14437 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 237950326 19384713216 14437 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57748 KiB

[startup+0.700396 s]
/proc/loadavg: 1.13 1.16 1.94 12/322 159124
/proc/meminfo: memFree=128759864/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=18996948 memory=71200 CPUtime=1.07 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 8576 0 103 0 100 7 0 0 20 0 19 0 237950315 19452874752 17800 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4749237 17800 5402 1 0 548953 0
[pid=159044/tid=159056] ppid=159036 vsize=18996948 memory=26880 CPUtime=0.52 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 5352 0 82 0 49 3 0 0 20 0 19 0 237950319 19452874752 17800 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 17800 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 17800 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237950365 19452874752 17800 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71200 KiB

[startup+1.50033 s]
/proc/loadavg: 1.13 1.16 1.94 11/324 159126
/proc/meminfo: memFree=128625020/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=18996948 memory=150516 CPUtime=2.65 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 22262 0 103 0 251 14 0 0 20 0 19 0 237950315 19452874752 37629 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4749237 37629 5434 1 0 553106 0
[pid=159044/tid=159056] ppid=159036 vsize=18996948 memory=0 CPUtime=1.23 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 6385 0 82 0 116 7 0 0 20 0 19 0 237950319 19452874752 37629 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 237950325 19452874752 37629 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 237950326 19452874752 37629 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 237950365 19452874752 37629 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150516 KiB

[startup+3.10609 s]
/proc/loadavg: 1.68 1.27 1.97 9/328 159130
/proc/meminfo: memFree=128269872/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=175872 CPUtime=5.82 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 25742 0 103 0 565 17 0 0 20 0 20 0 237950315 19521036288 43968 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 43968 5466 1 0 553823 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=10624 CPUtime=2.76 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 6930 0 82 0 267 9 0 0 20 0 20 0 237950319 19521036288 43968 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=-8744418601695224508 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 43968 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 43968 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 43968 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175872 KiB

[startup+6.30031 s]
/proc/loadavg: 1.68 1.27 1.97 8/328 159130
/proc/meminfo: memFree=126551240/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=608948 CPUtime=10.46 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 30560 0 103 0 1014 32 0 0 20 0 20 0 237950315 19521036288 152237 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 152237 5466 1 0 554447 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=0 CPUtime=5.92 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 7408 0 82 0 571 21 0 0 20 0 20 0 237950319 19521036288 152237 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 152237 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 152237 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=161924 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 152237 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 10.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 608948 KiB

[startup+12.7004 s]
/proc/loadavg: 1.87 1.32 1.98 7/328 159130
/proc/meminfo: memFree=124693912/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=972796 CPUtime=17.19 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 36247 0 103 0 1675 44 0 0 20 0 20 0 237950315 19521036288 243199 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 243199 5466 1 0 554447 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=161924 CPUtime=12.29 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 8564 0 82 0 1197 32 0 0 20 0 20 0 237950319 19521036288 243199 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=972796 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 243199 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=972796 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 243199 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 243199 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 17.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 972796 KiB

[startup+25.5005 s]
/proc/loadavg: 2.41 1.47 2.02 5/328 159130
/proc/meminfo: memFree=123327920/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=1259684 CPUtime=29.99 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 38892 0 103 0 2942 57 0 0 20 0 20 0 237950315 19521036288 314921 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 314921 5498 1 0 554447 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=972796 CPUtime=24.96 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 9630 0 82 0 2453 43 0 0 20 0 20 0 237950319 19521036288 314921 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=1212540 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 314921 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 32 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 314921 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=1259684 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 314921 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 29.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1259684 KiB

[startup+51.1138 s]
/proc/loadavg: 3.14 1.72 2.09 5/328 159131
/proc/meminfo: memFree=122589160/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=1338004 CPUtime=55.92 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 44003 0 103 0 5519 73 0 0 20 0 20 0 237950315 19521036288 334501 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 334501 5498 1 0 554458 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=1338004 CPUtime=50.29 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 10236 0 82 0 4972 57 0 0 20 0 20 0 237950319 19521036288 334501 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=1338004 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 334501 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0

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

[startup+3282.3 s]
/proc/loadavg: 4.28 4.27 4.21 5/325 159302
/proc/meminfo: memFree=78239732/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3298.17 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 115014 0 103 0 328390 1427 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3242.88 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 47513 0 82 0 323052 1236 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1267 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3298.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.25 4.20 5/326 159305
/proc/meminfo: memFree=77880084/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3358.31 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 116920 0 103 0 334380 1451 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=14560 CPUtime=3302.38 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 48807 0 82 0 328981 1257 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1316 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3358.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.20 5/327 159314
/proc/meminfo: memFree=77395512/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3418.41 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 117016 0 103 0 340366 1475 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3361.81 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 48813 0 82 0 334903 1278 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3418.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/328 159317
/proc/meminfo: memFree=76774628/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3478.55 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 117032 0 103 0 346359 1496 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=14560 CPUtime=3421.34 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 48815 0 82 0 340838 1296 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=14560 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3478.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.28 4.21 5/328 159319
/proc/meminfo: memFree=76116176/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3538.69 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 117538 0 103 0 352355 1514 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3480.83 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 49234 0 82 0 346771 1312 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1366 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3538.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.28 4.21 5/328 159658
/proc/meminfo: memFree=113905672/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3598.74 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 119304 0 103 0 358343 1531 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3540.36 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 50668 0 82 0 352709 1327 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=26880 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=2188000 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=76040 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3598.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3583.6 s]
/proc/loadavg: 4.35 4.28 4.21 5/328 159658
/proc/meminfo: memFree=113300860/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19063512 memory=2188000 CPUtime=3600.07 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 119346 0 103 0 358476 1531 0 0 20 0 20 0 237950315 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4765878 547000 5498 1 0 557675 0
[pid=159044/tid=159056] ppid=159036 vsize=19063512 memory=26880 CPUtime=3541.51 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) R 159036 159044 158984 0 -1 4194368 50674 0 82 0 352824 1327 0 0 20 0 20 0 237950319 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 237950325 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 20 0 237950326 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159123] ppid=159036 vsize=19063512 memory=-8744418601695224508 CPUtime=0 cores=0,2
/proc/159044/task/159123/stat : 159123 (Timer-0) S 159036 159044 158984 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 237950365 19521036288 547000 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.98 s, system=15.3363 s

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

[startup+3583.71 s]
/proc/loadavg: 4.35 4.28 4.21 5/328 159658
/proc/meminfo: memFree=113300860/131382112 swapFree=33010160/33010684
[pid=159044] ppid=159036 vsize=19263204 memory=2188768 CPUtime=3600.24 cores=0,2
/proc/159044/stat : 159044 (java) S 159036 159044 158984 0 -1 4194304 121399 0 103 0 358492 1532 0 0 20 0 21 0 237950315 19725520896 547192 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
/proc/159044/statm: 4815801 547192 5498 1 0 558578 0
[pid=159044/tid=159056] ppid=159036 vsize=19263204 memory=2188000 CPUtime=3541.53 cores=0,2
/proc/159044/task/159056/stat : 159056 (java) S 159036 159044 158984 0 -1 4194368 51012 0 82 0 352826 1327 0 0 20 0 21 0 237950319 19725520896 547192 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159089] ppid=159036 vsize=19263204 memory=26880 CPUtime=0 cores=0,2
/proc/159044/task/159089/stat : 159089 (Finalizer) S 159036 159044 158984 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 237950325 19725520896 547192 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
[pid=159044/tid=159119] ppid=159036 vsize=19263204 memory=-8744418601695224508 CPUtime=0 cores=0,2
/proc/159044/task/159119/stat : 159119 (Common-Cleaner) S 159036 159044 158984 0 -1 4194368 1445 0 0 0 0 0 0 0 20 0 21 0 237950326 19725520896 547192 18446744073709551615 94239067852800 94239067856496 140727012998992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94239067864312 94239067865104 94239069831168 140727013005652 140727013005796 140727013005796 140727013011400 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2188768 KiB

Child status: 143

Real time (s): 3583.77
CPU time (s): 3600.31
CPU user time (s): 3584.98
CPU system time (s): 15.3363
CPU usage (%): 100.461
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2188768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.98
system time used= 15.3363
maximum resident set size= 2188896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121568
page faults= 103
swaps= 0
block input operations= 0
block output operations= 18288880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121660
involuntary context switches= 13015


# summary of solver processes directly reported to runsolver:
#   pid: 159044
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3584.98
#   total CPU system time (s): 15.3363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2463 second user time and 38.2816 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-23 00:18:25
IDJOB=4542706
IDBENCH=164553
IDSOLVER=3364
FILE ID=nodeC009/4542706-1753222705
RUNJOBID= nodeC009-1753222705-158994
SLURM_JOB_ID= 9687823
Free space on /tmp= 432296 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542706-1753222705/watcher-4542706-1753222705 -o /tmp/evaluation-result-4542706-1753222705/solver-4542706-1753222705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1753222705-158994 --watchdog 3760 --file-size-limit 100000 java -Dveripb=/tmp/proof-4542706-1753222705 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4542706-1753222705.opb

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

MD5SUM BENCH= 51f0204441dcd002ae254f35580dbb8b
RANDOM SEED=639994482

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128846468 kB
MemAvailable:   129760188 kB
Buffers:            2144 kB
Cached:          1631036 kB
SwapCached:           24 kB
Active:          1206372 kB
Inactive:         493704 kB
Active(anon):      88944 kB
Inactive(anon):     4080 kB
Active(file):    1117428 kB
Inactive(file):   489624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1716 kB
Writeback:             8 kB
AnonPages:         70024 kB
Mapped:           108056 kB
Shmem:             26128 kB
KReclaimable:     292204 kB
Slab:             385080 kB
SReclaimable:     292204 kB
SUnreclaim:        92876 kB
KernelStack:        3888 kB
PageTables:         3004 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     341356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 423012 MiB
End job on nodeC009 at 2025-07-23 01:18:09