Trace number 4511380

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 948.08 947.15

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
MD5SUM8085e67efea758974236eb172d264588
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 benchmark5.11999
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1001
Total number of constraints501
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)501
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.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.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-4511380-1751200379.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.18	c ... done. Wall clock time 0.048s.
0.12/0.18	c declared #vars     1001
0.12/0.18	c #constraints  1002
0.12/0.18	c constraints type 
0.12/0.18	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.12/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1000
0.12/0.18	c 1002 constraints processed.
0.51/0.41	c cleaning 2487 clauses out of 5000 with flag 19518/5000
1.07/0.65	c cleaning 4235 clauses out of 8514 with flag 45403/11001
1.46/0.83	c cleaning 5612 clauses out of 11279 with flag 78427/18001
1.65/0.94	c cleaning 6796 clauses out of 13666 with flag 117664/26000
1.85/1.05	c cleaning 7919 clauses out of 15870 with flag 163369/35000
2.05/1.19	c cleaning 8943 clauses out of 17951 with flag 220263/45000
2.42/1.35	c cleaning 9960 clauses out of 20009 with flag 283188/56001
2.69/1.53	c cleaning 10957 clauses out of 22050 with flag 350566/68002
2.89/1.72	c cleaning 11997 clauses out of 24092 with flag 421684/81001
3.10/1.93	c cleaning 13016 clauses out of 26096 with flag 499170/95002
3.30/2.18	c cleaning 14023 clauses out of 28078 with flag 589157/110000
3.60/2.42	c cleaning 14973 clauses out of 30056 with flag 675371/126001
3.82/2.68	c cleaning 15984 clauses out of 32084 with flag 770381/143002
4.19/3.00	c cleaning 17027 clauses out of 34099 with flag 875559/161001
4.59/3.32	c cleaning 18010 clauses out of 36071 with flag 983980/180000
4.89/3.66	c cleaning 19028 clauses out of 38061 with flag 1101100/200000
5.30/4.04	c cleaning 19966 clauses out of 40033 with flag 1220797/221000
5.70/4.41	c cleaning 21005 clauses out of 42067 with flag 1342802/243000
6.10/4.82	c cleaning 21980 clauses out of 44062 with flag 1466653/266000
6.50/5.27	c cleaning 22978 clauses out of 46083 with flag 1598878/290001
7.00/5.72	c cleaning 23998 clauses out of 48104 with flag 1736759/315000
7.50/6.26	c cleaning 25022 clauses out of 50108 with flag 1885535/341002
8.10/6.83	c cleaning 26000 clauses out of 52086 with flag 2046352/368002
8.70/7.46	c cleaning 27008 clauses out of 54084 with flag 2209197/396000
9.40/8.12	c cleaning 28004 clauses out of 56076 with flag 2365480/425000
10.00/8.75	c cleaning 29001 clauses out of 58072 with flag 2526486/455000
10.69/9.44	c cleaning 30003 clauses out of 60071 with flag 2690283/486000
11.40/10.11	c cleaning 31011 clauses out of 62069 with flag 2862764/518001
12.10/10.89	c cleaning 31985 clauses out of 64058 with flag 3041821/551001
12.89/11.68	c cleaning 32986 clauses out of 66072 with flag 3228429/585000
13.79/12.52	c cleaning 33985 clauses out of 68087 with flag 3411288/620001
14.59/13.35	c cleaning 35000 clauses out of 70102 with flag 3600701/656001
15.49/14.26	c cleaning 36031 clauses out of 72102 with flag 3800569/693001
16.48/15.21	c cleaning 36994 clauses out of 74071 with flag 3997137/731001
17.39/16.14	c cleaning 38011 clauses out of 76077 with flag 4188811/770001
18.39/17.19	c cleaning 38998 clauses out of 78066 with flag 4397667/810001
19.58/18.34	c cleaning 39990 clauses out of 80068 with flag 4610243/851001
20.78/19.59	c cleaning 40999 clauses out of 82077 with flag 4832094/893000
22.08/20.83	c cleaning 42001 clauses out of 84079 with flag 5050974/936001
23.28/22.05	c cleaning 43000 clauses out of 86078 with flag 5276695/980001
24.57/23.36	c cleaning 43991 clauses out of 88077 with flag 5499390/1025000
25.87/24.68	c cleaning 45030 clauses out of 90087 with flag 5723218/1071001
27.27/26.06	c cleaning 45995 clauses out of 92056 with flag 5952291/1118000
28.76/27.52	c cleaning 46994 clauses out of 94061 with flag 6195740/1166000
30.16/29.00	c cleaning 47995 clauses out of 96067 with flag 6446369/1215000
31.77/30.56	c cleaning 48993 clauses out of 98072 with flag 6690943/1265000
33.37/32.12	c cleaning 50031 clauses out of 100079 with flag 6934360/1316000
34.96/33.79	c cleaning 50987 clauses out of 102049 with flag 7185638/1368001
36.76/35.58	c cleaning 51977 clauses out of 104061 with flag 7442583/1421000
38.56/37.30	c cleaning 53000 clauses out of 106084 with flag 7693101/1475000
40.26/39.06	c cleaning 54004 clauses out of 108085 with flag 7958896/1530001
42.05/40.88	c cleaning 54999 clauses out of 110080 with flag 8229941/1586000
44.09/42.87	c cleaning 55996 clauses out of 112081 with flag 8503153/1643000
46.08/44.84	c cleaning 57024 clauses out of 114086 with flag 8777339/1701001
48.08/46.88	c cleaning 58000 clauses out of 116062 with flag 9054065/1760001
50.28/49.03	c cleaning 58991 clauses out of 118061 with flag 9337828/1820000
52.57/51.32	c cleaning 60008 clauses out of 120070 with flag 9616233/1881000
54.76/53.50	c cleaning 61012 clauses out of 122063 with flag 9905887/1943001
57.06/55.81	c cleaning 62015 clauses out of 124051 with flag 10195738/2006001
59.49/58.27	c cleaning 62986 clauses out of 126035 with flag 10490522/2070000
62.08/60.82	c cleaning 63999 clauses out of 128050 with flag 10796639/2135001
64.47/63.29	c cleaning 64987 clauses out of 130050 with flag 11096549/2201000
67.06/65.81	c cleaning 65997 clauses out of 132063 with flag 11395149/2268000
69.66/68.43	c cleaning 67004 clauses out of 134067 with flag 11705957/2336001
72.15/70.99	c cleaning 67993 clauses out of 136063 with flag 12017189/2405001
75.08/73.84	c cleaning 69021 clauses out of 138070 with flag 12337546/2475001
77.87/76.68	c cleaning 69984 clauses out of 140049 with flag 12668297/2546001
80.76/79.55	c cleaning 70997 clauses out of 142064 with flag 12985577/2618000
83.76/82.59	c cleaning 72021 clauses out of 144068 with flag 13315266/2691001
86.75/85.55	c cleaning 73003 clauses out of 146047 with flag 13655018/2765001
89.94/88.72	c cleaning 73975 clauses out of 148043 with flag 13998952/2840000
93.46/92.21	c cleaning 75014 clauses out of 150069 with flag 14350651/2916001
96.75/95.50	c cleaning 75997 clauses out of 152054 with flag 14693844/2993000
99.95/98.75	c cleaning 77021 clauses out of 154058 with flag 15035562/3071001
103.53/102.34	c cleaning 77991 clauses out of 156038 with flag 15394992/3150002
107.12/105.90	c cleaning 78985 clauses out of 158045 with flag 15752799/3230000
110.45/109.24	c cleaning 80004 clauses out of 160060 with flag 16111976/3311000
114.04/112.84	c cleaning 81010 clauses out of 162058 with flag 16463007/3393002
117.83/116.65	c cleaning 81997 clauses out of 164047 with flag 16821745/3476001
121.52/120.33	c cleaning 83004 clauses out of 166049 with flag 17179347/3560000
125.51/124.36	c cleaning 83996 clauses out of 168047 with flag 17554962/3645002
129.54/128.35	c cleaning 84999 clauses out of 170049 with flag 17919612/3731000
133.33/132.15	c cleaning 86011 clauses out of 172051 with flag 18287367/3818001
137.22/136.09	c cleaning 86999 clauses out of 174040 with flag 18657443/3906001
141.01/139.86	c cleaning 87989 clauses out of 176041 with flag 19034914/3995001
145.34/144.18	c cleaning 89010 clauses out of 178051 with flag 19416407/4085000
149.52/148.38	c cleaning 89999 clauses out of 180042 with flag 19814594/4176001
154.12/152.95	c cleaning 91004 clauses out of 182042 with flag 20200686/4268000
158.61/157.43	c cleaning 91992 clauses out of 184038 with flag 20590369/4361000
163.10/161.95	c cleaning 92984 clauses out of 186046 with flag 20982583/4455000
167.71/166.51	c cleaning 94015 clauses out of 188062 with flag 21374034/4550000
172.50/171.36	c cleaning 95007 clauses out of 190047 with flag 21772194/4646000
176.99/175.87	c cleaning 96002 clauses out of 192041 with flag 22164544/4743001
181.77/180.67	c cleaning 96995 clauses out of 194038 with flag 22559092/4841000
186.37/185.28	c cleaning 98004 clauses out of 196043 with flag 22957762/4940000
191.19/190.06	c cleaning 99004 clauses out of 198039 with flag 23367126/5040000
196.17/195.10	c cleaning 99987 clauses out of 200035 with flag 23781729/5141000
201.26/200.11	c cleaning 100998 clauses out of 202048 with flag 24194505/5243000
206.64/205.51	c cleaning 101999 clauses out of 204050 with flag 24622695/5346000
212.04/210.94	c cleaning 103011 clauses out of 206051 with flag 25049751/5450000
217.42/216.38	c cleaning 103984 clauses out of 208040 with flag 25477574/5555000
223.06/221.91	c cleaning 104997 clauses out of 210056 with flag 25902121/5661000
228.25/227.10	c cleaning 106008 clauses out of 212059 with flag 26319882/5768000
233.74/232.67	c cleaning 107008 clauses out of 214051 with flag 26744201/5876000
239.02/237.96	c cleaning 108007 clauses out of 216043 with flag 27170807/5985000
244.51/243.43	c cleaning 108998 clauses out of 218036 with flag 27590905/6095000
249.70/248.66	c cleaning 110005 clauses out of 220041 with flag 28013339/6206003
255.42/254.33	c cleaning 111005 clauses out of 222035 with flag 28444662/6318002
261.21/260.11	c cleaning 111995 clauses out of 224030 with flag 28898144/6431002
267.19/266.19	c cleaning 113000 clauses out of 226033 with flag 29348666/6545000
273.08/272.07	c cleaning 114000 clauses out of 228034 with flag 29798035/6660001
279.16/278.18	c cleaning 115001 clauses out of 230034 with flag 30255508/6776001
285.24/284.23	c cleaning 116001 clauses out of 232033 with flag 30700289/6893001
291.18/290.11	c cleaning 117006 clauses out of 234031 with flag 31145100/7011000
297.26/296.29	c cleaning 118008 clauses out of 236025 with flag 31597024/7130000
303.35/302.36	c cleaning 118987 clauses out of 238017 with flag 32050365/7250000
309.63/308.63	c cleaning 119984 clauses out of 240030 with flag 32504736/7371000
315.72/314.75	c cleaning 121002 clauses out of 242047 with flag 32957246/7493001
322.20/321.24	c cleaning 121999 clauses out of 244045 with flag 33416778/7616001
328.54/327.53	c cleaning 123009 clauses out of 246046 with flag 33872411/7740001
334.72/333.73	c cleaning 123998 clauses out of 248036 with flag 34326700/7865000
341.01/340.01	c cleaning 125013 clauses out of 250039 with flag 34778582/7991001
347.49/346.55	c cleaning 125998 clauses out of 252025 with flag 35237697/8118000
353.77/352.88	c cleaning 126999 clauses out of 254029 with flag 35692877/8246002
359.86/358.98	c cleaning 128003 clauses out of 256029 with flag 36149882/8375001
366.06/365.14	c cleaning 129000 clauses out of 258025 with flag 36613339/8505000
372.43/371.56	c cleaning 129991 clauses out of 260027 with flag 37074052/8636002
378.97/378.02	c cleaning 131002 clauses out of 262036 with flag 37532536/8768002
385.25/384.35	c cleaning 132004 clauses out of 264032 with flag 38001809/8901000
391.44/390.58	c cleaning 133003 clauses out of 266028 with flag 38480675/9035000
397.82/396.97	c cleaning 134001 clauses out of 268026 with flag 38952964/9170001
404.11/403.24	c cleaning 135007 clauses out of 270024 with flag 39425783/9306000
410.79/409.97	c cleaning 135997 clauses out of 272018 with flag 39909533/9443001
417.38/416.55	c cleaning 136993 clauses out of 274020 with flag 40403679/9581000
424.26/423.42	c cleaning 137998 clauses out of 276027 with flag 40896311/9720000
430.85/430.07	c cleaning 139004 clauses out of 278030 with flag 41399381/9860001
437.83/437.03	c cleaning 140008 clauses out of 280026 with flag 41911858/10001001
444.99/444.16	c cleaning 141001 clauses out of 282017 with flag 42422994/10143000
451.97/451.13	c cleaning 141996 clauses out of 284016 with flag 42930552/10286000
459.05/458.23	c cleaning 143004 clauses out of 286020 with flag 43463101/10430000
466.33/465.50	c cleaning 143992 clauses out of 288016 with flag 43989543/10575000
473.61/472.89	c cleaning 144991 clauses out of 290024 with flag 44520669/10721000
480.91/480.18	c cleaning 146001 clauses out of 292034 with flag 45048691/10868001
488.58/487.88	c cleaning 147001 clauses out of 294033 with flag 45589694/11016001
496.56/495.84	c cleaning 148007 clauses out of 296031 with flag 46140774/11165000
504.34/503.60	c cleaning 148999 clauses out of 298025 with flag 46695797/11315001
511.83/511.10	c cleaning 150006 clauses out of 300026 with flag 47244072/11466001
520.06/519.31	c cleaning 150998 clauses out of 302019 with flag 47796904/11618000
528.15/527.47	c cleaning 152000 clauses out of 304022 with flag 48355947/11771001
536.63/535.96	c cleaning 152994 clauses out of 306022 with flag 48929362/11925001
545.41/544.77	c cleaning 153999 clauses out of 308028 with flag 49506355/12080001
554.38/553.71	c cleaning 155005 clauses out of 310028 with flag 50078029/12236000
563.77/563.12	c cleaning 155991 clauses out of 312023 with flag 50670975/12393000
573.14/572.55	c cleaning 157003 clauses out of 314032 with flag 51266114/12551000
582.82/582.28	c cleaning 158001 clauses out of 316029 with flag 51855309/12710000
593.10/592.57	c cleaning 159007 clauses out of 318028 with flag 52467341/12870000
603.07/602.56	c cleaning 159999 clauses out of 320021 with flag 53075022/13031000
613.85/613.20	c cleaning 160994 clauses out of 322022 with flag 53705203/13193000
624.63/624.01	c cleaning 161998 clauses out of 324028 with flag 54340474/13356000
635.39/634.87	c cleaning 162999 clauses out of 326030 with flag 54979798/13520000
647.37/646.84	c cleaning 164001 clauses out of 328032 with flag 55639735/13685001
659.44/658.90	c cleaning 165005 clauses out of 330030 with flag 56298247/13851000
671.41/670.90	c cleaning 166003 clauses out of 332025 with flag 56963015/14018000
683.68/683.28	c cleaning 167007 clauses out of 334023 with flag 57638486/14186001
697.35/696.97	c cleaning 167998 clauses out of 336016 with flag 58323899/14355001
710.72/710.37	c cleaning 168991 clauses out of 338017 with flag 59013024/14525000
723.59/723.25	c cleaning 169996 clauses out of 340026 with flag 59696243/14696000
736.86/736.53	c cleaning 171008 clauses out of 342031 with flag 60381303/14868001
749.67/749.25	c cleaning 171996 clauses out of 344022 with flag 61054636/15041000
761.04/760.68	c cleaning 173004 clauses out of 346026 with flag 61722603/15215000
772.42/772.08	c cleaning 174000 clauses out of 348022 with flag 62393509/15390000
785.09/784.70	c cleaning 175001 clauses out of 350023 with flag 63069098/15566001
797.76/797.47	c cleaning 176000 clauses out of 352022 with flag 63757153/15743001
810.02/809.73	c cleaning 176998 clauses out of 354021 with flag 64438866/15921000
823.90/823.62	c cleaning 177996 clauses out of 356023 with flag 65133649/16100000
837.47/837.27	c cleaning 179004 clauses out of 358027 with flag 65836902/16280000
851.14/850.92	c cleaning 180004 clauses out of 360024 with flag 66556467/16461001
865.46/865.12	c cleaning 181000 clauses out of 362019 with flag 67290157/16643000
881.52/881.24	c cleaning 181999 clauses out of 364019 with flag 68063649/16826000
898.98/898.77	c cleaning 183003 clauses out of 366021 with flag 68842511/17010001
917.93/917.70	c cleaning 184004 clauses out of 368018 with flag 69646836/17195001
937.56/937.07	c cleaning 185003 clauses out of 370013 with flag 70480315/17381000
947.86/947.06	c starts		: 18636
947.86/947.06	c conflicts		: 17506891
947.86/947.06	c decisions		: 24619047
947.86/947.06	c propagations		: 144659910
947.86/947.06	c inspects		: 16704048630
947.86/947.06	c shortcuts		: 0
947.86/947.06	c learnt literals	: 11
947.86/947.06	c learnt binary clauses	: 79
947.86/947.06	c learnt ternary clauses	: 333
947.86/947.06	c learnt constraints	: 17506879
947.86/947.06	c ignored constraints	: 0
947.86/947.06	c root simplifications	: 0
947.86/947.06	c removed literals (reason simplification)	: 14955662
947.86/947.06	c reason swapping (by a shorter reason)	: 0
947.86/947.06	c Calls to reduceDB	: 182
947.86/947.06	c Number of update (reduction) of LBD	: 3861958
947.86/947.06	c Imported unit clauses	: 0
947.86/947.06	c No decision after first conflict	: false
947.86/947.06	c number of reductions to clauses (during analyze)	: 0
947.86/947.06	c number of learned constraints concerned by reduction	: 0
947.86/947.06	c number of learning phase by resolution	: 0
947.86/947.06	c number of learning phase by cutting planes	: 0
947.86/947.06	c number of rounding to 1 operations	: 0
947.86/947.06	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
947.86/947.06	c number of reductions of the coefficients by power 2 	: 0
947.86/947.06	c number of right shift for reduction by power 2 	: 0
947.86/947.06	c number of reductions of the coefficients by GCD over coefficients 	: 0
947.86/947.06	c number of ending skipping 	: 0
947.86/947.06	c number of internal skipping 	: 0
947.86/947.06	c number of derivation steps 	: 0
947.86/947.06	c number of skipped derivation steps 	: 0
947.86/947.06	c number of remaining unassigned 	: 0
947.86/947.06	c number of remaining assigned 	: 0
947.86/947.07	c number of falsified literals weakened from reason	: 0
947.86/947.07	c number of falsified literals weakened from conflict	: 0
947.86/947.07	c time for arithmetic operations	: 0
947.86/947.07	c minimum degree of deleted constraints	: null
947.86/947.07	c maximum degree of deleted constraints	: null
947.86/947.07	c number of deleted constraints	: 0
947.86/947.07	c speed (assignments/second)	: 152774.85180323228
947.86/947.07	c non guided choices	: 1229101
948.01/947.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 310810
948.01/947.13	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 79
948.01/947.14	s UNSATISFIABLE
948.01/947.14	c Total wall clock time (in seconds): 947.008

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511380-1751200379/watcher-4511380-1751200379 -o /tmp/evaluation-result-4511380-1751200379/solver-4511380-1751200379 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27852 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4511380-1751200379.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=31194, runsolver pid=31191
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 3.94 4.05 4.08 5/340 31212
/proc/meminfo: memFree=128297724/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18930384 memory=57744 CPUtime=0.12 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 6571 0 0 0 10 2 0 0 20 0 18 0 35715813 19384713216 14436 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4732596 14436 5352 1 0 547619 0
[pid=31194/tid=31196] ppid=31191 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 5071 0 0 0 6 1 0 0 20 0 18 0 35715814 19384713216 14436 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18930384 memory=237112656212 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35715816 19384713216 14436 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18930384 memory=58485492706614 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 35715816 19384713216 14436 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57744 KiB

