Trace number 4451014

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 2355.12 2355.51

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
MD5SUMd15c8502de0d235fb9400ddf00f66b48
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 benchmark45.8334
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1301
Total number of constraints651
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)651
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 		2104792832
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4451014-1721425640.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.13/0.17	c ... done. Wall clock time 0.046s.
0.13/0.17	c declared #vars     1301
0.13/0.17	c #constraints  1302
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1300
0.13/0.17	c 1302 constraints processed.
0.52/0.37	c cleaning 2492 clauses out of 5001 with flag 18522/5001
0.91/0.54	c cleaning 4246 clauses out of 8508 with flag 45460/11000
1.28/0.73	c cleaning 5602 clauses out of 11262 with flag 84251/18000
1.49/0.83	c cleaning 6782 clauses out of 13662 with flag 121578/26002
1.65/0.94	c cleaning 7897 clauses out of 15878 with flag 168660/35000
1.82/1.06	c cleaning 8972 clauses out of 17982 with flag 218135/45001
2.22/1.22	c cleaning 9943 clauses out of 20010 with flag 275390/56001
2.35/1.37	c cleaning 10962 clauses out of 22066 with flag 338378/68000
2.55/1.53	c cleaning 12030 clauses out of 24104 with flag 410177/81000
2.85/1.80	c cleaning 12954 clauses out of 26076 with flag 488292/95002
3.05/2.04	c cleaning 14020 clauses out of 28120 with flag 570255/110000
3.25/2.28	c cleaning 14980 clauses out of 30100 with flag 662201/126000
3.57/2.52	c cleaning 16029 clauses out of 32120 with flag 753456/143000
3.80/2.77	c cleaning 16992 clauses out of 34092 with flag 855203/161001
4.10/3.06	c cleaning 18011 clauses out of 36099 with flag 961279/180000
4.41/3.38	c cleaning 18962 clauses out of 38088 with flag 1071972/200000
4.81/3.71	c cleaning 20009 clauses out of 40127 with flag 1191110/221001
5.11/4.06	c cleaning 20981 clauses out of 42118 with flag 1316541/243001
5.51/4.45	c cleaning 22042 clauses out of 44137 with flag 1454727/266001
5.90/4.89	c cleaning 23015 clauses out of 46096 with flag 1587863/290002
6.40/5.31	c cleaning 24025 clauses out of 48080 with flag 1726277/315001
6.81/5.73	c cleaning 24954 clauses out of 50054 with flag 1867904/341000
7.22/6.18	c cleaning 26015 clauses out of 52100 with flag 2014864/368000
7.71/6.65	c cleaning 27030 clauses out of 54085 with flag 2169029/396000
8.21/7.11	c cleaning 27978 clauses out of 56056 with flag 2321281/425001
8.71/7.63	c cleaning 28990 clauses out of 58078 with flag 2481636/455001
9.21/8.19	c cleaning 29987 clauses out of 60088 with flag 2646654/486001
9.81/8.75	c cleaning 30988 clauses out of 62100 with flag 2815526/518000
10.41/9.36	c cleaning 32026 clauses out of 64114 with flag 2988626/551002
11.11/10.03	c cleaning 32981 clauses out of 66086 with flag 3165039/585000
11.71/10.68	c cleaning 34026 clauses out of 68108 with flag 3348639/620003
12.50/11.41	c cleaning 34985 clauses out of 70080 with flag 3547709/656001
13.21/12.15	c cleaning 35970 clauses out of 72094 with flag 3749285/693000
14.01/12.99	c cleaning 37045 clauses out of 74126 with flag 3944614/731002
15.01/13.90	c cleaning 37967 clauses out of 76079 with flag 4161915/770000
15.90/14.80	c cleaning 39035 clauses out of 78113 with flag 4370086/810001
16.80/15.72	c cleaning 39975 clauses out of 80077 with flag 4581267/851000
17.70/16.68	c cleaning 40997 clauses out of 82103 with flag 4797475/893001
18.70/17.68	c cleaning 42029 clauses out of 84105 with flag 5015521/936000
19.79/18.72	c cleaning 42986 clauses out of 86076 with flag 5241252/980000
20.99/19.90	c cleaning 43995 clauses out of 88091 with flag 5472734/1025001
21.99/20.97	c cleaning 44988 clauses out of 90097 with flag 5705149/1071002
23.22/22.16	c cleaning 46012 clauses out of 92107 with flag 5947902/1118000
24.41/23.39	c cleaning 46995 clauses out of 94095 with flag 6193579/1166000
25.71/24.66	c cleaning 47993 clauses out of 96101 with flag 6442451/1215001
27.01/25.91	c cleaning 48998 clauses out of 98107 with flag 6687882/1265000
28.30/27.26	c cleaning 50031 clauses out of 100109 with flag 6939483/1316000
29.60/28.59	c cleaning 50996 clauses out of 102081 with flag 7194430/1368003
31.20/30.13	c cleaning 52008 clauses out of 104084 with flag 7465310/1421002
32.82/31.70	c cleaning 52995 clauses out of 106075 with flag 7737735/1475001
34.32/33.24	c cleaning 53970 clauses out of 108079 with flag 8008684/1530000
35.81/34.74	c cleaning 55009 clauses out of 110110 with flag 8277297/1586001
37.41/36.36	c cleaning 56006 clauses out of 112101 with flag 8556239/1643001
39.01/37.97	c cleaning 57026 clauses out of 114094 with flag 8836080/1701000
40.70/39.62	c cleaning 58022 clauses out of 116068 with flag 9130828/1760000
42.40/41.33	c cleaning 58975 clauses out of 118046 with flag 9428306/1820000
44.24/43.11	c cleaning 60024 clauses out of 120071 with flag 9722367/1881000
46.03/44.96	c cleaning 60981 clauses out of 122047 with flag 10020134/1943000
47.93/46.85	c cleaning 62014 clauses out of 124066 with flag 10323145/2006000
49.92/48.83	c cleaning 62995 clauses out of 126052 with flag 10636163/2070000
51.92/50.86	c cleaning 63990 clauses out of 128058 with flag 10945921/2135001
54.01/52.94	c cleaning 64990 clauses out of 130067 with flag 11257816/2201000
56.11/55.06	c cleaning 66026 clauses out of 132078 with flag 11576327/2268001
58.21/57.19	c cleaning 66983 clauses out of 134053 with flag 11907096/2336002
60.40/59.34	c cleaning 67989 clauses out of 136068 with flag 12236864/2405000
62.59/61.53	c cleaning 69003 clauses out of 138080 with flag 12570552/2475001
64.89/63.86	c cleaning 70021 clauses out of 140076 with flag 12909660/2546000
67.32/66.22	c cleaning 70988 clauses out of 142055 with flag 13241906/2618000
69.72/68.63	c cleaning 71997 clauses out of 144067 with flag 13584787/2691000
72.12/71.02	c cleaning 72995 clauses out of 146071 with flag 13925878/2765001
74.51/73.46	c cleaning 73994 clauses out of 148076 with flag 14279577/2840001
77.21/76.12	c cleaning 74985 clauses out of 150081 with flag 14634056/2916000
79.80/78.72	c cleaning 75988 clauses out of 152096 with flag 14988655/2993000
82.62/81.56	c cleaning 77017 clauses out of 154110 with flag 15344291/3071002
85.52/84.41	c cleaning 78036 clauses out of 156091 with flag 15703580/3150000
88.31/87.26	c cleaning 79013 clauses out of 158056 with flag 16075720/3230001
91.11/90.09	c cleaning 79969 clauses out of 160044 with flag 16439903/3311002
94.22/93.16	c cleaning 81008 clauses out of 162073 with flag 16823273/3393000
97.30/96.23	c cleaning 82015 clauses out of 164065 with flag 17200668/3476000
100.41/99.35	c cleaning 83011 clauses out of 166052 with flag 17591807/3560002
103.60/102.50	c cleaning 84000 clauses out of 168040 with flag 17981513/3645001
106.69/105.69	c cleaning 84987 clauses out of 170039 with flag 18373388/3731000
109.82/108.71	c cleaning 85992 clauses out of 172052 with flag 18763456/3818000
113.01/111.96	c cleaning 87010 clauses out of 174062 with flag 19159082/3906002
116.21/115.15	c cleaning 88010 clauses out of 176051 with flag 19560307/3995001
119.80/118.79	c cleaning 88995 clauses out of 178040 with flag 19987034/4085000
123.33/122.20	c cleaning 89979 clauses out of 180045 with flag 20391449/4176000
126.83/125.71	c cleaning 90988 clauses out of 182066 with flag 20804200/4268000
130.42/129.38	c cleaning 91999 clauses out of 184079 with flag 21217655/4361001
134.22/133.19	c cleaning 93013 clauses out of 186082 with flag 21647167/4455003
138.24/137.19	c cleaning 94013 clauses out of 188067 with flag 22078986/4550001
141.94/140.83	c cleaning 94987 clauses out of 190054 with flag 22506786/4646001
145.92/144.84	c cleaning 96012 clauses out of 192066 with flag 22949725/4743000
149.72/148.64	c cleaning 96993 clauses out of 194055 with flag 23375245/4841001
153.80/152.79	c cleaning 98011 clauses out of 196062 with flag 23820284/4940001
158.04/156.96	c cleaning 99008 clauses out of 198051 with flag 24256421/5040001
162.23/161.14	c cleaning 99993 clauses out of 200043 with flag 24695832/5141001
166.32/165.28	c cleaning 100992 clauses out of 202049 with flag 25146305/5243000
170.92/169.67	c cleaning 102013 clauses out of 204057 with flag 25603273/5346000
175.51/174.25	c cleaning 103006 clauses out of 206045 with flag 26062775/5450001
179.90/178.65	c cleaning 104002 clauses out of 208040 with flag 26513251/5555002
184.71/183.47	c cleaning 105003 clauses out of 210037 with flag 26971490/5661001
189.20/187.97	c cleaning 105985 clauses out of 212033 with flag 27436605/5768000
194.10/192.85	c cleaning 106991 clauses out of 214049 with flag 27897011/5876001
198.89/197.62	c cleaning 107987 clauses out of 216058 with flag 28364869/5985001
203.98/202.76	c cleaning 109004 clauses out of 218070 with flag 28846957/6095000
209.21/207.93	c cleaning 110009 clauses out of 220066 with flag 29322933/6206000
214.00/212.78	c cleaning 110995 clauses out of 222057 with flag 29796923/6318000
219.19/217.90	c cleaning 112010 clauses out of 224062 with flag 30282403/6431000
224.98/223.76	c cleaning 112999 clauses out of 226052 with flag 30802897/6545000
230.37/229.17	c cleaning 113992 clauses out of 228054 with flag 31313787/6660001
236.21/234.97	c cleaning 114994 clauses out of 230062 with flag 31817540/6776001
241.69/240.42	c cleaning 116000 clauses out of 232067 with flag 32313214/6893000
247.28/246.07	c cleaning 117022 clauses out of 234068 with flag 32813044/7011001
253.07/251.88	c cleaning 118005 clauses out of 236047 with flag 33327673/7130002
258.45/257.25	c cleaning 119005 clauses out of 238041 with flag 33816757/7250001
264.25/263.08	c cleaning 119991 clauses out of 240036 with flag 34344062/7371001
270.42/269.20	c cleaning 120991 clauses out of 242045 with flag 34862694/7493001
276.81/275.67	c cleaning 122007 clauses out of 244053 with flag 35381101/7616000
282.85/281.64	c cleaning 122996 clauses out of 246046 with flag 35893593/7740000
289.14/287.98	c cleaning 123992 clauses out of 248052 with flag 36419968/7865002
295.62/294.41	c cleaning 124999 clauses out of 250059 with flag 36944835/7991001
301.52/300.34	c cleaning 126010 clauses out of 252059 with flag 37448233/8118000
307.73/306.48	c cleaning 127001 clauses out of 254050 with flag 37972821/8246001
314.32/313.05	c cleaning 128001 clauses out of 256048 with flag 38501987/8375000
320.91/319.66	c cleaning 129004 clauses out of 258047 with flag 39034688/8505000
327.70/326.50	c cleaning 129988 clauses out of 260043 with flag 39562291/8636000
334.65/333.31	c cleaning 131007 clauses out of 262055 with flag 40090789/8768000
341.53/340.21	c cleaning 131988 clauses out of 264048 with flag 40638753/8901000
348.81/347.54	c cleaning 133010 clauses out of 266060 with flag 41214061/9035000
355.91/354.60	c cleaning 133999 clauses out of 268050 with flag 41761110/9170000
362.89/361.63	c cleaning 134990 clauses out of 270053 with flag 42319817/9306002
370.28/369.05	c cleaning 136008 clauses out of 272061 with flag 42896120/9443000
377.36/376.16	c cleaning 136990 clauses out of 274055 with flag 43459801/9581002
384.95/383.79	c cleaning 137998 clauses out of 276063 with flag 44018345/9720000
392.69/391.48	c cleaning 138987 clauses out of 278066 with flag 44588335/9860001
400.18/398.98	c cleaning 140015 clauses out of 280079 with flag 45163038/10001001
407.37/406.18	c cleaning 140997 clauses out of 282063 with flag 45718459/10143000
415.15/414.00	c cleaning 142023 clauses out of 284066 with flag 46275924/10286000
423.33/422.10	c cleaning 143005 clauses out of 286044 with flag 46856123/10430001
431.41/430.22	c cleaning 143996 clauses out of 288038 with flag 47436429/10575000
439.29/438.11	c cleaning 145005 clauses out of 290043 with flag 48013037/10721001
447.57/446.48	c cleaning 146008 clauses out of 292040 with flag 48593329/10868003
455.45/454.37	c cleaning 147005 clauses out of 294030 with flag 49162851/11016001
463.33/462.23	c cleaning 147986 clauses out of 296025 with flag 49737174/11165001
471.32/470.25	c cleaning 149001 clauses out of 298039 with flag 50317127/11315001
479.67/478.57	c cleaning 149999 clauses out of 300038 with flag 50893288/11466001
487.75/486.67	c cleaning 150988 clauses out of 302038 with flag 51479196/11618000
495.94/494.86	c cleaning 151986 clauses out of 304050 with flag 52058128/11771000
504.23/503.11	c cleaning 153016 clauses out of 306064 with flag 52648952/11925000
512.91/511.84	c cleaning 154015 clauses out of 308048 with flag 53252983/12080000
521.29/520.22	c cleaning 155002 clauses out of 310034 with flag 53846319/12236001
529.98/528.95	c cleaning 155989 clauses out of 312031 with flag 54463753/12393000
538.46/537.43	c cleaning 156987 clauses out of 314043 with flag 55065981/12551001
546.94/545.99	c cleaning 157980 clauses out of 316055 with flag 55669296/12710000
556.32/555.38	c cleaning 159027 clauses out of 318076 with flag 56298544/12870001
565.79/564.86	c cleaning 159997 clauses out of 320048 with flag 56927487/13031000
574.77/573.85	c cleaning 160988 clauses out of 322051 with flag 57545576/13193000
583.56/582.52	c cleaning 162016 clauses out of 324064 with flag 58149470/13356001
591.95/590.90	c cleaning 162998 clauses out of 326047 with flag 58761333/13520000
601.23/600.23	c cleaning 164009 clauses out of 328050 with flag 59395328/13685001
610.11/609.12	c cleaning 165003 clauses out of 330041 with flag 60026278/13851001
619.79/618.81	c cleaning 165991 clauses out of 332037 with flag 60670679/14018000
629.08/628.16	c cleaning 167006 clauses out of 334046 with flag 61307332/14186000
639.36/638.48	c cleaning 167993 clauses out of 336041 with flag 61956811/14355001
648.94/648.10	c cleaning 168996 clauses out of 338048 with flag 62589155/14525001
658.32/657.43	c cleaning 169998 clauses out of 340051 with flag 63218969/14696000
667.70/666.85	c cleaning 171000 clauses out of 342054 with flag 63857365/14868001
677.99/677.15	c cleaning 172011 clauses out of 344053 with flag 64522779/15041000
687.06/686.14	c cleaning 172982 clauses out of 346042 with flag 65159676/15215000
696.64/695.73	c cleaning 174004 clauses out of 348060 with flag 65810039/15390000
706.72/705.87	c cleaning 175003 clauses out of 350057 with flag 66475240/15566001
716.40/715.59	c cleaning 176013 clauses out of 352054 with flag 67121940/15743001
725.78/724.97	c cleaning 177008 clauses out of 354040 with flag 67772219/15921000
735.77/734.98	c cleaning 178000 clauses out of 356032 with flag 68417511/16100000
746.15/745.34	c cleaning 178991 clauses out of 358032 with flag 69081030/16280000
756.53/755.78	c cleaning 180007 clauses out of 360041 with flag 69767250/16461000
767.01/766.20	c cleaning 181001 clauses out of 362035 with flag 70434369/16643001
778.30/777.53	c cleaning 181998 clauses out of 364035 with flag 71119303/16826002
788.48/787.75	c cleaning 183008 clauses out of 366035 with flag 71786806/17010000
799.16/798.41	c cleaning 184001 clauses out of 368027 with flag 72476254/17195000
809.83/809.14	c cleaning 184984 clauses out of 370026 with flag 73154024/17381000
821.12/820.35	c cleaning 186004 clauses out of 372042 with flag 73850517/17568000
831.30/830.55	c cleaning 187003 clauses out of 374038 with flag 74532200/17756000
842.27/841.57	c cleaning 188001 clauses out of 376036 with flag 75228289/17945001
854.25/853.50	c cleaning 189007 clauses out of 378034 with flag 75946672/18135000
864.84/864.14	c cleaning 189999 clauses out of 380027 with flag 76641129/18326000
876.82/876.15	c cleaning 190996 clauses out of 382029 with flag 77359043/18518001
887.69/887.06	c cleaning 191987 clauses out of 384032 with flag 78061634/18711000
899.27/898.61	c cleaning 192994 clauses out of 386045 with flag 78768091/18905000
910.05/909.43	c cleaning 194011 clauses out of 388052 with flag 79468429/19100001
921.13/920.56	c cleaning 195013 clauses out of 390041 with flag 80175058/19296001
933.41/932.89	c cleaning 196004 clauses out of 392029 with flag 80908692/19493002
944.60/944.07	c cleaning 196995 clauses out of 394024 with flag 81618438/19691001
956.55/955.54	c cleaning 198001 clauses out of 396029 with flag 82340693/19890001
967.22/966.24	c cleaning 199002 clauses out of 398027 with flag 83054388/20090000
978.31/977.31	c cleaning 199992 clauses out of 400025 with flag 83774980/20291000
989.29/988.39	c cleaning 201004 clauses out of 402036 with flag 84507795/20493003
999.87/998.97	c cleaning 201981 clauses out of 404029 with flag 85245488/20696000
1010.95/1010.01	c cleaning 203012 clauses out of 406050 with flag 85980256/20900002
1021.43/1020.56	c cleaning 204002 clauses out of 408036 with flag 86704276/21105000
1033.01/1032.15	c cleaning 205010 clauses out of 410035 with flag 87441797/21311001
1044.79/1043.97	c cleaning 205999 clauses out of 412025 with flag 88203937/21518001
1055.69/1054.84	c cleaning 206994 clauses out of 414025 with flag 88942103/21726000
1066.67/1065.89	c cleaning 208001 clauses out of 416031 with flag 89684006/21935000
1077.76/1076.99	c cleaning 208994 clauses out of 418031 with flag 90418233/22145001
1089.23/1088.45	c cleaning 210005 clauses out of 420036 with flag 91166584/22356000
1101.12/1100.34	c cleaning 210993 clauses out of 422031 with flag 91934306/22568000
1111.99/1111.29	c cleaning 212014 clauses out of 424039 with flag 92686649/22781001
1124.27/1123.57	c cleaning 213008 clauses out of 426025 with flag 93469318/22995001
1135.85/1135.11	c cleaning 213997 clauses out of 428016 with flag 94230964/23210000
1147.22/1146.50	c cleaning 214989 clauses out of 430020 with flag 95000585/23426001
1158.49/1157.84	c cleaning 216002 clauses out of 432030 with flag 95774162/23643000
1171.37/1170.71	c cleaning 216992 clauses out of 434028 with flag 96571608/23861000
1184.14/1183.58	c cleaning 217995 clauses out of 436038 with flag 97361539/24080002
1196.39/1195.76	c cleaning 219007 clauses out of 438041 with flag 98144740/24300000
1210.36/1209.77	c cleaning 219993 clauses out of 440034 with flag 98960555/24521000
1223.25/1222.60	c cleaning 221006 clauses out of 442041 with flag 99754149/24743000
1235.92/1235.33	c cleaning 221999 clauses out of 444035 with flag 100550703/24966000
1249.79/1249.25	c cleaning 223003 clauses out of 446039 with flag 101360571/25190003
1264.07/1263.56	c cleaning 223996 clauses out of 448033 with flag 102179681/25415000
1278.74/1278.20	c cleaning 224999 clauses out of 450037 with flag 103020071/25641000
1292.82/1292.38	c cleaning 226008 clauses out of 452039 with flag 103850411/25868001
1306.60/1306.15	c cleaning 227010 clauses out of 454031 with flag 104674929/26096001
1319.87/1319.47	c cleaning 227998 clauses out of 456022 with flag 105493847/26325002
1334.04/1333.62	c cleaning 228998 clauses out of 458023 with flag 106335718/26555001
1349.01/1348.68	c cleaning 229995 clauses out of 460025 with flag 107183090/26786001
1364.31/1363.89	c cleaning 230992 clauses out of 462030 with flag 108041990/27018001
1378.89/1378.43	c cleaning 232001 clauses out of 464038 with flag 108897851/27251001
1394.16/1393.72	c cleaning 233013 clauses out of 466037 with flag 109770945/27485001
1409.24/1408.84	c cleaning 233991 clauses out of 468024 with flag 110632562/27720001
1424.90/1424.54	c cleaning 235002 clauses out of 470032 with flag 111536434/27956000
1440.68/1440.36	c cleaning 236003 clauses out of 472030 with flag 112427675/28193000
1456.94/1456.66	c cleaning 236997 clauses out of 474028 with flag 113320726/28431001
1473.41/1473.10	c cleaning 238006 clauses out of 476031 with flag 114234156/28670001
1490.86/1490.65	c cleaning 239013 clauses out of 478025 with flag 115163520/28910001
1508.62/1508.43	c cleaning 239988 clauses out of 480012 with flag 116099542/29151001
1525.38/1525.24	c cleaning 240992 clauses out of 482023 with flag 117017246/29393000
1542.74/1542.57	c cleaning 242000 clauses out of 484032 with flag 117946457/29636001
1560.10/1559.95	c cleaning 243005 clauses out of 486032 with flag 118875240/29880001
1577.27/1577.16	c cleaning 243992 clauses out of 488026 with flag 119808404/30125000
1595.32/1595.27	c cleaning 245004 clauses out of 490035 with flag 120749057/30371001
1613.18/1613.17	c cleaning 246006 clauses out of 492032 with flag 121691321/30618002
1630.44/1630.45	c cleaning 246989 clauses out of 494025 with flag 122619078/30866001
1647.20/1647.22	c cleaning 248011 clauses out of 496035 with flag 123564330/31115000
1664.87/1664.99	c cleaning 249000 clauses out of 498024 with flag 124496481/31365000
1681.93/1682.02	c cleaning 249988 clauses out of 500025 with flag 125436928/31616001
1699.78/1699.94	c cleaning 251001 clauses out of 502036 with flag 126388506/31868000
1716.68/1716.74	c cleaning 252010 clauses out of 504035 with flag 127322968/32121000
1734.44/1734.55	c cleaning 252988 clauses out of 506026 with flag 128273678/32375001
1752.41/1752.56	c cleaning 254004 clauses out of 508038 with flag 129237734/32630001
1770.56/1770.71	c cleaning 254998 clauses out of 510033 with flag 130199195/32886000
1788.72/1788.98	c cleaning 255995 clauses out of 512035 with flag 131167523/33143000
1806.19/1806.43	c cleaning 257000 clauses out of 514042 with flag 132122594/33401002
1823.45/1823.75	c cleaning 258011 clauses out of 516041 with flag 133082498/33660001
1840.22/1840.54	c cleaning 258998 clauses out of 518029 with flag 134036514/33920000
1858.47/1858.82	c cleaning 260003 clauses out of 520031 with flag 135004322/34181000
1876.39/1876.66	c cleaning 260997 clauses out of 522028 with flag 135981570/34443000
1894.45/1894.78	c cleaning 261999 clauses out of 524031 with flag 136962900/34706000
1912.22/1912.54	c cleaning 263008 clauses out of 526032 with flag 137951369/34970000
1930.39/1930.77	c cleaning 263997 clauses out of 528024 with flag 138947464/35235000
1948.66/1949.10	c cleaning 264999 clauses out of 530028 with flag 139949159/35501001
1966.83/1967.25	c cleaning 265999 clauses out of 532028 with flag 140959855/35768000
1986.88/1987.39	c cleaning 267004 clauses out of 534030 with flag 141984588/36036001
2005.26/2005.74	c cleaning 267999 clauses out of 536026 with flag 143008428/36305001
2025.93/2026.36	c cleaning 268997 clauses out of 538026 with flag 144048261/36575000
2045.49/2045.92	c cleaning 270000 clauses out of 540030 with flag 145111135/36846001
2065.76/2066.21	c cleaning 271007 clauses out of 542030 with flag 146185069/37118001
2086.53/2087.09	c cleaning 271999 clauses out of 544022 with flag 147248839/37391000
2108.08/2108.63	c cleaning 272997 clauses out of 546023 with flag 148325975/37665000
2129.64/2130.25	c cleaning 273997 clauses out of 548027 with flag 149411356/37940001
2150.80/2151.48	c cleaning 275002 clauses out of 550030 with flag 150507842/38216001
2171.05/2171.73	c cleaning 275999 clauses out of 552027 with flag 151590193/38493000
2193.31/2194.06	c cleaning 277001 clauses out of 554030 with flag 152695553/38771002
2214.96/2215.72	c cleaning 278005 clauses out of 556027 with flag 153803055/39050000
2240.83/2241.55	c cleaning 279003 clauses out of 558023 with flag 154979507/39330001
2268.59/2269.32	c cleaning 280006 clauses out of 560019 with flag 156163987/39611000
2297.52/2298.33	c cleaning 281003 clauses out of 562013 with flag 157388954/39893000
2328.95/2329.83	c cleaning 281997 clauses out of 564010 with flag 158619970/40176000
2354.97/2355.41	c starts		: 28914
2354.97/2355.41	c conflicts		: 40443724
2354.97/2355.41	c decisions		: 56962985
2354.97/2355.41	c propagations		: 355930427
2354.97/2355.41	c inspects		: 42392880985
2354.97/2355.41	c shortcuts		: 0
2354.97/2355.41	c learnt literals	: 14
2354.97/2355.41	c learnt binary clauses	: 12
2354.97/2355.41	c learnt ternary clauses	: 19
2354.97/2355.41	c learnt constraints	: 40443709
2354.97/2355.41	c ignored constraints	: 0
2354.97/2355.41	c root simplifications	: 0
2354.97/2355.41	c removed literals (reason simplification)	: 0
2354.97/2355.41	c reason swapping (by a shorter reason)	: 0
2354.97/2355.41	c Calls to reduceDB	: 279
2354.97/2355.41	c Number of update (reduction) of LBD	: 8915748
2354.97/2355.41	c Imported unit clauses	: 0
2354.97/2355.41	c No decision after first conflict	: false
2354.97/2355.41	c number of reductions to clauses (during analyze)	: 0
2354.97/2355.41	c number of learned constraints concerned by reduction	: 0
2354.97/2355.41	c number of learning phase by resolution	: 0
2354.97/2355.41	c number of learning phase by cutting planes	: 0
2354.97/2355.41	c number of rounding to 1 operations	: 0
2354.97/2355.41	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2354.97/2355.41	c number of reductions of the coefficients by power 2 	: 0
2354.97/2355.41	c number of right shift for reduction by power 2 	: 0
2354.97/2355.41	c number of reductions of the coefficients by GCD over coefficients 	: 0
2354.97/2355.41	c number of ending skipping 	: 0
2354.97/2355.41	c number of internal skipping 	: 0
2354.97/2355.41	c number of derivation steps 	: 0
2354.97/2355.41	c number of skipped derivation steps 	: 0
2354.97/2355.41	c number of remaining unassigned 	: 0
2354.97/2355.41	c number of remaining assigned 	: 0
2354.97/2355.41	c number of falsified literals weakened from reason	: 0
2354.97/2355.41	c number of falsified literals weakened from conflict	: 0
2354.97/2355.41	c time for arithmetic operations	: 0
2354.97/2355.41	c minimum degree of deleted constraints	: null
2354.97/2355.41	c maximum degree of deleted constraints	: null
2354.97/2355.41	c number of deleted constraints	: 0
2354.97/2355.41	c speed (assignments/second)	: 151123.36199718836
2354.97/2355.41	c non guided choices	: 3991967
2354.97/2355.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 549710
2354.97/2355.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
2354.97/2355.48	s UNSATISFIABLE
2354.97/2355.48	c Total wall clock time (in seconds): 2355.355

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451014-1721425640/watcher-4451014-1721425640 -o /tmp/evaluation-result-4451014-1721425640/solver-4451014-1721425640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451014-1721425640.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
Current StackSize limit: 8192 KiB

