Trace number 4449777

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)6 3600.44 3600.71

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
MD5SUM8d06570fa4bf547e139dcdd4309b0d0f
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 benchmark6
Best CPU time to get the best result obtained on this benchmark30.1142
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables242
Total number of constraints6358
Number of constraints which are clauses6347
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint12
Number of terms in the objective function 11
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 11
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 13
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.12/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.18	c See www.sat4j.org for details.
0.12/0.19	c version CUSTOM.v20240707
0.12/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.22	c java.vm.version	22.0.1+8-16
0.29/0.23	c java.vm.vendor	Oracle Corporation
0.29/0.23	c sun.arch.data.model	64
0.29/0.23	c java.version		22.0.1
0.29/0.23	c os.name		Linux
0.29/0.23	c os.version		4.18.0-301.1.el8.x86_64
0.29/0.23	c os.arch		amd64
0.29/0.23	c Free memory 		2113181440
0.29/0.23	c Max memory 		16282288128
0.29/0.23	c Total memory 		2122317824
0.29/0.24	c Number of processors 	2
0.46/0.35	--- Begin Solver configuration ---
0.46/0.35	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.46/0.35	Learn all clauses as in MiniSAT
0.46/0.35	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.35	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.35	Expensive reason simplification
0.46/0.35	Glucose 2.1 dynamic restart strategy
0.46/0.35	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.46/0.35	timeout=2147483s
0.46/0.35	DB Simplification allowed=false
0.46/0.35	Listener: none
0.46/0.35	--- End Solver configuration ---
0.46/0.35	c Pseudo Boolean Optimization by upper bound
0.46/0.35	c --- Begin Solver configuration ---
0.46/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.46/0.35	c Learn all clauses as in MiniSAT
0.46/0.35	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.46/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.46/0.35	c Expensive reason simplification
0.46/0.35	c Glucose 2.1 dynamic restart strategy
0.46/0.35	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.46/0.35	c timeout=2147483s
0.46/0.35	c DB Simplification allowed=false
0.46/0.35	c Listener: none
0.46/0.35	c --- End Solver configuration ---
0.46/0.35	c solving HOME/instance-4449777-1721844046.opb
0.46/0.36	c reading problem ... 
0.46/0.36	c using VERIPB proof format
0.46/0.36	c  objective function found
1.00/0.63	c ... done. Wall clock time 0.268s.
1.00/0.63	c declared #vars     242
1.00/0.63	c #constraints  6358
1.00/0.63	c constraints type 
1.00/0.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 11
1.00/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6347
1.00/0.63	c 6358 constraints processed.
1.00/0.67	c objective function length is 11 literals
1.54/0.91	c SATISFIABLE
1.54/0.91	c OPTIMIZING...
1.54/0.91	c Got one! Elapsed wall clock time (in seconds):0.552
1.54/0.91	o 6
2.74/1.54	c cleaning 2689 clauses out of 5378 with flag 28012/5378
3.33/1.89	c cleaning 4332 clauses out of 8687 with flag 69068/11376
3.92/2.17	c cleaning 5678 clauses out of 11355 with flag 122160/18376
4.49/2.43	c cleaning 6833 clauses out of 13677 with flag 178452/26376
4.88/2.68	c cleaning 7917 clauses out of 15845 with flag 235308/35377
5.44/2.99	c cleaning 8957 clauses out of 17927 with flag 313470/45376
5.92/3.30	c cleaning 9983 clauses out of 19970 with flag 399451/56376
6.41/3.68	c cleaning 10991 clauses out of 21987 with flag 488771/68376
6.81/4.07	c cleaning 11995 clauses out of 23997 with flag 592353/81377
7.38/4.51	c cleaning 13006 clauses out of 26011 with flag 695358/95386
7.87/5.00	c cleaning 13979 clauses out of 27997 with flag 827732/110378
8.52/5.51	c cleaning 14993 clauses out of 30016 with flag 922973/126376
9.23/6.01	c cleaning 15995 clauses out of 32023 with flag 1022472/143376
9.88/6.53	c cleaning 16987 clauses out of 34029 with flag 1150781/161377
10.48/7.10	c cleaning 18014 clauses out of 36044 with flag 1300225/180379
11.15/7.76	c cleaning 19013 clauses out of 38028 with flag 1458025/200377
11.85/8.42	c cleaning 20003 clauses out of 40014 with flag 1610244/221376
12.56/9.15	c cleaning 21007 clauses out of 42014 with flag 1790296/243379
13.25/9.89	c cleaning 21999 clauses out of 44004 with flag 1961017/266376
14.04/10.67	c cleaning 22987 clauses out of 46005 with flag 2145881/290376
14.84/11.40	c cleaning 24001 clauses out of 48018 with flag 2305663/315376
15.53/12.18	c cleaning 24994 clauses out of 50017 with flag 2488541/341376
17.17/13.14	c cleaning 26002 clauses out of 52024 with flag 2696799/368377
18.25/13.98	c cleaning 27001 clauses out of 54023 with flag 2890520/396378
19.24/14.91	c cleaning 28002 clauses out of 56020 with flag 3122161/425376
20.13/15.86	c cleaning 28990 clauses out of 58018 with flag 3337689/455376
21.12/16.85	c cleaning 30012 clauses out of 60033 with flag 3572633/486381
22.22/17.99	c cleaning 30997 clauses out of 62017 with flag 3828143/518377
24.41/19.98	c cleaning 31996 clauses out of 64019 with flag 4075549/551376
25.62/21.16	c cleaning 33002 clauses out of 66023 with flag 4337030/585376
26.75/22.36	c cleaning 33999 clauses out of 68024 with flag 4603014/620379
27.95/23.59	c cleaning 34998 clauses out of 70022 with flag 4868316/656376
29.24/24.89	c cleaning 36009 clauses out of 72024 with flag 5134392/693376
30.74/26.34	c cleaning 37000 clauses out of 74015 with flag 5415713/731376
32.05/27.68	c cleaning 37994 clauses out of 76015 with flag 5706062/770376
33.56/29.15	c cleaning 39005 clauses out of 78021 with flag 6009108/810376
35.05/30.62	c cleaning 39989 clauses out of 80016 with flag 6336514/851376
36.52/32.17	c cleaning 41015 clauses out of 82030 with flag 6653908/893379
38.20/33.85	c cleaning 42008 clauses out of 84015 with flag 6973080/936379
39.80/35.44	c cleaning 42978 clauses out of 86004 with flag 7299621/980376
41.51/37.15	c cleaning 43995 clauses out of 88027 with flag 7637625/1025377
43.29/38.93	c cleaning 44987 clauses out of 90031 with flag 8012625/1071376
45.08/40.80	c cleaning 46006 clauses out of 92045 with flag 8368577/1118377
46.98/42.67	c cleaning 47007 clauses out of 94040 with flag 8749345/1166378
48.89/44.56	c cleaning 47999 clauses out of 96032 with flag 9154491/1215377
50.88/46.55	c cleaning 49010 clauses out of 98032 with flag 9553135/1265376
52.98/48.60	c cleaning 50003 clauses out of 100022 with flag 9933385/1316376
54.97/50.64	c cleaning 51003 clauses out of 102019 with flag 10333237/1368376
57.07/52.75	c cleaning 51997 clauses out of 104018 with flag 10738078/1421378
59.38/55.08	c cleaning 52988 clauses out of 106020 with flag 11159075/1475377
61.77/57.45	c cleaning 54009 clauses out of 108034 with flag 11587668/1530379
64.16/59.83	c cleaning 54996 clauses out of 110023 with flag 12016677/1586377
66.75/62.46	c cleaning 56006 clauses out of 112026 with flag 12477575/1643376
69.57/65.32	c cleaning 57002 clauses out of 114021 with flag 12958122/1701377
72.17/67.95	c cleaning 57996 clauses out of 116018 with flag 13439720/1760376
74.76/70.58	c cleaning 58996 clauses out of 118023 with flag 13925524/1820377
77.66/73.43	c cleaning 59994 clauses out of 120026 with flag 14447899/1881376
80.65/76.43	c cleaning 61004 clauses out of 122032 with flag 14939348/1943376
83.73/79.52	c cleaning 62013 clauses out of 124029 with flag 15458068/2006377
86.73/82.60	c cleaning 63004 clauses out of 126016 with flag 15938363/2070377
89.82/85.63	c cleaning 63996 clauses out of 128012 with flag 16472976/2135377
93.04/88.82	c cleaning 64986 clauses out of 130015 with flag 16995461/2201376
96.44/92.29	c cleaning 66014 clauses out of 132032 with flag 17557127/2268379
100.36/96.24	c cleaning 67001 clauses out of 134016 with flag 18147718/2336377
103.59/99.48	c cleaning 67979 clauses out of 136014 with flag 18727914/2405376
107.19/103.06	c cleaning 69009 clauses out of 138038 with flag 19328442/2475379
110.67/106.52	c cleaning 70002 clauses out of 140026 with flag 19935361/2546376
114.66/110.57	c cleaning 71012 clauses out of 142025 with flag 20598180/2618377
118.35/114.24	c cleaning 71992 clauses out of 144013 with flag 21200142/2691377
122.15/118.04	c cleaning 72994 clauses out of 146021 with flag 21779339/2765377
125.84/121.74	c cleaning 74001 clauses out of 148026 with flag 22377745/2840376
129.47/125.40	c cleaning 74997 clauses out of 150025 with flag 23005621/2916376
133.26/129.24	c cleaning 76004 clauses out of 152030 with flag 23624542/2993378
137.08/133.09	c cleaning 77001 clauses out of 154024 with flag 24253971/3071376
141.36/137.35	c cleaning 78005 clauses out of 156024 with flag 24898793/3150377
145.38/141.32	c cleaning 79007 clauses out of 158019 with flag 25522701/3230377
149.38/145.38	c cleaning 79995 clauses out of 160011 with flag 26186645/3311376
153.66/149.60	c cleaning 81002 clauses out of 162016 with flag 26870619/3393376
157.96/153.98	c cleaning 82003 clauses out of 164016 with flag 27579175/3476378
162.49/158.58	c cleaning 82995 clauses out of 166011 with flag 28246398/3560376
167.30/163.30	c cleaning 83993 clauses out of 168017 with flag 28933540/3645377
171.69/167.76	c cleaning 85001 clauses out of 170023 with flag 29625931/3731376
176.58/172.69	c cleaning 86001 clauses out of 172022 with flag 30393555/3818376
181.68/177.71	c cleaning 87007 clauses out of 174022 with flag 31070165/3906377
186.27/182.35	c cleaning 87990 clauses out of 176014 with flag 31777363/3995376
191.66/187.73	c cleaning 89004 clauses out of 178024 with flag 32544432/4085376
197.06/193.14	c cleaning 89993 clauses out of 180020 with flag 33334355/4176376
202.44/198.42	c cleaning 90991 clauses out of 182027 with flag 34070606/4268376
207.63/203.68	c cleaning 92015 clauses out of 184037 with flag 34857504/4361377
213.32/209.33	c cleaning 92998 clauses out of 186021 with flag 35635961/4455376
218.82/214.85	c cleaning 94007 clauses out of 188023 with flag 36436223/4550376
224.78/220.98	c cleaning 95003 clauses out of 190016 with flag 37258166/4646376
230.68/226.86	c cleaning 95995 clauses out of 192014 with flag 38069780/4743377
236.67/232.88	c cleaning 97004 clauses out of 194019 with flag 38899585/4841377
243.01/239.13	c cleaning 97988 clauses out of 196015 with flag 39710432/4940377
248.90/245.08	c cleaning 98998 clauses out of 198026 with flag 40538322/5040376
256.51/252.72	c cleaning 99997 clauses out of 200029 with flag 41361728/5141377
263.10/259.27	c cleaning 101010 clauses out of 202031 with flag 42256284/5243376
269.59/265.78	c cleaning 101996 clauses out of 204021 with flag 43121309/5346376
276.32/272.47	c cleaning 103005 clauses out of 206025 with flag 44032235/5450376
283.01/279.24	c cleaning 104003 clauses out of 208020 with flag 44918398/5555376
289.95/286.17	c cleaning 105006 clauses out of 210018 with flag 45841560/5661377
296.62/292.86	c cleaning 105989 clauses out of 212011 with flag 46754369/5768376
304.05/300.23	c cleaning 107004 clauses out of 214022 with flag 47677419/5876376
311.14/307.35	c cleaning 107996 clauses out of 216020 with flag 48674923/5985378
319.83/316.04	c cleaning 109009 clauses out of 218022 with flag 49586380/6095376
327.10/323.29	c cleaning 110004 clauses out of 220014 with flag 50564042/6206377
334.68/330.86	c cleaning 111000 clauses out of 222009 with flag 51537408/6318376
342.00/338.07	c cleaning 111981 clauses out of 224010 with flag 52461633/6431377
349.77/345.95	c cleaning 113009 clauses out of 226029 with flag 53484029/6545377
358.35/354.42	c cleaning 114008 clauses out of 228019 with flag 54448181/6660376
366.05/362.13	c cleaning 115005 clauses out of 230012 with flag 55376856/6776377
374.60/370.66	c cleaning 115996 clauses out of 232006 with flag 56359719/6893376
382.57/378.58	c cleaning 116980 clauses out of 234012 with flag 57362452/7011378
390.83/386.78	c cleaning 118007 clauses out of 236030 with flag 58393491/7130376
399.33/395.14	c cleaning 119007 clauses out of 238023 with flag 59411113/7250376
408.60/404.56	c cleaning 119998 clauses out of 240016 with flag 60536168/7371376
417.06/412.97	c cleaning 120992 clauses out of 242019 with flag 61618012/7493377
425.70/421.53	c cleaning 121981 clauses out of 244026 with flag 62704680/7616376
434.49/430.37	c cleaning 123018 clauses out of 246046 with flag 63734736/7740377
444.26/440.15	c cleaning 124003 clauses out of 248029 with flag 64890249/7865378
453.73/449.63	c cleaning 124992 clauses out of 250024 with flag 66033709/7991376
463.30/459.14	c cleaning 126002 clauses out of 252034 with flag 67204043/8118378
473.03/468.98	c cleaning 127008 clauses out of 254032 with flag 68384020/8246378
483.13/479.03	c cleaning 127994 clauses out of 256024 with flag 69498418/8375378
492.98/488.83	c cleaning 129013 clauses out of 258028 with flag 70626634/8505376
502.95/498.80	c cleaning 129999 clauses out of 260017 with flag 71782644/8636378
512.34/508.24	c cleaning 130996 clauses out of 262017 with flag 72942215/8768377
524.23/520.02	c cleaning 131984 clauses out of 264020 with flag 74221142/8901376
534.56/530.47	c cleaning 133004 clauses out of 266038 with flag 75435251/9035378
545.04/541.00	c cleaning 134003 clauses out of 268032 with flag 76701958/9170376
556.32/552.14	c cleaning 135007 clauses out of 270030 with flag 77952435/9306377
567.13/563.03	c cleaning 135996 clauses out of 272022 with flag 79317770/9443376
578.34/574.24	c cleaning 136996 clauses out of 274026 with flag 80507414/9581376
590.02/586.07	c cleaning 137986 clauses out of 276030 with flag 81850086/9720376
601.29/597.38	c cleaning 139013 clauses out of 278045 with flag 83196204/9860377
613.45/609.44	c cleaning 139995 clauses out of 280031 with flag 84502508/10001376
625.71/621.68	c cleaning 140994 clauses out of 282036 with flag 85797112/10143376
637.99/633.80	c cleaning 142023 clauses out of 284045 with flag 87139451/10286379
650.19/646.10	c cleaning 143000 clauses out of 286020 with flag 88502292/10430377
662.39/658.32	c cleaning 144004 clauses out of 288019 with flag 89922926/10575376
675.16/671.08	c cleaning 145002 clauses out of 290015 with flag 91213097/10721376
687.80/683.82	c cleaning 145987 clauses out of 292015 with flag 92561633/10868378
699.95/695.98	c cleaning 146995 clauses out of 294026 with flag 93980090/11016376
713.44/709.49	c cleaning 148005 clauses out of 296033 with flag 95466202/11165378
726.23/722.27	c cleaning 148990 clauses out of 298026 with flag 96851511/11315376
738.97/734.96	c cleaning 150004 clauses out of 300036 with flag 98314425/11466376
752.43/748.43	c cleaning 151012 clauses out of 302033 with flag 99747265/11618377
767.09/763.03	c cleaning 152008 clauses out of 304022 with flag 101184222/11771378
781.04/777.26	c cleaning 152995 clauses out of 306012 with flag 102702520/11925376
795.39/791.58	c cleaning 153984 clauses out of 308017 with flag 104330526/12080376
809.55/807.43	c cleaning 155007 clauses out of 310033 with flag 105827413/12236376
824.35/822.18	c cleaning 156004 clauses out of 312026 with flag 107319779/12393376
839.29/837.19	c cleaning 157002 clauses out of 314022 with flag 108797757/12551376
852.84/850.64	c cleaning 157995 clauses out of 316021 with flag 110327384/12710377
867.09/864.83	c cleaning 159003 clauses out of 318026 with flag 111800698/12870377
881.10/878.81	c cleaning 160003 clauses out of 320022 with flag 113354657/13031376
894.93/892.70	c cleaning 160998 clauses out of 322019 with flag 114898274/13193376
909.33/907.15	c cleaning 162003 clauses out of 324021 with flag 116418147/13356376
924.23/922.07	c cleaning 162994 clauses out of 326018 with flag 117921233/13520376
939.04/936.81	c cleaning 164012 clauses out of 328025 with flag 119537701/13685377
953.51/951.29	c cleaning 165000 clauses out of 330013 with flag 121038638/13851377
968.15/966.00	c cleaning 165979 clauses out of 332012 with flag 122587326/14018376
982.77/980.57	c cleaning 167011 clauses out of 334034 with flag 124221106/14186377
999.04/996.74	c cleaning 168003 clauses out of 336022 with flag 125786278/14355376
1014.50/1012.12	c cleaning 168999 clauses out of 338019 with flag 127376100/14525376
1030.31/1027.96	c cleaning 169996 clauses out of 340020 with flag 128897166/14696376
1046.88/1044.43	c cleaning 171004 clauses out of 342024 with flag 130562280/14868376
1062.31/1059.97	c cleaning 172001 clauses out of 344022 with flag 132202768/15041378
1078.47/1076.10	c cleaning 173005 clauses out of 346019 with flag 133844964/15215376
1094.73/1092.35	c cleaning 173993 clauses out of 348016 with flag 135478539/15390378
1110.98/1108.53	c cleaning 175003 clauses out of 350025 with flag 137134549/15566380
1127.58/1125.13	c cleaning 175989 clauses out of 352020 with flag 138847426/15743378
1144.92/1142.43	c cleaning 176988 clauses out of 354029 with flag 140554663/15921376
1161.95/1159.44	c cleaning 178017 clauses out of 356041 with flag 142300645/16100376
1180.37/1178.73	c cleaning 179010 clauses out of 358024 with flag 144110465/16280376
1198.81/1197.17	c cleaning 180005 clauses out of 360017 with flag 145757613/16461379
1216.03/1214.49	c cleaning 181003 clauses out of 362011 with flag 147553006/16643378
1234.13/1232.54	c cleaning 181996 clauses out of 364006 with flag 149308620/16826376
1252.27/1250.79	c cleaning 182987 clauses out of 366010 with flag 151141434/17010376
1271.27/1269.70	c cleaning 183999 clauses out of 368024 with flag 152945017/17195377
1289.87/1288.32	c cleaning 185011 clauses out of 370024 with flag 154753247/17381376
1308.46/1307.68	c cleaning 185982 clauses out of 372013 with flag 156596391/17568376
1327.78/1326.95	c cleaning 187001 clauses out of 374032 with flag 158391098/17756377
1346.97/1346.12	c cleaning 187998 clauses out of 376030 with flag 160254547/17945376
1367.41/1366.64	c cleaning 189006 clauses out of 378032 with flag 162162815/18135376
1387.14/1386.37	c cleaning 190000 clauses out of 380026 with flag 164045100/18326376
1407.75/1406.91	c cleaning 190985 clauses out of 382026 with flag 165949608/18518376
1427.75/1426.92	c cleaning 192007 clauses out of 384041 with flag 167856203/18711376
1447.15/1446.31	c cleaning 192994 clauses out of 386034 with flag 169722529/18905376
1467.36/1466.78	c cleaning 194012 clauses out of 388040 with flag 171557491/19100376
1486.79/1486.13	c cleaning 194995 clauses out of 390028 with flag 173452818/19296376
1505.97/1505.38	c cleaning 196013 clauses out of 392033 with flag 175368085/19493376
1523.82/1523.28	c cleaning 196990 clauses out of 394021 with flag 177156486/19691377
1542.26/1541.62	c cleaning 198012 clauses out of 396031 with flag 178952821/19890377
1561.56/1560.91	c cleaning 198996 clauses out of 398018 with flag 180738063/20090376
1580.57/1579.92	c cleaning 199987 clauses out of 400022 with flag 182540933/20291376
1598.37/1597.71	c cleaning 201018 clauses out of 402036 with flag 184345811/20493377
1616.02/1615.43	c cleaning 202002 clauses out of 404018 with flag 186209999/20696377
1634.32/1633.78	c cleaning 202998 clauses out of 406015 with flag 188077483/20900376
1652.71/1652.21	c cleaning 203996 clauses out of 408018 with flag 189901105/21105377
1671.63/1671.24	c cleaning 205004 clauses out of 410023 with flag 191776111/21311378
1689.94/1689.53	c cleaning 205991 clauses out of 412019 with flag 193627386/21518378
1707.72/1707.39	c cleaning 207006 clauses out of 414026 with flag 195427786/21726376
1726.34/1725.94	c cleaning 208006 clauses out of 416020 with flag 197217866/21935376
1747.06/1746.30	c cleaning 208997 clauses out of 418015 with flag 198963969/22145377
1766.15/1765.45	c cleaning 210008 clauses out of 420018 with flag 200742984/22356377
1785.43/1784.76	c cleaning 211000 clauses out of 422010 with flag 202538168/22568377
1805.43/1804.79	c cleaning 211990 clauses out of 424009 with flag 204344380/22781376
1825.22/1824.55	c cleaning 212991 clauses out of 426019 with flag 206177267/22995376
1845.21/1844.51	c cleaning 214001 clauses out of 428028 with flag 208065444/23210376
1865.36/1864.78	c cleaning 214993 clauses out of 430029 with flag 209951837/23426378
1886.42/1885.83	c cleaning 216008 clauses out of 432035 with flag 211763181/23643377
1907.15/1906.55	c cleaning 216991 clauses out of 434026 with flag 213659708/23861376
1928.49/1927.93	c cleaning 218000 clauses out of 436035 with flag 215548318/24080376
1948.85/1948.37	c cleaning 219006 clauses out of 438035 with flag 217412927/24300376
1970.85/1970.37	c cleaning 219990 clauses out of 440029 with flag 219307651/24521376
1992.04/1991.54	c cleaning 221006 clauses out of 442039 with flag 221234467/24743376
2011.90/2011.47	c cleaning 221999 clauses out of 444033 with flag 223192656/24966376
2034.72/2034.33	c cleaning 223013 clauses out of 446036 with flag 225131344/25190378
2056.99/2056.66	c cleaning 223993 clauses out of 448022 with flag 227050469/25415377
2078.84/2078.59	c cleaning 225012 clauses out of 450028 with flag 229004147/25641376
2101.01/2100.72	c cleaning 226003 clauses out of 452017 with flag 230880375/25868377
2123.23/2122.91	c cleaning 226992 clauses out of 454013 with flag 232902156/26096376
2144.32/2144.09	c cleaning 227995 clauses out of 456021 with flag 234917726/26325376
2169.07/2168.83	c cleaning 228994 clauses out of 458026 with flag 236851423/26555376
2193.62/2193.33	c cleaning 229998 clauses out of 460032 with flag 238730995/26786376
2217.94/2217.66	c cleaning 230988 clauses out of 462034 with flag 240699487/27018376
2242.05/2241.72	c cleaning 232012 clauses out of 464046 with flag 242715183/27251376
2265.14/2264.80	c cleaning 233006 clauses out of 466037 with flag 244719939/27485379
2286.34/2286.08	c cleaning 233994 clauses out of 468029 with flag 246751317/27720377
2307.75/2307.44	c cleaning 235004 clauses out of 470034 with flag 248788163/27956376
2328.00/2327.75	c cleaning 236011 clauses out of 472030 with flag 250883409/28193376
2349.07/2348.85	c cleaning 236993 clauses out of 474019 with flag 252929713/28431376
2368.19/2368.00	c cleaning 238005 clauses out of 476026 with flag 254960381/28670376
2389.75/2389.40	c cleaning 238998 clauses out of 478021 with flag 257015798/28910376
2411.56/2411.24	c cleaning 239993 clauses out of 480023 with flag 259122036/29151376
2432.50/2432.19	c cleaning 241013 clauses out of 482030 with flag 261255999/29393376
2453.74/2453.48	c cleaning 241991 clauses out of 484017 with flag 263345261/29636376
2476.71/2476.48	c cleaning 242992 clauses out of 486028 with flag 265421680/29880378
2499.42/2499.28	c cleaning 244007 clauses out of 488037 with flag 267549330/30125379
2521.81/2521.54	c cleaning 245006 clauses out of 490027 with flag 269615404/30371376
2545.53/2545.26	c cleaning 246009 clauses out of 492026 with flag 271779596/30618381
2569.00/2568.72	c cleaning 246987 clauses out of 494015 with flag 273946116/30866379
2590.66/2590.45	c cleaning 248006 clauses out of 496026 with flag 276102278/31115377
2613.89/2613.62	c cleaning 249002 clauses out of 498019 with flag 278256650/31365376
2637.27/2637.06	c cleaning 249991 clauses out of 500019 with flag 280439085/31616378
2660.93/2660.65	c cleaning 251003 clauses out of 502026 with flag 282617040/31868376
2685.25/2684.98	c cleaning 252002 clauses out of 504023 with flag 284768856/32121376
2707.99/2707.62	c cleaning 253005 clauses out of 506022 with flag 287030446/32375377
2729.71/2729.63	c cleaning 254005 clauses out of 508019 with flag 289144165/32630379
2752.80/2752.75	c cleaning 254993 clauses out of 510011 with flag 291378346/32886376
2777.71/2777.51	c cleaning 255998 clauses out of 512018 with flag 293624722/33143376
2802.25/2802.09	c cleaning 256993 clauses out of 514022 with flag 295919101/33401378
2826.08/2825.82	c cleaning 258000 clauses out of 516029 with flag 298131385/33660378
2849.16/2848.92	c cleaning 259000 clauses out of 518027 with flag 300392251/33920376
2873.14/2872.99	c cleaning 260008 clauses out of 520027 with flag 302722776/34181376
2897.25/2896.93	c cleaning 260997 clauses out of 522023 with flag 305063557/34443380
2921.80/2921.40	c cleaning 262004 clauses out of 524022 with flag 307429446/34706376
2945.88/2945.52	c cleaning 263001 clauses out of 526020 with flag 309762988/34970378
2969.37/2969.04	c cleaning 264006 clauses out of 528017 with flag 312001540/35235376
2993.64/2993.39	c cleaning 264999 clauses out of 530011 with flag 314299697/35501376
3019.11/3018.77	c cleaning 266003 clauses out of 532015 with flag 316740890/35768379
3044.17/3043.77	c cleaning 266999 clauses out of 534009 with flag 319142059/36036376
3068.86/3068.48	c cleaning 268000 clauses out of 536010 with flag 321600466/36305376
3095.83/3095.46	c cleaning 268986 clauses out of 538014 with flag 323978518/36575380
3120.90/3120.44	c cleaning 270007 clauses out of 540025 with flag 326430649/36846377
3147.64/3147.55	c cleaning 270992 clauses out of 542017 with flag 328885274/37118376
3174.58/3174.67	c cleaning 272001 clauses out of 544025 with flag 331384772/37391376
3201.76/3201.91	c cleaning 272998 clauses out of 546024 with flag 333800618/37665376
3229.70/3229.84	c cleaning 274007 clauses out of 548026 with flag 336361482/37940376
3256.79/3256.98	c cleaning 274991 clauses out of 550019 with flag 338902666/38216376
3284.77/3284.97	c cleaning 276002 clauses out of 552028 with flag 341413484/38493376
3311.09/3311.16	c cleaning 276998 clauses out of 554029 with flag 343971707/38771379
3337.99/3338.06	c cleaning 277997 clauses out of 556028 with flag 346559709/39050376
3365.68/3365.76	c cleaning 279010 clauses out of 558031 with flag 349007565/39330376
3393.96/3393.91	c cleaning 280007 clauses out of 560021 with flag 351587715/39611376
3422.27/3422.26	c cleaning 280989 clauses out of 562014 with flag 354074913/39893376
3449.36/3449.33	c cleaning 281988 clauses out of 564025 with flag 356664606/40176376
3479.80/3480.32	c cleaning 282993 clauses out of 566037 with flag 359202063/40460376
3508.52/3509.11	c cleaning 284006 clauses out of 568044 with flag 361804854/40745376
3536.73/3537.21	c cleaning 284993 clauses out of 570038 with flag 364432403/41031376
3565.88/3566.35	c cleaning 286016 clauses out of 572045 with flag 367058579/41318376
3595.39/3595.81	c cleaning 287000 clauses out of 574029 with flag 369719962/41606376
3600.06/3600.54	c starts		: 129103
3600.06/3600.55	c conflicts		: 41681555
3600.06/3600.55	c decisions		: 146055661
3600.06/3600.55	c propagations		: 984838640
3600.06/3600.55	c inspects		: 41114655815
3600.06/3600.55	c shortcuts		: 0
3600.06/3600.55	c learnt literals	: 0
3600.06/3600.55	c learnt binary clauses	: 0
3600.06/3600.55	c learnt ternary clauses	: 0
3600.06/3600.55	c learnt constraints	: 41681555
3600.06/3600.55	c ignored constraints	: 0
3600.06/3600.55	c root simplifications	: 0
3600.06/3600.55	c removed literals (reason simplification)	: 369283110
3600.06/3600.55	c reason swapping (by a shorter reason)	: 0
3600.06/3600.55	c Calls to reduceDB	: 284
3600.06/3600.55	c Number of update (reduction) of LBD	: 30450258
3600.06/3600.55	c Imported unit clauses	: 0
3600.06/3600.55	c No decision after first conflict	: false
3600.06/3600.55	c number of reductions to clauses (during analyze)	: 0
3600.06/3600.55	c number of learned constraints concerned by reduction	: 0
3600.06/3600.55	c number of learning phase by resolution	: 0
3600.06/3600.55	c number of learning phase by cutting planes	: 0
3600.06/3600.55	c number of rounding to 1 operations	: 0
3600.06/3600.55	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3600.55	c number of reductions of the coefficients by power 2 	: 0
3600.06/3600.55	c number of right shift for reduction by power 2 	: 0
3600.06/3600.55	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3600.55	c number of ending skipping 	: 0
3600.06/3600.55	c number of internal skipping 	: 0
3600.06/3600.55	c number of derivation steps 	: 0
3600.06/3600.56	c number of skipped derivation steps 	: 0
3600.06/3600.56	c number of remaining unassigned 	: 0
3600.06/3600.56	c number of remaining assigned 	: 0
3600.06/3600.56	c number of falsified literals weakened from reason	: 0
3600.06/3600.56	c number of falsified literals weakened from conflict	: 0
3600.06/3600.56	c time for arithmetic operations	: 0
3600.06/3600.56	c minimum degree of deleted constraints	: null
3600.06/3600.56	c maximum degree of deleted constraints	: null
3600.06/3600.56	c number of deleted constraints	: 0
3600.06/3600.56	c speed (assignments/second)	: 273575.02809117513
3600.06/3600.56	c non guided choices	: 401
3600.26/3600.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 362208
3600.26/3600.69	s SATISFIABLE
3600.26/3600.69	c Found 1 solution(s)
3600.26/3600.69	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 
3600.26/3600.69	c objective function=6
3600.26/3600.69	c Total wall clock time (in seconds): 3600.338

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449777-1721844046/watcher-4449777-1721844046 -o /tmp/evaluation-result-4449777-1721844046/solver-4449777-1721844046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721844045-187301 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4449777-1721844046 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449777-1721844046.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=187346, runsolver pid=187341

