Trace number 4518649

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)1 3573.22 3705.63

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
MD5SUMc2769aec5501f1fd7f55f6e1394c15e3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.76096
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1604
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint7
Maximum length of a constraint7
Number of terms in the objective function 401
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 401
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 401
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4518649-1751549616.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c using VERIPB proof format
0.13/0.13	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.048s.
0.13/0.17	c declared #vars     1604
0.13/0.17	c #constraints  802
0.13/0.17	c constraints type 
0.13/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 802
0.13/0.18	c 802 constraints processed.
0.13/0.19	c objective function length is 401 literals
0.52/0.36	c SATISFIABLE
0.52/0.36	c OPTIMIZING...
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.236
0.52/0.36	o 1
1.88/1.03	c cleaning 2675 clauses out of 5352 with flag 30593/5352
2.85/1.51	c cleaning 4329 clauses out of 8676 with flag 60979/11351
3.65/1.96	c cleaning 5664 clauses out of 11348 with flag 104298/18352
4.38/2.39	c cleaning 6842 clauses out of 13683 with flag 150390/26351
5.18/2.83	c cleaning 7914 clauses out of 15842 with flag 204091/35352
5.79/3.35	c cleaning 8950 clauses out of 17927 with flag 263140/45351
6.48/3.93	c cleaning 9979 clauses out of 19978 with flag 331780/56352
7.10/4.58	c cleaning 10981 clauses out of 21998 with flag 402000/68351
7.81/5.23	c cleaning 11997 clauses out of 24021 with flag 476267/81355
8.52/5.93	c cleaning 13000 clauses out of 26020 with flag 558036/95351
9.22/6.65	c cleaning 13984 clauses out of 28021 with flag 644789/110352
10.03/7.44	c cleaning 15003 clauses out of 30037 with flag 733873/126352
10.95/8.30	c cleaning 15976 clauses out of 32034 with flag 836394/143352
11.88/9.20	c cleaning 17006 clauses out of 34057 with flag 945113/161351
12.79/10.15	c cleaning 18011 clauses out of 36051 with flag 1054783/180351
13.78/11.19	c cleaning 18994 clauses out of 38041 with flag 1183132/200352
14.87/12.21	c cleaning 19998 clauses out of 40046 with flag 1308000/221351
15.97/13.34	c cleaning 21024 clauses out of 42048 with flag 1438545/243351
17.17/14.52	c cleaning 21991 clauses out of 44024 with flag 1575562/266351
18.37/15.76	c cleaning 22991 clauses out of 46034 with flag 1716208/290352
19.68/17.05	c cleaning 23998 clauses out of 48043 with flag 1867925/315352
21.07/18.45	c cleaning 25007 clauses out of 50044 with flag 2024699/341351
22.46/19.88	c cleaning 25998 clauses out of 52037 with flag 2188253/368351
23.96/21.38	c cleaning 27004 clauses out of 54040 with flag 2358886/396352
25.60/22.95	c cleaning 27999 clauses out of 56035 with flag 2545997/425351
27.21/24.58	c cleaning 28998 clauses out of 58036 with flag 2725828/455351
28.91/26.28	c cleaning 29983 clauses out of 60039 with flag 2924599/486352
30.71/28.07	c cleaning 31014 clauses out of 62056 with flag 3122295/518352
32.50/29.89	c cleaning 32006 clauses out of 64041 with flag 3324838/551351
34.41/31.79	c cleaning 32998 clauses out of 66035 with flag 3535796/585351
36.53/33.80	c cleaning 33988 clauses out of 68038 with flag 3761244/620352
38.52/35.80	c cleaning 35001 clauses out of 70049 with flag 3983477/656351
40.53/37.84	c cleaning 36010 clauses out of 72049 with flag 4209846/693352
42.65/39.95	c cleaning 37000 clauses out of 74038 with flag 4444110/731351
44.85/42.18	c cleaning 37988 clauses out of 76038 with flag 4692937/770351
47.14/44.44	c cleaning 38996 clauses out of 78050 with flag 4947411/810351
49.43/46.80	c cleaning 40009 clauses out of 80054 with flag 5208558/851351
51.85/49.18	c cleaning 40990 clauses out of 82046 with flag 5476023/893352
54.46/51.75	c cleaning 42002 clauses out of 84055 with flag 5760702/936351
57.07/54.32	c cleaning 43007 clauses out of 86053 with flag 6041896/980351
59.67/56.99	c cleaning 44006 clauses out of 88047 with flag 6329019/1025352
62.47/59.75	c cleaning 44999 clauses out of 90040 with flag 6623726/1071351
65.29/62.58	c cleaning 46001 clauses out of 92041 with flag 6922437/1118351
68.31/65.58	c cleaning 47000 clauses out of 94042 with flag 7243881/1166353
71.44/68.68	c cleaning 47993 clauses out of 96041 with flag 7560895/1215352
74.58/71.70	c cleaning 48980 clauses out of 98047 with flag 7878258/1265351
77.82/74.90	c cleaning 50002 clauses out of 100067 with flag 8214789/1316351
81.18/78.23	c cleaning 51012 clauses out of 102067 with flag 8550582/1368353
84.54/81.58	c cleaning 52010 clauses out of 104053 with flag 8890563/1421351
87.98/84.99	c cleaning 53003 clauses out of 106043 with flag 9233005/1475351
91.60/88.59	c cleaning 53973 clauses out of 108041 with flag 9602362/1530352
95.31/92.29	c cleaning 55011 clauses out of 110068 with flag 9976023/1586352
99.24/96.13	c cleaning 55996 clauses out of 112056 with flag 10348507/1643351
103.04/99.96	c cleaning 56999 clauses out of 114060 with flag 10732222/1701351
107.12/103.96	c cleaning 58001 clauses out of 116062 with flag 11109796/1760352
111.17/107.95	c cleaning 59003 clauses out of 118061 with flag 11507759/1820352
115.31/112.03	c cleaning 60004 clauses out of 120057 with flag 11904428/1881351
119.44/116.15	c cleaning 61027 clauses out of 122053 with flag 12317794/1943351
123.68/120.31	c cleaning 61988 clauses out of 124027 with flag 12737722/2006352
127.93/124.54	c cleaning 62991 clauses out of 126042 with flag 13147512/2070355
132.47/129.04	c cleaning 63998 clauses out of 128048 with flag 13596010/2135352
136.91/133.43	c cleaning 65006 clauses out of 130052 with flag 14033434/2201354
141.55/138.06	c cleaning 66002 clauses out of 132046 with flag 14482070/2268354
146.29/142.70	c cleaning 66994 clauses out of 134042 with flag 14945189/2336352
151.13/147.50	c cleaning 67989 clauses out of 136047 with flag 15419067/2405351
156.15/152.43	c cleaning 68993 clauses out of 138061 with flag 15887046/2475354
161.22/157.41	c cleaning 70015 clauses out of 140065 with flag 16376618/2546351
166.25/162.41	c cleaning 71009 clauses out of 142053 with flag 16870915/2618354
171.30/167.44	c cleaning 71985 clauses out of 144041 with flag 17358568/2691351
176.54/172.63	c cleaning 73004 clauses out of 146057 with flag 17865053/2765352
182.04/178.06	c cleaning 74000 clauses out of 148052 with flag 18372509/2840351
187.50/183.42	c cleaning 74988 clauses out of 150053 with flag 18881755/2916352
193.03/188.92	c cleaning 76004 clauses out of 152065 with flag 19400407/2993352
198.56/194.44	c cleaning 77002 clauses out of 154060 with flag 19948810/3071351
204.46/200.29	c cleaning 77994 clauses out of 156058 with flag 20499373/3150351
210.33/206.10	c cleaning 78999 clauses out of 158064 with flag 21044295/3230351
216.25/211.91	c cleaning 80004 clauses out of 160065 with flag 21600937/3311351
222.33/217.96	c cleaning 81004 clauses out of 162061 with flag 22170592/3393351
228.38/223.98	c cleaning 81998 clauses out of 164057 with flag 22731791/3476351
234.40/229.93	c cleaning 82988 clauses out of 166059 with flag 23308504/3560351
240.76/236.24	c cleaning 84003 clauses out of 168074 with flag 23899999/3645354
247.10/242.59	c cleaning 85006 clauses out of 170068 with flag 24492485/3731351
253.58/248.93	c cleaning 86005 clauses out of 172062 with flag 25110036/3818351
260.17/255.72	c cleaning 87004 clauses out of 174057 with flag 25720223/3906351
266.69/262.22	c cleaning 87999 clauses out of 176053 with flag 26333215/3995351
273.49/269.00	c cleaning 88983 clauses out of 178054 with flag 26961237/4085351
280.34/275.74	c cleaning 90005 clauses out of 180073 with flag 27604771/4176353
287.38/282.92	c cleaning 91012 clauses out of 182067 with flag 28237689/4268352
294.32/289.80	c cleaning 92011 clauses out of 184056 with flag 28882095/4361353
301.41/296.86	c cleaning 92985 clauses out of 186044 with flag 29530899/4455352
308.65/304.02	c cleaning 94007 clauses out of 188061 with flag 30181039/4550354
315.91/311.48	c cleaning 94984 clauses out of 190051 with flag 30847901/4646351
323.72/319.12	c cleaning 95998 clauses out of 192068 with flag 31532916/4743352
331.24/326.63	c cleaning 97020 clauses out of 194069 with flag 32222669/4841351
338.82/334.13	c cleaning 97990 clauses out of 196049 with flag 32925078/4940351
346.55/342.05	c cleaning 99005 clauses out of 198060 with flag 33626686/5040352
354.55/349.98	c cleaning 100001 clauses out of 200054 with flag 34337681/5141351
362.42/357.75	c cleaning 100981 clauses out of 202054 with flag 35046405/5243352
370.60/365.89	c cleaning 101994 clauses out of 204073 with flag 35783573/5346352
378.86/374.23	c cleaning 103016 clauses out of 206078 with flag 36503808/5450351
387.11/382.42	c cleaning 104003 clauses out of 208062 with flag 37245641/5555351
395.47/390.77	c cleaning 104991 clauses out of 210059 with flag 37991867/5661351
403.94/399.19	c cleaning 105997 clauses out of 212068 with flag 38736118/5768351
412.78/408.18	c cleaning 107010 clauses out of 214071 with flag 39499415/5876351
421.53/416.89	c cleaning 108009 clauses out of 216062 with flag 40273167/5985352
430.38/425.63	c cleaning 108998 clauses out of 218053 with flag 41053430/6095352
439.33/434.53	c cleaning 109998 clauses out of 220055 with flag 41845403/6206352
448.45/443.58	c cleaning 110998 clauses out of 222056 with flag 42634018/6318351
457.71/452.78	c cleaning 112029 clauses out of 224058 with flag 43435391/6431351
467.24/462.05	c cleaning 112994 clauses out of 226030 with flag 44252535/6545352
476.66/471.49	c cleaning 113993 clauses out of 228036 with flag 45073735/6660352
486.22/480.92	c cleaning 114988 clauses out of 230044 with flag 45903738/6776353
495.96/490.65	c cleaning 116004 clauses out of 232055 with flag 46731843/6893352
505.52/500.19	c cleaning 116998 clauses out of 234050 with flag 47590187/7011351
515.30/509.89	c cleaning 118002 clauses out of 236054 with flag 48429065/7130353
525.28/519.75	c cleaning 119003 clauses out of 238051 with flag 49276556/7250352
535.24/529.61	c cleaning 119984 clauses out of 240047 with flag 50152609/7371351
545.41/539.71	c cleaning 120990 clauses out of 242063 with flag 51023882/7493351
555.80/550.03	c cleaning 122004 clauses out of 244075 with flag 51926423/7616353
566.17/560.39	c cleaning 123019 clauses out of 246069 with flag 52801499/7740351
576.85/570.92	c cleaning 123997 clauses out of 248051 with flag 53690307/7865352
587.41/581.41	c cleaning 125001 clauses out of 250053 with flag 54604584/7991351
598.35/592.38	c cleaning 125999 clauses out of 252052 with flag 55521253/8118351
609.41/603.31	c cleaning 126997 clauses out of 254053 with flag 56441608/8246351
620.39/614.24	c cleaning 127989 clauses out of 256059 with flag 57366219/8375354
631.74/625.52	c cleaning 128999 clauses out of 258067 with flag 58294265/8505351
642.91/636.69	c cleaning 130013 clauses out of 260068 with flag 59250857/8636351
654.27/647.93	c cleaning 130995 clauses out of 262057 with flag 60187001/8768353
665.54/659.13	c cleaning 131979 clauses out of 264060 with flag 61134635/8901351
677.27/670.77	c cleaning 133023 clauses out of 266082 with flag 62110542/9035352
689.25/682.67	c cleaning 134002 clauses out of 268060 with flag 63085439/9170353
701.62/694.64	c cleaning 135000 clauses out of 270056 with flag 64066277/9306351
713.39/706.39	c cleaning 136000 clauses out of 272056 with flag 65044941/9443351
725.64/718.54	c cleaning 137003 clauses out of 274056 with flag 66044998/9581351
738.08/730.85	c cleaning 137992 clauses out of 276055 with flag 67061335/9720353
750.35/743.07	c cleaning 139009 clauses out of 278061 with flag 68074910/9860351
762.81/755.40	c cleaning 139992 clauses out of 280052 with flag 69092045/10001351
775.43/767.95	c cleaning 140987 clauses out of 282061 with flag 70121069/10143352
788.32/780.71	c cleaning 142007 clauses out of 284074 with flag 71167987/10286352
801.07/793.40	c cleaning 142996 clauses out of 286067 with flag 72220412/10430352
814.40/806.63	c cleaning 143999 clauses out of 288072 with flag 73286807/10575353
827.47/819.67	c cleaning 144986 clauses out of 290072 with flag 74361078/10721352
840.60/832.92	c cleaning 146009 clauses out of 292085 with flag 75425734/10868351
853.93/846.18	c cleaning 147016 clauses out of 294076 with flag 76524823/11016351
867.19/859.32	c cleaning 147997 clauses out of 296061 with flag 77621881/11165352
880.73/872.91	c cleaning 149008 clauses out of 298063 with flag 78712402/11315351
894.50/886.61	c cleaning 150004 clauses out of 300055 with flag 79832908/11466351
907.88/900.18	c cleaning 150989 clauses out of 302051 with flag 80942793/11618351
921.89/914.07	c cleaning 152012 clauses out of 304063 with flag 82082972/11771352
935.76/932.86	c cleaning 152988 clauses out of 306050 with flag 83208867/11925351
950.27/947.26	c cleaning 154014 clauses out of 308064 with flag 84368557/12080353
964.81/961.88	c cleaning 155003 clauses out of 310050 with flag 85525405/12236353
979.33/976.27	c cleaning 156000 clauses out of 312046 with flag 86700731/12393352
994.27/991.27	c cleaning 156985 clauses out of 314045 with flag 87895941/12551351
1009.29/1006.12	c cleaning 157998 clauses out of 316062 with flag 89077066/12710353
1024.37/1021.28	c cleaning 158998 clauses out of 318063 with flag 90271319/12870352
1039.52/1036.25	c cleaning 160008 clauses out of 320064 with flag 91474777/13031351
1054.64/1061.13	c cleaning 160997 clauses out of 322056 with flag 92714440/13193351
1069.74/1076.19	c cleaning 162003 clauses out of 324060 with flag 93925632/13356352
1085.78/1092.01	c cleaning 162993 clauses out of 326056 with flag 95162462/13520351
1101.49/1107.69	c cleaning 164006 clauses out of 328063 with flag 96396653/13685351
1117.46/1123.63	c cleaning 164995 clauses out of 330057 with flag 97643970/13851351
1133.42/1139.58	c cleaning 165990 clauses out of 332062 with flag 98899163/14018351
1149.84/1163.41	c cleaning 167011 clauses out of 334073 with flag 100174303/14186352
1166.25/1179.79	c cleaning 167984 clauses out of 336062 with flag 101454179/14355352
1182.60/1196.00	c cleaning 169008 clauses out of 338078 with flag 102724585/14525352
1198.95/1212.42	c cleaning 170006 clauses out of 340069 with flag 104008560/14696351
1215.74/1229.18	c cleaning 171004 clauses out of 342063 with flag 105297497/14868351
1232.88/1246.35	c cleaning 171990 clauses out of 344059 with flag 106609309/15041351
1250.08/1263.44	c cleaning 173007 clauses out of 346072 with flag 107920595/15215354
1267.27/1289.40	c cleaning 173998 clauses out of 348063 with flag 109238870/15390352
1284.01/1306.05	c cleaning 175003 clauses out of 350066 with flag 110548000/15566353
1301.27/1323.21	c cleaning 175994 clauses out of 352063 with flag 111871785/15743353
1318.45/1340.38	c cleaning 177006 clauses out of 354069 with flag 113204778/15921353
1336.06/1357.87	c cleaning 177994 clauses out of 356061 with flag 114570458/16100351
1354.18/1375.89	c cleaning 178999 clauses out of 358068 with flag 115933222/16280352
1372.38/1393.95	c cleaning 180019 clauses out of 360068 with flag 117324097/16461351
1390.40/1411.80	c cleaning 181013 clauses out of 362049 with flag 118686911/16643351
1408.73/1430.06	c cleaning 181988 clauses out of 364036 with flag 120080583/16826351
1427.43/1448.69	c cleaning 183008 clauses out of 366050 with flag 121485413/17010353
1446.03/1467.18	c cleaning 183992 clauses out of 368042 with flag 122913253/17195353
1464.85/1485.87	c cleaning 184990 clauses out of 370048 with flag 124320768/17381351
1483.55/1504.41	c cleaning 186005 clauses out of 372058 with flag 125762755/17568351
1502.56/1523.30	c cleaning 186998 clauses out of 374054 with flag 127196789/17756352
1521.36/1542.08	c cleaning 187992 clauses out of 376055 with flag 128646923/17945351
1540.53/1561.30	c cleaning 188992 clauses out of 378063 with flag 130098463/18135351
1560.34/1580.90	c cleaning 190012 clauses out of 380071 with flag 131565254/18326351
1580.12/1603.18	c cleaning 190989 clauses out of 382060 with flag 133031952/18518352
1600.32/1623.25	c cleaning 192001 clauses out of 384070 with flag 134497336/18711351
1619.60/1642.40	c cleaning 192992 clauses out of 386071 with flag 135981548/18905353
1639.96/1662.82	c cleaning 194012 clauses out of 388077 with flag 137502021/19100351
1659.98/1682.71	c cleaning 195004 clauses out of 390065 with flag 139014688/19296351
1680.17/1703.61	c cleaning 195991 clauses out of 392062 with flag 140512004/19493352
1700.27/1723.87	c cleaning 197002 clauses out of 394072 with flag 142015873/19691353
1721.81/1744.92	c cleaning 198001 clauses out of 396070 with flag 143550383/19890353
1742.89/1766.09	c cleaning 199005 clauses out of 398067 with flag 145105736/20090351
1763.81/1787.07	c cleaning 199986 clauses out of 400064 with flag 146670387/20291353
1785.33/1808.45	c cleaning 201016 clauses out of 402078 with flag 148234177/20493353
1807.02/1830.12	c cleaning 202001 clauses out of 404060 with flag 149805760/20696351
1828.64/1851.89	c cleaning 202999 clauses out of 406059 with flag 151399150/20900351
1850.45/1873.56	c cleaning 203993 clauses out of 408060 with flag 153004137/21105351
1872.26/1895.28	c cleaning 205005 clauses out of 410069 with flag 154615815/21311353
1894.40/1917.47	c cleaning 206002 clauses out of 412063 with flag 156211719/21518352
1917.07/1946.75	c cleaning 206995 clauses out of 414061 with flag 157831836/21726352
1939.70/1969.08	c cleaning 208002 clauses out of 416066 with flag 159456998/21935352
1962.12/2005.78	c cleaning 209003 clauses out of 418064 with flag 161090274/22145352
1984.31/2027.86	c cleaning 209992 clauses out of 420060 with flag 162734089/22356351
2007.26/2057.56	c cleaning 211006 clauses out of 422069 with flag 164396949/22568352
2030.28/2080.44	c cleaning 212011 clauses out of 424065 with flag 166066295/22781354
2053.58/2103.60	c cleaning 212998 clauses out of 426052 with flag 167748059/22995352
2076.76/2136.20	c cleaning 214006 clauses out of 428056 with flag 169443633/23210354
2099.95/2159.24	c cleaning 214995 clauses out of 430047 with flag 171116448/23426351
2123.75/2182.90	c cleaning 215994 clauses out of 432055 with flag 172811368/23643354
2147.74/2206.94	c cleaning 217013 clauses out of 434059 with flag 174509602/23861352
2171.75/2237.68	c cleaning 217987 clauses out of 436045 with flag 176243490/24080351
2195.52/2261.44	c cleaning 218991 clauses out of 438058 with flag 177968226/24300351
2219.83/2285.53	c cleaning 220002 clauses out of 440067 with flag 179680183/24521351
2244.21/2309.91	c cleaning 221012 clauses out of 442065 with flag 181440486/24743351
2268.74/2334.42	c cleaning 221988 clauses out of 444053 with flag 183222169/24966351
2294.19/2359.81	c cleaning 223016 clauses out of 446065 with flag 184966488/25190351
2319.56/2384.73	c cleaning 223990 clauses out of 448050 with flag 186744200/25415352
2344.29/2409.20	c cleaning 225006 clauses out of 450060 with flag 188509857/25641352
2369.69/2434.66	c cleaning 226003 clauses out of 452053 with flag 190306080/25868351
2395.14/2460.08	c cleaning 226988 clauses out of 454052 with flag 192102627/26096353
2421.19/2486.09	c cleaning 228007 clauses out of 456063 with flag 193914579/26325352
2446.76/2511.42	c cleaning 228997 clauses out of 458055 with flag 195701093/26555351
2471.91/2536.76	c cleaning 230003 clauses out of 460059 with flag 197519470/26786352
2497.95/2562.42	c cleaning 230989 clauses out of 462056 with flag 199362613/27018352
2524.14/2588.66	c cleaning 231999 clauses out of 464066 with flag 201197767/27251351
2550.90/2615.41	c cleaning 233034 clauses out of 466068 with flag 203049175/27485352
2577.56/2653.29	c cleaning 233979 clauses out of 468034 with flag 204915339/27720352
2604.37/2680.06	c cleaning 234994 clauses out of 470054 with flag 206801103/27956351
2631.48/2707.18	c cleaning 236006 clauses out of 472061 with flag 208691236/28193352
2659.23/2734.63	c cleaning 236997 clauses out of 474055 with flag 210577674/28431352
2686.44/2761.67	c cleaning 237998 clauses out of 476059 with flag 212501516/28670353
2714.18/2789.32	c cleaning 238990 clauses out of 478060 with flag 214425444/28910352
2742.25/2817.38	c cleaning 240016 clauses out of 480072 with flag 216329509/29151354
2769.76/2844.62	c cleaning 241008 clauses out of 482055 with flag 218271200/29393353
2798.62/2877.80	c cleaning 241983 clauses out of 484046 with flag 220231613/29636352
2826.72/2906.00	c cleaning 242992 clauses out of 486063 with flag 222160460/29880352
2855.55/2934.73	c cleaning 244002 clauses out of 488070 with flag 224123461/30125351
2883.42/2962.66	c cleaning 244980 clauses out of 490068 with flag 226122841/30371351
2911.94/2992.87	c cleaning 245992 clauses out of 492089 with flag 228097775/30618352
2941.13/3027.58	c cleaning 247022 clauses out of 494097 with flag 230084066/30866352
2970.48/3056.70	c cleaning 248004 clauses out of 496074 with flag 232079742/31115351
2999.15/3085.43	c cleaning 249022 clauses out of 498071 with flag 234112400/31365352
3028.55/3114.89	c cleaning 250003 clauses out of 500048 with flag 236121353/31616351
3058.95/3148.45	c cleaning 250988 clauses out of 502045 with flag 238188569/31868351
3089.64/3179.06	c cleaning 251987 clauses out of 504058 with flag 240240029/32121352
3119.51/3209.06	c cleaning 253017 clauses out of 506070 with flag 242253077/32375351
3149.84/3238.94	c cleaning 254027 clauses out of 508053 with flag 244305695/32630351
3180.98/3270.02	c cleaning 254976 clauses out of 510027 with flag 246392508/32886352
3211.13/3300.12	c cleaning 255991 clauses out of 512052 with flag 248469911/33143353
3242.08/3337.59	c cleaning 256983 clauses out of 514060 with flag 250558309/33401352
3273.25/3368.53	c cleaning 258018 clauses out of 516077 with flag 252663908/33660352
3304.57/3399.56	c cleaning 259005 clauses out of 518058 with flag 254758912/33920351
3335.61/3432.18	c cleaning 260001 clauses out of 520055 with flag 256863459/34181353
3367.32/3471.70	c cleaning 260994 clauses out of 522054 with flag 258978877/34443353
3399.43/3503.77	c cleaning 262000 clauses out of 524058 with flag 261122796/34706351
3430.52/3534.79	c cleaning 262990 clauses out of 526058 with flag 263296352/34970351
3462.52/3571.85	c cleaning 264004 clauses out of 528068 with flag 265461930/35235351
3493.61/3607.35	c cleaning 264998 clauses out of 530066 with flag 267622894/35501353
3524.82/3645.69	c cleaning 266001 clauses out of 532066 with flag 269810589/35768351
3556.35/3683.31	c cleaning 267007 clauses out of 534065 with flag 271996758/36036351
3572.95/3700.02	c starts		: 171677
3572.95/3700.03	c conflicts		: 36190024
3572.95/3700.03	c decisions		: 149321744
3572.95/3700.03	c propagations		: 1480478150
3572.95/3700.03	c inspects		: 35677650049
3572.95/3700.03	c shortcuts		: 0
3572.95/3700.03	c learnt literals	: 0
3572.95/3700.03	c learnt binary clauses	: 0
3572.95/3700.03	c learnt ternary clauses	: 0
3572.95/3700.03	c learnt constraints	: 36190024
3572.95/3700.03	c ignored constraints	: 0
3572.95/3700.03	c root simplifications	: 0
3572.95/3700.03	c removed literals (reason simplification)	: 35047986
3572.95/3700.03	c reason swapping (by a shorter reason)	: 0
3572.95/3700.03	c Calls to reduceDB	: 264
3572.95/3700.03	c Number of update (reduction) of LBD	: 10660048
3572.95/3700.03	c Imported unit clauses	: 0
3572.95/3700.03	c No decision after first conflict	: false
3572.95/3700.03	c number of reductions to clauses (during analyze)	: 0
3572.95/3700.03	c number of learned constraints concerned by reduction	: 0
3572.95/3700.03	c number of learning phase by resolution	: 0
3572.95/3700.03	c number of learning phase by cutting planes	: 0
3572.95/3700.03	c number of rounding to 1 operations	: 0
3572.95/3700.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3572.95/3700.03	c number of reductions of the coefficients by power 2 	: 0
3572.95/3700.03	c number of right shift for reduction by power 2 	: 0
3572.95/3700.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3572.95/3700.03	c number of ending skipping 	: 0
3572.95/3700.03	c number of internal skipping 	: 0
3572.95/3700.03	c number of derivation steps 	: 0
3572.95/3700.03	c number of skipped derivation steps 	: 0
3572.95/3700.04	c number of remaining unassigned 	: 0
3572.95/3700.04	c number of remaining assigned 	: 0
3572.95/3700.04	c number of falsified literals weakened from reason	: 0
3572.95/3700.04	c number of falsified literals weakened from conflict	: 0
3572.95/3700.04	c time for arithmetic operations	: 0
3572.95/3700.04	c minimum degree of deleted constraints	: null
3572.95/3700.04	c maximum degree of deleted constraints	: null
3572.95/3700.04	c number of deleted constraints	: 0
3572.95/3700.04	c speed (assignments/second)	: 400146.749668499
3572.95/3700.04	c non guided choices	: 2141912
3573.15/3700.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 420731
3573.15/3700.11	s SATISFIABLE
3573.15/3700.11	c Found 1 solution(s)
3573.15/3700.13	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 -x10 x11 x12 -x13 -x14 -x15 x16 x17 x18 x19 x20 -x21 x22 -x23 -x24 -x25 -x26 x27 -x28 x29 x30 x31 x32 -x33 -x34 -x35 x36 -x37 -x38 x39 x40 x41 -x42 -x43 x44 -x45 -x46 x47 x48 -x49 -x50 x51 -x52 x53 x54 -x55 -x56 -x57 x58 x59 x60 x61 -x62 x63 -x64 -x65 x66 -x67 -x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 x78 -x79 x80 -x81 -x82 x83 x84 -x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 x94 x95 -x96 -x97 x98 x99 x100 -x101 -x102 -x103 x104 x105 x106 -x107 x108 x109 x110 -x111 -x112 -x113 x114 -x115 x116 -x117 x118 -x119 -x120 x121 x122 x123 -x124 x125 -x126 -x127 -x128 x129 x130 -x131 -x132 x133 x134 x135 -x136 -x137 x138 -x139 x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 x149 x150 -x151 x152 -x153 -x154 -x155 x156 x157 x158 -x159 x160 x161 x162 -x163 -x164 -x165 x166 x167 x168 -x169 -x170 -x171 x172 x173 x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 x183 x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 -x194 x195 x196 x197 -x198 -x199 x200 -x201 x202 x203 x204 -x205 -x206 x207 -x208 -x209 x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 x219 -x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 x232 x233 -x234 -x235 x236 x237 x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 -x247 x248 x249 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 -x259 -x260 x261 x262 x263 -x264 -x265 x266 x267 x268 -x269 x270 -x271 -x272 x273 x274 -x275 -x276 x277 x278 x279 -x280 -x281 -x282 x283 x284 x285 -x286 -x287 x288 x289 x290 -x291 x292 -x293 x294 x295 -x296 x297 x298 -x299 x300 -x301 -x302 x303 -x304 x305 x306 x307 -x308 -x309 x310 x311 -x312 x313 x314 x315 -x316 -x317 x318 x319 x320 -x321 -x322 -x323 x324 x325 x326 x327 x328 x329 -x330 -x331 -x332 -x333 x334 x335 x336 -x337 -x338 x339 x340 x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 x350 x351 -x352 -x353 -x354 x355 x356 x357 x358 -x359 x360 x361 -x362 x363 x364 -x365 x366 x367 -x368 x369 -x370 x371 x372 x373 -x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 -x383 x384 x385 -x386 x387 x388 -x389 x390 -x391 -x392 x393 x394 -x395 -x396 x397 x398 -x399 -x400 x401 x402 x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 -x414 x415 x416 -x417 x418 -x419 -x420 x421 -x422 x423 x424 x425 -x426 x427 x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 x437 -x438 x439 x440 -x441 x442 x443 x444 -x445 -x446 x447 x448 x449 -x450 x451 -x452 -x453 x454 x455 -x456 -x457 x458 x459 x460 -x461 x462 -x463 x464 -x465 -x466 x467 x468 x469 x470 -x471 -x472 x473 x474 x475 -x476 x477 -x478 x479 -x480 x481 x482 -x483 -x484 x485 x486 x487 x488 x489 -x490 x491 x492 x493 x494 -x495 x496 x497 x498 -x499 -x500 -x501 x502 x503 x504 -x505 x506 x507 x508 -x509 -x510 x511 x512 x513 -x514 x515 -x516 x517 x518 -x519 -x520 -x521 x522 x523 x524 x525 -x526 x527 x528 -x529 -x530 x531 x532 x533 -x534 -x535 -x536 x537 x538 -x539 x540 x541 x542 x543 x544 -x545 x546 x547 -x548 x549 -x550 x551 x552 -x553 x554 x555 -x556 x557 -x558 x559 x560 x561 -x562 -x563 -x564 x565 x566 x567 x568 -x569 x570 x571 x572 x573 x574 -x575 -x576 -x577 x578 x579 x580 -x581 -x582 x583 x584 -x585 x586 x587 -x588 x589 x590 -x591 x592 x593 x594 -x595 x596 x597 -x598 x599 x600 x601 -x602 -x603 x604 -x605 x606 -x607 -x608 x609 x610 -x611 x612 x613 x614 -x615 -x616 x617 x618 -x619 x620 -x621 x622 x623 -x624 -x625 -x626 -x627 x628 x629 -x630 x631 x632 -x633 -x634 -x635 x636 x637 -x638 x639 x640 -x641 x642 -x643 x644 x645 -x646 -x647 x648 x649 x650 x651 -x652 -x653 x654 x655 -x656 x657 x658 x659 -x660 x661 x662 x663 x664 x665 x666 -x667 x668 x669 x670 -x671 x672 -x673 -x674 x675 x676 x677 -x678 -x679 x680 x681 x682 -x683 -x684 -x685 x686 x687 x688 -x689 x690 -x691 x692 x693 -x694 x695 x696 -x697 x698 -x699 -x700 x701 -x702 x703 -x704 x705 x706 x707 -x708 x709 x710 -x711 x712 x713 x714 -x715 x716 -x717 x718 x719 -x720 x721 x722 -x723 -x724 x725 -x726 x727 x728 x729 x730 -x731 x732 x733 -x734 x735 x736 x737 x738 -x739 x740 x741 x742 x743 x744 -x745 x746 -x747 x748 -x749 x750 x751 x752 x753 -x754 x755 -x756 x757 -x758 x759 -x760 -x761 x762 x763 x764 x765 x766 -x767 x768 x769 x770 -x771 -x772 x773 x774 x775 -x776 x777 -x778 x779 x780 -x781 x782 x783 x784 -x785 -x786 x787 x788 x789 -x790 x791 x792 x793 x794 x795 x796 x797 -x798 x799 -x800 x801 x802 x803 x804 x805 x806 -x807 x808 x809 x810 x811 x812 -x813 -x814 x815 x816 -x817 -x818 -x819 -x820 -x821 x822 x823 -x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 x837 -x838 x839 -x840 -x841 x842 -x843 x844 -x845 x846 x847 -x848 -x849 -x850 x851 -x852 x853 x854 -x855 x856 x857 -x858 x859 -x860 x861 -x862 x863 -x864 x865 -x866 x867 x868 -x869 -x870 x871 x872 x873 -x874 x875 -x876 x877 -x878 -x879 -x880 x881 x882 -x883 x884 -x885 -x886 x887 x888 -x889 x890 x891 -x892 -x893 -x894 -x895 x896 -x897 x898 x899 x900 -x901 -x902 x903 -x904 x905 x906 -x907 -x908 x909 -x910 -x911 x912 x913 -x914 x915 x916 -x917 -x918 x919 -x920 -x921 x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 x933 -x934 x935 x936 -x937 x938 x939 x940 -x941 x942 -x943 x944 x945 x946 -x947 -x948 x949 x950 x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 x965 x966 -x967 -x968 -x969 -x970 x971 x972 -x973 x974 -x975 x976 x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 x988 -x989 x990 x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 x1009 x1010 x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 x1062 -x1063 -x1064 x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100 x1101 x1102 x1103 x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 x1113 x1114 -x1115 x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 
3573.15/3700.13	c objective function=1
3573.15/3700.13	c Total wall clock time (in seconds): 3700.004

