Trace number 4510660

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06UNSAT 1016.58 1015.07

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
MD5SUMe27638fbedede025521b1384f289f9e5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark201.671
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1001
Total number of constraints4002
Number of constraints which are clauses4002
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4510660-1751198852.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.31/0.23	c ... done. Wall clock time 0.09s.
0.31/0.23	c declared #vars     1001
0.31/0.23	c #constraints  4002
0.31/0.23	c constraints type 
0.31/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4000
0.31/0.23	c 4002 constraints processed.
0.70/0.42	c cleaning 2491 clauses out of 5001 with flag 20623/5001
1.08/0.64	c cleaning 4243 clauses out of 8509 with flag 48909/11000
1.66/0.92	c cleaning 5600 clauses out of 11266 with flag 83638/18000
1.88/1.04	c cleaning 6807 clauses out of 13666 with flag 122944/26000
2.07/1.17	c cleaning 7898 clauses out of 15860 with flag 169450/35001
2.41/1.31	c cleaning 8939 clauses out of 17962 with flag 224687/45001
2.59/1.48	c cleaning 9991 clauses out of 20022 with flag 289103/56000
3.25/1.81	c cleaning 10985 clauses out of 22031 with flag 358477/68000
3.52/2.05	c cleaning 11968 clauses out of 24046 with flag 430962/81000
3.74/2.27	c cleaning 12987 clauses out of 26078 with flag 512017/95000
4.04/2.54	c cleaning 14016 clauses out of 28091 with flag 601055/110000
4.34/2.82	c cleaning 14985 clauses out of 30076 with flag 694196/126001
4.68/3.14	c cleaning 16029 clauses out of 32090 with flag 796670/143000
4.99/3.47	c cleaning 17009 clauses out of 34061 with flag 903272/161000
5.39/3.80	c cleaning 17987 clauses out of 36052 with flag 1005674/180000
5.70/4.17	c cleaning 19017 clauses out of 38065 with flag 1113587/200000
6.09/4.54	c cleaning 19968 clauses out of 40049 with flag 1230999/221001
6.49/4.93	c cleaning 21008 clauses out of 42082 with flag 1356547/243002
6.89/5.38	c cleaning 21976 clauses out of 44073 with flag 1486731/266001
7.38/5.85	c cleaning 22989 clauses out of 46096 with flag 1624865/290000
7.88/6.33	c cleaning 23995 clauses out of 48107 with flag 1770854/315000
8.48/6.96	c cleaning 25009 clauses out of 50112 with flag 1918166/341000
9.09/7.53	c cleaning 26009 clauses out of 52104 with flag 2064102/368001
9.69/8.13	c cleaning 26994 clauses out of 54094 with flag 2215398/396000
10.28/8.76	c cleaning 27998 clauses out of 56100 with flag 2368693/425000
10.98/9.40	c cleaning 28996 clauses out of 58102 with flag 2531838/455000
11.59/10.05	c cleaning 30000 clauses out of 60106 with flag 2698635/486000
12.28/10.77	c cleaning 30995 clauses out of 62106 with flag 2872148/518000
13.08/11.52	c cleaning 31993 clauses out of 64112 with flag 3046069/551001
13.78/12.29	c cleaning 33018 clauses out of 66118 with flag 3218895/585000
14.68/13.12	c cleaning 34019 clauses out of 68100 with flag 3406417/620000
15.47/13.94	c cleaning 34996 clauses out of 70083 with flag 3590282/656002
16.38/14.83	c cleaning 36033 clauses out of 72085 with flag 3785957/693000
17.28/15.76	c cleaning 37015 clauses out of 74052 with flag 3985900/731000
18.27/16.72	c cleaning 37994 clauses out of 76037 with flag 4181648/770000
19.38/17.80	c cleaning 39014 clauses out of 78044 with flag 4388174/810001
20.48/18.95	c cleaning 39954 clauses out of 80029 with flag 4599404/851000
21.68/20.10	c cleaning 40990 clauses out of 82075 with flag 4804738/893000
22.88/21.31	c cleaning 42001 clauses out of 84086 with flag 5020772/936001
24.07/22.58	c cleaning 43013 clauses out of 86084 with flag 5235686/980000
25.37/23.88	c cleaning 44025 clauses out of 88072 with flag 5455614/1025001
26.77/25.22	c cleaning 45024 clauses out of 90047 with flag 5682335/1071001
28.16/26.61	c cleaning 45974 clauses out of 92023 with flag 5906406/1118001
29.66/28.11	c cleaning 47006 clauses out of 94049 with flag 6145391/1166001
31.17/29.63	c cleaning 47962 clauses out of 96043 with flag 6390053/1215001
32.68/31.17	c cleaning 49022 clauses out of 98080 with flag 6630138/1265000
34.37/32.81	c cleaning 49988 clauses out of 100058 with flag 6877597/1316000
35.97/34.41	c cleaning 50997 clauses out of 102070 with flag 7127729/1368000
37.67/36.11	c cleaning 52023 clauses out of 104074 with flag 7385230/1421001
39.36/37.89	c cleaning 53002 clauses out of 106051 with flag 7645135/1475001
41.16/39.69	c cleaning 53987 clauses out of 108048 with flag 7908799/1530000
43.05/41.53	c cleaning 54995 clauses out of 110062 with flag 8171199/1586001
45.05/43.55	c cleaning 55998 clauses out of 112066 with flag 8441549/1643000
47.08/45.59	c cleaning 56999 clauses out of 114068 with flag 8715635/1701000
49.18/47.65	c cleaning 57990 clauses out of 116070 with flag 8988088/1760001
51.28/49.72	c cleaning 59019 clauses out of 118079 with flag 9266891/1820000
53.47/51.92	c cleaning 59985 clauses out of 120061 with flag 9550692/1881001
55.77/54.20	c cleaning 61003 clauses out of 122076 with flag 9835776/1943001
57.96/56.44	c cleaning 62018 clauses out of 124072 with flag 10116309/2006000
60.29/58.79	c cleaning 63010 clauses out of 126054 with flag 10407617/2070000
62.68/61.15	c cleaning 63984 clauses out of 128044 with flag 10708794/2135000
65.27/63.77	c cleaning 65013 clauses out of 130061 with flag 11018151/2201001
67.87/66.34	c cleaning 66009 clauses out of 132047 with flag 11330904/2268000
70.46/68.98	c cleaning 67006 clauses out of 134040 with flag 11644506/2336002
73.16/71.63	c cleaning 67967 clauses out of 136032 with flag 11963916/2405000
75.90/74.35	c cleaning 68999 clauses out of 138066 with flag 12279469/2475001
78.60/77.10	c cleaning 69993 clauses out of 140066 with flag 12600933/2546000
81.48/79.92	c cleaning 71001 clauses out of 142073 with flag 12930670/2618000
84.28/82.77	c cleaning 72008 clauses out of 144072 with flag 13257171/2691000
87.37/85.83	c cleaning 73003 clauses out of 146064 with flag 13593852/2765000
90.67/89.15	c cleaning 74015 clauses out of 148062 with flag 13932439/2840001
93.99/92.45	c cleaning 74995 clauses out of 150046 with flag 14274144/2916000
97.39/95.85	c cleaning 76008 clauses out of 152053 with flag 14625908/2993002
100.68/99.14	c cleaning 77003 clauses out of 154043 with flag 14968380/3071000
103.97/102.43	c cleaning 77986 clauses out of 156041 with flag 15312575/3150001
107.37/105.82	c cleaning 78991 clauses out of 158055 with flag 15664807/3230001
110.99/109.42	c cleaning 80002 clauses out of 160064 with flag 16018739/3311001
114.59/113.05	c cleaning 80992 clauses out of 162061 with flag 16370806/3393000
118.18/116.61	c cleaning 82014 clauses out of 164070 with flag 16733454/3476001
121.97/120.47	c cleaning 83005 clauses out of 166055 with flag 17104741/3560000
125.76/124.25	c cleaning 83998 clauses out of 168052 with flag 17476899/3645002
129.77/128.20	c cleaning 84995 clauses out of 170052 with flag 17847124/3731000
133.96/132.43	c cleaning 85999 clauses out of 172058 with flag 18231400/3818001
137.75/136.20	c cleaning 86999 clauses out of 174059 with flag 18595647/3906001
141.76/140.25	c cleaning 88004 clauses out of 176060 with flag 18983760/3995001
146.18/144.61	c cleaning 88997 clauses out of 178057 with flag 19367885/4085002
150.37/148.83	c cleaning 90009 clauses out of 180058 with flag 19751540/4176000
155.06/153.57	c cleaning 90994 clauses out of 182049 with flag 20167316/4268000
159.56/158.02	c cleaning 92008 clauses out of 184055 with flag 20558129/4361000
164.24/162.75	c cleaning 93000 clauses out of 186047 with flag 20961062/4455000
169.36/167.80	c cleaning 93986 clauses out of 188047 with flag 21370003/4550000
174.15/172.69	c cleaning 94998 clauses out of 190064 with flag 21775065/4646003
179.35/177.81	c cleaning 95999 clauses out of 192063 with flag 22189498/4743000
184.34/182.87	c cleaning 97014 clauses out of 194064 with flag 22608619/4841000
189.23/187.71	c cleaning 97999 clauses out of 196051 with flag 23021869/4940001
194.35/192.85	c cleaning 99009 clauses out of 198051 with flag 23431780/5040000
199.74/198.20	c cleaning 100001 clauses out of 200042 with flag 23857415/5141000
204.92/203.44	c cleaning 100995 clauses out of 202042 with flag 24277317/5243001
210.01/208.57	c cleaning 101999 clauses out of 204048 with flag 24697032/5346002
215.70/214.25	c cleaning 102992 clauses out of 206048 with flag 25131977/5450001
221.60/220.16	c cleaning 104008 clauses out of 208055 with flag 25574806/5555000
227.38/225.94	c cleaning 105002 clauses out of 210049 with flag 26016405/5661002
232.92/231.41	c cleaning 105993 clauses out of 212046 with flag 26441924/5768001
238.51/237.01	c cleaning 106998 clauses out of 214052 with flag 26873039/5876000
244.39/242.95	c cleaning 108012 clauses out of 216054 with flag 27320648/5985000
250.48/249.01	c cleaning 109007 clauses out of 218042 with flag 27760168/6095000
256.57/255.16	c cleaning 109983 clauses out of 220035 with flag 28212227/6206000
262.96/261.57	c cleaning 111001 clauses out of 222052 with flag 28668186/6318000
268.98/267.54	c cleaning 112019 clauses out of 224052 with flag 29120820/6431001
275.07/273.69	c cleaning 113005 clauses out of 226033 with flag 29574482/6545001
281.65/280.22	c cleaning 113996 clauses out of 228027 with flag 30034243/6660000
287.94/286.51	c cleaning 114992 clauses out of 230031 with flag 30491604/6776000
294.13/292.79	c cleaning 116003 clauses out of 232040 with flag 30950256/6893001
300.58/299.16	c cleaning 117000 clauses out of 234037 with flag 31412488/7011001
307.16/305.70	c cleaning 117996 clauses out of 236037 with flag 31881512/7130001
313.65/312.28	c cleaning 119008 clauses out of 238041 with flag 32352745/7250001
320.04/318.60	c cleaning 119989 clauses out of 240034 with flag 32820169/7371002
326.63/325.22	c cleaning 121018 clauses out of 242043 with flag 33289342/7493000
333.42/332.06	c cleaning 121999 clauses out of 244025 with flag 33777220/7616000
340.36/338.91	c cleaning 122984 clauses out of 246026 with flag 34259367/7740000
346.94/345.51	c cleaning 124000 clauses out of 248042 with flag 34734417/7865000
353.93/352.53	c cleaning 125009 clauses out of 250043 with flag 35211416/7991001
360.52/359.19	c cleaning 125993 clauses out of 252034 with flag 35691144/8118001
367.51/366.14	c cleaning 127010 clauses out of 254040 with flag 36178536/8246000
374.59/373.20	c cleaning 127993 clauses out of 256030 with flag 36671888/8375000
381.27/379.94	c cleaning 129013 clauses out of 258037 with flag 37159743/8505000
388.15/386.88	c cleaning 130002 clauses out of 260025 with flag 37640706/8636001
395.19/393.89	c cleaning 131002 clauses out of 262022 with flag 38131026/8768000
401.78/400.40	c cleaning 131993 clauses out of 264020 with flag 38611918/8901000
408.37/407.02	c cleaning 132993 clauses out of 266028 with flag 39094763/9035001
415.25/413.93	c cleaning 133999 clauses out of 268035 with flag 39583683/9170001
421.94/420.67	c cleaning 135010 clauses out of 270035 with flag 40078366/9306000
428.73/427.45	c cleaning 135992 clauses out of 272026 with flag 40569117/9443001
435.61/434.34	c cleaning 137004 clauses out of 274035 with flag 41074075/9581002
442.40/441.14	c cleaning 138002 clauses out of 276029 with flag 41574962/9720000
449.17/448.00	c cleaning 139003 clauses out of 278029 with flag 42077125/9860002
456.06/454.89	c cleaning 139997 clauses out of 280024 with flag 42577559/10001000
463.30/462.01	c cleaning 140999 clauses out of 282028 with flag 43093132/10143001
470.58/469.37	c cleaning 142001 clauses out of 284028 with flag 43606928/10286000
477.77/476.50	c cleaning 143001 clauses out of 286027 with flag 44136758/10430000
484.85/483.62	c cleaning 143990 clauses out of 288026 with flag 44663084/10575000
492.34/491.15	c cleaning 145009 clauses out of 290037 with flag 45210194/10721001
500.03/498.80	c cleaning 146001 clauses out of 292028 with flag 45760802/10868001
507.51/506.36	c cleaning 146999 clauses out of 294026 with flag 46304083/11016000
515.49/514.30	c cleaning 147995 clauses out of 296029 with flag 46849298/11165002
523.37/522.27	c cleaning 149007 clauses out of 298033 with flag 47396615/11315001
531.16/530.03	c cleaning 149998 clauses out of 300025 with flag 47946857/11466000
539.34/538.23	c cleaning 150994 clauses out of 302028 with flag 48516678/11618001
547.63/546.53	c cleaning 152007 clauses out of 304033 with flag 49086866/11771000
556.09/554.94	c cleaning 152999 clauses out of 306027 with flag 49641264/11925001
564.87/563.70	c cleaning 153992 clauses out of 308027 with flag 50221931/12080000
573.26/572.15	c cleaning 155016 clauses out of 310035 with flag 50809558/12236000
581.74/580.67	c cleaning 155991 clauses out of 312021 with flag 51382383/12393002
590.72/589.63	c cleaning 157002 clauses out of 314029 with flag 51961052/12551001
599.90/598.86	c cleaning 157998 clauses out of 316026 with flag 52552669/12710000
609.39/608.38	c cleaning 158992 clauses out of 318028 with flag 53152391/12870000
618.97/617.99	c cleaning 160003 clauses out of 320037 with flag 53752485/13031001
629.45/628.46	c cleaning 160998 clauses out of 322033 with flag 54363040/13193000
639.42/638.46	c cleaning 162001 clauses out of 324036 with flag 54985368/13356001
650.11/649.12	c cleaning 163001 clauses out of 326034 with flag 55610001/13520000
660.88/659.88	c cleaning 164002 clauses out of 328034 with flag 56237131/13685001
672.26/671.20	c cleaning 165000 clauses out of 330031 with flag 56882212/13851000
683.34/682.32	c cleaning 165998 clauses out of 332031 with flag 57536349/14018000
694.71/693.79	c cleaning 167009 clauses out of 334033 with flag 58190078/14186000
706.70/705.73	c cleaning 167998 clauses out of 336024 with flag 58870640/14355000
719.07/718.19	c cleaning 168998 clauses out of 338027 with flag 59548275/14525001
731.54/730.67	c cleaning 169999 clauses out of 340029 with flag 60218525/14696001
743.62/742.76	c cleaning 171002 clauses out of 342030 with flag 60898660/14868001
756.29/755.44	c cleaning 172001 clauses out of 344027 with flag 61585611/15041000
769.57/768.71	c cleaning 173008 clauses out of 346027 with flag 62280884/15215001
782.64/781.87	c cleaning 174002 clauses out of 348018 with flag 62979898/15390000
796.11/795.22	c cleaning 174993 clauses out of 350016 with flag 63690231/15566000
808.39/807.53	c cleaning 175999 clauses out of 352024 with flag 64391039/15743001
821.56/820.78	c cleaning 177001 clauses out of 354025 with flag 65086175/15921001
835.13/834.38	c cleaning 178004 clauses out of 356023 with flag 65788384/16100000
849.21/848.43	c cleaning 178997 clauses out of 358020 with flag 66506448/16280001
862.97/862.29	c cleaning 179997 clauses out of 360022 with flag 67222677/16461000
878.03/877.30	c cleaning 181002 clauses out of 362025 with flag 67938340/16643000
894.09/893.40	c cleaning 181998 clauses out of 364024 with flag 68682351/16826001
910.46/909.86	c cleaning 183002 clauses out of 366026 with flag 69446037/17010001
927.92/927.35	c cleaning 184006 clauses out of 368023 with flag 70212948/17195000
947.62/946.93	c cleaning 184999 clauses out of 370017 with flag 70999640/17381000
965.88/965.22	c cleaning 186001 clauses out of 372020 with flag 71798109/17568002
988.34/987.78	c cleaning 187002 clauses out of 374018 with flag 72633475/17756001
1012.20/1010.70	c cleaning 188004 clauses out of 376012 with flag 73506328/17945000
1016.41/1014.94	c starts		: 17280
1016.41/1014.95	c conflicts		: 18008187
1016.41/1014.95	c decisions		: 25102444
1016.41/1014.95	c propagations		: 154307789
1016.41/1014.95	c inspects		: 18423626446
1016.41/1014.95	c shortcuts		: 0
1016.41/1014.96	c learnt literals	: 18
1016.41/1014.96	c learnt binary clauses	: 121
1016.41/1014.96	c learnt ternary clauses	: 485
1016.41/1014.96	c learnt constraints	: 18008168
1016.41/1014.96	c ignored constraints	: 0
1016.41/1014.96	c root simplifications	: 0
1016.41/1014.96	c removed literals (reason simplification)	: 16339299
1016.41/1014.96	c reason swapping (by a shorter reason)	: 0
1016.41/1014.96	c Calls to reduceDB	: 185
1016.41/1014.96	c Number of update (reduction) of LBD	: 4005022
1016.41/1014.96	c Imported unit clauses	: 0
1016.41/1014.96	c No decision after first conflict	: false
1016.41/1014.96	c number of reductions to clauses (during analyze)	: 0
1016.41/1014.96	c number of learned constraints concerned by reduction	: 0
1016.41/1014.96	c number of learning phase by resolution	: 0
1016.41/1014.96	c number of learning phase by cutting planes	: 0
1016.41/1014.96	c number of rounding to 1 operations	: 0
1016.41/1014.96	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1016.41/1014.96	c number of reductions of the coefficients by power 2 	: 0
1016.41/1014.96	c number of right shift for reduction by power 2 	: 0
1016.41/1014.96	c number of reductions of the coefficients by GCD over coefficients 	: 0
1016.41/1014.96	c number of ending skipping 	: 0
1016.41/1014.96	c number of internal skipping 	: 0
1016.41/1014.96	c number of derivation steps 	: 0
1016.41/1014.96	c number of skipped derivation steps 	: 0
1016.41/1014.96	c number of remaining unassigned 	: 0
1016.41/1014.96	c number of remaining assigned 	: 0
1016.41/1014.96	c number of falsified literals weakened from reason	: 0
1016.41/1014.96	c number of falsified literals weakened from conflict	: 0
1016.41/1014.96	c time for arithmetic operations	: 0
1016.41/1014.96	c minimum degree of deleted constraints	: null
1016.41/1014.96	c maximum degree of deleted constraints	: null
1016.41/1014.96	c number of deleted constraints	: 0
1016.41/1014.96	c speed (assignments/second)	: 152067.2304268902
1016.41/1014.96	c non guided choices	: 1258834
1016.53/1015.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 251058
1016.53/1015.03	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 121
1016.53/1015.03	s UNSATISFIABLE
1016.53/1015.03	c Total wall clock time (in seconds): 1014.895

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61059 MiB free)
  memory of node 1: 64507 MiB (63622 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510660-1751198852/watcher-4510660-1751198852 -o /tmp/evaluation-result-4510660-1751198852/solver-4510660-1751198852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510660-1751198852.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100063 s]*
