Trace number 4513482

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 1817.03 1816.91

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark54.9817
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.10	c Max memory 		16282288128
0.10/0.10	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.15	c Pseudo Boolean Optimization by upper bound
0.10/0.15	c --- Begin Solver configuration ---
0.10/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.15	c Learn all clauses as in MiniSAT
0.10/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.15	c Expensive reason simplification
0.10/0.15	c Glucose 2.1 dynamic restart strategy
0.10/0.15	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.10/0.15	c timeout=2147483s
0.10/0.15	c DB Simplification allowed=false
0.10/0.15	c Listener: none
0.10/0.15	c --- End Solver configuration ---
0.10/0.15	c solving HOME/instance-4513482-1751219267.opb
0.10/0.15	c reading problem ... 
0.10/0.15	c  no objective function found
0.28/0.22	c ... done. Wall clock time 0.06s.
0.28/0.22	c declared #vars     1401
0.28/0.22	c #constraints  1402
0.28/0.22	c constraints type 
0.28/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.28/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1400
0.28/0.22	c 1402 constraints processed.
0.66/0.47	c cleaning 2492 clauses out of 5001 with flag 20388/5001
1.04/0.67	c cleaning 4229 clauses out of 8509 with flag 45561/11001
1.43/0.87	c cleaning 5623 clauses out of 11280 with flag 79077/18001
1.83/1.00	c cleaning 6809 clauses out of 13657 with flag 119814/26001
2.03/1.12	c cleaning 7897 clauses out of 15847 with flag 166651/35000
2.21/1.25	c cleaning 8964 clauses out of 17950 with flag 219280/45000
2.39/1.38	c cleaning 9927 clauses out of 19987 with flag 278755/56001
2.61/1.54	c cleaning 10955 clauses out of 22059 with flag 343188/68000
2.81/1.71	c cleaning 11984 clauses out of 24104 with flag 410790/81000
3.02/1.90	c cleaning 12996 clauses out of 26120 with flag 492626/95000
3.13/2.10	c cleaning 13987 clauses out of 28124 with flag 575385/110000
3.42/2.32	c cleaning 14986 clauses out of 30137 with flag 664482/126000
3.65/2.56	c cleaning 15994 clauses out of 32151 with flag 758189/143000
3.97/2.85	c cleaning 17020 clauses out of 34157 with flag 861907/161000
4.28/3.14	c cleaning 18002 clauses out of 36138 with flag 969907/180001
4.57/3.45	c cleaning 19053 clauses out of 38136 with flag 1084423/200001
4.87/3.78	c cleaning 19955 clauses out of 40082 with flag 1206236/221000
5.28/4.13	c cleaning 20997 clauses out of 42128 with flag 1332206/243001
5.67/4.54	c cleaning 21989 clauses out of 44130 with flag 1462951/266000
6.07/4.97	c cleaning 23002 clauses out of 46141 with flag 1597789/290000
6.58/5.42	c cleaning 23998 clauses out of 48139 with flag 1742190/315000
6.97/5.86	c cleaning 25003 clauses out of 50142 with flag 1885320/341001
7.47/6.32	c cleaning 25953 clauses out of 52138 with flag 2031531/368000
7.97/6.81	c cleaning 27011 clauses out of 54185 with flag 2180688/396000
8.47/7.39	c cleaning 28065 clauses out of 56174 with flag 2337843/425000
9.07/7.98	c cleaning 29005 clauses out of 58110 with flag 2500200/455001
9.67/8.53	c cleaning 30040 clauses out of 60105 with flag 2664918/486001
10.27/9.17	c cleaning 30976 clauses out of 62064 with flag 2834811/518000
10.86/9.78	c cleaning 32026 clauses out of 64088 with flag 3005194/551000
11.56/10.46	c cleaning 32957 clauses out of 66063 with flag 3188411/585001
12.27/11.18	c cleaning 33966 clauses out of 68106 with flag 3367240/620001
13.06/11.92	c cleaning 35058 clauses out of 70139 with flag 3554079/656000
13.86/12.80	c cleaning 35977 clauses out of 72082 with flag 3742787/693001
14.75/13.69	c cleaning 37002 clauses out of 74104 with flag 3937222/731000
15.76/14.63	c cleaning 37994 clauses out of 76103 with flag 4140507/770001
16.66/15.57	c cleaning 38975 clauses out of 78108 with flag 4341356/810000
17.65/16.50	c cleaning 40024 clauses out of 80134 with flag 4546980/851001
18.65/17.51	c cleaning 41002 clauses out of 82109 with flag 4758718/893000
19.65/18.56	c cleaning 42025 clauses out of 84107 with flag 4970001/936000
20.75/19.61	c cleaning 42985 clauses out of 86082 with flag 5188903/980000
21.84/20.78	c cleaning 44024 clauses out of 88097 with flag 5413830/1025000
22.94/21.89	c cleaning 45012 clauses out of 90074 with flag 5649891/1071001
24.14/23.05	c cleaning 46006 clauses out of 92062 with flag 5882964/1118001
25.46/24.33	c cleaning 46981 clauses out of 94056 with flag 6124606/1166001
26.66/25.58	c cleaning 47982 clauses out of 96078 with flag 6370612/1215004
27.96/26.88	c cleaning 49023 clauses out of 98092 with flag 6611445/1265000
29.26/28.19	c cleaning 49984 clauses out of 100069 with flag 6866708/1316000
30.65/29.57	c cleaning 50983 clauses out of 102085 with flag 7119800/1368000
32.25/31.11	c cleaning 52012 clauses out of 104102 with flag 7381187/1421000
33.74/32.64	c cleaning 53028 clauses out of 106090 with flag 7646838/1475000
35.38/34.25	c cleaning 53977 clauses out of 108063 with flag 7920100/1530001
36.97/35.82	c cleaning 54972 clauses out of 110086 with flag 8198575/1586001
38.67/37.54	c cleaning 55986 clauses out of 112113 with flag 8488441/1643000
40.37/39.21	c cleaning 57048 clauses out of 114129 with flag 8775163/1701002
42.06/40.97	c cleaning 57992 clauses out of 116079 with flag 9060093/1760000
43.76/42.68	c cleaning 59032 clauses out of 118087 with flag 9352732/1820000
45.55/44.44	c cleaning 59997 clauses out of 120055 with flag 9642522/1881000
47.68/46.50	c cleaning 61012 clauses out of 122059 with flag 9950778/1943001
49.46/48.35	c cleaning 61962 clauses out of 124047 with flag 10247086/2006001
51.45/50.34	c cleaning 62998 clauses out of 126085 with flag 10548521/2070001
53.54/52.42	c cleaning 64009 clauses out of 128087 with flag 10851506/2135001
55.54/54.46	c cleaning 64984 clauses out of 130078 with flag 11166030/2201001
57.53/56.48	c cleaning 65995 clauses out of 132094 with flag 11471145/2268001
59.76/58.67	c cleaning 67027 clauses out of 134099 with flag 11791284/2336001
62.05/60.96	c cleaning 68017 clauses out of 136073 with flag 12124120/2405002
64.35/63.21	c cleaning 68983 clauses out of 138055 with flag 12450761/2475001
66.54/65.48	c cleaning 70001 clauses out of 140073 with flag 12776384/2546002
68.94/67.81	c cleaning 70982 clauses out of 142072 with flag 13113578/2618002
71.24/70.15	c cleaning 72024 clauses out of 144089 with flag 13443898/2691001
73.66/72.54	c cleaning 73011 clauses out of 146064 with flag 13777846/2765000
76.05/74.90	c cleaning 73977 clauses out of 148055 with flag 14118004/2840002
78.66/77.50	c cleaning 75010 clauses out of 150076 with flag 14466604/2916000
81.16/80.04	c cleaning 76023 clauses out of 152066 with flag 14820198/2993000
83.75/82.69	c cleaning 76969 clauses out of 154043 with flag 15178109/3071000
86.57/85.49	c cleaning 78009 clauses out of 156074 with flag 15547868/3150000
89.46/88.31	c cleaning 78995 clauses out of 158066 with flag 15910485/3230001
92.05/91.00	c cleaning 79998 clauses out of 160072 with flag 16269099/3311002
95.05/93.99	c cleaning 80982 clauses out of 162072 with flag 16649118/3393000
98.19/97.00	c cleaning 82012 clauses out of 164090 with flag 17026579/3476000
101.18/100.02	c cleaning 83002 clauses out of 166079 with flag 17408444/3560001
104.27/103.12	c cleaning 83971 clauses out of 168076 with flag 17781794/3645000
107.26/106.18	c cleaning 85002 clauses out of 170105 with flag 18162249/3731000
110.55/109.41	c cleaning 86032 clauses out of 172104 with flag 18553923/3818001
113.87/112.79	c cleaning 86996 clauses out of 174071 with flag 18960304/3906000
117.06/115.97	c cleaning 88017 clauses out of 176077 with flag 19346114/3995002
120.55/119.44	c cleaning 88988 clauses out of 178058 with flag 19740201/4085000
123.85/122.78	c cleaning 89995 clauses out of 180071 with flag 20133675/4176001
127.29/126.16	c cleaning 91004 clauses out of 182076 with flag 20534916/4268001
130.78/129.61	c cleaning 92015 clauses out of 184071 with flag 20939983/4361000
134.17/133.06	c cleaning 93009 clauses out of 186056 with flag 21350454/4455000
138.16/137.02	c cleaning 93969 clauses out of 188047 with flag 21784591/4550000
141.99/140.80	c cleaning 95019 clauses out of 190078 with flag 22211320/4646000
145.78/144.67	c cleaning 96015 clauses out of 192059 with flag 22641772/4743000
149.47/148.31	c cleaning 97022 clauses out of 194044 with flag 23068129/4841000
153.46/152.31	c cleaning 97972 clauses out of 196022 with flag 23507934/4940000
157.35/156.21	c cleaning 98980 clauses out of 198051 with flag 23940261/5040001
161.59/160.40	c cleaning 100006 clauses out of 200071 with flag 24365179/5141001
165.78/164.68	c cleaning 101021 clauses out of 202064 with flag 24810694/5243000
169.77/168.66	c cleaning 101999 clauses out of 204044 with flag 25250810/5346001
174.06/172.93	c cleaning 102961 clauses out of 206045 with flag 25702821/5450001
178.45/177.31	c cleaning 104040 clauses out of 208083 with flag 26160370/5555000
182.69/181.59	c cleaning 104982 clauses out of 210043 with flag 26608261/5661000
186.98/185.82	c cleaning 106002 clauses out of 212061 with flag 27061699/5768000
191.36/190.26	c cleaning 107010 clauses out of 214060 with flag 27512292/5876001
195.85/194.73	c cleaning 107983 clauses out of 216049 with flag 27969758/5985000
200.54/199.41	c cleaning 109020 clauses out of 218067 with flag 28433518/6095001
205.13/204.06	c cleaning 109983 clauses out of 220047 with flag 28899010/6206001
210.05/208.97	c cleaning 111014 clauses out of 222063 with flag 29379029/6318000
214.94/213.81	c cleaning 111999 clauses out of 224049 with flag 29856568/6431000
219.64/218.56	c cleaning 112995 clauses out of 226050 with flag 30332743/6545000
224.62/223.56	c cleaning 113993 clauses out of 228056 with flag 30813946/6660001
229.51/228.48	c cleaning 114987 clauses out of 230062 with flag 31292187/6776000
235.40/234.32	c cleaning 116012 clauses out of 232076 with flag 31795290/6893001
240.78/239.73	c cleaning 116998 clauses out of 234065 with flag 32291620/7011002
245.97/244.91	c cleaning 117994 clauses out of 236067 with flag 32775873/7130002
251.25/250.20	c cleaning 118993 clauses out of 238071 with flag 33270306/7250000
256.67/255.66	c cleaning 120011 clauses out of 240078 with flag 33764503/7371000
262.17/261.16	c cleaning 121021 clauses out of 242067 with flag 34269725/7493000
267.75/266.77	c cleaning 121982 clauses out of 244047 with flag 34779578/7616001
273.44/272.48	c cleaning 122992 clauses out of 246065 with flag 35291358/7740001
279.72/278.73	c cleaning 124003 clauses out of 248073 with flag 35834459/7865001
285.71/284.72	c cleaning 125004 clauses out of 250070 with flag 36353723/7991001
291.40/290.41	c cleaning 125992 clauses out of 252065 with flag 36870439/8118000
297.49/296.54	c cleaning 126988 clauses out of 254073 with flag 37399515/8246000
303.63/302.62	c cleaning 127993 clauses out of 256086 with flag 37923032/8375001
310.02/309.06	c cleaning 129013 clauses out of 258093 with flag 38452563/8505001
315.90/314.92	c cleaning 130019 clauses out of 260080 with flag 38974426/8636001
322.39/321.41	c cleaning 130993 clauses out of 262061 with flag 39514976/8768001
328.57/327.64	c cleaning 132012 clauses out of 264067 with flag 40046004/8901000
335.45/334.52	c cleaning 132991 clauses out of 266056 with flag 40606765/9035001
341.74/340.88	c cleaning 134003 clauses out of 268064 with flag 41157782/9170000
348.33/347.48	c cleaning 135004 clauses out of 270062 with flag 41698491/9306001
354.77/353.87	c cleaning 136015 clauses out of 272058 with flag 42232561/9443001
362.15/361.29	c cleaning 137001 clauses out of 274042 with flag 42795949/9581000
369.04/368.12	c cleaning 137985 clauses out of 276042 with flag 43355443/9720001
375.73/374.89	c cleaning 139000 clauses out of 278058 with flag 43913058/9860002
382.41/381.59	c cleaning 140005 clauses out of 280058 with flag 44473896/10001002
389.30/388.49	c cleaning 140996 clauses out of 282052 with flag 45035509/10143001
396.08/395.23	c cleaning 141989 clauses out of 284055 with flag 45597593/10286000
403.16/402.36	c cleaning 143018 clauses out of 286067 with flag 46168721/10430001
410.44/409.62	c cleaning 143986 clauses out of 288048 with flag 46731893/10575000
417.83/417.07	c cleaning 145007 clauses out of 290063 with flag 47310333/10721001
425.80/425.06	c cleaning 146002 clauses out of 292056 with flag 47900112/10868001
433.18/432.42	c cleaning 146991 clauses out of 294053 with flag 48484098/11016000
440.67/439.91	c cleaning 148001 clauses out of 296063 with flag 49072021/11165001
448.42/447.65	c cleaning 149000 clauses out of 298062 with flag 49661376/11315001
455.70/454.95	c cleaning 150003 clauses out of 300061 with flag 50244287/11466000
463.49/462.70	c cleaning 150996 clauses out of 302059 with flag 50840513/11618001
471.27/470.50	c cleaning 152020 clauses out of 304062 with flag 51434072/11771000
479.05/478.38	c cleaning 152996 clauses out of 306043 with flag 52028698/11925001
486.64/485.91	c cleaning 154008 clauses out of 308047 with flag 52618775/12080001
494.93/494.26	c cleaning 154998 clauses out of 310038 with flag 53230108/12236000
503.61/502.94	c cleaning 155992 clauses out of 312041 with flag 53853247/12393001
511.19/510.50	c cleaning 157006 clauses out of 314048 with flag 54446075/12551000
519.37/518.70	c cleaning 157992 clauses out of 316043 with flag 55048785/12710001
527.95/527.22	c cleaning 159015 clauses out of 318051 with flag 55659828/12870001
536.04/535.30	c cleaning 160000 clauses out of 320035 with flag 56271084/13031000
544.22/543.57	c cleaning 160993 clauses out of 322036 with flag 56897577/13193001
552.90/552.29	c cleaning 162003 clauses out of 324043 with flag 57517863/13356001
561.98/561.36	c cleaning 162990 clauses out of 326039 with flag 58166639/13520000
569.86/569.23	c cleaning 164001 clauses out of 328049 with flag 58787012/13685000
578.54/577.97	c cleaning 164990 clauses out of 330048 with flag 59413847/13851000
587.43/586.89	c cleaning 166012 clauses out of 332059 with flag 60049140/14018001
596.21/595.66	c cleaning 167008 clauses out of 334046 with flag 60677252/14186000
605.00/604.48	c cleaning 168004 clauses out of 336039 with flag 61308007/14355001
613.90/613.35	c cleaning 168996 clauses out of 338035 with flag 61952588/14525001
622.47/621.90	c cleaning 169996 clauses out of 340040 with flag 62584092/14696002
631.45/630.97	c cleaning 170998 clauses out of 342042 with flag 63228245/14868000
640.54/640.05	c cleaning 171989 clauses out of 344044 with flag 63877426/15041000
649.21/648.74	c cleaning 173017 clauses out of 346055 with flag 64513346/15215000
657.90/657.45	c cleaning 174000 clauses out of 348039 with flag 65166569/15390001
666.78/666.38	c cleaning 174995 clauses out of 350038 with flag 65813782/15566000
675.75/675.39	c cleaning 176015 clauses out of 352043 with flag 66468984/15743000
685.33/684.95	c cleaning 177007 clauses out of 354029 with flag 67142302/15921001
694.21/693.81	c cleaning 178005 clauses out of 356021 with flag 67790563/16100000
702.70/702.39	c cleaning 178991 clauses out of 358017 with flag 68436596/16280001
711.97/711.51	c cleaning 179992 clauses out of 360025 with flag 69095497/16461000
720.96/720.55	c cleaning 180978 clauses out of 362033 with flag 69764405/16643000
730.74/730.31	c cleaning 182004 clauses out of 364056 with flag 70452767/16826001
739.32/738.90	c cleaning 183007 clauses out of 366052 with flag 71112251/17010001
748.50/748.15	c cleaning 184006 clauses out of 368045 with flag 71792297/17195001
757.48/757.11	c cleaning 184994 clauses out of 370038 with flag 72462342/17381000
767.15/766.87	c cleaning 186013 clauses out of 372044 with flag 73136412/17568000
776.13/775.85	c cleaning 187005 clauses out of 374031 with flag 73811673/17756000
785.61/785.34	c cleaning 187997 clauses out of 376027 with flag 74491141/17945001
795.49/795.22	c cleaning 188989 clauses out of 378030 with flag 75179339/18135001
804.67/804.46	c cleaning 190006 clauses out of 380041 with flag 75866887/18326001
814.70/814.48	c cleaning 191003 clauses out of 382034 with flag 76554772/18518000
824.75/824.56	c cleaning 191990 clauses out of 384032 with flag 77254352/18711001
834.63/834.45	c cleaning 193015 clauses out of 386041 with flag 77958383/18905000
844.41/844.23	c cleaning 193996 clauses out of 388027 with flag 78656176/19100001
853.79/853.66	c cleaning 195004 clauses out of 390030 with flag 79349044/19296000
863.68/863.50	c cleaning 195991 clauses out of 392027 with flag 80057555/19493001
873.36/873.29	c cleaning 196986 clauses out of 394036 with flag 80767400/19691001
883.14/883.04	c cleaning 198020 clauses out of 396051 with flag 81475991/19890002
893.12/893.06	c cleaning 198993 clauses out of 398029 with flag 82193342/20090000
902.99/902.98	c cleaning 200005 clauses out of 400036 with flag 82913437/20291000
913.18/913.19	c cleaning 200998 clauses out of 402032 with flag 83627519/20493001
923.35/923.39	c cleaning 201993 clauses out of 404034 with flag 84356054/20696001
933.72/933.78	c cleaning 202993 clauses out of 406040 with flag 85082053/20900000
945.06/944.61	c cleaning 204005 clauses out of 408048 with flag 85817174/21105001
956.14/955.70	c cleaning 205012 clauses out of 410043 with flag 86559104/21311001
966.43/966.07	c cleaning 206003 clauses out of 412031 with flag 87277536/21518001
976.41/976.09	c cleaning 206991 clauses out of 414029 with flag 88014584/21726002
987.28/986.99	c cleaning 207995 clauses out of 416037 with flag 88762301/21935001
999.05/998.75	c cleaning 209000 clauses out of 418041 with flag 89533336/22145000
1010.02/1009.72	c cleaning 210005 clauses out of 420041 with flag 90279888/22356000
1021.40/1021.11	c cleaning 210997 clauses out of 422036 with flag 91030725/22568000
1032.68/1032.42	c cleaning 212010 clauses out of 424039 with flag 91792553/22781000
1043.75/1043.53	c cleaning 212995 clauses out of 426030 with flag 92541150/22995001
1055.14/1054.98	c cleaning 214004 clauses out of 428035 with flag 93323219/23210001
1066.95/1066.74	c cleaning 215008 clauses out of 430030 with flag 94094966/23426000
1078.03/1077.84	c cleaning 215989 clauses out of 432022 with flag 94867113/23643000
1089.61/1089.44	c cleaning 216985 clauses out of 434033 with flag 95667985/23861000
1101.49/1101.30	c cleaning 217998 clauses out of 436048 with flag 96458256/24080000
1113.36/1113.20	c cleaning 219009 clauses out of 438051 with flag 97254861/24300001
1125.44/1125.30	c cleaning 220003 clauses out of 440042 with flag 98067879/24521001
1137.41/1137.37	c cleaning 221004 clauses out of 442039 with flag 98878307/24743001
1149.68/1149.65	c cleaning 222002 clauses out of 444035 with flag 99692576/24966001
1162.75/1162.74	c cleaning 222996 clauses out of 446032 with flag 100532067/25190000
1175.83/1175.80	c cleaning 224008 clauses out of 448036 with flag 101371705/25415000
1189.70/1189.80	c cleaning 224998 clauses out of 450028 with flag 102244016/25641000
1203.57/1203.60	c cleaning 225997 clauses out of 452031 with flag 103106950/25868001
1218.05/1218.12	c cleaning 227007 clauses out of 454033 with flag 103985391/26096000
1232.02/1232.16	c cleaning 227991 clauses out of 456027 with flag 104864249/26325001
1246.98/1247.10	c cleaning 229011 clauses out of 458037 with flag 105775687/26555002
1261.65/1261.76	c cleaning 229986 clauses out of 460024 with flag 106662689/26786000
1276.32/1276.40	c cleaning 231008 clauses out of 462039 with flag 107556938/27018001
1290.69/1290.82	c cleaning 232016 clauses out of 464031 with flag 108444971/27251001
1306.36/1306.52	c cleaning 232991 clauses out of 466014 with flag 109355476/27485000
1321.42/1321.60	c cleaning 234003 clauses out of 468024 with flag 110270636/27720001
1337.00/1337.25	c cleaning 234992 clauses out of 470020 with flag 111194076/27956000
1352.26/1352.57	c cleaning 236004 clauses out of 472028 with flag 112114216/28193000
1367.92/1368.26	c cleaning 236999 clauses out of 474025 with flag 113050802/28431001
1384.00/1384.36	c cleaning 238001 clauses out of 476026 with flag 113982854/28670001
1399.56/1399.96	c cleaning 239002 clauses out of 478025 with flag 114910751/28910001
1415.03/1415.42	c cleaning 239995 clauses out of 480024 with flag 115833152/29151002
1431.09/1431.51	c cleaning 240997 clauses out of 482028 with flag 116767082/29393001
1447.99/1448.37	c cleaning 242003 clauses out of 484031 with flag 117723051/29636001
1464.25/1464.62	c cleaning 243002 clauses out of 486027 with flag 118678102/29880000
1480.72/1481.15	c cleaning 243996 clauses out of 488025 with flag 119638219/30125000
1496.78/1497.25	c cleaning 244998 clauses out of 490030 with flag 120598685/30371001
1513.45/1513.92	c cleaning 246005 clauses out of 492031 with flag 121557981/30618000
1530.21/1530.70	c cleaning 246995 clauses out of 494026 with flag 122513559/30866000
1546.58/1547.14	c cleaning 247999 clauses out of 496032 with flag 123489388/31115001
1563.65/1564.24	c cleaning 249003 clauses out of 498032 with flag 124466097/31365000
1581.91/1582.55	c cleaning 250008 clauses out of 500031 with flag 125465179/31616002
1599.77/1600.41	c cleaning 250995 clauses out of 502021 with flag 126453180/31868000
1618.79/1619.33	c cleaning 251998 clauses out of 504026 with flag 127463195/32121000
1638.35/1638.98	c cleaning 253001 clauses out of 506028 with flag 128475244/32375000
1658.10/1658.72	c cleaning 254005 clauses out of 508027 with flag 129527715/32630000
1677.57/1678.27	c cleaning 254999 clauses out of 510022 with flag 130569359/32886000
1699.82/1700.51	c cleaning 255998 clauses out of 512023 with flag 131635324/33143000
1722.08/1722.85	c cleaning 257007 clauses out of 514025 with flag 132697503/33401000
1744.47/1745.17	c cleaning 258000 clauses out of 516019 with flag 133775243/33660001
1770.61/1771.30	c cleaning 259002 clauses out of 518019 with flag 134901632/33920001
1801.81/1802.16	c cleaning 260004 clauses out of 520016 with flag 136082730/34181000
1816.79/1816.79	c starts		: 20771
1816.79/1816.79	c conflicts		: 34350857
1816.79/1816.79	c decisions		: 47956633
1816.79/1816.79	c propagations		: 298876370
1816.79/1816.79	c inspects		: 33156625436
1816.79/1816.79	c shortcuts		: 0
1816.79/1816.80	c learnt literals	: 13
1816.90/1816.80	c learnt binary clauses	: 79
1816.90/1816.80	c learnt ternary clauses	: 298
1816.90/1816.80	c learnt constraints	: 34350843
1816.90/1816.80	c ignored constraints	: 0
1816.90/1816.80	c root simplifications	: 0
1816.90/1816.80	c removed literals (reason simplification)	: 30983168
1816.90/1816.80	c reason swapping (by a shorter reason)	: 0
1816.90/1816.80	c Calls to reduceDB	: 257
1816.90/1816.80	c Number of update (reduction) of LBD	: 8048504
1816.90/1816.80	c Imported unit clauses	: 0
1816.90/1816.80	c No decision after first conflict	: false
1816.90/1816.80	c number of reductions to clauses (during analyze)	: 0
1816.90/1816.80	c number of learned constraints concerned by reduction	: 0
1816.90/1816.80	c number of learning phase by resolution	: 0
1816.90/1816.80	c number of learning phase by cutting planes	: 0
1816.90/1816.80	c number of rounding to 1 operations	: 0
1816.90/1816.80	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1816.90/1816.80	c number of reductions of the coefficients by power 2 	: 0
1816.90/1816.80	c number of right shift for reduction by power 2 	: 0
1816.90/1816.80	c number of reductions of the coefficients by GCD over coefficients 	: 0
1816.90/1816.80	c number of ending skipping 	: 0
1816.90/1816.80	c number of internal skipping 	: 0
1816.90/1816.80	c number of derivation steps 	: 0
1816.90/1816.80	c number of skipped derivation steps 	: 0
1816.90/1816.80	c number of remaining unassigned 	: 0
1816.90/1816.80	c number of remaining assigned 	: 0
1816.90/1816.80	c number of falsified literals weakened from reason	: 0
1816.90/1816.80	c number of falsified literals weakened from conflict	: 0
1816.90/1816.80	c time for arithmetic operations	: 0
1816.90/1816.80	c minimum degree of deleted constraints	: null
1816.90/1816.80	c maximum degree of deleted constraints	: null
1816.90/1816.80	c number of deleted constraints	: 0
1816.90/1816.81	c speed (assignments/second)	: 164527.1328839169
1816.90/1816.81	c non guided choices	: 3424826
1816.90/1816.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 429776
1816.90/1816.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 79
1816.90/1816.88	s UNSATISFIABLE
1816.90/1816.88	c Total wall clock time (in seconds): 1816.726

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513482-1751219267/watcher-4513482-1751219267 -o /tmp/evaluation-result-4513482-1751219267/solver-4513482-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513482-1751219267.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=28488, runsolver pid=28480
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.45 2.22 3.08 9/332 28566
/proc/meminfo: memFree=129026816/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18930384 memory=51764 CPUtime=0.1 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 6150 0 77 0 8 2 0 0 20 0 18 0 37604455 19384713216 12941 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4732596 12941 5290 1 0 547261 0
[pid=28488/tid=28496] ppid=28480 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 4961 0 72 0 5 1 0 0 20 0 18 0 37604457 19384713216 12941 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 12941 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 12941 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51764 KiB

