Trace number 4440285

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 2024 2024-07-07SAT (TO)223 3600.63 3540.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
MD5SUM0daa95194506fa379fbbdb25b381edfb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables473
Total number of constraints473
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints473
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.12/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.10	c See www.sat4j.org for details.
0.12/0.12	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.15	c Free memory 		2113181440
0.12/0.15	c Max memory 		16282288128
0.12/0.15	c Total memory 		2122317824
0.12/0.16	c Number of processors 	2
0.27/0.25	--- Begin Solver configuration ---
0.27/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.27/0.25	Learn all clauses as in MiniSAT
0.27/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.25	Expensive reason simplification
0.27/0.25	Glucose 2.1 dynamic restart strategy
0.27/0.25	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.27/0.25	timeout=2147483s
0.27/0.25	DB Simplification allowed=false
0.27/0.25	Listener: none
0.27/0.25	--- End Solver configuration ---
0.27/0.26	c Pseudo Boolean Optimization by upper bound
0.27/0.26	c --- Begin Solver configuration ---
0.27/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.27/0.26	c Learn all clauses as in MiniSAT
0.27/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.26	c Expensive reason simplification
0.27/0.26	c Glucose 2.1 dynamic restart strategy
0.27/0.26	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.27/0.26	c timeout=2147483s
0.27/0.26	c DB Simplification allowed=false
0.27/0.26	c Listener: none
0.27/0.26	c --- End Solver configuration ---
0.27/0.26	c solving HOME/instance-4440285-1721769440.opb
0.27/0.26	c reading problem ... 
0.27/0.26	c using VERIPB proof format
0.27/0.26	c  objective function found
0.42/0.35	c ... done. Wall clock time 0.086s.
0.42/0.35	c declared #vars     473
0.42/0.35	c #constraints  473
0.42/0.35	c constraints type 
0.42/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 473
0.42/0.35	c 473 constraints processed.
0.42/0.37	c objective function length is 473 literals
0.42/0.39	c SATISFIABLE
0.42/0.39	c OPTIMIZING...
0.42/0.39	c Got one! Elapsed wall clock time (in seconds):0.127
0.42/0.39	o 227
1.18/0.72	c Got one! Elapsed wall clock time (in seconds):0.461
1.18/0.72	o 226
1.38/0.86	c Got one! Elapsed wall clock time (in seconds):0.604
1.38/0.86	o 225
3.36/1.81	c Got one! Elapsed wall clock time (in seconds):1.55
3.36/1.81	o 224
3.94/2.12	c cleaning 3215 clauses out of 6441 with flag 4464/6441
4.91/2.79	c cleaning 4607 clauses out of 9226 with flag 17069/12441
5.72/3.47	c cleaning 5803 clauses out of 11620 with flag 31718/19442
6.92/4.54	c cleaning 6906 clauses out of 13817 with flag 49729/27442
7.98/5.56	c cleaning 7950 clauses out of 15911 with flag 68388/36442
9.25/6.61	c cleaning 8975 clauses out of 17961 with flag 89142/46442
10.38/7.70	c cleaning 9986 clauses out of 19985 with flag 111945/57441
11.75/9.01	c cleaning 10988 clauses out of 22000 with flag 136839/69442
13.10/10.32	c cleaning 11999 clauses out of 24011 with flag 163736/82441
14.47/11.66	c cleaning 12998 clauses out of 26013 with flag 192704/96442
16.25/13.43	c cleaning 13996 clauses out of 28014 with flag 224126/111441
18.67/15.79	c cleaning 15002 clauses out of 30019 with flag 257576/127442
20.78/17.52	c cleaning 15999 clauses out of 32016 with flag 293032/144441
22.61/19.23	c cleaning 17001 clauses out of 34018 with flag 330528/162442
24.68/21.25	c cleaning 17998 clauses out of 36017 with flag 370432/181442
27.60/24.02	c cleaning 19001 clauses out of 38018 with flag 412340/201441
29.94/26.26	c cleaning 19998 clauses out of 40018 with flag 456611/222442
32.33/28.55	c cleaning 21001 clauses out of 42020 with flag 502736/244442
35.80/31.71	c cleaning 22000 clauses out of 44019 with flag 550777/267442
38.29/34.20	c cleaning 22995 clauses out of 46018 with flag 600909/291441
41.73/38.72	c cleaning 23999 clauses out of 48023 with flag 653340/316441
44.44/41.37	c cleaning 25000 clauses out of 50024 with flag 707142/342441
47.04/43.90	c cleaning 26003 clauses out of 52024 with flag 763377/369441
50.27/46.88	c cleaning 27002 clauses out of 54022 with flag 821780/397442
53.57/49.95	c cleaning 27999 clauses out of 56019 with flag 882287/426441
56.81/53.09	c cleaning 28998 clauses out of 58021 with flag 945090/456442
60.24/56.31	c cleaning 29998 clauses out of 60022 with flag 1009377/487441
63.71/59.60	c cleaning 31003 clauses out of 62024 with flag 1075996/519441
67.01/62.90	c cleaning 32001 clauses out of 64022 with flag 1144773/552442
70.93/67.66	c cleaning 32999 clauses out of 66021 with flag 1214994/586442
75.54/71.98	c cleaning 34000 clauses out of 68021 with flag 1287270/621441
79.13/75.51	c cleaning 34998 clauses out of 70021 with flag 1361523/657441
79.90/76.28	c Got one! Elapsed wall clock time (in seconds):76.022
79.90/76.28	o 223
80.61/76.90	c cleaning 24146 clauses out of 48312 with flag 10642/670730
81.11/77.48	c cleaning 15069 clauses out of 30166 with flag 23154/676730
81.73/78.09	c cleaning 11039 clauses out of 22097 with flag 37901/683730
82.73/78.76	c cleaning 9513 clauses out of 19057 with flag 54599/691729
83.58/79.54	c cleaning 9260 clauses out of 18544 with flag 73276/700729
84.65/80.52	c cleaning 9633 clauses out of 19284 with flag 93951/710729
85.56/81.49	c cleaning 10315 clauses out of 20651 with flag 116676/721729
86.65/82.57	c cleaning 11161 clauses out of 22337 with flag 141642/733730
88.07/83.90	c cleaning 12077 clauses out of 24176 with flag 168661/746730
89.58/85.16	c cleaning 13040 clauses out of 26098 with flag 197979/760729
91.25/86.77	c cleaning 14021 clauses out of 28059 with flag 229082/775730
92.85/88.33	c cleaning 15012 clauses out of 30037 with flag 262261/791729
94.44/89.93	c cleaning 16004 clauses out of 32025 with flag 297929/808729
96.38/91.87	c cleaning 17003 clauses out of 34022 with flag 337137/826730
98.38/93.83	c cleaning 18000 clauses out of 36018 with flag 376970/845729
100.59/96.01	c cleaning 18998 clauses out of 38018 with flag 418968/865729
103.59/99.54	c cleaning 20001 clauses out of 40021 with flag 462970/886730
106.45/102.24	c cleaning 20998 clauses out of 42019 with flag 509447/908729
110.64/106.30	c cleaning 22001 clauses out of 44021 with flag 558112/931729
113.45/109.13	c cleaning 23002 clauses out of 46022 with flag 608810/955731
116.04/111.71	c cleaning 24001 clauses out of 48018 with flag 660759/980729
118.82/114.44	c cleaning 25002 clauses out of 50017 with flag 714796/1006729
121.62/117.28	c cleaning 25997 clauses out of 52015 with flag 771282/1033729
124.83/120.32	c cleaning 27000 clauses out of 54019 with flag 829613/1061730
127.72/123.27	c cleaning 27995 clauses out of 56018 with flag 889947/1090729
131.23/126.69	c cleaning 29003 clauses out of 58024 with flag 952176/1120730
134.74/130.16	c cleaning 30004 clauses out of 60021 with flag 1016566/1151730
138.84/134.03	c cleaning 31000 clauses out of 62017 with flag 1083957/1183730
142.97/137.95	c cleaning 31998 clauses out of 64017 with flag 1152924/1216730
147.06/141.80	c cleaning 32998 clauses out of 66018 with flag 1224105/1250729
151.71/146.15	c cleaning 34002 clauses out of 68021 with flag 1297431/1285730
155.69/150.04	c cleaning 35000 clauses out of 70019 with flag 1372643/1321730
160.10/154.30	c cleaning 36001 clauses out of 72018 with flag 1450302/1358729
164.29/158.45	c cleaning 36993 clauses out of 74017 with flag 1529246/1396729
169.39/164.65	c cleaning 37998 clauses out of 76025 with flag 1611028/1435730
174.13/169.30	c cleaning 39000 clauses out of 78027 with flag 1695090/1475730
178.32/173.58	c cleaning 40002 clauses out of 80026 with flag 1781262/1516729
183.28/178.29	c cleaning 41001 clauses out of 82024 with flag 1868505/1558729
188.67/183.37	c cleaning 42002 clauses out of 84023 with flag 1958219/1601729
193.76/188.36	c cleaning 42998 clauses out of 86022 with flag 2049843/1645730
198.81/193.69	c cleaning 43999 clauses out of 88023 with flag 2143814/1690729
204.21/198.96	c cleaning 45003 clauses out of 90025 with flag 2240271/1736730
209.21/203.83	c cleaning 46001 clauses out of 92021 with flag 2338672/1783729
214.58/209.07	c cleaning 47000 clauses out of 94021 with flag 2439388/1831730
220.28/214.68	c cleaning 47995 clauses out of 96020 with flag 2541773/1880729
225.98/220.25	c cleaning 49003 clauses out of 98025 with flag 2645738/1930729
233.71/228.83	c cleaning 49998 clauses out of 100023 with flag 2751652/1981730
241.28/236.05	c cleaning 51006 clauses out of 102024 with flag 2861425/2033729
248.30/242.98	c cleaning 52000 clauses out of 104019 with flag 2972769/2086730
255.61/250.21	c cleaning 52999 clauses out of 106018 with flag 3085093/2140729
263.33/257.82	c cleaning 54001 clauses out of 108019 with flag 3199258/2195729
270.88/265.20	c cleaning 54999 clauses out of 110018 with flag 3315864/2251729
277.74/272.08	c cleaning 56003 clauses out of 112020 with flag 3434484/2308730
284.42/278.69	c cleaning 56998 clauses out of 114016 with flag 3555742/2366729
293.43/287.84	c cleaning 58004 clauses out of 116019 with flag 3678170/2425730
303.15/296.90	c cleaning 58994 clauses out of 118014 with flag 3802990/2485729
311.52/305.19	c cleaning 60004 clauses out of 120021 with flag 3930431/2546730
319.64/313.27	c cleaning 60998 clauses out of 122017 with flag 4059766/2608730
328.59/322.27	c cleaning 62003 clauses out of 124018 with flag 4192045/2671729
338.23/331.41	c cleaning 63002 clauses out of 126016 with flag 4325464/2735730
348.19/339.96	c cleaning 63996 clauses out of 128013 with flag 4460875/2800729
357.33/348.86	c cleaning 64999 clauses out of 130017 with flag 4597569/2866729
366.27/357.69	c cleaning 65997 clauses out of 132018 with flag 4736760/2933729
375.41/366.30	c cleaning 67002 clauses out of 134021 with flag 4877616/3001729
383.93/374.52	c cleaning 67999 clauses out of 136020 with flag 5020039/3070730
393.39/384.17	c cleaning 68999 clauses out of 138021 with flag 5165517/3140730
401.90/392.63	c cleaning 70002 clauses out of 140022 with flag 5312753/3211730
410.54/401.22	c cleaning 71001 clauses out of 142020 with flag 5461547/3283730
420.19/410.85	c cleaning 71998 clauses out of 144018 with flag 5612345/3356729
432.37/423.07	c cleaning 73001 clauses out of 146020 with flag 5766218/3430729
442.78/433.07	c cleaning 74000 clauses out of 148020 with flag 5922055/3505730
453.27/443.27	c cleaning 74998 clauses out of 150019 with flag 6079826/3581729
464.07/454.59	c cleaning 75999 clauses out of 152021 with flag 6238854/3658729
473.82/463.97	c cleaning 76996 clauses out of 154023 with flag 6400124/3736730
485.84/475.45	c cleaning 78006 clauses out of 156026 with flag 6564146/3815729
496.93/487.01	c cleaning 78997 clauses out of 158020 with flag 6729722/3895729
507.56/497.04	c cleaning 79998 clauses out of 160024 with flag 6898157/3976730
517.85/507.41	c cleaning 80998 clauses out of 162025 with flag 7067423/4058729
528.44/517.54	c cleaning 81999 clauses out of 164027 with flag 7239411/4141729
539.73/528.56	c cleaning 83001 clauses out of 166028 with flag 7413067/4225729
551.89/540.57	c cleaning 84001 clauses out of 168027 with flag 7589804/4310729
563.75/551.93	c cleaning 85006 clauses out of 170026 with flag 7769704/4396729
575.91/563.64	c cleaning 86001 clauses out of 172020 with flag 7950720/4483729
588.25/575.97	c cleaning 86999 clauses out of 174019 with flag 8133284/4571729
599.66/587.09	c cleaning 88003 clauses out of 176020 with flag 8317663/4660729
611.27/598.12	c cleaning 89000 clauses out of 178017 with flag 8503256/4750729
625.38/611.75	c cleaning 90000 clauses out of 180018 with flag 8691393/4841730
641.17/625.57	c cleaning 90998 clauses out of 182017 with flag 8882764/4933729
653.87/638.47	c cleaning 91997 clauses out of 184020 with flag 9075753/5026730
667.85/652.00	c cleaning 92999 clauses out of 186023 with flag 9271040/5120730
683.08/667.45	c cleaning 93998 clauses out of 188023 with flag 9468920/5215729
698.86/682.58	c cleaning 95001 clauses out of 190026 with flag 9668424/5311730
712.79/696.12	c cleaning 96003 clauses out of 192024 with flag 9870398/5408729
728.87/712.23	c cleaning 97000 clauses out of 194021 with flag 10074973/5506729
744.24/727.22	c cleaning 98002 clauses out of 196022 with flag 10280644/5605730
758.47/741.49	c cleaning 98997 clauses out of 198019 with flag 10487612/5705729
773.61/755.96	c cleaning 99998 clauses out of 200022 with flag 10698586/5806729
790.06/772.36	c cleaning 101002 clauses out of 202024 with flag 10911429/5908729
807.18/789.08	c cleaning 102000 clauses out of 204023 with flag 11126816/6011730
825.89/807.69	c cleaning 103005 clauses out of 206023 with flag 11343335/6115730
843.95/825.33	c cleaning 103995 clauses out of 208018 with flag 11562604/6220730
859.93/840.83	c cleaning 104999 clauses out of 210022 with flag 11782458/6326729
880.79/861.92	c cleaning 106002 clauses out of 212023 with flag 12004576/6433729
901.20/881.79	c cleaning 107001 clauses out of 214022 with flag 12228995/6541730
922.94/903.14	c cleaning 108003 clauses out of 216021 with flag 12456704/6650730
944.03/924.94	c cleaning 108996 clauses out of 218017 with flag 12685953/6760729
963.76/944.14	c cleaning 109997 clauses out of 220022 with flag 12917272/6871730
987.48/968.33	c cleaning 111000 clauses out of 222024 with flag 13150399/6983729
1007.86/988.76	c cleaning 111996 clauses out of 224024 with flag 13385612/7096729
1029.52/1008.38	c cleaning 113001 clauses out of 226029 with flag 13623600/7210730
1050.43/1029.32	c cleaning 114000 clauses out of 228028 with flag 13863377/7325730
1075.85/1055.10	c cleaning 115001 clauses out of 230027 with flag 14104884/7441729
1099.10/1078.01	c cleaning 116003 clauses out of 232027 with flag 14349071/7558730
1120.12/1098.36	c cleaning 117002 clauses out of 234023 with flag 14594772/7676729
1143.01/1121.06	c cleaning 118000 clauses out of 236022 with flag 14843634/7795730
1168.37/1146.13	c cleaning 118999 clauses out of 238022 with flag 15093066/7915730
1192.87/1170.47	c cleaning 120002 clauses out of 240022 with flag 15346485/8036729
1216.80/1193.78	c cleaning 120999 clauses out of 242021 with flag 15600595/8158730
1239.54/1216.65	c cleaning 122005 clauses out of 244021 with flag 15856010/8281729
1264.34/1241.57	c cleaning 122999 clauses out of 246017 with flag 16114170/8405730
1288.08/1265.29	c cleaning 123995 clauses out of 248018 with flag 16375349/8530730
1312.62/1289.06	c cleaning 124999 clauses out of 250022 with flag 16638632/8656729
1335.91/1311.94	c cleaning 125993 clauses out of 252023 with flag 16904683/8783729
1362.27/1337.88	c cleaning 127005 clauses out of 254030 with flag 17171614/8911729
1388.19/1363.24	c cleaning 127997 clauses out of 256026 with flag 17439550/9040730
1411.23/1385.95	c cleaning 128999 clauses out of 258028 with flag 17709339/9170729
1440.79/1414.93	c cleaning 130002 clauses out of 260030 with flag 17981478/9301730
1465.93/1439.41	c cleaning 130999 clauses out of 262027 with flag 18255741/9433729
1495.91/1469.11	c cleaning 132002 clauses out of 264028 with flag 18533513/9566729
1528.24/1500.74	c cleaning 133005 clauses out of 266026 with flag 18812525/9700729
1556.66/1528.89	c cleaning 133998 clauses out of 268021 with flag 19095365/9835729
1588.31/1561.15	c cleaning 134996 clauses out of 270023 with flag 19378042/9971729
1615.99/1588.31	c cleaning 136000 clauses out of 272027 with flag 19664338/10108729
1661.32/1633.67	c cleaning 136999 clauses out of 274027 with flag 19950388/10246729
1694.59/1666.33	c cleaning 138001 clauses out of 276029 with flag 20240236/10385730
1728.92/1699.88	c cleaning 139005 clauses out of 278028 with flag 20531267/10525730
1762.71/1731.34	c cleaning 140001 clauses out of 280023 with flag 20824730/10666730
1792.92/1761.14	c cleaning 140999 clauses out of 282022 with flag 21120647/10808730
1826.67/1794.48	c cleaning 142002 clauses out of 284022 with flag 21418735/10951729
1857.81/1824.93	c cleaning 143000 clauses out of 286020 with flag 21717185/11095729
1890.62/1857.33	c cleaning 143998 clauses out of 288020 with flag 22019159/11240729
1921.75/1888.32	c cleaning 144993 clauses out of 290022 with flag 22323464/11386729
1952.26/1918.34	c cleaning 145998 clauses out of 292030 with flag 22629862/11533730
1981.55/1946.92	c cleaning 147000 clauses out of 294032 with flag 22938605/11681730
2006.45/1971.16	c cleaning 148003 clauses out of 296032 with flag 23249191/11830730
2038.62/2002.80	c cleaning 149005 clauses out of 298028 with flag 23561067/11980729
2069.61/2033.35	c cleaning 149998 clauses out of 300023 with flag 23875513/12131729
2102.18/2065.50	c cleaning 150998 clauses out of 302026 with flag 24191085/12283730
2136.82/2099.86	c cleaning 151999 clauses out of 304028 with flag 24509502/12436730
2166.45/2128.82	c cleaning 153001 clauses out of 306029 with flag 24829003/12590730
2200.43/2162.29	c cleaning 154001 clauses out of 308027 with flag 25152030/12745729
2231.91/2193.24	c cleaning 155006 clauses out of 310027 with flag 25476283/12901730
2262.47/2222.90	c cleaning 155995 clauses out of 312020 with flag 25804677/13058729
2293.97/2254.34	c cleaning 157002 clauses out of 314026 with flag 26133329/13216730
2323.40/2283.97	c cleaning 158001 clauses out of 316024 with flag 26464593/13375730
2357.55/2317.77	c cleaning 159001 clauses out of 318024 with flag 26798955/13535731
2388.52/2347.94	c cleaning 159998 clauses out of 320021 with flag 27134809/13696729
2421.62/2380.67	c cleaning 160999 clauses out of 322024 with flag 27471792/13858730
2449.27/2407.85	c cleaning 161993 clauses out of 324024 with flag 27809343/14021729
2482.82/2438.15	c cleaning 163000 clauses out of 326032 with flag 28148855/14185730
2514.44/2468.97	c cleaning 164005 clauses out of 328031 with flag 28498164/14350729
2550.11/2503.87	c cleaning 165003 clauses out of 330027 with flag 28845219/14516730
2579.43/2532.43	c cleaning 165998 clauses out of 332023 with flag 29191806/14683729
2613.72/2566.12	c cleaning 167002 clauses out of 334025 with flag 29540701/14851729
2643.56/2595.22	c cleaning 167997 clauses out of 336023 with flag 29893072/15020729
2670.72/2621.70	c cleaning 169001 clauses out of 338027 with flag 30245277/15190730
2706.14/2656.47	c cleaning 170002 clauses out of 340025 with flag 30601329/15361729
2739.03/2688.52	c cleaning 171001 clauses out of 342024 with flag 30961161/15533730
2774.22/2723.56	c cleaning 172002 clauses out of 344022 with flag 31322746/15706729
2808.07/2757.18	c cleaning 172995 clauses out of 346021 with flag 31683912/15880730
2845.92/2794.26	c cleaning 174001 clauses out of 348025 with flag 32048774/16055729
2887.30/2835.05	c cleaning 175005 clauses out of 350024 with flag 32415370/16231729
2924.00/2871.04	c cleaning 176000 clauses out of 352019 with flag 32783507/16408729
2961.08/2907.42	c cleaning 176996 clauses out of 354019 with flag 33153866/16586729
3005.88/2951.42	c cleaning 178002 clauses out of 356024 with flag 33526186/16765730
3048.78/2993.51	c cleaning 178998 clauses out of 358021 with flag 33899617/16945729
3094.00/3039.13	c cleaning 180005 clauses out of 360025 with flag 34273907/17126731
3132.25/3076.74	c cleaning 181000 clauses out of 362018 with flag 34651965/17308729
3174.76/3116.33	c cleaning 182000 clauses out of 364018 with flag 35031597/17491729
3215.24/3156.36	c cleaning 182995 clauses out of 366018 with flag 35414332/17675729
3251.51/3191.98	c cleaning 184001 clauses out of 368023 with flag 35798540/17860729
3288.83/3228.95	c cleaning 185001 clauses out of 370023 with flag 36183683/18046730
3333.89/3273.70	c cleaning 185999 clauses out of 372021 with flag 36571363/18233729
3375.50/3318.16	c cleaning 186998 clauses out of 374023 with flag 36961242/18421730
3413.96/3356.08	c cleaning 187999 clauses out of 376024 with flag 37350795/18610729
3456.92/3398.25	c cleaning 189000 clauses out of 378026 with flag 37744807/18800730
3494.39/3435.10	c cleaning 189999 clauses out of 380025 with flag 38140859/18991729
3533.76/3474.65	c cleaning 191005 clauses out of 382026 with flag 38538792/19183729
3580.86/3520.90	c cleaning 191998 clauses out of 384021 with flag 38939339/19376729
3600.00/3539.82	c starts		: 6
3600.00/3539.85	c conflicts		: 19494206
3600.00/3539.85	c decisions		: 27532563
3600.00/3539.85	c propagations		: 402807254
3600.00/3539.85	c inspects		: 13926932056
3600.00/3539.85	c shortcuts		: 0
3600.00/3539.85	c learnt literals	: 0
3600.00/3539.85	c learnt binary clauses	: 0
3600.00/3539.85	c learnt ternary clauses	: 0
3600.00/3539.86	c learnt constraints	: 19494206
3600.00/3539.86	c ignored constraints	: 0
3600.00/3539.86	c root simplifications	: 0
3600.00/3539.86	c removed literals (reason simplification)	: 161576
3600.00/3539.86	c reason swapping (by a shorter reason)	: 0
3600.00/3539.86	c Calls to reduceDB	: 221
3600.00/3539.86	c Number of update (reduction) of LBD	: 263436
3600.00/3539.86	c Imported unit clauses	: 0
3600.00/3539.86	c No decision after first conflict	: false
3600.00/3539.86	c number of reductions to clauses (during analyze)	: 0
3600.00/3539.86	c number of learned constraints concerned by reduction	: 0
3600.00/3539.86	c number of learning phase by resolution	: 0
3600.00/3539.86	c number of learning phase by cutting planes	: 0
3600.00/3539.86	c number of rounding to 1 operations	: 0
3600.00/3539.86	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3539.86	c number of reductions of the coefficients by power 2 	: 0
3600.00/3539.86	c number of right shift for reduction by power 2 	: 0
3600.00/3539.86	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3539.86	c number of ending skipping 	: 0
3600.00/3539.86	c number of internal skipping 	: 0
3600.00/3539.86	c number of derivation steps 	: 0
3600.00/3539.86	c number of skipped derivation steps 	: 0
3600.00/3539.88	c number of remaining unassigned 	: 0
3600.00/3539.88	c number of remaining assigned 	: 0
3600.00/3539.88	c number of falsified literals weakened from reason	: 0
3600.00/3539.88	c number of falsified literals weakened from conflict	: 0
3600.00/3539.88	c time for arithmetic operations	: 0
3600.00/3539.88	c minimum degree of deleted constraints	: null
3600.00/3539.88	c maximum degree of deleted constraints	: null
3600.00/3539.88	c number of deleted constraints	: 0
3600.00/3539.88	c speed (assignments/second)	: 113803.36951356434
3600.00/3539.88	c non guided choices	: 0
3600.20/3540.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 309500
3600.20/3540.00	s SATISFIABLE
3600.20/3540.00	c Found 5 solution(s)
3600.20/3540.00	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 x172 x173 x174 -x175 x176 x177 x178 -x179 x180 -x181 -x182 x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 x197 x198 x199 -x200 x201 x202 x203 x204 x205 -x206 x207 -x208 x209 -x210 x211 -x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x220 -x221 x222 x223 x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 x233 -x234 -x235 -x236 x237 -x238 x239 x240 -x241 x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 -x252 -x253 x254 -x255 x256 -x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 x266 x267 x268 -x269 x270 -x271 -x272 x273 -x274 -x275 x276 x277 x278 x279 x280 x281 -x282 -x283 -x284 -x285 x286 x287 x288 -x289 x290 -x291 -x292 -x293 x294 x295 x296 x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 x310 x311 x312 x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 
3600.38/3540.01	c objective function=223
3600.38/3540.01	c Total wall clock time (in seconds): 3539.756