solver pid=1075114, runsolver pid=1075111

[startup+0.100165 s]*
/proc/loadavg: 1.11 1.12 1.66 6/327 1075132
/proc/meminfo: memFree=126845664/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=18975048 memory=65212 CPUtime=0.13 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 7209 0 0 0 12 1 0 0 20 0 18 0 194732123 19430449152 16303 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4743762 16303 5700 1 0 549319 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 1077936192 5747 0 0 0 7 1 0 0 20 0 18 0 194732123 19430449152 16303 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194732125 19430449152 16303 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194732126 19430449152 16303 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65212 KiB

[startup+0.206183 s]*
/proc/loadavg: 1.11 1.12 1.66 7/328 1075133
/proc/meminfo: memFree=126825048/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19041612 memory=85220 CPUtime=0.33 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 7999 0 0 0 31 2 0 0 20 0 19 0 194732123 19498610688 21305 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4760403 21305 5850 1 0 550189 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19041612 memory=6876556183782621315 CPUtime=0.17 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 5960 0 0 0 16 1 0 0 20 0 19 0 194732123 19498610688 21305 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19041612 memory=17016 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732125 19498610688 21305 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732126 19498610688 21305 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732141 19498610688 21305 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 85220 KiB

[startup+0.306183 s]*
/proc/loadavg: 1.11 1.12 1.66 9/328 1075133
/proc/meminfo: memFree=126812860/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19041612 memory=91748 CPUtime=0.52 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 10747 0 0 0 50 2 0 0 20 0 19 0 194732123 19498610688 22937 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4760403 22937 5850 1 0 551788 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19041612 memory=-7451026891044317798 CPUtime=0.27 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 5966 0 0 0 26 1 0 0 20 0 19 0 194732123 19498610688 22937 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732125 19498610688 22937 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732126 19498610688 22937 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732141 19498610688 22937 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91748 KiB

