Trace number 4489284

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 2025-06-06SAT (TO)220 3600.63 3525.37

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.09/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.09/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.20	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.27/0.24	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.24	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.24	c java.vm.version	22.0.1+8-16
0.27/0.24	c java.vm.vendor	Oracle Corporation
0.27/0.24	c sun.arch.data.model	64
0.27/0.24	c java.version		22.0.1
0.27/0.24	c os.name		Linux
0.27/0.24	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.24	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4489284-1751340116.opb
0.42/0.37	c reading problem ... 
0.42/0.38	c  objective function found
0.79/0.54	c ... done. Wall clock time 0.152s.
0.79/0.54	c declared #vars     468
0.79/0.54	c #constraints  468
0.79/0.54	c constraints type 
0.79/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 468
0.79/0.54	c 468 constraints processed.
0.79/0.58	c objective function length is 468 literals
0.79/0.60	c SATISFIABLE
0.79/0.61	c OPTIMIZING...
0.79/0.61	c Got one! Elapsed wall clock time (in seconds):0.236
0.79/0.61	o 225
0.95/0.63	c Got one! Elapsed wall clock time (in seconds):0.258
0.95/0.64	o 224
0.95/0.66	c Got one! Elapsed wall clock time (in seconds):0.287
0.95/0.66	o 223
1.52/0.98	c Got one! Elapsed wall clock time (in seconds):0.606
1.52/0.98	o 222
2.10/1.23	c Got one! Elapsed wall clock time (in seconds):0.862
2.10/1.23	o 221
3.09/1.79	c cleaning 3061 clauses out of 6139 with flag 8244/6139
3.82/2.14	c cleaning 4532 clauses out of 9078 with flag 20657/12139
4.32/2.51	c cleaning 5766 clauses out of 11546 with flag 36089/19139
4.77/2.95	c cleaning 6881 clauses out of 13780 with flag 52839/27139
5.57/3.78	c cleaning 7942 clauses out of 15899 with flag 71655/36139
6.49/4.50	c cleaning 8973 clauses out of 17959 with flag 92564/46141
7.20/5.13	c cleaning 9987 clauses out of 19984 with flag 115490/57139
7.69/5.68	c cleaning 10990 clauses out of 21997 with flag 140438/69139
8.46/6.33	c cleaning 11995 clauses out of 24007 with flag 167512/82139
9.31/7.13	c cleaning 13000 clauses out of 26013 with flag 196707/96140
10.00/7.84	c cleaning 13996 clauses out of 28012 with flag 227923/111139
11.80/9.50	c cleaning 15001 clauses out of 30016 with flag 261010/127139
13.40/11.10	c cleaning 16000 clauses out of 32015 with flag 296415/144139
14.56/12.12	c cleaning 16998 clauses out of 34016 with flag 334131/162140
15.75/13.38	c cleaning 18005 clauses out of 36017 with flag 375985/181139
17.19/14.79	c cleaning 18998 clauses out of 38013 with flag 417735/201140
18.69/16.20	c cleaning 20001 clauses out of 40015 with flag 461713/222140
20.43/18.00	c cleaning 21002 clauses out of 42014 with flag 507533/244140
21.83/19.35	c cleaning 21997 clauses out of 44011 with flag 555155/267139
23.30/20.72	c cleaning 22996 clauses out of 46014 with flag 605254/291139
25.12/22.49	c cleaning 24004 clauses out of 48019 with flag 657477/316140
26.62/23.97	c cleaning 24999 clauses out of 50014 with flag 711399/342139
28.54/25.79	c cleaning 26001 clauses out of 52016 with flag 767463/369140
30.67/27.70	c cleaning 27000 clauses out of 54015 with flag 825637/397140
32.39/29.49	c cleaning 28001 clauses out of 56015 with flag 886133/426140
34.47/31.47	c cleaning 28995 clauses out of 58013 with flag 948449/456139
36.79/33.62	c cleaning 30001 clauses out of 60018 with flag 1012992/487139
38.78/35.67	c cleaning 31001 clauses out of 62017 with flag 1079511/519139
42.43/39.24	c cleaning 31997 clauses out of 64017 with flag 1147981/552140
45.91/42.67	c cleaning 33001 clauses out of 66021 with flag 1218113/586141
48.71/45.41	c cleaning 34001 clauses out of 68019 with flag 1291025/621140
51.62/48.23	c cleaning 34999 clauses out of 70018 with flag 1365524/657140
54.33/50.89	c cleaning 35999 clauses out of 72018 with flag 1442871/694139
57.56/54.00	c cleaning 36997 clauses out of 74019 with flag 1522329/732139
61.36/57.77	c cleaning 38006 clauses out of 76023 with flag 1603701/771140
64.32/60.65	c cleaning 38996 clauses out of 78016 with flag 1687362/811139
65.02/61.35	c Got one! Elapsed wall clock time (in seconds):60.967
65.02/61.35	o 220
66.03/62.27	c cleaning 29653 clauses out of 59319 with flag 11072/831438
66.44/62.64	c cleaning 17824 clauses out of 35665 with flag 24417/837437
66.74/62.94	c cleaning 12410 clauses out of 24841 with flag 38919/844437
67.18/63.27	c cleaning 10204 clauses out of 20430 with flag 55389/852436
67.76/63.62	c cleaning 9607 clauses out of 19226 with flag 74017/861436
68.06/64.00	c cleaning 9803 clauses out of 19620 with flag 94720/871437
68.55/64.44	c cleaning 10394 clauses out of 20816 with flag 117473/882436
69.10/64.97	c cleaning 11203 clauses out of 22422 with flag 142255/894436
69.70/65.51	c cleaning 12100 clauses out of 24220 with flag 169058/907437
70.31/66.15	c cleaning 13048 clauses out of 26119 with flag 197938/921436
70.99/66.89	c cleaning 14025 clauses out of 28071 with flag 228809/936436
71.79/67.64	c cleaning 15015 clauses out of 30046 with flag 261995/952436
72.80/68.62	c cleaning 16007 clauses out of 32031 with flag 298967/969436
73.69/69.57	c cleaning 17003 clauses out of 34024 with flag 336208/987436
74.79/70.69	c cleaning 18003 clauses out of 36021 with flag 375225/1006436
75.98/71.80	c cleaning 19001 clauses out of 38019 with flag 416417/1026437
77.09/72.98	c cleaning 19996 clauses out of 40017 with flag 459769/1047436
78.38/74.21	c cleaning 21003 clauses out of 42021 with flag 505219/1069436
79.68/75.51	c cleaning 21998 clauses out of 44019 with flag 552867/1092437
80.88/76.79	c cleaning 23000 clauses out of 46021 with flag 602369/1116437
82.37/78.25	c cleaning 24000 clauses out of 48020 with flag 653958/1141436
84.07/79.91	c cleaning 24999 clauses out of 50020 with flag 707591/1167436
85.67/81.50	c cleaning 25998 clauses out of 52021 with flag 763335/1194436
87.46/83.32	c cleaning 27006 clauses out of 54023 with flag 821097/1222436
88.96/84.87	c cleaning 28000 clauses out of 56018 with flag 881183/1251437
90.65/86.54	c cleaning 28998 clauses out of 58017 with flag 943125/1281436
92.45/88.39	c cleaning 29999 clauses out of 60020 with flag 1007059/1312437
94.44/90.34	c cleaning 31001 clauses out of 62021 with flag 1073399/1344437
96.44/92.31	c cleaning 31999 clauses out of 64019 with flag 1141743/1377436
98.54/94.45	c cleaning 33000 clauses out of 66020 with flag 1212056/1411436
100.73/96.64	c cleaning 34001 clauses out of 68020 with flag 1284577/1446436
102.92/98.85	c cleaning 35001 clauses out of 70019 with flag 1358969/1482436
105.32/101.25	c cleaning 35996 clauses out of 72018 with flag 1435557/1519436
108.27/103.89	c cleaning 37001 clauses out of 74022 with flag 1513994/1557436
110.87/106.48	c cleaning 38001 clauses out of 76021 with flag 1594418/1596436
115.37/110.63	c cleaning 39002 clauses out of 78021 with flag 1677094/1636437
119.37/113.71	c cleaning 40002 clauses out of 80018 with flag 1761804/1677436
122.27/116.61	c cleaning 41000 clauses out of 82017 with flag 1848537/1719437
125.53/119.84	c cleaning 41998 clauses out of 84017 with flag 1937351/1762437
128.22/122.50	c cleaning 42996 clauses out of 86019 with flag 2028584/1806437
131.47/125.79	c cleaning 44001 clauses out of 88022 with flag 2121530/1851436
134.56/128.85	c cleaning 45003 clauses out of 90024 with flag 2216930/1897439
137.84/131.99	c cleaning 45997 clauses out of 92018 with flag 2314050/1944436
141.33/135.42	c cleaning 47000 clauses out of 94021 with flag 2413338/1992436
144.89/138.88	c cleaning 47996 clauses out of 96021 with flag 2514715/2041436
148.79/142.67	c cleaning 49002 clauses out of 98026 with flag 2617970/2091437
153.13/146.84	c cleaning 49999 clauses out of 100023 with flag 2723314/2142436
157.22/150.94	c cleaning 51005 clauses out of 102025 with flag 2830292/2194437
163.65/157.13	c cleaning 51993 clauses out of 104019 with flag 2939355/2247436
170.17/163.58	c cleaning 53004 clauses out of 106026 with flag 3054436/2301436
175.88/169.03	c cleaning 54004 clauses out of 108023 with flag 3167579/2356437
180.50/173.58	c cleaning 54998 clauses out of 110018 with flag 3282590/2412436
186.10/179.03	c cleaning 56001 clauses out of 112020 with flag 3400421/2469436
191.78/184.68	c cleaning 57002 clauses out of 114020 with flag 3520185/2527437
198.87/190.31	c cleaning 58000 clauses out of 116017 with flag 3642878/2586436
204.43/195.79	c cleaning 59002 clauses out of 118018 with flag 3767366/2646437
210.98/202.18	c cleaning 60000 clauses out of 120015 with flag 3894081/2707436
216.35/207.34	c cleaning 60996 clauses out of 122016 with flag 4022320/2769437
223.70/214.52	c cleaning 61995 clauses out of 124019 with flag 4153340/2832436
230.17/220.87	c cleaning 63002 clauses out of 126024 with flag 4285944/2896436
237.36/227.92	c cleaning 64003 clauses out of 128024 with flag 4420780/2961438
243.45/233.96	c cleaning 64998 clauses out of 130021 with flag 4557741/3027438
249.53/239.96	c cleaning 65999 clauses out of 132022 with flag 4696445/3094437
257.93/248.21	c cleaning 67001 clauses out of 134022 with flag 4837272/3162436
265.72/256.01	c cleaning 68001 clauses out of 136022 with flag 4980327/3231437
272.78/262.80	c cleaning 68997 clauses out of 138020 with flag 5125665/3301436
280.80/269.42	c cleaning 69996 clauses out of 140023 with flag 5272691/3372436
286.26/274.79	c cleaning 71004 clauses out of 142027 with flag 5422055/3444436
292.86/281.19	c cleaning 72001 clauses out of 144023 with flag 5573950/3517436
298.90/287.07	c cleaning 72999 clauses out of 146022 with flag 5727522/3591436
306.54/294.56	c cleaning 74001 clauses out of 148024 with flag 5883409/3666437
312.47/300.32	c cleaning 75000 clauses out of 150023 with flag 6040759/3742437
320.56/308.18	c cleaning 76002 clauses out of 152022 with flag 6200384/3819436
327.71/315.18	c cleaning 76998 clauses out of 154020 with flag 6361897/3897436
334.38/321.76	c cleaning 78001 clauses out of 156023 with flag 6525806/3976437
340.76/328.10	c cleaning 79003 clauses out of 158021 with flag 6691515/4056436
348.64/335.71	c cleaning 79999 clauses out of 160019 with flag 6859732/4137437
357.88/344.86	c cleaning 80999 clauses out of 162020 with flag 7029759/4219437
366.74/353.14	c cleaning 82003 clauses out of 164021 with flag 7216640/4302437
374.26/360.57	c cleaning 83007 clauses out of 166018 with flag 7428774/4386437
381.78/367.97	c cleaning 84003 clauses out of 168011 with flag 7647909/4471437
388.51/374.54	c cleaning 84998 clauses out of 170007 with flag 7873306/4557436
397.63/383.39	c cleaning 85999 clauses out of 172009 with flag 8090943/4644436
407.04/391.64	c cleaning 87005 clauses out of 174011 with flag 8314924/4732437
416.08/400.59	c cleaning 87999 clauses out of 176005 with flag 8544901/4821436
424.30/408.62	c cleaning 88998 clauses out of 178008 with flag 8785103/4911438
433.16/417.28	c cleaning 90001 clauses out of 180009 with flag 9023657/5002437
440.52/424.49	c cleaning 91001 clauses out of 182008 with flag 9261149/5094437
449.52/433.31	c cleaning 92000 clauses out of 184009 with flag 9496697/5187439
458.84/442.34	c cleaning 92997 clauses out of 186007 with flag 9735999/5281437
467.12/450.50	c cleaning 93997 clauses out of 188009 with flag 9974522/5376436
475.09/458.06	c cleaning 94999 clauses out of 190012 with flag 10212907/5472436
485.43/468.23	c cleaning 96006 clauses out of 192013 with flag 10462158/5569436
494.86/477.53	c cleaning 97001 clauses out of 194007 with flag 10714746/5667436
502.70/485.01	c cleaning 98001 clauses out of 196008 with flag 10963505/5766438
511.27/493.60	c cleaning 99001 clauses out of 198007 with flag 11221121/5866438
522.08/504.00	c cleaning 100001 clauses out of 200004 with flag 11478094/5967436
531.53/513.23	c cleaning 101001 clauses out of 202005 with flag 11734770/6069438
542.03/523.49	c cleaning 102001 clauses out of 204004 with flag 11997050/6172438
550.19/531.45	c cleaning 102992 clauses out of 206001 with flag 12256016/6276436
560.90/540.23	c cleaning 103999 clauses out of 208009 with flag 12516048/6381436
570.43/549.50	c cleaning 104997 clauses out of 210010 with flag 12786518/6487436
578.69/557.68	c cleaning 106003 clauses out of 212015 with flag 13060605/6594438
587.16/565.90	c cleaning 106993 clauses out of 214010 with flag 13330696/6702436
596.59/574.90	c cleaning 108010 clauses out of 216021 with flag 13607433/6811440
605.38/583.55	c cleaning 109000 clauses out of 218007 with flag 13882873/6921436
615.05/593.05	c cleaning 110001 clauses out of 220007 with flag 14166050/7032436
626.42/604.03	c cleaning 110999 clauses out of 222006 with flag 14453493/7144436
636.42/613.87	c cleaning 111994 clauses out of 224008 with flag 14743783/7257437
645.67/622.94	c cleaning 113001 clauses out of 226015 with flag 15037888/7371438
657.07/633.95	c cleaning 114005 clauses out of 228013 with flag 15331368/7486437
669.96/646.62	c cleaning 115000 clauses out of 230007 with flag 15631412/7602436
683.28/659.55	c cleaning 116000 clauses out of 232007 with flag 15935747/7719436
693.40/669.48	c cleaning 116997 clauses out of 234007 with flag 16234151/7837436
704.21/680.09	c cleaning 118004 clauses out of 236010 with flag 16534225/7956436
715.42/690.86	c cleaning 119002 clauses out of 238008 with flag 16836070/8076438
725.51/700.75	c cleaning 119997 clauses out of 240006 with flag 17148385/8197438
737.05/711.88	c cleaning 120998 clauses out of 242007 with flag 17463498/8319436
749.33/722.11	c cleaning 121997 clauses out of 244009 with flag 17772394/8442436
761.78/734.32	c cleaning 122998 clauses out of 246012 with flag 18091693/8566436
772.63/744.90	c cleaning 124005 clauses out of 248014 with flag 18421266/8691436
786.66/758.72	c cleaning 125006 clauses out of 250011 with flag 18739914/8817438
798.30/770.13	c cleaning 125995 clauses out of 252003 with flag 19060986/8944436
812.93/784.61	c cleaning 127006 clauses out of 254011 with flag 19397397/9072439
827.45/798.90	c cleaning 127993 clauses out of 256002 with flag 19743209/9201436
839.19/810.53	c cleaning 129004 clauses out of 258011 with flag 20091573/9331438
851.32/822.08	c cleaning 129999 clauses out of 260006 with flag 20433192/9462437
864.11/834.52	c cleaning 130998 clauses out of 262006 with flag 20778609/9594436
877.13/847.25	c cleaning 132000 clauses out of 264010 with flag 21115172/9727438
890.19/860.05	c cleaning 132997 clauses out of 266008 with flag 21455429/9861436
904.61/874.20	c cleaning 134003 clauses out of 268011 with flag 21791187/9996436
919.27/888.66	c cleaning 134995 clauses out of 270008 with flag 22127110/10132436
936.93/906.04	c cleaning 136002 clauses out of 272013 with flag 22468839/10269436
953.61/922.17	c cleaning 137003 clauses out of 274012 with flag 22798894/10407437
970.08/938.33	c cleaning 138000 clauses out of 276008 with flag 23127539/10546436
986.17/954.14	c cleaning 139005 clauses out of 278009 with flag 23460850/10686437
1003.15/970.91	c cleaning 140001 clauses out of 280003 with flag 23797495/10827436
1019.80/987.33	c cleaning 140999 clauses out of 282002 with flag 24138058/10969436
1035.99/1003.01	c cleaning 142001 clauses out of 284003 with flag 24481993/11112436
1051.18/1017.92	c cleaning 142999 clauses out of 286008 with flag 24828077/11256442
1066.39/1032.97	c cleaning 143997 clauses out of 288004 with flag 25179482/11401437
1080.12/1046.49	c cleaning 145001 clauses out of 290007 with flag 25530992/11547437
1100.19/1064.65	c cleaning 146000 clauses out of 292005 with flag 25883280/11694436
1120.26/1084.34	c cleaning 146995 clauses out of 294005 with flag 26247579/11842436
1139.07/1102.85	c cleaning 147995 clauses out of 296010 with flag 26609318/11991436
1158.81/1122.38	c cleaning 149001 clauses out of 298015 with flag 26973776/12141436
1177.79/1141.07	c cleaning 149998 clauses out of 300014 with flag 27342733/12292436
1197.50/1160.64	c cleaning 151000 clauses out of 302017 with flag 27717388/12444437
1216.03/1178.63	c cleaning 152002 clauses out of 304017 with flag 28089091/12597437
1233.71/1195.92	c cleaning 153005 clauses out of 306014 with flag 28462571/12751436
1254.28/1216.26	c cleaning 154002 clauses out of 308009 with flag 28842322/12906436
1272.21/1233.99	c cleaning 155000 clauses out of 310008 with flag 29223510/13062437
1289.13/1250.74	c cleaning 155996 clauses out of 312008 with flag 29603163/13219437
1309.80/1270.96	c cleaning 157004 clauses out of 314012 with flag 29990736/13377437
1331.13/1291.96	c cleaning 157998 clauses out of 316007 with flag 30374682/13536436
1353.28/1313.82	c cleaning 158994 clauses out of 318009 with flag 30758215/13696436
1371.78/1332.14	c cleaning 160003 clauses out of 320016 with flag 31143848/13857437
1390.36/1350.54	c cleaning 161001 clauses out of 322013 with flag 31533641/14019437
1411.98/1371.67	c cleaning 162003 clauses out of 324011 with flag 31928766/14182436
1429.56/1388.94	c cleaning 162998 clauses out of 326008 with flag 32325290/14346436
1449.71/1408.97	c cleaning 164004 clauses out of 328011 with flag 32728413/14511437
1473.09/1431.80	c cleaning 165000 clauses out of 330006 with flag 33134827/14677436
1494.52/1452.90	c cleaning 165989 clauses out of 332006 with flag 33542186/14844436
1517.56/1475.76	c cleaning 167006 clauses out of 334018 with flag 33950637/15012437
1540.76/1498.82	c cleaning 167999 clauses out of 336012 with flag 34363926/15181437
1564.41/1521.87	c cleaning 169005 clauses out of 338015 with flag 34776202/15351439
1591.68/1546.60	c cleaning 170001 clauses out of 340007 with flag 35190697/15522436
1613.90/1568.68	c cleaning 170996 clauses out of 342006 with flag 35604787/15694436
1639.62/1594.04	c cleaning 171996 clauses out of 344011 with flag 36034133/15867437
1660.19/1614.21	c cleaning 172997 clauses out of 346016 with flag 36455343/16041438
1684.58/1638.40	c cleaning 174002 clauses out of 348018 with flag 36879878/16216437
1709.09/1662.64	c cleaning 175002 clauses out of 350015 with flag 37307808/16392436
1731.90/1685.23	c cleaning 176004 clauses out of 352015 with flag 37742232/16569438
1756.58/1709.78	c cleaning 177002 clauses out of 354010 with flag 38173809/16747437
1778.09/1730.98	c cleaning 177996 clauses out of 356007 with flag 38613360/16926436
1801.47/1754.14	c cleaning 178998 clauses out of 358011 with flag 39048505/17106436
1825.77/1778.34	c cleaning 180001 clauses out of 360014 with flag 39488832/17287437
1848.04/1800.59	c cleaning 181001 clauses out of 362013 with flag 39932058/17469437
1868.62/1821.06	c cleaning 181996 clauses out of 364012 with flag 40372369/17652437
1892.12/1843.74	c cleaning 183006 clauses out of 366015 with flag 40818254/17836436
1916.89/1868.07	c cleaning 183998 clauses out of 368009 with flag 41265841/18021436
1944.22/1895.00	c cleaning 185006 clauses out of 370011 with flag 41712042/18207436
1967.21/1917.50	c cleaning 186000 clauses out of 372005 with flag 42161011/18394436
1990.91/1940.98	c cleaning 187003 clauses out of 374007 with flag 42616953/18582438
2016.86/1966.63	c cleaning 188000 clauses out of 376002 with flag 43074356/18771436
2038.60/1988.10	c cleaning 188993 clauses out of 378003 with flag 43532094/18961437
2060.78/2010.08	c cleaning 190000 clauses out of 380009 with flag 43987351/19152436
2081.56/2030.73	c cleaning 190998 clauses out of 382010 with flag 44452247/19344437
2107.62/2055.91	c cleaning 192003 clauses out of 384012 with flag 44912027/19537437
2133.09/2081.01	c cleaning 193002 clauses out of 386010 with flag 45379791/19731438
2157.59/2105.03	c cleaning 193991 clauses out of 388006 with flag 45848394/19926436
2182.29/2129.47	c cleaning 195002 clauses out of 390017 with flag 46315945/20122438
2210.64/2157.52	c cleaning 196000 clauses out of 392013 with flag 46787417/20319436
2234.40/2181.19	c cleaning 197001 clauses out of 394014 with flag 47259528/20517437
2260.53/2206.80	c cleaning 198000 clauses out of 396012 with flag 47739966/20716436
2285.74/2231.16	c cleaning 198998 clauses out of 398012 with flag 48214412/20916436
2311.87/2254.46	c cleaning 200003 clauses out of 400015 with flag 48689066/21117437
2340.46/2282.69	c cleaning 201000 clauses out of 402011 with flag 49177658/21319436
2364.69/2306.43	c cleaning 202000 clauses out of 404011 with flag 49660260/21522436
2392.05/2333.47	c cleaning 203006 clauses out of 406013 with flag 50144698/21726438
2418.70/2359.72	c cleaning 203996 clauses out of 408005 with flag 50631289/21931436
2447.51/2388.20	c cleaning 205002 clauses out of 410010 with flag 51126191/22137437
2473.97/2414.46	c cleaning 205996 clauses out of 412007 with flag 51625766/22344436
2506.12/2446.26	c cleaning 207002 clauses out of 414011 with flag 52132638/22552436
2532.48/2472.33	c cleaning 208001 clauses out of 416009 with flag 52634218/22761436
2559.95/2499.55	c cleaning 208996 clauses out of 418009 with flag 53137276/22971437
2585.88/2525.35	c cleaning 210001 clauses out of 420013 with flag 53635637/23182437
2613.07/2552.29	c cleaning 211000 clauses out of 422013 with flag 54144220/23394438
2640.01/2579.09	c cleaning 211992 clauses out of 424011 with flag 54661866/23607436
2664.52/2603.56	c cleaning 213008 clauses out of 426020 with flag 55173450/23821437
2695.52/2633.81	c cleaning 214001 clauses out of 428011 with flag 55687817/24036436
2724.30/2662.11	c cleaning 215002 clauses out of 430010 with flag 56205390/24252436
2752.70/2690.16	c cleaning 216002 clauses out of 432009 with flag 56723065/24469437
2787.44/2724.53	c cleaning 217002 clauses out of 434007 with flag 57250423/24687437
2816.64/2753.46	c cleaning 218001 clauses out of 436006 with flag 57770763/24906438
2844.63/2781.08	c cleaning 218998 clauses out of 438004 with flag 58296278/25126437
2875.31/2811.46	c cleaning 219996 clauses out of 440005 with flag 58823859/25347436
2903.42/2839.41	c cleaning 221000 clauses out of 442009 with flag 59360824/25569436
2932.84/2868.24	c cleaning 222002 clauses out of 444011 with flag 59892842/25792438
2964.32/2899.23	c cleaning 223000 clauses out of 446007 with flag 60426937/26016436
2999.02/2933.53	c cleaning 223999 clauses out of 448008 with flag 60963633/26241437
3028.77/2962.93	c cleaning 224994 clauses out of 450008 with flag 61511307/26467436
3059.71/2993.68	c cleaning 226003 clauses out of 452015 with flag 62055144/26694437
3092.62/3026.38	c cleaning 227000 clauses out of 454013 with flag 62594251/26922438
3123.75/3057.39	c cleaning 228000 clauses out of 456011 with flag 63138275/27151436
3153.68/3086.40	c cleaning 228999 clauses out of 458011 with flag 63677567/27381436
3184.11/3116.40	c cleaning 230004 clauses out of 460013 with flag 64221395/27612437
3220.70/3149.99	c cleaning 230999 clauses out of 462008 with flag 64761921/27844436
3254.49/3183.42	c cleaning 232005 clauses out of 464009 with flag 65312568/28077436
3291.08/3219.60	c cleaning 232999 clauses out of 466005 with flag 65869694/28311437
3327.17/3255.22	c cleaning 233995 clauses out of 468006 with flag 66435811/28546437
3361.59/3289.42	c cleaning 234995 clauses out of 470011 with flag 66996323/28782437
3394.40/3322.12	c cleaning 236006 clauses out of 472015 with flag 67561168/29019436
3426.59/3354.31	c cleaning 236998 clauses out of 474009 with flag 68129592/29257436
3462.01/3389.05	c cleaning 238001 clauses out of 476011 with flag 68704851/29496436
3495.75/3422.18	c cleaning 238999 clauses out of 478010 with flag 69273709/29736436
3533.00/3458.93	c cleaning 240001 clauses out of 480012 with flag 69847679/29977437
3564.61/3490.04	c cleaning 241000 clauses out of 482011 with flag 70422251/30219437
3599.32/3524.31	c cleaning 242000 clauses out of 484012 with flag 71005235/30462438
3600.03/3525.05	c starts		: 109659
3600.03/3525.06	c conflicts		: 30473649
3600.03/3525.06	c decisions		: 72771911
3600.03/3525.07	c propagations		: 1303410320
3600.03/3525.07	c inspects		: 22967643958
3600.03/3525.07	c shortcuts		: 0
3600.03/3525.07	c learnt literals	: 0
3600.03/3525.07	c learnt binary clauses	: 0
3600.03/3525.07	c learnt ternary clauses	: 0
3600.03/3525.07	c learnt constraints	: 30473649
3600.03/3525.07	c ignored constraints	: 0
3600.03/3525.07	c root simplifications	: 0
3600.03/3525.07	c removed literals (reason simplification)	: 49028579
3600.03/3525.07	c reason swapping (by a shorter reason)	: 0
3600.03/3525.07	c Calls to reduceDB	: 275
3600.03/3525.07	c Number of update (reduction) of LBD	: 4216697
3600.03/3525.08	c Imported unit clauses	: 0
3600.03/3525.09	c No decision after first conflict	: false
3600.03/3525.09	c number of reductions to clauses (during analyze)	: 0
3600.03/3525.09	c number of learned constraints concerned by reduction	: 0
3600.03/3525.09	c number of learning phase by resolution	: 0
3600.03/3525.09	c number of learning phase by cutting planes	: 0
3600.03/3525.09	c number of rounding to 1 operations	: 0
3600.03/3525.09	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3525.09	c number of reductions of the coefficients by power 2 	: 0
3600.03/3525.09	c number of right shift for reduction by power 2 	: 0
3600.03/3525.09	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3525.09	c number of ending skipping 	: 0
3600.03/3525.09	c number of internal skipping 	: 0
3600.03/3525.09	c number of derivation steps 	: 0
3600.03/3525.09	c number of skipped derivation steps 	: 0
3600.03/3525.09	c number of remaining unassigned 	: 0
3600.03/3525.09	c number of remaining assigned 	: 0
3600.03/3525.09	c number of falsified literals weakened from reason	: 0
3600.03/3525.10	c number of falsified literals weakened from conflict	: 0
3600.03/3525.10	c time for arithmetic operations	: 0
3600.03/3525.10	c minimum degree of deleted constraints	: null
3600.03/3525.10	c maximum degree of deleted constraints	: null
3600.03/3525.10	c number of deleted constraints	: 0
3600.03/3525.11	c speed (assignments/second)	: 369812.46508386824
3600.03/3525.11	c non guided choices	: 0
3600.39/3525.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 253223
3600.39/3525.25	s SATISFIABLE
3600.39/3525.26	c Found 6 solution(s)
3600.39/3525.27	v -x1 x2 -x3 x4 -x5 -x6 x7 -x8 x9 x10 x11 x12 x13 x14 -x15 x16 x17 -x18 x19 x20 -x21 x22 x23 x24 x25 -x26 x27 x28 x29 x30 -x31 -x32 x33 x34 -x35 x36 -x37 x38 x39 x40 x41 -x42 x43 x44 x45 x46 -x47 x48 x49 x50 x51 -x52 -x53 x54 x55 x56 x57 x58 -x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 -x74 x75 x76 -x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 -x89 x90 -x91 -x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 -x102 x103 -x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 x113 x114 -x115 x116 x117 x118 x119 x120 -x121 x122 -x123 -x124 x125 -x126 x127 x128 x129 -x130 x131 -x132 x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 x143 -x144 x145 -x146 x147 x148 x149 x150 x151 -x152 x153 -x154 -x155 x156 x157 x158 x159 -x160 -x161 x162 -x163 x164 x165 x166 x167 x168 x169 -x170 x171 -x172 -x173 x174 x175 x176 x177 x178 x179 -x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 -x193 x194 -x195 -x196 x197 x198 -x199 -x200 -x201 -x202 x203 -x204 x205 x206 -x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 -x220 x221 x222 x223 x224 x225 -x226 x227 -x228 x229 x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 x242 x243 x244 x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 x259 x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 x269 x270 -x271 x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 -x328 -x329 -x330 x331 -x332 x333 x334 -x335 -x336 x337 x338 -x339 x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 
3600.39/3525.27	c objective function=220
3600.39/3525.28	c Total wall clock time (in seconds): 3524.9