[startup+0.205733 s]*
/proc/loadavg: 3.94 4.05 4.08 7/341 31213
/proc/meminfo: memFree=128295708/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=70340 CPUtime=0.31 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 7074 0 0 0 28 3 0 0 20 0 19 0 35715813 19452874752 17585 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 17585 5448 1 0 548216 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 5315 0 0 0 15 2 0 0 20 0 19 0 35715814 19452874752 17585 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=18949 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 17585 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=57385981051877 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 17585 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 17585 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 70340 KiB

[startup+0.30575 s]*
/proc/loadavg: 3.94 4.05 4.08 6/341 31213
/proc/meminfo: memFree=128285628/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=80568 CPUtime=0.51 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 11522 0 0 0 47 4 0 0 20 0 19 0 35715813 19452874752 20142 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 20142 5448 1 0 550366 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=-6000919502704438124 CPUtime=0.26 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 5321 0 0 0 24 2 0 0 20 0 19 0 35715814 19452874752 20142 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 20142 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 20142 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 20142 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80568 KiB

[startup+0.700235 s]
/proc/loadavg: 3.94 4.05 4.08 6/341 31213
/proc/meminfo: memFree=128281848/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=93196 CPUtime=1.26 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 14817 0 0 0 122 4 0 0 20 0 19 0 35715813 19452874752 23299 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 23299 5448 1 0 552794 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=17536 CPUtime=0.63 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 5413 0 0 0 61 2 0 0 20 0 19 0 35715814 19452874752 23299 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 23299 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 23299 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 23299 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93196 KiB