[startup+0.102065 s]*
/proc/loadavg: 1.11 1.28 1.89 10/311 187426
/proc/meminfo: memFree=126740960/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=18975048 memory=54864 CPUtime=0.12 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 6352 0 0 0 8 4 0 0 20 0 18 0 20393824 19430449152 13716 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4743762 13716 5494 1 0 550728 0
[pid=187346/tid=187350] ppid=187341 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 5322 0 0 0 5 3 0 0 20 0 18 0 20393825 19430449152 13716 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=18975048 memory=1276314 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393831 19430449152 13716 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 13716 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 54864 KiB

[startup+0.21625 s]*
/proc/loadavg: 1.11 1.28 1.89 10/316 187431
/proc/meminfo: memFree=126721128/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=18975048 memory=60576 CPUtime=0.29 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 7084 0 0 0 24 5 0 0 20 0 18 0 20393824 19430449152 15144 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4743762 15144 5679 1 0 551319 0
[pid=187346/tid=187350] ppid=187341 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 5656 0 0 0 15 3 0 0 20 0 18 0 20393825 19430449152 15144 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=18975048 memory=1276314 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393831 19430449152 15144 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=18975048 memory=15825495069575043 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 15144 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60576 KiB

[startup+0.318233 s]*
/proc/loadavg: 1.11 1.28 1.89 13/316 187431
/proc/meminfo: memFree=126695096/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=18975048 memory=65756 CPUtime=0.46 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 7361 0 0 0 40 6 0 0 20 0 18 0 20393824 19430449152 16439 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4743762 16439 5688 1 0 551518 0
[pid=187346/tid=187350] ppid=187341 vsize=18975048 memory=-8815628480807740092 CPUtime=0.27 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 5821 0 0 0 23 4 0 0 20 0 18 0 20393825 19430449152 16439 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20393831 19430449152 16439 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20393833 19430449152 16439 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65756 KiB