Verifier Data 

OK	220

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: 63794 MiB (63125 MiB free)
  memory of node 1: 64507 MiB (63795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489284-1751340116/watcher-4489284-1751340116 -o /tmp/evaluation-result-4489284-1751340116/solver-4489284-1751340116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45952 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4489284-1751340116.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46004, runsolver pid=45992
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 0.52 1.51 2.82 11/318 46077
/proc/meminfo: memFree=129891968/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=18930344 memory=45640 CPUtime=0.09 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 5446 0 0 0 6 3 0 0 20 0 18 0 49691301 19384672256 11410 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4732586 11410 4918 1 0 546685 0
[pid=46004/tid=46022] ppid=45992 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) D 45992 46004 45940 0 -1 4194368 4568 0 0 0 4 2 0 0 20 0 18 0 49691304 19384672256 11410 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=18930344 memory=1707 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384672256 11410 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=18930344 memory=56295059358712 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384672256 11410 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 45640 KiB

[startup+0.214394 s]*
/proc/loadavg: 0.52 1.51 2.82 8/318 46077
/proc/meminfo: memFree=129879064/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=18930384 memory=52160 CPUtime=0.27 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 6169 0 0 0 22 5 0 0 20 0 18 0 49691301 19384713216 13040 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4732596 13040 5366 1 0 547280 0
[pid=46004/tid=46022] ppid=45992 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 4975 0 0 0 14 3 0 0 20 0 18 0 49691304 19384713216 13040 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=18930384 memory=1707 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384713216 13040 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=18930384 memory=56295059358712 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384713216 13040 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52160 KiB