/proc/loadavg: 4.18 4.16 4.13 6/316 29832
/proc/meminfo: memFree=127658152/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18930384 memory=55488 CPUtime=0.12 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 6546 0 0 0 10 2 0 0 20 0 18 0 35563067 19384713216 13872 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4732596 13872 5336 1 0 547611 0
[pid=29806/tid=29808] ppid=29803 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5055 0 0 0 6 1 0 0 20 0 18 0 35563068 19384713216 13872 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18930384 memory=219932805344 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35563070 19384713216 13872 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18930384 memory=28903 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35563071 19384713216 13872 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55488 KiB

[startup+0.205911 s]*
/proc/loadavg: 4.18 4.16 4.13 5/316 29832
/proc/meminfo: memFree=127657160/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18930384 memory=63928 CPUtime=0.31 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 7014 0 0 0 29 2 0 0 20 0 18 0 35563067 19384713216 15982 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4732596 15982 5432 1 0 547885 0
[pid=29806/tid=29808] ppid=29803 vsize=18930384 memory=4026597495 CPUtime=0.17 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5269 0 0 0 15 2 0 0 20 0 18 0 35563068 19384713216 15982 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18930384 memory=219932805344 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35563070 19384713216 15982 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18930384 memory=28903 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35563071 19384713216 15982 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63928 KiB