[startup+0.702647 s]
/proc/loadavg: 1.11 1.28 1.89 15/316 187431
/proc/meminfo: memFree=126671928/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19041612 memory=86428 CPUtime=1.15 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 9319 0 0 0 107 8 0 0 20 0 19 0 20393824 19498610688 21607 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4760403 21607 5867 1 0 553112 0
[pid=187346/tid=187350] ppid=187341 vsize=19041612 memory=16228 CPUtime=0.56 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 6066 0 0 0 51 5 0 0 20 0 19 0 20393825 19498610688 21607 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19041612 memory=12620 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20393831 19498610688 21607 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19041612 memory=25548 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20393833 19498610688 21607 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86428 KiB

[startup+1.50923 s]
/proc/loadavg: 1.11 1.28 1.89 12/320 187435
/proc/meminfo: memFree=126449140/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19041612 memory=143768 CPUtime=2.74 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 15399 0 0 0 263 11 0 0 20 0 19 0 20393824 19498610688 35942 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4760403 35942 5899 1 0 554723 0
[pid=187346/tid=187350] ppid=187341 vsize=19041612 memory=12620 CPUtime=1.22 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 6429 0 0 0 115 7 0 0 20 0 19 0 20393825 19498610688 35942 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19041612 memory=25548 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20393831 19498610688 35942 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20393833 19498610688 35942 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19041612 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20393891 19498610688 35942 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 143768 KiB