[startup+0.701183 s]
/proc/loadavg: 1.11 1.12 1.66 7/328 1075133
/proc/meminfo: memFree=126800724/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19041612 memory=110904 CPUtime=1.28 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 17299 0 0 0 125 3 0 0 20 0 19 0 194732123 19498610688 27726 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4760403 27726 5866 1 0 554937 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19041612 memory=46816 CPUtime=0.64 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 6015 0 0 0 63 1 0 0 20 0 19 0 194732123 19498610688 27726 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732125 19498610688 27726 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732126 19498610688 27726 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732141 19498610688 27726 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110904 KiB

[startup+1.50021 s]
/proc/loadavg: 1.11 1.12 1.66 6/328 1075135
/proc/meminfo: memFree=126762956/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19041612 memory=125880 CPUtime=2.55 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 21033 0 0 0 251 4 0 0 20 0 19 0 194732123 19498610688 31470 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4760403 31470 5866 1 0 554942 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19041612 memory=13116 CPUtime=1.43 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 6395 0 0 0 142 1 0 0 20 0 19 0 194732123 19498610688 31470 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732125 19498610688 31470 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732126 19498610688 31470 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732141 19498610688 31470 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125880 KiB

[startup+3.10557 s]
/proc/loadavg: 1.11 1.12 1.66 5/328 1075135
/proc/meminfo: memFree=126664196/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19041612 memory=148540 CPUtime=4.21 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 21864 0 0 0 416 5 0 0 20 0 19 0 194732123 19498610688 37135 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4760403 37135 5866 1 0 554961 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19041612 memory=0 CPUtime=3.03 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 6690 0 0 0 301 2 0 0 20 0 19 0 194732123 19498610688 37135 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19041612 memory=-7451026891044317798 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194732125 19498610688 37135 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194732126 19498610688 37135 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194732141 19498610688 37135 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148540 KiB