Verifier Data 

OK	1

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518649-1751549616/watcher-4518649-1751549616 -o /tmp/evaluation-result-4518649-1751549616/solver-4518649-1751549616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751542865-77322 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518649-1751549616 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518649-1751549616.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=78206, runsolver pid=78203

[startup+0.100058 s]*
/proc/loadavg: 3.16 3.43 3.62 4/322 78224
/proc/meminfo: memFree=121393316/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=18930384 memory=57872 CPUtime=0.13 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 6603 0 0 0 12 1 0 0 20 0 18 0 70636181 19384713216 14468 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4732596 14468 5332 1 0 547642 0
[pid=78206/tid=78208] ppid=78203 vsize=18930384 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 5099 0 0 0 7 1 0 0 20 0 18 0 70636183 19384713216 14468 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=18930384 memory=224227767622 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70636185 19384713216 14468 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=18930384 memory=28919 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70636185 19384713216 14468 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57872 KiB

[startup+0.210499 s]*
/proc/loadavg: 3.16 3.43 3.62 5/323 78225
/proc/meminfo: memFree=121377248/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=18996948 memory=75060 CPUtime=0.34 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 7193 0 0 0 32 2 0 0 20 0 19 0 70636181 19452874752 18765 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4749237 18765 5492 1 0 548311 0
[pid=78206/tid=78208] ppid=78203 vsize=18996948 memory=4026785051 CPUtime=0.18 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 5401 0 0 0 17 1 0 0 20 0 19 0 70636183 19452874752 18765 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=18996948 memory=219932787024 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70636185 19452874752 18765 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=18996948 memory=54087446195522 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70636185 19452874752 18765 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=18996948 memory=3473736805097222767 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70636202 19452874752 18765 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75060 KiB