[startup+3.10623 s]
/proc/loadavg: 2.06 1.48 1.95 9/324 187439
/proc/meminfo: memFree=126176804/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=183444 CPUtime=5.7 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 21154 0 0 0 554 16 0 0 20 0 20 0 20393824 19566772224 45861 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 45861 5931 1 0 556937 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=0 CPUtime=2.75 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 7507 0 0 0 266 9 0 0 20 0 20 0 20393825 19566772224 45861 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 45861 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=25548 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 45861 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=89268 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 45861 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183444 KiB

[startup+6.30124 s]
/proc/loadavg: 2.06 1.48 1.95 7/324 187439
/proc/meminfo: memFree=125353508/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=411944 CPUtime=9.67 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 21417 0 0 0 945 22 0 0 20 0 20 0 20393824 19566772224 102986 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 102986 5931 1 0 556956 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=0 CPUtime=5.81 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 7638 0 0 0 566 15 0 0 20 0 20 0 20393825 19566772224 102986 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 102986 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 102986 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 102986 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 9.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 411944 KiB

[startup+12.7012 s]
/proc/loadavg: 2.22 1.52 1.96 5/324 187441
/proc/meminfo: memFree=124015780/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=742316 CPUtime=16.48 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 30446 0 0 0 1616 32 0 0 20 0 20 0 20393824 19566772224 185579 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 185579 5931 1 0 556956 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=11536 CPUtime=12.12 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 9000 0 0 0 1189 23 0 0 20 0 20 0 20393825 19566772224 185579 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=739844 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 185579 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=60136 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 185579 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 185579 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 16.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 742316 KiB