[startup+6.30026 s]
/proc/loadavg: 1.34 1.17 1.67 5/330 1075137
/proc/meminfo: memFree=126589188/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=176992 CPUtime=7.41 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 23196 0 0 0 735 6 0 0 20 0 20 0 194732123 19566772224 44248 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 44248 5882 1 0 555250 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=2212 CPUtime=6.21 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 6731 0 0 0 618 3 0 0 20 0 20 0 194732123 19566772224 44248 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 44248 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 44248 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 44248 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176992 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.21 1.69 5/332 1075140
/proc/meminfo: memFree=126542972/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=185524 CPUtime=13.81 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 25666 0 0 0 1374 7 0 0 20 0 20 0 194732123 19566772224 46381 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 46381 5930 1 0 555250 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=13116 CPUtime=12.57 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 7473 0 0 0 1254 3 0 0 20 0 20 0 194732123 19566772224 46381 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=177072 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 46381 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 46381 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 46381 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 13.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185524 KiB

[startup+25.5003 s]
/proc/loadavg: 2.10 1.35 1.72 5/332 1075142
/proc/meminfo: memFree=126478812/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=210148 CPUtime=26.61 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 27699 0 0 0 2653 8 0 0 20 0 20 0 194732123 19566772224 52537 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 52537 5930 1 0 555250 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=6943526294502006880 CPUtime=25.32 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 8327 0 0 0 2529 3 0 0 20 0 20 0 194732123 19566772224 52537 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=148773403 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 52537 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 52537 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=3522 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 52537 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 26.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 210148 KiB

