Trace number 4520120

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-06? (exit code) 1177.77 754.121

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
MD5SUM8c40d06f898909448a09bd13b95de2fa
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11439
Best CPU time to get the best result obtained on this benchmark0.284951
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22878
Total number of constraints3813
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)62
Number of constraints which are nor clauses,nor cardinality constraints3751
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 22878
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 22878
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 22878
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.04/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.04/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.14	c See www.sat4j.org for details.
0.09/0.21	c version PB25.v20250606
0.09/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.22	c java.vm.version	22.0.1+8-16
0.09/0.22	c java.vm.vendor	Oracle Corporation
0.09/0.22	c sun.arch.data.model	64
0.09/0.22	c java.version		22.0.1
0.09/0.22	c os.name		Linux
0.09/0.22	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.22	c os.arch		amd64
0.09/0.22	c Free memory 		2104792832
0.09/0.22	c Max memory 		16282288128
0.09/0.22	c Total memory 		2113929216
0.09/0.23	c Number of processors 	2
0.13/0.35	c Pseudo Boolean Optimization by upper bound
0.13/0.35	c --- Begin Solver configuration ---
0.13/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.35	c Learn all clauses as in MiniSAT
0.13/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.35	c Expensive reason simplification
0.13/0.35	c Glucose 2.1 dynamic restart strategy
0.13/0.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.35	c timeout=2147483s
0.13/0.35	c DB Simplification allowed=false
0.13/0.35	c Listener: none
0.13/0.35	c --- End Solver configuration ---
0.13/0.35	c solving HOME/instance-4520120-1751567892.opb
0.13/0.35	c reading problem ... 
0.13/0.40	c  objective function found
0.56/0.61	c ... done. Wall clock time 0.257s.
0.56/0.61	c declared #vars     22878
0.56/0.61	c #constraints  3813
0.56/0.61	c constraints type 
0.56/0.61	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3813
0.56/0.61	c 3813 constraints processed.
0.56/0.63	c objective function length is 22878 literals
1.35/1.04	c cleaning 2499 clauses out of 5000 with flag 11908/5000
1.74/1.28	c cleaning 4239 clauses out of 8501 with flag 27000/11000
2.34/1.55	c cleaning 5627 clauses out of 11263 with flag 44895/18001
2.54/1.65	c cleaning 6812 clauses out of 13636 with flag 65796/26001
2.74/1.74	c cleaning 7858 clauses out of 15824 with flag 87214/35001
2.94/1.83	c cleaning 8975 clauses out of 17969 with flag 113081/45004
3.13/1.95	c cleaning 9982 clauses out of 19990 with flag 140061/56000
3.31/2.07	c cleaning 10889 clauses out of 22008 with flag 170967/68000
3.46/2.19	c cleaning 12055 clauses out of 24119 with flag 204834/81000
3.66/2.32	c cleaning 13028 clauses out of 26065 with flag 240627/95001
3.76/2.47	c cleaning 14007 clauses out of 28038 with flag 278792/110002
3.95/2.67	c cleaning 15010 clauses out of 30029 with flag 321681/126000
4.20/2.82	c cleaning 16010 clauses out of 32020 with flag 362489/143001
4.32/2.99	c cleaning 17001 clauses out of 34011 with flag 407495/161002
4.52/3.16	c cleaning 17997 clauses out of 36009 with flag 453986/180001
4.71/3.33	c cleaning 18982 clauses out of 38011 with flag 503651/200000
4.91/3.51	c cleaning 19949 clauses out of 40029 with flag 563357/221000
5.11/3.70	c cleaning 21029 clauses out of 42080 with flag 619833/243000
5.31/3.90	c cleaning 22005 clauses out of 44051 with flag 680188/266000
5.52/4.15	c cleaning 22991 clauses out of 46046 with flag 744018/290000
5.81/4.43	c cleaning 24002 clauses out of 48055 with flag 810435/315000
6.11/4.71	c cleaning 25019 clauses out of 50055 with flag 875936/341002
6.31/4.99	c cleaning 25992 clauses out of 52038 with flag 944650/368004
6.71/5.30	c cleaning 27010 clauses out of 54042 with flag 1016563/396000
7.01/5.64	c cleaning 27998 clauses out of 56032 with flag 1090738/425000
7.31/5.96	c cleaning 28995 clauses out of 58035 with flag 1168518/455001
7.71/6.32	c cleaning 30000 clauses out of 60039 with flag 1250032/486000
8.01/6.67	c cleaning 31009 clauses out of 62041 with flag 1328251/518002
8.43/7.00	c cleaning 32001 clauses out of 64030 with flag 1411674/551000
8.83/7.43	c cleaning 33010 clauses out of 66030 with flag 1495554/585001
9.23/7.85	c cleaning 33996 clauses out of 68020 with flag 1585442/620001
9.62/8.25	c cleaning 34999 clauses out of 70023 with flag 1672766/656000
10.02/8.63	c cleaning 36002 clauses out of 72024 with flag 1765133/693000
10.43/9.04	c cleaning 36977 clauses out of 74023 with flag 1856870/731001
10.82/9.48	c cleaning 38013 clauses out of 76045 with flag 1953666/770000
11.32/9.95	c cleaning 39013 clauses out of 78032 with flag 2056614/810000
11.72/10.38	c cleaning 39983 clauses out of 80019 with flag 2158978/851000
12.22/10.82	c cleaning 41013 clauses out of 82036 with flag 2262989/893000
12.73/11.32	c cleaning 42000 clauses out of 84026 with flag 2370929/936003
13.13/11.79	c cleaning 43000 clauses out of 86023 with flag 2481305/980000
13.73/12.33	c cleaning 44002 clauses out of 88023 with flag 2598985/1025000
14.23/12.86	c cleaning 45006 clauses out of 90023 with flag 2711255/1071002
14.83/13.44	c cleaning 45994 clauses out of 92015 with flag 2830687/1118000
15.43/14.02	c cleaning 46995 clauses out of 94021 with flag 2948950/1166000
15.92/14.58	c cleaning 47992 clauses out of 96027 with flag 3071412/1215001
16.43/15.10	c cleaning 49009 clauses out of 98036 with flag 3197140/1265002
17.12/15.73	c cleaning 49998 clauses out of 100026 with flag 3332492/1316001
17.73/16.39	c cleaning 50994 clauses out of 102027 with flag 3461317/1368000
18.43/17.06	c cleaning 51993 clauses out of 104033 with flag 3595250/1421000
19.13/17.70	c cleaning 53008 clauses out of 106043 with flag 3733935/1475003
19.72/18.32	c cleaning 54008 clauses out of 108033 with flag 3869109/1530001
20.32/18.95	c cleaning 54998 clauses out of 110024 with flag 4004410/1586000
21.02/19.63	c cleaning 56012 clauses out of 112028 with flag 4149046/1643002
21.72/20.33	c cleaning 56985 clauses out of 114015 with flag 4297916/1701001
22.35/20.99	c cleaning 57995 clauses out of 116030 with flag 4442545/1760001
23.05/21.66	c cleaning 58990 clauses out of 118034 with flag 4594972/1820000
23.74/22.31	c cleaning 60019 clauses out of 120045 with flag 4753866/1881001
24.34/22.98	c cleaning 61007 clauses out of 122025 with flag 4909839/1943000
25.04/23.67	c cleaning 61985 clauses out of 124018 with flag 5072230/2006000
25.74/24.37	c cleaning 62998 clauses out of 126035 with flag 5242840/2070002
26.54/25.15	c cleaning 63994 clauses out of 128036 with flag 5411979/2135001
27.48/26.06	c cleaning 64987 clauses out of 130041 with flag 5577475/2201000
28.17/26.75	c cleaning 66000 clauses out of 132054 with flag 5760120/2268000
28.97/27.54	c cleaning 67011 clauses out of 134055 with flag 5946100/2336001
29.77/28.34	c cleaning 68015 clauses out of 136043 with flag 6126182/2405000
30.47/29.08	c cleaning 68937 clauses out of 138029 with flag 6335042/2475001
31.26/29.85	c cleaning 69989 clauses out of 140092 with flag 6531763/2546001
32.09/30.67	c cleaning 70975 clauses out of 142102 with flag 6738021/2618000
32.88/31.47	c cleaning 72049 clauses out of 144129 with flag 6945264/2691002
33.78/32.37	c cleaning 73029 clauses out of 146078 with flag 7134562/2765000
34.88/33.41	c cleaning 73997 clauses out of 148049 with flag 7330315/2840000
35.78/34.33	c cleaning 75022 clauses out of 150054 with flag 7524017/2916002
36.92/35.42	c cleaning 75957 clauses out of 152031 with flag 7729479/2993001
37.92/36.42	c cleaning 77023 clauses out of 154073 with flag 7934176/3071000
39.01/37.51	c cleaning 78022 clauses out of 156051 with flag 8134262/3150001
40.11/38.60	c cleaning 79003 clauses out of 158032 with flag 8338343/3230004
41.11/39.68	c cleaning 80003 clauses out of 160026 with flag 8546061/3311001
42.21/40.78	c cleaning 81004 clauses out of 162023 with flag 8757140/3393001
43.55/42.02	c cleaning 81971 clauses out of 164018 with flag 8977325/3476000
44.65/43.11	c cleaning 82997 clauses out of 166048 with flag 9202882/3560001
45.74/44.24	c cleaning 83991 clauses out of 168050 with flag 9420556/3645000
46.84/45.35	c cleaning 84998 clauses out of 170061 with flag 9642701/3731002
47.94/46.46	c cleaning 86017 clauses out of 172061 with flag 9866913/3818000
49.29/47.70	c cleaning 87017 clauses out of 174045 with flag 10093819/3906001
50.48/48.95	c cleaning 88011 clauses out of 176027 with flag 10324846/3995000
51.68/50.17	c cleaning 88977 clauses out of 178017 with flag 10550864/4085001
52.78/51.28	c cleaning 90010 clauses out of 180040 with flag 10780031/4176001
54.13/52.57	c cleaning 90976 clauses out of 182029 with flag 11012680/4268000
55.42/53.86	c cleaning 91980 clauses out of 184054 with flag 11257128/4361001
56.72/55.14	c cleaning 93023 clauses out of 186074 with flag 11500413/4455001
58.11/56.54	c cleaning 93996 clauses out of 188050 with flag 11756727/4550000
59.41/57.88	c cleaning 95020 clauses out of 190055 with flag 12008286/4646001
60.86/59.26	c cleaning 96009 clauses out of 192035 with flag 12255367/4743001
62.16/60.52	c cleaning 96987 clauses out of 194027 with flag 12500019/4841002
63.56/61.93	c cleaning 97991 clauses out of 196039 with flag 12764319/4940001
65.05/63.47	c cleaning 99004 clauses out of 198048 with flag 13029143/5040001
66.61/64.95	c cleaning 99952 clauses out of 200045 with flag 13285837/5141002
68.11/66.41	c cleaning 101041 clauses out of 202093 with flag 13554606/5243002
69.40/67.77	c cleaning 102015 clauses out of 204051 with flag 13813851/5346001
70.81/69.14	c cleaning 103007 clauses out of 206035 with flag 14073081/5450000
72.35/70.67	c cleaning 103980 clauses out of 208028 with flag 14344003/5555000
73.75/72.09	c cleaning 105014 clauses out of 210048 with flag 14610431/5661000
75.24/73.54	c cleaning 106001 clauses out of 212034 with flag 14880386/5768000
76.84/75.10	c cleaning 107005 clauses out of 214036 with flag 15166971/5876003
78.33/76.60	c cleaning 107996 clauses out of 216028 with flag 15445308/5985000
80.08/78.37	c cleaning 108988 clauses out of 218032 with flag 15743061/6095000
81.79/80.04	c cleaning 110006 clauses out of 220045 with flag 16036637/6206001
83.38/81.60	c cleaning 111005 clauses out of 222039 with flag 16322657/6318001
84.89/83.14	c cleaning 111987 clauses out of 224034 with flag 16608389/6431001
86.38/84.65	c cleaning 113017 clauses out of 226047 with flag 16895647/6545001
87.97/86.20	c cleaning 114011 clauses out of 228029 with flag 17196092/6660000
89.73/87.92	c cleaning 115003 clauses out of 230018 with flag 17492686/6776000
91.32/89.56	c cleaning 115997 clauses out of 232015 with flag 17785603/6893000
93.02/91.28	c cleaning 116975 clauses out of 234019 with flag 18085711/7011001
94.71/92.99	c cleaning 117968 clauses out of 236045 with flag 18379290/7130002
96.31/94.59	c cleaning 119023 clauses out of 238075 with flag 18679575/7250000
98.20/96.43	c cleaning 120022 clauses out of 240053 with flag 18976149/7371001
99.87/98.10	c cleaning 120987 clauses out of 242030 with flag 19282245/7493000
101.67/99.87	c cleaning 121909 clauses out of 244043 with flag 19586947/7616000
103.46/101.69	c cleaning 122786 clauses out of 246135 with flag 19899071/7740001
105.26/103.43	c cleaning 123957 clauses out of 248349 with flag 20209466/7865001
107.05/105.27	c cleaning 124592 clauses out of 250392 with flag 20522330/7991001
108.85/107.08	c cleaning 125729 clauses out of 252802 with flag 20838092/8118003
110.84/108.97	c cleaning 126700 clauses out of 255070 with flag 21159860/8246000
112.73/110.81	c cleaning 127902 clauses out of 257371 with flag 21478599/8375001
114.43/112.58	c cleaning 129000 clauses out of 259468 with flag 21793509/8505000
116.42/114.51	c cleaning 129960 clauses out of 261468 with flag 22127411/8636000
118.32/116.42	c cleaning 130937 clauses out of 263509 with flag 22458676/8768001
120.12/118.26	c cleaning 131715 clauses out of 265573 with flag 22790199/8901002
121.92/120.09	c cleaning 132905 clauses out of 267858 with flag 23129266/9035002
124.28/122.30	c cleaning 133797 clauses out of 269951 with flag 23472012/9170000
125.98/124.09	c cleaning 134384 clauses out of 272155 with flag 23803160/9306001
128.17/126.24	c cleaning 136042 clauses out of 274770 with flag 24145701/9443000
130.27/128.38	c cleaning 137050 clauses out of 276729 with flag 24497241/9581001
132.47/130.56	c cleaning 137897 clauses out of 278678 with flag 24853222/9720000
134.76/132.83	c cleaning 138901 clauses out of 280782 with flag 25204901/9860001
136.96/135.06	c cleaning 140003 clauses out of 282881 with flag 25558244/10001001
139.53/137.58	c cleaning 140875 clauses out of 284877 with flag 25920116/10143000
141.72/139.73	c cleaning 142152 clauses out of 287003 with flag 26283459/10286001
143.82/141.87	c cleaning 142867 clauses out of 288852 with flag 26638622/10430002
146.12/144.11	c cleaning 143584 clauses out of 290985 with flag 27016951/10575002
148.21/146.25	c cleaning 144598 clauses out of 293400 with flag 27380015/10721001
148.51/146.57	c SATISFIABLE
148.51/146.57	c OPTIMIZING...
148.51/146.57	c Got one! Elapsed wall clock time (in seconds):146.226
148.51/146.57	o 11602
148.80/146.70	c cleaning 26368 clauses out of 175419 with flag 11709/10747618
148.80/146.78	c cleaning 5941 clauses out of 155053 with flag 26851/10753620
148.90/146.88	c cleaning 6905 clauses out of 156111 with flag 43819/10760619
149.00/146.98	c cleaning 7929 clauses out of 157206 with flag 62582/10768619
149.11/147.10	c cleaning 8925 clauses out of 158277 with flag 82174/10777619
149.37/147.23	c cleaning 9936 clauses out of 159351 with flag 104686/10787618
149.47/147.36	c cleaning 10900 clauses out of 160416 with flag 130383/10798619
149.67/147.51	c cleaning 11894 clauses out of 161516 with flag 157338/10810619
149.87/147.70	c cleaning 12881 clauses out of 162622 with flag 186102/10823619
150.07/147.94	c cleaning 13910 clauses out of 163740 with flag 216750/10837618
150.27/148.18	c cleaning 14929 clauses out of 164831 with flag 250077/10852619
150.57/148.42	c cleaning 15867 clauses out of 165901 with flag 287516/10868618
150.77/148.68	c cleaning 16882 clauses out of 167034 with flag 324952/10885618
151.17/149.08	c cleaning 17847 clauses out of 168153 with flag 364897/10903619
151.57/149.48	c cleaning 18919 clauses out of 169306 with flag 407604/10922619
152.07/149.90	c cleaning 19896 clauses out of 170387 with flag 454305/10942619
152.46/150.34	c cleaning 20844 clauses out of 171491 with flag 505777/10963619
152.86/150.77	c cleaning 21810 clauses out of 172646 with flag 559550/10985618
153.27/151.11	c cleaning 22860 clauses out of 173839 with flag 618978/11008621
153.67/151.56	c cleaning 23896 clauses out of 174978 with flag 677510/11032620
154.17/152.00	c cleaning 24903 clauses out of 176081 with flag 738875/11057619
154.67/152.55	c cleaning 25690 clauses out of 177177 with flag 801542/11083618
155.17/153.07	c cleaning 26731 clauses out of 178488 with flag 866856/11110619
155.86/153.76	c cleaning 27859 clauses out of 179756 with flag 936014/11138618
156.46/154.30	c cleaning 28741 clauses out of 180898 with flag 1010409/11167619
157.06/154.99	c cleaning 29781 clauses out of 182156 with flag 1081200/11197618
158.04/155.81	c cleaning 30840 clauses out of 183375 with flag 1158626/11228618
158.54/156.36	c cleaning 31649 clauses out of 184537 with flag 1234761/11260620
159.25/157.04	c cleaning 32778 clauses out of 185886 with flag 1316174/11293618
159.94/157.75	c cleaning 33786 clauses out of 187109 with flag 1403854/11327619
160.64/158.40	c cleaning 34806 clauses out of 188326 with flag 1491040/11362622
161.24/159.09	c cleaning 35757 clauses out of 189518 with flag 1581229/11398620
161.63/159.42	c Got one! Elapsed wall clock time (in seconds):159.068
161.63/159.42	o 11526
161.82/159.52	c cleaning 14222 clauses out of 168269 with flag 12636/11413128
161.95/159.60	c cleaning 5953 clauses out of 160047 with flag 26560/11419128
161.95/159.69	c cleaning 6924 clauses out of 161095 with flag 42283/11426129
162.05/159.79	c cleaning 7930 clauses out of 162170 with flag 59993/11434128
162.25/159.91	c cleaning 8974 clauses out of 163239 with flag 80501/11443127
162.35/160.05	c cleaning 9967 clauses out of 164265 with flag 102002/11453127
162.55/160.23	c cleaning 10939 clauses out of 165299 with flag 126248/11464128
162.75/160.46	c cleaning 11950 clauses out of 166360 with flag 152363/11476128
162.95/160.66	c cleaning 12964 clauses out of 167409 with flag 181524/11489127
163.15/160.88	c cleaning 13921 clauses out of 168445 with flag 213764/11503127
163.45/161.14	c cleaning 14909 clauses out of 169525 with flag 247386/11518128
163.95/161.63	c cleaning 15853 clauses out of 170615 with flag 282851/11534127
164.35/162.09	c cleaning 16963 clauses out of 171762 with flag 321310/11551127
164.74/162.48	c cleaning 17963 clauses out of 172800 with flag 363479/11569128
165.24/163.00	c cleaning 18891 clauses out of 173838 with flag 408179/11588129
165.64/163.38	c cleaning 19921 clauses out of 174946 with flag 457100/11608128
166.34/164.02	c cleaning 20895 clauses out of 176025 with flag 508097/11629128
166.84/164.55	c cleaning 21871 clauses out of 177130 with flag 563747/11651128
167.24/164.93	c cleaning 22875 clauses out of 178258 with flag 621650/11674127
167.74/165.44	c cleaning 23937 clauses out of 179384 with flag 681977/11698128
168.34/166.09	c cleaning 24766 clauses out of 180446 with flag 745840/11723127
168.83/166.56	c cleaning 25779 clauses out of 181681 with flag 806566/11749128
169.63/167.30	c cleaning 26869 clauses out of 182901 with flag 872527/11776127
170.23/167.91	c cleaning 27895 clauses out of 184032 with flag 941873/11804127
170.83/168.52	c cleaning 28766 clauses out of 185139 with flag 1015062/11833129
171.33/169.00	c cleaning 29697 clauses out of 186372 with flag 1088876/11863128
171.83/169.50	c cleaning 30760 clauses out of 187674 with flag 1167340/11894127
172.43/170.13	c cleaning 31785 clauses out of 188915 with flag 1250490/11926128
173.12/170.83	c cleaning 32778 clauses out of 190130 with flag 1333523/11959128
173.82/171.57	c cleaning 33811 clauses out of 191351 with flag 1422571/11993127
174.62/172.34	c cleaning 34867 clauses out of 192540 with flag 1510233/12028127
175.22/172.95	c cleaning 35861 clauses out of 193673 with flag 1600706/12064127
175.82/173.58	c cleaning 36697 clauses out of 194815 with flag 1692428/12101130
176.52/174.26	c cleaning 37650 clauses out of 196115 with flag 1784452/12139127
177.32/175.03	c cleaning 38716 clauses out of 197465 with flag 1880231/12178127
178.21/176.00	c cleaning 39753 clauses out of 198750 with flag 1978774/12218128
179.01/176.79	c cleaning 40816 clauses out of 199996 with flag 2081396/12259127
180.11/177.80	c cleaning 41735 clauses out of 201183 with flag 2186217/12301130
181.11/178.82	c cleaning 42772 clauses out of 202448 with flag 2294329/12344130
182.00/179.72	c cleaning 43770 clauses out of 203675 with flag 2405502/12388129
182.90/180.66	c cleaning 44756 clauses out of 204903 with flag 2522074/12433127
184.40/181.82	c cleaning 45757 clauses out of 206148 with flag 2640230/12479128
185.51/182.88	c cleaning 46764 clauses out of 207390 with flag 2758876/12526127
186.61/183.94	c cleaning 47751 clauses out of 208627 with flag 2880003/12574128
187.81/185.15	c cleaning 48756 clauses out of 209876 with flag 2999693/12623128
188.91/186.28	c cleaning 49678 clauses out of 211120 with flag 3126227/12673128
189.90/187.22	c cleaning 50402 clauses out of 212441 with flag 3259046/12724127
191.00/188.39	c cleaning 51715 clauses out of 214039 with flag 3387440/12776127
192.10/189.44	c cleaning 52689 clauses out of 215325 with flag 3524109/12829128
193.10/190.45	c cleaning 53817 clauses out of 216637 with flag 3669840/12883129
194.29/191.60	c cleaning 54636 clauses out of 217818 with flag 3808338/12938127
195.59/192.95	c cleaning 55762 clauses out of 219182 with flag 3951666/12994127
196.69/194.01	c cleaning 56753 clauses out of 220420 with flag 4101352/13051127
197.98/195.32	c cleaning 57556 clauses out of 221667 with flag 4250291/13109127
199.18/196.53	c cleaning 58767 clauses out of 223111 with flag 4403626/13168127
200.57/197.95	c cleaning 59659 clauses out of 224344 with flag 4558804/13228127
201.87/199.24	c cleaning 60509 clauses out of 225687 with flag 4711915/13289129
203.17/200.51	c cleaning 61585 clauses out of 227176 with flag 4868480/13351127
204.46/201.85	c cleaning 62693 clauses out of 228592 with flag 5028742/13414128
205.86/203.21	c cleaning 63564 clauses out of 229898 with flag 5186749/13478127
207.06/204.42	c cleaning 64591 clauses out of 231334 with flag 5355688/13543127
208.16/205.51	c cleaning 65610 clauses out of 232744 with flag 5526355/13609128
790.03/555.69	
790.03/555.69	Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "main"

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62613 MiB free)
  memory of node 1: 64507 MiB (63939 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=87468, runsolver pid=87455

[startup+0.100058 s]*
/proc/loadavg: 0.64 0.97 1.05 2/333 87542
/proc/meminfo: memFree=129513380/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=18930384 memory=48112 CPUtime=0.04 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 5816 0 12 0 3 1 0 0 20 0 18 0 72469439 19384713216 12028 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4732596 12028 5280 1 0 546956 0
[pid=87468/tid=87475] ppid=87455 vsize=18930384 memory=4026532124 CPUtime=0.03 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) D 87455 87468 87403 0 -1 4194368 4707 0 12 0 2 1 0 0 20 0 18 0 72469443 19384713216 12028 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72469447 19384713216 12028 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72469448 19384713216 12028 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48112 KiB