[startup+0.305738 s]*
/proc/loadavg: 3.16 3.43 3.62 6/323 78225
/proc/meminfo: memFree=121363952/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=18996948 memory=88528 CPUtime=0.52 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 8679 0 0 0 50 2 0 0 20 0 19 0 70636181 19452874752 22132 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4749237 22132 5492 1 0 548995 0
[pid=78206/tid=78208] ppid=78203 vsize=18996948 memory=-6000919494265431144 CPUtime=0.26 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 5424 0 0 0 25 1 0 0 20 0 19 0 70636183 19452874752 22132 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70636185 19452874752 22132 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70636185 19452874752 22132 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70636202 19452874752 22132 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88528 KiB

[startup+0.700251 s]
/proc/loadavg: 3.16 3.43 3.62 6/323 78225
/proc/meminfo: memFree=121308188/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=171284 CPUtime=1.27 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 15689 0 0 0 122 5 0 0 20 0 20 0 70636181 19521036288 42821 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 42821 5524 1 0 552822 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=18176 CPUtime=0.61 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 5468 0 0 0 58 3 0 0 20 0 20 0 70636183 19521036288 42821 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 42821 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 42821 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=4624 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 42821 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171284 KiB

[startup+1.50025 s]
/proc/loadavg: 3.16 3.43 3.62 5/324 78226
/proc/meminfo: memFree=121262576/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=182816 CPUtime=2.85 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 24641 0 0 0 278 7 0 0 20 0 20 0 70636181 19521036288 45704 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 45704 5524 1 0 554510 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=10752 CPUtime=1.36 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 5798 0 0 0 132 4 0 0 20 0 20 0 70636183 19521036288 45704 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 45704 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 45704 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=224194199869 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 45704 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182816 KiB

