Trace number 4518741

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 3600.38 3542.27

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
MD5SUM476e0631a033c65f224eebb218d3a1ec
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 benchmark3.59172
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1804
Total number of constraints451
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)451
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 451
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 451
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 451
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.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.24	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.42/0.36	c Pseudo Boolean Optimization by upper bound
0.42/0.36	c --- Begin Solver configuration ---
0.42/0.36	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.36	c Learn all clauses as in MiniSAT
0.42/0.36	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.36	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.36	c Expensive reason simplification
0.42/0.36	c Glucose 2.1 dynamic restart strategy
0.42/0.36	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.42/0.36	c timeout=2147483s
0.42/0.36	c DB Simplification allowed=false
0.42/0.36	c Listener: none
0.42/0.36	c --- End Solver configuration ---
0.42/0.36	c solving HOME/instance-4518741-1751551257.opb
0.42/0.36	c reading problem ... 
0.42/0.37	c using VERIPB proof format
0.42/0.37	c  objective function found
0.59/0.50	c ... done. Wall clock time 0.13s.
0.59/0.50	c declared #vars     1804
0.59/0.50	c #constraints  902
0.59/0.50	c constraints type 
0.59/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 902
0.59/0.50	c 902 constraints processed.
0.77/0.54	c objective function length is 451 literals
2.10/1.26	c SATISFIABLE
2.10/1.26	c OPTIMIZING...
2.10/1.26	c Got one! Elapsed wall clock time (in seconds):0.896
2.10/1.26	o 1
4.49/2.45	c cleaning 2887 clauses out of 5776 with flag 43085/5776
5.67/3.01	c cleaning 4439 clauses out of 8890 with flag 79188/11777
6.40/3.47	c cleaning 5718 clauses out of 11450 with flag 124135/18776
7.00/3.93	c cleaning 6859 clauses out of 13735 with flag 169079/26779
7.68/4.44	c cleaning 7934 clauses out of 15875 with flag 225506/35778
8.46/5.02	c cleaning 8948 clauses out of 17940 with flag 289624/45777
9.18/5.64	c cleaning 9984 clauses out of 19991 with flag 360474/56776
9.78/6.26	c cleaning 10989 clauses out of 22007 with flag 433156/68776
10.50/6.96	c cleaning 11996 clauses out of 24018 with flag 511667/81776
11.31/7.80	c cleaning 12992 clauses out of 26022 with flag 600353/95776
12.24/8.64	c cleaning 13997 clauses out of 28030 with flag 692972/110776
13.04/9.47	c cleaning 14999 clauses out of 30034 with flag 789497/126777
14.07/10.34	c cleaning 15999 clauses out of 32035 with flag 894469/143777
15.28/11.45	c cleaning 17003 clauses out of 34037 with flag 1004504/161778
16.30/12.48	c cleaning 17988 clauses out of 36032 with flag 1116986/180776
17.40/13.55	c cleaning 19002 clauses out of 38045 with flag 1236416/200777
18.59/14.77	c cleaning 20004 clauses out of 40043 with flag 1367944/221777
19.79/15.97	c cleaning 21005 clauses out of 42041 with flag 1495914/243779
21.20/17.30	c cleaning 21981 clauses out of 44033 with flag 1632547/266776
22.50/18.63	c cleaning 23015 clauses out of 46052 with flag 1779984/290776
23.93/20.05	c cleaning 23997 clauses out of 48037 with flag 1926247/315776
25.51/21.50	c cleaning 24990 clauses out of 50040 with flag 2083050/341776
27.04/23.06	c cleaning 26008 clauses out of 52050 with flag 2241921/368776
28.63/24.61	c cleaning 27003 clauses out of 54042 with flag 2409529/396776
30.32/26.36	c cleaning 27994 clauses out of 56039 with flag 2583511/425776
32.04/28.06	c cleaning 29001 clauses out of 58045 with flag 2772847/455776
33.84/29.88	c cleaning 29998 clauses out of 60044 with flag 2964844/486776
35.74/31.74	c cleaning 30999 clauses out of 62046 with flag 3161712/518776
37.65/33.65	c cleaning 32002 clauses out of 64048 with flag 3367753/551777
39.74/35.78	c cleaning 33000 clauses out of 66046 with flag 3582157/585777
41.84/37.87	c cleaning 33987 clauses out of 68046 with flag 3798831/620777
44.14/40.12	c cleaning 35008 clauses out of 70062 with flag 4028524/656780
46.35/42.38	c cleaning 35994 clauses out of 72051 with flag 4261397/693777
48.64/44.65	c cleaning 37006 clauses out of 74057 with flag 4500398/731777
51.13/47.03	c cleaning 37994 clauses out of 76052 with flag 4741560/770778
53.72/49.65	c cleaning 38999 clauses out of 78056 with flag 4994425/810776
56.12/52.10	c cleaning 39995 clauses out of 80057 with flag 5243810/851776
58.73/54.68	c cleaning 41006 clauses out of 82064 with flag 5513095/893778
61.52/57.49	c cleaning 41993 clauses out of 84057 with flag 5779868/936777
64.32/60.21	c cleaning 43005 clauses out of 86064 with flag 6052337/980777
67.27/63.31	c cleaning 43994 clauses out of 88058 with flag 6334579/1025776
71.54/67.64	c cleaning 44987 clauses out of 90064 with flag 6630792/1071776
74.86/71.01	c cleaning 46014 clauses out of 92077 with flag 6929390/1118776
77.97/74.08	c cleaning 47011 clauses out of 94063 with flag 7242246/1166776
81.38/77.49	c cleaning 48000 clauses out of 96052 with flag 7555235/1215776
85.43/81.46	c cleaning 49002 clauses out of 98052 with flag 7880939/1265776
89.71/85.71	c cleaning 50001 clauses out of 100050 with flag 8205265/1316776
93.29/89.26	c cleaning 50995 clauses out of 102049 with flag 8538032/1368776
96.98/92.89	c cleaning 52005 clauses out of 104057 with flag 8865850/1421779
102.04/97.82	c cleaning 53001 clauses out of 106050 with flag 9212131/1475777
106.23/101.92	c cleaning 53979 clauses out of 108049 with flag 9565330/1530777
110.00/105.66	c cleaning 55015 clauses out of 110069 with flag 9919765/1586776
113.79/109.44	c cleaning 56002 clauses out of 112055 with flag 10282301/1643777
117.85/113.44	c cleaning 57027 clauses out of 114054 with flag 10654839/1701778
123.41/118.91	c cleaning 57991 clauses out of 116027 with flag 11040687/1760778
127.91/123.34	c cleaning 58988 clauses out of 118034 with flag 11431015/1820776
132.32/127.67	c cleaning 59985 clauses out of 120046 with flag 11834109/1881776
136.72/132.02	c cleaning 61008 clauses out of 122061 with flag 12239929/1943776
141.58/136.83	c cleaning 62005 clauses out of 124055 with flag 12661298/2006778
146.27/141.41	c cleaning 62989 clauses out of 126048 with flag 13089221/2070776
151.24/146.38	c cleaning 64000 clauses out of 128060 with flag 13507677/2135777
157.33/152.35	c cleaning 64999 clauses out of 130060 with flag 13947678/2201777
162.34/157.28	c cleaning 65999 clauses out of 132060 with flag 14393822/2268776
168.04/162.86	c cleaning 66998 clauses out of 134064 with flag 14827426/2336779
175.02/169.72	c cleaning 67976 clauses out of 136063 with flag 15274947/2405776
180.53/175.12	c cleaning 69014 clauses out of 138087 with flag 15738444/2475776
185.82/180.32	c cleaning 70009 clauses out of 140074 with flag 16206182/2546777
190.91/185.46	c cleaning 71004 clauses out of 142065 with flag 16678586/2618777
196.25/190.77	c cleaning 72009 clauses out of 144061 with flag 17155554/2691777
202.98/197.45	c cleaning 72994 clauses out of 146051 with flag 17638979/2765776
209.83/204.28	c cleaning 73988 clauses out of 148058 with flag 18149041/2840777
215.71/210.02	c cleaning 75008 clauses out of 150071 with flag 18670188/2916778
221.90/216.12	c cleaning 76001 clauses out of 152062 with flag 19171642/2993777
228.16/222.31	c cleaning 76990 clauses out of 154061 with flag 19677792/3071777
236.26/230.29	c cleaning 78015 clauses out of 156070 with flag 20206165/3150776
243.10/236.93	c cleaning 78981 clauses out of 158055 with flag 20745894/3230776
250.47/244.23	c cleaning 80000 clauses out of 160074 with flag 21289365/3311776
257.92/251.66	c cleaning 80996 clauses out of 162074 with flag 21848323/3393776
264.21/257.90	c cleaning 82020 clauses out of 164081 with flag 22412047/3476779
270.99/264.54	c cleaning 83010 clauses out of 166058 with flag 22988355/3560776
277.83/271.34	c cleaning 83998 clauses out of 168048 with flag 23559470/3645776
284.78/278.26	c cleaning 84992 clauses out of 170050 with flag 24161090/3731776
292.18/285.46	c cleaning 86001 clauses out of 172058 with flag 24760707/3818776
299.18/292.34	c cleaning 87004 clauses out of 174060 with flag 25355702/3906779
307.48/300.60	c cleaning 87981 clauses out of 176054 with flag 25962946/3995777
314.60/307.76	c cleaning 89003 clauses out of 178074 with flag 26584380/4085778
322.00/315.02	c cleaning 90035 clauses out of 180069 with flag 27204669/4176776
329.28/322.23	c cleaning 90984 clauses out of 182034 with flag 27830599/4268776
336.95/329.85	c cleaning 91985 clauses out of 184051 with flag 28469028/4361777
344.60/337.46	c cleaning 92999 clauses out of 186066 with flag 29126635/4455777
353.35/345.33	c cleaning 93987 clauses out of 188066 with flag 29777786/4550776
362.34/354.25	c cleaning 95005 clauses out of 190079 with flag 30436552/4646776
370.21/361.91	c cleaning 95992 clauses out of 192074 with flag 31103452/4743776
378.40/370.08	c cleaning 97009 clauses out of 194083 with flag 31778622/4841777
386.25/377.85	c cleaning 98000 clauses out of 196073 with flag 32448539/4940776
396.19/387.66	c cleaning 99004 clauses out of 198073 with flag 33137482/5040776
404.54/395.85	c cleaning 99998 clauses out of 200069 with flag 33843207/5141776
412.96/404.06	c cleaning 101004 clauses out of 202071 with flag 34543286/5243776
421.90/412.84	c cleaning 102007 clauses out of 204068 with flag 35262269/5346777
430.32/421.22	c cleaning 103002 clauses out of 206060 with flag 35987549/5450776
439.27/430.04	c cleaning 104007 clauses out of 208058 with flag 36717234/5555776
448.42/439.16	c cleaning 104996 clauses out of 210054 with flag 37429922/5661779
457.21/447.85	c cleaning 106001 clauses out of 212055 with flag 38170537/5768776
466.74/457.20	c cleaning 106994 clauses out of 214054 with flag 38893515/5876776
477.54/467.95	c cleaning 108002 clauses out of 216060 with flag 39656967/5985776
486.89/477.26	c cleaning 108989 clauses out of 218060 with flag 40406022/6095778
497.62/487.96	c cleaning 110003 clauses out of 220069 with flag 41173701/6206776
508.30/498.58	c cleaning 111013 clauses out of 222066 with flag 41938932/6318776
518.00/508.18	c cleaning 111989 clauses out of 224053 with flag 42733173/6431776
528.10/518.12	c cleaning 112980 clauses out of 226065 with flag 43539562/6545777
539.53/529.53	c cleaning 114008 clauses out of 228084 with flag 44353679/6660776
549.72/539.60	c cleaning 115010 clauses out of 230077 with flag 45172238/6776777
561.23/551.08	c cleaning 116003 clauses out of 232067 with flag 45987770/6893777
571.45/561.19	c cleaning 116993 clauses out of 234064 with flag 46806392/7011777
581.94/571.57	c cleaning 118000 clauses out of 236071 with flag 47648962/7130777
593.03/582.41	c cleaning 119012 clauses out of 238073 with flag 48481855/7250779
604.25/593.30	c cleaning 119987 clauses out of 240059 with flag 49307781/7371777
615.22/604.28	c cleaning 120987 clauses out of 242071 with flag 50160186/7493776
626.55/615.49	c cleaning 121985 clauses out of 244084 with flag 51015253/7616776
637.87/626.73	c cleaning 123012 clauses out of 246099 with flag 51871061/7740776
650.15/638.95	c cleaning 124018 clauses out of 248090 with flag 52758186/7865779
661.29/649.96	c cleaning 124999 clauses out of 250069 with flag 53658239/7991776
673.73/662.20	c cleaning 125997 clauses out of 252070 with flag 54549354/8118776
685.19/673.53	c cleaning 126992 clauses out of 254073 with flag 55450895/8246776
697.83/686.04	c cleaning 128006 clauses out of 256081 with flag 56360164/8375776
709.78/697.82	c cleaning 129019 clauses out of 258075 with flag 57279691/8505776
721.14/709.17	c cleaning 130004 clauses out of 260056 with flag 58214427/8636776
733.08/721.05	c cleaning 130994 clauses out of 262053 with flag 59158283/8768777
745.18/733.07	c cleaning 132006 clauses out of 264058 with flag 60089960/8901776
757.70/745.42	c cleaning 132993 clauses out of 266052 with flag 61036759/9035776
770.05/757.69	c cleaning 133994 clauses out of 268059 with flag 62014825/9170776
782.49/769.98	c cleaning 135003 clauses out of 270066 with flag 62969742/9306777
795.52/782.85	c cleaning 136003 clauses out of 272062 with flag 63953538/9443776
809.13/796.36	c cleaning 137002 clauses out of 274059 with flag 64921620/9581776
822.08/809.13	c cleaning 137999 clauses out of 276058 with flag 65912519/9720777
835.27/822.28	c cleaning 138998 clauses out of 278058 with flag 66904621/9860776
848.67/835.58	c cleaning 140008 clauses out of 280064 with flag 67914337/10001780
863.40/850.15	c cleaning 140989 clauses out of 282053 with flag 68916573/10143777
877.91/864.55	c cleaning 142002 clauses out of 284066 with flag 69915708/10286779
893.09/879.62	c cleaning 142991 clauses out of 286061 with flag 70940970/10430776
906.72/893.13	c cleaning 144006 clauses out of 288070 with flag 71974148/10575776
921.81/908.10	c cleaning 145007 clauses out of 290065 with flag 73006758/10721777
936.20/922.25	c cleaning 145989 clauses out of 292057 with flag 74054462/10868776
950.44/936.35	c cleaning 146994 clauses out of 294069 with flag 75115007/11016777
966.05/951.86	c cleaning 147988 clauses out of 296074 with flag 76198420/11165776
979.96/965.61	c cleaning 149017 clauses out of 298089 with flag 77275553/11315779
995.46/981.07	c cleaning 150002 clauses out of 300069 with flag 78369636/11466776
1011.59/996.91	c cleaning 150987 clauses out of 302067 with flag 79463643/11618776
1026.26/1011.47	c cleaning 152009 clauses out of 304080 with flag 80579206/11771776
1042.27/1027.41	c cleaning 153001 clauses out of 306071 with flag 81703385/11925776
1057.67/1042.62	c cleaning 154001 clauses out of 308071 with flag 82843692/12080777
1073.01/1057.79	c cleaning 154997 clauses out of 310069 with flag 83980222/12236776
1088.18/1072.75	c cleaning 156002 clauses out of 312073 with flag 85110654/12393777
1106.07/1090.56	c cleaning 156983 clauses out of 314070 with flag 86240400/12551776
1122.44/1106.67	c cleaning 157995 clauses out of 316087 with flag 87409170/12710776
1139.13/1123.13	c cleaning 158998 clauses out of 318092 with flag 88577188/12870776
1156.89/1140.87	c cleaning 160014 clauses out of 320094 with flag 89736809/13031776
1176.06/1159.89	c cleaning 161006 clauses out of 322081 with flag 90947230/13193777
1194.78/1178.49	c cleaning 162006 clauses out of 324074 with flag 92151059/13356776
1210.49/1194.03	c cleaning 163009 clauses out of 326068 with flag 93361300/13520776
1226.91/1210.25	c cleaning 164007 clauses out of 328059 with flag 94546473/13685776
1244.32/1227.52	c cleaning 165000 clauses out of 330054 with flag 95761583/13851778
1261.81/1244.82	c cleaning 165981 clauses out of 332053 with flag 96986986/14018777
1281.46/1264.32	c cleaning 167003 clauses out of 334071 with flag 98205587/14186776
1298.08/1280.86	c cleaning 168020 clauses out of 336070 with flag 99450847/14355778
1316.38/1298.95	c cleaning 168997 clauses out of 338049 with flag 100676887/14525777
1333.51/1315.97	c cleaning 169984 clauses out of 340052 with flag 101928126/14696777
1352.28/1334.57	c cleaning 170997 clauses out of 342067 with flag 103187455/14868776
1370.68/1352.78	c cleaning 171992 clauses out of 344071 with flag 104463259/15041777
1390.02/1371.83	c cleaning 173011 clauses out of 346080 with flag 105739399/15215778
1408.94/1390.61	c cleaning 174008 clauses out of 348067 with flag 107034042/15390776
1428.30/1409.84	c cleaning 175005 clauses out of 350060 with flag 108352318/15566777
1449.56/1431.00	c cleaning 175995 clauses out of 352055 with flag 109667829/15743777
1469.05/1450.24	c cleaning 176991 clauses out of 354060 with flag 110973000/15921777
1487.45/1468.44	c cleaning 178000 clauses out of 356069 with flag 112277839/16100777
1506.53/1487.32	c cleaning 179002 clauses out of 358070 with flag 113601016/16280778
1525.46/1506.01	c cleaning 179988 clauses out of 360067 with flag 114960945/16461777
1545.63/1525.51	c cleaning 181004 clauses out of 362078 with flag 116315137/16643776
1566.39/1546.16	c cleaning 182020 clauses out of 364075 with flag 117685838/16826777
1585.19/1564.82	c cleaning 182992 clauses out of 366054 with flag 119043290/17010776
1604.48/1584.00	c cleaning 183995 clauses out of 368062 with flag 120422501/17195776
1625.43/1604.69	c cleaning 185012 clauses out of 370067 with flag 121816937/17381776
1645.99/1624.93	c cleaning 186000 clauses out of 372055 with flag 123235659/17568776
1666.30/1645.03	c cleaning 186991 clauses out of 374056 with flag 124625618/17756777
1686.68/1665.19	c cleaning 188004 clauses out of 376067 with flag 126026029/17945779
1708.23/1686.57	c cleaning 188989 clauses out of 378060 with flag 127472170/18135776
1730.17/1708.17	c cleaning 189997 clauses out of 380072 with flag 128912007/18326777
1752.09/1729.82	c cleaning 190997 clauses out of 382074 with flag 130370654/18518776
1773.04/1750.59	c cleaning 192004 clauses out of 384077 with flag 131856782/18711776
1793.75/1771.09	c cleaning 193013 clauses out of 386073 with flag 133298762/18905776
1817.73/1794.88	c cleaning 194000 clauses out of 388061 with flag 134760436/19100777
1843.28/1820.07	c cleaning 194973 clauses out of 390061 with flag 136228692/19296777
1866.32/1842.76	c cleaning 196023 clauses out of 392089 with flag 137710254/19493778
1888.49/1864.65	c cleaning 196990 clauses out of 394064 with flag 139198928/19691776
1911.50/1887.23	c cleaning 197999 clauses out of 396075 with flag 140707788/19890777
1933.92/1909.01	c cleaning 199005 clauses out of 398076 with flag 142232199/20090777
1957.23/1932.02	c cleaning 200004 clauses out of 400072 with flag 143731163/20291778
1980.60/1955.12	c cleaning 200999 clauses out of 402066 with flag 145279990/20493776
2004.09/1978.31	c cleaning 201995 clauses out of 404067 with flag 146791543/20696776
2029.82/2003.80	c cleaning 203004 clauses out of 406072 with flag 148346540/20900776
2052.12/2026.00	c cleaning 204018 clauses out of 408068 with flag 149890251/21105776
2075.39/2049.01	c cleaning 204977 clauses out of 410050 with flag 151464730/21311776
2098.75/2071.51	c cleaning 206009 clauses out of 412073 with flag 153044361/21518776
2123.58/2095.99	c cleaning 206982 clauses out of 414064 with flag 154636121/21726776
2149.50/2121.66	c cleaning 208016 clauses out of 416082 with flag 156225241/21935776
2174.42/2146.21	c cleaning 209000 clauses out of 418068 with flag 157787880/22145778
2199.13/2170.65	c cleaning 209981 clauses out of 420066 with flag 159408654/22356776
2222.77/2194.12	c cleaning 211009 clauses out of 422086 with flag 161041468/22568777
2246.17/2217.32	c cleaning 212014 clauses out of 424076 with flag 162668330/22781776
2270.86/2241.89	c cleaning 212993 clauses out of 426063 with flag 164296167/22995777
2294.87/2265.85	c cleaning 213997 clauses out of 428070 with flag 165939306/23210777
2319.86/2290.42	c cleaning 214991 clauses out of 430072 with flag 167601491/23426776
2344.34/2314.36	c cleaning 215999 clauses out of 432083 with flag 169246962/23643778
2371.04/2340.98	c cleaning 217007 clauses out of 434084 with flag 170907308/23861778
2399.64/2369.30	c cleaning 217986 clauses out of 436076 with flag 172567773/24080777
2424.87/2394.74	c cleaning 219006 clauses out of 438091 with flag 174246885/24300778
2452.45/2422.10	c cleaning 220016 clauses out of 440083 with flag 175949316/24521776
2478.92/2448.26	c cleaning 220998 clauses out of 442067 with flag 177653784/24743776
2505.94/2474.48	c cleaning 222009 clauses out of 444069 with flag 179362185/24966776
2533.51/2501.78	c cleaning 223008 clauses out of 446061 with flag 181073790/25190777
2561.61/2529.46	c cleaning 223999 clauses out of 448055 with flag 182807187/25415779
2589.37/2556.17	c cleaning 224989 clauses out of 450054 with flag 184567302/25641777
2616.15/2582.56	c cleaning 226003 clauses out of 452066 with flag 186306161/25868778
2643.75/2609.86	c cleaning 226990 clauses out of 454062 with flag 188078244/26096777
2672.48/2638.14	c cleaning 228014 clauses out of 456073 with flag 189839225/26325778
2699.25/2664.64	c cleaning 228983 clauses out of 458057 with flag 191618548/26555776
2728.22/2692.74	c cleaning 230005 clauses out of 460074 with flag 193389489/26786776
2756.40/2720.66	c cleaning 230999 clauses out of 462070 with flag 195170808/27018777
2783.98/2748.08	c cleaning 231999 clauses out of 464070 with flag 196942757/27251776
2812.71/2776.54	c cleaning 232996 clauses out of 466073 with flag 198769102/27485778
2840.36/2803.80	c cleaning 234000 clauses out of 468077 with flag 200596526/27720778
2868.55/2831.23	c cleaning 235000 clauses out of 470075 with flag 202425929/27956776
2896.34/2858.72	c cleaning 235984 clauses out of 472076 with flag 204233317/28193777
2926.64/2888.72	c cleaning 236989 clauses out of 474092 with flag 206104637/28431777
2955.29/2917.06	c cleaning 238022 clauses out of 476104 with flag 207975344/28670778
2985.58/2947.06	c cleaning 239009 clauses out of 478081 with flag 209829886/28910777
3017.97/2978.70	c cleaning 240002 clauses out of 480071 with flag 211723789/29151776
3051.24/3010.11	c cleaning 240997 clauses out of 482070 with flag 213612683/29393777
3086.75/3043.95	c cleaning 242010 clauses out of 484073 with flag 215519878/29636777
3123.08/3083.52	c cleaning 242996 clauses out of 486065 with flag 217404532/29880779
3159.67/3116.48	c cleaning 244005 clauses out of 488071 with flag 219344520/30125781
3192.03/3147.38	c cleaning 244986 clauses out of 490063 with flag 221282751/30371778
3227.20/3179.52	c cleaning 246013 clauses out of 492075 with flag 223211928/30618776
3262.70/3212.22	c cleaning 247001 clauses out of 494063 with flag 225153496/30866777
3298.94/3246.25	c cleaning 247998 clauses out of 496063 with flag 227111045/31115778
3335.57/3281.54	c cleaning 249011 clauses out of 498063 with flag 229067293/31365776
3372.47/3314.80	c cleaning 249995 clauses out of 500052 with flag 231025845/31616776
3410.20/3350.94	c cleaning 250995 clauses out of 502058 with flag 232982939/31868777
3443.35/3382.19	c cleaning 251999 clauses out of 504063 with flag 234957997/32121777
3475.73/3413.57	c cleaning 252999 clauses out of 506063 with flag 236945575/32375776
3510.11/3446.58	c cleaning 254000 clauses out of 508067 with flag 238954118/32630779
3542.12/3477.78	c cleaning 254991 clauses out of 510064 with flag 240987812/32886776
3575.85/3511.12	c cleaning 255998 clauses out of 512073 with flag 243013539/33143776
3600.00/3535.22	c starts		: 149312
3600.00/3535.23	c conflicts		: 33330202
3600.00/3535.24	c decisions		: 145385947
3600.00/3535.24	c propagations		: 1454766014
3600.00/3535.24	c inspects		: 29351084614
3600.00/3535.24	c shortcuts		: 0
3600.00/3535.24	c learnt literals	: 0
3600.00/3535.24	c learnt binary clauses	: 0
3600.00/3535.24	c learnt ternary clauses	: 0
3600.00/3535.24	c learnt constraints	: 33330202
3600.00/3535.24	c ignored constraints	: 0
3600.00/3535.24	c root simplifications	: 0
3600.00/3535.24	c removed literals (reason simplification)	: 31266252
3600.00/3535.24	c reason swapping (by a shorter reason)	: 0
3600.00/3535.24	c Calls to reduceDB	: 253
3600.00/3535.24	c Number of update (reduction) of LBD	: 9948955
3600.00/3535.24	c Imported unit clauses	: 0
3600.00/3535.24	c No decision after first conflict	: false
3600.00/3535.24	c number of reductions to clauses (during analyze)	: 0
3600.00/3535.24	c number of learned constraints concerned by reduction	: 0
3600.00/3535.24	c number of learning phase by resolution	: 0
3600.00/3535.24	c number of learning phase by cutting planes	: 0
3600.00/3535.24	c number of rounding to 1 operations	: 0
3600.00/3535.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3535.25	c number of reductions of the coefficients by power 2 	: 0
3600.00/3535.25	c number of right shift for reduction by power 2 	: 0
3600.00/3535.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3535.25	c number of ending skipping 	: 0
3600.00/3535.25	c number of internal skipping 	: 0
3600.00/3535.25	c number of derivation steps 	: 0
3600.00/3535.25	c number of skipped derivation steps 	: 0
3600.00/3535.25	c number of remaining unassigned 	: 0
3600.00/3535.25	c number of remaining assigned 	: 0
3600.00/3535.25	c number of falsified literals weakened from reason	: 0
3600.00/3535.25	c number of falsified literals weakened from conflict	: 0
3600.00/3535.25	c time for arithmetic operations	: 0
3600.00/3535.25	c minimum degree of deleted constraints	: null
3600.00/3535.25	c maximum degree of deleted constraints	: null
3600.00/3535.25	c number of deleted constraints	: 0
3600.00/3535.25	c speed (assignments/second)	: 411570.066716195
3600.00/3535.25	c non guided choices	: 2509826
3600.20/3535.32	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 442501
3600.20/3535.32	s SATISFIABLE
3600.20/3535.32	c Found 1 solution(s)
3600.20/3535.34	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 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 
3600.20/3535.37	c objective function=1
3600.20/3535.37	c Total wall clock time (in seconds): 3535.002

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100071 s]*
/proc/loadavg: 4.17 4.16 4.10 8/278 78794
/proc/meminfo: memFree=123610704/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=18930384 memory=48148 CPUtime=0.11 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 5742 0 0 0 8 3 0 0 20 0 18 0 70805117 19384713216 12037 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4732596 12037 5312 1 0 546979 0
[pid=78776/tid=78778] ppid=78773 vsize=18930384 memory=4026532068 CPUtime=0.07 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 4621 0 0 0 5 2 0 0 20 0 18 0 70805119 19384713216 12037 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=18930384 memory=12882 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805124 19384713216 12037 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=18930384 memory=61788322530291 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70805125 19384713216 12037 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48148 KiB

