Trace number 4513410

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 1622.23 1621.9

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
MD5SUM71fa1afe6ec5716be864bdb24fc2dd76
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 benchmark40.5573
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1201
Total number of constraints601
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)601
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.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-4513410-1751219267.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.19	c ... done. Wall clock time 0.054s.
0.12/0.19	c declared #vars     1201
0.12/0.19	c #constraints  1202
0.12/0.19	c constraints type 
0.12/0.19	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.19	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1200
0.12/0.19	c 1202 constraints processed.
0.69/0.50	c cleaning 2491 clauses out of 5001 with flag 19344/5001
1.08/0.69	c cleaning 4237 clauses out of 8509 with flag 44186/11000
1.46/0.87	c cleaning 5593 clauses out of 11272 with flag 79749/18000
1.66/0.98	c cleaning 6797 clauses out of 13679 with flag 123156/26000
2.00/1.15	c cleaning 7899 clauses out of 15883 with flag 170921/35001
2.39/1.36	c cleaning 8917 clauses out of 17984 with flag 224140/45001
2.71/1.50	c cleaning 9962 clauses out of 20068 with flag 282650/56002
2.81/1.66	c cleaning 11025 clauses out of 22106 with flag 348912/68002
3.01/1.83	c cleaning 12007 clauses out of 24081 with flag 422431/81002
3.22/2.02	c cleaning 12954 clauses out of 26073 with flag 499401/95001
3.42/2.24	c cleaning 13992 clauses out of 28118 with flag 585912/110000
3.62/2.48	c cleaning 14986 clauses out of 30127 with flag 680185/126001
3.95/2.79	c cleaning 16030 clauses out of 32140 with flag 778242/143000
4.27/3.06	c cleaning 17013 clauses out of 34110 with flag 882656/161000
4.57/3.38	c cleaning 17988 clauses out of 36099 with flag 995818/180002
4.87/3.68	c cleaning 19027 clauses out of 38109 with flag 1109446/200000
5.17/4.00	c cleaning 19997 clauses out of 40082 with flag 1226989/221000
5.57/4.33	c cleaning 20989 clauses out of 42085 with flag 1345526/243000
5.97/4.73	c cleaning 21973 clauses out of 44097 with flag 1477657/266001
6.38/5.15	c cleaning 23004 clauses out of 46124 with flag 1612972/290001
6.87/5.62	c cleaning 23983 clauses out of 48121 with flag 1752473/315002
7.27/6.08	c cleaning 25007 clauses out of 50136 with flag 1890925/341000
7.78/6.59	c cleaning 26022 clauses out of 52129 with flag 2035866/368000
8.29/7.09	c cleaning 26997 clauses out of 54107 with flag 2185116/396000
8.88/7.66	c cleaning 27995 clauses out of 56110 with flag 2342134/425000
9.48/8.22	c cleaning 28996 clauses out of 58117 with flag 2505446/455002
10.08/8.81	c cleaning 30036 clauses out of 60120 with flag 2669946/486001
10.68/9.43	c cleaning 30980 clauses out of 62083 with flag 2841075/518000
11.28/10.08	c cleaning 32013 clauses out of 64104 with flag 3016249/551001
11.97/10.79	c cleaning 33004 clauses out of 66090 with flag 3194027/585000
12.77/11.52	c cleaning 33976 clauses out of 68086 with flag 3382132/620000
13.47/12.28	c cleaning 35020 clauses out of 70110 with flag 3570129/656000
14.28/13.06	c cleaning 35989 clauses out of 72091 with flag 3760673/693001
15.17/13.91	c cleaning 37038 clauses out of 74102 with flag 3961807/731001
16.07/14.86	c cleaning 38012 clauses out of 76064 with flag 4162584/770001
17.07/15.80	c cleaning 38968 clauses out of 78053 with flag 4363152/810002
18.07/16.83	c cleaning 40025 clauses out of 80086 with flag 4571911/851003
19.17/17.90	c cleaning 40989 clauses out of 82058 with flag 4789278/893000
20.16/18.93	c cleaning 41994 clauses out of 84070 with flag 5008375/936001
21.27/20.05	c cleaning 43021 clauses out of 86075 with flag 5233770/980000
22.46/21.24	c cleaning 43987 clauses out of 88055 with flag 5467582/1025001
23.66/22.41	c cleaning 45014 clauses out of 90068 with flag 5699826/1071001
24.86/23.64	c cleaning 45976 clauses out of 92054 with flag 5936327/1118001
26.18/24.91	c cleaning 47007 clauses out of 94079 with flag 6173727/1166002
27.48/26.20	c cleaning 47986 clauses out of 96071 with flag 6417783/1215001
28.87/27.64	c cleaning 49029 clauses out of 98084 with flag 6669167/1265000
30.27/29.01	c cleaning 50010 clauses out of 100055 with flag 6919876/1316000
31.67/30.47	c cleaning 50997 clauses out of 102047 with flag 7171571/1368002
33.27/32.01	c cleaning 51993 clauses out of 104049 with flag 7429873/1421001
34.76/33.58	c cleaning 53008 clauses out of 106055 with flag 7694172/1475000
36.36/35.15	c cleaning 53989 clauses out of 108049 with flag 7969027/1530002
38.20/36.92	c cleaning 54974 clauses out of 110059 with flag 8252276/1586001
39.89/38.60	c cleaning 55993 clauses out of 112084 with flag 8528227/1643000
41.49/40.27	c cleaning 57011 clauses out of 114092 with flag 8803286/1701001
43.29/42.01	c cleaning 57992 clauses out of 116081 with flag 9085976/1760001
45.08/43.81	c cleaning 58995 clauses out of 118089 with flag 9371340/1820001
46.97/45.73	c cleaning 59997 clauses out of 120094 with flag 9654975/1881001
48.91/47.69	c cleaning 61039 clauses out of 122097 with flag 9949443/1943001
51.01/49.73	c cleaning 61983 clauses out of 124061 with flag 10256184/2006004
52.90/51.70	c cleaning 63026 clauses out of 126075 with flag 10573974/2070001
55.00/53.76	c cleaning 63997 clauses out of 128049 with flag 10876289/2135001
57.09/55.86	c cleaning 65008 clauses out of 130052 with flag 11191326/2201001
59.39/58.10	c cleaning 65984 clauses out of 132044 with flag 11513140/2268001
61.49/60.28	c cleaning 67003 clauses out of 134059 with flag 11828387/2336000
63.80/62.57	c cleaning 67995 clauses out of 136056 with flag 12150127/2405000
66.19/64.91	c cleaning 68984 clauses out of 138061 with flag 12471288/2475000
68.69/67.46	c cleaning 70020 clauses out of 140078 with flag 12803274/2546001
71.18/69.95	c cleaning 70990 clauses out of 142057 with flag 13141883/2618000
73.78/72.56	c cleaning 71987 clauses out of 144067 with flag 13477868/2691000
76.61/75.33	c cleaning 73000 clauses out of 146082 with flag 13833868/2765002
79.20/77.93	c cleaning 74018 clauses out of 148080 with flag 14180553/2840000
81.80/80.57	c cleaning 74995 clauses out of 150062 with flag 14523205/2916000
84.59/83.35	c cleaning 76018 clauses out of 152067 with flag 14874793/2993000
87.49/86.22	c cleaning 76978 clauses out of 154050 with flag 15231598/3071001
90.43/89.15	c cleaning 77994 clauses out of 156071 with flag 15594241/3150000
93.32/92.02	c cleaning 79010 clauses out of 158077 with flag 15956417/3230000
96.31/95.08	c cleaning 80017 clauses out of 160068 with flag 16312034/3311001
99.41/98.11	c cleaning 80992 clauses out of 162051 with flag 16690892/3393001
102.50/101.25	c cleaning 82013 clauses out of 164059 with flag 17062630/3476001
105.63/104.37	c cleaning 82988 clauses out of 166045 with flag 17439690/3560000
109.02/107.70	c cleaning 84012 clauses out of 168057 with flag 17822282/3645000
112.11/110.87	c cleaning 84996 clauses out of 170045 with flag 18197554/3731000
115.51/114.22	c cleaning 85999 clauses out of 172049 with flag 18582417/3818000
118.90/117.65	c cleaning 87008 clauses out of 174050 with flag 18964768/3906000
122.31/121.07	c cleaning 87985 clauses out of 176043 with flag 19344955/3995001
126.00/124.70	c cleaning 88994 clauses out of 178059 with flag 19742508/4085002
129.69/128.41	c cleaning 89992 clauses out of 180063 with flag 20131278/4176000
133.49/132.22	c cleaning 91016 clauses out of 182071 with flag 20527285/4268000
137.40/136.17	c cleaning 91992 clauses out of 184055 with flag 20922397/4361000
141.09/139.87	c cleaning 92986 clauses out of 186063 with flag 21332690/4455000
145.08/143.88	c cleaning 94024 clauses out of 188077 with flag 21743051/4550000
149.17/147.94	c cleaning 94992 clauses out of 190053 with flag 22162713/4646000
153.16/151.90	c cleaning 96015 clauses out of 192062 with flag 22577676/4743001
157.30/156.09	c cleaning 96980 clauses out of 194048 with flag 22997092/4841002
161.79/160.51	c cleaning 98015 clauses out of 196066 with flag 23419148/4940000
166.18/164.96	c cleaning 99013 clauses out of 198051 with flag 23844471/5040000
170.67/169.41	c cleaning 99977 clauses out of 200038 with flag 24271369/5141000
174.96/173.76	c cleaning 100992 clauses out of 202062 with flag 24695054/5243001
179.54/178.37	c cleaning 102008 clauses out of 204069 with flag 25134650/5346000
184.10/182.84	c cleaning 102997 clauses out of 206062 with flag 25567348/5450001
188.49/187.25	c cleaning 103995 clauses out of 208065 with flag 26003655/5555001
193.28/192.02	c cleaning 105008 clauses out of 210069 with flag 26448818/5661000
198.07/196.80	c cleaning 106021 clauses out of 212061 with flag 26902663/5768000
202.86/201.62	c cleaning 107003 clauses out of 214040 with flag 27354964/5876000
207.89/206.63	c cleaning 108006 clauses out of 216038 with flag 27804933/5985001
212.58/211.33	c cleaning 108989 clauses out of 218032 with flag 28248210/6095001
217.67/216.42	c cleaning 110005 clauses out of 220043 with flag 28714854/6206001
222.56/221.35	c cleaning 110989 clauses out of 222038 with flag 29162847/6318001
227.55/226.31	c cleaning 111993 clauses out of 224049 with flag 29622287/6431001
232.54/231.34	c cleaning 113003 clauses out of 226055 with flag 30094269/6545000
238.03/236.81	c cleaning 113990 clauses out of 228053 with flag 30563605/6660001
243.27/242.03	c cleaning 115021 clauses out of 230063 with flag 31024804/6776001
248.75/247.50	c cleaning 116004 clauses out of 232043 with flag 31495585/6893002
254.14/252.90	c cleaning 116986 clauses out of 234039 with flag 31967722/7011002
259.63/258.44	c cleaning 117999 clauses out of 236051 with flag 32445564/7130000
265.02/263.87	c cleaning 118997 clauses out of 238052 with flag 32936275/7250000
270.61/269.44	c cleaning 120007 clauses out of 240056 with flag 33414311/7371001
276.30/275.18	c cleaning 121006 clauses out of 242048 with flag 33901600/7493000
282.24/281.07	c cleaning 122008 clauses out of 244042 with flag 34386516/7616000
287.93/286.75	c cleaning 122982 clauses out of 246034 with flag 34883640/7740000
293.81/292.70	c cleaning 124022 clauses out of 248053 with flag 35380004/7865001
299.80/298.67	c cleaning 124984 clauses out of 250030 with flag 35879474/7991000
305.79/304.61	c cleaning 126007 clauses out of 252047 with flag 36376959/8118001
311.87/310.75	c cleaning 126997 clauses out of 254039 with flag 36872813/8246000
317.86/316.71	c cleaning 127996 clauses out of 256042 with flag 37382004/8375000
323.95/322.82	c cleaning 128997 clauses out of 258047 with flag 37894591/8505001
330.20/329.02	c cleaning 129997 clauses out of 260050 with flag 38394406/8636001
336.19/335.09	c cleaning 130997 clauses out of 262052 with flag 38900340/8768000
342.58/341.47	c cleaning 132000 clauses out of 264055 with flag 39408657/8901000
348.87/347.73	c cleaning 133003 clauses out of 266055 with flag 39915033/9035000
355.75/354.61	c cleaning 134001 clauses out of 268053 with flag 40446657/9170001
362.04/360.95	c cleaning 135000 clauses out of 270051 with flag 40964257/9306000
368.63/367.55	c cleaning 135994 clauses out of 272051 with flag 41491866/9443000
375.22/374.12	c cleaning 136998 clauses out of 274057 with flag 42010991/9581000
381.90/380.86	c cleaning 138017 clauses out of 276060 with flag 42526649/9720001
388.58/387.53	c cleaning 139000 clauses out of 278042 with flag 43052795/9860000
395.81/394.73	c cleaning 139994 clauses out of 280042 with flag 43599445/10001000
402.40/401.30	c cleaning 140998 clauses out of 282049 with flag 44132708/10143001
409.19/408.16	c cleaning 142010 clauses out of 284052 with flag 44672214/10286002
416.08/415.06	c cleaning 142994 clauses out of 286041 with flag 45206351/10430001
423.25/422.28	c cleaning 144001 clauses out of 288046 with flag 45756753/10575000
430.34/429.35	c cleaning 145012 clauses out of 290048 with flag 46300323/10721003
437.52/436.56	c cleaning 146003 clauses out of 292034 with flag 46882082/10868001
444.81/443.87	c cleaning 146986 clauses out of 294030 with flag 47427967/11016000
452.10/451.15	c cleaning 148006 clauses out of 296045 with flag 47978092/11165001
459.39/458.41	c cleaning 148998 clauses out of 298040 with flag 48534423/11315002
466.47/465.58	c cleaning 149993 clauses out of 300040 with flag 49092716/11466000
473.85/472.92	c cleaning 151015 clauses out of 302049 with flag 49664879/11618002
481.61/480.67	c cleaning 152014 clauses out of 304033 with flag 50239707/11771001
488.79/487.88	c cleaning 152995 clauses out of 306018 with flag 50807461/11925000
496.47/495.51	c cleaning 153986 clauses out of 308026 with flag 51384613/12080003
504.06/503.14	c cleaning 155008 clauses out of 310038 with flag 51963302/12236001
512.14/511.22	c cleaning 156003 clauses out of 312030 with flag 52561341/12393001
519.74/518.82	c cleaning 156990 clauses out of 314026 with flag 53146921/12551000
527.52/526.69	c cleaning 158002 clauses out of 316036 with flag 53734816/12710000
535.49/534.63	c cleaning 159001 clauses out of 318034 with flag 54346472/12870000
543.29/542.47	c cleaning 160012 clauses out of 320033 with flag 54945172/13031000
551.47/550.60	c cleaning 160998 clauses out of 322021 with flag 55560229/13193000
559.15/558.35	c cleaning 161997 clauses out of 324024 with flag 56156383/13356001
567.82/566.94	c cleaning 162997 clauses out of 326026 with flag 56789939/13520000
576.81/575.93	c cleaning 164008 clauses out of 328031 with flag 57426230/13685002
585.99/585.11	c cleaning 164992 clauses out of 330021 with flag 58084865/13851000
594.57/593.73	c cleaning 165997 clauses out of 332030 with flag 58734296/14018001
603.05/602.22	c cleaning 167003 clauses out of 334032 with flag 59379860/14186000
612.33/611.57	c cleaning 167985 clauses out of 336030 with flag 60041995/14355001
621.92/621.15	c cleaning 169000 clauses out of 338044 with flag 60703633/14525000
631.50/630.74	c cleaning 169995 clauses out of 340046 with flag 61358556/14696002
640.38/639.60	c cleaning 171009 clauses out of 342052 with flag 62009367/14868003
649.66/648.97	c cleaning 171991 clauses out of 344041 with flag 62674860/15041001
658.44/657.75	c cleaning 173017 clauses out of 346050 with flag 63322931/15215001
667.81/667.03	c cleaning 174001 clauses out of 348033 with flag 63980215/15390001
677.09/676.33	c cleaning 174993 clauses out of 350032 with flag 64641443/15566001
687.07/686.32	c cleaning 176003 clauses out of 352039 with flag 65316476/15743001
697.25/696.53	c cleaning 176997 clauses out of 354035 with flag 66000517/15921000
707.53/706.87	c cleaning 178011 clauses out of 356039 with flag 66686761/16100001
718.21/717.59	c cleaning 178995 clauses out of 358028 with flag 67385980/16280001
728.29/727.69	c cleaning 180001 clauses out of 360032 with flag 68076709/16461000
737.57/736.96	c cleaning 181002 clauses out of 362033 with flag 68741268/16643002
748.15/747.55	c cleaning 182004 clauses out of 364029 with flag 69434162/16826000
758.73/758.14	c cleaning 182990 clauses out of 366025 with flag 70134014/17010000
768.91/768.31	c cleaning 183997 clauses out of 368036 with flag 70817608/17195001
778.40/777.88	c cleaning 184999 clauses out of 370039 with flag 71495224/17381001
787.97/787.35	c cleaning 185999 clauses out of 372040 with flag 72168060/17568001
798.75/798.11	c cleaning 186994 clauses out of 374041 with flag 72876550/17756001
809.82/809.24	c cleaning 188006 clauses out of 376047 with flag 73590519/17945001
821.30/820.78	c cleaning 189017 clauses out of 378041 with flag 74323905/18135001
831.59/831.06	c cleaning 189992 clauses out of 380025 with flag 75020839/18326002
843.36/842.84	c cleaning 190994 clauses out of 382031 with flag 75750781/18518000
854.64/854.13	c cleaning 192012 clauses out of 384038 with flag 76469645/18711001
866.51/866.09	c cleaning 192995 clauses out of 386025 with flag 77201119/18905000
878.49/878.04	c cleaning 194006 clauses out of 388031 with flag 77929711/19100001
890.27/889.82	c cleaning 194995 clauses out of 390024 with flag 78670468/19296000
901.54/901.14	c cleaning 196003 clauses out of 392029 with flag 79395071/19493000
913.91/913.59	c cleaning 196993 clauses out of 394026 with flag 80156793/19691000
925.88/925.59	c cleaning 198002 clauses out of 396034 with flag 80921323/19890001
938.36/938.08	c cleaning 198998 clauses out of 398031 with flag 81662196/20090000
950.63/950.33	c cleaning 200010 clauses out of 400034 with flag 82415622/20291001
963.67/963.27	c cleaning 201000 clauses out of 402023 with flag 83177176/20493000
976.35/975.90	c cleaning 201992 clauses out of 404023 with flag 83942859/20696000
988.82/988.40	c cleaning 203005 clauses out of 406032 with flag 84716399/20900001
1001.90/1001.54	c cleaning 204002 clauses out of 408029 with flag 85508078/21105003
1014.67/1014.34	c cleaning 204991 clauses out of 410025 with flag 86307527/21311001
1028.15/1027.84	c cleaning 206009 clauses out of 412035 with flag 87104654/21518002
1042.12/1041.89	c cleaning 207002 clauses out of 414024 with flag 87917808/21726000
1056.69/1056.46	c cleaning 207989 clauses out of 416022 with flag 88739983/21935000
1070.26/1070.09	c cleaning 209003 clauses out of 418033 with flag 89542175/22145000
1084.34/1084.11	c cleaning 209997 clauses out of 420031 with flag 90366427/22356001
1099.00/1098.37	c cleaning 210992 clauses out of 422034 with flag 91203076/22568001
1113.79/1113.16	c cleaning 212014 clauses out of 424041 with flag 92024267/22781000
1129.05/1128.42	c cleaning 212990 clauses out of 426027 with flag 92862803/22995000
1143.32/1142.72	c cleaning 213997 clauses out of 428038 with flag 93706893/23210001
1157.70/1157.14	c cleaning 215007 clauses out of 430040 with flag 94543608/23426000
1172.36/1171.88	c cleaning 216000 clauses out of 432034 with flag 95379356/23643001
1188.34/1187.88	c cleaning 216992 clauses out of 434033 with flag 96241619/23861000
1204.00/1203.54	c cleaning 218011 clauses out of 436042 with flag 97106131/24080001
1219.76/1219.39	c cleaning 218996 clauses out of 438030 with flag 97975327/24300000
1235.72/1235.39	c cleaning 220007 clauses out of 440034 with flag 98847811/24521000
1252.27/1251.81	c cleaning 220999 clauses out of 442028 with flag 99727690/24743001
1268.24/1267.80	c cleaning 222005 clauses out of 444028 with flag 100604844/24966000
1284.21/1283.80	c cleaning 222999 clauses out of 446024 with flag 101489012/25190001
1301.27/1300.96	c cleaning 223999 clauses out of 448025 with flag 102391116/25415001
1318.73/1318.50	c cleaning 225004 clauses out of 450026 with flag 103305186/25641001
1338.10/1337.85	c cleaning 225992 clauses out of 452021 with flag 104253507/25868000
1355.96/1355.76	c cleaning 227002 clauses out of 454030 with flag 105188898/26096001
1375.23/1375.02	c cleaning 228005 clauses out of 456027 with flag 106139354/26325000
1393.79/1393.65	c cleaning 228999 clauses out of 458024 with flag 107081108/26555002
1412.76/1412.62	c cleaning 230000 clauses out of 460024 with flag 108037420/26786001
1431.13/1431.01	c cleaning 231002 clauses out of 462024 with flag 109006917/27018001
1450.92/1450.79	c cleaning 231999 clauses out of 464022 with flag 109977210/27251001
1471.98/1471.87	c cleaning 233005 clauses out of 466023 with flag 110964481/27485001
1494.63/1494.58	c cleaning 233997 clauses out of 468018 with flag 111964779/27720001
1517.09/1517.08	c cleaning 235001 clauses out of 470020 with flag 112977865/27956000
1539.94/1539.95	c cleaning 236003 clauses out of 472019 with flag 113996420/28193000
1564.60/1564.69	c cleaning 236999 clauses out of 474016 with flag 115035855/28431000
1592.72/1592.81	c cleaning 238002 clauses out of 476017 with flag 116100264/28670000
1621.98/1621.79	c starts		: 20264
1622.09/1621.81	c conflicts		: 28909423
1622.09/1621.81	c decisions		: 39971387
1622.09/1621.81	c propagations		: 246892267
1622.09/1621.81	c inspects		: 30333509623
1622.09/1621.81	c shortcuts		: 0
1622.09/1621.81	c learnt literals	: 13
1622.09/1621.81	c learnt binary clauses	: 77
1622.09/1621.81	c learnt ternary clauses	: 319
1622.09/1621.81	c learnt constraints	: 28909409
1622.09/1621.81	c ignored constraints	: 0
1622.09/1621.81	c root simplifications	: 0
1622.09/1621.81	c removed literals (reason simplification)	: 26408108
1622.09/1621.81	c reason swapping (by a shorter reason)	: 0
1622.09/1621.81	c Calls to reduceDB	: 235
1622.09/1621.81	c Number of update (reduction) of LBD	: 6503561
1622.09/1621.81	c Imported unit clauses	: 0
1622.09/1621.81	c No decision after first conflict	: false
1622.09/1621.81	c number of reductions to clauses (during analyze)	: 0
1622.09/1621.81	c number of learned constraints concerned by reduction	: 0
1622.09/1621.81	c number of learning phase by resolution	: 0
1622.09/1621.81	c number of learning phase by cutting planes	: 0
1622.09/1621.81	c number of rounding to 1 operations	: 0
1622.09/1621.81	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1622.09/1621.81	c number of reductions of the coefficients by power 2 	: 0
1622.09/1621.81	c number of right shift for reduction by power 2 	: 0
1622.09/1621.81	c number of reductions of the coefficients by GCD over coefficients 	: 0
1622.09/1621.81	c number of ending skipping 	: 0
1622.09/1621.81	c number of internal skipping 	: 0
1622.09/1621.81	c number of derivation steps 	: 0
1622.09/1621.81	c number of skipped derivation steps 	: 0
1622.09/1621.81	c number of remaining unassigned 	: 0
1622.09/1621.81	c number of remaining assigned 	: 0
1622.09/1621.81	c number of falsified literals weakened from reason	: 0
1622.09/1621.81	c number of falsified literals weakened from conflict	: 0
1622.09/1621.81	c time for arithmetic operations	: 0
1622.09/1621.81	c minimum degree of deleted constraints	: null
1622.09/1621.82	c maximum degree of deleted constraints	: null
1622.09/1621.82	c number of deleted constraints	: 0
1622.09/1621.82	c speed (assignments/second)	: 152250.38356705024
1622.09/1621.82	c non guided choices	: 2527596
1622.09/1621.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 477347
1622.09/1621.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 77
1622.09/1621.89	s UNSATISFIABLE
1622.09/1621.89	c Total wall clock time (in seconds): 1621.754

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 (62989 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-4513410-1751219267/watcher-4513410-1751219267 -o /tmp/evaluation-result-4513410-1751219267/solver-4513410-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28441 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513410-1751219267.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=28493, runsolver pid=28486
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.45 2.22 3.08 8/332 28566
/proc/meminfo: memFree=129010308/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18930384 memory=55684 CPUtime=0.12 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 6533 0 0 0 10 2 0 0 20 0 18 0 37604457 19384713216 13921 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4732596 13921 5376 1 0 547603 0
[pid=28493/tid=28511] ppid=28486 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 5053 0 0 0 6 1 0 0 20 0 18 0 37604459 19384713216 13921 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37604461 19384713216 13921 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 37604462 19384713216 13921 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55684 KiB

[startup+0.205692 s]*
/proc/loadavg: 1.45 2.22 3.08 13/336 28570
/proc/meminfo: memFree=128954392/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18996948 memory=74508 CPUtime=0.31 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 7094 0 0 0 28 3 0 0 20 0 19 0 37604457 19452874752 18627 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4749237 18627 5472 1 0 548218 0
[pid=28493/tid=28511] ppid=28486 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 5322 0 0 0 15 2 0 0 20 0 19 0 37604459 19452874752 18627 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18996948 memory=16880 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 18627 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18996948 memory=59585004307431 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 18627 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 18627 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74508 KiB

[startup+0.305605 s]*
/proc/loadavg: 1.45 2.22 3.08 9/336 28570
/proc/meminfo: memFree=128928520/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18996948 memory=78256 CPUtime=0.5 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 8704 0 0 0 47 3 0 0 20 0 19 0 37604457 19452874752 19564 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4749237 19564 5472 1 0 549067 0
[pid=28493/tid=28511] ppid=28486 vsize=18996948 memory=-6000919506999207021 CPUtime=0.25 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 5329 0 0 0 23 2 0 0 20 0 19 0 37604459 19452874752 19564 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 19564 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 19564 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 19564 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78256 KiB

[startup+0.700231 s]
/proc/loadavg: 1.45 2.22 3.08 9/336 28570
/proc/meminfo: memFree=128892896/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18996948 memory=96848 CPUtime=1.27 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 15505 0 0 0 123 4 0 0 20 0 19 0 37604457 19452874752 24212 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4749237 24212 5472 1 0 552761 0
[pid=28493/tid=28511] ppid=28486 vsize=18996948 memory=17408 CPUtime=0.62 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 5375 0 0 0 60 2 0 0 20 0 19 0 37604459 19452874752 24212 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 24212 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 24212 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 24212 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 96848 KiB

[startup+1.50023 s]
/proc/loadavg: 1.97 2.32 3.11 6/336 28570
/proc/meminfo: memFree=128853608/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18996948 memory=109108 CPUtime=2.71 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 20295 0 0 0 266 5 0 0 20 0 19 0 37604457 19452874752 27277 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4749237 27277 5472 1 0 552980 0
[pid=28493/tid=28511] ppid=28486 vsize=18996948 memory=0 CPUtime=1.4 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 5740 0 0 0 138 2 0 0 20 0 19 0 37604459 19452874752 27277 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 27277 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 27277 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=18996948 memory=4764 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 27277 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109108 KiB

[startup+3.1054 s]
/proc/loadavg: 1.97 2.32 3.11 6/336 28570
/proc/meminfo: memFree=128739216/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=18996948 memory=131896 CPUtime=4.38 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 21184 0 0 0 433 5 0 0 20 0 19 0 37604457 19452874752 32974 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4749237 32974 5504 1 0 552999 0
[pid=28493/tid=28511] ppid=28486 vsize=18996948 memory=10752 CPUtime=3.01 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 6058 0 0 0 298 3 0 0 20 0 19 0 37604459 19452874752 32974 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=18996948 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37604461 19452874752 32974 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 37604462 19452874752 32974 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37604477 19452874752 32974 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 131896 KiB

[startup+6.30018 s]
/proc/loadavg: 2.14 2.35 3.11 5/337 28571
/proc/meminfo: memFree=128591756/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=173564 CPUtime=7.58 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 22901 0 0 0 751 7 0 0 20 0 20 0 37604457 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 43391 5504 1 0 553288 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=0 CPUtime=6.19 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 6355 0 0 0 615 4 0 0 20 0 20 0 37604459 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=109108 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173564 KiB

[startup+12.7002 s]
/proc/loadavg: 2.28 2.38 3.12 5/340 28574
/proc/meminfo: memFree=128538304/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=173564 CPUtime=13.97 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 24400 0 0 0 1390 7 0 0 20 0 20 0 37604457 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 43391 5504 1 0 553288 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=109108 CPUtime=12.57 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 7118 0 0 0 1253 4 0 0 20 0 20 0 37604459 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=173564 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 43391 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 13.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173564 KiB

[startup+25.5002 s]
/proc/loadavg: 2.63 2.45 3.13 5/340 28574
/proc/meminfo: memFree=128438720/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=204640 CPUtime=26.78 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 27223 0 0 0 2670 8 0 0 20 0 20 0 37604457 19521036288 51160 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 51160 5504 1 0 553288 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=173564 CPUtime=25.3 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 7691 0 0 0 2526 4 0 0 20 0 20 0 37604459 19521036288 51160 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=17408 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 51160 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 51160 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 51160 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 26.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 204640 KiB

[startup+51.1055 s]
/proc/loadavg: 3.17 2.60 3.16 5/340 28574
/proc/meminfo: memFree=128159676/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=274428 CPUtime=52.41 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 28157 0 0 0 5231 10 0 0 20 0 20 0 37604457 19521036288 68607 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 68607 5504 1 0 553288 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=239544 CPUtime=50.77 cores=1,3

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

/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 445 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1482.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914156 KiB

[startup+1542.3 s]
/proc/loadavg: 4.15 4.17 4.00 5/339 28790
/proc/meminfo: memFree=122604172/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1542.34 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 54967 0 0 0 154168 66 0 0 20 0 20 0 37604457 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 478539 5504 1 0 555590 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=1909936 CPUtime=1537.06 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 19062 0 0 0 153696 10 0 0 20 0 20 0 37604459 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=1914156 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 445 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=1914156 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1542.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914156 KiB

[startup+1602.3 s]
/proc/loadavg: 4.52 4.26 4.04 5/339 28792
/proc/meminfo: memFree=122540088/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1602.21 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 55490 0 0 0 160153 68 0 0 20 0 20 0 37604457 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 478539 5504 1 0 555590 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1596.91 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 19555 0 0 0 159681 10 0 0 20 0 20 0 37604459 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914156 KiB

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

# cumulated CPU time of all completed processes:  user=1621.53 s, system=0.702489 s

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

[startup+1612.8 s]
/proc/loadavg: 4.68 4.30 4.06 5/338 28793
/proc/meminfo: memFree=122539708/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1612.7 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 56812 0 0 0 161202 68 0 0 20 0 20 0 37604457 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 478539 5504 1 0 555601 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1607.38 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 19659 0 0 0 160728 10 0 0 20 0 20 0 37604459 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=1914156 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1612.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914156 KiB

[startup+1616 s]*
/proc/loadavg: 4.68 4.30 4.06 5/338 28793
/proc/meminfo: memFree=122540212/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1914156 CPUtime=1615.9 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 57302 0 0 0 161522 68 0 0 20 0 20 0 37604457 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 478539 5504 1 0 555611 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=-6000919468428190829 CPUtime=1610.57 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 20028 0 0 0 161047 10 0 0 20 0 20 0 37604459 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=4715722475869728410 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478539 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1615.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914156 KiB

[startup+1619.2 s]
/proc/loadavg: 4.78 4.33 4.07 5/338 28793
/proc/meminfo: memFree=122540212/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1914540 CPUtime=1619.17 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 59270 0 0 0 161849 68 0 0 20 0 20 0 37604457 19521036288 478635 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 478635 5504 1 0 555675 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=3328 CPUtime=1613.76 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 20092 0 0 0 161366 10 0 0 20 0 20 0 37604459 19521036288 478635 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=1914156 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 478635 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=1914156 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 478635 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=12544 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 478635 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1619.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1914540 KiB

[startup+1620.8 s]
/proc/loadavg: 4.78 4.33 4.07 5/338 28793
/proc/meminfo: memFree=122539456/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1917228 CPUtime=1621.08 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 60387 0 0 0 162039 69 0 0 20 0 20 0 37604457 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 479307 5504 1 0 555675 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=10752 CPUtime=1615.36 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 20121 0 0 0 161526 10 0 0 20 0 20 0 37604459 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=1914540 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=-6000919481246180461 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1621.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1917228 KiB

[startup+1621.6 s]
/proc/loadavg: 4.78 4.33 4.07 5/338 28793
/proc/meminfo: memFree=122539708/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19063512 memory=1917228 CPUtime=1621.88 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 60387 0 0 0 162119 69 0 0 20 0 20 0 37604457 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4765878 479307 5504 1 0 555675 0
[pid=28493/tid=28511] ppid=28486 vsize=19063512 memory=17408 CPUtime=1616.15 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) R 28486 28493 28429 0 -1 4194368 20121 0 0 0 161605 10 0 0 20 0 20 0 37604459 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28569] ppid=28486 vsize=19063512 memory=4380 CPUtime=0 cores=1,3
/proc/28493/task/28569/stat : 28569 (Timer-0) S 28486 28493 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37604477 19521036288 479307 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1621.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1917228 KiB