[startup+0.205779 s]*
/proc/loadavg: 1.45 2.22 3.08 12/333 28567
/proc/meminfo: memFree=128959468/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18930384 memory=76080 CPUtime=0.28 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 7014 0 77 0 25 3 0 0 20 0 18 0 37604455 19384713216 19020 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4732596 19020 5386 1 0 547887 0
[pid=28488/tid=28496] ppid=28480 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 5264 0 72 0 13 2 0 0 20 0 18 0 37604457 19384713216 19020 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 19020 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37604460 19384713216 19020 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 76080 KiB

[startup+0.305861 s]*
/proc/loadavg: 1.45 2.22 3.08 10/336 28570
/proc/meminfo: memFree=128934380/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18998440 memory=87044 CPUtime=0.47 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 11064 0 77 0 43 4 0 0 20 0 19 0 37604455 19454402560 21761 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4749610 21761 5418 1 0 550404 0
[pid=28488/tid=28496] ppid=28480 vsize=18998440 memory=-6000919506999207021 CPUtime=0.23 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 5313 0 72 0 21 2 0 0 20 0 19 0 37604457 19454402560 21761 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18998440 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19454402560 21761 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18998440 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19454402560 21761 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=18998440 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19454402560 21761 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18998440 KiB
Current children cumulated memory: 87044 KiB

