Trace number 4451104

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 2269.4 2269.59

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark53.2646
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.13/0.11	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.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4451104-1721429135.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.039s.
0.13/0.17	c declared #vars     1401
0.13/0.17	c #constraints  1402
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 => 1400
0.13/0.17	c 1402 constraints processed.
0.52/0.39	c cleaning 2494 clauses out of 5000 with flag 20890/5000
0.91/0.60	c cleaning 4204 clauses out of 8507 with flag 44666/11001
1.28/0.76	c cleaning 5588 clauses out of 11302 with flag 78947/18000
1.49/0.86	c cleaning 6845 clauses out of 13714 with flag 118221/26000
1.68/0.97	c cleaning 7909 clauses out of 15869 with flag 166991/35000
2.01/1.11	c cleaning 8953 clauses out of 17960 with flag 220738/45000
2.14/1.27	c cleaning 9996 clauses out of 20007 with flag 280182/56000
2.37/1.44	c cleaning 10975 clauses out of 22011 with flag 352467/68000
2.57/1.63	c cleaning 11971 clauses out of 24036 with flag 424558/81000
2.78/1.83	c cleaning 13012 clauses out of 26065 with flag 500083/95000
2.97/2.03	c cleaning 13990 clauses out of 28053 with flag 580825/110000
3.16/2.27	c cleaning 14960 clauses out of 30064 with flag 669423/126001
3.51/2.53	c cleaning 15985 clauses out of 32103 with flag 766523/143000
3.73/2.79	c cleaning 17044 clauses out of 34118 with flag 865826/161000
4.03/3.08	c cleaning 17984 clauses out of 36074 with flag 973756/180000
4.42/3.40	c cleaning 18991 clauses out of 38090 with flag 1091339/200000
4.72/3.72	c cleaning 19988 clauses out of 40099 with flag 1206912/221000
5.02/4.09	c cleaning 21041 clauses out of 42111 with flag 1336672/243000
5.42/4.48	c cleaning 21968 clauses out of 44070 with flag 1470775/266000
5.92/4.92	c cleaning 22995 clauses out of 46103 with flag 1615765/290001
6.33/5.35	c cleaning 24030 clauses out of 48107 with flag 1756680/315000
6.73/5.79	c cleaning 24996 clauses out of 50078 with flag 1901054/341001
7.22/6.24	c cleaning 26003 clauses out of 52082 with flag 2047013/368001
7.72/6.75	c cleaning 26977 clauses out of 54079 with flag 2204361/396001
8.31/7.33	c cleaning 27985 clauses out of 56103 with flag 2374124/425002
8.81/7.83	c cleaning 28978 clauses out of 58118 with flag 2535804/455002
9.30/8.37	c cleaning 30006 clauses out of 60138 with flag 2702081/486000
9.90/9.00	c cleaning 31040 clauses out of 62132 with flag 2878978/518000
10.59/9.62	c cleaning 31997 clauses out of 64092 with flag 3057191/551000
11.19/10.27	c cleaning 32992 clauses out of 66095 with flag 3238142/585000
11.88/10.94	c cleaning 34034 clauses out of 68103 with flag 3428645/620000
12.58/11.64	c cleaning 34990 clauses out of 70070 with flag 3624145/656001
13.39/12.40	c cleaning 36008 clauses out of 72081 with flag 3825106/693002
14.19/13.25	c cleaning 36991 clauses out of 74072 with flag 4034227/731001
14.99/14.07	c cleaning 38023 clauses out of 76081 with flag 4238529/770001
15.99/15.03	c cleaning 39001 clauses out of 78057 with flag 4451501/810000
16.88/15.92	c cleaning 39947 clauses out of 80056 with flag 4671352/851000
17.78/16.83	c cleaning 41020 clauses out of 82110 with flag 4882516/893001
18.78/17.81	c cleaning 42024 clauses out of 84089 with flag 5110646/936000
19.67/18.77	c cleaning 42978 clauses out of 86066 with flag 5340430/980001
20.78/19.83	c cleaning 43987 clauses out of 88088 with flag 5575329/1025001
21.90/20.91	c cleaning 44974 clauses out of 90100 with flag 5810354/1071000
23.00/22.08	c cleaning 46013 clauses out of 92126 with flag 6054984/1118000
24.19/23.24	c cleaning 47000 clauses out of 94113 with flag 6304796/1166000
25.49/24.52	c cleaning 48041 clauses out of 96114 with flag 6557506/1215001
26.69/25.76	c cleaning 48997 clauses out of 98073 with flag 6803404/1265001
28.09/27.13	c cleaning 49974 clauses out of 100077 with flag 7062448/1316002
29.38/28.46	c cleaning 50966 clauses out of 102101 with flag 7322630/1368000
30.78/29.81	c cleaning 52040 clauses out of 104135 with flag 7582996/1421000
32.19/31.24	c cleaning 52973 clauses out of 106095 with flag 7848782/1475000
33.60/32.69	c cleaning 53999 clauses out of 108122 with flag 8122511/1530000
35.10/34.17	c cleaning 55019 clauses out of 110123 with flag 8390250/1586000
36.59/35.69	c cleaning 56015 clauses out of 112105 with flag 8673887/1643001
38.19/37.29	c cleaning 56986 clauses out of 114089 with flag 8959951/1701000
39.89/38.95	c cleaning 58024 clauses out of 116104 with flag 9246782/1760001
41.61/40.69	c cleaning 59002 clauses out of 118079 with flag 9552358/1820000
43.52/42.58	c cleaning 60009 clauses out of 120079 with flag 9865243/1881002
45.41/44.46	c cleaning 61018 clauses out of 122069 with flag 10179082/1943001
47.21/46.20	c cleaning 61956 clauses out of 124051 with flag 10484454/2006001
49.01/48.10	c cleaning 63027 clauses out of 126094 with flag 10787246/2070000
50.90/49.99	c cleaning 64007 clauses out of 128067 with flag 11105566/2135000
52.94/51.95	c cleaning 65008 clauses out of 130060 with flag 11425840/2201000
54.93/53.95	c cleaning 65964 clauses out of 132053 with flag 11747554/2268001
56.93/55.96	c cleaning 66999 clauses out of 134088 with flag 12072353/2336000
58.93/58.00	c cleaning 68035 clauses out of 136089 with flag 12404187/2405000
61.13/60.18	c cleaning 68981 clauses out of 138054 with flag 12744416/2475000
63.42/62.49	c cleaning 69992 clauses out of 140073 with flag 13081126/2546000
65.82/64.81	c cleaning 70997 clauses out of 142081 with flag 13429742/2618000
68.02/67.07	c cleaning 72000 clauses out of 144084 with flag 13776738/2691000
70.42/69.47	c cleaning 72994 clauses out of 146086 with flag 14125562/2765002
72.82/71.88	c cleaning 74020 clauses out of 148090 with flag 14475973/2840000
75.31/74.30	c cleaning 75025 clauses out of 150071 with flag 14836964/2916001
77.83/76.84	c cleaning 75969 clauses out of 152045 with flag 15205339/2993000
80.44/79.43	c cleaning 76986 clauses out of 154077 with flag 15570295/3071001
82.93/81.99	c cleaning 78022 clauses out of 156090 with flag 15938406/3150000
85.73/84.72	c cleaning 78995 clauses out of 158068 with flag 16311047/3230000
88.53/87.55	c cleaning 79992 clauses out of 160074 with flag 16687874/3311001
91.32/90.38	c cleaning 80996 clauses out of 162081 with flag 17073914/3393000
94.22/93.20	c cleaning 82029 clauses out of 164085 with flag 17463709/3476000
97.02/96.08	c cleaning 83020 clauses out of 166057 with flag 17846167/3560001
99.91/98.95	c cleaning 83992 clauses out of 168037 with flag 18229872/3645001
103.01/102.00	c cleaning 84977 clauses out of 170044 with flag 18624941/3731000
106.11/105.10	c cleaning 85981 clauses out of 172069 with flag 19017095/3818002
109.20/108.20	c cleaning 86999 clauses out of 174086 with flag 19419728/3906000
112.29/111.39	c cleaning 88007 clauses out of 176088 with flag 19825108/3995001
115.61/114.66	c cleaning 89011 clauses out of 178082 with flag 20230864/4085002
119.01/118.03	c cleaning 90031 clauses out of 180071 with flag 20658625/4176002
122.19/121.30	c cleaning 90986 clauses out of 182038 with flag 21079412/4268000
125.59/124.63	c cleaning 92004 clauses out of 184053 with flag 21496220/4361001
129.09/128.11	c cleaning 92986 clauses out of 186048 with flag 21919702/4455000
132.48/131.54	c cleaning 94032 clauses out of 188066 with flag 22351543/4550004
136.27/135.30	c cleaning 94967 clauses out of 190030 with flag 22800928/4646000
139.86/138.95	c cleaning 95994 clauses out of 192063 with flag 23240165/4743000
143.55/142.62	c cleaning 96990 clauses out of 194069 with flag 23676380/4841000
147.18/146.25	c cleaning 98021 clauses out of 196081 with flag 24112945/4940002
150.98/150.05	c cleaning 98997 clauses out of 198058 with flag 24560006/5040000
154.66/153.79	c cleaning 99996 clauses out of 200062 with flag 25002602/5141001
158.56/157.67	c cleaning 101020 clauses out of 202066 with flag 25448755/5243001
162.66/161.71	c cleaning 101975 clauses out of 204045 with flag 25898834/5346000
166.85/165.99	c cleaning 102985 clauses out of 206071 with flag 26360991/5450001
171.31/170.38	c cleaning 103996 clauses out of 208085 with flag 26826015/5555000
175.50/174.50	c cleaning 105016 clauses out of 210090 with flag 27285867/5661001
179.59/178.61	c cleaning 106015 clauses out of 212074 with flag 27751285/5768001
183.78/182.86	c cleaning 107012 clauses out of 214058 with flag 28222132/5876000
187.87/186.98	c cleaning 107979 clauses out of 216046 with flag 28681698/5985000
192.36/191.46	c cleaning 108993 clauses out of 218068 with flag 29165824/6095001
197.09/196.12	c cleaning 110005 clauses out of 220075 with flag 29648934/6206001
201.67/200.77	c cleaning 110989 clauses out of 222069 with flag 30132647/6318000
206.56/205.63	c cleaning 112015 clauses out of 224082 with flag 30630930/6431002
211.15/210.27	c cleaning 112992 clauses out of 226067 with flag 31111457/6545002
216.14/215.26	c cleaning 114013 clauses out of 228074 with flag 31609147/6660001
221.18/220.25	c cleaning 114983 clauses out of 230060 with flag 32118279/6776000
226.07/225.14	c cleaning 116000 clauses out of 232078 with flag 32616771/6893001
231.15/230.26	c cleaning 117006 clauses out of 234078 with flag 33116577/7011001
236.34/235.45	c cleaning 117976 clauses out of 236072 with flag 33616242/7130001
241.24/240.38	c cleaning 119014 clauses out of 238095 with flag 34117451/7250000
246.22/245.38	c cleaning 120004 clauses out of 240081 with flag 34612901/7371000
251.51/250.62	c cleaning 121024 clauses out of 242077 with flag 35121365/7493000
257.19/256.36	c cleaning 121994 clauses out of 244054 with flag 35642861/7616001
262.92/262.09	c cleaning 122995 clauses out of 246059 with flag 36168545/7740000
268.60/267.79	c cleaning 124014 clauses out of 248065 with flag 36699414/7865001
274.39/273.59	c cleaning 124989 clauses out of 250051 with flag 37232066/7991001
280.08/279.25	c cleaning 126001 clauses out of 252061 with flag 37754303/8118000
285.97/285.12	c cleaning 126977 clauses out of 254061 with flag 38283452/8246001
291.96/291.19	c cleaning 128000 clauses out of 256084 with flag 38822814/8375001
297.95/297.14	c cleaning 129022 clauses out of 258084 with flag 39355549/8505001
303.83/303.02	c cleaning 129989 clauses out of 260062 with flag 39892276/8636001
310.02/309.23	c cleaning 131009 clauses out of 262074 with flag 40439395/8768002
316.01/315.27	c cleaning 131998 clauses out of 264064 with flag 40984356/8901001
322.36/321.51	c cleaning 133000 clauses out of 266067 with flag 41525739/9035002
328.65/327.83	c cleaning 134010 clauses out of 268065 with flag 42081827/9170000
335.03/334.24	c cleaning 135011 clauses out of 270055 with flag 42632657/9306000
341.71/340.92	c cleaning 135974 clauses out of 272044 with flag 43201731/9443000
348.70/347.90	c cleaning 137014 clauses out of 274071 with flag 43756978/9581001
355.28/354.55	c cleaning 137999 clauses out of 276056 with flag 44310131/9720000
362.07/361.38	c cleaning 138991 clauses out of 278058 with flag 44869350/9860001
368.86/368.20	c cleaning 140016 clauses out of 280069 with flag 45441385/10001003
376.53/375.85	c cleaning 141018 clauses out of 282052 with flag 46018246/10143002
384.08/383.37	c cleaning 141984 clauses out of 284033 with flag 46602244/10286001
391.57/390.84	c cleaning 143013 clauses out of 286048 with flag 47182410/10430000
398.76/398.04	c cleaning 144000 clauses out of 288035 with flag 47747869/10575000
406.34/405.64	c cleaning 144977 clauses out of 290037 with flag 48343356/10721002
413.73/413.05	c cleaning 145993 clauses out of 292058 with flag 48919450/10868000
421.51/420.82	c cleaning 147014 clauses out of 294065 with flag 49508664/11016000
429.49/428.87	c cleaning 147993 clauses out of 296052 with flag 50104786/11165001
437.38/436.71	c cleaning 149009 clauses out of 298058 with flag 50696068/11315000
445.06/444.45	c cleaning 150010 clauses out of 300049 with flag 51284106/11466000
452.15/451.53	c cleaning 151008 clauses out of 302040 with flag 51869657/11618001
460.59/459.91	c cleaning 151988 clauses out of 304032 with flag 52463442/11771001
468.18/467.58	c cleaning 152993 clauses out of 306043 with flag 53057145/11925000
476.06/475.49	c cleaning 153983 clauses out of 308050 with flag 53664347/12080000
484.55/483.93	c cleaning 155017 clauses out of 310067 with flag 54275114/12236000
493.13/492.52	c cleaning 155991 clauses out of 312051 with flag 54892708/12393001
501.31/500.76	c cleaning 157007 clauses out of 314060 with flag 55501360/12551001
509.48/508.95	c cleaning 158007 clauses out of 316053 with flag 56114672/12710001
517.76/517.27	c cleaning 159015 clauses out of 318046 with flag 56737090/12870001
526.05/525.59	c cleaning 159982 clauses out of 320030 with flag 57355247/13031000
534.82/534.31	c cleaning 161009 clauses out of 322048 with flag 57975116/13193000
543.40/542.95	c cleaning 161995 clauses out of 324039 with flag 58599691/13356000
551.99/551.53	c cleaning 163003 clauses out of 326044 with flag 59231219/13520000
560.37/559.80	c cleaning 163996 clauses out of 328041 with flag 59844118/13685000
569.06/568.57	c cleaning 164989 clauses out of 330047 with flag 60481496/13851002
578.14/577.66	c cleaning 166000 clauses out of 332056 with flag 61113905/14018000
586.53/586.01	c cleaning 167015 clauses out of 334057 with flag 61733637/14186001
595.40/594.92	c cleaning 167989 clauses out of 336043 with flag 62371683/14355002
604.39/603.97	c cleaning 168998 clauses out of 338052 with flag 63018072/14525000
613.88/613.43	c cleaning 169997 clauses out of 340056 with flag 63672216/14696002
622.76/622.36	c cleaning 171013 clauses out of 342057 with flag 64311775/14868000
631.94/631.55	c cleaning 171994 clauses out of 344044 with flag 64956029/15041000
641.13/640.71	c cleaning 173001 clauses out of 346050 with flag 65611179/15215000
650.71/650.32	c cleaning 173997 clauses out of 348049 with flag 66273263/15390000
659.69/659.33	c cleaning 175004 clauses out of 350052 with flag 66921946/15566000
669.17/668.79	c cleaning 176004 clauses out of 352048 with flag 67583170/15743000
678.56/678.18	c cleaning 176995 clauses out of 354046 with flag 68254973/15921002
687.84/687.40	c cleaning 177999 clauses out of 356050 with flag 68909723/16100001
697.32/696.97	c cleaning 179007 clauses out of 358050 with flag 69569293/16280000
706.51/706.18	c cleaning 179995 clauses out of 360043 with flag 70235917/16461000
715.89/715.57	c cleaning 181002 clauses out of 362049 with flag 70902958/16643001
724.97/724.63	c cleaning 181994 clauses out of 364046 with flag 71566797/16826000
734.46/734.16	c cleaning 182989 clauses out of 366052 with flag 72239390/17010000
743.74/743.40	c cleaning 184017 clauses out of 368064 with flag 72902947/17195001
752.92/752.60	c cleaning 185002 clauses out of 370047 with flag 73576775/17381001
762.20/761.92	c cleaning 186016 clauses out of 372045 with flag 74248730/17568001
771.08/770.83	c cleaning 186985 clauses out of 374028 with flag 74921438/17756000
780.26/779.97	c cleaning 188008 clauses out of 376043 with flag 75606613/17945000
789.54/789.28	c cleaning 188990 clauses out of 378035 with flag 76296223/18135000
798.53/798.28	c cleaning 190007 clauses out of 380045 with flag 76985819/18326000
807.32/807.07	c cleaning 191010 clauses out of 382038 with flag 77675085/18518000
816.40/816.15	c cleaning 191994 clauses out of 384028 with flag 78372460/18711000
825.57/825.33	c cleaning 192996 clauses out of 386034 with flag 79071839/18905000
834.27/834.08	c cleaning 193999 clauses out of 388038 with flag 79756678/19100000
842.95/842.77	c cleaning 195003 clauses out of 390040 with flag 80446322/19296001
852.03/851.88	c cleaning 196003 clauses out of 392036 with flag 81151516/19493000
861.30/861.17	c cleaning 196997 clauses out of 394034 with flag 81858928/19691001
870.78/870.64	c cleaning 198012 clauses out of 396036 with flag 82561579/19890000
880.09/879.89	c cleaning 198997 clauses out of 398026 with flag 83277740/20090002
889.09/888.88	c cleaning 199989 clauses out of 400028 with flag 83995110/20291001
898.27/898.06	c cleaning 201008 clauses out of 402039 with flag 84709078/20493001
907.45/907.26	c cleaning 201999 clauses out of 404031 with flag 85424416/20696001
916.63/916.42	c cleaning 203004 clauses out of 406032 with flag 86144288/20900001
925.71/925.58	c cleaning 203993 clauses out of 408028 with flag 86869541/21105001
935.00/934.87	c cleaning 205002 clauses out of 410034 with flag 87597459/21311000
944.58/944.45	c cleaning 206006 clauses out of 412034 with flag 88335756/21518002
953.86/953.74	c cleaning 207003 clauses out of 414026 with flag 89064616/21726000
963.25/963.19	c cleaning 207994 clauses out of 416024 with flag 89795937/21935001
972.74/972.64	c cleaning 208995 clauses out of 418030 with flag 90546786/22145001
982.90/982.58	c cleaning 210001 clauses out of 420034 with flag 91284973/22356000
992.59/992.24	c cleaning 211000 clauses out of 422033 with flag 92032438/22568000
1002.27/1001.90	c cleaning 211988 clauses out of 424033 with flag 92783509/22781000
1012.15/1011.81	c cleaning 213005 clauses out of 426045 with flag 93546695/22995000
1021.84/1021.59	c cleaning 214012 clauses out of 428042 with flag 94311547/23210002
1031.82/1031.57	c cleaning 214994 clauses out of 430028 with flag 95077635/23426000
1042.00/1041.78	c cleaning 216008 clauses out of 432035 with flag 95855584/23643001
1052.68/1052.49	c cleaning 217010 clauses out of 434027 with flag 96633058/23861001
1063.06/1062.82	c cleaning 217994 clauses out of 436016 with flag 97419384/24080000
1073.92/1073.62	c cleaning 218988 clauses out of 438023 with flag 98221637/24300001
1084.60/1084.31	c cleaning 220002 clauses out of 440034 with flag 99017590/24521000
1095.28/1095.10	c cleaning 220993 clauses out of 442034 with flag 99823312/24743002
1106.37/1106.14	c cleaning 222004 clauses out of 444039 with flag 100639949/24966000
1117.54/1117.39	c cleaning 223011 clauses out of 446035 with flag 101461938/25190000
1128.72/1128.58	c cleaning 224003 clauses out of 448025 with flag 102289582/25415001
1140.10/1139.98	c cleaning 224992 clauses out of 450022 with flag 103104097/25641001
1151.38/1151.28	c cleaning 225997 clauses out of 452029 with flag 103913430/25868000
1162.76/1162.63	c cleaning 227013 clauses out of 454032 with flag 104740366/26096000
1174.55/1174.43	c cleaning 227995 clauses out of 456020 with flag 105579886/26325001
1185.83/1185.75	c cleaning 228990 clauses out of 458026 with flag 106411190/26555002
1197.30/1197.27	c cleaning 230001 clauses out of 460035 with flag 107248537/26786001
1209.29/1209.17	c cleaning 231004 clauses out of 462033 with flag 108085950/27018000
1220.97/1220.86	c cleaning 232003 clauses out of 464029 with flag 108930439/27251000
1233.04/1232.96	c cleaning 232998 clauses out of 466026 with flag 109776903/27485000
1244.91/1244.86	c cleaning 234006 clauses out of 468028 with flag 110623872/27720000
1257.28/1257.24	c cleaning 234993 clauses out of 470023 with flag 111481814/27956001
1269.76/1269.77	c cleaning 235998 clauses out of 472029 with flag 112351542/28193000
1282.23/1282.23	c cleaning 237013 clauses out of 474033 with flag 113224636/28431002
1295.81/1295.89	c cleaning 237985 clauses out of 476018 with flag 114116468/28670000
1309.17/1309.20	c cleaning 239003 clauses out of 478033 with flag 114999721/28910000
1322.14/1322.21	c cleaning 240000 clauses out of 480031 with flag 115882578/29151001
1335.42/1335.54	c cleaning 240995 clauses out of 482030 with flag 116778656/29393000
1349.58/1349.60	c cleaning 242005 clauses out of 484035 with flag 117690809/29636000
1362.76/1362.81	c cleaning 242997 clauses out of 486032 with flag 118602954/29880002
1376.54/1376.69	c cleaning 243999 clauses out of 488033 with flag 119523166/30125000
1390.92/1391.03	c cleaning 244993 clauses out of 490035 with flag 120442125/30371001
1405.00/1405.17	c cleaning 246002 clauses out of 492042 with flag 121353065/30618001
1420.37/1420.51	c cleaning 246996 clauses out of 494039 with flag 122297135/30866000
1434.85/1435.06	c cleaning 248011 clauses out of 496043 with flag 123225814/31115000
1449.62/1449.86	c cleaning 248996 clauses out of 498034 with flag 124159894/31365002
1465.19/1465.49	c cleaning 249993 clauses out of 500036 with flag 125100959/31616000
1480.15/1480.40	c cleaning 251003 clauses out of 502044 with flag 126049850/31868001
1495.68/1495.90	c cleaning 251999 clauses out of 504040 with flag 126987178/32121000
1510.86/1511.18	c cleaning 253003 clauses out of 506041 with flag 127938723/32375000
1526.84/1527.16	c cleaning 254000 clauses out of 508038 with flag 128885288/32630000
1543.00/1543.33	c cleaning 255006 clauses out of 510038 with flag 129852212/32886000
1558.97/1559.34	c cleaning 255998 clauses out of 512032 with flag 130824020/33143000
1575.44/1575.76	c cleaning 257000 clauses out of 514034 with flag 131776146/33401000
1591.31/1591.67	c cleaning 258001 clauses out of 516035 with flag 132747799/33660001
1607.49/1607.88	c cleaning 259000 clauses out of 518033 with flag 133712111/33920000
1623.75/1624.19	c cleaning 260008 clauses out of 520034 with flag 134679298/34181001
1640.62/1641.10	c cleaning 260994 clauses out of 522025 with flag 135674382/34443000
1657.68/1658.19	c cleaning 261998 clauses out of 524032 with flag 136665527/34706001
1674.84/1675.34	c cleaning 263002 clauses out of 526033 with flag 137661546/34970000
1691.61/1692.13	c cleaning 264001 clauses out of 528032 with flag 138645307/35235001
1708.96/1709.53	c cleaning 265005 clauses out of 530031 with flag 139641353/35501001
1726.83/1727.40	c cleaning 266001 clauses out of 532025 with flag 140649381/35768000
1744.29/1744.90	c cleaning 266997 clauses out of 534024 with flag 141653511/36036000
1761.36/1762.05	c cleaning 268001 clauses out of 536027 with flag 142655250/36305000
1778.43/1779.18	c cleaning 269000 clauses out of 538027 with flag 143666298/36575001
1795.98/1796.75	c cleaning 270006 clauses out of 540026 with flag 144698529/36846000
1814.12/1814.71	c cleaning 270999 clauses out of 542020 with flag 145720730/37118000
1831.69/1832.32	c cleaning 271991 clauses out of 544021 with flag 146738755/37391000
1849.07/1849.73	c cleaning 273002 clauses out of 546030 with flag 147753178/37665000
1866.25/1866.92	c cleaning 273998 clauses out of 548028 with flag 148768869/37940000
1884.42/1885.13	c cleaning 275008 clauses out of 550030 with flag 149778354/38216000
1901.88/1902.69	c cleaning 276001 clauses out of 552023 with flag 150799274/38493001
1920.15/1921.00	c cleaning 276999 clauses out of 554022 with flag 151838890/38771001
1939.23/1940.01	c cleaning 278002 clauses out of 556022 with flag 152887765/39050000
1958.49/1959.26	c cleaning 279001 clauses out of 558023 with flag 153949628/39330003
1978.56/1979.32	c cleaning 280007 clauses out of 560020 with flag 155042995/39611001
1998.82/1999.61	c cleaning 280998 clauses out of 562012 with flag 156144285/39893000
2018.70/2019.57	c cleaning 282001 clauses out of 564015 with flag 157258625/40176001
2040.86/2041.73	c cleaning 283000 clauses out of 566013 with flag 158383179/40460000
2064.32/2065.24	c cleaning 283996 clauses out of 568015 with flag 159537366/40745002
2087.48/2088.46	c cleaning 285002 clauses out of 570018 with flag 160679505/41031001
2111.35/2112.34	c cleaning 285992 clauses out of 572015 with flag 161820335/41318000
2136.71/2137.77	c cleaning 287003 clauses out of 574024 with flag 163008673/41606001
2164.71/2165.67	c cleaning 288004 clauses out of 576020 with flag 164236038/41895000
2194.35/2195.34	c cleaning 289001 clauses out of 578017 with flag 165506557/42185001
2228.18/2229.28	c cleaning 290003 clauses out of 580016 with flag 166780691/42476001
2263.11/2263.60	c cleaning 291003 clauses out of 582011 with flag 168069202/42768000
2269.17/2269.49	c starts		: 31553
2269.29/2269.50	c conflicts		: 42880582
2269.29/2269.50	c decisions		: 60955471
2269.29/2269.50	c propagations		: 366133357
2269.29/2269.50	c inspects		: 41781029279
2269.29/2269.50	c shortcuts		: 0
2269.29/2269.50	c learnt literals	: 14
2269.29/2269.50	c learnt binary clauses	: 12
2269.29/2269.50	c learnt ternary clauses	: 23
2269.29/2269.50	c learnt constraints	: 42880567
2269.29/2269.50	c ignored constraints	: 0
2269.29/2269.50	c root simplifications	: 0
2269.29/2269.50	c removed literals (reason simplification)	: 0
2269.29/2269.50	c reason swapping (by a shorter reason)	: 0
2269.29/2269.50	c Calls to reduceDB	: 288
2269.29/2269.50	c Number of update (reduction) of LBD	: 9519797
2269.29/2269.50	c Imported unit clauses	: 0
2269.29/2269.50	c No decision after first conflict	: false
2269.29/2269.50	c number of reductions to clauses (during analyze)	: 0
2269.29/2269.50	c number of learned constraints concerned by reduction	: 0
2269.29/2269.50	c number of learning phase by resolution	: 0
2269.29/2269.50	c number of learning phase by cutting planes	: 0
2269.29/2269.50	c number of rounding to 1 operations	: 0
2269.29/2269.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2269.29/2269.50	c number of reductions of the coefficients by power 2 	: 0
2269.29/2269.50	c number of right shift for reduction by power 2 	: 0
2269.29/2269.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
2269.29/2269.50	c number of ending skipping 	: 0
2269.29/2269.50	c number of internal skipping 	: 0
2269.29/2269.50	c number of derivation steps 	: 0
2269.29/2269.50	c number of skipped derivation steps 	: 0
2269.29/2269.50	c number of remaining unassigned 	: 0
2269.29/2269.50	c number of remaining assigned 	: 0
2269.29/2269.50	c number of falsified literals weakened from reason	: 0
2269.29/2269.50	c number of falsified literals weakened from conflict	: 0
2269.29/2269.50	c time for arithmetic operations	: 0
2269.29/2269.50	c minimum degree of deleted constraints	: null
2269.29/2269.50	c maximum degree of deleted constraints	: null
2269.29/2269.50	c number of deleted constraints	: 0
2269.29/2269.51	c speed (assignments/second)	: 161339.56350189087
2269.29/2269.51	c non guided choices	: 4532507
2269.29/2269.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 403564
2269.29/2269.57	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 12
2269.29/2269.57	s UNSATISFIABLE
2269.29/2269.57	c Total wall clock time (in seconds): 2269.449

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

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