[startup+51.1057 s]
/proc/loadavg: 2.80 1.58 1.79 5/332 1075146
/proc/meminfo: memFree=126153840/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=280076 CPUtime=52.22 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 31952 0 0 0 5212 10 0 0 20 0 20 0 194732123 19566772224 70019 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 70019 5930 1 0 555250 0

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

# Child status: 20

# cumulated CPU time of all completed processes:  user=2353.94 s, system=1.17187 s

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

[startup+2329.6 s]
/proc/loadavg: 4.14 4.12 3.97 5/334 1077127
/proc/meminfo: memFree=121318928/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=2328.75 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 118927 0 0 0 232761 114 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 475871 5930 1 0 558973 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=11396 CPUtime=2321.34 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 49653 0 0 0 232121 13 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1900 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2446 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2328.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1903484 KiB

[startup+2342.4 s]
/proc/loadavg: 4.20 4.14 3.97 5/334 1077130
/proc/meminfo: memFree=121289856/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=2341.53 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 119267 0 0 0 234038 115 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 475871 5930 1 0 558973 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=2334.11 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 49985 0 0 0 233398 13 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2446 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2341.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1903484 KiB

[startup+2348.8 s]
/proc/loadavg: 4.18 4.13 3.97 5/334 1077131
/proc/meminfo: memFree=121289804/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=2347.91 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 119408 0 0 0 234676 115 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 475871 5930 1 0 558973 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=0 CPUtime=2340.49 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 50034 0 0 0 234036 13 0 0 20 0 20 0 194732123 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 475871 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2347.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1903484 KiB

