Trace number 4451074

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 Default 2024-07-07UNSAT 1139.88 1138.75

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM1b3727bc41a297c1e3576d09f30c6702
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 benchmark18.802
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4451074-1721427996.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.17	c ... done. Wall clock time 0.04s.
0.14/0.17	c declared #vars     1101
0.14/0.17	c #constraints  1102
0.14/0.17	c constraints type 
0.14/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.14/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.14/0.17	c 1102 constraints processed.
0.52/0.39	c cleaning 2495 clauses out of 5000 with flag 22682/5000
1.10/0.65	c cleaning 4241 clauses out of 8505 with flag 47658/11000
1.28/0.79	c cleaning 5610 clauses out of 11267 with flag 82847/18003
1.68/0.96	c cleaning 6770 clauses out of 13654 with flag 120243/26000
1.87/1.06	c cleaning 7936 clauses out of 15886 with flag 167107/35002
2.04/1.19	c cleaning 8929 clauses out of 17949 with flag 222300/45001
2.43/1.32	c cleaning 9949 clauses out of 20020 with flag 279000/56001
2.59/1.46	c cleaning 11023 clauses out of 22070 with flag 341741/68000
2.82/1.63	c cleaning 11963 clauses out of 24049 with flag 417714/81002
3.02/1.81	c cleaning 13000 clauses out of 26084 with flag 498342/95000
3.22/2.01	c cleaning 14020 clauses out of 28084 with flag 579028/110000
3.41/2.24	c cleaning 14971 clauses out of 30064 with flag 666913/126000
3.65/2.47	c cleaning 16037 clauses out of 32093 with flag 762531/143000
3.97/2.72	c cleaning 16961 clauses out of 34057 with flag 867402/161001
4.28/3.01	c cleaning 18012 clauses out of 36095 with flag 978458/180000
4.57/3.31	c cleaning 18988 clauses out of 38084 with flag 1088381/200001
4.87/3.63	c cleaning 20032 clauses out of 40095 with flag 1201406/221000
5.17/3.98	c cleaning 21013 clauses out of 42064 with flag 1318700/243001
5.57/4.35	c cleaning 21964 clauses out of 44051 with flag 1444825/266001
5.96/4.74	c cleaning 23010 clauses out of 46086 with flag 1572880/290000
6.36/5.16	c cleaning 24023 clauses out of 48077 with flag 1707375/315001
6.85/5.62	c cleaning 24990 clauses out of 50053 with flag 1852137/341000
7.35/6.12	c cleaning 26025 clauses out of 52063 with flag 1995235/368000
7.86/6.61	c cleaning 26983 clauses out of 54039 with flag 2140030/396001
8.36/7.12	c cleaning 28004 clauses out of 56055 with flag 2292829/425000
8.85/7.69	c cleaning 28982 clauses out of 58051 with flag 2451347/455000
9.55/8.31	c cleaning 29963 clauses out of 60069 with flag 2615999/486000
10.15/8.97	c cleaning 31010 clauses out of 62107 with flag 2779425/518001
10.85/9.66	c cleaning 31990 clauses out of 64096 with flag 2947300/551000
11.55/10.34	c cleaning 33003 clauses out of 66107 with flag 3123312/585001
12.25/11.08	c cleaning 33984 clauses out of 68105 with flag 3305012/620002
13.04/11.83	c cleaning 35008 clauses out of 70119 with flag 3490395/656000
13.84/12.61	c cleaning 36041 clauses out of 72112 with flag 3676018/693001
14.64/13.42	c cleaning 36985 clauses out of 74071 with flag 3861274/731001
15.44/14.26	c cleaning 38002 clauses out of 76085 with flag 4056028/770000
16.43/15.20	c cleaning 39002 clauses out of 78083 with flag 4252394/810000
17.34/16.19	c cleaning 39987 clauses out of 80081 with flag 4457999/851000
18.44/17.24	c cleaning 41020 clauses out of 82097 with flag 4665654/893003
19.53/18.30	c cleaning 41995 clauses out of 84075 with flag 4874714/936001
20.63/19.40	c cleaning 43021 clauses out of 86079 with flag 5092847/980000
21.73/20.59	c cleaning 43972 clauses out of 88059 with flag 5314839/1025001
22.93/21.78	c cleaning 44995 clauses out of 90086 with flag 5534549/1071000
24.23/23.01	c cleaning 46032 clauses out of 92092 with flag 5763224/1118001
25.42/24.29	c cleaning 46996 clauses out of 94061 with flag 5993797/1166002
26.82/25.60	c cleaning 48006 clauses out of 96064 with flag 6225393/1215001
28.14/26.99	c cleaning 48983 clauses out of 98058 with flag 6468197/1265001
29.54/28.33	c cleaning 49975 clauses out of 100074 with flag 6706555/1316000
30.94/29.73	c cleaning 51010 clauses out of 102099 with flag 6951593/1368000
32.43/31.24	c cleaning 52006 clauses out of 104090 with flag 7205387/1421001
33.93/32.77	c cleaning 53029 clauses out of 106085 with flag 7456749/1475002
35.53/34.36	c cleaning 54007 clauses out of 108054 with flag 7707363/1530000
37.23/36.01	c cleaning 55012 clauses out of 110047 with flag 7967772/1586000
38.92/37.73	c cleaning 55974 clauses out of 112036 with flag 8231891/1643001
40.62/39.44	c cleaning 57028 clauses out of 114061 with flag 8498996/1701000
42.42/41.27	c cleaning 57976 clauses out of 116033 with flag 8774823/1760000
44.32/43.12	c cleaning 59010 clauses out of 118058 with flag 9042823/1820001
46.21/45.06	c cleaning 59987 clauses out of 120048 with flag 9321832/1881001
48.11/46.99	c cleaning 60996 clauses out of 122060 with flag 9599530/1943000
50.22/49.02	c cleaning 61996 clauses out of 124064 with flag 9882091/2006000
52.25/51.07	c cleaning 63008 clauses out of 126068 with flag 10168797/2070000
54.34/53.18	c cleaning 64012 clauses out of 128061 with flag 10459498/2135001
56.53/55.34	c cleaning 65014 clauses out of 130049 with flag 10750732/2201001
58.73/57.54	c cleaning 66006 clauses out of 132036 with flag 11041614/2268002
61.02/59.80	c cleaning 66981 clauses out of 134029 with flag 11338372/2336001
63.32/62.14	c cleaning 67993 clauses out of 136048 with flag 11646954/2405001
65.75/64.56	c cleaning 68993 clauses out of 138054 with flag 11950780/2475000
68.14/66.99	c cleaning 70006 clauses out of 140061 with flag 12256832/2546000
70.63/69.49	c cleaning 71018 clauses out of 142055 with flag 12567586/2618000
73.23/72.01	c cleaning 71971 clauses out of 144037 with flag 12879079/2691000
75.72/74.54	c cleaning 73001 clauses out of 146066 with flag 13197069/2765000
78.42/77.20	c cleaning 74019 clauses out of 148067 with flag 13520838/2840002
81.22/80.06	c cleaning 74999 clauses out of 150046 with flag 13846308/2916000
84.01/82.88	c cleaning 75998 clauses out of 152048 with flag 14180274/2993001
87.00/85.80	c cleaning 77005 clauses out of 154051 with flag 14520787/3071002
89.99/88.85	c cleaning 77992 clauses out of 156044 with flag 14863389/3150000
93.09/91.91	c cleaning 79002 clauses out of 158053 with flag 15207266/3230001
96.12/94.96	c cleaning 80000 clauses out of 160051 with flag 15549991/3311001
99.22/98.06	c cleaning 81000 clauses out of 162050 with flag 15897432/3393000
102.22/101.07	c cleaning 81994 clauses out of 164052 with flag 16246474/3476002
105.31/104.18	c cleaning 82994 clauses out of 166058 with flag 16600078/3560002
108.60/107.43	c cleaning 83990 clauses out of 168063 with flag 16957628/3645001
112.00/110.86	c cleaning 85030 clauses out of 170073 with flag 17318318/3731001
115.39/114.26	c cleaning 85984 clauses out of 172043 with flag 17680811/3818001
118.68/117.54	c cleaning 86997 clauses out of 174058 with flag 18040999/3906000
122.18/121.05	c cleaning 87997 clauses out of 176061 with flag 18408347/3995000
126.01/124.87	c cleaning 88996 clauses out of 178065 with flag 18793759/4085001
129.50/128.38	c cleaning 89996 clauses out of 180070 with flag 19163268/4176002
133.10/131.91	c cleaning 91015 clauses out of 182073 with flag 19544652/4268001
136.80/135.67	c cleaning 92001 clauses out of 184058 with flag 19930980/4361001
140.39/139.29	c cleaning 93013 clauses out of 186056 with flag 20311931/4455000
144.11/142.95	c cleaning 94014 clauses out of 188043 with flag 20692334/4550000
147.90/146.73	c cleaning 94979 clauses out of 190030 with flag 21082055/4646001
151.70/150.53	c cleaning 96008 clauses out of 192051 with flag 21469658/4743001
155.59/154.46	c cleaning 97003 clauses out of 194043 with flag 21866407/4841001
159.62/158.42	c cleaning 98001 clauses out of 196040 with flag 22259294/4940001
163.32/162.17	c cleaning 98994 clauses out of 198039 with flag 22656962/5040001
167.50/166.30	c cleaning 100008 clauses out of 200047 with flag 23059735/5141003
171.90/170.75	c cleaning 101002 clauses out of 202037 with flag 23472893/5243001
176.19/175.09	c cleaning 101993 clauses out of 204035 with flag 23888003/5346001
180.68/179.50	c cleaning 102999 clauses out of 206041 with flag 24301320/5450000
185.00/183.85	c cleaning 104000 clauses out of 208042 with flag 24713661/5555000
189.49/188.31	c cleaning 105011 clauses out of 210042 with flag 25136726/5661000
194.08/192.95	c cleaning 106001 clauses out of 212031 with flag 25562243/5768000
198.78/197.63	c cleaning 107000 clauses out of 214031 with flag 25989980/5876001
203.41/202.24	c cleaning 107987 clauses out of 216031 with flag 26418745/5985001
207.90/206.75	c cleaning 109014 clauses out of 218043 with flag 26842289/6095000
212.69/211.53	c cleaning 109999 clauses out of 220029 with flag 27270865/6206000
217.48/216.34	c cleaning 110995 clauses out of 222032 with flag 27713725/6318002
222.47/221.35	c cleaning 111996 clauses out of 224036 with flag 28148827/6431001
227.28/226.14	c cleaning 113002 clauses out of 226039 with flag 28582645/6545000
232.60/231.48	c cleaning 114000 clauses out of 228038 with flag 29026930/6660001
237.59/236.47	c cleaning 115019 clauses out of 230038 with flag 29468749/6776001
242.68/241.57	c cleaning 115995 clauses out of 232018 with flag 29905221/6893000
247.87/246.77	c cleaning 116988 clauses out of 234024 with flag 30347256/7011001
253.07/251.92	c cleaning 118004 clauses out of 236037 with flag 30793514/7130002
258.26/257.13	c cleaning 118997 clauses out of 238032 with flag 31250014/7250001
263.54/262.46	c cleaning 119998 clauses out of 240036 with flag 31702496/7371002
269.35/268.26	c cleaning 120999 clauses out of 242036 with flag 32158549/7493000
274.54/273.49	c cleaning 122009 clauses out of 244037 with flag 32611763/7616000
279.93/278.80	c cleaning 123009 clauses out of 246028 with flag 33068846/7740000
285.02/283.99	c cleaning 123988 clauses out of 248020 with flag 33525303/7865001
290.51/289.45	c cleaning 124998 clauses out of 250031 with flag 33992571/7991000
295.90/294.86	c cleaning 126017 clauses out of 252035 with flag 34457147/8118002
301.49/300.49	c cleaning 126993 clauses out of 254016 with flag 34920271/8246000
307.14/306.07	c cleaning 128000 clauses out of 256024 with flag 35394181/8375001
312.73/311.69	c cleaning 128996 clauses out of 258023 with flag 35865374/8505000
318.32/317.23	c cleaning 129999 clauses out of 260028 with flag 36330902/8636001
324.11/323.10	c cleaning 130999 clauses out of 262028 with flag 36803898/8768000
330.00/328.99	c cleaning 131997 clauses out of 264030 with flag 37280492/8901001
335.78/334.72	c cleaning 133001 clauses out of 266033 with flag 37757454/9035001
341.77/340.74	c cleaning 134004 clauses out of 268031 with flag 38236381/9170000
347.56/346.58	c cleaning 134992 clauses out of 270027 with flag 38719282/9306000
353.60/352.53	c cleaning 136006 clauses out of 272035 with flag 39198597/9443000
359.59/358.59	c cleaning 136995 clauses out of 274029 with flag 39680429/9581000
365.78/364.73	c cleaning 138002 clauses out of 276034 with flag 40174829/9720000
371.77/370.71	c cleaning 139007 clauses out of 278032 with flag 40668451/9860000
378.26/377.29	c cleaning 140001 clauses out of 280025 with flag 41165347/10001000
384.34/383.33	c cleaning 140994 clauses out of 282027 with flag 41665849/10143003
390.53/389.56	c cleaning 141999 clauses out of 284031 with flag 42171078/10286001
396.92/395.96	c cleaning 143009 clauses out of 286032 with flag 42676288/10430001
403.41/402.40	c cleaning 143996 clauses out of 288024 with flag 43179696/10575002
410.06/409.03	c cleaning 145005 clauses out of 290026 with flag 43696703/10721000
416.24/415.25	c cleaning 145990 clauses out of 292021 with flag 44210457/10868000
423.13/422.15	c cleaning 146997 clauses out of 294032 with flag 44735747/11016001
429.92/428.96	c cleaning 148009 clauses out of 296035 with flag 45258707/11165001
436.70/435.71	c cleaning 149010 clauses out of 298026 with flag 45787118/11315001
443.39/442.48	c cleaning 150004 clauses out of 300016 with flag 46316235/11466001
450.78/449.87	c cleaning 150980 clauses out of 302012 with flag 46857475/11618001
458.26/457.30	c cleaning 152011 clauses out of 304032 with flag 47406125/11771001
465.55/464.69	c cleaning 152984 clauses out of 306020 with flag 47955209/11925000
473.04/472.13	c cleaning 154011 clauses out of 308037 with flag 48507985/12080001
480.70/479.71	c cleaning 155000 clauses out of 310026 with flag 49062047/12236001
488.78/487.87	c cleaning 155989 clauses out of 312026 with flag 49638770/12393001
496.76/495.82	c cleaning 157003 clauses out of 314036 with flag 50208470/12551000
504.36/503.40	c cleaning 157997 clauses out of 316033 with flag 50774275/12710000
512.54/511.64	c cleaning 159006 clauses out of 318036 with flag 51349954/12870000
521.03/520.17	c cleaning 159998 clauses out of 320030 with flag 51927639/13031000
528.91/528.06	c cleaning 161005 clauses out of 322032 with flag 52508960/13193000
537.50/536.67	c cleaning 162004 clauses out of 324028 with flag 53097738/13356001
546.58/545.72	c cleaning 162992 clauses out of 326023 with flag 53709919/13520000
555.56/554.72	c cleaning 164011 clauses out of 328031 with flag 54321416/13685000
564.86/564.04	c cleaning 164988 clauses out of 330020 with flag 54938034/13851000
573.53/572.72	c cleaning 166006 clauses out of 332034 with flag 55551464/14018002
582.27/581.46	c cleaning 166997 clauses out of 334026 with flag 56180632/14186000
590.75/590.00	c cleaning 167989 clauses out of 336029 with flag 56809719/14355000
600.23/599.47	c cleaning 169004 clauses out of 338041 with flag 57467062/14525001
609.02/608.25	c cleaning 170011 clauses out of 340037 with flag 58107216/14696001
618.30/617.53	c cleaning 170998 clauses out of 342027 with flag 58763056/14868002
627.68/626.97	c cleaning 171999 clauses out of 344027 with flag 59416533/15041000
636.67/635.99	c cleaning 172996 clauses out of 346028 with flag 60064671/15215000
646.06/645.38	c cleaning 174002 clauses out of 348033 with flag 60726357/15390001
655.14/654.48	c cleaning 175003 clauses out of 350031 with flag 61388330/15566001
664.02/663.31	c cleaning 176003 clauses out of 352028 with flag 62049551/15743001
673.10/672.33	c cleaning 176998 clauses out of 354025 with flag 62731760/15921001
682.40/681.65	c cleaning 177999 clauses out of 356026 with flag 63396137/16100000
691.88/691.14	c cleaning 179008 clauses out of 358027 with flag 64077048/16280000
701.25/700.51	c cleaning 179996 clauses out of 360019 with flag 64750054/16461000
710.44/709.76	c cleaning 181002 clauses out of 362023 with flag 65438578/16643000
719.51/718.86	c cleaning 181999 clauses out of 364022 with flag 66128232/16826001
729.19/728.56	c cleaning 182996 clauses out of 366022 with flag 66819510/17010000
738.67/738.05	c cleaning 184002 clauses out of 368027 with flag 67525987/17195001
748.66/748.03	c cleaning 185004 clauses out of 370025 with flag 68238620/17381001
758.83/758.23	c cleaning 186002 clauses out of 372020 with flag 68970597/17568000
769.34/768.60	c cleaning 187003 clauses out of 374019 with flag 69706294/17756001
779.52/778.87	c cleaning 187996 clauses out of 376016 with flag 70440784/17945001
789.60/788.91	c cleaning 188997 clauses out of 378019 with flag 71174947/18135000
800.48/799.86	c cleaning 189998 clauses out of 380022 with flag 71916732/18326000
810.86/810.21	c cleaning 190996 clauses out of 382025 with flag 72654521/18518001
821.44/820.80	c cleaning 192007 clauses out of 384028 with flag 73398047/18711000
832.33/831.71	c cleaning 193005 clauses out of 386021 with flag 74150315/18905000
842.71/842.12	c cleaning 193993 clauses out of 388016 with flag 74894273/19100000
853.39/852.87	c cleaning 194996 clauses out of 390025 with flag 75649325/19296002
863.96/863.45	c cleaning 196006 clauses out of 392028 with flag 76413309/19493001
874.60/873.90	c cleaning 196999 clauses out of 394021 with flag 77165723/19691000
885.57/884.95	c cleaning 197994 clauses out of 396023 with flag 77942962/19890001
897.15/896.58	c cleaning 198998 clauses out of 398028 with flag 78716340/20090000
909.84/909.27	c cleaning 200006 clauses out of 400031 with flag 79501939/20291001
922.91/922.35	c cleaning 201004 clauses out of 402025 with flag 80302722/20493001
935.88/935.39	c cleaning 201996 clauses out of 404020 with flag 81111751/20696000
949.17/948.60	c cleaning 203008 clauses out of 406025 with flag 81913222/20900001
962.84/962.32	c cleaning 204001 clauses out of 408016 with flag 82720952/21105000
975.92/975.45	c cleaning 204996 clauses out of 410017 with flag 83526565/21311002
990.27/989.38	c cleaning 206001 clauses out of 412019 with flag 84339855/21518000
1004.84/1003.94	c cleaning 207004 clauses out of 414019 with flag 85168523/21726001
1018.82/1017.96	c cleaning 207997 clauses out of 416016 with flag 85987535/21935002
1033.70/1032.86	c cleaning 208996 clauses out of 418018 with flag 86830418/22145001
1049.76/1048.95	c cleaning 210004 clauses out of 420023 with flag 87681256/22356002
1067.14/1066.32	c cleaning 210999 clauses out of 422018 with flag 88589782/22568001
1086.00/1085.26	c cleaning 211995 clauses out of 424018 with flag 89522128/22781000
1105.54/1104.78	c cleaning 213008 clauses out of 426023 with flag 90468601/22995000
1128.02/1127.29	c cleaning 214005 clauses out of 428016 with flag 91442340/23210001
1139.68/1138.67	c starts		: 23001
1139.68/1138.67	c conflicts		: 23374326
1139.68/1138.67	c decisions		: 33401006
1139.68/1138.67	c propagations		: 182103449
1139.68/1138.67	c inspects		: 20230112377
1139.68/1138.67	c shortcuts		: 0
1139.68/1138.67	c learnt literals	: 14
1139.68/1138.67	c learnt binary clauses	: 12
1139.68/1138.67	c learnt ternary clauses	: 25
1139.68/1138.67	c learnt constraints	: 23374311
1139.68/1138.67	c ignored constraints	: 0
1139.68/1138.67	c root simplifications	: 0
1139.68/1138.67	c removed literals (reason simplification)	: 0
1139.68/1138.67	c reason swapping (by a shorter reason)	: 0
1139.68/1138.67	c Calls to reduceDB	: 211
1139.68/1138.67	c Number of update (reduction) of LBD	: 4873771
1139.68/1138.67	c Imported unit clauses	: 0
1139.68/1138.67	c No decision after first conflict	: false
1139.68/1138.67	c number of reductions to clauses (during analyze)	: 0
1139.68/1138.67	c number of learned constraints concerned by reduction	: 0
1139.68/1138.67	c number of learning phase by resolution	: 0
1139.68/1138.67	c number of learning phase by cutting planes	: 0
1139.68/1138.67	c number of rounding to 1 operations	: 0
1139.68/1138.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
1139.68/1138.67	c number of reductions of the coefficients by power 2 	: 0
1139.68/1138.67	c number of right shift for reduction by power 2 	: 0
1139.68/1138.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
1139.68/1138.67	c number of ending skipping 	: 0
1139.68/1138.67	c number of internal skipping 	: 0
1139.68/1138.67	c number of derivation steps 	: 0
1139.68/1138.67	c number of skipped derivation steps 	: 0
1139.68/1138.67	c number of remaining unassigned 	: 0
1139.68/1138.67	c number of remaining assigned 	: 0
1139.68/1138.68	c number of falsified literals weakened from reason	: 0
1139.68/1138.68	c number of falsified literals weakened from conflict	: 0
1139.68/1138.68	c time for arithmetic operations	: 0
1139.68/1138.68	c minimum degree of deleted constraints	: null
1139.68/1138.68	c maximum degree of deleted constraints	: null
1139.68/1138.68	c number of deleted constraints	: 0
1139.68/1138.68	c speed (assignments/second)	: 159950.04751858144
1139.68/1138.68	c non guided choices	: 2001830
1139.81/1138.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 378309
1139.81/1138.73	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
1139.81/1138.73	s UNSATISFIABLE
1139.81/1138.73	c Total wall clock time (in seconds): 1138.611

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: 63968 MiB (60311 MiB free)
  memory of node 1: 64473 MiB (59940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451074-1721427996/watcher-4451074-1721427996 -o /tmp/evaluation-result-4451074-1721427996/solver-4451074-1721427996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451074-1721427996.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1077179, runsolver pid=1077176
Current StackSize limit: 8192 KiB


[startup+0.100874 s]*
/proc/loadavg: 4.23 4.14 3.98 5/332 1077197
/proc/meminfo: memFree=123096608/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=18975048 memory=63596 CPUtime=0.14 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 7212 0 0 0 12 2 0 0 20 0 18 0 194967724 19430449152 15899 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4743762 15899 5747 1 0 549335 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 1078198336 5737 0 0 0 7 1 0 0 20 0 18 0 194967725 19430449152 15899 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194967727 19430449152 15899 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194967728 19430449152 15899 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63596 KiB

[startup+0.213454 s]*
/proc/loadavg: 4.23 4.14 3.98 7/333 1077198
/proc/meminfo: memFree=123080876/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19041612 memory=79648 CPUtime=0.34 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 8724 0 0 0 32 2 0 0 20 0 19 0 194967724 19498610688 19912 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4760403 19912 5834 1 0 550323 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 5951 0 0 0 17 1 0 0 20 0 19 0 194967725 19498610688 19912 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19041612 memory=17016 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194967727 19498610688 19912 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194967728 19498610688 19912 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194967742 19498610688 19912 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79648 KiB

[startup+0.306456 s]*
/proc/loadavg: 4.23 4.14 3.98 7/333 1077198
/proc/meminfo: memFree=123075136/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19041612 memory=84816 CPUtime=0.52 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 10796 0 0 0 50 2 0 0 20 0 19 0 194967724 19498610688 21204 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4760403 21204 5834 1 0 551637 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19041612 memory=-7306911702968132710 CPUtime=0.26 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 5953 0 0 0 25 1 0 0 20 0 19 0 194967725 19498610688 21204 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194967727 19498610688 21204 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194967728 19498610688 21204 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194967742 19498610688 21204 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84816 KiB

[startup+0.700471 s]
/proc/loadavg: 4.23 4.14 3.98 6/333 1077198
/proc/meminfo: memFree=123065772/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19041612 memory=104584 CPUtime=1.28 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 15459 0 0 0 125 3 0 0 20 0 19 0 194967724 19498610688 26146 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4760403 26146 5834 1 0 554987 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19041612 memory=46816 CPUtime=0.65 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 6123 0 0 0 63 2 0 0 20 0 19 0 194967725 19498610688 26146 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194967727 19498610688 26146 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194967728 19498610688 26146 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194967742 19498610688 26146 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104584 KiB

[startup+1.50045 s]
/proc/loadavg: 4.23 4.14 3.98 5/333 1077198
/proc/meminfo: memFree=123050468/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19041612 memory=117692 CPUtime=2.72 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 19163 0 0 0 268 4 0 0 20 0 19 0 194967724 19498610688 29423 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4760403 29423 5834 1 0 554991 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19041612 memory=13116 CPUtime=1.44 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 6458 0 0 0 142 2 0 0 20 0 19 0 194967725 19498610688 29423 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194967727 19498610688 29423 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194967728 19498610688 29423 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194967742 19498610688 29423 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 117692 KiB

[startup+3.10645 s]
/proc/loadavg: 4.21 4.14 3.98 5/333 1077198
/proc/meminfo: memFree=123019412/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19041612 memory=140404 CPUtime=4.38 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 20042 0 0 0 433 5 0 0 20 0 19 0 194967724 19498610688 35101 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4760403 35101 5844 1 0 555009 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19041612 memory=0 CPUtime=3.02 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 6758 0 0 0 300 2 0 0 20 0 19 0 194967725 19498610688 35101 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19041612 memory=-7306911702968132710 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194967727 19498610688 35101 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194967728 19498610688 35101 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194967742 19498610688 35101 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140404 KiB

[startup+6.30027 s]
/proc/loadavg: 4.21 4.14 3.98 5/333 1077200
/proc/meminfo: memFree=122988952/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=183336 CPUtime=7.56 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 21858 0 0 0 750 6 0 0 20 0 20 0 194967724 19566772224 45834 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 45834 5891 1 0 555314 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=2212 CPUtime=6.18 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 7067 0 0 0 615 3 0 0 20 0 20 0 194967725 19566772224 45834 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 45834 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 45834 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 45834 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183336 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.14 3.98 5/334 1077201
/proc/meminfo: memFree=122947600/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=183352 CPUtime=13.94 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 22776 0 0 0 1388 6 0 0 20 0 20 0 194967724 19566772224 45838 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 45838 5891 1 0 555314 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=13116 CPUtime=12.56 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 7796 0 0 0 1253 3 0 0 20 0 20 0 194967725 19566772224 45838 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=183336 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 45838 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 45838 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 45838 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 13.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183352 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 3.98 5/333 1077204
/proc/meminfo: memFree=122910024/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=191852 CPUtime=26.72 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 25860 0 0 0 2666 6 0 0 20 0 20 0 194967724 19566772224 47963 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 47963 5907 1 0 555314 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=6944656574621848725 CPUtime=25.31 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 8874 0 0 0 2528 3 0 0 20 0 20 0 194967725 19566772224 47963 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 47963 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=3522 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 47963 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 47963 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 26.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191852 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.14 3.99 5/334 1077209
/proc/meminfo: memFree=122800476/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=280244 CPUtime=52.35 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 30490 0 0 0 5225 10 0 0 20 0 20 0 194967724 19566772224 70061 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 70061 5907 1 0 555314 0

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

/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 933 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 441991 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 441991 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1063.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1767964 KiB

[startup+1122.3 s]
/proc/loadavg: 4.51 4.29 4.12 5/331 1077636
/proc/meminfo: memFree=119281508/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1770084 CPUtime=1123.11 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 71728 0 0 0 112229 82 0 0 20 0 20 0 194967724 19566772224 442521 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442521 5907 1 0 556090 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=46816 CPUtime=1117.7 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 26584 0 0 0 111760 10 0 0 20 0 20 0 194967725 19566772224 442521 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=1767964 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442521 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442521 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=1767964 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442521 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1123.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770084 KiB

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

# cumulated CPU time of all completed processes:  user=1139.04 s, system=0.844176 s

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

[startup+1126.4 s]
/proc/loadavg: 4.47 4.29 4.12 5/331 1077637
/proc/meminfo: memFree=119281376/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=1127.22 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 73103 0 0 0 112640 82 0 0 20 0 20 0 194967724 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442532 5907 1 0 556101 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=104 CPUtime=1121.79 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 26679 0 0 0 112169 10 0 0 20 0 20 0 194967725 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=1574872 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=1767964 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=1770084 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1127.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770128 KiB

[startup+1132.8 s]
/proc/loadavg: 4.43 4.28 4.12 5/331 1077637
/proc/meminfo: memFree=119281336/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=1133.61 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 73110 0 0 0 113279 82 0 0 20 0 20 0 194967724 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442532 5907 1 0 556101 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=11396 CPUtime=1128.18 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 26686 0 0 0 112808 10 0 0 20 0 20 0 194967725 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442532 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1133.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770128 KiB

[startup+1136 s]*
/proc/loadavg: 4.39 4.28 4.12 5/331 1077639
/proc/meminfo: memFree=119280608/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1770740 CPUtime=1136.89 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 75644 0 0 0 113606 83 0 0 20 0 20 0 194967724 19566772224 442685 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442685 5907 1 0 556325 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=-7306911702968132710 CPUtime=1131.37 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 27416 0 0 0 113127 10 0 0 20 0 20 0 194967725 19566772224 442685 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=4872558142750484026 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442685 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=2724 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442685 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=5028 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442685 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1136.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1770740 KiB

[startup+1137.6 s]
/proc/loadavg: 4.39 4.28 4.12 5/331 1077639
/proc/meminfo: memFree=119280356/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1771788 CPUtime=1138.65 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 76628 0 0 0 113782 83 0 0 20 0 20 0 194967724 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442947 5907 1 0 556327 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=1132.96 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 27448 0 0 0 113286 10 0 0 20 0 20 0 194967725 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1138.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1771788 KiB

[startup+1138.4 s]
/proc/loadavg: 4.44 4.29 4.12 5/331 1077639
/proc/meminfo: memFree=119279516/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1771788 CPUtime=1139.48 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 76646 0 0 0 113865 83 0 0 20 0 20 0 194967724 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442947 5907 1 0 556327 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=6964 CPUtime=1133.76 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 27449 0 0 0 113366 10 0 0 20 0 20 0 194967725 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=1770128 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=2256 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=31528 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1139.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1771788 KiB

[startup+1138.6 s]
/proc/loadavg: 4.44 4.29 4.12 5/331 1077639
/proc/meminfo: memFree=119279516/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19108176 memory=1771788 CPUtime=1139.68 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 76647 0 0 0 113885 83 0 0 20 0 20 0 194967724 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4777044 442947 5907 1 0 556327 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19108176 memory=11328 CPUtime=1133.96 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) R 1077176 1077179 1074922 0 -1 4194368 27449 0 0 0 113386 10 0 0 20 0 20 0 194967725 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19108176 memory=11328 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077198] ppid=1077176 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/1077179/task/1077198/stat : 1077198 (Timer-0) S 1077176 1077179 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194967742 19566772224 442947 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1139.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1771788 KiB