[startup+0.305836 s]*
/proc/loadavg: 4.18 4.16 4.13 5/317 29833
/proc/meminfo: memFree=127639896/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18996948 memory=75328 CPUtime=0.51 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 8768 0 0 0 48 3 0 0 20 0 19 0 35563067 19452874752 18832 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4749237 18832 5432 1 0 549404 0
[pid=29806/tid=29808] ppid=29803 vsize=18996948 memory=-6000919502771086701 CPUtime=0.25 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5329 0 0 0 23 2 0 0 20 0 19 0 35563068 19452874752 18832 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563070 19452874752 18832 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35563071 19452874752 18832 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563090 19452874752 18832 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75328 KiB

[startup+0.700237 s]
/proc/loadavg: 4.18 4.16 4.13 5/317 29833
/proc/meminfo: memFree=127627044/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18996948 memory=95024 CPUtime=1.27 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 15839 0 0 0 123 4 0 0 20 0 19 0 35563067 19452874752 23756 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4749237 23756 5464 1 0 553152 0
[pid=29806/tid=29808] ppid=29803 vsize=18996948 memory=17536 CPUtime=0.63 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5372 0 0 0 61 2 0 0 20 0 19 0 35563068 19452874752 23756 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563070 19452874752 23756 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35563071 19452874752 23756 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563090 19452874752 23756 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95024 KiB