Verifier Data 

OK	223

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: 64059 MiB (51001 MiB free)
  memory of node 1: 64510 MiB (40562 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440285-1721769440/watcher-4440285-1721769440 -o /tmp/evaluation-result-4440285-1721769440/solver-4440285-1721769440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126368 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440285-1721769440 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440285-1721769440.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.67 4.55 4.56 5/337 129306
/proc/meminfo: memFree=93725388/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=18993908 memory=57548 CPUtime=0.12 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 6724 0 0 0 10 2 0 0 20 0 18 0 12933390 19449761792 14387 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4748477 14387 5851 1 0 550966 0
[pid=129288/tid=129290] ppid=129285 vsize=18993908 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 5639 0 0 0 6 1 0 0 20 0 18 0 12933391 19449761792 14387 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=18993908 memory=232851243367 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12933393 19449761792 14387 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=18993908 memory=3618136736603162089 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12933394 19449761792 14387 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57548 KiB

[startup+0.206466 s]*
/proc/loadavg: 4.67 4.55 4.56 6/337 129306
/proc/meminfo: memFree=93711424/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=18993908 memory=66284 CPUtime=0.27 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 7343 0 0 0 24 3 0 0 20 0 18 0 12933390 19449761792 16571 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4748477 16571 5855 1 0 551496 0
[pid=129288/tid=129290] ppid=129285 vsize=18993908 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 5870 0 0 0 17 2 0 0 20 0 18 0 12933391 19449761792 16571 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=18993908 memory=881198 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12933393 19449761792 16571 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12933394 19449761792 16571 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66284 KiB

[startup+0.306829 s]*
/proc/loadavg: 4.67 4.55 4.56 7/337 129306
/proc/meminfo: memFree=93703024/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=18993908 memory=70696 CPUtime=0.42 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 7675 0 0 0 39 3 0 0 20 0 18 0 12933390 19449761792 17674 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4748477 17674 6121 1 0 551708 0
[pid=129288/tid=129290] ppid=129285 vsize=18993908 memory=-8815066621876675260 CPUtime=0.28 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 6024 0 0 0 26 2 0 0 20 0 18 0 12933391 19449761792 17674 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12933393 19449761792 17674 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=18993908 memory=0 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12933394 19449761792 17674 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 70696 KiB

[startup+0.704043 s]
/proc/loadavg: 4.67 4.55 4.56 6/338 129307
/proc/meminfo: memFree=93679600/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19060472 memory=104348 CPUtime=1.18 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 9581 0 0 0 113 5 0 0 20 0 19 0 12933390 19517923328 26087 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4765118 26087 6178 1 0 552885 0
[pid=129288/tid=129290] ppid=129285 vsize=19060472 memory=5640 CPUtime=0.64 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 6192 0 0 0 61 3 0 0 20 0 19 0 12933391 19517923328 26087 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19060472 memory=12240 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12933393 19517923328 26087 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19060472 memory=4853 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12933394 19517923328 26087 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19060472 memory=2244 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12933428 19517923328 26087 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 104348 KiB

[startup+1.50084 s]
/proc/loadavg: 4.67 4.55 4.56 8/339 129308
/proc/meminfo: memFree=93567560/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=180636 CPUtime=2.75 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 17760 0 0 0 267 8 0 0 20 0 20 0 12933390 19586084864 45159 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 45159 6226 1 0 555567 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=0 CPUtime=1.38 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 6558 0 0 0 133 5 0 0 20 0 20 0 12933391 19586084864 45159 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 45159 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 45159 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=884016 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 45159 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 180636 KiB

[startup+3.10685 s]
/proc/loadavg: 4.85 4.59 4.57 5/339 129310
/proc/meminfo: memFree=93140116/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=494232 CPUtime=5.41 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 21562 0 0 0 524 17 0 0 20 0 20 0 12933390 19586084864 123558 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 123558 6226 1 0 852401 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=0 CPUtime=2.86 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 7700 0 0 0 275 11 0 0 20 0 20 0 12933391 19586084864 123558 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 123558 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=33 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 123558 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 123558 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 5.41 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 494232 KiB

[startup+6.30083 s]
/proc/loadavg: 4.85 4.59 4.57 8/339 129310
/proc/meminfo: memFree=92371924/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=1290288 CPUtime=8.96 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 23730 0 0 0 857 39 0 0 20 0 20 0 12933390 19586084864 322572 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 322572 6226 1 0 1731822 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=0 CPUtime=5.61 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 8032 0 0 0 534 27 0 0 20 0 20 0 12933391 19586084864 322572 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=7812737562319022951 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 322572 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=1044928 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 322572 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=180640 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 322572 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 8.96 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1290288 KiB

[startup+12.7008 s]
/proc/loadavg: 4.87 4.60 4.58 5/316 129340
/proc/meminfo: memFree=92361916/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=2464056 CPUtime=15.56 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 24395 0 0 0 1482 74 0 0 20 0 20 0 12933390 19586084864 616014 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 616014 6226 1 0 1731836 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=2179164 CPUtime=11.69 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 8527 0 0 0 1111 58 0 0 20 0 20 0 12933391 19586084864 616014 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=2195656 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 616014 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=2232 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 616014 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=2185308 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 616014 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 15.56 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2464056 KiB

[startup+25.5008 s]
/proc/loadavg: 4.90 4.61 4.58 6/340 129382
/proc/meminfo: memFree=90173076/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=3497076 CPUtime=29.25 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 26124 0 0 0 2813 112 0 0 20 0 20 0 12933390 19586084864 874269 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 874269 6226 1 0 1731842 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=1349680 CPUtime=23.77 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 9627 0 0 0 2288 89 0 0 20 0 20 0 12933391 19586084864 874269 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=0 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 874269 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=2185308 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 874269 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=3421124 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 874269 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 29.25 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3497076 KiB

[startup+51.1145 s]
/proc/loadavg: 4.85 4.63 4.59 5/338 129386
/proc/meminfo: memFree=85071992/131655788 swapFree=131070448/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=5449816 CPUtime=54.78 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 33627 0 0 0 5289 189 0 0 20 0 20 0 12933390 19586084864 1362454 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 1362454 6240 1 0 2011751 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=3925596 CPUtime=46.89 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 12684 0 0 0 4537 152 0 0 20 0 20 0 12933391 19586084864 1362454 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 116 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=50044 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 1362454 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0

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

Current children cumulated memory: 16321208 KiB

[startup+3222.31 s]
/proc/loadavg: 4.21 4.27 4.53 5/327 131900
/proc/meminfo: memFree=53994052/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321212 CPUtime=3282.06 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 14446513 0 0 0 323329 4877 0 0 20 0 20 0 12933390 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080303 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321208 CPUtime=3043.74 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 12464971 0 0 0 300021 4353 0 0 20 0 20 0 12933391 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4479 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=16321208 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=16321208 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2143 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=16321208 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3282.06 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321212 KiB

[startup+3282.31 s]
/proc/loadavg: 4.16 4.25 4.51 5/327 131911
/proc/meminfo: memFree=52911248/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321212 CPUtime=3339.65 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 14549054 0 0 0 329027 4938 0 0 20 0 20 0 12933390 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080303 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321212 CPUtime=3098.68 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 12567073 0 0 0 305456 4412 0 0 20 0 20 0 12933391 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4830 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=17828 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2143 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=16321212 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3339.65 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321212 KiB

[startup+3342.31 s]
/proc/loadavg: 4.18 4.25 4.49 5/325 131921
/proc/meminfo: memFree=51885764/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321212 CPUtime=3400.53 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 15380413 0 0 0 335022 5031 0 0 20 0 20 0 12933390 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080303 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321212 CPUtime=3155.18 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 13324362 0 0 0 311021 4497 0 0 20 0 20 0 12933391 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4929 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=16321212 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=-8815066621876675260 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2143 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=16321212 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080303 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3400.53 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321212 KiB

[startup+3402.31 s]
/proc/loadavg: 4.26 4.26 4.48 5/323 131932
/proc/meminfo: memFree=50374496/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3461.01 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 15468120 0 0 0 341016 5085 0 0 20 0 20 0 12933390 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080346 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3212.42 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 13406963 0 0 0 316694 4548 0 0 20 0 20 0 12933391 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5012 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=4880 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=50044 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2239 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=-8815066621876675260 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3461.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321384 KiB

[startup+3462.31 s]
/proc/loadavg: 4.21 4.25 4.46 5/323 131943
/proc/meminfo: memFree=49028440/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3521.84 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 15469687 0 0 0 347045 5139 0 0 20 0 20 0 12933390 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080346 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3269.16 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 13407620 0 0 0 322317 4599 0 0 20 0 20 0 12933391 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5102 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=16321384 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=16321384 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2239 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=16321384 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3521.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321384 KiB

[startup+3522.31 s]
/proc/loadavg: 4.36 4.28 4.46 5/319 131953
/proc/meminfo: memFree=48070620/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3582.27 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 15471471 0 0 0 353043 5184 0 0 20 0 20 0 12933390 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080346 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3326.14 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 13408553 0 0 0 327972 4642 0 0 20 0 20 0 12933391 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5208 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=16321384 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=16321384 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2239 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=-8815066621876675260 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3582.27 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3539.8 s]
/proc/loadavg: 4.26 4.26 4.45 5/319 131957
/proc/meminfo: memFree=47746488/131655788 swapFree=131052932/131071996
[pid=129288] ppid=129285 vsize=19127036 memory=16321384 CPUtime=3600 cores=1,3
/proc/129288/stat : 129288 (java) S 129285 129288 126356 0 -1 1077936128 15472060 0 0 0 354798 5202 0 0 20 0 20 0 12933390 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
/proc/129288/statm: 4781759 4080346 6240 1 0 4094297 0
[pid=129288/tid=129290] ppid=129285 vsize=19127036 memory=50044 CPUtime=3342.33 cores=1,3
/proc/129288/task/129290/stat : 129290 (java) R 129285 129288 126356 0 -1 4194368 13408804 0 0 0 329574 4659 0 0 20 0 20 0 12933391 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5254 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129299] ppid=129285 vsize=19127036 memory=12264 CPUtime=0 cores=1,3
/proc/129288/task/129299/stat : 129299 (Finalizer) S 129285 129288 126356 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12933393 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129306] ppid=129285 vsize=19127036 memory=50044 CPUtime=0 cores=1,3
/proc/129288/task/129306/stat : 129306 (Common-Cleaner) S 129285 129288 126356 0 -1 1077936192 2239 0 0 0 0 0 0 0 20 0 20 0 12933394 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
[pid=129288/tid=129307] ppid=129285 vsize=19127036 memory=12240 CPUtime=0 cores=1,3
/proc/129288/task/129307/stat : 129307 (Timer-0) S 129285 129288 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12933428 19586084864 4080346 134679101440 94483705278464 94483705282160 140733848112384 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94483705289976 94483705290768 94483727036416 140733848118191 140733848118373 140733848118373 140733848125384 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 16321384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3540.32 s]
# the end of solver process 129288 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3548.38 s, system=52.2489 s

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