[startup+25.5004 s]
/proc/loadavg: 2.82 1.69 2.01 5/326 187455
/proc/meminfo: memFree=121802976/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=1328732 CPUtime=29.94 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 36350 0 0 0 2942 52 0 0 20 0 20 0 20393824 19566772224 332183 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 332183 5931 1 0 556956 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=867796 CPUtime=24.69 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 10626 0 0 0 2428 41 0 0 20 0 20 0 20393825 19566772224 332183 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 332183 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 332183 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=60136 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 332183 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 29.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1328732 KiB

[startup+51.1138 s]
/proc/loadavg: 3.22 1.88 2.06 5/326 187461
/proc/meminfo: memFree=120244832/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=1341088 CPUtime=55.48 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 40018 0 0 0 5481 67 0 0 20 0 20 0 20393824 19566772224 335272 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 335272 5946 1 0 556956 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=49.97 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 12443 0 0 0 4944 53 0 0 20 0 20 0 20393825 19566772224 335272 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=1341088 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 335272 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=1341088 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 335272 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0

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

[startup+3282.3 s]
/proc/loadavg: 3.27 3.32 3.60 4/299 189088
/proc/meminfo: memFree=104272248/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184436 CPUtime=3282.17 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 157377 0 0 0 327134 1083 0 0 20 0 20 0 20393824 19566772224 546109 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546109 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=11536 CPUtime=3244.98 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 69254 0 0 0 323600 898 0 0 20 0 20 0 20393825 19566772224 546109 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 994 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=2332 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546109 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=2184404 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 2987 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546109 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=2184436 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546109 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3282.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184436 KiB

