Trace number 4449932

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07OPT4 2920.74 2920.71

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb
MD5SUMe8bf5f7be237686d5dd1c770609b55cb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark9.75417
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables171
Total number of constraints2799
Number of constraints which are clauses2790
Number of constraints which are cardinality constraints (but not clauses)9
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint10
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.11	--- Begin Solver configuration ---
0.13/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.11	Learn all clauses as in MiniSAT
0.13/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	No reason simplification
0.13/0.11	Glucose 2.1 dynamic restart strategy
0.13/0.11	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.11	timeout=2147483s
0.13/0.11	DB Simplification allowed=false
0.13/0.11	Listener: none
0.13/0.11	--- 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-4449932-1721403118.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.17	c ... done. Wall clock time 0.055s.
0.13/0.17	c declared #vars     171
0.13/0.17	c #constraints  2799
0.13/0.17	c constraints type 
0.13/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9
0.13/0.17	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2790
0.13/0.17	c 2799 constraints processed.
0.13/0.19	c objective function length is 9 literals
0.34/0.23	c SATISFIABLE
0.34/0.23	c OPTIMIZING...
0.34/0.23	c Got one! Elapsed wall clock time (in seconds):0.112
0.34/0.23	o 4
0.73/0.47	c cleaning 2767 clauses out of 5539 with flag 26755/5539
1.12/0.65	c cleaning 4382 clauses out of 8772 with flag 63193/11539
1.29/0.79	c cleaning 5695 clauses out of 11389 with flag 108074/18538
1.54/0.97	c cleaning 6841 clauses out of 13694 with flag 159306/26538
2.05/1.20	c cleaning 7921 clauses out of 15853 with flag 216288/35538
2.26/1.48	c cleaning 8963 clauses out of 17933 with flag 283924/45539
2.56/1.79	c cleaning 9982 clauses out of 19972 with flag 357249/56541
2.97/2.16	c cleaning 10987 clauses out of 21987 with flag 446640/68538
3.37/2.54	c cleaning 11992 clauses out of 24001 with flag 533765/81539
3.87/3.05	c cleaning 12999 clauses out of 26010 with flag 639109/95540
4.37/3.55	c cleaning 14000 clauses out of 28009 with flag 748118/110538
4.87/4.11	c cleaning 14997 clauses out of 30009 with flag 851920/126538
5.70/4.83	c cleaning 16002 clauses out of 32013 with flag 962090/143539
6.62/5.70	c cleaning 16991 clauses out of 34010 with flag 1086229/161538
7.42/6.50	c cleaning 17997 clauses out of 36020 with flag 1205630/180539
8.32/7.45	c cleaning 18997 clauses out of 38022 with flag 1338073/200538
9.28/8.37	c cleaning 20004 clauses out of 40025 with flag 1478750/221538
10.21/9.27	c cleaning 21006 clauses out of 42025 with flag 1626227/243542
11.31/10.33	c cleaning 22002 clauses out of 44018 with flag 1787093/266541
12.30/11.37	c cleaning 22999 clauses out of 46014 with flag 1951668/290539
13.60/12.67	c cleaning 23998 clauses out of 48014 with flag 2143380/315538
14.80/13.80	c cleaning 24991 clauses out of 50016 with flag 2328677/341538
16.01/15.06	c cleaning 25999 clauses out of 52026 with flag 2533704/368539
17.40/16.44	c cleaning 27000 clauses out of 54028 with flag 2741399/396540
18.90/17.94	c cleaning 28005 clauses out of 56027 with flag 2971325/425539
20.59/19.67	c cleaning 29000 clauses out of 58021 with flag 3212773/455538
22.00/21.10	c cleaning 29996 clauses out of 60021 with flag 3463673/486538
23.91/23.00	c cleaning 31000 clauses out of 62025 with flag 3700582/518538
25.81/24.84	c cleaning 31999 clauses out of 64025 with flag 3934848/551538
27.71/26.70	c cleaning 33005 clauses out of 66027 with flag 4173635/585539
29.20/28.27	c cleaning 33999 clauses out of 68021 with flag 4400341/620538
30.80/29.83	c cleaning 35008 clauses out of 70025 with flag 4618368/656541
32.44/31.43	c cleaning 36000 clauses out of 72016 with flag 4842941/693540
34.14/33.15	c cleaning 36997 clauses out of 74016 with flag 5075128/731540
35.83/34.81	c cleaning 38005 clauses out of 76018 with flag 5317766/770539
37.63/36.62	c cleaning 38990 clauses out of 78012 with flag 5586975/810538
40.03/39.04	c cleaning 40008 clauses out of 80025 with flag 5866670/851541
42.85/41.89	c cleaning 40994 clauses out of 82014 with flag 6155777/893538
45.85/44.87	c cleaning 42004 clauses out of 84020 with flag 6448773/936538
48.64/47.69	c cleaning 43003 clauses out of 86018 with flag 6738953/980540
50.77/49.79	c cleaning 43999 clauses out of 88014 with flag 7005379/1025539
53.67/52.68	c cleaning 45002 clauses out of 90015 with flag 7251018/1071539
55.67/54.63	c cleaning 45998 clauses out of 92013 with flag 7523079/1118539
58.37/57.36	c cleaning 46997 clauses out of 94016 with flag 7793613/1166540
61.11/60.05	c cleaning 48004 clauses out of 96020 with flag 8068069/1215541
64.11/63.08	c cleaning 49002 clauses out of 98013 with flag 8363487/1265538
67.20/66.16	c cleaning 49992 clauses out of 100012 with flag 8648747/1316539
69.29/68.26	c cleaning 50998 clauses out of 102019 with flag 8943245/1368538
71.53/70.43	c cleaning 52007 clauses out of 104022 with flag 9251264/1421539
74.32/73.21	c cleaning 52994 clauses out of 106015 with flag 9578036/1475539
78.02/76.99	c cleaning 53999 clauses out of 108020 with flag 9913507/1530538
82.06/80.90	c cleaning 55000 clauses out of 110021 with flag 10244269/1586538
85.35/84.27	c cleaning 56002 clauses out of 112022 with flag 10574738/1643539
88.64/87.55	c cleaning 57002 clauses out of 114019 with flag 10906346/1701538
92.54/91.48	c cleaning 58005 clauses out of 116018 with flag 11236538/1760539
96.25/95.16	c cleaning 59000 clauses out of 118012 with flag 11583687/1820538
99.73/98.65	c cleaning 59997 clauses out of 120012 with flag 11927193/1881538
103.10/102.02	c cleaning 61001 clauses out of 122016 with flag 12268363/1943539
106.32/105.21	c cleaning 62002 clauses out of 124016 with flag 12629811/2006540
109.22/108.16	c cleaning 62998 clauses out of 126012 with flag 12993348/2070538
112.22/111.17	c cleaning 63992 clauses out of 128015 with flag 13341365/2135539
115.96/114.54	c cleaning 65002 clauses out of 130022 with flag 13706267/2201538
119.60/118.09	c cleaning 66007 clauses out of 132021 with flag 14094095/2268539
122.79/121.27	c cleaning 66998 clauses out of 134014 with flag 14476650/2336539
126.02/124.40	c cleaning 68000 clauses out of 136015 with flag 14855614/2405538
129.42/127.81	c cleaning 68992 clauses out of 138015 with flag 15257908/2475538
133.01/131.40	c cleaning 69997 clauses out of 140024 with flag 15677835/2546539
136.74/135.14	c cleaning 71003 clauses out of 142028 with flag 16081230/2618540
140.74/139.16	c cleaning 72005 clauses out of 144024 with flag 16485497/2691539
143.93/142.32	c cleaning 73002 clauses out of 146018 with flag 16893979/2765538
147.32/145.71	c cleaning 73997 clauses out of 148017 with flag 17315764/2840539
151.22/149.68	c cleaning 75002 clauses out of 150019 with flag 17764844/2916538
155.45/153.80	c cleaning 76000 clauses out of 152017 with flag 18199400/2993538
159.66/158.06	c cleaning 77005 clauses out of 154017 with flag 18628491/3071538
163.72/162.06	c cleaning 78000 clauses out of 156012 with flag 19068008/3150538
168.11/166.46	c cleaning 78995 clauses out of 158014 with flag 19514570/3230540
172.26/170.54	c cleaning 79996 clauses out of 160017 with flag 19969167/3311538
176.25/174.55	c cleaning 81004 clauses out of 162023 with flag 20424726/3393540
181.04/179.38	c cleaning 81996 clauses out of 164017 with flag 20903691/3476538
185.93/184.27	c cleaning 82994 clauses out of 166022 with flag 21402617/3560539
191.93/190.22	c cleaning 83999 clauses out of 168028 with flag 21911173/3645539
196.77/195.07	c cleaning 85006 clauses out of 170028 with flag 22389288/3731538
201.65/199.91	c cleaning 86007 clauses out of 172023 with flag 22878850/3818539
206.85/205.13	c cleaning 86986 clauses out of 174016 with flag 23362427/3906539
212.43/210.79	c cleaning 88007 clauses out of 176029 with flag 23855827/3995538
217.43/215.71	c cleaning 89000 clauses out of 178022 with flag 24354626/4085538
222.63/220.90	c cleaning 89998 clauses out of 180022 with flag 24852929/4176538
228.21/226.54	c cleaning 91005 clauses out of 182024 with flag 25362443/4268538
234.60/232.90	c cleaning 92000 clauses out of 184019 with flag 25881655/4361538
241.17/239.45	c cleaning 93001 clauses out of 186020 with flag 26427172/4455539
247.46/245.72	c cleaning 93998 clauses out of 188019 with flag 26977585/4550539
255.16/253.40	c cleaning 95007 clauses out of 190020 with flag 27521083/4646538
261.54/259.81	c cleaning 95999 clauses out of 192013 with flag 28083278/4743538
268.23/266.51	c cleaning 96999 clauses out of 194014 with flag 28646567/4841538
274.83/273.13	c cleaning 98000 clauses out of 196015 with flag 29213044/4940538
281.42/279.73	c cleaning 99002 clauses out of 198016 with flag 29774356/5040539
288.28/286.50	c cleaning 100003 clauses out of 200014 with flag 30341634/5141539
296.16/294.45	c cleaning 100998 clauses out of 202010 with flag 30935219/5243538
304.45/302.70	c cleaning 102004 clauses out of 204015 with flag 31546702/5346541
312.74/311.05	c cleaning 102994 clauses out of 206008 with flag 32166520/5450538
321.52/319.89	c cleaning 103996 clauses out of 208014 with flag 32788606/5555538
329.11/327.45	c cleaning 105006 clauses out of 210019 with flag 33419283/5661539
337.55/335.62	c cleaning 105995 clauses out of 212012 with flag 34023794/5768538
346.43/344.57	c cleaning 107005 clauses out of 214017 with flag 34655140/5876538
355.12/353.25	c cleaning 107995 clauses out of 216012 with flag 35291668/5985538
364.00/362.11	c cleaning 109005 clauses out of 218017 with flag 35920431/6095538
372.38/370.57	c cleaning 110000 clauses out of 220014 with flag 36570673/6206540
381.68/379.83	c cleaning 111005 clauses out of 222013 with flag 37214443/6318539
390.72/388.88	c cleaning 111999 clauses out of 224007 with flag 37889272/6431538
399.70/397.87	c cleaning 112996 clauses out of 226008 with flag 38555719/6545538
408.49/406.60	c cleaning 113993 clauses out of 228013 with flag 39232517/6660539
419.67/417.86	c cleaning 115004 clauses out of 230019 with flag 39974317/6776538
429.96/428.14	c cleaning 116003 clauses out of 232017 with flag 40686008/6893540
440.64/438.87	c cleaning 116992 clauses out of 234013 with flag 41402961/7011539
450.63/448.85	c cleaning 118005 clauses out of 236020 with flag 42135386/7130538
461.31/459.53	c cleaning 118998 clauses out of 238016 with flag 42837253/7250539
471.67/469.83	c cleaning 120002 clauses out of 240018 with flag 43543312/7371539
481.66/479.83	c cleaning 120999 clauses out of 242015 with flag 44298082/7493538
492.54/490.77	c cleaning 122006 clauses out of 244016 with flag 45046278/7616538
504.52/502.77	c cleaning 122997 clauses out of 246010 with flag 45827704/7740538
515.50/513.72	c cleaning 124000 clauses out of 248013 with flag 46567357/7865538
526.49/524.77	c cleaning 125004 clauses out of 250013 with flag 47322438/7991538
539.24/537.47	c cleaning 125999 clauses out of 252010 with flag 48111275/8118539
552.12/550.33	c cleaning 127001 clauses out of 254010 with flag 48901696/8246538
564.70/562.92	c cleaning 127999 clauses out of 256011 with flag 49677417/8375540
577.18/575.47	c cleaning 129005 clauses out of 258012 with flag 50485653/8505540
589.17/587.42	c cleaning 129998 clauses out of 260005 with flag 51256598/8636538
601.15/599.49	c cleaning 130998 clauses out of 262007 with flag 52058885/8768538
614.92/613.25	c cleaning 131999 clauses out of 264013 with flag 52867951/8901542
628.95/627.25	c cleaning 133001 clauses out of 266011 with flag 53731494/9035539
641.53/639.85	c cleaning 133991 clauses out of 268009 with flag 54571503/9170538
656.61/654.92	c cleaning 135004 clauses out of 270019 with flag 55388538/9306539
670.79/669.12	c cleaning 136002 clauses out of 272015 with flag 56219549/9443539
685.46/683.81	c cleaning 137006 clauses out of 274013 with flag 57056896/9581539
701.24/699.63	c cleaning 137999 clauses out of 276007 with flag 57946568/9720539
715.51/713.91	c cleaning 138997 clauses out of 278007 with flag 58826115/9860538
729.70/728.19	c cleaning 139980 clauses out of 280010 with flag 59718634/10001538
745.24/743.65	c cleaning 141006 clauses out of 282032 with flag 60642620/10143540
759.73/757.94	c cleaning 142005 clauses out of 284023 with flag 61559991/10286538
775.71/774.00	c cleaning 142997 clauses out of 286018 with flag 62461312/10430538
790.88/789.19	c cleaning 144004 clauses out of 288021 with flag 63385584/10575538
806.26/804.52	c cleaning 145002 clauses out of 290017 with flag 64340205/10721538
824.32/822.63	c cleaning 146002 clauses out of 292015 with flag 65272956/10868538
840.31/838.63	c cleaning 146999 clauses out of 294013 with flag 66229001/11016538
858.16/856.46	c cleaning 147994 clauses out of 296014 with flag 67145961/11165538
873.83/872.16	c cleaning 149002 clauses out of 298021 with flag 68068062/11315539
890.80/889.19	c cleaning 150005 clauses out of 300018 with flag 69009284/11466538
908.07/906.45	c cleaning 150999 clauses out of 302015 with flag 69979480/11618540
925.54/924.00	c cleaning 151999 clauses out of 304016 with flag 70928838/11771540
943.32/941.76	c cleaning 153001 clauses out of 306015 with flag 71896207/11925538
962.59/961.03	c cleaning 153998 clauses out of 308014 with flag 72890231/12080538
981.75/980.20	c cleaning 155001 clauses out of 310016 with flag 73871907/12236538
1000.93/999.48	c cleaning 155994 clauses out of 312018 with flag 74884370/12393541
1020.19/1018.78	c cleaning 157001 clauses out of 314021 with flag 75899606/12551538
1040.16/1038.74	c cleaning 158005 clauses out of 316022 with flag 76924906/12710540
1062.12/1060.78	c cleaning 159000 clauses out of 318014 with flag 78029099/12870538
1081.89/1080.56	c cleaning 160004 clauses out of 320015 with flag 79079649/13031539
1101.76/1100.42	c cleaning 160999 clauses out of 322010 with flag 80139056/13193538
1121.44/1120.14	c cleaning 162003 clauses out of 324012 with flag 81196184/13356539
1141.20/1139.94	c cleaning 163001 clauses out of 326008 with flag 82286661/13520538
1160.97/1159.71	c cleaning 163988 clauses out of 328007 with flag 83351551/13685538
1183.23/1182.08	c cleaning 165005 clauses out of 330023 with flag 84436284/13851542
1206.59/1205.44	c cleaning 166004 clauses out of 332016 with flag 85557579/14018540
1228.81/1227.52	c cleaning 167005 clauses out of 334012 with flag 86669070/14186540
1249.18/1247.95	c cleaning 167998 clauses out of 336006 with flag 87772807/14355539
1271.65/1270.43	c cleaning 168999 clauses out of 338007 with flag 88909634/14525538
1294.71/1293.53	c cleaning 169998 clauses out of 340008 with flag 90054077/14696538
1316.68/1315.55	c cleaning 170996 clauses out of 342010 with flag 91189750/14868538
1340.14/1339.05	c cleaning 172005 clauses out of 344015 with flag 92327065/15041539
1362.31/1361.25	c cleaning 172998 clauses out of 346009 with flag 93496899/15215538
1385.08/1383.94	c cleaning 173996 clauses out of 348012 with flag 94702324/15390539
1409.65/1408.55	c cleaning 175004 clauses out of 350016 with flag 95880284/15566539
1435.71/1434.60	c cleaning 175999 clauses out of 352011 with flag 97088765/15743538
1458.36/1457.39	c cleaning 177001 clauses out of 354012 with flag 98304261/15921538
1483.42/1482.45	c cleaning 177994 clauses out of 356012 with flag 99524035/16100539
1510.28/1509.31	c cleaning 179002 clauses out of 358017 with flag 100753609/16280538
1537.54/1536.68	c cleaning 179997 clauses out of 360016 with flag 102017891/16461539
1564.20/1563.39	c cleaning 181002 clauses out of 362021 with flag 103288475/16643541
1589.96/1589.01	c cleaning 182004 clauses out of 364017 with flag 104570026/16826539
1617.11/1616.26	c cleaning 183001 clauses out of 366012 with flag 105869376/17010538
1645.17/1644.31	c cleaning 183998 clauses out of 368012 with flag 107177961/17195539
1673.52/1672.76	c cleaning 185004 clauses out of 370015 with flag 108503232/17381540
1701.17/1700.45	c cleaning 185993 clauses out of 372009 with flag 109809430/17568538
1729.64/1728.95	c cleaning 187004 clauses out of 374016 with flag 111150037/17756538
1758.88/1758.24	c cleaning 188000 clauses out of 376013 with flag 112489917/17945539
1789.84/1788.69	c cleaning 189001 clauses out of 378015 with flag 113842873/18135541
1819.20/1818.08	c cleaning 189998 clauses out of 380011 with flag 115226086/18326538
1849.05/1847.94	c cleaning 190999 clauses out of 382013 with flag 116606340/18518538
1877.31/1876.29	c cleaning 191996 clauses out of 384014 with flag 118021096/18711538
1907.76/1906.73	c cleaning 193003 clauses out of 386019 with flag 119431324/18905539
1938.21/1937.25	c cleaning 193993 clauses out of 388016 with flag 120865013/19100539
1968.66/1967.70	c cleaning 194996 clauses out of 390022 with flag 122299419/19296538
1998.91/1997.92	c cleaning 196003 clauses out of 392028 with flag 123781365/19493540
2030.36/2029.43	c cleaning 197009 clauses out of 394023 with flag 125243051/19691538
2063.71/2062.80	c cleaning 198007 clauses out of 396014 with flag 126741738/19890538
2097.96/2097.18	c cleaning 199002 clauses out of 398011 with flag 128238931/20090542
2131.20/2130.45	c cleaning 199990 clauses out of 400005 with flag 129756795/20291538
2163.45/2162.76	c cleaning 200998 clauses out of 402015 with flag 131275657/20493538
2195.30/2194.67	c cleaning 202002 clauses out of 404016 with flag 132818312/20696538
2229.67/2228.94	c cleaning 203007 clauses out of 406016 with flag 134353868/20900540
2264.11/2263.44	c cleaning 203993 clauses out of 408007 with flag 135919788/21105538
2300.46/2299.87	c cleaning 204995 clauses out of 410014 with flag 137506755/21311538
2335.10/2334.56	c cleaning 206001 clauses out of 412021 with flag 139112873/21518540
2379.96/2379.49	c cleaning 207003 clauses out of 414018 with flag 140804434/21726539
2416.20/2415.70	c cleaning 208005 clauses out of 416014 with flag 142400219/21935538
2457.21/2456.68	c cleaning 208993 clauses out of 418009 with flag 144045627/22145538
2490.86/2490.36	c cleaning 210004 clauses out of 420015 with flag 145666854/22356539
2527.60/2527.12	c cleaning 210999 clauses out of 422012 with flag 147302995/22568540
2564.15/2563.71	c cleaning 212005 clauses out of 424012 with flag 148964895/22781540
2601.88/2601.53	c cleaning 212994 clauses out of 426005 with flag 150624808/22995538
2639.72/2639.48	c cleaning 213997 clauses out of 428010 with flag 152296598/23210538
2682.16/2681.93	c cleaning 214999 clauses out of 430012 with flag 154017152/23426538
2722.12/2721.89	c cleaning 216003 clauses out of 432016 with flag 155752886/23643541
2763.85/2763.63	c cleaning 216998 clauses out of 434007 with flag 157472349/23861538
2803.88/2803.72	c cleaning 217998 clauses out of 436007 with flag 159192666/24080539
2844.92/2844.80	c cleaning 218997 clauses out of 438005 with flag 160927966/24300538
2884.76/2884.75	c cleaning 219990 clauses out of 440002 with flag 162657087/24521538
2920.62/2920.66	c starts		: 28817
2920.62/2920.67	c conflicts		: 24708063
2920.62/2920.67	c decisions		: 45628575
2920.62/2920.67	c propagations		: 346441260
2920.62/2920.67	c inspects		: 43817895234
2920.62/2920.67	c shortcuts		: 0
2920.62/2920.67	c learnt literals	: 42
2920.62/2920.67	c learnt binary clauses	: 93
2920.62/2920.67	c learnt ternary clauses	: 502
2920.62/2920.67	c learnt constraints	: 24708020
2920.62/2920.67	c ignored constraints	: 0
2920.62/2920.67	c root simplifications	: 0
2920.62/2920.67	c removed literals (reason simplification)	: 0
2920.62/2920.67	c reason swapping (by a shorter reason)	: 0
2920.62/2920.67	c Calls to reduceDB	: 217
2920.62/2920.67	c Number of update (reduction) of LBD	: 13962584
2920.62/2920.67	c Imported unit clauses	: 0
2920.62/2920.67	c No decision after first conflict	: false
2920.62/2920.67	c number of reductions to clauses (during analyze)	: 0
2920.62/2920.67	c number of learned constraints concerned by reduction	: 0
2920.62/2920.67	c number of learning phase by resolution	: 0
2920.62/2920.67	c number of learning phase by cutting planes	: 0
2920.62/2920.67	c number of rounding to 1 operations	: 0
2920.62/2920.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2920.62/2920.68	c number of reductions of the coefficients by power 2 	: 0
2920.62/2920.68	c number of right shift for reduction by power 2 	: 0
2920.62/2920.68	c number of reductions of the coefficients by GCD over coefficients 	: 0
2920.62/2920.68	c number of ending skipping 	: 0
2920.62/2920.68	c number of internal skipping 	: 0
2920.62/2920.68	c number of derivation steps 	: 0
2920.62/2920.68	c number of skipped derivation steps 	: 0
2920.62/2920.68	c number of remaining unassigned 	: 0
2920.62/2920.68	c number of remaining assigned 	: 0
2920.62/2920.68	c number of falsified literals weakened from reason	: 0
2920.62/2920.68	c number of falsified literals weakened from conflict	: 0
2920.62/2920.68	c time for arithmetic operations	: 0
2920.62/2920.68	c minimum degree of deleted constraints	: null
2920.62/2920.68	c maximum degree of deleted constraints	: null
2920.62/2920.68	c number of deleted constraints	: 0
2920.62/2920.68	c speed (assignments/second)	: 118624.32036256917
2920.62/2920.68	c non guided choices	: 272
2920.62/2920.68	s OPTIMUM FOUND
2920.62/2920.68	c Found 1 solution(s)
2920.62/2920.68	v x1 x2 x3 x4 x5 x6 x7 x8 -x9 -x10 -x11 -x12 -x13 x14 x15 -x16 -x17 -x18 x19 x20 x21 -x22 -x23 -x24 x25 x26 -x27 -x28 x29 x30 -x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 x42 x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 -x171 
2920.62/2920.68	c objective function=4
2920.62/2920.68	c Total wall clock time (in seconds): 2920.562

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449932-1721403118/watcher-4449932-1721403118 -o /tmp/evaluation-result-4449932-1721403118/solver-4449932-1721403118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721403130-1036851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4449932-1721403118.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1036867, runsolver pid=1036864