[startup+0.205246 s]*
/proc/loadavg: 0.64 0.97 1.05 1/333 87542
/proc/meminfo: memFree=129503424/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=18930384 memory=51624 CPUtime=0.09 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 6139 0 12 0 7 2 0 0 20 0 18 0 72469439 19384713216 12906 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4732596 12906 5312 1 0 547212 0
[pid=87468/tid=87475] ppid=87455 vsize=18930384 memory=4026794268 CPUtime=0.05 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) D 87455 87468 87403 0 -1 4194368 4980 0 12 0 4 1 0 0 20 0 18 0 72469443 19384713216 12906 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72469447 19384713216 12906 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72469448 19384713216 12906 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51624 KiB

[startup+0.30496 s]*
/proc/loadavg: 0.64 0.97 1.05 1/333 87542
/proc/meminfo: memFree=129493720/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=18930384 memory=57788 CPUtime=0.13 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 6651 0 12 0 11 2 0 0 20 0 18 0 72469439 19384713216 14447 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4732596 14447 5312 1 0 547623 0
[pid=87468/tid=87475] ppid=87455 vsize=18930384 memory=-6000919477001545063 CPUtime=0.08 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 5143 0 12 0 7 1 0 0 20 0 18 0 72469443 19384713216 14447 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 72469447 19384713216 14447 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 72469448 19384713216 14447 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57788 KiB