[startup+0.700233 s]
/proc/loadavg: 1.45 2.22 3.08 10/336 28570
/proc/meminfo: memFree=128902284/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18996948 memory=103084 CPUtime=1.23 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 15177 0 77 0 118 5 0 0 20 0 19 0 37604455 19452874752 25771 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4749237 25771 5418 1 0 552869 0
[pid=28488/tid=28496] ppid=28480 vsize=18996948 memory=17408 CPUtime=0.59 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 5462 0 72 0 57 2 0 0 20 0 19 0 37604457 19452874752 25771 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 25771 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 25771 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 25771 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103084 KiB

[startup+1.50019 s]
/proc/loadavg: 1.97 2.32 3.11 9/336 28570
/proc/meminfo: memFree=128853492/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18996948 memory=116676 CPUtime=2.61 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 18917 0 77 0 256 5 0 0 20 0 19 0 37604455 19452874752 29169 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4749237 29169 5418 1 0 552872 0
[pid=28488/tid=28496] ppid=28480 vsize=18996948 memory=10752 CPUtime=1.38 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 5774 0 72 0 136 2 0 0 20 0 19 0 37604457 19452874752 29169 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 29169 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 29169 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 29169 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116676 KiB

[startup+3.10559 s]
/proc/loadavg: 1.97 2.32 3.11 6/336 28570
/proc/meminfo: memFree=128739168/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=18996948 memory=141508 CPUtime=4.28 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 19850 0 77 0 422 6 0 0 20 0 19 0 37604455 19452874752 35377 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4749237 35377 5450 1 0 552876 0
[pid=28488/tid=28496] ppid=28480 vsize=18996948 memory=10752 CPUtime=2.99 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 6082 0 72 0 296 3 0 0 20 0 19 0 37604457 19452874752 35377 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=18996948 memory=-6000919507015984237 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 35377 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37604460 19452874752 35377 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 35377 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141508 KiB