[startup+1.50026 s]
/proc/loadavg: 4.33 4.19 4.14 5/317 29843
/proc/meminfo: memFree=127642508/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18996948 memory=106640 CPUtime=2.72 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 20263 0 0 0 267 5 0 0 20 0 19 0 35563067 19452874752 26660 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4749237 26660 5464 1 0 553379 0
[pid=29806/tid=29808] ppid=29803 vsize=18996948 memory=10752 CPUtime=1.41 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5641 0 0 0 139 2 0 0 20 0 19 0 35563068 19452874752 26660 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563070 19452874752 26660 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35563071 19452874752 26660 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=18996948 memory=4756 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563090 19452874752 26660 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106640 KiB

[startup+3.10575 s]
/proc/loadavg: 4.33 4.19 4.14 4/319 29904
/proc/meminfo: memFree=127576836/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18996948 memory=125344 CPUtime=4.68 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 21211 0 0 0 462 6 0 0 20 0 19 0 35563067 19452874752 31336 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4749237 31336 5464 1 0 553398 0
[pid=29806/tid=29808] ppid=29803 vsize=18996948 memory=10752 CPUtime=3 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 5966 0 0 0 297 3 0 0 20 0 19 0 35563068 19452874752 31336 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18996948 memory=-6000919494265037677 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563070 19452874752 31336 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35563071 19452874752 31336 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563090 19452874752 31336 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125344 KiB