solver pid=1077686, runsolver pid=1077683

[startup+0.100489 s]*
/proc/loadavg: 4.44 4.29 4.12 7/329 1077704
/proc/meminfo: memFree=120991936/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=18975048 memory=63388 CPUtime=0.13 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 7207 0 0 0 11 2 0 0 20 0 18 0 195081634 19430449152 15847 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4743762 15847 5764 1 0 549318 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 1077936192 5735 0 0 0 7 1 0 0 20 0 18 0 195081635 19430449152 15847 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195081637 19430449152 15847 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195081638 19430449152 15847 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63388 KiB

[startup+0.211786 s]*
/proc/loadavg: 4.44 4.29 4.12 7/330 1077705
/proc/meminfo: memFree=120969076/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19041612 memory=83848 CPUtime=0.34 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 7747 0 0 0 31 3 0 0 20 0 19 0 195081634 19498610688 20962 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4760403 20962 5850 1 0 549927 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 1077936192 5950 0 0 0 16 2 0 0 20 0 19 0 195081635 19498610688 20962 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19041612 memory=17016 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195081637 19498610688 20962 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195081638 19498610688 20962 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195081652 19498610688 20962 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 83848 KiB

[startup+0.305734 s]*
/proc/loadavg: 4.44 4.29 4.12 6/330 1077705
/proc/meminfo: memFree=120960620/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19041612 memory=92880 CPUtime=0.52 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 12538 0 0 0 49 3 0 0 20 0 19 0 195081634 19498610688 23220 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4760403 23220 5866 1 0 552252 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19041612 memory=-7306911702968329057 CPUtime=0.27 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 5957 0 0 0 25 2 0 0 20 0 19 0 195081635 19498610688 23220 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195081637 19498610688 23220 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195081638 19498610688 23220 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195081652 19498610688 23220 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92880 KiB