[startup+6.30015 s]
/proc/loadavg: 2.14 2.35 3.11 6/337 28571
/proc/meminfo: memFree=128591756/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=179420 CPUtime=7.47 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 20948 0 77 0 740 7 0 0 20 0 20 0 37604455 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 44855 5482 1 0 553165 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=0 CPUtime=6.15 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 6120 0 72 0 612 3 0 0 20 0 20 0 37604457 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 7.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179420 KiB

[startup+12.7002 s]
/proc/loadavg: 2.28 2.38 3.12 6/340 28574
/proc/meminfo: memFree=128538304/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=179420 CPUtime=13.86 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 22146 0 77 0 1379 7 0 0 20 0 20 0 37604455 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 44855 5482 1 0 553165 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=179420 CPUtime=12.54 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 7130 0 72 0 1251 3 0 0 20 0 20 0 37604457 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=-6000919507015984237 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 44855 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 13.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179420 KiB

[startup+25.5002 s]
/proc/loadavg: 2.63 2.45 3.13 6/340 28574
/proc/meminfo: memFree=128438720/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=208300 CPUtime=26.66 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 25180 0 77 0 2658 8 0 0 20 0 20 0 37604455 19521036288 52075 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 52075 5482 1 0 553165 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=179420 CPUtime=25.25 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 7673 0 72 0 2522 3 0 0 20 0 20 0 37604457 19521036288 52075 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 52075 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=187672 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 52075 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=-6000919507015984237 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 52075 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 26.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208300 KiB

