Trace number 4523056

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
roundingsat-ihs 63f22ad? (TO) 3600.57 3608.62

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
MD5SUM3a29af11ebe5b4b49a5b212339afb8d7
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 benchmark-119728
Best CPU time to get the best result obtained on this benchmark12.4203
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables264273
Total number of constraints1657
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)1008
Number of constraints which are nor clauses,nor cardinality constraints629
Minimum length of a constraint1
Maximum length of a constraint11141
Number of terms in the objective function 248828
Biggest coefficient in the objective function 22946
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 46600728
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 22946
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 46600728
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.06/1.11	c #variables 264273 #constraints 1629
1.06/1.12	c objective is ce32 
1.24/1.39	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.24/1.39	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.24/1.39	c GLOBAL bounds - >= -46600728 @ 1.19687
1.64/1.78	c GLOBAL bounds - >= -46600728 @ 1.36702
2.06/2.12	c GLOBAL bounds - >= -46600728 @ 1.54994
2.34/2.41	c GLOBAL bounds - >= -46600728 @ 1.69942
2.74/2.87	c GLOBAL bounds - >= -46600728 @ 2.00699
3.05/3.14	c GLOBAL bounds - >= -46600728 @ 2.1518
3.34/3.40	c GLOBAL bounds - >= -46600728 @ 2.29507
3.64/3.79	c GLOBAL bounds - >= -46600728 @ 2.54207
3.95/4.04	c GLOBAL bounds - >= -46600728 @ 2.66873
4.34/4.41	c GLOBAL bounds - >= -46600728 @ 2.91986
4.53/4.67	c GLOBAL bounds - >= -46600728 @ 3.06927
5.04/5.15	c GLOBAL bounds - >= -46600728 @ 3.43928
5.33/5.40	c GLOBAL bounds - >= -46600728 @ 3.58004
5.74/5.89	c GLOBAL bounds - >= -46600728 @ 3.96417
6.05/6.14	c GLOBAL bounds - >= -46600728 @ 4.10518
6.23/6.39	c GLOBAL bounds - >= -46600728 @ 4.24768
6.53/6.63	c GLOBAL bounds - >= -46600728 @ 4.3817
6.83/6.99	c GLOBAL bounds - >= -46600728 @ 4.62916
8.33/8.49	c GLOBAL bounds - >= -46600728 @ 6.02189
8.62/8.75	c GLOBAL bounds - >= -46600728 @ 6.17032
9.04/9.12	c GLOBAL bounds - >= -46600728 @ 6.43339
9.23/9.37	c GLOBAL bounds - >= -46600728 @ 6.58625
9.63/9.75	c GLOBAL bounds - >= -46600728 @ 6.84601
10.03/10.13	c GLOBAL bounds - >= -46600728 @ 7.11901
11.82/11.94	c GLOBAL bounds - >= -46600728 @ 8.83713
12.12/12.20	c GLOBAL bounds - >= -46600728 @ 8.9935
12.32/12.45	c GLOBAL bounds - >= -46600728 @ 9.14979
12.82/12.96	c GLOBAL bounds - >= -46600728 @ 9.57028
13.22/13.34	c GLOBAL bounds - >= -46600728 @ 9.84531
13.42/13.59	c GLOBAL bounds - >= -46600728 @ 10.0023
13.93/14.08	c GLOBAL bounds - >= -46600728 @ 10.384
14.51/14.60	c GLOBAL bounds - >= -46600728 @ 10.8101
14.71/14.87	c GLOBAL bounds - >= -46600728 @ 10.9789
15.11/15.24	c GLOBAL bounds - >= -46600728 @ 11.258
15.41/15.50	c GLOBAL bounds - >= -46600728 @ 11.4309
15.62/15.76	c GLOBAL bounds - >= -46600728 @ 11.5975
16.61/16.71	c GLOBAL bounds - >= -46600728 @ 12.4623
16.92/17.09	c GLOBAL bounds - >= -46600728 @ 12.7437
17.41/17.59	c GLOBAL bounds - >= -46600728 @ 13.1547
17.71/17.84	c GLOBAL bounds - >= -46600728 @ 13.3279
18.11/18.22	c GLOBAL bounds - >= -46600728 @ 13.6155
18.51/18.63	c GLOBAL bounds - >= -46600728 @ 13.9347
18.70/18.89	c GLOBAL bounds - >= -46600728 @ 14.1145
19.31/19.42	c GLOBAL bounds - >= -46600728 @ 14.5553
19.51/19.67	c GLOBAL bounds - >= -46600728 @ 14.728
19.81/19.91	c GLOBAL bounds - >= -46600728 @ 14.9026
20.10/20.29	c GLOBAL bounds - >= -46600728 @ 15.2047
20.40/20.55	c GLOBAL bounds - >= -46600728 @ 15.3884
20.81/20.95	c GLOBAL bounds - >= -46600728 @ 15.7197
21.01/21.19	c GLOBAL bounds - >= -46600728 @ 15.8961
21.40/21.55	c GLOBAL bounds - >= -46600728 @ 16.1729
21.92/22.07	c GLOBAL bounds - >= -46600728 @ 16.617
22.69/22.89	c GLOBAL bounds - >= -46600728 @ 17.3677
23.01/23.14	c GLOBAL bounds - >= -46600728 @ 17.5462
23.30/23.49	c GLOBAL bounds - >= -46600728 @ 17.8315
23.60/23.74	c GLOBAL bounds - >= -46600728 @ 18.0165
23.90/24.10	c GLOBAL bounds - >= -46600728 @ 18.303
24.19/24.35	c GLOBAL bounds - >= -46600728 @ 18.4909
24.79/24.95	c GLOBAL bounds - >= -46600728 @ 19.0136
25.09/25.20	c GLOBAL bounds - >= -46600728 @ 19.1963
25.29/25.45	c GLOBAL bounds - >= -46600728 @ 19.3799
26.00/26.16	c GLOBAL bounds - >= -46600728 @ 20.0216
26.29/26.42	c GLOBAL bounds - >= -46600728 @ 20.2147
26.79/26.98	c GLOBAL bounds - >= -46600728 @ 20.7127
27.19/27.39	c GLOBAL bounds - >= -46600728 @ 21.0389
27.59/27.77	c GLOBAL bounds - >= -46600728 @ 21.3566
27.90/28.02	c GLOBAL bounds - >= -46600728 @ 21.5557
28.19/28.37	c GLOBAL bounds - >= -46600728 @ 21.8451
28.49/28.62	c GLOBAL bounds - >= -46600728 @ 22.0375
29.00/29.15	c GLOBAL bounds - >= -46600728 @ 22.5046
29.18/29.39	c GLOBAL bounds - >= -46600728 @ 22.6943
29.90/30.10	c GLOBAL bounds - >= -46600728 @ 23.3444
30.18/30.35	c GLOBAL bounds - >= -46600728 @ 23.5351
30.58/30.71	c GLOBAL bounds - >= -46600728 @ 23.8491
30.78/30.95	c GLOBAL bounds - >= -46600728 @ 24.0406
31.58/31.77	c GLOBAL bounds - >= -46600728 @ 24.8161
31.78/32.00	c GLOBAL bounds - >= -46600728 @ 24.9906
32.18/32.36	c GLOBAL bounds - >= -46600728 @ 25.3095
32.38/32.59	c GLOBAL bounds - >= -46600728 @ 25.4899
32.78/32.98	c GLOBAL bounds - >= -46600728 @ 25.8228
33.08/33.23	c GLOBAL bounds - >= -46600728 @ 26.035
33.67/33.83	c GLOBAL bounds - >= -46600728 @ 26.5746
34.18/34.32	c GLOBAL bounds - >= -46600728 @ 27.0116
34.37/34.59	c GLOBAL bounds - >= -46600728 @ 27.2243
34.78/34.96	c GLOBAL bounds - >= -46600728 @ 27.5384
35.08/35.23	c GLOBAL bounds - >= -46600728 @ 27.7497
35.47/35.61	c GLOBAL bounds - >= -46600728 @ 28.0811
35.68/35.89	c GLOBAL bounds - >= -46600728 @ 28.3056
36.17/36.37	c GLOBAL bounds - >= -46600728 @ 28.7319
36.47/36.64	c GLOBAL bounds - >= -46600728 @ 28.9434
37.26/37.41	c GLOBAL bounds - >= -46600728 @ 29.6061
37.88/38.02	c GLOBAL bounds - >= -46600728 @ 30.1478
38.27/38.41	c GLOBAL bounds - >= -46600728 @ 30.4806
38.47/38.67	c GLOBAL bounds - >= -46600728 @ 30.6774
38.87/39.05	c GLOBAL bounds - >= -46600728 @ 30.9932
39.27/39.41	c GLOBAL bounds - >= -46600728 @ 31.2933
39.56/39.70	c GLOBAL bounds - >= -46600728 @ 31.5206
39.76/39.96	c GLOBAL bounds - >= -46600728 @ 31.7123
40.16/40.36	c GLOBAL bounds - >= -46600728 @ 32.057
40.46/40.64	c GLOBAL bounds - >= -46600728 @ 32.2877
40.97/41.13	c GLOBAL bounds - >= -46600728 @ 32.7071
41.26/41.41	c GLOBAL bounds - >= -46600728 @ 32.9387
41.56/41.79	c GLOBAL bounds - >= -46600728 @ 33.2577
41.87/42.07	c GLOBAL bounds - >= -46600728 @ 33.4892
42.56/42.79	c GLOBAL bounds - >= -46600728 @ 34.1555
42.86/43.07	c GLOBAL bounds - >= -46600728 @ 34.3831
43.45/43.69	c GLOBAL bounds - >= -46600728 @ 34.9511
43.87/44.09	c GLOBAL bounds - >= -46600728 @ 35.2947
44.35/44.50	c GLOBAL bounds - >= -46600728 @ 35.6538
44.55/44.77	c GLOBAL bounds - >= -46600728 @ 35.8702
45.15/45.37	c GLOBAL bounds - >= -46600728 @ 36.4161
45.75/45.98	c GLOBAL bounds - >= -46600728 @ 36.9738
46.04/46.26	c GLOBAL bounds - >= -46600728 @ 37.2052
46.55/46.74	c GLOBAL bounds - >= -46600728 @ 37.6359
46.86/47.05	c GLOBAL bounds - >= -46600728 @ 37.8849
88.25/88.59	c GLOBAL bounds - >= -46600728 @ 79.143
88.77/89.08	c GLOBAL bounds - >= -46600728 @ 79.5737
89.25/89.59	c GLOBAL bounds - >= -46600728 @ 80.0277
89.64/90.01	c GLOBAL bounds - >= -46600728 @ 80.3844
91.25/91.51	c GLOBAL bounds - >= -46600728 @ 81.8152
92.24/92.52	c GLOBAL bounds - >= -46600728 @ 82.7481
108.90/109.27	c GLOBAL bounds - >= -46600728 @ 99.2023
110.71/111.07	c GLOBAL bounds - >= -46600728 @ 100.885
111.40/111.76	c GLOBAL bounds - >= -46600728 @ 101.463
112.50/112.88	c GLOBAL bounds - >= -46600728 @ 102.469
113.19/113.55	c GLOBAL bounds - >= -46600728 @ 103.04
114.20/114.52	c GLOBAL bounds - >= -46600728 @ 103.904
115.89/116.23	c GLOBAL bounds - >= -46600728 @ 105.511
116.59/116.93	c GLOBAL bounds - >= -46600728 @ 106.106
117.09/117.48	c GLOBAL bounds - >= -46600728 @ 106.548
118.18/118.58	c GLOBAL bounds - >= -46600728 @ 107.538
118.88/119.28	c GLOBAL bounds - >= -46600728 @ 108.13
121.47/121.82	c GLOBAL bounds - >= -46600728 @ 110.554
122.17/122.52	c GLOBAL bounds - >= -46600728 @ 111.164
122.69/123.09	c GLOBAL bounds - >= -46600728 @ 111.625
123.48/123.87	c GLOBAL bounds - >= -46600728 @ 112.311
124.57/124.94	c GLOBAL bounds - >= -46600728 @ 113.279
129.16/129.54	c GLOBAL bounds - >= -46600728 @ 117.76
129.86/130.27	c GLOBAL bounds - >= -46600728 @ 118.402
130.66/131.06	c GLOBAL bounds - >= -46600728 @ 119.081
131.67/132.07	c GLOBAL bounds - >= -46600728 @ 120.001
132.67/133.06	c GLOBAL bounds - >= -46600728 @ 120.881
133.85/134.28	c GLOBAL bounds - >= -46600728 @ 122.001
139.03/139.48	c GLOBAL bounds - >= -46600728 @ 127.08
140.33/140.73	c GLOBAL bounds - >= -46600728 @ 128.223
141.33/141.75	c GLOBAL bounds - >= -46600728 @ 129.136
142.13/142.51	c GLOBAL bounds - >= -46600728 @ 129.809
142.83/143.25	c GLOBAL bounds - >= -46600728 @ 130.46
143.43/143.87	c GLOBAL bounds - >= -46600728 @ 130.995
144.03/144.44	c GLOBAL bounds - >= -46600728 @ 131.466
145.43/145.81	c GLOBAL bounds - >= -46600728 @ 132.667
146.12/146.51	c GLOBAL bounds - >= -46600728 @ 133.272
146.73/147.14	c GLOBAL bounds - >= -46600728 @ 133.809
147.92/148.34	c GLOBAL bounds - >= -46600728 @ 134.925
148.63/149.10	c GLOBAL bounds - >= -46600728 @ 135.582
149.51/149.91	c GLOBAL bounds - >= -46600728 @ 136.299
150.41/150.87	c GLOBAL bounds - >= -46600728 @ 137.159
151.21/151.62	c GLOBAL bounds - >= -46600728 @ 137.81
151.81/152.28	c GLOBAL bounds - >= -46600728 @ 138.382
152.51/152.99	c GLOBAL bounds - >= -46600728 @ 138.99
153.21/153.69	c GLOBAL bounds - >= -46600728 @ 139.598
154.11/154.52	c GLOBAL bounds - >= -46600728 @ 140.344
154.80/155.24	c GLOBAL bounds - >= -46600728 @ 140.967
155.80/156.29	c GLOBAL bounds - >= -46600728 @ 141.927
156.49/157.00	c GLOBAL bounds - >= -46600728 @ 142.557
157.99/158.48	c GLOBAL bounds - >= -46600728 @ 143.923
159.00/159.48	c GLOBAL bounds - >= -46600728 @ 144.845
167.78/168.20	c GLOBAL bounds - >= -46600728 @ 153.438
168.47/168.99	c GLOBAL bounds - >= -46600728 @ 154.146
169.37/169.81	c GLOBAL bounds - >= -46600728 @ 154.885
170.07/170.56	c GLOBAL bounds - >= -46600728 @ 155.547
175.06/175.54	c GLOBAL bounds - >= -46600728 @ 160.429
175.85/176.32	c GLOBAL bounds - >= -46600728 @ 161.122
176.36/176.87	c GLOBAL bounds - >= -46600728 @ 161.577
176.95/177.41	c GLOBAL bounds - >= -46600728 @ 162.042
177.85/178.33	c GLOBAL bounds - >= -46600728 @ 162.875
178.75/179.23	c GLOBAL bounds - >= -46600728 @ 163.703
179.66/180.13	c GLOBAL bounds - >= -46600728 @ 164.52
180.85/181.38	c GLOBAL bounds - >= -46600728 @ 165.669
181.66/182.14	c GLOBAL bounds - >= -46600728 @ 166.352
182.14/182.69	c GLOBAL bounds - >= -46600728 @ 166.827
182.85/183.39	c GLOBAL bounds - >= -46600728 @ 167.437
183.74/184.26	c GLOBAL bounds - >= -46600728 @ 168.218
184.55/185.01	c GLOBAL bounds - >= -46600728 @ 168.895
185.04/185.56	c GLOBAL bounds - >= -46600728 @ 169.357
185.54/186.11	c GLOBAL bounds - >= -46600728 @ 169.823
186.54/187.04	c GLOBAL bounds - >= -46600728 @ 170.676
187.23/187.78	c GLOBAL bounds - >= -46600728 @ 171.335
188.13/188.61	c GLOBAL bounds - >= -46600728 @ 172.054
189.72/190.24	c GLOBAL bounds - >= -46600728 @ 173.584
190.42/190.97	c GLOBAL bounds - >= -46600728 @ 174.23
191.02/191.51	c GLOBAL bounds - >= -46600728 @ 174.679
192.63/193.18	c GLOBAL bounds - >= -46600728 @ 176.271
193.32/193.84	c GLOBAL bounds - >= -46600728 @ 176.837
193.91/194.40	c GLOBAL bounds - >= -46600728 @ 177.305
194.53/195.06	c GLOBAL bounds - >= -46600728 @ 177.872
195.41/195.95	c GLOBAL bounds - >= -46600728 @ 178.688
196.11/196.66	c GLOBAL bounds - >= -46600728 @ 179.299
196.81/197.35	c GLOBAL bounds - >= -46600728 @ 179.893
197.52/198.04	c GLOBAL bounds - >= -46600728 @ 180.501
198.10/198.66	c GLOBAL bounds - >= -46600728 @ 181.037
198.81/199.33	c GLOBAL bounds - >= -46600728 @ 181.624
199.40/199.98	c GLOBAL bounds - >= -46600728 @ 182.169
200.00/200.52	c GLOBAL bounds - >= -46600728 @ 182.619
201.61/202.18	c GLOBAL bounds - >= -46600728 @ 184.19
205.69/206.24	c GLOBAL bounds - >= -46600728 @ 188.132
212.08/212.65	c GLOBAL bounds - >= -46600728 @ 194.424
214.27/214.84	c GLOBAL bounds - >= -46600728 @ 196.53
215.17/215.76	c GLOBAL bounds - >= -46600728 @ 197.35
216.48/217.11	c GLOBAL bounds - >= -46600728 @ 198.608
217.67/218.24	c GLOBAL bounds - >= -46600728 @ 199.65
218.58/219.11	c GLOBAL bounds - >= -46600728 @ 200.431
219.36/219.90	c GLOBAL bounds - >= -46600728 @ 201.135
220.26/220.80	c GLOBAL bounds - >= -46600728 @ 201.94
221.16/221.77	c GLOBAL bounds - >= -46600728 @ 202.811
222.06/222.61	c GLOBAL bounds - >= -46600728 @ 203.558
223.56/224.17	c GLOBAL bounds - >= -46600728 @ 205.023
224.57/225.17	c GLOBAL bounds - >= -46600728 @ 205.916
225.34/225.97	c GLOBAL bounds - >= -46600728 @ 206.63
226.46/227.01	c GLOBAL bounds - >= -46600728 @ 207.563
227.25/227.88	c GLOBAL bounds - >= -46600728 @ 208.325
227.94/228.53	c GLOBAL bounds - >= -46600728 @ 208.876
228.74/229.35	c GLOBAL bounds - >= -46600728 @ 209.594
229.45/230.08	c GLOBAL bounds - >= -46600728 @ 210.209
230.23/230.87	c GLOBAL bounds - >= -46600728 @ 210.906
231.03/231.63	c GLOBAL bounds - >= -46600728 @ 211.578
231.45/232.11	c GLOBAL bounds - >= -46600728 @ 211.956
231.93/232.57	c GLOBAL bounds - >= -46600728 @ 212.33
232.55/233.16	c GLOBAL bounds - >= -46600728 @ 212.816
233.33/233.92	c GLOBAL bounds - >= -46600728 @ 213.494
233.93/234.53	c GLOBAL bounds - >= -46600728 @ 214.006
234.33/235.00	c GLOBAL bounds - >= -46600728 @ 214.396
234.92/235.59	c GLOBAL bounds - >= -46600728 @ 214.881
235.54/236.19	c GLOBAL bounds - >= -46600728 @ 215.375
236.12/236.78	c GLOBAL bounds - >= -46600728 @ 215.862
236.72/237.35	c GLOBAL bounds - >= -46600728 @ 216.347
237.22/237.83	c GLOBAL bounds - >= -46600728 @ 216.735
238.32/238.99	c GLOBAL bounds - >= -46600728 @ 217.712
239.02/239.62	c GLOBAL bounds - >= -46600728 @ 218.249
239.53/240.18	c GLOBAL bounds - >= -46600728 @ 218.714
241.62/242.28	c GLOBAL bounds - >= -46600728 @ 220.704
242.53/243.14	c GLOBAL bounds - >= -46600728 @ 221.47
243.11/243.75	c GLOBAL bounds - >= -46600728 @ 221.988
243.61/244.20	c GLOBAL bounds - >= -46600728 @ 222.348
244.11/244.77	c GLOBAL bounds - >= -46600728 @ 222.841
244.81/245.40	c GLOBAL bounds - >= -46600728 @ 223.366
245.31/245.95	c GLOBAL bounds - >= -46600728 @ 223.814
246.01/246.64	c GLOBAL bounds - >= -46600728 @ 224.43
246.90/247.54	c GLOBAL bounds - >= -46600728 @ 225.226
247.42/248.11	c GLOBAL bounds - >= -46600728 @ 225.695
248.00/248.68	c GLOBAL bounds - >= -46600728 @ 226.182
248.59/249.25	c GLOBAL bounds - >= -46600728 @ 226.646
249.51/250.18	c GLOBAL bounds - >= -46600728 @ 227.49
250.10/250.74	c GLOBAL bounds - >= -46600728 @ 227.955
250.99/251.69	c GLOBAL bounds - >= -46600728 @ 228.813
251.79/252.48	c GLOBAL bounds - >= -46600728 @ 229.509
252.40/253.06	c GLOBAL bounds - >= -46600728 @ 230.002
252.99/253.64	c GLOBAL bounds - >= -46600728 @ 230.482
253.50/254.14	c GLOBAL bounds - >= -46600728 @ 230.887
254.59/255.24	c GLOBAL bounds - >= -46600728 @ 231.894
255.98/256.65	c GLOBAL bounds - >= -46600728 @ 233.217
256.68/257.37	c GLOBAL bounds - >= -46600728 @ 233.85
257.18/257.89	c GLOBAL bounds - >= -46600728 @ 234.281
257.78/258.47	c GLOBAL bounds - >= -46600728 @ 234.773
258.28/259.00	c GLOBAL bounds - >= -46600728 @ 235.233
258.87/259.58	c GLOBAL bounds - >= -46600728 @ 235.731
259.49/260.14	c GLOBAL bounds - >= -46600728 @ 236.21
259.88/260.59	c GLOBAL bounds - >= -46600728 @ 236.57
260.48/261.17	c GLOBAL bounds - >= -46600728 @ 237.07
260.98/261.69	c GLOBAL bounds - >= -46600728 @ 237.496
262.27/263.00	c GLOBAL bounds - >= -46600728 @ 238.726
264.06/264.76	c GLOBAL bounds - >= -46600728 @ 240.36
266.96/267.65	c GLOBAL bounds - >= -46600728 @ 243.113
354.57/355.46	c #Conflicts:       1000 | #Constraints:       3168
354.57/355.46	c GLOBAL bounds - >= -46600728 @ 330.44
372.43/373.35	c GLOBAL bounds - >= -46600728 @ 348.042
373.92/374.87	c GLOBAL bounds - >= -46600728 @ 349.441
377.52/378.40	c GLOBAL bounds - >= -46600728 @ 352.856
380.13/381.07	c GLOBAL bounds - >= -46600728 @ 355.386
384.31/385.21	c GLOBAL bounds - >= -46600728 @ 359.402
386.40/387.35	c GLOBAL bounds - >= -46600728 @ 361.413
388.29/389.22	c GLOBAL bounds - >= -46600728 @ 363.154
391.49/392.44	c GLOBAL bounds - >= -46600728 @ 366.247
394.09/395.07	c GLOBAL bounds - >= -46600728 @ 368.749
396.87/397.83	c GLOBAL bounds - >= -46600728 @ 371.387
405.66/406.60	c GLOBAL bounds - >= -46600728 @ 379.936
407.65/408.60	c GLOBAL bounds - >= -46600728 @ 381.815
409.06/410.05	c GLOBAL bounds - >= -46600728 @ 383.159
410.95/412.01	c GLOBAL bounds - >= -46600728 @ 385.008
412.44/413.48	c GLOBAL bounds - >= -46600728 @ 386.348
414.53/415.56	c GLOBAL bounds - >= -46600728 @ 388.313
415.93/416.98	c GLOBAL bounds - >= -46600728 @ 389.636
417.14/418.17	c GLOBAL bounds - >= -46600728 @ 390.722
418.43/419.49	c GLOBAL bounds - >= -46600728 @ 391.939
419.52/420.56	c GLOBAL bounds - >= -46600728 @ 392.904
420.52/421.50	c GLOBAL bounds - >= -46600728 @ 393.733
421.83/422.80	c GLOBAL bounds - >= -46600728 @ 394.915
423.13/424.12	c GLOBAL bounds - >= -46600728 @ 396.122
424.03/425.09	c GLOBAL bounds - >= -46600728 @ 396.974
425.52/426.57	c GLOBAL bounds - >= -46600728 @ 398.352
429.31/430.35	c GLOBAL bounds - >= -46600728 @ 402.012
430.60/431.62	c GLOBAL bounds - >= -46600728 @ 403.17
431.60/432.69	c GLOBAL bounds - >= -46600728 @ 404.137
432.90/433.93	c GLOBAL bounds - >= -46600728 @ 405.28
433.80/434.86	c GLOBAL bounds - >= -46600728 @ 406.101
435.11/436.19	c GLOBAL bounds - >= -46600728 @ 407.333
436.00/437.04	c GLOBAL bounds - >= -46600728 @ 408.092
436.79/437.85	c GLOBAL bounds - >= -46600728 @ 408.808
437.69/438.77	c GLOBAL bounds - >= -46600728 @ 409.645
438.79/439.82	c GLOBAL bounds - >= -46600728 @ 410.595
439.58/440.62	c GLOBAL bounds - >= -46600728 @ 411.305
440.68/441.79	c GLOBAL bounds - >= -46600728 @ 412.38
442.09/443.18	c GLOBAL bounds - >= -46600728 @ 413.674
443.18/444.29	c GLOBAL bounds - >= -46600728 @ 414.702
444.17/445.22	c GLOBAL bounds - >= -46600728 @ 415.522
445.27/446.37	c GLOBAL bounds - >= -46600728 @ 416.577
446.08/447.16	c GLOBAL bounds - >= -46600728 @ 417.268
446.86/447.97	c GLOBAL bounds - >= -46600728 @ 417.983
447.66/448.76	c GLOBAL bounds - >= -46600728 @ 418.682
448.56/449.70	c GLOBAL bounds - >= -46600728 @ 419.517
449.98/451.04	c GLOBAL bounds - >= -46600728 @ 420.765
454.55/455.62	c GLOBAL bounds - >= -46600728 @ 425.217
456.44/457.53	c GLOBAL bounds - >= -46600728 @ 427.004
458.05/459.14	c GLOBAL bounds - >= -46600728 @ 428.494
459.95/461.01	c GLOBAL bounds - >= -46600728 @ 430.248
464.42/465.55	c GLOBAL bounds - >= -46600728 @ 434.654
465.82/467.01	c GLOBAL bounds - >= -46600728 @ 435.994
466.93/468.05	c GLOBAL bounds - >= -46600728 @ 436.931
468.32/469.44	c GLOBAL bounds - >= -46600728 @ 438.197
469.52/470.63	c GLOBAL bounds - >= -46600728 @ 439.291
470.31/471.48	c GLOBAL bounds - >= -46600728 @ 440.026
471.31/472.47	c GLOBAL bounds - >= -46600728 @ 440.891
472.92/474.02	c GLOBAL bounds - >= -46600728 @ 442.321
474.11/475.30	c GLOBAL bounds - >= -46600728 @ 443.483
475.30/476.41	c GLOBAL bounds - >= -46600728 @ 444.484
476.60/477.71	c GLOBAL bounds - >= -46600728 @ 445.657
477.40/478.56	c GLOBAL bounds - >= -46600728 @ 446.408
478.70/479.82	c GLOBAL bounds - >= -46600728 @ 447.56
480.39/481.58	c GLOBAL bounds - >= -46600728 @ 449.207
485.99/487.17	c GLOBAL bounds - >= -46600728 @ 454.688
487.67/488.80	c GLOBAL bounds - >= -46600728 @ 456.213
489.07/490.27	c GLOBAL bounds - >= -46600728 @ 457.578
490.27/491.42	c GLOBAL bounds - >= -46600728 @ 458.623
491.57/492.77	c GLOBAL bounds - >= -46600728 @ 459.871
492.76/493.95	c GLOBAL bounds - >= -46600728 @ 460.928
493.88/495.06	c GLOBAL bounds - >= -46600728 @ 461.944
496.46/497.65	c GLOBAL bounds - >= -46600728 @ 464.425
498.06/499.21	c GLOBAL bounds - >= -46600728 @ 465.866
499.25/500.42	c GLOBAL bounds - >= -46600728 @ 466.971
501.65/502.82	c GLOBAL bounds - >= -46600728 @ 469.264
502.74/503.97	c GLOBAL bounds - >= -46600728 @ 470.303
503.74/504.96	c GLOBAL bounds - >= -46600728 @ 471.173
504.74/505.91	c GLOBAL bounds - >= -46600728 @ 471.999
507.24/508.43	c GLOBAL bounds - >= -46600728 @ 474.392
509.43/510.63	c GLOBAL bounds - >= -46600728 @ 476.483
511.32/512.53	c GLOBAL bounds - >= -46600728 @ 478.27
512.52/513.71	c GLOBAL bounds - >= -46600728 @ 479.361
513.32/514.58	c GLOBAL bounds - >= -46600728 @ 480.134
514.32/515.55	c GLOBAL bounds - >= -46600728 @ 481.017
515.51/516.74	c GLOBAL bounds - >= -46600728 @ 482.104
516.61/517.85	c GLOBAL bounds - >= -46600728 @ 483.128
518.31/519.57	c GLOBAL bounds - >= -46600728 @ 484.739
519.81/521.06	c GLOBAL bounds - >= -46600728 @ 486.139
521.60/522.82	c GLOBAL bounds - >= -46600728 @ 487.787
522.81/524.10	c GLOBAL bounds - >= -46600728 @ 488.958
525.40/526.63	c GLOBAL bounds - >= -46600728 @ 491.297
526.99/528.20	c GLOBAL bounds - >= -46600728 @ 492.77
528.49/529.77	c GLOBAL bounds - >= -46600728 @ 494.234
529.68/530.90	c GLOBAL bounds - >= -46600728 @ 495.265
531.48/532.71	c GLOBAL bounds - >= -46600728 @ 496.974
533.28/534.52	c GLOBAL bounds - >= -46600728 @ 498.673
534.57/535.85	c GLOBAL bounds - >= -46600728 @ 499.899
535.67/536.93	c GLOBAL bounds - >= -46600728 @ 500.886
538.77/540.05	c GLOBAL bounds - >= -46600728 @ 503.916
808.16/810.08	c #Conflicts:       2000 | #Constraints:       4368
808.16/810.08	c INPROCESSING
808.16/810.08	c GARBAGE COLLECT
808.16/810.08	c GLOBAL bounds - >= -46600728 @ 772.593
811.74/813.66	c GLOBAL bounds - >= -46600728 @ 776.062
830.22/832.15	c GLOBAL bounds - >= -46600728 @ 794.428
854.95/856.94	c GLOBAL bounds - >= -46600728 @ 818.972
950.66/952.89	c GLOBAL bounds - >= -46600728 @ 914.605
977.60/979.81	c GLOBAL bounds - >= -46600728 @ 941.351
1033.18/1035.53	c GLOBAL bounds - >= -46600728 @ 996.827
1045.67/1048.03	c GLOBAL bounds - >= -46600728 @ 1009.22
1051.84/1054.27	c GLOBAL bounds - >= -46600728 @ 1015.36
1056.23/1058.68	c GLOBAL bounds - >= -46600728 @ 1019.64
1059.83/1062.24	c GLOBAL bounds - >= -46600728 @ 1023.08
1062.73/1065.16	c GLOBAL bounds - >= -46600728 @ 1025.9
1065.31/1067.70	c GLOBAL bounds - >= -46600728 @ 1028.35
1072.61/1075.05	c GLOBAL bounds - >= -46600728 @ 1035.61
1077.70/1080.16	c GLOBAL bounds - >= -46600728 @ 1040.6
1084.47/1086.92	c GLOBAL bounds - >= -46600728 @ 1047.23
1138.26/1140.88	c #Conflicts:       3000 | #Constraints:       4409
1138.26/1140.88	c GLOBAL bounds - >= -46600728 @ 1100.96
1147.45/1150.07	c GLOBAL bounds - >= -46600728 @ 1109.91
1898.54/1902.78	c #Conflicts:       4000 | #Constraints:       5413
1898.54/1902.78	c INPROCESSING
1898.54/1902.78	c GARBAGE COLLECT
1898.54/1902.78	c GLOBAL bounds - >= -46600728 @ 1859.61
2003.92/2008.33	c GLOBAL bounds - >= -46600728 @ 1964.64
2007.50/2011.93	c GLOBAL bounds - >= -46600728 @ 1968.11
2748.08/2754.25	c #Conflicts:       5000 | #Constraints:       4823
2748.08/2754.25	c GLOBAL bounds - >= -46600728 @ 2707.81
2752.17/2758.34	c GLOBAL bounds - >= -46600728 @ 2711.83
2758.06/2764.26	c GLOBAL bounds - >= -46600728 @ 2717.65
3101.39/3108.39	c GLOBAL bounds - >= -46600728 @ 3060.8
3600.34/3608.46	c #Conflicts:       6000 | #Constraints:       5831
3600.34/3608.46	c cpu time 3559.26 s
3600.34/3608.46	c deterministic time 76425 7.64e+04
3600.34/3608.46	c optimization time 3558.31 s
3600.34/3608.46	c total solve time 0 s
3600.34/3608.46	c core-guided solve time 0 s
3600.34/3608.46	c propagation time 0.002825 s
3600.34/3608.46	c conflict analysis time 0 s
3600.34/3608.46	c propagations 76424
3600.34/3608.46	c resolve steps 0
3600.34/3608.46	c decisions 0
3600.34/3608.46	c conflicts 0
3600.34/3608.46	c restarts 0
3600.34/3608.46	c inprocessing phases 0
3600.34/3608.46	c garbage collections 0 ,( -nan )
3600.34/3608.46	c input clauses 85 ,( 5.22 )
3600.34/3608.46	c input cardinalities 1544 ,( 94.78 )
3600.34/3608.46	c input general constraints 0 ,( 0.00 )
3600.34/3608.46	c input average constraint length 390.33
3600.34/3608.46	c input average constraint degree 389.75
3600.34/3608.46	c learned clauses 0 ,( 0.00 )
3600.34/3608.46	c learned cardinalities 0 ,( 0.00 )
3600.34/3608.46	c learned general constraints 0 ,( 0.00 )
3600.34/3608.46	c learned average constraint length 0.00
3600.34/3608.46	c learned average constraint degree 0.00
3600.34/3608.46	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.34/3608.46	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.34/3608.46	c watched   constraints 0 ,( -nan ) 
3600.34/3608.46	c counting  constraints 0 ,( -nan ) 
3600.34/3608.46	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.34/3608.46	c gcd simplifications 55
3600.34/3608.46	c detected cardinalities 0
3600.34/3608.46	c weakened non-implied lits 0
3600.34/3608.46	c weakened non-implying lits 0
3600.34/3608.46	c original variables 264273
3600.34/3608.46	c clausal propagations 0
3600.34/3608.46	c cardinality propagations 0
3600.34/3608.46	c watched propagations 0
3600.34/3608.46	c counting propagations 0
3600.34/3608.46	c watch lookups 0
3600.34/3608.46	c watch backjump lookups 0
3600.34/3608.46	c watch checks 0
3600.34/3608.46	c propagation checks 0
3600.34/3608.46	c constraint additions 0
3600.34/3608.46	c trail pops 0
3600.34/3608.46	c formula constraints 1629
3600.34/3608.46	c learned constraints 0
3600.34/3608.46	c bound constraints 0
3600.34/3608.46	c core-guided constraints 0
3600.34/3608.46	c encountered formula constraints 0
3600.34/3608.46	c encountered learned constraints 0
3600.34/3608.46	c encountered bound constraints 0
3600.34/3608.46	c encountered core-guided constraints 0
3600.34/3608.46	c LP total time 0 s
3600.34/3608.46	c LP solve time 0 s
3600.34/3608.46	c LP constraints added 0
3600.34/3608.46	c LP constraints removed 0
3600.34/3608.46	c LP pivots internal 0
3600.34/3608.46	c LP pivots root 0
3600.34/3608.46	c LP calls 0
3600.34/3608.46	c LP optimalities 0
3600.34/3608.46	c LP no pivot count 0
3600.34/3608.46	c LP infeasibilities 0
3600.34/3608.46	c LP valid Farkas constraints 0
3600.34/3608.46	c LP learned Farkas constraints 0
3600.34/3608.46	c LP basis resets 0
3600.34/3608.46	c LP cycling count 0
3600.34/3608.46	c LP singular count 0
3600.34/3608.46	c LP no primal count 0
3600.34/3608.46	c LP no farkas count 0
3600.34/3608.46	c LP other issue count 0
3600.34/3608.46	c LP Gomory cuts 0
3600.34/3608.46	c LP learned cuts 0
3600.34/3608.46	c LP deleted cuts 0
3600.34/3608.46	c LP encountered Gomory constraints 0
3600.34/3608.46	c LP encountered Farkas constraints 0
3600.34/3608.46	c LP encountered learned Farkas constraints 0
3600.34/3608.46	c CG auxiliary variables introduced 0
3600.34/3608.46	c CG solutions found 0
3600.34/3608.46	c CG cores constructed 0
3600.34/3608.46	c CG core cardinality constraints returned 0
3600.34/3608.46	c CG unit cores 0
3600.34/3608.46	c CG single cores 0
3600.34/3608.46	c CG blocks removed during cardinality reduction 0
3600.34/3608.46	c CG first core best 0
3600.34/3608.46	c CG decision core best 0
3600.34/3608.46	c CG core reduction tie 0
3600.34/3608.46	c CG core degree average 0.00
3600.34/3608.46	c CG core slack average 0.00
3600.34/3608.46	c CG core upper bound improvements 0
3600.34/3608.46	c STR number of successful calls 0
3600.34/3608.46	c STR number of unsuccessful calls 0
3600.34/3608.46	c STR number of inconclusive calls 0
3600.34/3608.46	c STR number of successful attempts 0
3600.34/3608.46	c STR number of unsuccessful attempts 0
3600.34/3608.46	c STR number of inconclusive attempts 0
3600.34/3608.46	c STR average degree increase per successful call inf
3600.34/3608.46	c STR average degree increase per successful attempt inf
3600.34/3608.46	c STR total number of conflicts for successful attempts 0
3600.34/3608.46	c STR total number of conflicts for unsuccessful attempts 0
3600.34/3608.46	c STR total number of conflicts for inconclusive attempts 0
3600.34/3608.46	c STR average number of conflicts per successful attempt inf
3600.34/3608.46	c STR average number of conflicts per unsuccessful attempt inf
3600.34/3608.46	c STR average number of conflicts per inconclusive attempt inf
3600.34/3608.46	c AVG.sumWPerc -nan 
3600.34/3608.46	c bigint constraints 0 
3600.34/3608.46	s UNKNOWN
3600.34/3608.46	c Program interrupted by user.

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: 63837 MiB (62091 MiB free)
  memory of node 1: 64465 MiB (56462 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523056-1751647621/watcher-4523056-1751647621 -o /tmp/evaluation-result-4523056-1751647621/solver-4523056-1751647621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751647302-104582 --watchdog 3760 run-opt.sh HOME/instance-4523056-1751647621.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100087 s]*