[startup+0.700192 s]
/proc/loadavg: 0.64 0.97 1.05 10/333 87542
/proc/meminfo: memFree=129426576/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=18996948 memory=125392 CPUtime=0.75 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 9259 0 12 0 71 4 0 0 20 0 19 0 72469439 19452874752 31348 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4749237 31348 5408 1 0 549555 0
[pid=87468/tid=87475] ppid=87455 vsize=18996948 memory=15104 CPUtime=0.34 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 5433 0 12 0 32 2 0 0 20 0 19 0 72469443 19452874752 31348 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72469447 19452874752 31348 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72469448 19452874752 31348 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 0.75 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125392 KiB

[startup+1.5002 s]
/proc/loadavg: 1.39 1.12 1.10 10/337 87546
/proc/meminfo: memFree=129282344/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=18996948 memory=148556 CPUtime=2.34 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 21010 0 12 0 228 6 0 0 20 0 19 0 72469439 19452874752 37139 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4749237 37139 5440 1 0 553739 0
[pid=87468/tid=87475] ppid=87455 vsize=18996948 memory=3200 CPUtime=1.1 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 5600 0 12 0 107 3 0 0 20 0 19 0 72469443 19452874752 37139 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 72469447 19452874752 37139 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 72469448 19452874752 37139 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=18996948 memory=14720 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 72469504 19452874752 37139 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 148556 KiB