[startup+0.100472 s]*
/proc/loadavg: 3.82 4.09 4.07 2/256 1036885
/proc/meminfo: memFree=125561628/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=18975048 memory=64140 CPUtime=0.13 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 7075 0 0 0 11 2 0 0 20 0 18 0 192474247 19430449152 16035 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4743762 16035 5562 1 0 549349 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=18975048 memory=4026532033 CPUtime=0.08 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 1077936192 5628 0 0 0 7 1 0 0 20 0 18 0 192474247 19430449152 16035 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=18975048 memory=219932787024 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192474250 19430449152 16035 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=18975048 memory=55195583184104 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192474250 19430449152 16035 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64140 KiB

[startup+0.206068 s]*
/proc/loadavg: 3.82 4.09 4.07 4/257 1036886
/proc/meminfo: memFree=125553308/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19041612 memory=73544 CPUtime=0.34 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 7590 0 0 0 31 3 0 0 20 0 19 0 192474247 19498610688 18386 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4760403 18386 5881 1 0 549930 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19041612 memory=4028570317 CPUtime=0.18 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 5875 0 0 0 16 2 0 0 20 0 19 0 192474247 19498610688 18386 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19041612 memory=1905112 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 18386 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19041612 memory=61788356084926 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 18386 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192474266 19498610688 18386 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73544 KiB