[startup+3540.21 s]*
/proc/loadavg: 4.26 4.26 4.45 5/301 131960
/proc/meminfo: memFree=63398920/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3540.31 s]
/proc/loadavg: 4.26 4.26 4.45 5/301 131960
/proc/meminfo: memFree=63398920/131655788 swapFree=131052932/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3540.32
CPU time (s): 3600.63
CPU user time (s): 3548.38
CPU system time (s): 52.2489
CPU usage (%): 101.703
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 16322084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3548.38
system time used= 52.2489
maximum resident set size= 16323116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15475334
page faults= 0
swaps= 0
block input operations= 8
block output operations= 67068936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142875
involuntary context switches= 18342


# summary of solver processes directly reported to runsolver:
#   pid: 129288
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3548.38
#   total CPU system time (s): 52.2489

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5325 second user time and 39.9543 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-23 23:17:20
IDJOB=4440285
IDBENCH=147549
IDSOLVER=3079
FILE ID=nodeC005/4440285-1721769440
RUNJOBID= nodeC005-1721765593-126368
SLURM_JOB_ID= 7770667
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440285-1721769440/watcher-4440285-1721769440 -o /tmp/evaluation-result-4440285-1721769440/solver-4440285-1721769440 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126368 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440285-1721769440 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440285-1721769440.opb

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

MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=66112363

nodeC005.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	: 0xb00001f
cpu MHz		: 3667.521
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.113
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.349
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3491.594
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3644.516
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3613.511
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.253
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        93762092 kB
MemAvailable:   106774904 kB
Buffers:          178404 kB
Cached:         13645396 kB
SwapCached:          124 kB
Active:          1202536 kB
Inactive:       36058560 kB
Active(anon):       1576 kB
Inactive(anon): 23481344 kB
Active(file):    1200960 kB
Inactive(file): 12577216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:            635288 kB
Writeback:             0 kB
AnonPages:      23437576 kB
Mapped:           127428 kB
Shmem:             45208 kB
KReclaimable:     149332 kB
Slab:             269676 kB
SReclaimable:     149332 kB
SUnreclaim:       120344 kB
KernelStack:        5200 kB
PageTables:        55800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   26099336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14816 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23013376 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:      275272 kB
DirectMap2M:    22697984 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC005 at 2024-07-24 00:16:20