[startup+0.214249 s]*
/proc/loadavg: 4.17 4.16 4.10 8/278 78794
/proc/meminfo: memFree=125372316/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=18930384 memory=52212 CPUtime=0.27 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 6187 0 0 0 23 4 0 0 20 0 18 0 70805117 19384713216 13053 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4732596 13053 5376 1 0 547299 0
[pid=78776/tid=78778] ppid=78773 vsize=18930384 memory=4026791601 CPUtime=0.17 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 4972 0 0 0 14 3 0 0 20 0 18 0 70805119 19384713216 13053 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=18930384 memory=237095891251 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805124 19384713216 13085 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=18930384 memory=19671 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70805125 19384713216 13085 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52212 KiB

[startup+0.313936 s]*
/proc/loadavg: 4.17 4.16 4.10 9/279 78795
/proc/meminfo: memFree=126916616/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=18930384 memory=58320 CPUtime=0.42 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 6685 0 0 0 38 4 0 0 20 0 18 0 70805117 19384713216 14580 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4732596 14580 5376 1 0 547717 0
[pid=78776/tid=78778] ppid=78773 vsize=18930384 memory=-6000919494147662952 CPUtime=0.25 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 5130 0 0 0 22 3 0 0 20 0 18 0 70805119 19384713216 14580 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70805124 19384713216 14580 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 70805125 19384713216 14580 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58320 KiB