/proc/loadavg: 4.12 3.18 2.45 5/256 104753
/proc/meminfo: memFree=121341260/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=118840 memory=71496 CPUtime=0.07 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 7146 0 0 0 5 2 0 0 20 0 1 0 80441328 121692160 17874 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 29710 17874 1888 1147 0 17137 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 123032 KiB
Current children cumulated memory: 74568 KiB

[startup+0.213529 s]*
/proc/loadavg: 4.12 3.18 2.45 5/256 104753
/proc/meminfo: memFree=121322924/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=138300 memory=90200 CPUtime=0.18 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 9283 0 0 0 14 4 0 0 20 0 1 0 80441328 141619200 22550 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 34575 22550 1888 1147 0 22002 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 142492 KiB
Current children cumulated memory: 93272 KiB

[startup+0.313432 s]*
/proc/loadavg: 4.12 3.18 2.45 6/256 104753
/proc/meminfo: memFree=121322924/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=118944 memory=72000 CPUtime=0.27 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 9319 0 0 0 23 4 0 0 20 0 1 0 80441328 121798656 18000 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 29736 18000 1952 1147 0 17163 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 123136 KiB
Current children cumulated memory: 75072 KiB

[startup+0.700332 s]
/proc/loadavg: 4.12 3.18 2.45 5/256 104753
/proc/meminfo: memFree=121322924/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=126420 memory=81580 CPUtime=0.64 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 11191 0 0 0 59 5 0 0 20 0 1 0 80441328 129454080 20395 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 31605 20395 1952 1147 0 19032 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 130612 KiB
Current children cumulated memory: 84652 KiB