[startup+0.306068 s]*
/proc/loadavg: 3.82 4.09 4.07 3/257 1036886
/proc/meminfo: memFree=125545128/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19041612 memory=81864 CPUtime=0.53 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 10211 0 0 0 50 3 0 0 20 0 19 0 192474247 19498610688 20466 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4760403 20466 5881 1 0 551490 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19041612 memory=-7380095196913034591 CPUtime=0.28 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 5902 0 0 0 26 2 0 0 20 0 19 0 192474247 19498610688 20466 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 20466 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 20466 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192474266 19498610688 20466 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81864 KiB

[startup+0.701066 s]
/proc/loadavg: 3.82 4.09 4.07 3/257 1036886
/proc/meminfo: memFree=125540584/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19041612 memory=94224 CPUtime=1.29 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 11674 0 0 0 126 3 0 0 20 0 19 0 192474247 19498610688 23556 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4760403 23556 5897 1 0 552414 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19041612 memory=49952 CPUtime=0.65 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 5941 0 0 0 63 2 0 0 20 0 19 0 192474247 19498610688 23556 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 23556 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19041612 memory=2328 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 23556 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192474266 19498610688 23556 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 94224 KiB

[startup+1.50107 s]
/proc/loadavg: 3.82 4.09 4.07 3/257 1036886
/proc/meminfo: memFree=125526980/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19041612 memory=111648 CPUtime=2.36 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 15765 0 0 0 233 3 0 0 20 0 19 0 192474247 19498610688 27912 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4760403 27912 5897 1 0 552580 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19041612 memory=13124 CPUtime=1.44 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 6273 0 0 0 142 2 0 0 20 0 19 0 192474247 19498610688 27912 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 27912 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 27912 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19041612 memory=224194199869 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192474266 19498610688 27912 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 111648 KiB