[startup+2352 s]*
/proc/loadavg: 4.25 4.15 3.98 5/334 1077132
/proc/meminfo: memFree=121286924/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1906248 CPUtime=2351.29 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 123783 0 0 0 235014 115 0 0 20 0 20 0 194732123 19566772224 476562 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 476562 5930 1 0 558984 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=-7306911702968001127 CPUtime=2343.68 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 50966 0 0 0 234355 13 0 0 20 0 20 0 194732123 19566772224 476562 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=2664 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 476562 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=5024 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 476562 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1903528 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 476562 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2351.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1906248 KiB

[startup+2353.6 s]
/proc/loadavg: 4.25 4.15 3.98 5/334 1077132
/proc/meminfo: memFree=121284908/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1908268 CPUtime=2353.06 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 124472 0 0 0 235191 115 0 0 20 0 20 0 194732123 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 477067 5946 1 0 558984 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=-7451026891044317798 CPUtime=2345.27 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 51012 0 0 0 234514 13 0 0 20 0 20 0 194732123 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1906248 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1935580 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2353.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1908268 KiB

[startup+2354.4 s]
/proc/loadavg: 4.23 4.14 3.98 5/334 1077132
/proc/meminfo: memFree=121247932/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1908268 CPUtime=2353.89 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 124480 0 0 0 235274 115 0 0 20 0 20 0 194732123 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 477067 5946 1 0 558984 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=46816 CPUtime=2346.07 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 51014 0 0 0 234594 13 0 0 20 0 20 0 194732123 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=-7451026891044317798 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=16871 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=4259 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 477067 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2353.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1908268 KiB

