Trace number 4458571

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (exit code) 1494.02 961.101

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
MD5SUM0e48a521f9e70a759d0a47d941d82f86
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 benchmark12675
Best CPU time to get the best result obtained on this benchmark0.295898
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25350
Total number of constraints4225
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints4160
Minimum length of a constraint6
Maximum length of a constraint18
Number of terms in the objective function 25350
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 25350
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 25350
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.12/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.13	c See www.sat4j.org for details.
0.12/0.14	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.17	c os.name		Linux
0.12/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.17	c os.arch		amd64
0.12/0.18	c Free memory 		2113181440
0.12/0.18	c Max memory 		16282288128
0.12/0.18	c Total memory 		2122317824
0.12/0.18	c Number of processors 	2
0.27/0.28	--- Begin Solver configuration ---
0.27/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.28	Learn all clauses as in MiniSAT
0.27/0.28	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.28	No reason simplification
0.27/0.28	Glucose 2.1 dynamic restart strategy
0.27/0.28	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.27/0.28	timeout=2147483s
0.27/0.28	DB Simplification allowed=false
0.27/0.28	Listener: none
0.27/0.28	--- End Solver configuration ---
0.27/0.28	c Pseudo Boolean Optimization by upper bound
0.27/0.28	c --- Begin Solver configuration ---
0.27/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.27/0.28	c Learn all clauses as in MiniSAT
0.27/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.27/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.27/0.28	c No reason simplification
0.27/0.28	c Glucose 2.1 dynamic restart strategy
0.27/0.28	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.27/0.28	c timeout=2147483s
0.27/0.28	c DB Simplification allowed=false
0.27/0.28	c Listener: none
0.27/0.28	c --- End Solver configuration ---
0.27/0.28	c solving HOME/instance-4458571-1721881276.opb
0.27/0.28	c reading problem ... 
0.27/0.28	c  objective function found
1.15/0.75	c ... done. Wall clock time 0.473s.
1.15/0.76	c declared #vars     25350
1.15/0.76	c #constraints  4225
1.15/0.76	c constraints type 
1.15/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4225
1.15/0.76	c 4225 constraints processed.
1.15/0.79	c objective function length is 25350 literals
2.75/1.53	c cleaning 2498 clauses out of 5000 with flag 11660/5000
3.33/1.85	c cleaning 4245 clauses out of 8502 with flag 26310/11000
3.53/1.95	c cleaning 5616 clauses out of 11259 with flag 46690/18002
3.75/2.04	c cleaning 6809 clauses out of 13642 with flag 68205/26001
3.93/2.12	c cleaning 7912 clauses out of 15833 with flag 92109/35001
4.12/2.21	c cleaning 8955 clauses out of 17920 with flag 119962/45000
4.24/2.31	c cleaning 9972 clauses out of 19965 with flag 147693/56000
4.34/2.41	c cleaning 10982 clauses out of 21994 with flag 180087/68001
4.44/2.54	c cleaning 11997 clauses out of 24013 with flag 218863/81002
4.65/2.71	c cleaning 12995 clauses out of 26015 with flag 255094/95001
4.75/2.83	c cleaning 13966 clauses out of 28022 with flag 297544/110003
4.85/2.97	c cleaning 15021 clauses out of 30053 with flag 340299/126000
5.11/3.11	c cleaning 15987 clauses out of 32036 with flag 390141/143004
5.26/3.25	c cleaning 17007 clauses out of 34045 with flag 437364/161000
5.46/3.42	c cleaning 18000 clauses out of 36038 with flag 486922/180000
5.66/3.61	c cleaning 19016 clauses out of 38038 with flag 537197/200000
5.86/3.82	c cleaning 20001 clauses out of 40022 with flag 594003/221000
5.96/3.99	c cleaning 21007 clauses out of 42023 with flag 653562/243002
6.25/4.21	c cleaning 22001 clauses out of 44014 with flag 715041/266000
6.45/4.41	c cleaning 22988 clauses out of 46015 with flag 780640/290002
6.65/4.63	c cleaning 24001 clauses out of 48025 with flag 852521/315000
6.85/4.85	c cleaning 24995 clauses out of 50024 with flag 922704/341000
7.15/5.13	c cleaning 26003 clauses out of 52030 with flag 994287/368001
7.45/5.42	c cleaning 27002 clauses out of 54027 with flag 1071695/396001
7.75/5.76	c cleaning 28008 clauses out of 56028 with flag 1153035/425004
8.04/6.08	c cleaning 29000 clauses out of 58016 with flag 1231523/455000
8.45/6.48	c cleaning 29987 clauses out of 60018 with flag 1319811/486002
8.85/6.85	c cleaning 30987 clauses out of 62031 with flag 1405835/518002
9.24/7.20	c cleaning 31997 clauses out of 64042 with flag 1488164/551000
9.54/7.55	c cleaning 33011 clauses out of 66045 with flag 1580429/585000
9.94/7.96	c cleaning 33989 clauses out of 68035 with flag 1676171/620001
10.23/8.29	c cleaning 35006 clauses out of 70045 with flag 1771833/656000
10.73/8.71	c cleaning 36003 clauses out of 72039 with flag 1866384/693000
11.03/9.06	c cleaning 37013 clauses out of 74037 with flag 1964623/731001
11.52/9.50	c cleaning 38001 clauses out of 76023 with flag 2076394/770000
11.92/9.90	c cleaning 38998 clauses out of 78022 with flag 2179612/810000
12.31/10.36	c cleaning 39983 clauses out of 80026 with flag 2287881/851002
12.82/10.85	c cleaning 40997 clauses out of 82041 with flag 2398108/893000
13.33/11.30	c cleaning 42010 clauses out of 84044 with flag 2505242/936000
13.83/11.87	c cleaning 42986 clauses out of 86035 with flag 2618982/980001
14.32/12.35	c cleaning 43994 clauses out of 88048 with flag 2734594/1025000
14.72/12.80	c cleaning 45007 clauses out of 90054 with flag 2859798/1071000
15.31/13.39	c cleaning 46009 clauses out of 92048 with flag 2978967/1118001
15.80/13.87	c cleaning 47010 clauses out of 94040 with flag 3106144/1166002
16.30/14.37	c cleaning 48004 clauses out of 96028 with flag 3235327/1215000
16.99/15.00	c cleaning 48997 clauses out of 98027 with flag 3360879/1265003
17.59/15.68	c cleaning 49982 clauses out of 100027 with flag 3490358/1316000
18.28/16.35	c cleaning 51003 clauses out of 102045 with flag 3624213/1368000
18.88/16.99	c cleaning 52002 clauses out of 104042 with flag 3764286/1421000
19.47/17.59	c cleaning 52991 clauses out of 106042 with flag 3907213/1475002
20.27/18.34	c cleaning 54001 clauses out of 108050 with flag 4051398/1530001
21.46/19.55	c cleaning 54989 clauses out of 110048 with flag 4200694/1586000
22.16/20.29	c cleaning 55985 clauses out of 112060 with flag 4349305/1643001
22.98/21.03	c cleaning 57029 clauses out of 114074 with flag 4499153/1701000
23.66/21.78	c cleaning 57996 clauses out of 116045 with flag 4658229/1760000
24.36/22.44	c cleaning 58999 clauses out of 118050 with flag 4812244/1820001
25.07/23.16	c cleaning 59983 clauses out of 120050 with flag 4966890/1881000
25.86/23.91	c cleaning 61022 clauses out of 122067 with flag 5130987/1943000
26.55/24.62	c cleaning 62005 clauses out of 124045 with flag 5293302/2006000
27.46/25.55	c cleaning 63003 clauses out of 126040 with flag 5456219/2070000
28.26/26.33	c cleaning 64006 clauses out of 128038 with flag 5622641/2135001
28.97/27.09	c cleaning 65006 clauses out of 130032 with flag 5790101/2201001
29.85/27.91	c cleaning 65994 clauses out of 132025 with flag 5963098/2268000
30.75/28.80	c cleaning 67007 clauses out of 134031 with flag 6130235/2336000
31.65/29.71	c cleaning 67990 clauses out of 136026 with flag 6308681/2405002
32.65/30.76	c cleaning 69001 clauses out of 138034 with flag 6489704/2475000
33.65/31.73	c cleaning 69984 clauses out of 140035 with flag 6673032/2546002
34.46/32.54	c cleaning 71002 clauses out of 142049 with flag 6852276/2618000
35.15/33.29	c cleaning 72006 clauses out of 144047 with flag 7040489/2691000
36.06/34.13	c cleaning 72993 clauses out of 146041 with flag 7236071/2765000
36.87/34.93	c cleaning 74008 clauses out of 148048 with flag 7437601/2840000
38.00/36.03	c cleaning 75000 clauses out of 150040 with flag 7642061/2916000
39.00/37.03	c cleaning 75999 clauses out of 152040 with flag 7840399/2993000
39.89/37.94	c cleaning 77015 clauses out of 154042 with flag 8042192/3071001
40.79/38.89	c cleaning 78011 clauses out of 156027 with flag 8242329/3150001
41.78/39.88	c cleaning 78974 clauses out of 158015 with flag 8456694/3230000
42.88/40.93	c cleaning 80014 clauses out of 160043 with flag 8667963/3311002
44.12/42.13	c cleaning 81006 clauses out of 162029 with flag 8898251/3393002
45.11/43.19	c cleaning 81962 clauses out of 164022 with flag 9108690/3476001
46.20/44.23	c cleaning 83017 clauses out of 166061 with flag 9330412/3560002
47.39/45.40	c cleaning 84007 clauses out of 168043 with flag 9551736/3645001
48.49/46.54	c cleaning 85015 clauses out of 170039 with flag 9770024/3731004
49.59/47.63	c cleaning 85991 clauses out of 172020 with flag 9993822/3818000
50.80/48.87	c cleaning 86990 clauses out of 174030 with flag 10226527/3906001
52.11/50.15	c cleaning 88008 clauses out of 176039 with flag 10460119/3995000
53.29/51.34	c cleaning 89010 clauses out of 178031 with flag 10689185/4085000
54.40/52.47	c cleaning 89992 clauses out of 180021 with flag 10929305/4176000
55.69/53.71	c cleaning 90992 clauses out of 182029 with flag 11168152/4268000
56.79/54.84	c cleaning 92006 clauses out of 184038 with flag 11415608/4361001
58.36/56.32	c cleaning 93009 clauses out of 186031 with flag 11673609/4455000
59.56/57.58	c cleaning 93994 clauses out of 188022 with flag 11915473/4550000
60.96/58.90	c cleaning 95003 clauses out of 190028 with flag 12165956/4646000
62.17/60.13	c cleaning 96008 clauses out of 192025 with flag 12419329/4743000
63.55/61.57	c cleaning 97001 clauses out of 194017 with flag 12675654/4841000
65.45/63.38	c cleaning 97983 clauses out of 196016 with flag 12924372/4940000
67.33/65.23	c cleaning 98989 clauses out of 198033 with flag 13190648/5040000
68.92/66.80	c cleaning 100000 clauses out of 200044 with flag 13459671/5141000
70.41/68.34	c cleaning 100989 clauses out of 202045 with flag 13736724/5243001
71.80/69.76	c cleaning 102004 clauses out of 204057 with flag 14009643/5346002
73.54/71.49	c cleaning 103005 clauses out of 206052 with flag 14279703/5450001
75.32/73.17	c cleaning 103999 clauses out of 208047 with flag 14552664/5555001
76.91/74.76	c cleaning 104999 clauses out of 210047 with flag 14821362/5661000
78.39/76.25	c cleaning 105999 clauses out of 212048 with flag 15106645/5768000
79.98/77.85	c cleaning 107018 clauses out of 214050 with flag 15384017/5876001
81.72/79.55	c cleaning 107977 clauses out of 216031 with flag 15664005/5985000
83.58/81.34	c cleaning 108993 clauses out of 218057 with flag 15959372/6095003
85.17/82.92	c cleaning 110024 clauses out of 220061 with flag 16253526/6206000
86.76/84.56	c cleaning 111003 clauses out of 222038 with flag 16533692/6318001
88.35/86.19	c cleaning 112001 clauses out of 224036 with flag 16832990/6431002
90.17/87.92	c cleaning 113008 clauses out of 226034 with flag 17126392/6545001
92.21/89.97	c cleaning 114001 clauses out of 228027 with flag 17416098/6660002
94.49/92.26	c cleaning 115005 clauses out of 230024 with flag 17724344/6776000
96.48/94.23	c cleaning 116004 clauses out of 232022 with flag 18024420/6893003
98.29/96.03	c cleaning 117004 clauses out of 234017 with flag 18331809/7011002
100.44/98.01	c cleaning 117971 clauses out of 236011 with flag 18642720/7130000
102.13/99.78	c cleaning 118989 clauses out of 238041 with flag 18954431/7250001
104.02/101.60	c cleaning 119993 clauses out of 240051 with flag 19266869/7371000
105.92/103.57	c cleaning 121013 clauses out of 242060 with flag 19584948/7493002
107.71/105.34	c cleaning 122011 clauses out of 244045 with flag 19897886/7616000
109.74/107.26	c cleaning 123009 clauses out of 246034 with flag 20224145/7740000
111.94/109.49	c cleaning 124002 clauses out of 248025 with flag 20551604/7865000
113.93/111.47	c cleaning 124979 clauses out of 250026 with flag 20881721/7991003
115.92/113.44	c cleaning 126004 clauses out of 252044 with flag 21214503/8118000
118.25/115.63	c cleaning 126992 clauses out of 254041 with flag 21543037/8246001
120.55/117.90	c cleaning 127974 clauses out of 256048 with flag 21881859/8375000
122.65/120.04	c cleaning 128996 clauses out of 258074 with flag 22220218/8505000
124.75/122.18	c cleaning 130030 clauses out of 260080 with flag 22570035/8636002
127.03/124.40	c cleaning 131016 clauses out of 262048 with flag 22912574/8768000
129.53/126.88	c cleaning 131983 clauses out of 264032 with flag 23261068/8901000
131.74/129.08	c cleaning 132970 clauses out of 266050 with flag 23611892/9035001
134.02/131.34	c cleaning 133979 clauses out of 268079 with flag 23966372/9170000
136.41/133.73	c cleaning 135027 clauses out of 270101 with flag 24310167/9306001
138.73/135.99	c cleaning 136035 clauses out of 272073 with flag 24667202/9443000
141.13/138.30	c cleaning 137010 clauses out of 274042 with flag 25026654/9581004
143.33/140.55	c cleaning 137987 clauses out of 276028 with flag 25385318/9720000
145.72/142.93	c cleaning 139015 clauses out of 278042 with flag 25744432/9860001
148.11/145.37	c cleaning 139999 clauses out of 280026 with flag 26110071/10001000
150.76/147.86	c cleaning 141010 clauses out of 282029 with flag 26473252/10143002
153.35/150.43	c cleaning 141975 clauses out of 284017 with flag 26849560/10286000
155.74/152.81	c cleaning 142972 clauses out of 286042 with flag 27221040/10430000
158.25/155.32	c cleaning 144023 clauses out of 288070 with flag 27604265/10575000
161.05/158.13	c cleaning 145010 clauses out of 290049 with flag 27976697/10721002
163.87/160.83	c cleaning 146015 clauses out of 292040 with flag 28362890/10868003
166.08/163.02	c cleaning 147004 clauses out of 294023 with flag 28739677/11016001
168.47/165.42	c cleaning 147954 clauses out of 296018 with flag 29133608/11165000
170.86/167.82	c cleaning 149021 clauses out of 298067 with flag 29523375/11315003
173.94/170.74	c cleaning 149982 clauses out of 300045 with flag 29925635/11466002
176.43/173.26	c cleaning 150992 clauses out of 302061 with flag 30317488/11618000
179.03/175.84	c cleaning 152017 clauses out of 304069 with flag 30720288/11771000
181.62/178.47	c cleaning 152978 clauses out of 306052 with flag 31123688/11925000
184.41/181.29	c cleaning 153980 clauses out of 308075 with flag 31531501/12080001
187.68/184.42	c cleaning 155007 clauses out of 310094 with flag 31951862/12236000
190.39/187.04	c cleaning 156038 clauses out of 312087 with flag 32371106/12393000
193.27/189.97	c cleaning 156981 clauses out of 314051 with flag 32782630/12551002
196.16/192.81	c cleaning 158032 clauses out of 316069 with flag 33206000/12710001
199.25/195.90	c cleaning 159011 clauses out of 318036 with flag 33636938/12870000
199.25/195.97	c SATISFIABLE
199.25/195.97	c OPTIMIZING...
199.25/195.97	c Got one! Elapsed wall clock time (in seconds):195.693
199.25/195.98	o 12763
199.41/196.12	c cleaning 14110 clauses out of 164942 with flag 9723/12875917
199.78/196.23	c cleaning 5909 clauses out of 156832 with flag 24517/12881917
199.98/196.33	c cleaning 6892 clauses out of 157924 with flag 40767/12888918
200.18/196.44	c cleaning 7860 clauses out of 159031 with flag 58949/12896917
200.38/196.55	c cleaning 8899 clauses out of 160172 with flag 79009/12905918
200.56/196.68	c cleaning 9923 clauses out of 161274 with flag 101844/12915919
200.82/196.82	c cleaning 10927 clauses out of 162349 with flag 126164/12926917
201.03/197.01	c cleaning 11966 clauses out of 163422 with flag 152904/12938917
201.22/197.20	c cleaning 12903 clauses out of 164457 with flag 181968/12951918
201.42/197.42	c cleaning 13868 clauses out of 165553 with flag 213880/12965917
201.72/197.71	c cleaning 14889 clauses out of 166685 with flag 247797/12980917
202.03/198.02	c cleaning 15881 clauses out of 167798 with flag 283857/12996919
202.69/198.66	c cleaning 16914 clauses out of 168918 with flag 322019/13013920
203.85/199.51	c cleaning 17929 clauses out of 170001 with flag 363248/13031917
205.22/200.44	c cleaning 18897 clauses out of 171073 with flag 409981/13050918
206.11/201.34	c cleaning 19907 clauses out of 172176 with flag 457923/13070918
207.30/202.57	c cleaning 20901 clauses out of 173270 with flag 508884/13091919
208.10/203.39	c cleaning 21866 clauses out of 174367 with flag 560057/13113917
208.81/204.08	c cleaning 22898 clauses out of 175501 with flag 614340/13136917
209.70/204.94	c cleaning 23897 clauses out of 176603 with flag 671393/13160917
210.30/205.52	c cleaning 24886 clauses out of 177706 with flag 732333/13185917
210.91/206.18	c cleaning 25756 clauses out of 178820 with flag 793589/13211917
211.59/206.84	c cleaning 26895 clauses out of 180065 with flag 859547/13238918
212.49/207.73	c cleaning 27892 clauses out of 181169 with flag 930595/13266917
213.29/208.57	c cleaning 28801 clauses out of 182278 with flag 1003124/13295918
213.99/209.22	c cleaning 29873 clauses out of 183476 with flag 1081359/13325917
214.79/210.02	c cleaning 30817 clauses out of 184603 with flag 1157953/13356917
215.68/210.97	c cleaning 31781 clauses out of 185786 with flag 1233588/13388917
216.68/211.93	c cleaning 32850 clauses out of 187005 with flag 1317581/13421917
217.57/212.86	c cleaning 33808 clauses out of 188155 with flag 1403516/13455917
218.57/213.81	c cleaning 34721 clauses out of 189350 with flag 1488501/13490920
219.37/214.62	c cleaning 35790 clauses out of 190626 with flag 1583213/13526917
220.08/215.34	c cleaning 36715 clauses out of 191837 with flag 1676654/13563918
220.97/216.23	c cleaning 37824 clauses out of 193123 with flag 1773123/13601919
222.07/217.33	c cleaning 38735 clauses out of 194298 with flag 1874590/13640918
222.88/218.15	c cleaning 39924 clauses out of 195563 with flag 1981026/13680918
223.67/218.99	c cleaning 40639 clauses out of 196639 with flag 2080560/13721918
224.66/219.95	c cleaning 41679 clauses out of 198000 with flag 2189064/13763918
225.46/220.79	c cleaning 42743 clauses out of 199321 with flag 2302253/13806918
226.60/221.85	c cleaning 43801 clauses out of 200579 with flag 2413962/13850919
227.65/222.82	c cleaning 44720 clauses out of 201777 with flag 2528850/13895918
228.83/223.93	c cleaning 45828 clauses out of 203057 with flag 2648757/13941918
229.73/224.88	c cleaning 46725 clauses out of 204229 with flag 2765580/13988918
230.83/226.01	c cleaning 47761 clauses out of 205503 with flag 2888677/14036917
231.94/227.06	c cleaning 48800 clauses out of 206742 with flag 3016761/14085917
232.93/228.04	c cleaning 49743 clauses out of 207942 with flag 3149255/14135917
234.32/229.46	c cleaning 50629 clauses out of 209200 with flag 3276457/14186918
235.61/230.73	c cleaning 51799 clauses out of 210571 with flag 3411914/14238918
236.92/232.08	c cleaning 52730 clauses out of 211772 with flag 3550872/14291918
238.11/233.24	c cleaning 53720 clauses out of 213043 with flag 3694023/14345919
239.40/234.52	c cleaning 54781 clauses out of 214322 with flag 3836449/14400918
240.80/235.91	c cleaning 55635 clauses out of 215542 with flag 3982393/14456919
242.01/237.18	c cleaning 56679 clauses out of 216905 with flag 4126330/14513917
243.39/238.50	c cleaning 57732 clauses out of 218226 with flag 4281746/14571917
244.39/239.60	c cleaning 58467 clauses out of 219495 with flag 4427926/14630918
246.00/241.18	c cleaning 59822 clauses out of 221030 with flag 4589869/14690920
247.48/242.68	c cleaning 60638 clauses out of 222205 with flag 4749055/14751917
248.99/244.12	c cleaning 61756 clauses out of 223568 with flag 4911255/14813918
250.37/245.58	c cleaning 62593 clauses out of 224811 with flag 5071025/14876917
251.52/246.69	c cleaning 63688 clauses out of 226218 with flag 5243846/14940917
253.53/248.52	c cleaning 64818 clauses out of 227530 with flag 5418226/15005917
255.32/250.33	c cleaning 65585 clauses out of 228712 with flag 5587298/15071917
256.62/251.62	c cleaning 66789 clauses out of 230127 with flag 5768365/15138917
257.91/252.95	c cleaning 67768 clauses out of 231340 with flag 5951779/15206919
259.31/254.30	c cleaning 68781 clauses out of 232571 with flag 6136755/15275918
260.60/255.67	c cleaning 69596 clauses out of 233791 with flag 6322830/15345919
390.83/353.39	c cleaning 70743 clauses out of 235194 with flag 6532189/15416918
1120.80/773.04	
1120.80/773.04	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: 64096 MiB (47052 MiB free)
  memory of node 1: 64473 MiB (45054 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458571-1721881276/watcher-4458571-1721881276 -o /tmp/evaluation-result-4458571-1721881276/solver-4458571-1721881276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721877730-203502 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4458571-1721881276.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=205651, runsolver pid=205648

[startup+0.106704 s]*
/proc/loadavg: 5.20 4.48 4.34 5/318 205669
/proc/meminfo: memFree=94282452/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=18975048 memory=56452 CPUtime=0.12 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 6613 0 0 0 10 2 0 0 20 0 18 0 24117509 19430449152 14113 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4743762 14113 5617 1 0 550925 0
[pid=205651/tid=205653] ppid=205648 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 5518 0 0 0 7 1 0 0 20 0 18 0 24117510 19430449152 14113 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 14113 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=18975048 memory=14127853412601218 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 14113 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56452 KiB

[startup+0.214294 s]*
/proc/loadavg: 5.20 4.48 4.34 7/318 205669
/proc/meminfo: memFree=94273568/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=18975048 memory=65096 CPUtime=0.27 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 7214 0 0 0 25 2 0 0 20 0 18 0 24117509 19430449152 16274 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4743762 16274 5621 1 0 551423 0
[pid=205651/tid=205653] ppid=205648 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 5741 0 0 0 16 1 0 0 20 0 18 0 24117510 19430449152 16274 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=18975048 memory=1364536 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 16274 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=18975048 memory=16102571999761082 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 16274 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65096 KiB

[startup+0.314698 s]*
/proc/loadavg: 5.20 4.48 4.34 10/319 205672
/proc/meminfo: memFree=94270428/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=18975048 memory=68300 CPUtime=0.45 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 7447 0 0 0 42 3 0 0 20 0 18 0 24117509 19430449152 17075 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4743762 17075 5709 1 0 551561 0
[pid=205651/tid=205653] ppid=205648 vsize=18975048 memory=-8600015358836581052 CPUtime=0.26 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 5866 0 0 0 25 1 0 0 20 0 18 0 24117510 19430449152 17075 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 17075 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 17075 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68300 KiB

[startup+0.700294 s]
/proc/loadavg: 5.20 4.48 4.34 8/297 205672
/proc/meminfo: memFree=109445952/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=18975048 memory=120456 CPUtime=1.15 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 9088 0 0 0 111 4 0 0 20 0 18 0 24117509 19430449152 30114 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4743762 30114 5805 1 0 552653 0
[pid=205651/tid=205653] ppid=205648 vsize=18975048 memory=5516 CPUtime=0.59 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 5924 0 0 0 57 2 0 0 20 0 18 0 24117510 19430449152 30114 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=18975048 memory=12668 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 30114 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 24117513 19430449152 30114 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 120456 KiB

[startup+1.50769 s]
/proc/loadavg: 5.20 4.48 4.34 8/313 205732
/proc/meminfo: memFree=109277344/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19041612 memory=156432 CPUtime=2.75 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 17398 0 0 0 268 7 0 0 20 0 19 0 24117509 19498610688 39108 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4760403 39108 5859 1 0 556228 0
[pid=205651/tid=205653] ppid=205648 vsize=19041612 memory=12668 CPUtime=1.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 6190 0 0 0 132 3 0 0 20 0 19 0 24117510 19498610688 39108 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 24117513 19498610688 39108 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 24117513 19498610688 39108 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 24117591 19498610688 39108 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 156432 KiB

[startup+3.10669 s]
/proc/loadavg: 5.20 4.48 4.34 7/319 205740
/proc/meminfo: memFree=108891156/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=197084 CPUtime=5.11 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 21264 0 0 0 502 9 0 0 20 0 20 0 24117509 19566772224 49271 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 49271 5904 1 0 557093 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 7245 0 0 0 283 4 0 0 20 0 20 0 24117510 19566772224 49271 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 49271 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 49271 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 49271 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197084 KiB

[startup+6.30022 s]
/proc/loadavg: 5.34 4.52 4.35 5/320 205742
/proc/meminfo: memFree=108391112/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=195024 CPUtime=8.34 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 21637 0 0 0 825 9 0 0 20 0 20 0 24117509 19566772224 48756 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 48756 5920 1 0 557093 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=0 CPUtime=6.02 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 7325 0 0 0 598 4 0 0 20 0 20 0 24117510 19566772224 48756 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 48756 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 48756 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=61204 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 48756 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 8.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195024 KiB

[startup+12.7007 s]
/proc/loadavg: 5.23 4.52 4.35 6/320 205743
/proc/meminfo: memFree=107484848/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=217672 CPUtime=14.72 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 23139 0 0 0 1461 11 0 0 20 0 20 0 24117509 19566772224 54418 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 54418 5920 1 0 557094 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=0 CPUtime=12.26 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 7896 0 0 0 1222 4 0 0 20 0 20 0 24117510 19566772224 54418 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=205276 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 54418 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=197084 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 54418 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=217668 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 54418 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 14.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217672 KiB

[startup+25.5005 s]
/proc/loadavg: 5.11 4.52 4.36 5/320 205746
/proc/meminfo: memFree=105458136/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=289708 CPUtime=27.46 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 26808 0 0 0 2732 14 0 0 20 0 20 0 24117509 19566772224 72427 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 72427 5920 1 0 557109 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=217668 CPUtime=24.63 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 9152 0 0 0 2459 4 0 0 20 0 20 0 24117510 19566772224 72427 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 72427 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=61204 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 72427 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=232124 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 72427 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 27.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 289708 KiB

[startup+51.1133 s]
/proc/loadavg: 4.85 4.51 4.36 6/320 205749
/proc/meminfo: memFree=98173648/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=588112 CPUtime=53.11 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 30743 0 0 0 5289 22 0 0 20 0 20 0 24117509 19566772224 147028 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 147028 5920 1 0 663670 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=12668 CPUtime=49.54 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) R 205648 205651 203492 0 -1 4194368 10508 0 0 0 4948 6 0 0 20 0 20 0 24117510 19566772224 147028 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=471328 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 147028 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 147028 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0

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