[startup+1.50026 s]
/proc/loadavg: 3.94 4.05 4.08 6/341 31213
/proc/meminfo: memFree=128262820/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=106016 CPUtime=2.69 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 18945 0 0 0 264 5 0 0 20 0 19 0 35715813 19452874752 26504 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 26504 5448 1 0 552797 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=0 CPUtime=1.42 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 5720 0 0 0 140 2 0 0 20 0 19 0 35715814 19452874752 26504 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 26504 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 26504 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=4756 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 26504 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106016 KiB

[startup+3.10545 s]
/proc/loadavg: 3.94 4.05 4.08 6/341 31213
/proc/meminfo: memFree=128238244/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=126624 CPUtime=4.39 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 19809 0 0 0 434 5 0 0 20 0 19 0 35715813 19452874752 31656 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 31656 5448 1 0 552799 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=10752 CPUtime=3.02 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 6056 0 0 0 300 2 0 0 20 0 19 0 35715814 19452874752 31656 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=-6000919502704438124 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 31656 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 31656 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 31656 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 126624 KiB

[startup+6.30019 s]
/proc/loadavg: 3.94 4.05 4.08 5/341 31213
/proc/meminfo: memFree=128205500/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=18996948 memory=157104 CPUtime=7.6 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 20250 0 0 0 754 6 0 0 20 0 19 0 35715813 19452874752 39276 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4749237 39276 5480 1 0 552799 0
[pid=31194/tid=31196] ppid=31191 vsize=18996948 memory=0 CPUtime=6.21 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 6355 0 0 0 618 3 0 0 20 0 19 0 35715814 19452874752 39276 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 39276 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 35715816 19452874752 39276 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=18996948 memory=106016 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35715832 19452874752 39276 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 7.6 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 157104 KiB