[startup+0.31405 s]*
/proc/loadavg: 0.52 1.51 2.82 9/318 46077
/proc/meminfo: memFree=129857388/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=18930384 memory=58184 CPUtime=0.42 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 6654 0 0 0 36 6 0 0 20 0 18 0 49691301 19384713216 14546 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4732596 14546 5366 1 0 547690 0
[pid=46004/tid=46022] ppid=45992 vsize=18930384 memory=-6000919494113978219 CPUtime=0.26 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 5155 0 0 0 23 3 0 0 20 0 18 0 49691304 19384713216 14546 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49691309 19384713216 14546 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49691310 19384713216 14546 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58184 KiB

[startup+0.700382 s]
/proc/loadavg: 0.52 1.51 2.82 12/318 46077
/proc/meminfo: memFree=129831364/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=18996948 memory=66880 CPUtime=1.12 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 8226 0 0 0 105 7 0 0 20 0 19 0 49691301 19452874752 16720 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4749237 16720 5494 1 0 548775 0
[pid=46004/tid=46022] ppid=45992 vsize=18996948 memory=17664 CPUtime=0.55 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 5415 0 0 0 51 4 0 0 20 0 19 0 49691304 19452874752 16720 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49691309 19452874752 16720 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49691310 19452874752 16720 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66880 KiB