[startup+51.1055 s]
/proc/loadavg: 3.17 2.60 3.16 6/340 28574
/proc/meminfo: memFree=128159676/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=282308 CPUtime=52.25 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 25394 0 77 0 5215 10 0 0 20 0 20 0 37604455 19521036288 70577 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 70577 5482 1 0 553165 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=282308 CPUtime=50.68 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 7702 0 72 0 5065 3 0 0 20 0 20 0 37604457 19521036288 70577 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0

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

[startup+1782.3 s]
/proc/loadavg: 4.12 4.23 4.08 5/341 28873
/proc/meminfo: memFree=123791772/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1989720 CPUtime=1781.59 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 57927 0 77 0 178084 75 0 0 20 0 20 0 37604455 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 497430 5482 1 0 557465 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=122320668647138 CPUtime=1775.67 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 23435 0 72 0 177552 15 0 0 20 0 20 0 37604457 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 687 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1781.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1989720 KiB

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

# cumulated CPU time of all completed processes:  user=1816.24 s, system=0.788186 s

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

[startup+1792 s]*
/proc/loadavg: 4.18 4.24 4.08 5/341 28873
/proc/meminfo: memFree=123791772/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1989720 CPUtime=1791.29 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 58183 0 77 0 179054 75 0 0 20 0 20 0 37604455 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 497430 5482 1 0 557476 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=-6000919468444902509 CPUtime=1785.35 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 23528 0 72 0 178520 15 0 0 20 0 20 0 37604457 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=-4050210904893865870 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=7024 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 687 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=850048 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 497430 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1791.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1989720 KiB