[startup+2355.2 s]
/proc/loadavg: 4.23 4.14 3.98 5/334 1077132
/proc/meminfo: memFree=121251116/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1904864 CPUtime=2354.76 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 124543 0 0 0 235361 115 0 0 20 0 20 0 194732123 19566772224 476216 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 476216 5946 1 0 558984 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=11396 CPUtime=2346.87 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 51043 0 0 0 234674 13 0 0 20 0 20 0 194732123 19566772224 476216 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=1899376 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 476216 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 476216 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 476216 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2354.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1904864 KiB

[startup+2355.4 s]
/proc/loadavg: 4.23 4.14 3.98 5/334 1077132
/proc/meminfo: memFree=121251116/131524600 swapFree=131071996/131071996
[pid=1075114] ppid=1075111 vsize=19108176 memory=1905180 CPUtime=2354.97 cores=4,6
/proc/1075114/stat : 1075114 (java) S 1075111 1075114 1074922 0 -1 1077936128 125401 0 0 0 235381 116 0 0 20 0 20 0 194732123 19566772224 476295 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
/proc/1075114/statm: 4777044 476295 5945 1 0 559000 0
[pid=1075114/tid=1075116] ppid=1075111 vsize=19108176 memory=1790700 CPUtime=2347.07 cores=4,6
/proc/1075114/task/1075116/stat : 1075116 (java) R 1075111 1075114 1074922 0 -1 4194368 51864 0 0 0 234694 13 0 0 20 0 20 0 194732123 19566772224 476295 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075125] ppid=1075111 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1075114/task/1075125/stat : 1075125 (Finalizer) S 1075111 1075114 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194732125 19566772224 476295 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075132] ppid=1075111 vsize=19108176 memory=1903484 CPUtime=0 cores=4,6
/proc/1075114/task/1075132/stat : 1075132 (Common-Cleaner) S 1075111 1075114 1074922 0 -1 1077936192 2538 0 0 0 0 0 0 0 20 0 20 0 194732126 19566772224 476295 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
[pid=1075114/tid=1075133] ppid=1075111 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/1075114/task/1075133/stat : 1075133 (Timer-0) S 1075111 1075114 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194732141 19566772224 476295 134679101440 94655999553536 94655999557232 140728986238656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94655999565048 94655999565840 94656030765056 140728986244101 140728986244191 140728986244191 140728986251208 0
Current children cumulated CPU time: 2354.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1905180 KiB