[startup+1.5003 s]
/proc/loadavg: 0.52 1.51 2.82 9/322 46081
/proc/meminfo: memFree=129801752/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=18996948 memory=95584 CPUtime=2.7 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 15235 0 0 0 260 10 0 0 20 0 19 0 49691301 19452874752 23896 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4749237 23896 5494 1 0 551740 0
[pid=46004/tid=46022] ppid=45992 vsize=18996948 memory=3200 CPUtime=1.28 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 6050 0 0 0 123 5 0 0 20 0 19 0 49691304 19452874752 23896 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49691309 19452874752 23896 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49691310 19452874752 23896 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=18996948 memory=14848 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49691360 19452874752 23896 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95584 KiB

[startup+3.10566 s]
/proc/loadavg: 1.12 1.62 2.85 5/326 46085
/proc/meminfo: memFree=129277456/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=205276 CPUtime=4.97 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 18880 0 0 0 483 14 0 0 20 0 20 0 49691301 19521036288 51319 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 51319 5526 1 0 552530 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=14848 CPUtime=2.81 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 6941 0 0 0 274 7 0 0 20 0 20 0 49691304 19521036288 51319 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 51319 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 51319 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 51319 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 4.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 205276 KiB

[startup+6.30043 s]
/proc/loadavg: 1.12 1.62 2.85 5/326 46085
/proc/meminfo: memFree=128949156/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=315984 CPUtime=8.46 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 19188 0 0 0 829 17 0 0 20 0 20 0 49691301 19521036288 78996 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 78996 5526 1 0 552530 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=0 CPUtime=5.83 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 6954 0 0 0 576 7 0 0 20 0 20 0 49691304 19521036288 78996 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 78996 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 78996 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=97640 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 78996 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 315984 KiB