[startup+1.50039 s]
/proc/loadavg: 4.12 3.18 2.45 5/256 104753
/proc/meminfo: memFree=121246212/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=254888 memory=213444 CPUtime=1.44 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 30077 0 0 0 123 21 0 0 20 0 1 0 80441328 261005312 53361 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 63722 53361 2368 1147 0 51149 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 259080 KiB
Current children cumulated memory: 216516 KiB

[startup+3.11297 s]
/proc/loadavg: 4.11 3.19 2.46 5/256 104753
/proc/meminfo: memFree=121133072/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=323248 memory=268460 CPUtime=3.05 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 37225 0 0 0 213 92 0 0 20 0 1 0 80441328 331005952 67115 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 80812 67115 2368 1147 0 68239 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 327440 KiB
Current children cumulated memory: 271532 KiB

[startup+6.30039 s]
/proc/loadavg: 4.11 3.19 2.46 5/256 104753
/proc/meminfo: memFree=121098752/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=372568 memory=301652 CPUtime=6.23 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 38549 0 0 0 417 206 0 0 20 0 1 0 80441328 381509632 75413 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 93142 75413 2368 1147 0 80569 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 376760 KiB
Current children cumulated memory: 304724 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 3.21 2.47 5/256 104753
/proc/meminfo: memFree=121040716/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=453476 memory=356104 CPUtime=12.62 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 39916 0 0 0 932 330 0 0 20 0 1 0 80441328 464359424 89026 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 113369 89026 2368 1147 0 100796 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 457668 KiB
Current children cumulated memory: 359176 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 3.25 2.50 5/256 104753
/proc/meminfo: memFree=120906500/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=534864 memory=454412 CPUtime=25.39 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 40479 0 0 0 1940 599 0 0 20 0 1 0 80441328 547700736 113603 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 133716 113603 2368 1147 0 121143 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 539056 KiB
Current children cumulated memory: 457484 KiB