[startup+0.700734 s]
/proc/loadavg: 4.44 4.29 4.12 6/330 1077705
/proc/meminfo: memFree=120952244/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19041612 memory=109940 CPUtime=1.28 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 15322 0 0 0 124 4 0 0 20 0 19 0 195081634 19498610688 27485 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4760403 27485 5866 1 0 554204 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19041612 memory=46816 CPUtime=0.64 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 6052 0 0 0 62 2 0 0 20 0 19 0 195081635 19498610688 27485 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195081637 19498610688 27485 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195081638 19498610688 27485 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195081652 19498610688 27485 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109940 KiB

[startup+1.50073 s]
/proc/loadavg: 4.44 4.29 4.12 6/330 1077705
/proc/meminfo: memFree=120936596/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19041612 memory=122612 CPUtime=2.47 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 18428 0 0 0 242 5 0 0 20 0 19 0 195081634 19498610688 30653 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4760403 30653 5866 1 0 554207 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19041612 memory=13116 CPUtime=1.43 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 6405 0 0 0 141 2 0 0 20 0 19 0 195081635 19498610688 30653 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195081637 19498610688 30653 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195081638 19498610688 30653 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19041612 memory=1900 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195081652 19498610688 30653 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 122612 KiB

[startup+3.10548 s]
/proc/loadavg: 4.44 4.29 4.12 5/330 1077705
/proc/meminfo: memFree=120905708/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19041612 memory=149360 CPUtime=4.13 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 19283 0 0 0 407 6 0 0 20 0 19 0 195081634 19498610688 37340 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4760403 37340 5875 1 0 554225 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19041612 memory=0 CPUtime=3.02 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 6700 0 0 0 299 3 0 0 20 0 19 0 195081635 19498610688 37340 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19041612 memory=-7306911702968329057 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195081637 19498610688 37340 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19041612 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195081638 19498610688 37340 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19041612 memory=2212 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195081652 19498610688 37340 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149360 KiB