[startup+0.700333 s]
/proc/loadavg: 4.31 4.19 4.11 8/280 78807
/proc/meminfo: memFree=128018576/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=18997200 memory=83264 CPUtime=1.12 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 7896 0 0 0 106 6 0 0 20 0 19 0 70805117 19453132800 20816 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4749300 20816 5504 1 0 548681 0
[pid=78776/tid=78778] ppid=78773 vsize=18997200 memory=18432 CPUtime=0.55 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 5426 0 0 0 51 4 0 0 20 0 19 0 70805119 19453132800 20816 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=18997200 memory=11136 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70805124 19453132800 20816 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=18997200 memory=3200 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 70805125 19453132800 20816 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18997200 KiB
Current children cumulated memory: 83264 KiB

[startup+1.50028 s]
/proc/loadavg: 4.31 4.19 4.11 12/324 78868
/proc/meminfo: memFree=127886596/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=173180 CPUtime=2.7 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 19983 0 0 0 258 12 0 0 20 0 20 0 70805117 19521036288 43295 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 43295 5536 1 0 552703 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=3200 CPUtime=1.26 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 6755 0 0 0 119 7 0 0 20 0 20 0 70805119 19521036288 43295 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 43295 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 43295 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 43295 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173180 KiB

[startup+3.10542 s]
/proc/loadavg: 4.31 4.19 4.11 9/330 78874
/proc/meminfo: memFree=127470432/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=224436 CPUtime=5.88 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 24820 0 0 0 572 16 0 0 20 0 20 0 70805117 19521036288 56109 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 56109 5536 1 0 554045 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=11136 CPUtime=2.77 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 7648 0 0 0 268 9 0 0 20 0 20 0 70805119 19521036288 56109 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 56109 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 56109 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 56109 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 5.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224436 KiB