[startup+1621.8 s]
/proc/loadavg: 4.78 4.33 4.07 5/338 28793
/proc/meminfo: memFree=122539708/131249996 swapFree=33010684/33010684
[pid=28493] ppid=28486 vsize=19196640 memory=1917740 CPUtime=1622.09 cores=1,3
/proc/28493/stat : 28493 (java) S 28486 28493 28429 0 -1 4194304 61249 0 0 0 162140 69 0 0 20 0 20 0 37604457 19657359360 479435 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
/proc/28493/statm: 4799160 479435 5536 1 0 556277 0
[pid=28493/tid=28511] ppid=28486 vsize=19196640 memory=1792 CPUtime=1616.35 cores=1,3
/proc/28493/task/28511/stat : 28511 (java) S 28486 28493 28429 0 -1 4194368 20741 0 0 0 161625 10 0 0 20 0 20 0 37604459 19657359360 479435 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28550] ppid=28486 vsize=19196640 memory=1920 CPUtime=0 cores=1,3
/proc/28493/task/28550/stat : 28550 (Finalizer) S 28486 28493 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37604461 19657359360 479435 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
[pid=28493/tid=28565] ppid=28486 vsize=19196640 memory=5632 CPUtime=0 cores=1,3
/proc/28493/task/28565/stat : 28565 (Common-Cleaner) S 28486 28493 28429 0 -1 4194368 453 0 0 0 0 0 0 0 20 0 20 0 37604462 19657359360 479435 18446744073709551615 94085819768832 94085819772528 140728215697600 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94085819780344 94085819781136 94085847597056 140728215705985 140728215706086 140728215706086 140728215711688 0
Current children cumulated CPU time: 1622.09 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1917740 KiB