[startup+6.30075 s]
/proc/loadavg: 4.41 4.28 4.12 5/331 1077707
/proc/meminfo: memFree=120872612/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=180092 CPUtime=7.32 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 20500 0 0 0 725 7 0 0 20 0 20 0 195081634 19566772224 45023 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 45023 5891 1 0 554530 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=2212 CPUtime=6.19 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 6729 0 0 0 615 4 0 0 20 0 20 0 195081635 19566772224 45023 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 45023 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 45023 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 45023 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180092 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.28 4.12 5/331 1077707
/proc/meminfo: memFree=120864308/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=188556 CPUtime=13.69 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 22970 0 0 0 1361 8 0 0 20 0 20 0 195081634 19566772224 47139 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 47139 5891 1 0 554530 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=13116 CPUtime=12.53 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 7643 0 0 0 1249 4 0 0 20 0 20 0 195081635 19566772224 47139 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=180116 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 47139 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=46816 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 47139 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 47139 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 13.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188556 KiB

[startup+25.5003 s]
/proc/loadavg: 4.52 4.32 4.14 5/331 1077709
/proc/meminfo: memFree=120841456/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=211248 CPUtime=26.49 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 25002 0 0 0 2640 9 0 0 20 0 20 0 195081634 19566772224 52812 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 52812 5907 1 0 554530 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=6944656574621848725 CPUtime=25.27 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 8436 0 0 0 2523 4 0 0 20 0 20 0 195081635 19566772224 52812 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 52812 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=3522 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 52812 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 52812 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 26.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211248 KiB