/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081601 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1337.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326404 KiB

[startup+942.304 s]
/proc/loadavg: 5.76 5.48 4.98 6/318 206590
/proc/meminfo: memFree=77311096/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326452 CPUtime=1456.77 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 230852 0 0 0 145262 415 0 0 20 0 20 0 24117509 19566772224 4081613 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081613 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=16326452 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081613 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=16326420 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081613 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=2096 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081613 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081613 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1456.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326452 KiB

[startup+961.101 s]
# the end of solver process 205651 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=1489.8 s, system=4.21315 s

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

[startup+947.201 s]
/proc/loadavg: 5.70 5.47 4.98 6/318 206592
/proc/meminfo: memFree=76727252/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326392 CPUtime=1466.48 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 236822 0 0 0 146232 416 0 0 20 0 20 0 24117509 19566772224 4081598 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081598 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=61204 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081598 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081598 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081598 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=16326452 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081598 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1466.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326392 KiB

[startup+953.606 s]
/proc/loadavg: 5.72 5.48 4.99 7/318 206594
/proc/meminfo: memFree=75843172/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1479.22 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 237335 0 0 0 147506 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=61204 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=15864 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=16326424 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=-8600015358836581052 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1479.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

[startup+956.801 s]
/proc/loadavg: 5.75 5.49 4.99 7/318 206594
/proc/meminfo: memFree=75843116/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1485.54 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 237976 0 0 0 148138 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=12668 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=1470495026904138329 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=5424 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=16326420 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1485.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