[startup+1804.8 s]
/proc/loadavg: 4.15 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123783832/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1989196 CPUtime=1804.52 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 64099 0 77 0 180375 77 0 0 20 0 20 0 37604455 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 497299 5482 1 0 559639 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=10752 CPUtime=1798.11 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 24091 0 72 0 179796 15 0 0 20 0 20 0 37604457 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=1989720 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 687 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=1989196 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1804.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1989196 KiB

[startup+1811.2 s]
/proc/loadavg: 4.14 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123755336/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1989196 CPUtime=1810.91 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 64147 0 77 0 181014 77 0 0 20 0 20 0 37604455 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 497299 5482 1 0 559639 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=14384 CPUtime=1804.49 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 24104 0 72 0 180434 15 0 0 20 0 20 0 37604457 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=1989720 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=2001536 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 722 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=1989196 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1810.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1989196 KiB

[startup+1814.4 s]
/proc/loadavg: 4.13 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123755400/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1989196 CPUtime=1814.1 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 64153 0 77 0 181333 77 0 0 20 0 20 0 37604455 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 497299 5482 1 0 559639 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=14384 CPUtime=1807.68 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 24110 0 72 0 180753 15 0 0 20 0 20 0 37604457 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 722 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 497299 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1814.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1989196 KiB