[startup+12.7004 s]
/proc/loadavg: 1.63 1.71 2.87 5/326 46085
/proc/meminfo: memFree=127780292/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=571332 CPUtime=15.15 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 23236 0 0 0 1492 23 0 0 20 0 20 0 49691301 19521036288 142833 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 142833 5526 1 0 897174 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=97640 CPUtime=11.92 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 7669 0 0 0 1182 10 0 0 20 0 20 0 49691304 19521036288 142833 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=505796 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 142833 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 142833 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 142833 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 571332 KiB

[startup+25.5005 s]
/proc/loadavg: 2.15 1.82 2.89 5/326 46085
/proc/meminfo: memFree=125573312/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=1054816 CPUtime=28.34 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 24950 0 0 0 2800 34 0 0 20 0 20 0 49691301 19521036288 263704 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 263704 5526 1 0 897185 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=505796 CPUtime=24.14 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 8322 0 0 0 2403 11 0 0 20 0 20 0 49691304 19521036288 263704 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 263704 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 263704 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=933952 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 263704 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1054816 KiB

[startup+51.1135 s]
/proc/loadavg: 2.78 2.00 2.92 5/326 46086
/proc/meminfo: memFree=122061828/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=1879980 CPUtime=54.64 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 26820 0 0 0 5410 54 0 0 20 0 20 0 49691301 19521036288 469995 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 469995 5558 1 0 1055940 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=1879980 CPUtime=48.86 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 8817 0 0 0 4871 15 0 0 20 0 20 0 49691304 19521036288 469995 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=577476 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 469995 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 469995 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=1677112 CPUtime=0 cores=1,3

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