[startup+6.30023 s]
/proc/loadavg: 4.46 4.22 4.15 6/339 30019
/proc/meminfo: memFree=127490688/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=18996948 memory=151296 CPUtime=7.88 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 21535 0 0 0 782 6 0 0 20 0 19 0 35563067 19452874752 37824 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4749237 37824 5464 1 0 553398 0
[pid=29806/tid=29808] ppid=29803 vsize=18996948 memory=0 CPUtime=6.17 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 6100 0 0 0 614 3 0 0 20 0 19 0 35563068 19452874752 37824 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35563070 19452874752 37824 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35563071 19452874752 37824 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=18996948 memory=106640 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35563090 19452874752 37824 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 151296 KiB

[startup+12.7002 s]
/proc/loadavg: 4.43 4.22 4.15 5/340 30020
/proc/meminfo: memFree=127408792/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=174300 CPUtime=14.28 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 24102 0 0 0 1421 7 0 0 20 0 20 0 35563067 19521036288 43575 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 43575 5496 1 0 553687 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=106640 CPUtime=12.55 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 7020 0 0 0 1251 4 0 0 20 0 20 0 35563068 19521036288 43575 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=-6000919481229075309 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 43575 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 43575 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 43575 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 14.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174300 KiB

[startup+25.5002 s]
/proc/loadavg: 4.44 4.23 4.15 5/341 30021
/proc/meminfo: memFree=127355320/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=182548 CPUtime=27.07 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 26302 0 0 0 2699 8 0 0 20 0 20 0 35563067 19521036288 45637 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 45637 5496 1 0 553687 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=0 CPUtime=25.31 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 7445 0 0 0 2527 4 0 0 20 0 20 0 35563068 19521036288 45637 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 45637 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=33 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 45637 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 45637 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 27.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182548 KiB