[startup+51.1131 s]
/proc/loadavg: 4.11 3.33 2.54 5/256 104754
/proc/meminfo: memFree=120695572/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=882048 memory=650832 CPUtime=50.95 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 41553 0 0 0 4188 907 0 0 20 0 1 0 80441328 903217152 162708 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 220512 162708 2368 1147 0 207939 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 886240 KiB
Current children cumulated memory: 653904 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 3.45 2.63 5/254 104755
/proc/meminfo: memFree=120141316/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=1231296 memory=987816 CPUtime=102.02 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 42018 0 0 0 9238 964 0 0 20 0 1 0 80441328 1260847104 246954 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 307824 246954 2368 1147 0 295251 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1235488 KiB
Current children cumulated memory: 990888 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.57 2.72 5/253 104803
/proc/meminfo: memFree=120437764/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=1831952 memory=1318408 CPUtime=161.89 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 51108 0 0 0 14758 1431 0 0 20 0 1 0 80441328 1875918848 329602 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 457988 329602 2368 1147 0 445415 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1836144 KiB
Current children cumulated memory: 1321480 KiB

[startup+222.3 s]
/proc/loadavg: 4.55 3.77 2.85 5/253 104805
/proc/meminfo: memFree=119407820/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=1845280 memory=1608216 CPUtime=221.76 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 54575 0 0 0 20326 1850 0 0 20 0 1 0 80441328 1889566720 402054 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 461320 402054 2368 1147 0 448747 0
Current children cumulated CPU time: 221.76 s

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