[startup+3.10508 s]
/proc/loadavg: 1.39 1.12 1.10 6/340 87549
/proc/meminfo: memFree=129004496/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=190672 CPUtime=4.52 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 24310 0 12 0 445 7 0 0 20 0 20 0 72469439 19521036288 47668 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 47668 5504 1 0 554033 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=14720 CPUtime=2.67 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 6133 0 12 0 264 3 0 0 20 0 20 0 72469443 19521036288 47668 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 47668 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 47668 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 47668 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190672 KiB

[startup+6.30017 s]
/proc/loadavg: 1.60 1.17 1.11 6/341 87550
/proc/meminfo: memFree=128521560/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=184076 CPUtime=7.71 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 24332 0 12 0 764 7 0 0 20 0 20 0 72469439 19521036288 46019 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 46019 5504 1 0 554033 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=0 CPUtime=5.85 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 6134 0 12 0 582 3 0 0 20 0 20 0 72469443 19521036288 46019 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 46019 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 46019 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=150708 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 46019 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184076 KiB

[startup+12.7002 s]
/proc/loadavg: 1.79 1.21 1.13 6/341 87550
/proc/meminfo: memFree=127587952/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=212904 CPUtime=14.13 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 26387 0 12 0 1405 8 0 0 20 0 20 0 72469439 19521036288 53226 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 53226 5504 1 0 554033 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=150708 CPUtime=12.2 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 6782 0 12 0 1217 3 0 0 20 0 20 0 72469443 19521036288 53226 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=212904 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 53226 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 53226 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 53226 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 14.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 212904 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.31 1.16 6/341 87551
/proc/meminfo: memFree=124140988/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=297348 CPUtime=26.96 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 28563 0 12 0 2685 11 0 0 20 0 20 0 72469439 19521036288 74337 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 74337 5504 1 0 554052 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=212904 CPUtime=24.84 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 7568 0 12 0 2481 3 0 0 20 0 20 0 72469443 19521036288 74337 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 74337 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 74337 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=276768 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 74337 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 297348 KiB