[startup+3342.3 s]
/proc/loadavg: 3.24 3.31 3.58 4/299 189098
/proc/meminfo: memFree=104054988/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184448 CPUtime=3342.28 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 159326 0 0 0 333127 1101 0 0 20 0 20 0 20393824 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546112 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=12620 CPUtime=3304.5 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 70287 0 0 0 329538 912 0 0 20 0 20 0 20393825 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1000 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3046 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=2184448 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3342.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184448 KiB

[startup+3402.3 s]
/proc/loadavg: 3.24 3.30 3.55 4/299 189109
/proc/meminfo: memFree=103838880/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184448 CPUtime=3402.35 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 160123 0 0 0 339119 1116 0 0 20 0 20 0 20393824 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546112 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=3364.07 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 70907 0 0 0 335482 925 0 0 20 0 20 0 20393825 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1006 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3106 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3402.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184448 KiB

[startup+3462.3 s]
/proc/loadavg: 3.28 3.29 3.53 4/299 189288
/proc/meminfo: memFree=104308536/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184448 CPUtime=3462.38 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 161636 0 0 0 345107 1131 0 0 20 0 20 0 20393824 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546112 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=3423.63 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 71610 0 0 0 341427 936 0 0 20 0 20 0 20393825 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1012 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=12620 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3211 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=2184448 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546112 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3462.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184448 KiB