[startup+1816 s]*
/proc/loadavg: 4.13 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123755400/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1993292 CPUtime=1816.1 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 65279 0 77 0 181533 77 0 0 20 0 20 0 37604455 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 498323 5482 1 0 559639 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=-6000919468444902509 CPUtime=1809.28 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 24139 0 72 0 180913 15 0 0 20 0 20 0 37604457 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=-4050210904893865870 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=-4050210904893865870 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 722 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1816.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1993292 KiB

[startup+1816.4 s]
/proc/loadavg: 4.13 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123755400/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19063512 memory=1993292 CPUtime=1816.49 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 65279 0 77 0 181572 77 0 0 20 0 20 0 37604455 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4765878 498323 5482 1 0 559639 0
[pid=28488/tid=28496] ppid=28480 vsize=19063512 memory=4380 CPUtime=1809.68 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) R 28480 28488 28429 0 -1 4194368 24139 0 72 0 180953 15 0 0 20 0 20 0 37604457 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19063512 memory=-6000919507015984237 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 722 0 0 0 0 0 0 0 20 0 20 0 37604460 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28570] ppid=28480 vsize=19063512 memory=12288 CPUtime=0 cores=4,6
/proc/28488/task/28570/stat : 28570 (Timer-0) S 28480 28488 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 498323 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1816.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1993292 KiB