[startup+3.10557 s]
/proc/loadavg: 3.16 3.43 3.62 4/323 78226
/proc/meminfo: memFree=120984148/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=451924 CPUtime=5.6 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 26903 0 0 0 545 15 0 0 20 0 20 0 70636181 19521036288 112981 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 112981 5524 1 0 554528 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=10752 CPUtime=2.93 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 6486 0 0 0 282 11 0 0 20 0 20 0 70636183 19521036288 112981 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=-6000919494265431144 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 112981 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 112981 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=33 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 112981 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 451924 KiB

[startup+6.30021 s]
/proc/loadavg: 3.15 3.42 3.61 4/323 78226
/proc/meminfo: memFree=120020524/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=1295640 CPUtime=8.92 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 27685 0 0 0 858 34 0 0 20 0 20 0 70636181 19521036288 323910 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 323910 5524 1 0 554529 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=0 CPUtime=6.09 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 7174 0 0 0 580 29 0 0 20 0 20 0 70636183 19521036288 323910 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 323910 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=7452719994915547755 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 323910 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=182816 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 323910 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 8.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1295640 KiB

[startup+12.7002 s]
/proc/loadavg: 3.13 3.41 3.61 4/323 78226
/proc/meminfo: memFree=119894868/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=1310216 CPUtime=15.38 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 29633 0 0 0 1497 41 0 0 20 0 20 0 70636181 19521036288 327554 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 327554 5556 1 0 554529 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=182816 CPUtime=12.45 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 8405 0 0 0 1210 35 0 0 20 0 20 0 70636183 19521036288 327554 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=-6000919494265431144 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 327554 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=1310216 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 327554 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=254748 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 327554 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 15.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310216 KiB