[startup+51.1057 s]
/proc/loadavg: 4.42 4.31 4.14 5/331 1077714
/proc/meminfo: memFree=120762556/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=283156 CPUtime=52.1 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 28954 0 0 0 5198 12 0 0 20 0 20 0 195081634 19566772224 70789 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0

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

/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2341 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=2059844 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2141.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063940 KiB

[startup+2202.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/334 1078955
/proc/meminfo: memFree=119903248/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2063940 CPUtime=2201.33 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 104157 0 0 0 220026 107 0 0 20 0 20 0 195081634 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 515985 5907 1 0 556038 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=47120 CPUtime=2194.37 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 44387 0 0 0 219420 17 0 0 20 0 20 0 195081635 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=2063940 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2386 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=2063940 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 515985 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2201.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063940 KiB

[startup+2262.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/334 1078966
/proc/meminfo: memFree=119885372/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2080784 CPUtime=2261.91 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112486 0 0 0 226080 111 0 0 20 0 20 0 195081634 19566772224 520196 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 520196 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=11396 CPUtime=2254.21 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 45877 0 0 0 225404 17 0 0 20 0 20 0 195081635 19566772224 520196 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=3752 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 520196 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 520196 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=2063988 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 520196 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2261.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2080784 KiB

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

# cumulated CPU time of all completed processes:  user=2268.27 s, system=1.13074 s

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

[startup+2265.6 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078966
/proc/meminfo: memFree=119894416/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2265.29 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112680 0 0 0 226418 111 0 0 20 0 20 0 195081634 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 517853 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=2063940 CPUtime=2257.51 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 46059 0 0 0 225734 17 0 0 20 0 20 0 195081635 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=16236 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=2063940 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2265.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2071412 KiB

[startup+2267.2 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078967
/proc/meminfo: memFree=119894644/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2266.89 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112685 0 0 0 226578 111 0 0 20 0 20 0 195081634 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 517853 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=47120 CPUtime=2259.1 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 46064 0 0 0 225893 17 0 0 20 0 20 0 195081635 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=13116 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=5464 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2266.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2071412 KiB

[startup+2268.8 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078967
/proc/meminfo: memFree=119894644/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2268.57 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112691 0 0 0 226746 111 0 0 20 0 20 0 195081634 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 517853 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2260.7 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 46068 0 0 0 226053 17 0 0 20 0 20 0 195081635 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=32136 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2268.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2071412 KiB

[startup+2269.2 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078967
/proc/meminfo: memFree=119894644/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2268.97 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112694 0 0 0 226786 111 0 0 20 0 20 0 195081634 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 517853 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=2186496 CPUtime=2261.1 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 46071 0 0 0 226093 17 0 0 20 0 20 0 195081635 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=11396 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=47120 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2268.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2071412 KiB

[startup+2269.4 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078967
/proc/meminfo: memFree=119894644/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19108176 memory=2071412 CPUtime=2269.17 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 112695 0 0 0 226806 111 0 0 20 0 20 0 195081634 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4777044 517853 5907 1 0 558197 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19108176 memory=18428 CPUtime=2261.3 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) R 1077683 1077686 1074922 0 -1 4194368 46072 0 0 0 226113 17 0 0 20 0 20 0 195081635 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19108176 memory=20384 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19108176 memory=5344 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077705] ppid=1077683 vsize=19108176 memory=2744 CPUtime=0 cores=4,6
/proc/1077686/task/1077705/stat : 1077705 (Timer-0) S 1077683 1077686 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195081652 19566772224 517853 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2269.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2071412 KiB

[startup+2269.5 s]
/proc/loadavg: 4.06 4.10 4.11 5/334 1078967
/proc/meminfo: memFree=119894644/131524600 swapFree=131071996/131071996
[pid=1077686] ppid=1077683 vsize=19241304 memory=2071764 CPUtime=2269.29 cores=4,6
/proc/1077686/stat : 1077686 (java) S 1077683 1077686 1074922 0 -1 1077936128 113839 0 0 0 226817 112 0 0 20 0 20 0 195081634 19703095296 517941 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
/proc/1077686/statm: 4810326 517941 5906 1 0 558815 0
[pid=1077686/tid=1077688] ppid=1077683 vsize=19241304 memory=11396 CPUtime=2261.39 cores=4,6
/proc/1077686/task/1077688/stat : 1077688 (java) S 1077683 1077686 1074922 0 -1 1077936192 46859 0 0 0 226122 17 0 0 20 0 20 0 195081635 19703095296 517941 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077697] ppid=1077683 vsize=19241304 memory=2080812 CPUtime=0 cores=4,6
/proc/1077686/task/1077697/stat : 1077697 (Finalizer) S 1077683 1077686 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195081637 19703095296 517941 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
[pid=1077686/tid=1077704] ppid=1077683 vsize=19241304 memory=47120 CPUtime=0 cores=4,6
/proc/1077686/task/1077704/stat : 1077704 (Common-Cleaner) S 1077683 1077686 1074922 0 -1 1077936192 2469 0 0 0 0 0 0 0 20 0 20 0 195081638 19703095296 517941 134679101440 93875696734208 93875696737904 140725728253968 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93875696745720 93875696746512 93875716096000 140725728261125 140725728261215 140725728261215 140725728268232 0
Current children cumulated CPU time: 2269.29 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 2071764 KiB

Child status: 20

Real time (s): 2269.59
CPU time (s): 2269.4
CPU user time (s): 2268.27
CPU system time (s): 1.13074
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 2081728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2268.27
system time used= 1.13074
maximum resident set size= 2081992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66209
involuntary context switches= 1336


# summary of solver processes directly reported to runsolver:
#   pid: 1077686
#   total CPU time (s): 2269.4
#   total CPU user time (s): 2268.27
#   total CPU system time (s): 1.13074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95366 second user time and 10.8157 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 00:45:48
IDJOB=4451104
IDBENCH=162352
IDSOLVER=3058
FILE ID=nodeC030/4451104-1721429135
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-ECgrid5x140split.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451104-1721429135/watcher-4451104-1721429135 -o /tmp/evaluation-result-4451104-1721429135/solver-4451104-1721429135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074933 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451104-1721429135.opb

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=1923125506

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		: 3673.634
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		: 3685.633
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		: 3627.215
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		: 3600.042
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		: 3624.441
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		: 3685.751
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		: 3642.338
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.771
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:        121033840 kB
MemAvailable:   123462516 kB
Buffers:          519196 kB
Cached:          2730444 kB
SwapCached:            0 kB
Active:          1178388 kB
Inactive:        8629992 kB
Active(anon):       1564 kB
Inactive(anon):  6603080 kB
Active(file):    1176824 kB
Inactive(file):  2026912 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               748 kB
Writeback:             0 kB
AnonPages:       6558356 kB
Mapped:           127408 kB
Shmem:             45912 kB
KReclaimable:     129528 kB
Slab:             248164 kB
SReclaimable:     129528 kB
SUnreclaim:       118636 kB
KernelStack:        4988 kB
PageTables:        22816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7394380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6313984 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 01:23:38