/proc/loadavg: 4.10 4.12 4.09 5/255 104953
/proc/meminfo: memFree=107364404/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7476424 memory=6402688 CPUtime=3155.25 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 260933 0 0 0 311442 4083 0 0 20 0 1 0 80441328 7655858176 1600672 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1869106 1600672 2368 1147 0 1856533 0
Current children cumulated CPU time: 3155.25 s
Current children cumulated vsize: 7480616 KiB
Current children cumulated memory: 6405760 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 104955
/proc/meminfo: memFree=107140132/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7490736 memory=6483620 CPUtime=3215.11 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 265814 0 0 0 317424 4087 0 0 20 0 1 0 80441328 7670513664 1620905 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1872684 1620905 2368 1147 0 1860111 0
Current children cumulated CPU time: 3215.11 s
Current children cumulated vsize: 7494928 KiB
Current children cumulated memory: 6486692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.74 4.30 4.16 5/256 104958
/proc/meminfo: memFree=106956688/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7495844 memory=6545548 CPUtime=3274.97 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 268171 0 0 0 323407 4090 0 0 20 0 1 0 80441328 7675744256 1636387 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1873961 1636387 2368 1147 0 1861388 0
Current children cumulated CPU time: 3274.97 s
Current children cumulated vsize: 7500036 KiB
Current children cumulated memory: 6548620 KiB