[startup+25.5002 s]
/proc/loadavg: 3.41 3.46 3.62 4/322 78226
/proc/meminfo: memFree=119605324/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=1334852 CPUtime=28.21 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 35312 0 0 0 2766 55 0 0 20 0 20 0 70636181 19521036288 333713 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 333713 5556 1 0 554529 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=254748 CPUtime=25.11 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 9660 0 0 0 2463 48 0 0 20 0 20 0 70636183 19521036288 333713 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=1322528 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 333713 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 333713 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=1318416 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 333713 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 28.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1334852 KiB

[startup+51.1059 s]
/proc/loadavg: 3.76 3.53 3.64 4/322 78227
/proc/meminfo: memFree=119005188/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=1341012 CPUtime=53.85 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 37381 0 0 0 5303 82 0 0 20 0 20 0 70636181 19521036288 335253 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0

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

/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 59766 0 0 0 315428 1905 0 0 20 0 20 0 70636183 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1463 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3246.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2603988 KiB

[startup+3402.3 s]
/proc/loadavg: 2.18 2.78 3.02 3/295 78457
/proc/meminfo: memFree=90458724/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3307.35 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 142431 0 0 0 328687 2048 0 0 20 0 20 0 70636181 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 650997 5588 1 0 664798 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3232.25 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 62006 0 0 0 321292 1933 0 0 20 0 20 0 70636183 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1558 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3307.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2603988 KiB