[startup+6.30046 s]
/proc/loadavg: 4.37 4.21 4.12 6/330 78885
/proc/meminfo: memFree=124716416/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=716612 CPUtime=9.88 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 25521 0 0 0 959 29 0 0 20 0 20 0 70805117 19521036288 179153 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 179153 5536 1 0 554050 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=0 CPUtime=5.88 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 8132 0 0 0 567 21 0 0 20 0 20 0 70805119 19521036288 179153 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 179153 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 179153 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=180940 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 179153 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 716612 KiB

[startup+12.7004 s]
/proc/loadavg: 4.34 4.20 4.12 5/330 78885
/proc/meminfo: memFree=121812348/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1323764 CPUtime=16.59 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 27236 0 0 0 1610 49 0 0 20 0 20 0 70805117 19521036288 330941 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 330941 5568 1 0 554050 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=11136 CPUtime=12.18 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 9231 0 0 0 1178 40 0 0 20 0 20 0 70805119 19521036288 330941 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 330941 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=1323764 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 330941 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 330941 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 16.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1323764 KiB

[startup+25.5005 s]
/proc/loadavg: 4.29 4.20 4.11 5/330 78886
/proc/meminfo: memFree=118275588/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1340156 CPUtime=29.53 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 31812 0 0 0 2888 65 0 0 20 0 20 0 70805117 19521036288 335039 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 335039 5568 1 0 554050 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=-6000919494147662952 CPUtime=24.77 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 11154 0 0 0 2423 54 0 0 20 0 20 0 70805119 19521036288 335039 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 335039 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=-6000919494147662952 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 335039 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 335039 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 29.53 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1340156 KiB