[startup+3342.3 s]
/proc/loadavg: 3.34 4.01 4.07 3/241 105021
/proc/meminfo: memFree=116042644/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7500848 memory=6598188 CPUtime=3334.82 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 269881 0 0 0 329391 4091 0 0 20 0 1 0 80441328 7680868352 1649547 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1875212 1649547 2368 1147 0 1862639 0
Current children cumulated CPU time: 3334.82 s
Current children cumulated vsize: 7505040 KiB
Current children cumulated memory: 6601260 KiB

[startup+3402.3 s]
/proc/loadavg: 2.59 3.67 3.94 3/241 105026
/proc/meminfo: memFree=115968324/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7502472 memory=6665352 CPUtime=3394.7 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 271963 0 0 0 335375 4095 0 0 20 0 1 0 80441328 7682531328 1666338 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1875618 1666338 2368 1147 0 1863045 0
Current children cumulated CPU time: 3394.7 s
Current children cumulated vsize: 7506664 KiB
Current children cumulated memory: 6668424 KiB

[startup+3462.3 s]
/proc/loadavg: 2.26 3.38 3.83 3/241 105032
/proc/meminfo: memFree=115876032/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7503588 memory=6750116 CPUtime=3454.56 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 273268 0 0 0 341358 4098 0 0 20 0 1 0 80441328 7683674112 1687529 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1875897 1687529 2368 1147 0 1863324 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 7507780 KiB
Current children cumulated memory: 6753188 KiB