[startup+3462.3 s]
/proc/loadavg: 2.26 2.70 2.98 3/295 78461
/proc/meminfo: memFree=90050980/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3357.74 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 144057 0 0 0 333698 2076 0 0 20 0 20 0 70636181 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 650997 5588 1 0 664799 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3281.74 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 62966 0 0 0 326215 1959 0 0 20 0 20 0 70636183 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1558 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3357.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2603988 KiB

[startup+3522.3 s]
/proc/loadavg: 2.07 2.57 2.91 2/269 78496
/proc/meminfo: memFree=102499124/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3418.03 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 144346 0 0 0 339698 2105 0 0 20 0 20 0 70636181 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 650997 5588 1 0 664799 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=2603988 CPUtime=3340.62 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 63125 0 0 0 332075 1987 0 0 20 0 20 0 70636183 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=-6000919494265431144 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1616 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 650997 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3418.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2603988 KiB

[startup+3582.3 s]
/proc/loadavg: 1.44 2.29 2.80 2/270 78501
/proc/meminfo: memFree=102275440/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2604756 CPUtime=3468.41 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 149608 0 0 0 344712 2129 0 0 20 0 20 0 70636181 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 651189 5588 1 0 664995 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=2604756 CPUtime=3389.52 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 66898 0 0 0 336944 2008 0 0 20 0 20 0 70636183 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=2604756 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=2604756 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1616 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=6964 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3468.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2604756 KiB