[startup+51.1058 s]
/proc/loadavg: 4.27 4.21 4.14 5/341 30021
/proc/meminfo: memFree=127256772/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=232028 CPUtime=52.68 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 26600 0 0 0 5258 10 0 0 20 0 20 0 35563067 19521036288 58007 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 58007 5496 1 0 553687 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=14848 CPUtime=50.8 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 7480 0 0 0 5076 4 0 0 20 0 20 0 35563068 19521036288 58007 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=14848 CPUtime=0 cores=1,3

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

/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 315109 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 883.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1260436 KiB

[startup+942.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/342 30660
/proc/meminfo: memFree=127073764/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1418184 CPUtime=943.03 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 38467 0 0 0 94253 50 0 0 20 0 20 0 35563067 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 354546 5496 1 0 553724 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=1260436 CPUtime=938.8 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 12130 0 0 0 93873 7 0 0 20 0 20 0 35563068 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=1260436 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 943.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1418184 KiB

[startup+1002.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126950744/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1418184 CPUtime=1002.93 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 39370 0 0 0 100242 51 0 0 20 0 20 0 35563067 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 354546 5496 1 0 553736 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=1418184 CPUtime=998.66 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 12288 0 0 0 99859 7 0 0 20 0 20 0 35563068 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=1418184 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=1418184 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=1418184 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1002.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1418184 KiB

[startup+1015.07 s]
# the end of solver process 29806 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1016.04 s, system=0.541227 s

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

[startup+1004.8 s]
/proc/loadavg: 4.11 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126950744/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1418184 CPUtime=1005.44 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 40122 0 0 0 100493 51 0 0 20 0 20 0 35563067 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 354546 5496 1 0 553740 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=1418184 CPUtime=1001.15 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 12901 0 0 0 100108 7 0 0 20 0 20 0 35563068 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=1418184 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 354546 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1005.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1418184 KiB

[startup+1011.2 s]
/proc/loadavg: 4.09 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126951248/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1431320 CPUtime=1012.7 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 47029 0 0 0 101217 53 0 0 20 0 20 0 35563067 19521036288 357830 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 357830 5496 1 0 555244 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=5632 CPUtime=1007.55 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 12965 0 0 0 100747 8 0 0 20 0 20 0 35563068 19521036288 357830 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 357830 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 357830 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 357830 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1012.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1431320 KiB

[startup+1012.8 s]
/proc/loadavg: 4.09 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126951248/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1421288 CPUtime=1014.3 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 47031 0 0 0 101377 53 0 0 20 0 20 0 35563067 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 355322 5496 1 0 555244 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=1421288 CPUtime=1009.14 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 12965 0 0 0 100906 8 0 0 20 0 20 0 35563068 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=17316 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=1431320 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=17316 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1014.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1421288 KiB

[startup+1014.4 s]
/proc/loadavg: 4.09 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126951248/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1421288 CPUtime=1015.91 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 47109 0 0 0 101538 53 0 0 20 0 20 0 35563067 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 355322 5496 1 0 555244 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=17536 CPUtime=1010.74 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 13031 0 0 0 101066 8 0 0 20 0 20 0 35563068 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=1419336 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=-6000919481329937516 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1015.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1421288 KiB

[startup+1014.8 s]
/proc/loadavg: 4.09 4.13 4.12 5/341 30662
/proc/meminfo: memFree=126951248/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19063512 memory=1421288 CPUtime=1016.31 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 47111 0 0 0 101578 53 0 0 20 0 20 0 35563067 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4765878 355322 5496 1 0 555244 0
[pid=29806/tid=29808] ppid=29803 vsize=19063512 memory=21952 CPUtime=1011.14 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) R 29803 29806 27841 0 -1 4194368 13031 0 0 0 101106 8 0 0 20 0 20 0 35563068 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29833] ppid=29803 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/29806/task/29833/stat : 29833 (Timer-0) S 29803 29806 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35563090 19521036288 355322 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1016.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1421288 KiB