[startup+3522.3 s]
/proc/loadavg: 3.17 3.25 3.50 4/298 189298
/proc/meminfo: memFree=104418072/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184536 CPUtime=3521.85 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 163400 0 0 0 351037 1148 0 0 20 0 20 0 20393824 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546134 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=2184448 CPUtime=3482.55 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 72614 0 0 0 347305 950 0 0 20 0 20 0 20393825 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1080 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=2184448 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=2332 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3212 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=2184536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3521.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184536 KiB

[startup+3582.3 s]
/proc/loadavg: 3.06 3.20 3.47 4/298 189311
/proc/meminfo: memFree=104340820/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184536 CPUtime=3581.91 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 164359 0 0 0 357028 1163 0 0 20 0 20 0 20393824 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546134 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=2184536 CPUtime=3542.09 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 73273 0 0 0 353247 962 0 0 20 0 20 0 20393825 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1087 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=2184536 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3271 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=11536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3581.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.5 s]
/proc/loadavg: 3.10 3.20 3.46 4/297 189314
/proc/meminfo: memFree=104277112/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19108176 memory=2184536 CPUtime=3600.06 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 164885 0 0 0 358838 1168 0 0 20 0 20 0 20393824 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4777044 546134 5946 1 0 557631 0
[pid=187346/tid=187350] ppid=187341 vsize=19108176 memory=2184536 CPUtime=3560.22 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 73767 0 0 0 355056 966 0 0 20 0 20 0 20393825 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1090 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19108176 memory=-9104421806912873148 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20393831 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19108176 memory=2184536 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3271 0 0 0 0 0 0 0 20 0 20 0 20393833 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187432] ppid=187341 vsize=19108176 memory=2184536 CPUtime=0 cores=4,6
/proc/187346/task/187432/stat : 187432 (Timer-0) S 187341 187346 187290 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20393891 19566772224 546134 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184536 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.75 s, system=11.6946 s

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