[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 5/342 31214
/proc/meminfo: memFree=128193792/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=176016 CPUtime=13.99 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 22972 0 0 0 1393 6 0 0 20 0 20 0 35715813 19521036288 44004 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 44004 5512 1 0 553088 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=106016 CPUtime=12.58 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 7105 0 0 0 1255 3 0 0 20 0 20 0 35715814 19521036288 44004 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=176016 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 44004 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 44004 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 44004 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176016 KiB

[startup+25.5002 s]
/proc/loadavg: 3.96 4.05 4.08 5/342 31216
/proc/meminfo: memFree=128144656/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=184296 CPUtime=26.76 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 24796 0 0 0 2669 7 0 0 20 0 20 0 35715813 19521036288 46074 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 46074 5512 1 0 553088 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=176016 CPUtime=25.33 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 7636 0 0 0 2530 3 0 0 20 0 20 0 35715814 19521036288 46074 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 46074 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=-6000919502704438124 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 56 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 46074 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 46074 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 26.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184296 KiB

[startup+51.1056 s]
/proc/loadavg: 4.05 4.06 4.08 5/341 31281
/proc/meminfo: memFree=128329156/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=244008 CPUtime=52.37 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 26166 0 0 0 5228 9 0 0 20 0 20 0 35715813 19521036288 61002 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 61002 5512 1 0 553088 0

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

/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 321643 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=1286572 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 321643 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 822.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1286572 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.22 4.17 5/340 32107
/proc/meminfo: memFree=109707548/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1438128 CPUtime=882.61 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 35909 0 0 0 88207 54 0 0 20 0 20 0 35715813 19521036288 359532 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 359532 5512 1 0 553104 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=0 CPUtime=878.67 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 11724 0 0 0 87856 11 0 0 20 0 20 0 35715814 19521036288 359532 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=1286572 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359532 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=1438128 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359532 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=1438128 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 359532 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 882.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1438128 KiB

[startup+942.3 s]
/proc/loadavg: 4.25 4.24 4.18 5/340 32109
/proc/meminfo: memFree=109683396/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1438896 CPUtime=942.86 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 44609 0 0 0 94230 56 0 0 20 0 20 0 35715813 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 359724 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=1438128 CPUtime=938.51 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13105 0 0 0 93839 12 0 0 20 0 20 0 35715814 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=1438128 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 942.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1438896 KiB

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

# cumulated CPU time of all completed processes:  user=947.498 s, system=0.581841 s

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

[startup+944 s]*
/proc/loadavg: 4.23 4.23 4.18 5/340 32109
/proc/meminfo: memFree=109683404/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1438896 CPUtime=944.62 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 46374 0 0 0 94405 57 0 0 20 0 20 0 35715813 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 359724 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=9088 CPUtime=940.21 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13151 0 0 0 94009 12 0 0 20 0 20 0 35715814 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=9344 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=26648 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 359724 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 944.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1438896 KiB

[startup+945.6 s]
/proc/loadavg: 4.23 4.23 4.18 6/340 32109
/proc/meminfo: memFree=109425356/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1440688 CPUtime=946.43 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 48769 0 0 0 94586 57 0 0 20 0 20 0 35715813 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 360172 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=17536 CPUtime=941.8 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13711 0 0 0 94168 12 0 0 20 0 20 0 35715814 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 946.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1440688 KiB

[startup+946.4 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 32109
/proc/meminfo: memFree=109425356/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1440688 CPUtime=947.23 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 48772 0 0 0 94666 57 0 0 20 0 20 0 35715813 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 360172 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=17536 CPUtime=942.6 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13714 0 0 0 94248 12 0 0 20 0 20 0 35715814 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=1440688 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=6636 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=6784 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 947.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1440688 KiB

[startup+946.8 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 32109
/proc/meminfo: memFree=109425356/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1440688 CPUtime=947.63 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 48773 0 0 0 94706 57 0 0 20 0 20 0 35715813 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 360172 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=211292520752 CPUtime=943 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13714 0 0 0 94288 12 0 0 20 0 20 0 35715814 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=53013654012657 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=120922 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=14848 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 947.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1440688 KiB

[startup+947 s]*
/proc/loadavg: 4.23 4.23 4.18 5/340 32109
/proc/meminfo: memFree=109425356/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19063512 memory=1440688 CPUtime=947.86 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 48795 0 0 0 94729 57 0 0 20 0 20 0 35715813 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4765878 360172 5512 1 0 554285 0
[pid=31194/tid=31196] ppid=31191 vsize=19063512 memory=-6000919498476644972 CPUtime=943.2 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) R 31191 31194 27841 0 -1 4194368 13716 0 0 0 94308 12 0 0 20 0 20 0 35715814 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31213] ppid=31191 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31194/task/31213/stat : 31213 (Timer-0) S 31191 31194 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35715832 19521036288 360172 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 947.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1440688 KiB

[startup+947.106 s]
/proc/loadavg: 4.23 4.23 4.18 5/340 32109
/proc/meminfo: memFree=109425356/131249996 swapFree=33010684/33010684
[pid=31194] ppid=31191 vsize=19196640 memory=1441200 CPUtime=948.01 cores=4,6
/proc/31194/stat : 31194 (java) S 31191 31194 27841 0 -1 4194304 50369 0 0 0 94744 57 0 0 20 0 20 0 35715813 19657359360 360300 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
/proc/31194/statm: 4799160 360300 5512 1 0 554903 0
[pid=31194/tid=31196] ppid=31191 vsize=19196640 memory=1438128 CPUtime=943.25 cores=4,6
/proc/31194/task/31196/stat : 31196 (java) S 31191 31194 27841 0 -1 4194368 14711 0 0 0 94313 12 0 0 20 0 20 0 35715814 19657359360 360300 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31205] ppid=31191 vsize=19196640 memory=1438896 CPUtime=0 cores=4,6
/proc/31194/task/31205/stat : 31205 (Finalizer) S 31191 31194 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35715816 19657359360 360300 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
[pid=31194/tid=31212] ppid=31191 vsize=19196640 memory=1438128 CPUtime=0 cores=4,6
/proc/31194/task/31212/stat : 31212 (Common-Cleaner) S 31191 31194 27841 0 -1 4194368 344 0 0 0 0 0 0 0 20 0 20 0 35715816 19657359360 360300 18446744073709551615 94113432485888 94113432489584 140727386879904 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94113432497400 94113432498192 94113465716736 140727386884481 140727386884582 140727386884582 140727386890184 0
Current children cumulated CPU time: 948.01 s
Current children cumulated vsize: 19196640 KiB
Current children cumulated memory: 1441200 KiB