/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 176006 0 0 0 314916 148 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1571 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=4352 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3293.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.38 4.33 5/327 46251
/proc/meminfo: memFree=74710628/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3354.5 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 309326 0 0 0 334880 570 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3209.62 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 179359 0 0 0 320814 148 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1583 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3354.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.36 4.33 5/327 46253
/proc/meminfo: memFree=74701860/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3414.59 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 312996 0 0 0 340885 574 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=3200 CPUtime=3269.13 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 181632 0 0 0 326764 149 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1595 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3414.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.35 4.32 5/326 46255
/proc/meminfo: memFree=74368816/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3475.28 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 317700 0 0 0 346948 580 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3328.05 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 184019 0 0 0 332655 150 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1636 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3475.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.30 4.31 5/326 46257
/proc/meminfo: memFree=74369236/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3536.4 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 322408 0 0 0 353056 584 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3386.62 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 186323 0 0 0 338511 151 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1677 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3536.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.27 4.31 4.31 5/326 46259
/proc/meminfo: memFree=74368968/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3597.32 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 326182 0 0 0 359145 587 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3445.4 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 188308 0 0 0 344388 152 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=9344 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=-6000919498408945515 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3597.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3525 s]*
/proc/loadavg: 4.25 4.30 4.31 5/326 46259
/proc/meminfo: memFree=74368968/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19063512 memory=14828008 CPUtime=3600.03 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 326535 0 0 0 359416 587 0 0 20 0 20 0 49691301 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4765878 3707002 5558 1 0 4093985 0
[pid=46004/tid=46022] ppid=45992 vsize=19063512 memory=-6000919494113978219 CPUtime=3448.1 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 188621 0 0 0 344658 152 0 0 20 0 20 0 49691304 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49691309 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19063512 memory=14707392 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 20 0 49691310 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46081] ppid=45992 vsize=19063512 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46081/stat : 46081 (Timer-0) S 45992 46004 45940 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49691360 19521036288 3707002 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14828008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.67 s, system=5.96266 s

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