[startup+1816.8 s]
/proc/loadavg: 4.13 4.23 4.08 5/341 28874
/proc/meminfo: memFree=123755400/131249996 swapFree=33010684/33010684
[pid=28488] ppid=28480 vsize=19196640 memory=1993804 CPUtime=1816.9 cores=4,6
/proc/28488/stat : 28488 (java) S 28480 28488 28429 0 -1 4194304 66398 0 77 0 181613 77 0 0 20 0 20 0 37604455 19657359360 498451 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
/proc/28488/statm: 4799160 498451 5482 1 0 560241 0
[pid=28488/tid=28496] ppid=28480 vsize=19196640 memory=1993292 CPUtime=1810.07 cores=4,6
/proc/28488/task/28496/stat : 28496 (java) S 28480 28488 28429 0 -1 4194368 24947 0 72 0 180992 15 0 0 20 0 20 0 37604457 19657359360 498451 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28528] ppid=28480 vsize=19196640 memory=3328 CPUtime=0 cores=4,6
/proc/28488/task/28528/stat : 28528 (Finalizer) S 28480 28488 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604460 19657359360 498451 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
[pid=28488/tid=28544] ppid=28480 vsize=19196640 memory=-6000919507015984237 CPUtime=0 cores=4,6
/proc/28488/task/28544/stat : 28544 (Common-Cleaner) S 28480 28488 28429 0 -1 4194368 722 0 0 0 0 0 0 0 20 0 20 0 37604460 19657359360 498451 18446744073709551615 94232140369920 94232140373616 140726960764096 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94232140381432 94232140382224 94232173785088 140726960769409 140726960769510 140726960769510 140726960775112 0
Current children cumulated CPU time: 1816.9 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1993804 KiB

[startup+1816.9 s]*
/proc/loadavg: 4.12 4.22 4.08 5/323 28876
/proc/meminfo: memFree=125608840/131249996 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 1816.91
CPU time (s): 1817.03
CPU user time (s): 1816.24
CPU system time (s): 0.788186
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 2001536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1816.24
system time used= 0.788186
maximum resident set size= 2002712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66706
page faults= 77
swaps= 0
block input operations= 0
block output operations= 1880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54791
involuntary context switches= 2864


# summary of solver processes directly reported to runsolver:
#   pid: 28488
#   total CPU time (s): 1817.03
#   total CPU user time (s): 1816.24
#   total CPU system time (s): 0.788186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6385 second user time and 8.2242 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 19:47:47
IDJOB=4513482
IDBENCH=162352
IDSOLVER=3363
FILE ID=nodeC022/4513482-1751219267
RUNJOBID= nodeC022-1751219267-28440
SLURM_JOB_ID= 9587670
Free space on /tmp= 433064 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513482-1751219267/watcher-4513482-1751219267 -o /tmp/evaluation-result-4513482-1751219267/solver-4513482-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513482-1751219267.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=571939227

nodeC022 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.717
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.44
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		: 2875.390
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129121420 kB
MemAvailable:   129774432 kB
Buffers:            3280 kB
Cached:          1457608 kB
SwapCached:            0 kB
Active:           315776 kB
Inactive:        1209268 kB
Active(anon):      82216 kB
Inactive(anon):        0 kB
Active(file):     233560 kB
Inactive(file):  1209268 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1304 kB
Writeback:             0 kB
AnonPages:         67236 kB
Mapped:           102244 kB
Shmem:             18060 kB
KReclaimable:      98444 kB
Slab:             184960 kB
SReclaimable:      98444 kB
SUnreclaim:        86516 kB
KernelStack:        3940 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 20:18:04