[startup+51.105 s]
/proc/loadavg: 3.01 1.60 1.26 7/341 87551
/proc/meminfo: memFree=117001024/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=455528 CPUtime=52.68 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 28934 0 12 0 5254 14 0 0 20 0 20 0 72469439 19521036288 113882 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 113882 5504 1 0 554090 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=455528 CPUtime=50.2 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) R 87455 87468 87403 0 -1 4194368 7636 0 12 0 5017 3 0 0 20 0 20 0 72469443 19521036288 113882 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=410376 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 113882 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=-6000919485591479655 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 113882 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=212904 CPUtime=0 cores=0,2

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

# Child status: 1

# cumulated CPU time of all completed processes:  user=1174.24 s, system=3.53283 s

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

[startup+716.8 s]
/proc/loadavg: 5.38 4.92 3.29 6/340 87582
/proc/meminfo: memFree=76850176/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1104.78 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 99521 0 12 0 110131 347 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=15104 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1104.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+729.6 s]
/proc/loadavg: 5.56 4.97 3.32 9/340 87585
/proc/meminfo: memFree=76498004/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1130.21 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 101255 0 12 0 112674 347 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=14720 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=16295400 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=16295400 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1130.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+742.4 s]
/proc/loadavg: 5.50 4.99 3.35 7/340 87585
/proc/meminfo: memFree=75408464/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1155.64 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 107509 0 12 0 115216 348 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=5632 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=21608 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1155.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+748.8 s]
/proc/loadavg: 5.54 5.00 3.37 8/340 87585
/proc/meminfo: memFree=74809452/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1167.55 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 108531 0 12 0 116406 349 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=14720 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=16295400 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1167.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+752 s]*
/proc/loadavg: 5.66 5.04 3.39 9/340 87585
/proc/meminfo: memFree=74669936/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1173.63 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 109248 0 12 0 117014 349 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=-6000919477001545063 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=6768 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=6852 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=6724 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1173.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+752.8 s]
/proc/loadavg: 5.66 5.04 3.39 9/340 87585
/proc/meminfo: memFree=74669936/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1175.21 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 109507 0 12 0 117172 349 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=-6000919485591479655 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=2736 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=17592 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=46208 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1175.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+753.6 s]
/proc/loadavg: 5.66 5.04 3.39 8/340 87585
/proc/meminfo: memFree=74665840/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1176.8 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 109508 0 12 0 117331 349 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=14720 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=16295400 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=-6000919485591479655 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1176.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+754 s]*
/proc/loadavg: 5.66 5.04 3.39 7/340 87586
/proc/meminfo: memFree=74641392/131250000 swapFree=33008100/33010684
[pid=87468] ppid=87455 vsize=19063512 memory=16295400 CPUtime=1177.6 cores=0,2
/proc/87468/stat : 87468 (java) S 87455 87468 87403 0 -1 4194304 109508 0 12 0 117411 349 0 0 20 0 20 0 72469439 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
/proc/87468/statm: 4765878 4073850 5504 1 0 4087223 0
[pid=87468/tid=87475] ppid=87455 vsize=19063512 memory=-6000919477001545063 CPUtime=342.64 cores=0,2
/proc/87468/task/87475/stat : 87475 (java) S 87455 87468 87403 0 -1 4194368 17382 0 12 0 34199 65 0 0 20 0 20 0 72469443 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87512] ppid=87455 vsize=19063512 memory=-4050210904893931153 CPUtime=0 cores=0,2
/proc/87468/task/87512/stat : 87512 (Finalizer) S 87455 87468 87403 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 72469447 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87542] ppid=87455 vsize=19063512 memory=-4050210904893931153 CPUtime=0 cores=0,2
/proc/87468/task/87542/stat : 87542 (Common-Cleaner) S 87455 87468 87403 0 -1 4194368 183 0 0 0 0 0 0 0 20 0 20 0 72469448 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
[pid=87468/tid=87545] ppid=87455 vsize=19063512 memory=6768 CPUtime=0 cores=0,2
/proc/87468/task/87545/stat : 87545 (Timer-0) S 87455 87468 87403 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 72469504 19521036288 4073850 18446744073709551615 93853340835840 93853340839536 140732696002992 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93853340847352 93853340848144 93853346406400 140732696009089 140732696009190 140732696009190 140732696014792 0
Current children cumulated CPU time: 1177.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16295400 KiB

