Trace number 4504710

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.65 3611.71

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
MD5SUM981ef51cec9b68890fa336e7b4cc767b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2314936
Best CPU time to get the best result obtained on this benchmark72002.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 127263527
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 24281357407
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 127263527
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 24281357407
Number of bits of the biggest sum of numbers35
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.28/1.31	c #variables 126385 #constraints 290547
1.28/1.31	c objective is ce32 
1.47/1.52	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.47/1.52	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.47/1.52	c GLOBAL bounds - >= -35 @ 1.13957
1.57/1.65	c GLOBAL bounds - >= -35 @ 1.19737
1.67/1.77	c GLOBAL bounds - >= -35 @ 1.2583
1.77/1.88	c GLOBAL bounds - >= -35 @ 1.33285
1.87/2.00	c GLOBAL bounds - >= -35 @ 1.40086
2.08/2.14	c GLOBAL bounds - >= -35 @ 1.49997
2.17/2.25	c GLOBAL bounds - >= -35 @ 1.56126
2.28/2.37	c GLOBAL bounds - >= -35 @ 1.62643
2.37/2.49	c GLOBAL bounds - >= -35 @ 1.69701
2.58/2.64	c GLOBAL bounds - >= -35 @ 1.79666
2.67/2.77	c GLOBAL bounds - >= -35 @ 1.88211
2.77/2.88	c GLOBAL bounds - >= -35 @ 1.94146
2.87/2.99	c GLOBAL bounds - >= -35 @ 2.00442
3.08/3.12	c GLOBAL bounds - >= -35 @ 2.07997
3.18/3.26	c GLOBAL bounds - >= -35 @ 2.17154
3.27/3.39	c GLOBAL bounds - >= -35 @ 2.25253
3.47/3.54	c GLOBAL bounds - >= -35 @ 2.34929
3.57/3.65	c GLOBAL bounds - >= -35 @ 2.41797
3.67/3.77	c GLOBAL bounds - >= -35 @ 2.48146
3.77/3.88	c GLOBAL bounds - >= -35 @ 2.54569
3.98/4.00	c GLOBAL bounds - >= -35 @ 2.61588
4.08/4.15	c GLOBAL bounds - >= -35 @ 2.7209
4.17/4.27	c GLOBAL bounds - >= -35 @ 2.78286
4.36/4.40	c GLOBAL bounds - >= -35 @ 2.86126
4.47/4.59	c GLOBAL bounds - >= -35 @ 3.00082
4.67/4.74	c GLOBAL bounds - >= -35 @ 3.10308
4.77/4.87	c GLOBAL bounds - >= -35 @ 3.19591
4.98/5.02	c GLOBAL bounds - >= -35 @ 3.28488
5.07/5.14	c GLOBAL bounds - >= -35 @ 3.36097
5.17/5.29	c GLOBAL bounds - >= -35 @ 3.45123
5.36/5.45	c GLOBAL bounds - >= -35 @ 3.55082
5.67/5.74	c GLOBAL bounds - >= -35 @ 3.75709
5.97/6.01	c GLOBAL bounds - >= 45613 @ 4.026
7.86/7.93	c GLOBAL bounds - >= 45613 @ 5.86257
7.86/7.96	c GLOBAL bounds - >= 45613 @ 5.88884
7.86/8.00	c GLOBAL bounds - >= 45613 @ 5.91057
7.86/8.00	c GLOBAL bounds - >= 45613 @ 5.91198
7.86/8.00	c GLOBAL bounds - >= 45613 @ 5.91317
8.07/8.13	c GLOBAL bounds - >= 45613 @ 5.96449
8.07/8.17	c GLOBAL bounds - >= 45613 @ 5.9947
8.26/8.30	c GLOBAL bounds - >= 45613 @ 6.05962
8.26/8.35	c GLOBAL bounds - >= 45613 @ 6.09291
8.36/8.50	c GLOBAL bounds - >= 45613 @ 6.16743
8.45/8.54	c GLOBAL bounds - >= 45613 @ 6.19397
8.56/8.68	c GLOBAL bounds - >= 45613 @ 6.26219
8.66/8.72	c GLOBAL bounds - >= 45613 @ 6.29366
8.76/8.86	c GLOBAL bounds - >= 45613 @ 6.35299
8.86/8.90	c GLOBAL bounds - >= 45613 @ 6.3816
8.96/9.03	c GLOBAL bounds - >= 45613 @ 6.4406
8.96/9.07	c GLOBAL bounds - >= 45613 @ 6.46914
9.16/9.20	c GLOBAL bounds - >= 45613 @ 6.5334
9.16/9.25	c GLOBAL bounds - >= 45613 @ 6.56765
9.26/9.36	c GLOBAL bounds - >= 45613 @ 6.61437
9.35/9.40	c GLOBAL bounds - >= 45613 @ 6.64771
9.45/9.51	c GLOBAL bounds - >= 45613 @ 6.69104
9.45/9.55	c GLOBAL bounds - >= 45613 @ 6.72257
9.56/9.66	c GLOBAL bounds - >= 45613 @ 6.77318
9.65/9.77	c GLOBAL bounds - >= 45613 @ 6.82974
9.75/9.88	c GLOBAL bounds - >= 45613 @ 6.88422
9.85/9.99	c GLOBAL bounds - >= 45613 @ 6.93581
9.96/10.09	c GLOBAL bounds - >= 45613 @ 6.99047
10.15/10.23	c GLOBAL bounds - >= 45613 @ 7.04927
10.25/10.37	c GLOBAL bounds - >= 45613 @ 7.12112
10.45/10.50	c GLOBAL bounds - >= 45613 @ 7.18137
14.34/14.44	c GLOBAL bounds - >= 89536 @ 11.0477
14.44/14.53	c GLOBAL bounds - >= 89536 @ 11.1197
14.55/14.67	c GLOBAL bounds - >= 89536 @ 11.1907
14.64/14.71	c GLOBAL bounds - >= 89536 @ 11.2207
14.74/14.85	c GLOBAL bounds - >= 89536 @ 11.2814
14.74/14.89	c GLOBAL bounds - >= 89536 @ 11.3069
14.95/15.03	c GLOBAL bounds - >= 89536 @ 11.3751
14.95/15.07	c GLOBAL bounds - >= 89536 @ 11.4041
15.14/15.20	c GLOBAL bounds - >= 89536 @ 11.466
15.14/15.24	c GLOBAL bounds - >= 89536 @ 11.4904
15.25/15.36	c GLOBAL bounds - >= 89536 @ 11.5531
15.34/15.40	c GLOBAL bounds - >= 89536 @ 11.5844
15.44/15.51	c GLOBAL bounds - >= 89536 @ 11.6389
15.44/15.54	c GLOBAL bounds - >= 89536 @ 11.6541
15.54/15.66	c GLOBAL bounds - >= 89536 @ 11.7161
15.54/15.69	c GLOBAL bounds - >= 89536 @ 11.7369
15.74/15.80	c GLOBAL bounds - >= 89536 @ 11.7951
15.74/15.84	c GLOBAL bounds - >= 89536 @ 11.8269
15.84/15.96	c GLOBAL bounds - >= 89536 @ 11.872
15.84/16.00	c GLOBAL bounds - >= 89536 @ 11.9001
16.04/16.11	c GLOBAL bounds - >= 89536 @ 11.9553
16.14/16.24	c GLOBAL bounds - >= 89536 @ 12.0257
16.24/16.37	c GLOBAL bounds - >= 89536 @ 12.0965
16.44/16.50	c GLOBAL bounds - >= 89536 @ 12.1744
16.53/16.63	c GLOBAL bounds - >= 89536 @ 12.2421
16.74/16.89	c GLOBAL bounds - >= 89536 @ 12.4308
17.05/17.14	c GLOBAL bounds - >= 89536 @ 12.6207
20.72/20.81	c GLOBAL bounds - >= 89536 @ 16.1693
20.93/21.08	c GLOBAL bounds - >= 89536 @ 16.3776
22.12/22.30	c GLOBAL bounds - >= 89536 @ 17.4998
22.52/22.63	c GLOBAL bounds - >= 89536 @ 17.7782
22.93/23.01	c GLOBAL bounds - >= 89536 @ 18.0912
23.52/23.62	c GLOBAL bounds - >= 89536 @ 18.6379
25.42/25.56	c GLOBAL bounds - >= 89536 @ 20.487
26.62/26.78	c GLOBAL bounds - >= 89536 @ 21.6276
27.91/28.01	c GLOBAL bounds - >= 89536 @ 22.776
40.07/40.20	c #Conflicts:       1000 | #Constraints:     715145
40.07/40.20	c GLOBAL bounds - >= 177361 @ 34.7832
40.18/40.32	c GLOBAL bounds - >= 177361 @ 34.8908
40.18/40.36	c GLOBAL bounds - >= 177361 @ 34.9191
40.28/40.40	c GLOBAL bounds - >= 177361 @ 34.9478
40.68/40.80	c GLOBAL bounds - >= 177361 @ 35.2802
40.68/40.84	c GLOBAL bounds - >= 177361 @ 35.3087
40.78/40.97	c GLOBAL bounds - >= 177361 @ 35.3787
40.88/41.02	c GLOBAL bounds - >= 177361 @ 35.413
40.98/41.14	c GLOBAL bounds - >= 177361 @ 35.4755
40.98/41.19	c GLOBAL bounds - >= 177361 @ 35.5042
41.17/41.31	c GLOBAL bounds - >= 177361 @ 35.5691
41.17/41.35	c GLOBAL bounds - >= 177361 @ 35.599
41.28/41.47	c GLOBAL bounds - >= 177361 @ 35.6571
41.38/41.52	c GLOBAL bounds - >= 177361 @ 35.6907
41.47/41.64	c GLOBAL bounds - >= 177361 @ 35.7529
41.47/41.68	c GLOBAL bounds - >= 177361 @ 35.7837
41.68/41.80	c GLOBAL bounds - >= 177361 @ 35.845
41.68/41.84	c GLOBAL bounds - >= 177361 @ 35.8724
41.78/41.96	c GLOBAL bounds - >= 177361 @ 35.9348
41.87/42.01	c GLOBAL bounds - >= 177361 @ 35.9639
41.98/42.13	c GLOBAL bounds - >= 177361 @ 36.017
41.98/42.17	c GLOBAL bounds - >= 177361 @ 36.0458
42.07/42.29	c GLOBAL bounds - >= 177361 @ 36.1169
42.27/42.43	c GLOBAL bounds - >= 177361 @ 36.1843
42.37/42.56	c GLOBAL bounds - >= 177361 @ 36.2504
42.57/42.70	c GLOBAL bounds - >= 177361 @ 36.3283
42.67/42.84	c GLOBAL bounds - >= 177361 @ 36.4106
42.77/42.99	c GLOBAL bounds - >= 177361 @ 36.4956
42.98/43.12	c GLOBAL bounds - >= 177361 @ 36.5739
43.28/43.48	c GLOBAL bounds - >= 177361 @ 36.8762
43.67/43.82	c GLOBAL bounds - >= 177361 @ 37.1556
43.98/44.18	c GLOBAL bounds - >= 177361 @ 37.4616
44.17/44.34	c GLOBAL bounds - >= 177361 @ 37.5735
44.27/44.49	c GLOBAL bounds - >= 177361 @ 37.6769
44.47/44.65	c GLOBAL bounds - >= 177361 @ 37.78
44.87/45.04	c GLOBAL bounds - >= 177361 @ 38.107
45.06/45.23	c GLOBAL bounds - >= 177361 @ 38.2432
49.06/49.21	c GLOBAL bounds - >= 177361 @ 42.1063
51.05/51.22	c GLOBAL bounds - >= 177361 @ 44.0425
51.35/51.58	c GLOBAL bounds - >= 177361 @ 44.3467
54.85/55.03	c GLOBAL bounds - >= 177361 @ 47.6887
70.50/70.79	c #Conflicts:       2000 | #Constraints:     844554
70.50/70.79	c INPROCESSING
70.50/70.79	c GARBAGE COLLECT
70.50/70.79	c GLOBAL bounds - >= 177361 @ 63.2792
75.98/76.22	c GLOBAL bounds - >= 177361 @ 68.625
78.78/79.01	c GLOBAL bounds - >= 183315 @ 71.3979
78.78/79.08	c GLOBAL bounds - >= 183315 @ 71.4584
79.78/80.09	c GLOBAL bounds - >= 183315 @ 72.4016
79.88/80.14	c GLOBAL bounds - >= 183315 @ 72.4321
79.97/80.27	c GLOBAL bounds - >= 183315 @ 72.4955
80.07/80.31	c GLOBAL bounds - >= 183315 @ 72.5247
80.17/80.44	c GLOBAL bounds - >= 183315 @ 72.5942
80.17/80.48	c GLOBAL bounds - >= 183315 @ 72.6215
80.37/80.61	c GLOBAL bounds - >= 183315 @ 72.6839
80.37/80.65	c GLOBAL bounds - >= 183315 @ 72.7146
80.47/80.79	c GLOBAL bounds - >= 183315 @ 72.7908
80.57/80.83	c GLOBAL bounds - >= 183315 @ 72.8257
80.68/80.98	c GLOBAL bounds - >= 183315 @ 72.9023
80.78/81.02	c GLOBAL bounds - >= 183315 @ 72.9299
80.88/81.16	c GLOBAL bounds - >= 183315 @ 73.0007
80.97/81.20	c GLOBAL bounds - >= 183315 @ 73.0292
81.07/81.34	c GLOBAL bounds - >= 183315 @ 73.0999
81.07/81.38	c GLOBAL bounds - >= 183315 @ 73.1277
81.27/81.52	c GLOBAL bounds - >= 183315 @ 73.1985
81.27/81.56	c GLOBAL bounds - >= 183315 @ 73.2302
81.37/81.69	c GLOBAL bounds - >= 183315 @ 73.3097
81.57/81.84	c GLOBAL bounds - >= 183315 @ 73.3932
81.67/81.99	c GLOBAL bounds - >= 183315 @ 73.4767
81.96/82.25	c GLOBAL bounds - >= 183315 @ 73.6776
119.06/119.45	c #Conflicts:       3000 | #Constraints:    1062693
119.06/119.45	c GLOBAL bounds - >= 200989 @ 110.482
119.16/119.54	c GLOBAL bounds - >= 200989 @ 110.556
119.16/119.58	c GLOBAL bounds - >= 200989 @ 110.582
119.27/119.62	c GLOBAL bounds - >= 200989 @ 110.61
119.27/119.66	c GLOBAL bounds - >= 200989 @ 110.641
119.46/119.81	c GLOBAL bounds - >= 200989 @ 110.72
119.46/119.86	c GLOBAL bounds - >= 200989 @ 110.758
119.67/120.02	c GLOBAL bounds - >= 200989 @ 110.848
119.67/120.06	c GLOBAL bounds - >= 200989 @ 110.882
119.86/120.22	c GLOBAL bounds - >= 200989 @ 110.955
119.86/120.26	c GLOBAL bounds - >= 200989 @ 110.992
120.06/120.45	c GLOBAL bounds - >= 200989 @ 111.11
120.16/120.50	c GLOBAL bounds - >= 200989 @ 111.15
120.26/120.68	c GLOBAL bounds - >= 200989 @ 111.262
120.36/120.72	c GLOBAL bounds - >= 200989 @ 111.3
120.57/120.90	c GLOBAL bounds - >= 200989 @ 111.398
120.57/120.94	c GLOBAL bounds - >= 200989 @ 111.427
120.66/121.08	c GLOBAL bounds - >= 200989 @ 111.492
120.76/121.12	c GLOBAL bounds - >= 200989 @ 111.522
120.86/121.29	c GLOBAL bounds - >= 200989 @ 111.617
120.96/121.33	c GLOBAL bounds - >= 200989 @ 111.647
121.06/121.48	c GLOBAL bounds - >= 200989 @ 111.726
121.16/121.53	c GLOBAL bounds - >= 200989 @ 111.757
121.36/121.72	c GLOBAL bounds - >= 200989 @ 111.883
121.46/121.87	c GLOBAL bounds - >= 200989 @ 111.971
121.66/122.03	c GLOBAL bounds - >= 200989 @ 112.066
122.26/122.65	c GLOBAL bounds - >= 200989 @ 112.617
122.46/122.81	c GLOBAL bounds - >= 200989 @ 112.712
122.66/123.04	c GLOBAL bounds - >= 200989 @ 112.885
123.15/123.58	c GLOBAL bounds - >= 200989 @ 113.359
151.47/151.93	c #Conflicts:       4000 | #Constraints:    1282606
151.47/151.93	c INPROCESSING
151.47/151.93	c GARBAGE COLLECT
151.47/151.93	c GLOBAL bounds - >= 200989 @ 141.465
151.97/152.40	c GLOBAL bounds - >= 200989 @ 141.875
173.81/174.31	c #Conflicts:       5000 | #Constraints:    1311610
173.81/174.31	c GLOBAL bounds - >= 201298 @ 163.703
173.91/174.40	c GLOBAL bounds - >= 201298 @ 163.779
174.31/174.82	c GLOBAL bounds - >= 201298 @ 164.134
174.31/174.86	c GLOBAL bounds - >= 201298 @ 164.155
175.21/175.70	c GLOBAL bounds - >= 201298 @ 164.936
175.21/175.75	c GLOBAL bounds - >= 201298 @ 164.968
175.30/175.88	c GLOBAL bounds - >= 201298 @ 165.04
175.41/175.90	c GLOBAL bounds - >= 201298 @ 165.059
175.52/176.03	c GLOBAL bounds - >= 201298 @ 165.12
175.52/176.06	c GLOBAL bounds - >= 201298 @ 165.14
175.61/176.18	c GLOBAL bounds - >= 201298 @ 165.203
175.71/176.20	c GLOBAL bounds - >= 201298 @ 165.218
175.81/176.32	c GLOBAL bounds - >= 201298 @ 165.269
175.81/176.34	c GLOBAL bounds - >= 201298 @ 165.281
175.91/176.46	c GLOBAL bounds - >= 201298 @ 165.343
175.91/176.47	c GLOBAL bounds - >= 201298 @ 165.35
176.00/176.59	c GLOBAL bounds - >= 201298 @ 165.411
176.10/176.62	c GLOBAL bounds - >= 201298 @ 165.434
176.20/176.73	c GLOBAL bounds - >= 201298 @ 165.488
176.20/176.77	c GLOBAL bounds - >= 201298 @ 165.511
176.40/176.90	c GLOBAL bounds - >= 201298 @ 165.568
176.51/177.02	c GLOBAL bounds - >= 201298 @ 165.642
176.61/177.15	c GLOBAL bounds - >= 201298 @ 165.716
176.71/177.29	c GLOBAL bounds - >= 201298 @ 165.798
176.90/177.40	c GLOBAL bounds - >= 201298 @ 165.85
177.00/177.54	c GLOBAL bounds - >= 201298 @ 165.943
177.40/177.90	c GLOBAL bounds - >= 201298 @ 166.257
177.51/178.04	c GLOBAL bounds - >= 201298 @ 166.348
177.60/178.18	c GLOBAL bounds - >= 201298 @ 166.429
177.80/178.35	c GLOBAL bounds - >= 201298 @ 166.55
178.20/178.74	c GLOBAL bounds - >= 201298 @ 166.877
178.30/178.86	c GLOBAL bounds - >= 201298 @ 166.952
179.50/180.02	c GLOBAL bounds - >= 201298 @ 168.051
179.70/180.24	c GLOBAL bounds - >= 201298 @ 168.213
180.09/180.66	c GLOBAL bounds - >= 201298 @ 168.572
180.29/180.81	c GLOBAL bounds - >= 201298 @ 168.671
182.19/182.77	c GLOBAL bounds - >= 201298 @ 170.558
186.27/186.89	c GLOBAL bounds - >= 201298 @ 174.574
187.07/187.67	c GLOBAL bounds - >= 201298 @ 175.285
187.28/187.85	c GLOBAL bounds - >= 201298 @ 175.416
190.07/190.66	c #Conflicts:       6000 | #Constraints:    1363403
190.07/190.66	c GLOBAL bounds - >= 201298 @ 178.128
190.97/191.57	c GLOBAL bounds - >= 201298 @ 178.973
192.16/192.78	c GLOBAL bounds - >= 201298 @ 180.116
192.76/193.39	c GLOBAL bounds - >= 201298 @ 180.662
193.06/193.65	c GLOBAL bounds - >= 201298 @ 180.884
195.86/196.42	c GLOBAL bounds - >= 201298 @ 183.568
196.15/196.79	c GLOBAL bounds - >= 201298 @ 183.874
197.75/198.31	c GLOBAL bounds - >= 201298 @ 185.323
203.03/203.61	c GLOBAL bounds - >= 201298 @ 190.477
221.18/221.90	c INPROCESSING
221.18/221.90	c GARBAGE COLLECT
221.18/221.90	c #Conflicts:       7000 | #Constraints:    1448276
221.18/221.90	c GLOBAL bounds - >= 201298 @ 208.585
221.58/222.23	c GLOBAL bounds - >= 201298 @ 208.857
222.18/222.85	c GLOBAL bounds - >= 201298 @ 209.43
226.06/226.73	c GLOBAL bounds - >= 201298 @ 213.235
233.94/234.62	c GLOBAL bounds - >= 204990 @ 221.096
234.04/234.71	c GLOBAL bounds - >= 204990 @ 221.167
234.04/234.75	c GLOBAL bounds - >= 204990 @ 221.197
234.04/234.79	c GLOBAL bounds - >= 204990 @ 221.236
234.14/234.84	c GLOBAL bounds - >= 204990 @ 221.264
234.35/235.04	c GLOBAL bounds - >= 204990 @ 221.401
234.35/235.08	c GLOBAL bounds - >= 204990 @ 221.436
234.54/235.24	c GLOBAL bounds - >= 204990 @ 221.527
234.54/235.29	c GLOBAL bounds - >= 204990 @ 221.558
234.74/235.44	c GLOBAL bounds - >= 204990 @ 221.642
234.74/235.49	c GLOBAL bounds - >= 204990 @ 221.67
234.94/235.65	c GLOBAL bounds - >= 204990 @ 221.771
234.94/235.70	c GLOBAL bounds - >= 204990 @ 221.801
235.23/235.92	c GLOBAL bounds - >= 204990 @ 221.965
235.23/235.97	c GLOBAL bounds - >= 204990 @ 221.999
235.45/236.13	c GLOBAL bounds - >= 204990 @ 222.092
235.45/236.18	c GLOBAL bounds - >= 204990 @ 222.121
235.63/236.36	c GLOBAL bounds - >= 204990 @ 222.232
235.74/236.40	c GLOBAL bounds - >= 204990 @ 222.262
235.93/236.67	c GLOBAL bounds - >= 204990 @ 222.468
236.04/236.72	c GLOBAL bounds - >= 204990 @ 222.499
236.13/236.85	c GLOBAL bounds - >= 204990 @ 222.58
236.23/236.90	c GLOBAL bounds - >= 204990 @ 222.616
236.34/237.03	c GLOBAL bounds - >= 204990 @ 222.678
236.44/237.17	c GLOBAL bounds - >= 204990 @ 222.769
236.64/237.32	c GLOBAL bounds - >= 204990 @ 222.854
236.73/237.46	c GLOBAL bounds - >= 204990 @ 222.948
236.93/237.61	c GLOBAL bounds - >= 204990 @ 223.035
237.04/237.76	c GLOBAL bounds - >= 204990 @ 223.122
237.44/238.11	c GLOBAL bounds - >= 204990 @ 223.417
237.53/238.26	c GLOBAL bounds - >= 204990 @ 223.501
237.83/238.58	c GLOBAL bounds - >= 204990 @ 223.761
238.14/238.89	c GLOBAL bounds - >= 204990 @ 224
241.82/242.50	c GLOBAL bounds - >= 204990 @ 227.544
242.22/242.99	c GLOBAL bounds - >= 204990 @ 227.974
246.50/247.25	c GLOBAL bounds - >= 204990 @ 232.161
288.28/289.15	c #Conflicts:       8000 | #Constraints:    1767262
288.28/289.15	c GLOBAL bounds - >= 208203 @ 273.805
288.38/289.25	c GLOBAL bounds - >= 208203 @ 273.894
288.38/289.29	c GLOBAL bounds - >= 208203 @ 273.921
288.48/289.33	c GLOBAL bounds - >= 208203 @ 273.95
288.48/289.37	c GLOBAL bounds - >= 208203 @ 273.978
288.58/289.42	c GLOBAL bounds - >= 208203 @ 274.005
288.58/289.46	c GLOBAL bounds - >= 208203 @ 274.039
288.68/289.50	c GLOBAL bounds - >= 208203 @ 274.066
288.68/289.54	c GLOBAL bounds - >= 208203 @ 274.097
288.68/289.58	c GLOBAL bounds - >= 208203 @ 274.129
288.78/289.62	c GLOBAL bounds - >= 208203 @ 274.159
288.78/289.66	c GLOBAL bounds - >= 208203 @ 274.186
288.88/289.70	c GLOBAL bounds - >= 208203 @ 274.21
288.88/289.74	c GLOBAL bounds - >= 208203 @ 274.239
289.08/289.93	c GLOBAL bounds - >= 208203 @ 274.361
289.08/289.97	c GLOBAL bounds - >= 208203 @ 274.396
289.28/290.15	c GLOBAL bounds - >= 208203 @ 274.502
289.28/290.19	c GLOBAL bounds - >= 208203 @ 274.531
289.48/290.36	c GLOBAL bounds - >= 208203 @ 274.635
289.58/290.40	c GLOBAL bounds - >= 208203 @ 274.668
289.68/290.59	c GLOBAL bounds - >= 208203 @ 274.79
289.78/290.63	c GLOBAL bounds - >= 208203 @ 274.819
290.78/291.63	c GLOBAL bounds - >= 208203 @ 275.734
290.78/291.68	c GLOBAL bounds - >= 208203 @ 275.764
290.97/291.88	c GLOBAL bounds - >= 208203 @ 275.906
291.08/291.92	c GLOBAL bounds - >= 208203 @ 275.932
291.67/292.50	c GLOBAL bounds - >= 208203 @ 276.43
291.67/292.54	c GLOBAL bounds - >= 208203 @ 276.46
291.87/292.70	c GLOBAL bounds - >= 208203 @ 276.546
291.87/292.74	c GLOBAL bounds - >= 208203 @ 276.577
292.07/292.90	c GLOBAL bounds - >= 208203 @ 276.676
292.07/292.94	c GLOBAL bounds - >= 208203 @ 276.712
292.17/293.09	c GLOBAL bounds - >= 208203 @ 276.785
292.37/293.24	c GLOBAL bounds - >= 208203 @ 276.872
292.57/293.41	c GLOBAL bounds - >= 208203 @ 276.972
292.77/293.63	c GLOBAL bounds - >= 208203 @ 277.145
292.87/293.79	c GLOBAL bounds - >= 208203 @ 277.246
293.17/294.03	c GLOBAL bounds - >= 208203 @ 277.42
293.37/294.20	c GLOBAL bounds - >= 208203 @ 277.53
299.06/300.00	c #Conflicts:       9000 | #Constraints:    1976441
299.06/300.00	c GLOBAL bounds - >= 208203 @ 283.196
299.45/300.34	c GLOBAL bounds - >= 208203 @ 283.476
300.35/301.29	c GLOBAL bounds - >= 208203 @ 284.364
300.55/301.47	c GLOBAL bounds - >= 208203 @ 284.479
316.60/317.55	c INPROCESSING
316.60/317.55	c GARBAGE COLLECT
316.60/317.55	c GLOBAL bounds - >= 208203 @ 300.431
339.63/340.61	c #Conflicts:      10000 | #Constraints:    2043576
339.63/340.61	c GLOBAL bounds - >= 208716 @ 323.415
339.74/340.71	c GLOBAL bounds - >= 208716 @ 323.497
339.74/340.75	c GLOBAL bounds - >= 208716 @ 323.524
339.74/340.79	c GLOBAL bounds - >= 208716 @ 323.552
339.84/340.84	c GLOBAL bounds - >= 208716 @ 323.583
339.84/340.87	c GLOBAL bounds - >= 208716 @ 323.61
339.94/340.92	c GLOBAL bounds - >= 208716 @ 323.643
340.04/341.08	c GLOBAL bounds - >= 208716 @ 323.757
340.14/341.13	c GLOBAL bounds - >= 208716 @ 323.788
340.23/341.29	c GLOBAL bounds - >= 208716 @ 323.883
340.33/341.33	c GLOBAL bounds - >= 208716 @ 323.914
345.32/346.39	c GLOBAL bounds - >= 208716 @ 328.883
345.42/346.44	c GLOBAL bounds - >= 208716 @ 328.912
345.52/346.57	c GLOBAL bounds - >= 208716 @ 328.975
345.62/346.61	c GLOBAL bounds - >= 208716 @ 329.006
345.72/346.75	c GLOBAL bounds - >= 208716 @ 329.077
345.72/346.79	c GLOBAL bounds - >= 208716 @ 329.108
345.92/346.92	c GLOBAL bounds - >= 208716 @ 329.174
345.92/346.96	c GLOBAL bounds - >= 208716 @ 329.202
346.03/347.08	c GLOBAL bounds - >= 208716 @ 329.261
346.13/347.13	c GLOBAL bounds - >= 208716 @ 329.294
346.22/347.25	c GLOBAL bounds - >= 208716 @ 329.361
346.22/347.29	c GLOBAL bounds - >= 208716 @ 329.387
346.42/347.42	c GLOBAL bounds - >= 208716 @ 329.451
346.42/347.46	c GLOBAL bounds - >= 208716 @ 329.48
346.52/347.59	c GLOBAL bounds - >= 208716 @ 329.547
346.72/347.72	c GLOBAL bounds - >= 208716 @ 329.623
346.82/347.86	c GLOBAL bounds - >= 208716 @ 329.702
347.02/348.08	c GLOBAL bounds - >= 208716 @ 329.866
347.22/348.22	c GLOBAL bounds - >= 208716 @ 329.948
347.32/348.39	c GLOBAL bounds - >= 208716 @ 330.062
347.51/348.56	c GLOBAL bounds - >= 208716 @ 330.169
347.82/348.86	c GLOBAL bounds - >= 208716 @ 330.406
347.92/349.00	c GLOBAL bounds - >= 208716 @ 330.493
348.21/349.21	c GLOBAL bounds - >= 208716 @ 330.651
348.72/349.72	c GLOBAL bounds - >= 208716 @ 331.096
356.89/358.00	c GLOBAL bounds - >= 208716 @ 339.289
360.88/361.98	c GLOBAL bounds - >= 208716 @ 343.206
366.36/367.46	c GLOBAL bounds - >= 208716 @ 348.608
376.63/377.76	c #Conflicts:      11000 | #Constraints:    2209973
376.63/377.76	c GLOBAL bounds - >= 208716 @ 358.762
377.04/378.10	c GLOBAL bounds - >= 208716 @ 359.041
383.72/384.85	c GLOBAL bounds - >= 208716 @ 365.643
432.57/433.86	c #Conflicts:      12000 | #Constraints:    2246168
432.57/433.86	c INPROCESSING
432.57/433.86	c GARBAGE COLLECT
432.57/433.86	c #Conflicts:      13000 | #Constraints:    2244594
432.57/433.86	c GLOBAL bounds - >= 222989 @ 414.351
432.88/434.19	c GLOBAL bounds - >= 222989 @ 414.667
433.07/434.34	c GLOBAL bounds - >= 222989 @ 414.756
433.07/434.38	c GLOBAL bounds - >= 222989 @ 414.788
433.27/434.53	c GLOBAL bounds - >= 222989 @ 414.867
433.27/434.57	c GLOBAL bounds - >= 222989 @ 414.894
433.47/434.70	c GLOBAL bounds - >= 222989 @ 414.967
433.47/434.74	c GLOBAL bounds - >= 222989 @ 414.995
433.57/434.88	c GLOBAL bounds - >= 222989 @ 415.065
433.67/434.92	c GLOBAL bounds - >= 222989 @ 415.091
433.77/435.05	c GLOBAL bounds - >= 222989 @ 415.153
433.77/435.09	c GLOBAL bounds - >= 222989 @ 415.18
433.97/435.20	c GLOBAL bounds - >= 222989 @ 415.24
433.97/435.25	c GLOBAL bounds - >= 222989 @ 415.271
434.06/435.37	c GLOBAL bounds - >= 222989 @ 415.335
434.16/435.42	c GLOBAL bounds - >= 222989 @ 415.365
434.26/435.54	c GLOBAL bounds - >= 222989 @ 415.428
434.26/435.58	c GLOBAL bounds - >= 222989 @ 415.457
434.46/435.71	c GLOBAL bounds - >= 222989 @ 415.518
434.46/435.75	c GLOBAL bounds - >= 222989 @ 415.548
434.56/435.87	c GLOBAL bounds - >= 222989 @ 415.597
434.67/435.99	c GLOBAL bounds - >= 222989 @ 415.651
434.88/436.15	c GLOBAL bounds - >= 222989 @ 415.748
435.07/436.31	c GLOBAL bounds - >= 222989 @ 415.857
435.17/436.49	c GLOBAL bounds - >= 222989 @ 415.97
435.37/436.66	c GLOBAL bounds - >= 222989 @ 416.072
435.96/437.22	c GLOBAL bounds - >= 222989 @ 416.562
436.47/437.70	c GLOBAL bounds - >= 222989 @ 416.992
436.56/437.83	c GLOBAL bounds - >= 222989 @ 417.073
439.15/440.42	c GLOBAL bounds - >= 222989 @ 419.608
445.04/446.32	c GLOBAL bounds - >= 222989 @ 425.434
454.41/455.71	c GLOBAL bounds - >= 222989 @ 434.734
455.31/456.61	c GLOBAL bounds - >= 222989 @ 435.586
477.15/478.50	c #Conflicts:      14000 | #Constraints:    2389251
477.15/478.50	c GLOBAL bounds - >= 222989 @ 457.343
481.13/482.54	c GLOBAL bounds - >= 222989 @ 461.313
692.12/694.11	c #Conflicts:      15000 | #Constraints:    2412645
692.12/694.11	c INPROCESSING
692.12/694.11	c GARBAGE COLLECT
692.12/694.11	c #Conflicts:      16000 | #Constraints:    2410837
692.12/694.11	c #Conflicts:      17000 | #Constraints:    2411837
692.12/694.11	c #Conflicts:      18000 | #Constraints:    2412837
692.12/694.11	c INPROCESSING
692.12/694.11	c GARBAGE COLLECT
692.12/694.11	c #Conflicts:      19000 | #Constraints:    2410863
692.12/694.11	c #Conflicts:      20000 | #Constraints:    2411863
692.12/694.11	c GLOBAL bounds - >= 250648 @ 671.939
692.32/694.36	c GLOBAL bounds - >= 250648 @ 672.173
692.41/694.40	c GLOBAL bounds - >= 250648 @ 672.201
692.41/694.44	c GLOBAL bounds - >= 250648 @ 672.233
692.41/694.48	c GLOBAL bounds - >= 250648 @ 672.265
692.52/694.53	c GLOBAL bounds - >= 250648 @ 672.295
692.52/694.57	c GLOBAL bounds - >= 250648 @ 672.327
692.61/694.61	c GLOBAL bounds - >= 250648 @ 672.356
693.41/695.49	c GLOBAL bounds - >= 250648 @ 673.15
693.51/695.53	c GLOBAL bounds - >= 250648 @ 673.178
693.61/695.66	c GLOBAL bounds - >= 250648 @ 673.25
693.71/695.71	c GLOBAL bounds - >= 250648 @ 673.284
693.81/695.82	c GLOBAL bounds - >= 250648 @ 673.34
693.81/695.83	c GLOBAL bounds - >= 250648 @ 673.343
693.91/695.94	c GLOBAL bounds - >= 250648 @ 673.404
693.91/695.99	c GLOBAL bounds - >= 250648 @ 673.437
694.12/696.10	c GLOBAL bounds - >= 250648 @ 673.502
694.12/696.15	c GLOBAL bounds - >= 250648 @ 673.529
694.21/696.26	c GLOBAL bounds - >= 250648 @ 673.585
694.30/696.31	c GLOBAL bounds - >= 250648 @ 673.618
694.41/696.43	c GLOBAL bounds - >= 250648 @ 673.674
694.41/696.47	c GLOBAL bounds - >= 250648 @ 673.706
694.51/696.59	c GLOBAL bounds - >= 250648 @ 673.767
694.61/696.63	c GLOBAL bounds - >= 250648 @ 673.796
694.71/696.75	c GLOBAL bounds - >= 250648 @ 673.85
694.71/696.79	c GLOBAL bounds - >= 250648 @ 673.881
694.91/696.91	c GLOBAL bounds - >= 250648 @ 673.937
695.01/697.04	c GLOBAL bounds - >= 250648 @ 674.008
695.11/697.16	c GLOBAL bounds - >= 250648 @ 674.062
695.41/697.45	c GLOBAL bounds - >= 250648 @ 674.284
695.60/697.66	c GLOBAL bounds - >= 250648 @ 674.443
695.81/697.89	c GLOBAL bounds - >= 250648 @ 674.613
696.20/698.20	c GLOBAL bounds - >= 250648 @ 674.872
696.51/698.52	c GLOBAL bounds - >= 250648 @ 675.133
696.70/698.73	c GLOBAL bounds - >= 250648 @ 675.287
696.90/698.96	c GLOBAL bounds - >= 250648 @ 675.463
697.11/699.14	c GLOBAL bounds - >= 250648 @ 675.583
697.30/699.35	c GLOBAL bounds - >= 250648 @ 675.733
697.50/699.54	c GLOBAL bounds - >= 250648 @ 675.873
699.00/701.08	c GLOBAL bounds - >= 250648 @ 677.352
702.09/704.11	c GLOBAL bounds - >= 250648 @ 680.31
705.98/708.10	c GLOBAL bounds - >= 250648 @ 684.223
706.58/708.67	c GLOBAL bounds - >= 250648 @ 684.739
718.14/720.22	c #Conflicts:      21000 | #Constraints:    2478817
718.14/720.22	c GLOBAL bounds - >= 250648 @ 696.177
718.44/720.57	c GLOBAL bounds - >= 250648 @ 696.473
718.74/720.81	c GLOBAL bounds - >= 250648 @ 696.652
833.19/835.60	c #Conflicts:      22000 | #Constraints:    2512418
833.19/835.60	c #Conflicts:      23000 | #Constraints:    2513418
833.19/835.60	c GLOBAL bounds - >= 251491 @ 810.528
833.29/835.70	c GLOBAL bounds - >= 251491 @ 810.621
833.29/835.75	c GLOBAL bounds - >= 251491 @ 810.651
833.29/835.79	c GLOBAL bounds - >= 251491 @ 810.683
833.39/835.84	c GLOBAL bounds - >= 251491 @ 810.716
835.69/838.16	c GLOBAL bounds - >= 251491 @ 812.943
835.79/838.21	c GLOBAL bounds - >= 251491 @ 812.972
835.89/838.35	c GLOBAL bounds - >= 251491 @ 813.061
835.89/838.39	c GLOBAL bounds - >= 251491 @ 813.09
836.08/838.53	c GLOBAL bounds - >= 251491 @ 813.171
836.08/838.58	c GLOBAL bounds - >= 251491 @ 813.207
836.29/838.72	c GLOBAL bounds - >= 251491 @ 813.285
836.29/838.76	c GLOBAL bounds - >= 251491 @ 813.316
836.39/838.89	c GLOBAL bounds - >= 251491 @ 813.385
836.49/838.94	c GLOBAL bounds - >= 251491 @ 813.417
836.59/839.06	c GLOBAL bounds - >= 251491 @ 813.489
836.69/839.11	c GLOBAL bounds - >= 251491 @ 813.52
836.78/839.24	c GLOBAL bounds - >= 251491 @ 813.6
836.78/839.28	c GLOBAL bounds - >= 251491 @ 813.628
836.98/839.41	c GLOBAL bounds - >= 251491 @ 813.698
836.98/839.45	c GLOBAL bounds - >= 251491 @ 813.726
837.08/839.57	c GLOBAL bounds - >= 251491 @ 813.796
837.18/839.62	c GLOBAL bounds - >= 251491 @ 813.826
837.28/839.75	c GLOBAL bounds - >= 251491 @ 813.892
837.48/839.99	c GLOBAL bounds - >= 251491 @ 814.073
837.88/840.37	c GLOBAL bounds - >= 251491 @ 814.397
838.18/840.61	c GLOBAL bounds - >= 251491 @ 814.568
838.68/841.16	c GLOBAL bounds - >= 251491 @ 815.076
839.28/841.78	c GLOBAL bounds - >= 251491 @ 815.624
839.48/841.99	c GLOBAL bounds - >= 251491 @ 815.787
839.98/842.49	c GLOBAL bounds - >= 251491 @ 816.226
841.68/844.16	c GLOBAL bounds - >= 251491 @ 817.833
841.97/844.49	c GLOBAL bounds - >= 251491 @ 818.108
846.86/849.30	c #Conflicts:      24000 | #Constraints:    2591931
846.86/849.30	c GLOBAL bounds - >= 251491 @ 822.792
850.14/852.61	c GLOBAL bounds - >= 251491 @ 825.996
856.82/859.37	c GLOBAL bounds - >= 251491 @ 832.625
857.22/859.74	c GLOBAL bounds - >= 251491 @ 832.929
857.63/860.15	c GLOBAL bounds - >= 251491 @ 833.282
1276.73/1280.52	c #Conflicts:      25000 | #Constraints:    2636870
1276.73/1280.52	c #Conflicts:      26000 | #Constraints:    2637870
1276.73/1280.52	c #Conflicts:      27000 | #Constraints:    2638870
1276.73/1280.52	c #Conflicts:      28000 | #Constraints:    2639870
1276.73/1280.52	c INPROCESSING
1276.73/1280.52	c GARBAGE COLLECT
1276.73/1280.52	c #Conflicts:      29000 | #Constraints:    2634037
1276.73/1280.52	c #Conflicts:      30000 | #Constraints:    2635037
1276.73/1280.52	c #Conflicts:      31000 | #Constraints:    2636037
1276.73/1280.52	c #Conflicts:      32000 | #Constraints:    2637037
1276.73/1280.52	c GLOBAL bounds - >= 262291 @ 1251.17
1276.93/1280.71	c GLOBAL bounds - >= 262291 @ 1251.35
1276.93/1280.76	c GLOBAL bounds - >= 262291 @ 1251.38
1277.03/1280.80	c GLOBAL bounds - >= 262291 @ 1251.42
1277.03/1280.85	c GLOBAL bounds - >= 262291 @ 1251.45
1277.63/1281.46	c GLOBAL bounds - >= 262291 @ 1251.99
1277.73/1281.51	c GLOBAL bounds - >= 262291 @ 1252.02
1277.82/1281.64	c GLOBAL bounds - >= 262291 @ 1252.1
1277.82/1281.69	c GLOBAL bounds - >= 262291 @ 1252.13
1278.02/1281.81	c GLOBAL bounds - >= 262291 @ 1252.2
1278.02/1281.86	c GLOBAL bounds - >= 262291 @ 1252.24
1278.13/1281.99	c GLOBAL bounds - >= 262291 @ 1252.31
1278.24/1282.04	c GLOBAL bounds - >= 262291 @ 1252.35
1278.33/1282.17	c GLOBAL bounds - >= 262291 @ 1252.41
1278.42/1282.21	c GLOBAL bounds - >= 262291 @ 1252.44
1278.53/1282.33	c GLOBAL bounds - >= 262291 @ 1252.5
1278.53/1282.38	c GLOBAL bounds - >= 262291 @ 1252.53
1278.72/1282.51	c GLOBAL bounds - >= 262291 @ 1252.6
1278.72/1282.55	c GLOBAL bounds - >= 262291 @ 1252.64
1278.82/1282.68	c GLOBAL bounds - >= 262291 @ 1252.71
1278.93/1282.72	c GLOBAL bounds - >= 262291 @ 1252.74
1279.03/1282.85	c GLOBAL bounds - >= 262291 @ 1252.81
1279.12/1282.90	c GLOBAL bounds - >= 262291 @ 1252.85
1279.23/1283.02	c GLOBAL bounds - >= 262291 @ 1252.92
1279.33/1283.16	c GLOBAL bounds - >= 262291 @ 1253
1279.52/1283.37	c GLOBAL bounds - >= 262291 @ 1253.15
1279.82/1283.60	c GLOBAL bounds - >= 262291 @ 1253.32
1280.12/1283.91	c GLOBAL bounds - >= 262291 @ 1253.58
1280.22/1284.06	c GLOBAL bounds - >= 262291 @ 1253.67
1280.42/1284.25	c GLOBAL bounds - >= 262291 @ 1253.8
1280.72/1284.53	c GLOBAL bounds - >= 262291 @ 1254.02
1280.92/1284.70	c GLOBAL bounds - >= 262291 @ 1254.14
1281.71/1285.56	c GLOBAL bounds - >= 262291 @ 1254.94
1283.01/1286.85	c #Conflicts:      33000 | #Constraints:    2704840
1283.01/1286.85	c GLOBAL bounds - >= 262291 @ 1256.17
1289.59/1293.48	c GLOBAL bounds - >= 262291 @ 1262.72
1347.42/1351.48	c INPROCESSING
1347.42/1351.48	c GARBAGE COLLECT
1347.42/1351.48	c #Conflicts:      34000 | #Constraints:    2717241
1347.42/1351.48	c GLOBAL bounds - >= 262291 @ 1320.42
1347.72/1351.72	c GLOBAL bounds - >= 262291 @ 1320.6
1355.70/1359.72	c #Conflicts:      35000 | #Constraints:    2737089
1355.70/1359.72	c GLOBAL bounds - >= 262291 @ 1328.51
1648.30/1653.21	c #Conflicts:      36000 | #Constraints:    2747886
1648.30/1653.21	c #Conflicts:      37000 | #Constraints:    2748886
1648.30/1653.21	c #Conflicts:      38000 | #Constraints:    2749886
1648.30/1653.21	c INPROCESSING
1648.30/1653.21	c GARBAGE COLLECT
1648.30/1653.21	c #Conflicts:      39000 | #Constraints:    2745732
1648.30/1653.21	c #Conflicts:      40000 | #Constraints:    2746732
1648.30/1653.21	c #Conflicts:      41000 | #Constraints:    2747732
1648.30/1653.21	c GLOBAL bounds - >= 267834 @ 1620.86
1648.30/1653.27	c GLOBAL bounds - >= 267834 @ 1620.91
1652.99/1657.94	c GLOBAL bounds - >= 267834 @ 1625.5
1652.99/1657.98	c GLOBAL bounds - >= 267834 @ 1625.53
1653.20/1658.12	c GLOBAL bounds - >= 267834 @ 1625.61
1653.20/1658.15	c GLOBAL bounds - >= 267834 @ 1625.64
1653.28/1658.28	c GLOBAL bounds - >= 267834 @ 1625.71
1653.38/1658.32	c GLOBAL bounds - >= 267834 @ 1625.73
1653.49/1658.44	c GLOBAL bounds - >= 267834 @ 1625.8
1653.49/1658.48	c GLOBAL bounds - >= 267834 @ 1625.83
1653.69/1658.60	c GLOBAL bounds - >= 267834 @ 1625.89
1653.69/1658.65	c GLOBAL bounds - >= 267834 @ 1625.92
1653.79/1658.77	c GLOBAL bounds - >= 267834 @ 1625.98
1653.89/1658.81	c GLOBAL bounds - >= 267834 @ 1626.01
1653.98/1658.93	c GLOBAL bounds - >= 267834 @ 1626.08
1653.98/1658.97	c GLOBAL bounds - >= 267834 @ 1626.11
1654.09/1659.09	c GLOBAL bounds - >= 267834 @ 1626.18
1654.19/1659.13	c GLOBAL bounds - >= 267834 @ 1626.21
1654.29/1659.25	c GLOBAL bounds - >= 267834 @ 1626.28
1654.29/1659.29	c GLOBAL bounds - >= 267834 @ 1626.3
1654.48/1659.41	c GLOBAL bounds - >= 267834 @ 1626.36
1654.78/1659.74	c GLOBAL bounds - >= 267834 @ 1626.62
1654.88/1659.85	c GLOBAL bounds - >= 267834 @ 1626.69
1655.09/1660.03	c GLOBAL bounds - >= 267834 @ 1626.82
1655.28/1660.24	c GLOBAL bounds - >= 267834 @ 1626.97
1655.48/1660.43	c GLOBAL bounds - >= 267834 @ 1627.11
1655.58/1660.57	c GLOBAL bounds - >= 267834 @ 1627.19
1655.78/1660.79	c GLOBAL bounds - >= 267834 @ 1627.36
1655.98/1660.91	c GLOBAL bounds - >= 267834 @ 1627.42
1656.18/1661.13	c GLOBAL bounds - >= 267834 @ 1627.59
1656.57/1661.50	c GLOBAL bounds - >= 267834 @ 1627.92
1656.77/1661.78	c GLOBAL bounds - >= 267834 @ 1628.15
1657.67/1662.62	c GLOBAL bounds - >= 267834 @ 1628.93
1658.47/1663.46	c GLOBAL bounds - >= 267834 @ 1629.71
1662.16/1667.11	c GLOBAL bounds - >= 267834 @ 1633.3
1662.26/1667.29	c GLOBAL bounds - >= 267834 @ 1633.42
1663.96/1668.97	c GLOBAL bounds - >= 267834 @ 1635.04
1667.94/1672.91	c GLOBAL bounds - >= 267834 @ 1638.91
1668.64/1673.63	c GLOBAL bounds - >= 267834 @ 1639.57
1669.24/1674.29	c GLOBAL bounds - >= 267834 @ 1640.19
1669.44/1674.49	c GLOBAL bounds - >= 267834 @ 1640.33
1669.64/1674.66	c GLOBAL bounds - >= 267834 @ 1640.44
1669.94/1674.90	c GLOBAL bounds - >= 267834 @ 1640.62
1675.23/1680.29	c #Conflicts:      42000 | #Constraints:    2863305
1675.23/1680.29	c GLOBAL bounds - >= 267834 @ 1645.93
1785.19/1790.50	c #Conflicts:      43000 | #Constraints:    2871706
1785.19/1790.50	c #Conflicts:      44000 | #Constraints:    2872706
1785.19/1790.50	c GLOBAL bounds - >= 267834 @ 1755.63
1785.69/1791.04	c GLOBAL bounds - >= 267834 @ 1756.11
1808.31/1813.70	c #Conflicts:      45000 | #Constraints:    2892706
1808.31/1813.70	c GLOBAL bounds - >= 267834 @ 1778.61
1816.49/1821.98	c GLOBAL bounds - >= 267834 @ 1786.78
1819.28/1824.74	c GLOBAL bounds - >= 267834 @ 1789.47
2078.45/2084.72	c #Conflicts:      46000 | #Constraints:    2922431
2078.45/2084.72	c #Conflicts:      47000 | #Constraints:    2923431
2078.45/2084.72	c #Conflicts:      48000 | #Constraints:    2924431
2078.45/2084.72	c #Conflicts:      49000 | #Constraints:    2925431
2078.45/2084.72	c GLOBAL bounds - >= 271083 @ 2047.78
2078.55/2084.85	c GLOBAL bounds - >= 271083 @ 2047.9
2078.55/2084.90	c GLOBAL bounds - >= 271083 @ 2047.93
2078.65/2084.94	c GLOBAL bounds - >= 271083 @ 2047.96
2079.35/2085.65	c GLOBAL bounds - >= 271083 @ 2048.6
2079.35/2085.69	c GLOBAL bounds - >= 271083 @ 2048.63
2079.55/2085.85	c GLOBAL bounds - >= 271083 @ 2048.73
2079.55/2085.89	c GLOBAL bounds - >= 271083 @ 2048.76
2079.75/2086.04	c GLOBAL bounds - >= 271083 @ 2048.85
2079.75/2086.08	c GLOBAL bounds - >= 271083 @ 2048.87
2079.94/2086.23	c GLOBAL bounds - >= 271083 @ 2048.95
2079.94/2086.27	c GLOBAL bounds - >= 271083 @ 2048.98
2080.14/2086.41	c GLOBAL bounds - >= 271083 @ 2049.06
2080.14/2086.46	c GLOBAL bounds - >= 271083 @ 2049.09
2080.34/2086.60	c GLOBAL bounds - >= 271083 @ 2049.18
2080.34/2086.64	c GLOBAL bounds - >= 271083 @ 2049.21
2080.44/2086.78	c GLOBAL bounds - >= 271083 @ 2049.29
2080.55/2086.82	c GLOBAL bounds - >= 271083 @ 2049.32
2080.75/2087.02	c GLOBAL bounds - >= 271083 @ 2049.45
2080.75/2087.06	c GLOBAL bounds - >= 271083 @ 2049.48
2080.94/2087.21	c GLOBAL bounds - >= 271083 @ 2049.56
2080.94/2087.25	c GLOBAL bounds - >= 271083 @ 2049.6
2081.04/2087.39	c GLOBAL bounds - >= 271083 @ 2049.68
2081.34/2087.60	c GLOBAL bounds - >= 271083 @ 2049.83
2081.54/2087.80	c GLOBAL bounds - >= 271083 @ 2049.97
2081.74/2088.05	c GLOBAL bounds - >= 271083 @ 2050.16
2083.74/2090.03	c GLOBAL bounds - >= 271083 @ 2052.04
2083.94/2090.22	c GLOBAL bounds - >= 271083 @ 2052.17
2084.34/2090.64	c GLOBAL bounds - >= 271083 @ 2052.54
2084.53/2090.82	c GLOBAL bounds - >= 271083 @ 2052.68
2085.63/2091.94	c GLOBAL bounds - >= 271083 @ 2053.7
2086.23/2092.54	c GLOBAL bounds - >= 271083 @ 2054.24
2086.43/2092.72	c GLOBAL bounds - >= 271083 @ 2054.36
2087.03/2093.33	c GLOBAL bounds - >= 271083 @ 2054.9
2087.52/2093.84	c GLOBAL bounds - >= 271083 @ 2055.36
2087.83/2094.15	c GLOBAL bounds - >= 271083 @ 2055.61
2088.03/2094.34	c GLOBAL bounds - >= 271083 @ 2055.75
2088.72/2095.06	c GLOBAL bounds - >= 271083 @ 2056.41
2088.92/2095.24	c GLOBAL bounds - >= 271083 @ 2056.52
2089.23/2095.51	c GLOBAL bounds - >= 271083 @ 2056.73
2103.98/2110.30	c GLOBAL bounds - >= 271083 @ 2071.21
2106.68/2113.03	c #Conflicts:      50000 | #Constraints:    3056674
2106.68/2113.03	c GLOBAL bounds - >= 271083 @ 2073.87
2107.67/2114.04	c GLOBAL bounds - >= 271083 @ 2074.81
2113.05/2119.42	c GLOBAL bounds - >= 271083 @ 2080.07
2326.09/2333.11	c #Conflicts:      51000 | #Constraints:    3077855
2326.09/2333.11	c #Conflicts:      52000 | #Constraints:    3078855
2326.09/2333.11	c INPROCESSING
2326.09/2333.11	c GARBAGE COLLECT
2326.09/2333.11	c #Conflicts:      53000 | #Constraints:    3069796
2326.09/2333.11	c #Conflicts:      54000 | #Constraints:    3070796
2326.09/2333.11	c GLOBAL bounds - >= 271083 @ 2291.96
2326.28/2333.36	c GLOBAL bounds - >= 271083 @ 2292.14
2326.48/2333.59	c GLOBAL bounds - >= 271083 @ 2292.32
2397.46/2404.78	c #Conflicts:      55000 | #Constraints:    3093527
2397.46/2404.78	c #Conflicts:      56000 | #Constraints:    3094527
2397.46/2404.78	c GLOBAL bounds - >= 271083 @ 2363.14
3600.04/3611.15	c #Conflicts:      57000 | #Constraints:    3103236
3600.04/3611.15	c #Conflicts:      58000 | #Constraints:    3104236
3600.04/3611.15	c INPROCESSING
3600.04/3611.15	c GARBAGE COLLECT
3600.04/3611.15	c #Conflicts:      59000 | #Constraints:    3097235
3600.04/3611.15	c #Conflicts:      60000 | #Constraints:    3098235
3600.04/3611.15	c #Conflicts:      61000 | #Constraints:    3099235
3600.04/3611.15	c #Conflicts:      62000 | #Constraints:    3100235
3600.04/3611.15	c #Conflicts:      63000 | #Constraints:    3101235
3600.04/3611.15	c #Conflicts:      64000 | #Constraints:    3102235
3600.04/3611.15	c #Conflicts:      65000 | #Constraints:    3103235
3600.04/3611.15	c INPROCESSING
3600.04/3611.15	c GARBAGE COLLECT
3600.04/3611.15	c #Conflicts:      66000 | #Constraints:    3097147
3600.04/3611.15	c #Conflicts:      67000 | #Constraints:    3098147
3600.04/3611.15	c #Conflicts:      68000 | #Constraints:    3099147
3600.04/3611.15	c #Conflicts:      69000 | #Constraints:    3100147
3600.04/3611.15	c #Conflicts:      70000 | #Constraints:    3101147
3600.04/3611.15	c #Conflicts:      71000 | #Constraints:    3102147
3600.04/3611.15	c INPROCESSING
3600.04/3611.15	c GARBAGE COLLECT
3600.04/3611.15	c #Conflicts:      72000 | #Constraints:    3096388
3600.04/3611.15	c #Conflicts:      73000 | #Constraints:    3097388
3600.04/3611.15	c #Conflicts:      74000 | #Constraints:    3098388
3600.04/3611.15	c #Conflicts:      75000 | #Constraints:    3099388
3600.04/3611.15	c #Conflicts:      76000 | #Constraints:    3100388
3600.04/3611.15	c #Conflicts:      77000 | #Constraints:    3101388
3600.04/3611.15	c #Conflicts:      78000 | #Constraints:    3102388
3600.04/3611.15	c #Conflicts:      79000 | #Constraints:    3103388
3600.04/3611.15	c cpu time 3564.08 s
3600.04/3611.15	c deterministic time 177086561 1.77e+08
3600.04/3611.15	c optimization time 3555.98 s
3600.04/3611.15	c total solve time 7.11626 s
3600.04/3611.15	c core-guided solve time 0 s
3600.04/3611.15	c propagation time 3.96325 s
3600.04/3611.15	c conflict analysis time 1.70743 s
3600.04/3611.15	c propagations 33327463
3600.04/3611.15	c resolve steps 0
3600.04/3611.15	c decisions 11754982
3600.04/3611.15	c conflicts 166
3600.04/3611.15	c restarts 2
3600.04/3611.15	c inprocessing phases 0
3600.04/3611.15	c garbage collections 0 ,( -nan )
3600.04/3611.15	c input clauses 209231 ,( 71.89 )
3600.04/3611.15	c input cardinalities 49 ,( 0.02 )
3600.04/3611.15	c input general constraints 81746 ,( 28.09 )
3600.04/3611.15	c input average constraint length 27.97
3600.04/3611.15	c input average constraint degree 9503863.50
3600.04/3611.15	c learned clauses 43 ,( 20.48 )
3600.04/3611.15	c learned cardinalities 5 ,( 2.38 )
3600.04/3611.15	c learned general constraints 162 ,( 77.14 )
3600.04/3611.15	c learned average constraint length 491.43
3600.04/3611.15	c learned average constraint degree 32.02
3600.04/3611.15	c watched  CF 32, 64, 128, Arb: 197 , 0 , 0 , 0
3600.04/3611.15	c counting CF 32, 64, 128, Arb: 81599 , 113 , 0 , 0
3600.04/3611.15	c watched   constraints 197 ,( 0.24 ) 
3600.04/3611.15	c counting  constraints 81711 ,( 99.76 ) 
3600.04/3611.15	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3721641 , 947 , 25226286 ,( 30925 , 25195361 )
3600.04/3611.15	c gcd simplifications 0
3600.04/3611.15	c detected cardinalities 0
3600.04/3611.15	c weakened non-implied lits 0
3600.04/3611.15	c weakened non-implying lits 0
3600.04/3611.15	c original variables 126385
3600.04/3611.15	c clausal propagations 3697794
3600.04/3611.15	c cardinality propagations 480
3600.04/3611.15	c watched propagations 11693
3600.04/3611.15	c counting propagations 15413753
3600.04/3611.15	c watch lookups 29790365
3600.04/3611.15	c watch backjump lookups 0
3600.04/3611.15	c watch checks 4861111
3600.04/3611.15	c propagation checks 52130747
3600.04/3611.15	c constraint additions 136421
3600.04/3611.15	c trail pops 45082471
3600.04/3611.15	c formula constraints 290547
3600.04/3611.15	c learned constraints 210
3600.04/3611.15	c bound constraints 0
3600.04/3611.15	c core-guided constraints 0
3600.04/3611.15	c encountered formula constraints 114
3600.04/3611.15	c encountered learned constraints 25
3600.04/3611.15	c encountered bound constraints 0
3600.04/3611.15	c encountered core-guided constraints 0
3600.04/3611.15	c LP total time 1.78447 s
3600.04/3611.15	c LP solve time 1.66 s
3600.04/3611.15	c LP constraints added 290547
3600.04/3611.15	c LP constraints removed 0
3600.04/3611.15	c LP pivots internal 2000
3600.04/3611.15	c LP pivots root 1000
3600.04/3611.15	c LP calls 2
3600.04/3611.15	c LP optimalities 0
3600.04/3611.15	c LP no pivot count 0
3600.04/3611.15	c LP infeasibilities 0
3600.04/3611.15	c LP valid Farkas constraints 0
3600.04/3611.15	c LP learned Farkas constraints 0
3600.04/3611.15	c LP basis resets 0
3600.04/3611.15	c LP cycling count 0
3600.04/3611.15	c LP singular count 0
3600.04/3611.15	c LP no primal count 0
3600.04/3611.15	c LP no farkas count 0
3600.04/3611.15	c LP other issue count 0
3600.04/3611.15	c LP Gomory cuts 0
3600.04/3611.15	c LP learned cuts 0
3600.04/3611.15	c LP deleted cuts 0
3600.04/3611.15	c LP encountered Gomory constraints 0
3600.04/3611.15	c LP encountered Farkas constraints 0
3600.04/3611.15	c LP encountered learned Farkas constraints 0
3600.04/3611.15	c CG auxiliary variables introduced 373
3600.04/3611.15	c CG solutions found 0
3600.04/3611.15	c CG cores constructed 193
3600.04/3611.15	c CG core cardinality constraints returned 0
3600.04/3611.15	c CG unit cores 0
3600.04/3611.15	c CG single cores 0
3600.04/3611.15	c CG blocks removed during cardinality reduction 0
3600.04/3611.15	c CG first core best 0
3600.04/3611.15	c CG decision core best 0
3600.04/3611.15	c CG core reduction tie 0
3600.04/3611.15	c CG core degree average 0.00
3600.04/3611.15	c CG core slack average 0.00
3600.04/3611.15	c CG core upper bound improvements 0
3600.04/3611.15	c STR number of successful calls 0
3600.04/3611.15	c STR number of unsuccessful calls 0
3600.04/3611.15	c STR number of inconclusive calls 0
3600.04/3611.15	c STR number of successful attempts 0
3600.04/3611.15	c STR number of unsuccessful attempts 0
3600.04/3611.15	c STR number of inconclusive attempts 0
3600.04/3611.15	c STR average degree increase per successful call inf
3600.04/3611.15	c STR average degree increase per successful attempt inf
3600.04/3611.15	c STR total number of conflicts for successful attempts 0
3600.04/3611.15	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.15	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.15	c STR average number of conflicts per successful attempt inf
3600.04/3611.15	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.15	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.15	c AVG.sumWPerc 99.49 
3600.04/3611.15	c bigint constraints 113 
3600.04/3611.15	s UNKNOWN
3600.04/3611.15	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: 63665 MiB (58580 MiB free)
  memory of node 1: 64507 MiB (61354 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504710-1751463976/watcher-4504710-1751463976 -o /tmp/evaluation-result-4504710-1751463976/solver-4504710-1751463976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62204 --watchdog 3760 run-opt.sh HOME/instance-4504710-1751463976.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=63032, runsolver pid=63029

[startup+0.10007 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122788884/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=79560 memory=34872 CPUtime=0.08 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 6215 0 0 0 6 2 0 0 20 0 1 0 62077484 81469440 8718 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 19890 8718 1952 1147 0 7317 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83752 KiB
Current children cumulated memory: 37816 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122776788/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=83472 memory=38968 CPUtime=0.19 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 7241 0 0 0 15 4 0 0 20 0 1 0 62077484 85475328 9742 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 20868 9742 1952 1147 0 8295 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87664 KiB
Current children cumulated memory: 41912 KiB

[startup+0.30548 s]*
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122772756/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=88400 memory=42680 CPUtime=0.29 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 8234 0 0 0 23 6 0 0 20 0 1 0 62077484 90521600 10670 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 22100 10670 1952 1147 0 9527 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92592 KiB
Current children cumulated memory: 45624 KiB

[startup+0.700192 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122736716/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=111548 memory=64556 CPUtime=0.67 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 12709 0 0 0 51 16 0 0 20 0 1 0 62077484 114225152 16139 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 27887 16139 1952 1147 0 15314 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115740 KiB
Current children cumulated memory: 67500 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122587888/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=518984 memory=351068 CPUtime=1.47 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 43668 0 0 0 111 36 0 0 20 0 1 0 62077484 531439616 87767 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 129746 87767 2368 1147 0 117173 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 523176 KiB
Current children cumulated memory: 354012 KiB

[startup+3.10536 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 63034
/proc/meminfo: memFree=122026852/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=518984 memory=352732 CPUtime=3.08 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 44058 0 0 0 206 102 0 0 20 0 1 0 62077484 531439616 88183 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 129746 88183 2400 1147 0 117173 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 523176 KiB
Current children cumulated memory: 355676 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 63034
/proc/meminfo: memFree=121671340/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=768488 memory=580060 CPUtime=6.26 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 78530 0 0 0 425 201 0 0 20 0 1 0 62077484 786931712 145015 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 192122 145015 2400 1147 0 179549 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 772680 KiB
Current children cumulated memory: 583004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 63034
/proc/meminfo: memFree=120960176/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=929704 memory=723684 CPUtime=12.65 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 103873 0 0 0 933 332 0 0 20 0 1 0 62077484 952016896 180921 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 232426 180921 2432 1147 0 219853 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 933896 KiB
Current children cumulated memory: 726628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 63034
/proc/meminfo: memFree=119747852/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=1421136 memory=1158876 CPUtime=25.42 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 188667 0 0 0 2045 497 0 0 20 0 1 0 62077484 1455243264 289719 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 355284 289719 2432 1147 0 342711 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1425328 KiB
Current children cumulated memory: 1161820 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.08 4.09 5/267 63035
/proc/meminfo: memFree=117050152/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=2058792 memory=1792716 CPUtime=50.95 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 304259 0 0 0 4397 698 0 0 20 0 1 0 62077484 2108203008 448179 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 514698 448179 2432 1147 0 502125 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2062984 KiB
Current children cumulated memory: 1795660 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 63036
/proc/meminfo: memFree=112711844/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=2940800 memory=2460592 CPUtime=102.01 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 430417 0 0 0 9348 853 0 0 20 0 1 0 62077484 3011379200 615148 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 735200 615148 2432 1147 0 722627 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2944992 KiB
Current children cumulated memory: 2463536 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 63039
/proc/meminfo: memFree=110433976/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=3597500 memory=2949836 CPUtime=161.84 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 508332 0 0 0 15173 1011 0 0 20 0 1 0 62077484 3683840000 737459 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 899375 737459 2432 1147 0 886802 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3601692 KiB
Current children cumulated memory: 2952780 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 63041
/proc/meminfo: memFree=109144256/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=4080792 memory=3563936 CPUtime=221.68 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 617164 0 0 0 20892 1276 0 0 20 0 1 0 62077484 4178731008 890984 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 1020198 890984 2432 1147 0 1007625 0
Current children cumulated CPU time: 221.68 s

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

Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 16815116 KiB
Current children cumulated memory: 14307676 KiB

[startup+3222.3 s]
/proc/loadavg: 3.67 3.93 4.03 4/260 63267
/proc/meminfo: memFree=96993312/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16867632 memory=14361464 CPUtime=3212.42 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2613888 0 0 0 317688 3554 0 0 20 0 1 0 62077484 17272455168 3590366 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4216908 3590366 2432 1147 0 4204335 0
Current children cumulated CPU time: 3212.42 s
Current children cumulated vsize: 16871824 KiB
Current children cumulated memory: 14364408 KiB

[startup+3282.3 s]
/proc/loadavg: 3.29 3.77 3.97 4/259 63269
/proc/meminfo: memFree=96498224/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14304880 CPUtime=3272.26 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2614080 0 0 0 323663 3563 0 0 20 0 1 0 62077484 17214382080 3576220 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3576220 2432 1147 0 4190157 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14307824 KiB

[startup+3342.3 s]
/proc/loadavg: 3.17 3.65 3.91 4/259 63271
/proc/meminfo: memFree=95836448/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14312688 CPUtime=3332.08 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2614424 0 0 0 329636 3572 0 0 20 0 1 0 62077484 17214382080 3578172 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3578172 2432 1147 0 4190157 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14315632 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.54 3.85 4/259 63273
/proc/meminfo: memFree=95273732/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14313456 CPUtime=3391.89 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2614725 0 0 0 335611 3578 0 0 20 0 1 0 62077484 17214382080 3578364 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3578364 2432 1147 0 4190157 0
Current children cumulated CPU time: 3391.89 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14316400 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.46 3.80 4/259 63275
/proc/meminfo: memFree=94888784/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14317040 CPUtime=3451.71 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2615033 0 0 0 341586 3585 0 0 20 0 1 0 62077484 17214382080 3579260 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3579260 2432 1147 0 4190157 0
Current children cumulated CPU time: 3451.71 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14319984 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.40 3.76 4/260 63280
/proc/meminfo: memFree=94847448/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14317936 CPUtime=3511.52 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2615346 0 0 0 347562 3590 0 0 20 0 1 0 62077484 17214382080 3579484 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3579484 2432 1147 0 4190157 0
Current children cumulated CPU time: 3511.52 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14320880 KiB

[startup+3582.3 s]
/proc/loadavg: 2.69 3.24 3.68 3/253 63313
/proc/meminfo: memFree=104731212/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14317936 CPUtime=3571.32 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2615698 0 0 0 353536 3596 0 0 20 0 1 0 62077484 17214382080 3579484 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3579484 2432 1147 0 4190157 0
Current children cumulated CPU time: 3571.32 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14320880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 2.47 3.14 3.63 3/253 63314
/proc/meminfo: memFree=104713764/131250000 swapFree=33010416/33010684
[pid=63032] ppid=63029 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/63032/stat : 63032 (run-opt.sh) S 63029 63032 62186 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 62077483 4292608 736 18446744073709551615 93873691361280 93873692255813 140734040155872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93873692494864 93873692542608 93873721106432 140734040160621 140734040160744 140734040160744 140734040166346 0
/proc/63032/statm: 1048 736 672 219 0 110 0
[pid=63034] ppid=63032 vsize=16810920 memory=14317936 CPUtime=3600.04 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63032 63032 62186 0 -1 4194304 2616084 0 0 0 356403 3601 0 0 20 0 1 0 62077484 17214382080 3579484 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3579484 2432 1147 0 4190157 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 16815112 KiB
Current children cumulated memory: 14320880 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.002258 s, system=0 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3564.21 s, system=36.4461 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+3611.2 s]*
/proc/loadavg: 2.47 3.14 3.63 3/252 63314
/proc/meminfo: memFree=104713764/131250000 swapFree=33010416/33010684
[pid=63034] ppid=63029 vsize=16810920 memory=14318192 CPUtime=3600.14 cores=5,7
/proc/63034/stat : 63034 (roundingsat) R 63029 63032 62186 0 -1 4194304 2616141 0 0 0 356413 3601 0 0 20 0 1 0 62077484 17214382080 3579548 18446744073709551615 4227072 8923433 140725177829328 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20152320 140725177837986 140725177838120 140725177838120 140725177843690 0
/proc/63034/statm: 4202730 3579548 2496 1147 0 4190157 0
Current cumulated CPU time of completed processes: 0.002258 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 16810920 KiB
Current children cumulated memory: 14318192 KiB

[startup+3611.6 s]
/proc/loadavg: 2.47 3.14 3.63 3/252 63314
/proc/meminfo: memFree=111322120/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002258 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.7 s]
/proc/loadavg: 2.47 3.14 3.63 3/252 63314
/proc/meminfo: memFree=111322120/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002258 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): 3611.71
CPU time (s): 3600.65
CPU user time (s): 3564.21
CPU system time (s): 36.4461
CPU usage (%): 99.6938
Max. virtual memory (cumulated for all children) (KiB): 16918464
Max. memory (cumulated for all children) (KiB): 14410908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.21
system time used= 36.4461
maximum resident set size= 14407964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2616455
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= 166
involuntary context switches= 4572


# summary of solver processes directly reported to runsolver:
#   pid: 63032,63034
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3564.21
#   total CPU system time (s): 36.4461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.61756 second user time and 15.6892 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-02 15:46:16
IDJOB=4504710
IDBENCH=155672
IDSOLVER=3350
FILE ID=nodeC027/4504710-1751463976
RUNJOBID= nodeC027-1751456689-62204
SLURM_JOB_ID= 9598455
Free space on /tmp= 431100 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_mh_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504710-1751463976/watcher-4504710-1751463976 -o /tmp/evaluation-result-4504710-1751463976/solver-4504710-1751463976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751456689-62204 --watchdog 3760  run-opt.sh HOME/instance-4504710-1751463976.opb

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

MD5SUM BENCH= 981ef51cec9b68890fa336e7b4cc767b
RANDOM SEED=51942942

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        122813436 kB
MemAvailable:   122927312 kB
Buffers:            2488 kB
Cached:           914632 kB
SwapCached:           12 kB
Active:          7443008 kB
Inactive:         374920 kB
Active(anon):    6916076 kB
Inactive(anon):     2792 kB
Active(file):     526932 kB
Inactive(file):   372128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19440 kB
Writeback:           260 kB
AnonPages:       6904196 kB
Mapped:           117444 kB
Shmem:             18056 kB
KReclaimable:     107708 kB
Slab:             196660 kB
SReclaimable:     107708 kB
SUnreclaim:        88952 kB
KernelStack:        4304 kB
PageTables:        17108 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    8323396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1746944 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431148 MiB
End job on nodeC027 at 2025-07-02 16:46:28