[startup+958.401 s]
/proc/loadavg: 5.75 5.49 4.99 6/318 206594
/proc/meminfo: memFree=75805384/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1488.72 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 238116 0 0 0 148456 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=15864 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=-8600015358836581052 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=1764 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=61204 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1488.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

[startup+960.001 s]*
/proc/loadavg: 5.69 5.48 4.99 6/318 206594
/proc/meminfo: memFree=75805384/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1491.89 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 238371 0 0 0 148773 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=4976 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=1470495026904138329 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=2680 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=4780 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1491.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

[startup+960.801 s]
/proc/loadavg: 5.69 5.48 4.99 6/318 206594
/proc/meminfo: memFree=75805384/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1493.47 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 238371 0 0 0 148931 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=15864 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=-8600015358836581052 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=16144 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1493.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

[startup+961.006 s]*
/proc/loadavg: 5.69 5.48 4.99 6/318 206594
/proc/meminfo: memFree=75805384/131655788 swapFree=131058856/131071996
[pid=205651] ppid=205648 vsize=19108176 memory=16326420 CPUtime=1493.89 cores=0,2
/proc/205651/stat : 205651 (java) S 205648 205651 203492 0 -1 1077936128 238371 0 0 0 148973 416 0 0 20 0 20 0 24117509 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
/proc/205651/statm: 4777044 4081605 5933 1 0 4093728 0
[pid=205651/tid=205653] ppid=205648 vsize=19108176 memory=-8745254247796023996 CPUtime=495.35 cores=0,2
/proc/205651/task/205653/stat : 205653 (java) S 205648 205651 203492 0 -1 1077936192 32038 0 0 0 49466 69 0 0 20 0 20 0 24117510 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205662] ppid=205648 vsize=19108176 memory=1470495026904138329 CPUtime=0 cores=0,2
/proc/205651/task/205662/stat : 205662 (Finalizer) S 205648 205651 203492 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205669] ppid=205648 vsize=19108176 memory=19668 CPUtime=0 cores=0,2
/proc/205651/task/205669/stat : 205669 (Common-Cleaner) S 205648 205651 203492 0 -1 1077936192 366 0 0 0 0 0 0 0 20 0 20 0 24117513 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
[pid=205651/tid=205699] ppid=205648 vsize=19108176 memory=7080 CPUtime=0 cores=0,2
/proc/205651/task/205699/stat : 205699 (Timer-0) S 205648 205651 203492 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 24117591 19566772224 4081605 134679101440 94218225115136 94218225118832 140727715297456 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94218225126648 94218225127440 94218242506752 140727715304455 140727715304545 140727715304545 140727715311560 0
Current children cumulated CPU time: 1493.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16326420 KiB