[startup+3.10511 s]
/proc/loadavg: 3.59 4.04 4.05 2/257 1036886
/proc/meminfo: memFree=125491212/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19041612 memory=138448 CPUtime=3.97 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 16424 0 0 0 393 4 0 0 20 0 19 0 192474247 19498610688 34612 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4760403 34612 5897 1 0 552581 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19041612 memory=-7380095196913034591 CPUtime=3.05 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 6538 0 0 0 302 3 0 0 20 0 19 0 192474247 19498610688 34612 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 34612 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19041612 memory=13124 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 192474250 19498610688 34612 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19041612 memory=280127967907408 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 192474266 19498610688 34612 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138448 KiB

[startup+6.30018 s]
/proc/loadavg: 3.59 4.04 4.05 2/258 1036887
/proc/meminfo: memFree=125443880/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=183388 CPUtime=7.22 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 17841 0 0 0 717 5 0 0 20 0 20 0 192474247 19566772224 45847 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 45847 5929 1 0 552872 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=0 CPUtime=6.21 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 6597 0 0 0 618 3 0 0 20 0 20 0 192474247 19566772224 45847 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 45847 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 45847 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=49952 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 45847 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 7.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183388 KiB

[startup+12.7002 s]
/proc/loadavg: 3.38 3.99 4.04 2/258 1036889
/proc/meminfo: memFree=125442620/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=184896 CPUtime=13.7 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 22654 0 0 0 1364 6 0 0 20 0 20 0 192474247 19566772224 46224 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 46224 5929 1 0 553101 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=13124 CPUtime=12.6 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 7539 0 0 0 1257 3 0 0 20 0 20 0 192474247 19566772224 46224 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=-7380095196913034591 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 46224 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=184896 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 46224 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 46224 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 13.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184896 KiB