[startup+3525.2 s]
/proc/loadavg: 4.25 4.30 4.31 5/326 46259
/proc/meminfo: memFree=74368968/131382112 swapFree=33010684/33010684
[pid=46004] ppid=45992 vsize=19263204 memory=14828776 CPUtime=3600.39 cores=1,3
/proc/46004/stat : 46004 (java) S 45992 46004 45940 0 -1 4194304 328881 0 0 0 359451 588 0 0 20 0 21 0 49691301 19725520896 3707194 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
/proc/46004/statm: 4815801 3707194 5590 1 0 4094876 0
[pid=46004/tid=46022] ppid=45992 vsize=19263204 memory=-6000919498408945515 CPUtime=3448.26 cores=1,3
/proc/46004/task/46022/stat : 46022 (java) R 45992 46004 45940 0 -1 4194368 188891 0 0 0 344674 152 0 0 20 0 21 0 49691304 19725520896 3707194 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46064] ppid=45992 vsize=19263204 memory=14828008 CPUtime=0 cores=1,3
/proc/46004/task/46064/stat : 46064 (Finalizer) S 45992 46004 45940 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 49691309 19725520896 3707194 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
[pid=46004/tid=46076] ppid=45992 vsize=19263204 memory=-6000919498408945515 CPUtime=0 cores=1,3
/proc/46004/task/46076/stat : 46076 (Common-Cleaner) S 45992 46004 45940 0 -1 4194368 1751 0 0 0 0 0 0 0 20 0 21 0 49691310 19725520896 3707194 18446744073709551615 94777220902912 94777220906608 140723743449792 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94777220914424 94777220915216 94777240915968 140723743451521 140723743451622 140723743451622 140723743457224 0
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14828776 KiB