Child status: 1

Real time (s): 961.101
CPU time (s): 1494.02
CPU user time (s): 1489.8
CPU system time (s): 4.21315
CPU usage (%): 155.449
Max. virtual memory (cumulated for all children) (KiB): 19112280
Max. memory (cumulated for all children) (KiB): 16326452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1489.8
system time used= 4.21315
maximum resident set size= 16327388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31455
involuntary context switches= 27302


# summary of solver processes directly reported to runsolver:
#   pid: 205651
#   total CPU time (s): 1494.02
#   total CPU user time (s): 1489.8
#   total CPU system time (s): 4.21315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2466 second user time and 6.80503 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-25 06:21:16
IDJOB=4458571
IDBENCH=177684
IDSOLVER=3058
FILE ID=nodeC009/4458571-1721881276
RUNJOBID= nodeC009-1721877730-203502
SLURM_JOB_ID= 8089270
Free space on /tmp= 723764 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458571-1721881276/watcher-4458571-1721881276 -o /tmp/evaluation-result-4458571-1721881276/solver-4458571-1721881276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721877730-203502 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4458571-1721881276.opb

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

MD5SUM BENCH= 0e48a521f9e70a759d0a47d941d82f86
RANDOM SEED=899169023

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.994
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
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		: 3591.753
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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.259
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
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		: 2394.501
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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		: 3601.633
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
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		: 3605.901
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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.407
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
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.389
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        94336800 kB
MemAvailable:   97890364 kB
Buffers:          300976 kB
Cached:          3990912 kB
SwapCached:         4924 kB
Active:          1746464 kB
Inactive:       34784888 kB
Active(anon):       1608 kB
Inactive(anon): 32283180 kB
Active(file):    1744856 kB
Inactive(file):  2501708 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:              3072 kB
Writeback:            12 kB
AnonPages:      32233796 kB
Mapped:           110880 kB
Shmem:             45300 kB
KReclaimable:     294400 kB
Slab:             405240 kB
SReclaimable:     294400 kB
SUnreclaim:       110840 kB
KernelStack:        4864 kB
PageTables:        72728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   35488144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:  31524864 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-25 06:37:18