[startup+3522.3 s]
/proc/loadavg: 2.21 3.16 3.72 3/241 105034
/proc/meminfo: memFree=115787044/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7507092 memory=6848988 CPUtime=3514.43 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 274892 0 0 0 347343 4100 0 0 20 0 1 0 80441328 7687262208 1712247 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1876773 1712247 2368 1147 0 1864200 0
Current children cumulated CPU time: 3514.43 s
Current children cumulated vsize: 7511284 KiB
Current children cumulated memory: 6852060 KiB

[startup+3582.3 s]
/proc/loadavg: 2.21 2.97 3.62 3/241 105038
/proc/meminfo: memFree=115630440/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7507092 memory=6921752 CPUtime=3574.3 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 276698 0 0 0 353327 4103 0 0 20 0 1 0 80441328 7687262208 1730438 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1876773 1730438 2368 1147 0 1864200 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 7511284 KiB
Current children cumulated memory: 6924824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.11 s]
/proc/loadavg: 2.14 2.89 3.57 3/241 105039
/proc/meminfo: memFree=115603788/131382112 swapFree=33000116/33010684
[pid=104751] ppid=104748 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/104751/stat : 104751 (run-opt.sh) S 104748 104751 103325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 80441327 4292608 768 18446744073709551615 93966321197056 93966322091589 140728698681472 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93966322330640 93966322378384 93966330978304 140728698689899 140728698690022 140728698690022 140728698695626 0
/proc/104751/statm: 1048 768 704 219 0 110 0
[pid=104753] ppid=104751 vsize=7527568 memory=6971420 CPUtime=3600.06 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104751 104751 103325 0 -1 4194304 280917 0 0 0 355892 4114 0 0 20 0 1 0 80441328 7708229632 1742855 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1881892 1742855 2368 1147 0 1869319 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 7531760 KiB
Current children cumulated memory: 6974492 KiB

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