[startup+51.1136 s]
/proc/loadavg: 4.22 4.19 4.11 5/332 78888
/proc/meminfo: memFree=111712132/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1771248 CPUtime=55.22 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 36652 0 0 0 5425 97 0 0 20 0 20 0 70805117 19521036288 442812 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 442812 5568 1 0 660566 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=5148 CPUtime=49.66 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 12763 0 0 0 4883 83 0 0 20 0 20 0 70805119 19521036288 442812 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=1470192 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 442812 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=1352480 CPUtime=0 cores=0,2

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

/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 903471 0 0 0 312428 2305 0 0 20 0 20 0 70805119 19521036288 347490 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=1356624 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 347490 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=1164912 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 347490 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=1164912 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 347490 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1389960 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.49 4.41 6/335 79074
/proc/meminfo: memFree=8271996/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1273800 CPUtime=3336.49 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1247192 0 0 0 331003 2646 0 0 20 0 20 0 70805117 19521036288 318450 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 318450 5568 1 0 392081 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=279906777579760 CPUtime=3205.37 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 1142843 0 0 0 318154 2383 0 0 20 0 20 0 70805119 19521036288 318450 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=1577896 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 318450 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=1273416 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1767 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 318450 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=1577896 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 318450 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3336.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1273800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.46 4.49 4.41 5/335 79143
/proc/meminfo: memFree=58624472/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1223244 CPUtime=3400.92 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1317210 0 0 0 337384 2708 0 0 20 0 20 0 70805117 19521036288 305811 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 305811 5568 1 0 316914 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=1273340 CPUtime=3263.28 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 1210755 0 0 0 323892 2436 0 0 20 0 20 0 70805119 19521036288 305811 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 305811 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 305811 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=1223244 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 305811 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3400.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1223244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.41 4.39 3/335 79146
/proc/meminfo: memFree=55438384/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1642436 CPUtime=3464.36 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1321466 0 0 0 343677 2759 0 0 20 0 20 0 70805117 19521036288 410609 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 410609 5568 1 0 421322 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=1273340 CPUtime=3321.48 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 1212896 0 0 0 329668 2480 0 0 20 0 20 0 70805119 19521036288 410609 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 410609 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 410609 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=1642436 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 410609 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3464.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1642436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.39 4.38 5/335 79148
/proc/meminfo: memFree=52935684/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=1561200 CPUtime=3526.48 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1323051 0 0 0 349849 2799 0 0 20 0 20 0 70805117 19521036288 390300 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 390300 5568 1 0 400442 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=1894808 CPUtime=3379.88 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 1213117 0 0 0 335471 2517 0 0 20 0 20 0 70805119 19521036288 390300 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=1273340 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 390300 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=18432 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 390300 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=1894808 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 390300 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3526.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1561200 KiB