[startup+1015 s]*
/proc/loadavg: 4.09 4.13 4.12 7/341 30664
/proc/meminfo: memFree=126938708/131249996 swapFree=33010684/33010684
[pid=29806] ppid=29803 vsize=19196640 memory=1422056 CPUtime=1016.53 cores=1,3
/proc/29806/stat : 29806 (java) S 29803 29806 27841 0 -1 4194304 48361 0 0 0 101600 53 0 0 20 0 20 0 35563067 19657359360 355514 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
/proc/29806/statm: 4799160 355514 5528 1 0 555878 0
[pid=29806/tid=29808] ppid=29803 vsize=19196640 memory=-6000919481329937516 CPUtime=1011.28 cores=1,3
/proc/29806/task/29808/stat : 29808 (java) S 29803 29806 27841 0 -1 4194368 13852 0 0 0 101120 8 0 0 20 0 20 0 35563068 19657359360 355514 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29820] ppid=29803 vsize=19196640 memory=1421288 CPUtime=0 cores=1,3
/proc/29806/task/29820/stat : 29820 (Finalizer) S 29803 29806 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35563070 19657359360 355514 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=29828] ppid=29803 vsize=19196640 memory=6772 CPUtime=0 cores=1,3
/proc/29806/task/29828/stat : 29828 (Common-Cleaner) S 29803 29806 27841 0 -1 4194368 342 0 0 0 0 0 0 0 20 0 20 0 35563071 19657359360 355514 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
[pid=29806/tid=30664] ppid=29803 vsize=19196640 memory=648316 CPUtime=0.04 cores=1,3
/proc/29806/task/30664/stat : 30664 (Thread-0) R 29803 29806 27841 0 -1 4194368 284 0 0 0 4 0 0 0 20 0 20 0 35664561 19657359360 355514 18446744073709551615 94724843003904 94724843007600 140726804561680 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94724843015416 94724843016208 94724875038720 140726804568449 140726804568550 140726804568550 140726804574152 0
Current children cumulated CPU time: 1016.53 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1422056 KiB