[startup+3600.61 s]
/proc/loadavg: 3.10 3.20 3.46 4/297 189314
/proc/meminfo: memFree=104277112/131655788 swapFree=131056320/131071996
[pid=187346] ppid=187341 vsize=19307868 memory=2185272 CPUtime=3600.26 cores=4,6
/proc/187346/stat : 187346 (java) S 187341 187346 187290 0 -1 1077936128 167210 0 0 0 358858 1168 0 0 20 0 21 0 20393824 19771256832 546318 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
/proc/187346/statm: 4826967 546318 5945 1 0 558566 0
[pid=187346/tid=187350] ppid=187341 vsize=19307868 memory=8236 CPUtime=3560.32 cores=4,6
/proc/187346/task/187350/stat : 187350 (java) R 187341 187346 187290 0 -1 4194368 74050 0 0 0 355066 966 0 0 20 0 21 0 20393825 19771256832 546318 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1090 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187395] ppid=187341 vsize=19307868 memory=2180 CPUtime=0 cores=4,6
/proc/187346/task/187395/stat : 187395 (Finalizer) S 187341 187346 187290 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 20393831 19771256832 546318 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
[pid=187346/tid=187418] ppid=187341 vsize=19307868 memory=3152 CPUtime=0 cores=4,6
/proc/187346/task/187418/stat : 187418 (Common-Cleaner) S 187341 187346 187290 0 -1 1077936192 3271 0 0 0 0 0 0 0 20 0 21 0 20393833 19771256832 546318 134679101440 93993205465088 93993205468784 140737313120656 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993205476600 93993205477392 93993225924608 140737313129387 140737313129569 140737313129569 140737313136584 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2185272 KiB

Child status: 143

Real time (s): 3600.71
CPU time (s): 3600.44
CPU user time (s): 3588.75
CPU system time (s): 11.6946
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2185272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.75
system time used= 11.6946
maximum resident set size= 2186196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12031128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114960
involuntary context switches= 7616


# summary of solver processes directly reported to runsolver:
#   pid: 187346
#   total CPU time (s): 3600.44
#   total CPU user time (s): 3588.75
#   total CPU system time (s): 11.6946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2979 second user time and 39.0265 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-24 20:00:46
IDJOB=4449777
IDBENCH=176105
IDSOLVER=3079
FILE ID=nodeC006/4449777-1721844046
RUNJOBID= nodeC006-1721844045-187301
SLURM_JOB_ID= 7891593
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.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-4449777-1721844046/watcher-4449777-1721844046 -o /tmp/evaluation-result-4449777-1721844046/solver-4449777-1721844046 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721844045-187301 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4449777-1721844046 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4449777-1721844046.opb

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

MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=80488748

nodeC006.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		: 1197.104
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.06
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.104
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.40
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.104
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.06
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		: 1197.101
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.40
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		: 1197.107
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.06
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		: 1197.099
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.40
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.100
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.06
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.099
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.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126874752 kB
MemAvailable:   129802280 kB
Buffers:          279796 kB
Cached:          3258540 kB
SwapCached:          244 kB
Active:          1948764 kB
Inactive:        1912684 kB
Active(anon):       1620 kB
Inactive(anon):   366736 kB
Active(file):    1947144 kB
Inactive(file):  1545948 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              3668 kB
Writeback:             4 kB
AnonPages:        322992 kB
Mapped:            90980 kB
Shmem:             45244 kB
KReclaimable:     496344 kB
Slab:             605952 kB
SReclaimable:     496344 kB
SUnreclaim:       109608 kB
KernelStack:        3652 kB
PageTables:         9092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     753556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC006 at 2024-07-24 21:00:46