[startup+3608.12 s]
# the end of solver process 104751 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001607 s, system=0.003207 s

[startup+3608.62 s]
# the end of solver process 104753 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3559.35 s, system=41.216 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3608.4 s]
/proc/loadavg: 2.14 2.89 3.57 3/240 105039
/proc/meminfo: memFree=115603788/131382112 swapFree=33000116/33010684
[pid=104753] ppid=104748 vsize=7527568 memory=6971420 CPUtime=3600.34 cores=4,6
/proc/104753/stat : 104753 (roundingsat) R 104748 104751 103325 0 -1 4194304 280923 0 0 0 355920 4114 0 0 20 0 1 0 80441328 7708229632 1742855 18446744073709551615 4227072 8923433 140728088975776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 18948096 140728088983968 140728088984102 140728088984102 140728088989674 0
/proc/104753/statm: 1881892 1742855 2368 1147 0 1869319 0
Current cumulated CPU time of completed processes: 0.004814 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 7527568 KiB
Current children cumulated memory: 6971420 KiB

[startup+3608.6 s]*
/proc/loadavg: 2.12 2.88 3.57 3/240 105039
/proc/meminfo: memFree=121815772/131382112 swapFree=33000116/33010684
Current cumulated CPU time of completed processes: 0.004814 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3608.62
CPU time (s): 3600.57
CPU user time (s): 3559.35
CPU system time (s): 41.216
CPU usage (%): 99.777
Max. virtual memory (cumulated for all children) (KiB): 7531760
Max. memory (cumulated for all children) (KiB): 6974492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.35
system time used= 41.216
maximum resident set size= 6971676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 4612


# summary of solver processes directly reported to runsolver:
#   pid: 104751,104753
#   total CPU time (s): 3600.57
#   total CPU user time (s): 3559.35
#   total CPU system time (s): 41.216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8412 second user time and 36.7743 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-04 18:47:02
IDJOB=4523056
IDBENCH=179619
IDSOLVER=3350
FILE ID=nodeC007/4523056-1751647621
RUNJOBID= nodeC007-1751647302-104582
SLURM_JOB_ID= 9672312
Free space on /tmp= 430952 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523056-1751647621/watcher-4523056-1751647621 -o /tmp/evaluation-result-4523056-1751647621/solver-4523056-1751647621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751647302-104582 --watchdog 3760  run-opt.sh HOME/instance-4523056-1751647621.opb

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

MD5SUM BENCH= 3a29af11ebe5b4b49a5b212339afb8d7
RANDOM SEED=1881375754

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        121399620 kB
MemAvailable:   126168836 kB
Buffers:              16 kB
Cached:          5435496 kB
SwapCached:         2912 kB
Active:          3960492 kB
Inactive:        5170280 kB
Active(anon):    3671820 kB
Inactive(anon):    35344 kB
Active(file):     288672 kB
Inactive(file):  5134936 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000116 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17860 kB
Writeback:             4 kB
AnonPages:       3695360 kB
Mapped:           111864 kB
Shmem:             11904 kB
KReclaimable:     370472 kB
Slab:             462128 kB
SReclaimable:     370472 kB
SUnreclaim:        91656 kB
KernelStack:        4112 kB
PageTables:        10576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4388820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1699840 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431016 MiB
End job on nodeC007 at 2025-07-04 19:47:11