[startup+3522.3 s]
/proc/loadavg: 4.63 4.46 4.40 4/310 79179
/proc/meminfo: memFree=53073456/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=2217840 CPUtime=3586.86 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1323707 0 0 0 355839 2847 0 0 20 0 20 0 70805117 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 554460 5568 1 0 567482 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=4224 CPUtime=3438.19 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) S 78773 78776 78242 0 -1 4194368 1213440 0 0 0 341258 2561 0 0 20 0 20 0 70805119 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=14304 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=2217840 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3535.2 s]
/proc/loadavg: 4.61 4.46 4.40 5/334 79283
/proc/meminfo: memFree=76031880/131382120 swapFree=33010416/33010684
[pid=78776] ppid=78773 vsize=19063512 memory=2217840 CPUtime=3600 cores=0,2
/proc/78776/stat : 78776 (java) S 78773 78776 78242 0 -1 4194304 1323707 0 0 0 357147 2853 0 0 20 0 20 0 70805117 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
/proc/78776/statm: 4765878 554460 5568 1 0 567482 0
[pid=78776/tid=78778] ppid=78773 vsize=19063512 memory=18432 CPUtime=3450.72 cores=0,2
/proc/78776/task/78778/stat : 78778 (java) R 78773 78776 78242 0 -1 4194368 1213440 0 0 0 342505 2567 0 0 20 0 20 0 70805119 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78787] ppid=78773 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/78776/task/78787/stat : 78787 (Finalizer) S 78773 78776 78242 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70805124 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78794] ppid=78773 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/78776/task/78794/stat : 78794 (Common-Cleaner) S 78773 78776 78242 0 -1 4194368 1769 0 0 0 0 0 0 0 20 0 20 0 70805125 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
[pid=78776/tid=78815] ppid=78773 vsize=19063512 memory=2217840 CPUtime=0 cores=0,2
/proc/78776/task/78815/stat : 78815 (Timer-0) S 78773 78776 78242 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70805175 19521036288 554460 18446744073709551615 94512903536640 94512903540336 140727581332768 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94512903548152 94512903548944 94512934416384 140727581342000 140727581342182 140727581342182 140727581347784 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2217840 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=3571.78 s, system=28.6001 s

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