[startup+3642.3 s]
/proc/loadavg: 1.25 2.09 2.69 2/269 78503
/proc/meminfo: memFree=101970464/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2604756 CPUtime=3521.55 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 151529 0 0 0 350001 2154 0 0 20 0 20 0 70636181 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 651189 5588 1 0 664995 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=2604756 CPUtime=3441.47 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 68002 0 0 0 342115 2032 0 0 20 0 20 0 70636183 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=2603988 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=2604756 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1616 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=-6000919494265431144 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3521.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2604756 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 1.15 1.92 2.60 2/272 78512
/proc/meminfo: memFree=101693980/131249992 swapFree=33009392/33010684
[pid=78206] ppid=78203 vsize=19063512 memory=2604756 CPUtime=3572.95 cores=4,6
/proc/78206/stat : 78206 (java) S 78203 78206 77286 0 -1 4194304 153240 0 0 0 355114 2181 0 0 20 0 20 0 70636181 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
/proc/78206/statm: 4765878 651189 5588 1 0 664995 0
[pid=78206/tid=78208] ppid=78203 vsize=19063512 memory=-6000919494265431144 CPUtime=3491.97 cores=4,6
/proc/78206/task/78208/stat : 78208 (java) R 78203 78206 77286 0 -1 4194368 69023 0 0 0 347140 2057 0 0 20 0 20 0 70636183 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78217] ppid=78203 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/78206/task/78217/stat : 78217 (Finalizer) S 78203 78206 77286 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78224] ppid=78203 vsize=19063512 memory=4624 CPUtime=0 cores=4,6
/proc/78206/task/78224/stat : 78224 (Common-Cleaner) S 78203 78206 77286 0 -1 4194368 1674 0 0 0 0 0 0 0 20 0 20 0 70636185 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
[pid=78206/tid=78225] ppid=78203 vsize=19063512 memory=2600 CPUtime=0 cores=4,6
/proc/78206/task/78225/stat : 78225 (Timer-0) S 78203 78206 77286 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70636202 19521036288 651189 18446744073709551615 94209724891136 94209724894832 140721190974016 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94209724902648 94209724903440 94209734565888 140721190975792 140721190975974 140721190975974 140721190981576 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2604756 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3551.39 s, system=21.8285 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 1.15 1.92 2.60 1/254 78515
/proc/meminfo: memFree=104291156/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3701.6 s]
/proc/loadavg: 1.14 1.90 2.59 1/254 78515
/proc/meminfo: memFree=104290908/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3702 s]*
/proc/loadavg: 1.14 1.90 2.59 1/254 78515
/proc/meminfo: memFree=104291324/131249992 swapFree=33009392/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3705.63
CPU time (s): 3573.22
CPU user time (s): 3551.39
CPU system time (s): 21.8285
CPU usage (%): 96.4267
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2605652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.39
system time used= 21.8285
maximum resident set size= 2605780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46211104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 140335
involuntary context switches= 12940