[startup+25.5002 s]
/proc/loadavg: 2.94 3.86 3.99 2/258 1036890
/proc/meminfo: memFree=125411788/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=215828 CPUtime=26.51 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 26022 0 0 0 2644 7 0 0 20 0 20 0 192474247 19566772224 53957 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 53957 5929 1 0 553101 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=184896 CPUtime=25.34 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 8415 0 0 0 2531 3 0 0 20 0 20 0 192474247 19566772224 53957 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 53957 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=215828 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 53957 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 53957 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 26.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215828 KiB

[startup+51.1052 s]
/proc/loadavg: 2.27 3.63 3.91 2/258 1036895
/proc/meminfo: memFree=125269644/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=357532 CPUtime=52.18 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 30911 0 0 0 5208 10 0 0 20 0 20 0 192474247 19566772224 89383 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 89383 5929 1 0 553117 0

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

[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=2184056 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3427 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=2184044 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2867.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184392 KiB

[startup+2892.8 s]
/proc/loadavg: 1.08 1.09 1.21 2/253 1037981
/proc/meminfo: memFree=123424076/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=2892.84 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 142998 0 0 0 289146 138 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546098 5977 1 0 559748 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=13124 CPUtime=2884.14 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 61388 0 0 0 288393 21 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=5628 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=20776 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=19760 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2892.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184392 KiB

[startup+2905.6 s]
/proc/loadavg: 1.06 1.09 1.20 2/255 1037986
/proc/meminfo: memFree=123424132/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=2905.63 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143273 0 0 0 290424 139 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546098 5977 1 0 559748 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=50060 CPUtime=2896.92 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 61652 0 0 0 289670 22 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=29676 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2905.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184392 KiB

[startup+2912 s]*
/proc/loadavg: 1.14 1.10 1.21 2/255 1037988
/proc/meminfo: memFree=123424052/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=2912.02 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143438 0 0 0 291063 139 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546098 5977 1 0 559748 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=-7380095196913034591 CPUtime=2903.31 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 61780 0 0 0 290309 22 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=1400791705979805754 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=1852 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2912.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184392 KiB

[startup+2915.2 s]
/proc/loadavg: 1.12 1.10 1.21 2/255 1037988
/proc/meminfo: memFree=123424052/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=2915.21 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143505 0 0 0 291382 139 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546098 5977 1 0 559748 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=50060 CPUtime=2906.5 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 61847 0 0 0 290628 22 0 0 20 0 20 0 192474247 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=-7380095196913034591 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546098 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2915.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184392 KiB

[startup+2918.4 s]
/proc/loadavg: 1.11 1.10 1.20 2/255 1037989
/proc/meminfo: memFree=123423996/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184416 CPUtime=2918.4 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143819 0 0 0 291701 139 0 0 20 0 20 0 192474247 19566772224 546104 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546104 5977 1 0 559760 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=29676 CPUtime=2909.69 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 62011 0 0 0 290947 22 0 0 20 0 20 0 192474247 19566772224 546104 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=5628 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546104 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=50060 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546104 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546104 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2918.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184416 KiB

[startup+2920 s]*
/proc/loadavg: 1.11 1.10 1.20 2/255 1037989
/proc/meminfo: memFree=123423940/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184432 CPUtime=2920.01 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143869 0 0 0 291862 139 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546108 5977 1 0 559760 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=-7380095196913034591 CPUtime=2911.3 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 62011 0 0 0 291108 22 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=1400791705979805754 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=4836 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=2184432 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2920.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184432 KiB

[startup+2920.4 s]
/proc/loadavg: 1.11 1.10 1.20 2/255 1037989
/proc/meminfo: memFree=123423940/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184432 CPUtime=2920.42 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143869 0 0 0 291902 140 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546108 5977 1 0 559760 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=2160 CPUtime=2911.69 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 62011 0 0 0 291147 22 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=2012 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=20776 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2920.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184432 KiB

[startup+2920.6 s]
/proc/loadavg: 1.11 1.10 1.20 2/255 1037989
/proc/meminfo: memFree=123423940/131524600 swapFree=131071216/131071996
[pid=1036867] ppid=1036864 vsize=19108176 memory=2184432 CPUtime=2920.62 cores=4,6
/proc/1036867/stat : 1036867 (java) S 1036864 1036867 1034712 0 -1 1077936128 143869 0 0 0 291922 140 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
/proc/1036867/statm: 4777044 546108 5977 1 0 559760 0
[pid=1036867/tid=1036869] ppid=1036864 vsize=19108176 memory=4836 CPUtime=2911.89 cores=4,6
/proc/1036867/task/1036869/stat : 1036869 (java) R 1036864 1036867 1034712 0 -1 4194368 62011 0 0 0 291167 22 0 0 20 0 20 0 192474247 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036878] ppid=1036864 vsize=19108176 memory=2184392 CPUtime=0 cores=4,6
/proc/1036867/task/1036878/stat : 1036878 (Finalizer) S 1036864 1036867 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036885] ppid=1036864 vsize=19108176 memory=-7380095196913034591 CPUtime=0 cores=4,6
/proc/1036867/task/1036885/stat : 1036885 (Common-Cleaner) S 1036864 1036867 1034712 0 -1 1077936192 3509 0 0 0 0 0 0 0 20 0 20 0 192474250 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
[pid=1036867/tid=1036886] ppid=1036864 vsize=19108176 memory=-7169588686263901561 CPUtime=0 cores=4,6
/proc/1036867/task/1036886/stat : 1036886 (Timer-0) S 1036864 1036867 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192474266 19566772224 546108 134679101440 94752960978944 94752960982640 140733337333232 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94752960990456 94752960991248 94752975622144 140733337338885 140733337338975 140733337338975 140733337345992 0
Current children cumulated CPU time: 2920.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184432 KiB