[startup+2355.5 s]*
/proc/loadavg: 4.23 4.14 3.98 5/316 1077134
/proc/meminfo: memFree=123100564/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 2355.51
CPU time (s): 2355.12
CPU user time (s): 2353.94
CPU system time (s): 1.17187
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 1908268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2353.94
system time used= 1.17187
maximum resident set size= 1908268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68306
involuntary context switches= 1305


# summary of solver processes directly reported to runsolver:
#   pid: 1075114
#   total CPU time (s): 2355.12
#   total CPU user time (s): 2353.94
#   total CPU system time (s): 1.17187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12622 second user time and 11.8531 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-19 23:47:33
IDJOB=4451014
IDBENCH=162339
IDSOLVER=3058
FILE ID=nodeC030/4451014-1721425640
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-ECgrid5x130split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451014-1721425640/watcher-4451014-1721425640 -o /tmp/evaluation-result-4451014-1721425640/solver-4451014-1721425640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451014-1721425640.opb

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

MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
RANDOM SEED=1298482749

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		: 3668.304
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		: 3641.285
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		: 3668.179
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.631
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		: 3646.582
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		: 3641.329
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		: 3646.859
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.912
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:        126897912 kB
MemAvailable:   129355652 kB
Buffers:          515120 kB
Cached:          2763380 kB
SwapCached:            0 kB
Active:          1173740 kB
Inactive:        2781988 kB
Active(anon):       1540 kB
Inactive(anon):   721576 kB
Active(file):    1172200 kB
Inactive(file):  2060412 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4512 kB
Writeback:             0 kB
AnonPages:        676876 kB
Mapped:           126772 kB
Shmem:             45912 kB
KReclaimable:     129904 kB
Slab:             247944 kB
SReclaimable:     129904 kB
SUnreclaim:       118040 kB
KernelStack:        4992 kB
PageTables:        11408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7322608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    391168 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:26:49