[startup+1138.7 s]
/proc/loadavg: 4.44 4.29 4.12 5/331 1077639
/proc/meminfo: memFree=119279516/131524600 swapFree=131071996/131071996
[pid=1077179] ppid=1077176 vsize=19241304 memory=1772308 CPUtime=1139.81 cores=4,6
/proc/1077179/stat : 1077179 (java) S 1077176 1077179 1074922 0 -1 1077936128 77956 0 0 0 113898 83 0 0 20 0 20 0 194967724 19703095296 443077 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
/proc/1077179/statm: 4810326 443077 5906 1 0 556945 0
[pid=1077179/tid=1077181] ppid=1077176 vsize=19241304 memory=46816 CPUtime=1134.02 cores=4,6
/proc/1077179/task/1077181/stat : 1077181 (java) S 1077176 1077179 1074922 0 -1 1077936192 28293 0 0 0 113392 10 0 0 20 0 20 0 194967725 19703095296 443077 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077190] ppid=1077176 vsize=19241304 memory=1767964 CPUtime=0 cores=4,6
/proc/1077179/task/1077190/stat : 1077190 (Finalizer) S 1077176 1077179 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194967727 19703095296 443077 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
[pid=1077179/tid=1077197] ppid=1077176 vsize=19241304 memory=1767964 CPUtime=0 cores=4,6
/proc/1077179/task/1077197/stat : 1077197 (Common-Cleaner) S 1077176 1077179 1074922 0 -1 1077936192 977 0 0 0 0 0 0 0 20 0 20 0 194967728 19703095296 443077 134679101440 94436980731904 94436980735600 140727473753840 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94436980743416 94436980744208 94436997058560 140727473755141 140727473755231 140727473755231 140727473762248 0
Current children cumulated CPU time: 1139.81 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1772308 KiB