Child status: 20

Real time (s): 1015.07
CPU time (s): 1016.58
CPU user time (s): 1016.04
CPU system time (s): 0.541227
CPU usage (%): 100.149
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1431320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1016.04
system time used= 0.541227
maximum resident set size= 1432716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31140
involuntary context switches= 1608


# summary of solver processes directly reported to runsolver:
#   pid: 29806
#   total CPU time (s): 1016.58
#   total CPU user time (s): 1016.04
#   total CPU system time (s): 0.541227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22979 second user time and 4.97729 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:07:32
IDJOB=4510660
IDBENCH=160381
IDSOLVER=3363
FILE ID=nodeC024/4510660-1751198852
RUNJOBID= nodeC024-1751191546-27853
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510660-1751198852/watcher-4510660-1751198852 -o /tmp/evaluation-result-4510660-1751198852/solver-4510660-1751198852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27853 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510660-1751198852.opb

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

MD5SUM BENCH= e27638fbedede025521b1384f289f9e5
RANDOM SEED=124359098

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127466912 kB
MemAvailable:   127148492 kB
Buffers:            3280 kB
Cached:           491196 kB
SwapCached:            0 kB
Active:          2982028 kB
Inactive:         236632 kB
Active(anon):    2742252 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   236632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1080 kB
Writeback:             0 kB
AnonPages:       2726816 kB
Mapped:           122564 kB
Shmem:             18064 kB
KReclaimable:      88424 kB
Slab:             175164 kB
SReclaimable:      88424 kB
SUnreclaim:        86740 kB
KernelStack:        5200 kB
PageTables:         8980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7060616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2506752 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC024 at 2025-06-29 14:24:27