Child status: 20

Real time (s): 947.15
CPU time (s): 948.08
CPU user time (s): 947.498
CPU system time (s): 0.581841
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 19196640
Max. memory (cumulated for all children) (KiB): 1447396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 947.498
system time used= 0.581841
maximum resident set size= 1448144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29232
involuntary context switches= 1141


# summary of solver processes directly reported to runsolver:
#   pid: 31194
#   total CPU time (s): 948.08
#   total CPU user time (s): 947.498
#   total CPU system time (s): 0.581841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9488 second user time and 4.42683 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:32:59
IDJOB=4511380
IDBENCH=160439
IDSOLVER=3363
FILE ID=nodeC024/4511380-1751200379
RUNJOBID= nodeC024-1751191546-27852
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

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

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

MD5SUM BENCH= 8085e67efea758974236eb172d264588
RANDOM SEED=1957895745

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128321452 kB
MemAvailable:   128004208 kB
Buffers:            3280 kB
Cached:           492264 kB
SwapCached:            0 kB
Active:          2101744 kB
Inactive:         237704 kB
Active(anon):    1861968 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   237704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1104 kB
Writeback:             0 kB
AnonPages:       1846052 kB
Mapped:           122512 kB
Shmem:             18064 kB
KReclaimable:      88628 kB
Slab:             175496 kB
SReclaimable:      88628 kB
SUnreclaim:        86868 kB
KernelStack:        5232 kB
PageTables:         7312 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7035552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1669120 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC024 at 2025-06-29 14:48:46