# summary of solver processes directly reported to runsolver:
#   pid: 78206
#   total CPU time (s): 3573.22
#   total CPU user time (s): 3551.39
#   total CPU system time (s): 21.8285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.11324 second user time and 17.0728 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-03 15:33:36
IDJOB=4518649
IDBENCH=177066
IDSOLVER=3364
FILE ID=nodeC035/4518649-1751549616
RUNJOBID= nodeC035-1751542865-77322
SLURM_JOB_ID= 9598708
Free space on /tmp= 432816 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518649-1751549616/watcher-4518649-1751549616 -o /tmp/evaluation-result-4518649-1751549616/solver-4518649-1751549616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751542865-77322 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518649-1751549616 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518649-1751549616.opb

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

MD5SUM BENCH= c2769aec5501f1fd7f55f6e1394c15e3
RANDOM SEED=684154105

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        121426268 kB
MemAvailable:   126544852 kB
Buffers:             664 kB
Cached:          5869768 kB
SwapCached:          332 kB
Active:          3555084 kB
Inactive:        5571572 kB
Active(anon):    3252940 kB
Inactive(anon):    21060 kB
Active(file):     302144 kB
Inactive(file):  5550512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             79800 kB
Writeback:             0 kB
AnonPages:       3259040 kB
Mapped:           123904 kB
Shmem:             17700 kB
KReclaimable:     210336 kB
Slab:             304464 kB
SReclaimable:     210336 kB
SUnreclaim:        94128 kB
KernelStack:        4928 kB
PageTables:         9620 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4821032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151192 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3100672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC035 at 2025-07-03 16:35:22