Child status: 20

Real time (s): 1138.75
CPU time (s): 1139.88
CPU user time (s): 1139.04
CPU system time (s): 0.844176
CPU usage (%): 100.099
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1772308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1139.04
system time used= 0.844176
maximum resident set size= 1773396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34357
involuntary context switches= 753


# summary of solver processes directly reported to runsolver:
#   pid: 1077179
#   total CPU time (s): 1139.88
#   total CPU user time (s): 1139.04
#   total CPU system time (s): 0.844176

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.2299 second user time and 5.97247 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 00:26:49
IDJOB=4451074
IDBENCH=162346
IDSOLVER=3058
FILE ID=nodeC030/4451074-1721427996
RUNJOBID= nodeC030-1721425652-1074933
SLURM_JOB_ID= 7545616
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451074-1721427996/watcher-4451074-1721427996 -o /tmp/evaluation-result-4451074-1721427996/solver-4451074-1721427996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451074-1721427996.opb

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

MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=1685295315

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3682.067
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3688.389
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3659.171
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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.911
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3606.015
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3688.451
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3647.166
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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.878
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123138992 kB
MemAvailable:   125552548 kB
Buffers:          517816 kB
Cached:          2716708 kB
SwapCached:            0 kB
Active:          1176820 kB
Inactive:        6530852 kB
Active(anon):       1540 kB
Inactive(anon):  4517512 kB
Active(file):    1175280 kB
Inactive(file):  2013340 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               828 kB
Writeback:             0 kB
AnonPages:       4472740 kB
Mapped:           127284 kB
Shmem:             45912 kB
KReclaimable:     129516 kB
Slab:             247896 kB
SReclaimable:     129516 kB
SUnreclaim:       118380 kB
KernelStack:        5072 kB
PageTables:        18924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7366932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4196352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-20 00:45:48