Child status: 20

Real time (s): 1621.9
CPU time (s): 1622.23
CPU user time (s): 1621.53
CPU system time (s): 0.702489
CPU usage (%): 100.02
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1917740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1621.53
system time used= 0.702489
maximum resident set size= 1918124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48628
involuntary context switches= 2035


# summary of solver processes directly reported to runsolver:
#   pid: 28493
#   total CPU time (s): 1622.23
#   total CPU user time (s): 1621.53
#   total CPU system time (s): 0.702489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32705 second user time and 7.52962 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 19:47:47
IDJOB=4513410
IDBENCH=162341
IDSOLVER=3363
FILE ID=nodeC022/4513410-1751219267
RUNJOBID= nodeC022-1751219267-28441
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-ECgrid5x120split.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513410-1751219267/watcher-4513410-1751219267 -o /tmp/evaluation-result-4513410-1751219267/solver-4513410-1751219267 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28441 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513410-1751219267.opb

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

MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
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.741
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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		: 3599.766
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.717
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		: 3599.221
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.680
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		: 3599.712
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.821
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		: 3600.193
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:        129116392 kB
MemAvailable:   129771024 kB
Buffers:            3280 kB
Cached:          1459228 kB
SwapCached:            0 kB
Active:           316100 kB
Inactive:        1210888 kB
Active(anon):      82540 kB
Inactive(anon):        0 kB
Active(file):     233560 kB
Inactive(file):  1210888 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2924 kB
Writeback:             0 kB
AnonPages:         67560 kB
Mapped:           102244 kB
Shmem:             18060 kB
KReclaimable:      98444 kB
Slab:             184960 kB
SReclaimable:      98444 kB
SUnreclaim:        86516 kB
KernelStack:        4108 kB
PageTables:         2680 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 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:14:49