[startup+3536 s]*
/proc/loadavg: 4.61 4.46 4.40 4/316 79286
/proc/meminfo: memFree=78195100/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3536.8 s]
/proc/loadavg: 4.61 4.46 4.40 4/316 79286
/proc/meminfo: memFree=78195100/131382120 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3537.2 s]
/proc/loadavg: 4.56 4.45 4.40 4/316 79286
/proc/meminfo: memFree=78150048/131382120 swapFree=33010416/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): 3542.27
CPU time (s): 3600.38
CPU user time (s): 3571.78
CPU system time (s): 28.6001
CPU usage (%): 101.641
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3599840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.78
system time used= 28.6001
maximum resident set size= 3599840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1325071
page faults= 0
swaps= 0
block input operations= 40
block output operations= 46135240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137410
involuntary context switches= 21073


# summary of solver processes directly reported to runsolver:
#   pid: 78776
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3571.78
#   total CPU system time (s): 28.6001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1582 second user time and 39.2819 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-03 16:00:58
IDJOB=4518741
IDBENCH=177069
IDSOLVER=3364
FILE ID=nodeC006/4518741-1751551257
RUNJOBID= nodeC006-1751547548-78252
SLURM_JOB_ID= 9598718
Free space on /tmp= 432160 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_451.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518741-1751551257/watcher-4518741-1751551257 -o /tmp/evaluation-result-4518741-1751551257/solver-4518741-1751551257 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751547548-78252 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4518741-1751551257 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4518741-1751551257.opb

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

MD5SUM BENCH= 476e0631a033c65f224eebb218d3a1ec
RANDOM SEED=1976496284

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

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        121341740 kB
MemAvailable:   129842976 kB
Buffers:            2128 kB
Cached:          9266848 kB
SwapCached:           12 kB
Active:           572680 kB
Inactive:        8802032 kB
Active(anon):     112612 kB
Inactive(anon):    11076 kB
Active(file):     460068 kB
Inactive(file):  8790956 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1888 kB
Writeback:             0 kB
AnonPages:        108936 kB
Mapped:           123216 kB
Shmem:             17948 kB
KReclaimable:     179296 kB
Slab:             265136 kB
SReclaimable:     179296 kB
SUnreclaim:        85840 kB
KernelStack:        4208 kB
PageTables:         3184 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2548692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149608 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432160 MiB
End job on nodeC006 at 2025-07-03 17:00:00