[startup+2920.7 s]*
/proc/loadavg: 1.11 1.10 1.20 4/237 1037992
/proc/meminfo: memFree=125588904/131524600 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 2920.71
CPU time (s): 2920.74
CPU user time (s): 2919.33
CPU system time (s): 1.41369
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2184432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2919.33
system time used= 1.41369
maximum resident set size= 2185748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146534
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84339
involuntary context switches= 2121


# summary of solver processes directly reported to runsolver:
#   pid: 1036867
#   total CPU time (s): 2920.74
#   total CPU user time (s): 2919.33
#   total CPU system time (s): 1.41369

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62162 second user time and 13.589 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-19 17:32:10
IDJOB=4449932
IDBENCH=176173
IDSOLVER=3058
FILE ID=nodeC018/4449932-1721403118
RUNJOBID= nodeC018-1721403130-1036851
SLURM_JOB_ID= 7545430
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=9-t=5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449932-1721403118/watcher-4449932-1721403118 -o /tmp/evaluation-result-4449932-1721403118/solver-4449932-1721403118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721403130-1036851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4449932-1721403118.opb

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

MD5SUM BENCH= e8bf5f7be237686d5dd1c770609b55cb
RANDOM SEED=845128423

nodeC018.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		: 2624.191
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.52
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		: 2915.788
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.30
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		: 2054.809
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.52
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		: 2372.688
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.30
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		: 3281.346
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.52
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		: 1201.001
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.30
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		: 3551.942
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.52
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		: 2287.132
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125605204 kB
MemAvailable:   129737436 kB
Buffers:          530308 kB
Cached:          4402180 kB
SwapCached:          148 kB
Active:          1077400 kB
Inactive:        4188544 kB
Active(anon):       1484 kB
Inactive(anon):   377484 kB
Active(file):    1075916 kB
Inactive(file):  3811060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              1168 kB
Writeback:             0 kB
AnonPages:        333056 kB
Mapped:           109088 kB
Shmem:             45784 kB
KReclaimable:     170156 kB
Slab:             273264 kB
SReclaimable:     170156 kB
SUnreclaim:       103108 kB
KernelStack:        3852 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     693392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC018 at 2024-07-19 18:20:51