[startup+3525.3 s]*
/proc/loadavg: 4.25 4.30 4.31 5/306 46262
/proc/meminfo: memFree=78568216/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3525.37
CPU time (s): 3600.63
CPU user time (s): 3594.67
CPU system time (s): 5.96266
CPU usage (%): 102.135
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14828776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.67
system time used= 5.96266
maximum resident set size= 14829032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329205
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116265
involuntary context switches= 8883


# summary of solver processes directly reported to runsolver:
#   pid: 46004
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3594.67
#   total CPU system time (s): 5.96266

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8411 second user time and 36.591 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 05:21:56
IDJOB=4489284
IDBENCH=147544
IDSOLVER=3363
FILE ID=nodeC012/4489284-1751340116
RUNJOBID= nodeC012-1751340116-45952
SLURM_JOB_ID= 9594408
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489284-1751340116/watcher-4489284-1751340116 -o /tmp/evaluation-result-4489284-1751340116/solver-4489284-1751340116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751340116-45952 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4489284-1751340116.opb

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

MD5SUM BENCH= c9dbdd12375057f4b915bf781d219fad
RANDOM SEED=1289207093

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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.199
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.148
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.125
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.154
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.143
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.136
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.063
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.194
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129960188 kB
MemAvailable:   129928088 kB
Buffers:            3280 kB
Cached:           776124 kB
SwapCached:            0 kB
Active:           378556 kB
Inactive:         465736 kB
Active(anon):      82848 kB
Inactive(anon):        0 kB
Active(file):     295708 kB
Inactive(file):   465736 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2740 kB
Writeback:             4 kB
AnonPages:         67676 kB
Mapped:           102480 kB
Shmem:             17960 kB
KReclaimable:      91784 kB
Slab:             175452 kB
SReclaimable:      91784 kB
SUnreclaim:        83668 kB
KernelStack:        3920 kB
PageTables:         2876 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     331572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC012 at 2025-07-01 06:20:42