[startup+754.107 s]*
/proc/loadavg: 5.66 5.04 3.39 5/322 87586
/proc/meminfo: memFree=88244504/131250000 swapFree=33008100/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1

Real time (s): 754.121
CPU time (s): 1177.77
CPU user time (s): 1174.24
CPU system time (s): 3.53283
CPU usage (%): 156.178
Max. virtual memory (cumulated for all children) (KiB): 19067616
Max. memory (cumulated for all children) (KiB): 16295484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1174.24
system time used= 3.53283
maximum resident set size= 16295500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109638
page faults= 12
swaps= 0
block input operations= 56
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25615
involuntary context switches= 20376


# summary of solver processes directly reported to runsolver:
#   pid: 87468
#   total CPU time (s): 1177.77
#   total CPU user time (s): 1174.24
#   total CPU system time (s): 3.53283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45829 second user time and 3.40056 second system time

The end

Launcher Data

Begin job on nodeC013 at 2025-07-03 20:38:12
IDJOB=4520120
IDBENCH=177752
IDSOLVER=3363
FILE ID=nodeC013/4520120-1751567892
RUNJOBID= nodeC013-1751567892-87413
SLURM_JOB_ID= 9598784
Free space on /tmp= 432644 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520120-1751567892/watcher-4520120-1751567892 -o /tmp/evaluation-result-4520120-1751567892/solver-4520120-1751567892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751567892-87413 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4520120-1751567892.opb

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

MD5SUM BENCH= 8c40d06f898909448a09bd13b95de2fa
RANDOM SEED=1926216380

nodeC013 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	: 0xb00002a
cpu MHz		: 3600.292
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.843
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3075.247
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.193
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3265.780
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.557
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3381.257
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129586324 kB
MemAvailable:   129682800 kB
Buffers:            1668 kB
Cached:           890644 kB
SwapCached:         1988 kB
Active:           434344 kB
Inactive:         526376 kB
Active(anon):      62064 kB
Inactive(anon):    17632 kB
Active(file):     372280 kB
Inactive(file):   508744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4152 kB
Writeback:            12 kB
AnonPages:         69496 kB
Mapped:            99564 kB
Shmem:             11288 kB
KReclaimable:     108980 kB
Slab:             198328 kB
SReclaimable:     108980 kB
SUnreclaim:        89348 kB
KernelStack:        4016 kB
PageTables:         2804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     317224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432640 MiB
End job on nodeC013 at 2025-07-03 20:50:46