Trace number 4504711

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-log 63f22ad? (TO) 3600.88 3613.37

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.46/1.55	c #variables 126385 #constraints 290547
1.46/1.55	c objective is ce32 
1.77/1.87	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.77/1.87	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.77/1.87	c GLOBAL bounds - >= -35 @ 1.43683
1.96/2.02	c GLOBAL bounds - >= -35 @ 1.51287
2.06/2.17	c GLOBAL bounds - >= -35 @ 1.61431
2.27/2.31	c GLOBAL bounds - >= -35 @ 1.70111
2.36/2.45	c GLOBAL bounds - >= -35 @ 1.79526
2.56/2.66	c GLOBAL bounds - >= -35 @ 1.94708
2.66/2.80	c GLOBAL bounds - >= -35 @ 2.03725
2.86/2.94	c GLOBAL bounds - >= -35 @ 2.1349
2.97/3.09	c GLOBAL bounds - >= -35 @ 2.22879
3.16/3.28	c GLOBAL bounds - >= -35 @ 2.36797
3.36/3.45	c GLOBAL bounds - >= -35 @ 2.48314
3.46/3.59	c GLOBAL bounds - >= -35 @ 2.56658
3.66/3.73	c GLOBAL bounds - >= -35 @ 2.65209
3.86/3.90	c GLOBAL bounds - >= -35 @ 2.76612
3.96/4.09	c GLOBAL bounds - >= -35 @ 2.89861
4.16/4.25	c GLOBAL bounds - >= -35 @ 3.01219
4.35/4.44	c GLOBAL bounds - >= -35 @ 3.14244
4.46/4.58	c GLOBAL bounds - >= -35 @ 3.23108
4.65/4.72	c GLOBAL bounds - >= -35 @ 3.32963
4.76/4.86	c GLOBAL bounds - >= -35 @ 3.4234
4.96/5.01	c GLOBAL bounds - >= -35 @ 3.52961
5.15/5.21	c GLOBAL bounds - >= -35 @ 3.68675
5.26/5.35	c GLOBAL bounds - >= -35 @ 3.77708
5.46/5.52	c GLOBAL bounds - >= -35 @ 3.89832
5.65/5.77	c GLOBAL bounds - >= -35 @ 4.09211
5.85/5.96	c GLOBAL bounds - >= -35 @ 4.22558
6.06/6.13	c GLOBAL bounds - >= -35 @ 4.34125
6.25/6.32	c GLOBAL bounds - >= -35 @ 4.47113
6.36/6.46	c GLOBAL bounds - >= -35 @ 4.56546
6.55/6.66	c GLOBAL bounds - >= -35 @ 4.69534
6.85/6.90	c GLOBAL bounds - >= -35 @ 4.8731
7.25/7.32	c GLOBAL bounds - >= -35 @ 5.22033
7.65/7.73	c GLOBAL bounds - >= 45613 @ 5.61904
9.44/9.59	c GLOBAL bounds - >= 45613 @ 7.41186
9.55/9.63	c GLOBAL bounds - >= 45613 @ 7.43506
9.55/9.66	c GLOBAL bounds - >= 45613 @ 7.45758
9.55/9.67	c GLOBAL bounds - >= 45613 @ 7.45898
9.55/9.67	c GLOBAL bounds - >= 45613 @ 7.45992
9.74/9.84	c GLOBAL bounds - >= 45613 @ 7.54375
9.74/9.87	c GLOBAL bounds - >= 45613 @ 7.57111
9.95/10.04	c GLOBAL bounds - >= 45613 @ 7.67711
9.95/10.08	c GLOBAL bounds - >= 45613 @ 7.69876
10.15/10.29	c GLOBAL bounds - >= 45613 @ 7.82223
10.24/10.33	c GLOBAL bounds - >= 45613 @ 7.85438
10.44/10.52	c GLOBAL bounds - >= 45613 @ 7.97454
10.44/10.56	c GLOBAL bounds - >= 45613 @ 8.00152
10.64/10.75	c GLOBAL bounds - >= 45613 @ 8.11136
10.64/10.79	c GLOBAL bounds - >= 45613 @ 8.13833
10.84/10.96	c GLOBAL bounds - >= 45613 @ 8.24686
10.84/11.00	c GLOBAL bounds - >= 45613 @ 8.27617
11.05/11.16	c GLOBAL bounds - >= 45613 @ 8.36373
11.14/11.20	c GLOBAL bounds - >= 45613 @ 8.39094
11.25/11.32	c GLOBAL bounds - >= 45613 @ 8.45054
11.25/11.36	c GLOBAL bounds - >= 45613 @ 8.47916
11.34/11.49	c GLOBAL bounds - >= 45613 @ 8.52938
11.44/11.53	c GLOBAL bounds - >= 45613 @ 8.55446
11.54/11.65	c GLOBAL bounds - >= 45613 @ 8.61927
11.65/11.78	c GLOBAL bounds - >= 45613 @ 8.69404
11.84/11.90	c GLOBAL bounds - >= 45613 @ 8.76373
11.95/12.03	c GLOBAL bounds - >= 45613 @ 8.83384
12.04/12.15	c GLOBAL bounds - >= 45613 @ 8.90959
12.24/12.34	c GLOBAL bounds - >= 45613 @ 9.02156
12.44/12.52	c GLOBAL bounds - >= 45613 @ 9.13861
12.64/12.70	c GLOBAL bounds - >= 45613 @ 9.24632
18.83/18.99	c GLOBAL bounds - >= 89536 @ 15.3886
18.93/19.07	c GLOBAL bounds - >= 89536 @ 15.4585
19.12/19.26	c GLOBAL bounds - >= 89536 @ 15.5749
19.22/19.30	c GLOBAL bounds - >= 89536 @ 15.601
19.32/19.48	c GLOBAL bounds - >= 89536 @ 15.7132
19.42/19.52	c GLOBAL bounds - >= 89536 @ 15.7398
19.63/19.70	c GLOBAL bounds - >= 89536 @ 15.8559
19.63/19.75	c GLOBAL bounds - >= 89536 @ 15.8826
19.82/19.90	c GLOBAL bounds - >= 89536 @ 15.9706
19.82/19.94	c GLOBAL bounds - >= 89536 @ 15.9994
19.93/20.08	c GLOBAL bounds - >= 89536 @ 16.0781
20.02/20.12	c GLOBAL bounds - >= 89536 @ 16.103
20.12/20.26	c GLOBAL bounds - >= 89536 @ 16.1762
20.12/20.29	c GLOBAL bounds - >= 89536 @ 16.1971
20.32/20.42	c GLOBAL bounds - >= 89536 @ 16.261
20.32/20.45	c GLOBAL bounds - >= 89536 @ 16.2755
20.42/20.59	c GLOBAL bounds - >= 89536 @ 16.3548
20.53/20.63	c GLOBAL bounds - >= 89536 @ 16.3824
20.62/20.76	c GLOBAL bounds - >= 89536 @ 16.456
20.72/20.80	c GLOBAL bounds - >= 89536 @ 16.4835
20.82/20.93	c GLOBAL bounds - >= 89536 @ 16.5624
20.93/21.09	c GLOBAL bounds - >= 89536 @ 16.6526
21.12/21.25	c GLOBAL bounds - >= 89536 @ 16.7541
21.32/21.41	c GLOBAL bounds - >= 89536 @ 16.8622
21.42/21.58	c GLOBAL bounds - >= 89536 @ 16.9559
21.82/21.96	c GLOBAL bounds - >= 89536 @ 17.2698
22.22/22.31	c GLOBAL bounds - >= 89536 @ 17.5541
28.21/28.36	c GLOBAL bounds - >= 89536 @ 23.4047
28.61/28.75	c GLOBAL bounds - >= 89536 @ 23.7241
30.50/30.65	c GLOBAL bounds - >= 89536 @ 25.521
31.00/31.10	c GLOBAL bounds - >= 89536 @ 25.9057
31.40/31.59	c GLOBAL bounds - >= 89536 @ 26.3134
32.39/32.50	c GLOBAL bounds - >= 89536 @ 27.1548
35.39/35.53	c GLOBAL bounds - >= 89536 @ 30.0695
37.08/37.26	c GLOBAL bounds - >= 89536 @ 31.7034
38.88/39.09	c GLOBAL bounds - >= 89536 @ 33.4271
57.23/57.41	c #Conflicts:       1000 | #Constraints:     715145
57.23/57.41	c GLOBAL bounds - >= 177361 @ 51.325
57.33/57.52	c GLOBAL bounds - >= 177361 @ 51.4214
57.33/57.56	c GLOBAL bounds - >= 177361 @ 51.4493
57.43/57.60	c GLOBAL bounds - >= 177361 @ 51.4772
58.02/58.20	c GLOBAL bounds - >= 177361 @ 51.9991
58.02/58.24	c GLOBAL bounds - >= 177361 @ 52.0285
58.13/58.39	c GLOBAL bounds - >= 177361 @ 52.1051
58.23/58.43	c GLOBAL bounds - >= 177361 @ 52.1331
58.32/58.58	c GLOBAL bounds - >= 177361 @ 52.2144
58.43/58.63	c GLOBAL bounds - >= 177361 @ 52.2444
58.52/58.76	c GLOBAL bounds - >= 177361 @ 52.3215
58.62/58.80	c GLOBAL bounds - >= 177361 @ 52.3429
58.73/58.94	c GLOBAL bounds - >= 177361 @ 52.4181
58.73/58.98	c GLOBAL bounds - >= 177361 @ 52.4515
58.93/59.12	c GLOBAL bounds - >= 177361 @ 52.5302
58.93/59.16	c GLOBAL bounds - >= 177361 @ 52.5603
59.12/59.30	c GLOBAL bounds - >= 177361 @ 52.6336
59.12/59.34	c GLOBAL bounds - >= 177361 @ 52.6627
59.23/59.47	c GLOBAL bounds - >= 177361 @ 52.7347
59.32/59.52	c GLOBAL bounds - >= 177361 @ 52.761
59.43/59.65	c GLOBAL bounds - >= 177361 @ 52.8309
59.43/59.69	c GLOBAL bounds - >= 177361 @ 52.8582
59.62/59.83	c GLOBAL bounds - >= 177361 @ 52.9336
59.72/59.99	c GLOBAL bounds - >= 177361 @ 53.0276
59.92/60.15	c GLOBAL bounds - >= 177361 @ 53.1238
60.12/60.31	c GLOBAL bounds - >= 177361 @ 53.225
60.22/60.48	c GLOBAL bounds - >= 177361 @ 53.3299
60.42/60.65	c GLOBAL bounds - >= 177361 @ 53.4394
60.62/60.81	c GLOBAL bounds - >= 177361 @ 53.529
61.12/61.35	c GLOBAL bounds - >= 177361 @ 53.995
61.62/61.83	c GLOBAL bounds - >= 177361 @ 54.3882
62.12/62.37	c GLOBAL bounds - >= 177361 @ 54.8753
62.32/62.57	c GLOBAL bounds - >= 177361 @ 55.023
62.51/62.76	c GLOBAL bounds - >= 177361 @ 55.1541
62.72/62.97	c GLOBAL bounds - >= 177361 @ 55.2987
63.32/63.58	c GLOBAL bounds - >= 177361 @ 55.8168
63.61/63.83	c GLOBAL bounds - >= 177361 @ 56.0113
69.80/70.09	c GLOBAL bounds - >= 177361 @ 62.0785
72.79/73.05	c GLOBAL bounds - >= 177361 @ 64.9248
73.28/73.52	c GLOBAL bounds - >= 177361 @ 65.3185
78.58/78.80	c GLOBAL bounds - >= 177361 @ 70.4104
101.61/102.00	c #Conflicts:       2000 | #Constraints:     844554
101.61/102.00	c INPROCESSING
101.61/102.00	c GARBAGE COLLECT
101.61/102.00	c GLOBAL bounds - >= 177361 @ 93.1439
109.38/109.70	c GLOBAL bounds - >= 177361 @ 100.678
113.57/113.91	c GLOBAL bounds - >= 183315 @ 104.823
113.57/113.98	c GLOBAL bounds - >= 183315 @ 104.882
115.17/115.55	c GLOBAL bounds - >= 183315 @ 106.349
115.17/115.59	c GLOBAL bounds - >= 183315 @ 106.377
115.37/115.74	c GLOBAL bounds - >= 183315 @ 106.455
115.37/115.78	c GLOBAL bounds - >= 183315 @ 106.485
115.57/115.93	c GLOBAL bounds - >= 183315 @ 106.564
115.57/115.97	c GLOBAL bounds - >= 183315 @ 106.592
115.77/116.11	c GLOBAL bounds - >= 183315 @ 106.673
115.77/116.15	c GLOBAL bounds - >= 183315 @ 106.703
115.96/116.33	c GLOBAL bounds - >= 183315 @ 106.8
115.96/116.37	c GLOBAL bounds - >= 183315 @ 106.83
116.17/116.54	c GLOBAL bounds - >= 183315 @ 106.924
116.17/116.58	c GLOBAL bounds - >= 183315 @ 106.955
116.36/116.75	c GLOBAL bounds - >= 183315 @ 107.062
116.36/116.79	c GLOBAL bounds - >= 183315 @ 107.092
116.57/116.96	c GLOBAL bounds - >= 183315 @ 107.196
116.67/117.00	c GLOBAL bounds - >= 183315 @ 107.226
116.77/117.17	c GLOBAL bounds - >= 183315 @ 107.326
116.87/117.21	c GLOBAL bounds - >= 183315 @ 107.355
116.97/117.38	c GLOBAL bounds - >= 183315 @ 107.453
117.16/117.57	c GLOBAL bounds - >= 183315 @ 107.578
117.36/117.76	c GLOBAL bounds - >= 183315 @ 107.714
117.66/118.10	c GLOBAL bounds - >= 183315 @ 107.986
172.01/172.58	c #Conflicts:       3000 | #Constraints:    1062693
172.01/172.58	c GLOBAL bounds - >= 200989 @ 161.374
172.10/172.66	c GLOBAL bounds - >= 200989 @ 161.439
172.21/172.70	c GLOBAL bounds - >= 200989 @ 161.466
172.21/172.73	c GLOBAL bounds - >= 200989 @ 161.496
172.21/172.77	c GLOBAL bounds - >= 200989 @ 161.521
172.41/172.96	c GLOBAL bounds - >= 200989 @ 161.627
172.41/173.00	c GLOBAL bounds - >= 200989 @ 161.66
172.61/173.19	c GLOBAL bounds - >= 200989 @ 161.775
172.71/173.23	c GLOBAL bounds - >= 200989 @ 161.801
172.91/173.41	c GLOBAL bounds - >= 200989 @ 161.912
172.91/173.45	c GLOBAL bounds - >= 200989 @ 161.942
173.11/173.69	c GLOBAL bounds - >= 200989 @ 162.106
173.21/173.73	c GLOBAL bounds - >= 200989 @ 162.139
173.41/173.93	c GLOBAL bounds - >= 200989 @ 162.281
173.41/173.97	c GLOBAL bounds - >= 200989 @ 162.31
173.61/174.18	c GLOBAL bounds - >= 200989 @ 162.435
173.70/174.22	c GLOBAL bounds - >= 200989 @ 162.461
173.81/174.37	c GLOBAL bounds - >= 200989 @ 162.539
173.91/174.41	c GLOBAL bounds - >= 200989 @ 162.563
174.10/174.61	c GLOBAL bounds - >= 200989 @ 162.702
174.10/174.65	c GLOBAL bounds - >= 200989 @ 162.734
174.30/174.84	c GLOBAL bounds - >= 200989 @ 162.853
174.30/174.88	c GLOBAL bounds - >= 200989 @ 162.88
174.61/175.11	c GLOBAL bounds - >= 200989 @ 163.042
174.81/175.31	c GLOBAL bounds - >= 200989 @ 163.167
175.00/175.50	c GLOBAL bounds - >= 200989 @ 163.303
175.80/176.39	c GLOBAL bounds - >= 200989 @ 164.108
176.10/176.63	c GLOBAL bounds - >= 200989 @ 164.271
176.40/176.91	c GLOBAL bounds - >= 200989 @ 164.492
177.10/177.66	c GLOBAL bounds - >= 200989 @ 165.169
216.88/217.52	c #Conflicts:       4000 | #Constraints:    1282606
216.88/217.52	c INPROCESSING
216.88/217.52	c GARBAGE COLLECT
216.88/217.52	c GLOBAL bounds - >= 200989 @ 204.334
217.58/218.21	c GLOBAL bounds - >= 200989 @ 204.951
248.79/249.56	c #Conflicts:       5000 | #Constraints:    1311610
248.79/249.56	c GLOBAL bounds - >= 201298 @ 235.879
248.89/249.65	c GLOBAL bounds - >= 201298 @ 235.961
249.49/250.21	c GLOBAL bounds - >= 201298 @ 236.464
249.49/250.24	c GLOBAL bounds - >= 201298 @ 236.485
250.69/251.43	c GLOBAL bounds - >= 201298 @ 237.586
250.69/251.47	c GLOBAL bounds - >= 201298 @ 237.614
250.89/251.62	c GLOBAL bounds - >= 201298 @ 237.697
250.89/251.64	c GLOBAL bounds - >= 201298 @ 237.718
250.99/251.79	c GLOBAL bounds - >= 201298 @ 237.798
251.09/251.82	c GLOBAL bounds - >= 201298 @ 237.82
251.19/251.96	c GLOBAL bounds - >= 201298 @ 237.9
251.19/251.98	c GLOBAL bounds - >= 201298 @ 237.911
251.40/252.11	c GLOBAL bounds - >= 201298 @ 237.98
251.40/252.13	c GLOBAL bounds - >= 201298 @ 237.994
251.48/252.27	c GLOBAL bounds - >= 201298 @ 238.064
251.48/252.28	c GLOBAL bounds - >= 201298 @ 238.075
251.69/252.41	c GLOBAL bounds - >= 201298 @ 238.146
251.69/252.45	c GLOBAL bounds - >= 201298 @ 238.177
251.79/252.58	c GLOBAL bounds - >= 201298 @ 238.253
251.88/252.61	c GLOBAL bounds - >= 201298 @ 238.281
251.98/252.75	c GLOBAL bounds - >= 201298 @ 238.355
252.19/252.90	c GLOBAL bounds - >= 201298 @ 238.454
252.30/253.05	c GLOBAL bounds - >= 201298 @ 238.558
252.48/253.22	c GLOBAL bounds - >= 201298 @ 238.673
252.58/253.34	c GLOBAL bounds - >= 201298 @ 238.743
252.78/253.52	c GLOBAL bounds - >= 201298 @ 238.86
253.28/254.02	c GLOBAL bounds - >= 201298 @ 239.296
253.49/254.20	c GLOBAL bounds - >= 201298 @ 239.423
253.59/254.37	c GLOBAL bounds - >= 201298 @ 239.548
253.88/254.60	c GLOBAL bounds - >= 201298 @ 239.724
254.29/255.08	c GLOBAL bounds - >= 201298 @ 240.152
254.48/255.23	c GLOBAL bounds - >= 201298 @ 240.256
256.17/256.99	c GLOBAL bounds - >= 201298 @ 241.925
256.48/257.28	c GLOBAL bounds - >= 201298 @ 242.158
257.08/257.89	c GLOBAL bounds - >= 201298 @ 242.694
257.28/258.07	c GLOBAL bounds - >= 201298 @ 242.829
260.37/261.17	c GLOBAL bounds - >= 201298 @ 245.82
266.75/267.53	c GLOBAL bounds - >= 201298 @ 251.989
267.95/268.74	c GLOBAL bounds - >= 201298 @ 253.113
268.14/268.98	c GLOBAL bounds - >= 201298 @ 253.295
272.53/273.39	c #Conflicts:       6000 | #Constraints:    1363403
272.53/273.39	c GLOBAL bounds - >= 201298 @ 257.577
274.02/274.80	c GLOBAL bounds - >= 201298 @ 258.897
275.82/276.65	c GLOBAL bounds - >= 201298 @ 260.65
276.72/277.52	c GLOBAL bounds - >= 201298 @ 261.457
277.01/277.88	c GLOBAL bounds - >= 201298 @ 261.752
281.22/282.10	c GLOBAL bounds - >= 201298 @ 265.84
281.81/282.61	c GLOBAL bounds - >= 201298 @ 266.278
284.10/284.92	c GLOBAL bounds - >= 201298 @ 268.476
291.87/292.74	c GLOBAL bounds - >= 201298 @ 276.022
317.50/318.45	c INPROCESSING
317.50/318.45	c GARBAGE COLLECT
317.50/318.45	c #Conflicts:       7000 | #Constraints:    1448276
317.50/318.45	c GLOBAL bounds - >= 201298 @ 301.25
318.01/318.91	c GLOBAL bounds - >= 201298 @ 301.637
318.90/319.81	c GLOBAL bounds - >= 201298 @ 302.475
324.59/325.57	c GLOBAL bounds - >= 201298 @ 308.088
336.06/337.07	c GLOBAL bounds - >= 204990 @ 319.416
336.16/337.14	c GLOBAL bounds - >= 204990 @ 319.48
336.16/337.18	c GLOBAL bounds - >= 204990 @ 319.505
336.26/337.22	c GLOBAL bounds - >= 204990 @ 319.532
336.26/337.26	c GLOBAL bounds - >= 204990 @ 319.555
336.55/337.52	c GLOBAL bounds - >= 204990 @ 319.741
336.55/337.56	c GLOBAL bounds - >= 204990 @ 319.771
336.75/337.73	c GLOBAL bounds - >= 204990 @ 319.875
336.75/337.77	c GLOBAL bounds - >= 204990 @ 319.907
336.95/337.94	c GLOBAL bounds - >= 204990 @ 320.014
336.95/337.98	c GLOBAL bounds - >= 204990 @ 320.045
337.15/338.17	c GLOBAL bounds - >= 204990 @ 320.177
337.24/338.21	c GLOBAL bounds - >= 204990 @ 320.203
337.55/338.50	c GLOBAL bounds - >= 204990 @ 320.421
337.55/338.54	c GLOBAL bounds - >= 204990 @ 320.457
337.75/338.73	c GLOBAL bounds - >= 204990 @ 320.588
337.75/338.77	c GLOBAL bounds - >= 204990 @ 320.62
337.95/338.99	c GLOBAL bounds - >= 204990 @ 320.777
338.06/339.03	c GLOBAL bounds - >= 204990 @ 320.805
338.35/339.39	c GLOBAL bounds - >= 204990 @ 321.09
338.44/339.43	c GLOBAL bounds - >= 204990 @ 321.121
338.55/339.59	c GLOBAL bounds - >= 204990 @ 321.233
338.64/339.63	c GLOBAL bounds - >= 204990 @ 321.267
338.74/339.79	c GLOBAL bounds - >= 204990 @ 321.356
338.94/339.96	c GLOBAL bounds - >= 204990 @ 321.466
339.15/340.14	c GLOBAL bounds - >= 204990 @ 321.585
339.35/340.31	c GLOBAL bounds - >= 204990 @ 321.7
339.44/340.49	c GLOBAL bounds - >= 204990 @ 321.817
339.65/340.67	c GLOBAL bounds - >= 204990 @ 321.948
340.14/341.17	c GLOBAL bounds - >= 204990 @ 322.375
340.34/341.35	c GLOBAL bounds - >= 204990 @ 322.507
340.84/341.81	c GLOBAL bounds - >= 204990 @ 322.909
341.24/342.22	c GLOBAL bounds - >= 204990 @ 323.257
346.82/347.86	c GLOBAL bounds - >= 204990 @ 328.729
347.53/348.57	c GLOBAL bounds - >= 204990 @ 329.369
353.60/354.68	c GLOBAL bounds - >= 204990 @ 335.325
411.94/413.16	c #Conflicts:       8000 | #Constraints:    1767262
411.94/413.16	c GLOBAL bounds - >= 208203 @ 392.898
412.04/413.26	c GLOBAL bounds - >= 208203 @ 392.982
412.14/413.30	c GLOBAL bounds - >= 208203 @ 393.009
412.14/413.34	c GLOBAL bounds - >= 208203 @ 393.035
412.14/413.38	c GLOBAL bounds - >= 208203 @ 393.061
412.24/413.42	c GLOBAL bounds - >= 208203 @ 393.086
412.24/413.46	c GLOBAL bounds - >= 208203 @ 393.114
412.34/413.50	c GLOBAL bounds - >= 208203 @ 393.142
412.34/413.54	c GLOBAL bounds - >= 208203 @ 393.171
412.34/413.58	c GLOBAL bounds - >= 208203 @ 393.198
412.44/413.61	c GLOBAL bounds - >= 208203 @ 393.227
412.44/413.65	c GLOBAL bounds - >= 208203 @ 393.257
412.44/413.69	c GLOBAL bounds - >= 208203 @ 393.286
412.53/413.73	c GLOBAL bounds - >= 208203 @ 393.317
412.73/413.95	c GLOBAL bounds - >= 208203 @ 393.483
412.73/413.99	c GLOBAL bounds - >= 208203 @ 393.514
412.94/414.18	c GLOBAL bounds - >= 208203 @ 393.625
413.03/414.22	c GLOBAL bounds - >= 208203 @ 393.652
413.24/414.40	c GLOBAL bounds - >= 208203 @ 393.778
413.24/414.44	c GLOBAL bounds - >= 208203 @ 393.806
413.44/414.66	c GLOBAL bounds - >= 208203 @ 393.959
413.53/414.70	c GLOBAL bounds - >= 208203 @ 393.99
414.94/416.18	c GLOBAL bounds - >= 208203 @ 395.363
415.03/416.22	c GLOBAL bounds - >= 208203 @ 395.395
415.23/416.46	c GLOBAL bounds - >= 208203 @ 395.58
415.33/416.50	c GLOBAL bounds - >= 208203 @ 395.614
416.03/417.28	c GLOBAL bounds - >= 208203 @ 396.292
416.13/417.32	c GLOBAL bounds - >= 208203 @ 396.318
416.32/417.51	c GLOBAL bounds - >= 208203 @ 396.447
416.32/417.55	c GLOBAL bounds - >= 208203 @ 396.475
416.52/417.73	c GLOBAL bounds - >= 208203 @ 396.59
416.52/417.78	c GLOBAL bounds - >= 208203 @ 396.621
416.73/417.95	c GLOBAL bounds - >= 208203 @ 396.732
416.92/418.14	c GLOBAL bounds - >= 208203 @ 396.867
417.12/418.34	c GLOBAL bounds - >= 208203 @ 397.003
417.42/418.62	c GLOBAL bounds - >= 208203 @ 397.228
417.62/418.82	c GLOBAL bounds - >= 208203 @ 397.372
417.93/419.13	c GLOBAL bounds - >= 208203 @ 397.608
418.12/419.34	c GLOBAL bounds - >= 208203 @ 397.755
426.70/427.96	c #Conflicts:       9000 | #Constraints:    1976441
426.70/427.96	c GLOBAL bounds - >= 208203 @ 406.118
427.20/428.40	c GLOBAL bounds - >= 208203 @ 406.486
428.49/429.76	c GLOBAL bounds - >= 208203 @ 407.763
428.69/429.96	c GLOBAL bounds - >= 208203 @ 407.895
450.84/452.18	c INPROCESSING
450.84/452.18	c GARBAGE COLLECT
450.84/452.18	c GLOBAL bounds - >= 208203 @ 429.744
484.44/485.88	c #Conflicts:      10000 | #Constraints:    2043576
484.44/485.88	c GLOBAL bounds - >= 208716 @ 462.949
484.54/485.97	c GLOBAL bounds - >= 208716 @ 463.027
484.64/486.01	c GLOBAL bounds - >= 208716 @ 463.052
484.64/486.05	c GLOBAL bounds - >= 208716 @ 463.079
484.64/486.09	c GLOBAL bounds - >= 208716 @ 463.106
484.74/486.13	c GLOBAL bounds - >= 208716 @ 463.135
484.74/486.17	c GLOBAL bounds - >= 208716 @ 463.162
484.94/486.34	c GLOBAL bounds - >= 208716 @ 463.273
484.94/486.38	c GLOBAL bounds - >= 208716 @ 463.3
485.14/486.56	c GLOBAL bounds - >= 208716 @ 463.418
485.23/486.60	c GLOBAL bounds - >= 208716 @ 463.45
493.01/494.43	c GLOBAL bounds - >= 208716 @ 471.101
493.01/494.48	c GLOBAL bounds - >= 208716 @ 471.128
493.21/494.63	c GLOBAL bounds - >= 208716 @ 471.222
493.21/494.67	c GLOBAL bounds - >= 208716 @ 471.25
493.41/494.83	c GLOBAL bounds - >= 208716 @ 471.338
493.41/494.87	c GLOBAL bounds - >= 208716 @ 471.364
493.61/495.02	c GLOBAL bounds - >= 208716 @ 471.451
493.61/495.06	c GLOBAL bounds - >= 208716 @ 471.482
493.81/495.21	c GLOBAL bounds - >= 208716 @ 471.569
493.81/495.25	c GLOBAL bounds - >= 208716 @ 471.597
494.00/495.40	c GLOBAL bounds - >= 208716 @ 471.677
494.00/495.44	c GLOBAL bounds - >= 208716 @ 471.702
494.10/495.58	c GLOBAL bounds - >= 208716 @ 471.786
494.21/495.63	c GLOBAL bounds - >= 208716 @ 471.813
494.30/495.77	c GLOBAL bounds - >= 208716 @ 471.899
494.50/495.94	c GLOBAL bounds - >= 208716 @ 472.005
494.71/496.10	c GLOBAL bounds - >= 208716 @ 472.117
494.90/496.39	c GLOBAL bounds - >= 208716 @ 472.343
495.11/496.56	c GLOBAL bounds - >= 208716 @ 472.463
495.31/496.78	c GLOBAL bounds - >= 208716 @ 472.622
495.50/496.99	c GLOBAL bounds - >= 208716 @ 472.769
496.00/497.40	c GLOBAL bounds - >= 208716 @ 473.113
496.10/497.57	c GLOBAL bounds - >= 208716 @ 473.231
496.40/497.85	c GLOBAL bounds - >= 208716 @ 473.458
497.10/498.55	c GLOBAL bounds - >= 208716 @ 474.098
510.07/511.54	c GLOBAL bounds - >= 208716 @ 486.838
515.84/517.30	c GLOBAL bounds - >= 208716 @ 492.468
523.72/525.29	c GLOBAL bounds - >= 208716 @ 500.29
538.88/540.49	c #Conflicts:      11000 | #Constraints:    2209973
538.88/540.49	c GLOBAL bounds - >= 208716 @ 515.168
539.38/540.90	c GLOBAL bounds - >= 208716 @ 515.515
548.65/550.22	c GLOBAL bounds - >= 208716 @ 524.599
616.56/618.35	c #Conflicts:      12000 | #Constraints:    2246168
616.56/618.35	c INPROCESSING
616.56/618.35	c GARBAGE COLLECT
616.56/618.35	c #Conflicts:      13000 | #Constraints:    2244594
616.56/618.35	c GLOBAL bounds - >= 222989 @ 591.628
616.86/618.68	c GLOBAL bounds - >= 222989 @ 591.942
617.06/618.86	c GLOBAL bounds - >= 222989 @ 592.048
617.16/618.90	c GLOBAL bounds - >= 222989 @ 592.076
617.26/619.07	c GLOBAL bounds - >= 222989 @ 592.186
617.36/619.11	c GLOBAL bounds - >= 222989 @ 592.215
617.46/619.27	c GLOBAL bounds - >= 222989 @ 592.305
617.55/619.31	c GLOBAL bounds - >= 222989 @ 592.334
617.65/619.47	c GLOBAL bounds - >= 222989 @ 592.431
617.76/619.51	c GLOBAL bounds - >= 222989 @ 592.462
617.86/619.66	c GLOBAL bounds - >= 222989 @ 592.549
617.95/619.70	c GLOBAL bounds - >= 222989 @ 592.582
618.05/619.82	c GLOBAL bounds - >= 222989 @ 592.641
618.05/619.86	c GLOBAL bounds - >= 222989 @ 592.669
618.26/620.01	c GLOBAL bounds - >= 222989 @ 592.748
618.26/620.05	c GLOBAL bounds - >= 222989 @ 592.779
618.36/620.19	c GLOBAL bounds - >= 222989 @ 592.861
618.45/620.23	c GLOBAL bounds - >= 222989 @ 592.887
618.56/620.38	c GLOBAL bounds - >= 222989 @ 592.972
618.66/620.42	c GLOBAL bounds - >= 222989 @ 592.999
618.75/620.53	c GLOBAL bounds - >= 222989 @ 593.059
618.85/620.68	c GLOBAL bounds - >= 222989 @ 593.135
619.06/620.88	c GLOBAL bounds - >= 222989 @ 593.277
619.26/621.09	c GLOBAL bounds - >= 222989 @ 593.426
619.55/621.31	c GLOBAL bounds - >= 222989 @ 593.584
619.75/621.53	c GLOBAL bounds - >= 222989 @ 593.739
620.55/622.34	c GLOBAL bounds - >= 222989 @ 594.482
621.25/623.04	c GLOBAL bounds - >= 222989 @ 595.122
621.45/623.20	c GLOBAL bounds - >= 222989 @ 595.223
625.35/627.15	c GLOBAL bounds - >= 222989 @ 599.062
634.41/636.25	c GLOBAL bounds - >= 222989 @ 607.955
648.47/650.32	c GLOBAL bounds - >= 222989 @ 621.748
649.67/651.59	c GLOBAL bounds - >= 222989 @ 622.941
680.38/682.34	c #Conflicts:      14000 | #Constraints:    2389251
680.38/682.34	c GLOBAL bounds - >= 222989 @ 653.219
685.67/687.63	c GLOBAL bounds - >= 222989 @ 658.397
978.93/981.76	c #Conflicts:      15000 | #Constraints:    2412645
978.93/981.76	c INPROCESSING
978.93/981.76	c GARBAGE COLLECT
978.93/981.76	c #Conflicts:      16000 | #Constraints:    2410837
978.93/981.76	c #Conflicts:      17000 | #Constraints:    2411837
978.93/981.76	c #Conflicts:      18000 | #Constraints:    2412837
978.93/981.76	c INPROCESSING
978.93/981.76	c GARBAGE COLLECT
978.93/981.76	c #Conflicts:      19000 | #Constraints:    2410863
978.93/981.76	c #Conflicts:      20000 | #Constraints:    2411863
978.93/981.76	c GLOBAL bounds - >= 250648 @ 948.338
979.12/981.99	c GLOBAL bounds - >= 250648 @ 948.547
979.23/982.04	c GLOBAL bounds - >= 250648 @ 948.582
979.23/982.08	c GLOBAL bounds - >= 250648 @ 948.61
979.33/982.12	c GLOBAL bounds - >= 250648 @ 948.636
979.33/982.16	c GLOBAL bounds - >= 250648 @ 948.664
979.42/982.20	c GLOBAL bounds - >= 250648 @ 948.695
979.42/982.24	c GLOBAL bounds - >= 250648 @ 948.722
980.72/983.50	c GLOBAL bounds - >= 250648 @ 949.891
980.72/983.54	c GLOBAL bounds - >= 250648 @ 949.919
980.82/983.70	c GLOBAL bounds - >= 250648 @ 950.009
980.92/983.74	c GLOBAL bounds - >= 250648 @ 950.035
981.02/983.87	c GLOBAL bounds - >= 250648 @ 950.113
981.02/983.87	c GLOBAL bounds - >= 250648 @ 950.116
981.12/984.00	c GLOBAL bounds - >= 250648 @ 950.198
981.23/984.04	c GLOBAL bounds - >= 250648 @ 950.227
981.33/984.17	c GLOBAL bounds - >= 250648 @ 950.304
981.42/984.21	c GLOBAL bounds - >= 250648 @ 950.331
981.51/984.34	c GLOBAL bounds - >= 250648 @ 950.404
981.51/984.38	c GLOBAL bounds - >= 250648 @ 950.436
981.71/984.51	c GLOBAL bounds - >= 250648 @ 950.511
981.71/984.55	c GLOBAL bounds - >= 250648 @ 950.537
981.82/984.68	c GLOBAL bounds - >= 250648 @ 950.613
981.92/984.72	c GLOBAL bounds - >= 250648 @ 950.642
982.01/984.85	c GLOBAL bounds - >= 250648 @ 950.714
982.01/984.89	c GLOBAL bounds - >= 250648 @ 950.742
982.22/985.02	c GLOBAL bounds - >= 250648 @ 950.807
982.32/985.17	c GLOBAL bounds - >= 250648 @ 950.898
982.51/985.30	c GLOBAL bounds - >= 250648 @ 950.974
982.91/985.70	c GLOBAL bounds - >= 250648 @ 951.302
983.11/985.98	c GLOBAL bounds - >= 250648 @ 951.519
983.41/986.29	c GLOBAL bounds - >= 250648 @ 951.764
983.91/986.75	c GLOBAL bounds - >= 250648 @ 952.167
984.41/987.21	c GLOBAL bounds - >= 250648 @ 952.559
984.61/987.48	c GLOBAL bounds - >= 250648 @ 952.784
985.01/987.80	c GLOBAL bounds - >= 250648 @ 953.044
985.21/988.06	c GLOBAL bounds - >= 250648 @ 953.248
985.51/988.35	c GLOBAL bounds - >= 250648 @ 953.478
985.71/988.59	c GLOBAL bounds - >= 250648 @ 953.664
988.00/990.88	c GLOBAL bounds - >= 250648 @ 955.868
992.59/995.41	c GLOBAL bounds - >= 250648 @ 960.28
998.47/1001.38	c GLOBAL bounds - >= 250648 @ 966.103
999.27/1002.14	c GLOBAL bounds - >= 250648 @ 966.796
1016.02/1018.90	c #Conflicts:      21000 | #Constraints:    2478817
1016.02/1018.90	c GLOBAL bounds - >= 250648 @ 983.249
1016.42/1019.37	c GLOBAL bounds - >= 250648 @ 983.661
1016.72/1019.68	c GLOBAL bounds - >= 250648 @ 983.905
1171.57/1174.97	c #Conflicts:      22000 | #Constraints:    2512418
1171.57/1174.97	c #Conflicts:      23000 | #Constraints:    2513418
1171.57/1174.97	c GLOBAL bounds - >= 251491 @ 1136.62
1171.68/1175.07	c GLOBAL bounds - >= 251491 @ 1136.71
1171.77/1175.11	c GLOBAL bounds - >= 251491 @ 1136.73
1171.77/1175.15	c GLOBAL bounds - >= 251491 @ 1136.76
1171.77/1175.19	c GLOBAL bounds - >= 251491 @ 1136.79
1175.05/1178.47	c GLOBAL bounds - >= 251491 @ 1139.94
1175.16/1178.52	c GLOBAL bounds - >= 251491 @ 1139.97
1175.26/1178.68	c GLOBAL bounds - >= 251491 @ 1140.07
1175.36/1178.72	c GLOBAL bounds - >= 251491 @ 1140.1
1175.46/1178.89	c GLOBAL bounds - >= 251491 @ 1140.2
1175.56/1178.93	c GLOBAL bounds - >= 251491 @ 1140.23
1175.67/1179.09	c GLOBAL bounds - >= 251491 @ 1140.33
1175.76/1179.13	c GLOBAL bounds - >= 251491 @ 1140.36
1175.86/1179.27	c GLOBAL bounds - >= 251491 @ 1140.45
1175.95/1179.32	c GLOBAL bounds - >= 251491 @ 1140.47
1176.05/1179.46	c GLOBAL bounds - >= 251491 @ 1140.55
1176.15/1179.50	c GLOBAL bounds - >= 251491 @ 1140.58
1176.25/1179.65	c GLOBAL bounds - >= 251491 @ 1140.67
1176.25/1179.69	c GLOBAL bounds - >= 251491 @ 1140.69
1176.45/1179.83	c GLOBAL bounds - >= 251491 @ 1140.78
1176.45/1179.88	c GLOBAL bounds - >= 251491 @ 1140.81
1176.66/1180.02	c GLOBAL bounds - >= 251491 @ 1140.89
1176.66/1180.06	c GLOBAL bounds - >= 251491 @ 1140.93
1176.86/1180.20	c GLOBAL bounds - >= 251491 @ 1141.01
1177.16/1180.51	c GLOBAL bounds - >= 251491 @ 1141.26
1177.66/1181.02	c GLOBAL bounds - >= 251491 @ 1141.71
1177.95/1181.32	c GLOBAL bounds - >= 251491 @ 1141.95
1178.75/1182.11	c GLOBAL bounds - >= 251491 @ 1142.68
1179.65/1183.03	c GLOBAL bounds - >= 251491 @ 1143.53
1179.94/1183.30	c GLOBAL bounds - >= 251491 @ 1143.74
1180.65/1184.05	c GLOBAL bounds - >= 251491 @ 1144.42
1183.03/1186.49	c GLOBAL bounds - >= 251491 @ 1146.75
1183.54/1186.91	c GLOBAL bounds - >= 251491 @ 1147.1
1190.32/1193.75	c #Conflicts:      24000 | #Constraints:    2591931
1190.32/1193.75	c GLOBAL bounds - >= 251491 @ 1153.73
1195.00/1198.49	c GLOBAL bounds - >= 251491 @ 1158.3
1204.38/1207.82	c GLOBAL bounds - >= 251491 @ 1167.38
1204.79/1208.27	c GLOBAL bounds - >= 251491 @ 1167.77
1205.29/1208.77	c GLOBAL bounds - >= 251491 @ 1168.21
1751.79/1756.64	c #Conflicts:      25000 | #Constraints:    2636870
1751.79/1756.64	c #Conflicts:      26000 | #Constraints:    2637870
1751.79/1756.64	c #Conflicts:      27000 | #Constraints:    2638870
1751.79/1756.64	c #Conflicts:      28000 | #Constraints:    2639870
1751.79/1756.64	c INPROCESSING
1751.79/1756.64	c GARBAGE COLLECT
1751.79/1756.64	c #Conflicts:      29000 | #Constraints:    2634037
1751.79/1756.64	c #Conflicts:      30000 | #Constraints:    2635037
1751.79/1756.64	c #Conflicts:      31000 | #Constraints:    2636037
1751.79/1756.64	c #Conflicts:      32000 | #Constraints:    2637037
1751.79/1756.64	c GLOBAL bounds - >= 262291 @ 1708.53
1751.98/1756.84	c GLOBAL bounds - >= 262291 @ 1708.71
1751.98/1756.88	c GLOBAL bounds - >= 262291 @ 1708.75
1752.09/1756.93	c GLOBAL bounds - >= 262291 @ 1708.77
1752.09/1756.97	c GLOBAL bounds - >= 262291 @ 1708.8
1752.98/1757.80	c GLOBAL bounds - >= 262291 @ 1709.55
1752.98/1757.85	c GLOBAL bounds - >= 262291 @ 1709.58
1753.08/1758.00	c GLOBAL bounds - >= 262291 @ 1709.67
1753.20/1758.04	c GLOBAL bounds - >= 262291 @ 1709.71
1753.29/1758.19	c GLOBAL bounds - >= 262291 @ 1709.8
1753.38/1758.23	c GLOBAL bounds - >= 262291 @ 1709.84
1753.49/1758.37	c GLOBAL bounds - >= 262291 @ 1709.93
1753.59/1758.42	c GLOBAL bounds - >= 262291 @ 1709.96
1753.68/1758.56	c GLOBAL bounds - >= 262291 @ 1710.04
1753.78/1758.61	c GLOBAL bounds - >= 262291 @ 1710.07
1753.88/1758.75	c GLOBAL bounds - >= 262291 @ 1710.14
1753.88/1758.79	c GLOBAL bounds - >= 262291 @ 1710.18
1754.08/1758.94	c GLOBAL bounds - >= 262291 @ 1710.26
1754.08/1758.98	c GLOBAL bounds - >= 262291 @ 1710.3
1754.29/1759.12	c GLOBAL bounds - >= 262291 @ 1710.39
1754.29/1759.17	c GLOBAL bounds - >= 262291 @ 1710.42
1754.48/1759.31	c GLOBAL bounds - >= 262291 @ 1710.5
1754.48/1759.35	c GLOBAL bounds - >= 262291 @ 1710.53
1754.58/1759.49	c GLOBAL bounds - >= 262291 @ 1710.62
1754.78/1759.65	c GLOBAL bounds - >= 262291 @ 1710.73
1755.08/1759.92	c GLOBAL bounds - >= 262291 @ 1710.94
1755.38/1760.23	c GLOBAL bounds - >= 262291 @ 1711.19
1755.78/1760.65	c GLOBAL bounds - >= 262291 @ 1711.54
1755.98/1760.83	c GLOBAL bounds - >= 262291 @ 1711.66
1756.18/1761.06	c GLOBAL bounds - >= 262291 @ 1711.84
1756.58/1761.44	c GLOBAL bounds - >= 262291 @ 1712.14
1756.77/1761.64	c GLOBAL bounds - >= 262291 @ 1712.29
1757.97/1762.81	c GLOBAL bounds - >= 262291 @ 1713.4
1759.77/1764.64	c #Conflicts:      33000 | #Constraints:    2704840
1759.77/1764.64	c GLOBAL bounds - >= 262291 @ 1715.16
1769.55/1774.48	c GLOBAL bounds - >= 262291 @ 1724.78
1848.84/1853.92	c INPROCESSING
1848.84/1853.92	c GARBAGE COLLECT
1848.84/1853.92	c #Conflicts:      34000 | #Constraints:    2717241
1848.84/1853.92	c GLOBAL bounds - >= 262291 @ 1803.04
1849.15/1854.28	c GLOBAL bounds - >= 262291 @ 1803.33
1860.41/1865.57	c #Conflicts:      35000 | #Constraints:    2737089
1860.41/1865.57	c GLOBAL bounds - >= 262291 @ 1814.39
2254.16/2260.46	c #Conflicts:      36000 | #Constraints:    2747886
2254.16/2260.46	c #Conflicts:      37000 | #Constraints:    2748886
2254.16/2260.46	c #Conflicts:      38000 | #Constraints:    2749886
2254.16/2260.46	c INPROCESSING
2254.16/2260.46	c GARBAGE COLLECT
2254.16/2260.46	c #Conflicts:      39000 | #Constraints:    2745732
2254.16/2260.46	c #Conflicts:      40000 | #Constraints:    2746732
2254.16/2260.46	c #Conflicts:      41000 | #Constraints:    2747732
2254.16/2260.46	c GLOBAL bounds - >= 267834 @ 2203.81
2254.26/2260.53	c GLOBAL bounds - >= 267834 @ 2203.87
2261.25/2267.59	c GLOBAL bounds - >= 267834 @ 2210.74
2261.34/2267.62	c GLOBAL bounds - >= 267834 @ 2210.77
2261.44/2267.79	c GLOBAL bounds - >= 267834 @ 2210.88
2261.54/2267.83	c GLOBAL bounds - >= 267834 @ 2210.91
2261.64/2267.97	c GLOBAL bounds - >= 267834 @ 2210.98
2261.75/2268.01	c GLOBAL bounds - >= 267834 @ 2211.01
2261.85/2268.15	c GLOBAL bounds - >= 267834 @ 2211.1
2261.94/2268.20	c GLOBAL bounds - >= 267834 @ 2211.14
2262.04/2268.34	c GLOBAL bounds - >= 267834 @ 2211.22
2262.04/2268.38	c GLOBAL bounds - >= 267834 @ 2211.25
2262.24/2268.52	c GLOBAL bounds - >= 267834 @ 2211.32
2262.24/2268.56	c GLOBAL bounds - >= 267834 @ 2211.36
2262.44/2268.70	c GLOBAL bounds - >= 267834 @ 2211.43
2262.44/2268.74	c GLOBAL bounds - >= 267834 @ 2211.46
2262.54/2268.88	c GLOBAL bounds - >= 267834 @ 2211.55
2262.64/2268.92	c GLOBAL bounds - >= 267834 @ 2211.58
2262.74/2269.06	c GLOBAL bounds - >= 267834 @ 2211.66
2262.84/2269.10	c GLOBAL bounds - >= 267834 @ 2211.7
2262.94/2269.24	c GLOBAL bounds - >= 267834 @ 2211.78
2263.44/2269.70	c GLOBAL bounds - >= 267834 @ 2212.18
2263.54/2269.83	c GLOBAL bounds - >= 267834 @ 2212.26
2263.74/2270.06	c GLOBAL bounds - >= 267834 @ 2212.44
2264.04/2270.35	c GLOBAL bounds - >= 267834 @ 2212.67
2264.34/2270.60	c GLOBAL bounds - >= 267834 @ 2212.87
2264.43/2270.77	c GLOBAL bounds - >= 267834 @ 2212.98
2264.74/2271.06	c GLOBAL bounds - >= 267834 @ 2213.22
2264.84/2271.19	c GLOBAL bounds - >= 267834 @ 2213.29
2265.13/2271.49	c GLOBAL bounds - >= 267834 @ 2213.53
2265.73/2272.04	c GLOBAL bounds - >= 267834 @ 2214.01
2266.13/2272.42	c GLOBAL bounds - >= 267834 @ 2214.34
2267.33/2273.68	c GLOBAL bounds - >= 267834 @ 2215.52
2268.62/2274.91	c GLOBAL bounds - >= 267834 @ 2216.67
2274.11/2280.42	c GLOBAL bounds - >= 267834 @ 2222.03
2274.31/2280.64	c GLOBAL bounds - >= 267834 @ 2222.19
2276.70/2283.02	c GLOBAL bounds - >= 267834 @ 2224.48
2282.48/2288.85	c GLOBAL bounds - >= 267834 @ 2230.16
2283.48/2289.88	c GLOBAL bounds - >= 267834 @ 2231.11
2284.37/2290.76	c GLOBAL bounds - >= 267834 @ 2231.92
2284.68/2291.01	c GLOBAL bounds - >= 267834 @ 2232.12
2284.87/2291.21	c GLOBAL bounds - >= 267834 @ 2232.26
2285.17/2291.52	c GLOBAL bounds - >= 267834 @ 2232.51
2292.65/2299.06	c #Conflicts:      42000 | #Constraints:    2863305
2292.65/2299.06	c GLOBAL bounds - >= 267834 @ 2239.89
2440.33/2447.10	c #Conflicts:      43000 | #Constraints:    2871706
2440.33/2447.10	c #Conflicts:      44000 | #Constraints:    2872706
2440.33/2447.10	c GLOBAL bounds - >= 267834 @ 2385.86
2440.92/2447.77	c GLOBAL bounds - >= 267834 @ 2386.47
2469.43/2476.37	c #Conflicts:      45000 | #Constraints:    2892706
2469.43/2476.37	c GLOBAL bounds - >= 267834 @ 2414.64
2479.80/2486.72	c GLOBAL bounds - >= 267834 @ 2424.81
2483.10/2490.04	c GLOBAL bounds - >= 267834 @ 2428.04
2801.04/2808.98	c #Conflicts:      46000 | #Constraints:    2922431
2801.04/2808.98	c #Conflicts:      47000 | #Constraints:    2923431
2801.04/2808.98	c #Conflicts:      48000 | #Constraints:    2924431
2801.04/2808.98	c #Conflicts:      49000 | #Constraints:    2925431
2801.04/2808.98	c GLOBAL bounds - >= 271083 @ 2742.57
2801.24/2809.11	c GLOBAL bounds - >= 271083 @ 2742.69
2801.24/2809.16	c GLOBAL bounds - >= 271083 @ 2742.72
2801.33/2809.20	c GLOBAL bounds - >= 271083 @ 2742.75
2802.14/2810.08	c GLOBAL bounds - >= 271083 @ 2743.55
2802.24/2810.12	c GLOBAL bounds - >= 271083 @ 2743.58
2802.44/2810.30	c GLOBAL bounds - >= 271083 @ 2743.69
2802.44/2810.34	c GLOBAL bounds - >= 271083 @ 2743.72
2802.63/2810.51	c GLOBAL bounds - >= 271083 @ 2743.82
2802.63/2810.55	c GLOBAL bounds - >= 271083 @ 2743.86
2802.83/2810.72	c GLOBAL bounds - >= 271083 @ 2743.95
2802.83/2810.76	c GLOBAL bounds - >= 271083 @ 2743.99
2803.03/2810.92	c GLOBAL bounds - >= 271083 @ 2744.08
2803.03/2810.97	c GLOBAL bounds - >= 271083 @ 2744.11
2803.23/2811.13	c GLOBAL bounds - >= 271083 @ 2744.21
2803.23/2811.17	c GLOBAL bounds - >= 271083 @ 2744.24
2803.43/2811.33	c GLOBAL bounds - >= 271083 @ 2744.35
2803.43/2811.37	c GLOBAL bounds - >= 271083 @ 2744.37
2803.73/2811.61	c GLOBAL bounds - >= 271083 @ 2744.54
2803.73/2811.66	c GLOBAL bounds - >= 271083 @ 2744.56
2803.93/2811.82	c GLOBAL bounds - >= 271083 @ 2744.67
2803.93/2811.87	c GLOBAL bounds - >= 271083 @ 2744.7
2804.14/2812.02	c GLOBAL bounds - >= 271083 @ 2744.8
2804.33/2812.27	c GLOBAL bounds - >= 271083 @ 2744.99
2804.63/2812.52	c GLOBAL bounds - >= 271083 @ 2745.19
2804.93/2812.83	c GLOBAL bounds - >= 271083 @ 2745.44
2807.71/2815.70	c GLOBAL bounds - >= 271083 @ 2748.17
2808.01/2815.91	c GLOBAL bounds - >= 271083 @ 2748.32
2808.52/2816.44	c GLOBAL bounds - >= 271083 @ 2748.8
2808.71/2816.65	c GLOBAL bounds - >= 271083 @ 2748.96
2810.31/2818.24	c GLOBAL bounds - >= 271083 @ 2750.44
2811.11/2819.01	c GLOBAL bounds - >= 271083 @ 2751.13
2811.31/2819.23	c GLOBAL bounds - >= 271083 @ 2751.29
2812.11/2820.06	c GLOBAL bounds - >= 271083 @ 2752.03
2812.81/2820.71	c GLOBAL bounds - >= 271083 @ 2752.61
2813.11/2821.10	c GLOBAL bounds - >= 271083 @ 2752.93
2813.40/2821.31	c GLOBAL bounds - >= 271083 @ 2753.1
2814.30/2822.26	c GLOBAL bounds - >= 271083 @ 2753.97
2814.50/2822.47	c GLOBAL bounds - >= 271083 @ 2754.12
2814.80/2822.79	c GLOBAL bounds - >= 271083 @ 2754.38
2834.84/2842.85	c GLOBAL bounds - >= 271083 @ 2773.91
2838.33/2846.35	c #Conflicts:      50000 | #Constraints:    3056674
2838.33/2846.35	c GLOBAL bounds - >= 271083 @ 2777.27
2839.62/2847.63	c GLOBAL bounds - >= 271083 @ 2778.48
2846.71/2854.78	c GLOBAL bounds - >= 271083 @ 2785.43
3124.88/3133.71	c #Conflicts:      51000 | #Constraints:    3077855
3124.88/3133.71	c #Conflicts:      52000 | #Constraints:    3078855
3124.88/3133.71	c INPROCESSING
3124.88/3133.71	c GARBAGE COLLECT
3124.88/3133.71	c #Conflicts:      53000 | #Constraints:    3069796
3124.88/3133.71	c #Conflicts:      54000 | #Constraints:    3070796
3124.88/3133.71	c GLOBAL bounds - >= 271083 @ 3059.42
3125.09/3134.00	c GLOBAL bounds - >= 271083 @ 3059.66
3125.39/3134.27	c GLOBAL bounds - >= 271083 @ 3059.86
3216.81/3225.94	c #Conflicts:      55000 | #Constraints:    3093527
3216.81/3225.94	c #Conflicts:      56000 | #Constraints:    3094527
3216.81/3225.94	c GLOBAL bounds - >= 271083 @ 3150.22
3600.08/3610.31	c #Conflicts:      57000 | #Constraints:    3103236
3600.08/3610.31	c #Conflicts:      58000 | #Constraints:    3104236
3600.08/3610.31	c INPROCESSING
3600.08/3610.31	c GARBAGE COLLECT
3600.08/3610.31	c #Conflicts:      59000 | #Constraints:    3097235
3600.08/3610.31	c #Conflicts:      60000 | #Constraints:    3098235
3600.08/3610.31	c #Conflicts:      61000 | #Constraints:    3099235
3600.08/3610.31	c cpu time 3529.18 s
3600.08/3610.31	c deterministic time 177086561 1.77e+08
3600.08/3610.31	c optimization time 3521.16 s
3600.08/3610.31	c total solve time 6.825 s
3600.08/3610.31	c core-guided solve time 0 s
3600.08/3610.31	c propagation time 3.74543 s
3600.08/3610.31	c conflict analysis time 1.66302 s
3600.08/3610.31	c propagations 33327463
3600.08/3610.31	c resolve steps 0
3600.08/3610.31	c decisions 11754982
3600.08/3610.31	c conflicts 166
3600.08/3610.31	c restarts 2
3600.08/3610.31	c inprocessing phases 0
3600.08/3610.31	c garbage collections 0 ,( -nan )
3600.08/3610.31	c input clauses 209231 ,( 71.89 )
3600.08/3610.31	c input cardinalities 49 ,( 0.02 )
3600.08/3610.31	c input general constraints 81746 ,( 28.09 )
3600.08/3610.31	c input average constraint length 27.97
3600.08/3610.31	c input average constraint degree 9503863.50
3600.08/3610.31	c learned clauses 43 ,( 20.48 )
3600.08/3610.31	c learned cardinalities 5 ,( 2.38 )
3600.08/3610.31	c learned general constraints 162 ,( 77.14 )
3600.08/3610.31	c learned average constraint length 491.43
3600.08/3610.31	c learned average constraint degree 32.02
3600.08/3610.31	c watched  CF 32, 64, 128, Arb: 197 , 0 , 0 , 0
3600.08/3610.31	c counting CF 32, 64, 128, Arb: 81599 , 113 , 0 , 0
3600.08/3610.31	c watched   constraints 197 ,( 0.24 ) 
3600.08/3610.31	c counting  constraints 81711 ,( 99.76 ) 
3600.08/3610.31	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3721641 , 947 , 25226286 ,( 30925 , 25195361 )
3600.08/3610.31	c gcd simplifications 0
3600.08/3610.31	c detected cardinalities 0
3600.08/3610.31	c weakened non-implied lits 0
3600.08/3610.31	c weakened non-implying lits 0
3600.08/3610.31	c original variables 126385
3600.08/3610.31	c clausal propagations 3697794
3600.08/3610.31	c cardinality propagations 480
3600.08/3610.31	c watched propagations 11693
3600.08/3610.31	c counting propagations 15413753
3600.08/3610.31	c watch lookups 29790365
3600.08/3610.31	c watch backjump lookups 0
3600.08/3610.31	c watch checks 4861111
3600.08/3610.31	c propagation checks 52130747
3600.08/3610.31	c constraint additions 136421
3600.08/3610.31	c trail pops 45082471
3600.08/3610.31	c formula constraints 290547
3600.08/3610.31	c learned constraints 210
3600.08/3610.31	c bound constraints 0
3600.08/3610.31	c core-guided constraints 0
3600.08/3610.31	c encountered formula constraints 114
3600.08/3610.31	c encountered learned constraints 25
3600.08/3610.31	c encountered bound constraints 0
3600.08/3610.31	c encountered core-guided constraints 0
3600.08/3610.31	c LP total time 1.74626 s
3600.08/3610.31	c LP solve time 1.6 s
3600.08/3610.31	c LP constraints added 290547
3600.08/3610.31	c LP constraints removed 0
3600.08/3610.31	c LP pivots internal 2000
3600.08/3610.31	c LP pivots root 1000
3600.08/3610.31	c LP calls 2
3600.08/3610.31	c LP optimalities 0
3600.08/3610.31	c LP no pivot count 0
3600.08/3610.31	c LP infeasibilities 0
3600.08/3610.31	c LP valid Farkas constraints 0
3600.08/3610.31	c LP learned Farkas constraints 0
3600.08/3610.31	c LP basis resets 0
3600.08/3610.31	c LP cycling count 0
3600.08/3610.31	c LP singular count 0
3600.08/3610.31	c LP no primal count 0
3600.08/3610.31	c LP no farkas count 0
3600.08/3610.31	c LP other issue count 0
3600.08/3610.31	c LP Gomory cuts 0
3600.08/3610.31	c LP learned cuts 0
3600.08/3610.31	c LP deleted cuts 0
3600.08/3610.31	c LP encountered Gomory constraints 0
3600.08/3610.31	c LP encountered Farkas constraints 0
3600.08/3610.31	c LP encountered learned Farkas constraints 0
3600.08/3610.31	c CG auxiliary variables introduced 373
3600.08/3610.31	c CG solutions found 0
3600.08/3610.31	c CG cores constructed 193
3600.08/3610.31	c CG core cardinality constraints returned 0
3600.08/3610.31	c CG unit cores 0
3600.08/3610.31	c CG single cores 0
3600.08/3610.31	c CG blocks removed during cardinality reduction 0
3600.08/3610.31	c CG first core best 0
3600.08/3610.31	c CG decision core best 0
3600.08/3610.31	c CG core reduction tie 0
3600.08/3610.31	c CG core degree average 0.00
3600.08/3610.31	c CG core slack average 0.00
3600.08/3610.31	c CG core upper bound improvements 0
3600.08/3610.31	c STR number of successful calls 0
3600.08/3610.31	c STR number of unsuccessful calls 0
3600.08/3610.31	c STR number of inconclusive calls 0
3600.08/3610.31	c STR number of successful attempts 0
3600.08/3610.31	c STR number of unsuccessful attempts 0
3600.08/3610.31	c STR number of inconclusive attempts 0
3600.08/3610.31	c STR average degree increase per successful call inf
3600.08/3610.31	c STR average degree increase per successful attempt inf
3600.08/3610.31	c STR total number of conflicts for successful attempts 0
3600.08/3610.31	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.31	c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.31	c STR average number of conflicts per successful attempt inf
3600.08/3610.31	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.31	c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.31	c AVG.sumWPerc 99.49 
3600.08/3610.31	c bigint constraints 113 
3600.08/3610.31	s UNKNOWN
3600.08/3610.31	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 (60687 MiB free)
  memory of node 1: 64507 MiB (62541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504711-1751474847/watcher-4504711-1751474847 -o /tmp/evaluation-result-4504711-1751474847/solver-4504711-1751474847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72304 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504711-1751474847.opb PROOFDIR/proof-4504711-1751474847 

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

solver pid=72770, runsolver pid=72767

[startup+0.100064 s]*
/proc/loadavg: 3.26 3.76 3.97 5/265 72772
/proc/meminfo: memFree=126164728/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=80016 memory=35384 CPUtime=0.07 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 6045 0 0 0 5 2 0 0 20 0 1 0 63164967 81936384 8846 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 20004 8846 1984 1147 0 7431 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 84208 KiB
Current children cumulated memory: 38328 KiB

[startup+0.205547 s]*
/proc/loadavg: 3.26 3.76 3.97 7/266 72773
/proc/meminfo: memFree=126145164/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=84448 memory=39864 CPUtime=0.17 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 7160 0 0 0 13 4 0 0 20 0 1 0 63164967 86474752 9966 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 21112 9966 1984 1147 0 8539 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 88640 KiB
Current children cumulated memory: 42808 KiB

[startup+0.305585 s]*
/proc/loadavg: 3.26 3.76 3.97 5/266 72773
/proc/meminfo: memFree=126137416/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=89156 memory=45496 CPUtime=0.28 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 8555 0 0 0 21 7 0 0 20 0 1 0 63164967 91295744 11374 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 22289 11374 1984 1147 0 9716 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93348 KiB
Current children cumulated memory: 48440 KiB

[startup+0.700195 s]
/proc/loadavg: 3.26 3.76 3.97 5/267 72774
/proc/meminfo: memFree=126126072/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=110388 memory=66292 CPUtime=0.66 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 12829 0 0 0 51 15 0 0 20 0 1 0 63164967 113037312 16573 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 27597 16573 1984 1147 0 15024 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 114580 KiB
Current children cumulated memory: 69236 KiB

[startup+1.50021 s]
/proc/loadavg: 3.26 3.76 3.97 5/267 72774
/proc/meminfo: memFree=126022052/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=596360 memory=416472 CPUtime=1.46 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 30093 0 0 0 114 32 0 0 20 0 1 0 63164967 610672640 104118 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 149090 104118 2272 1147 0 136517 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 600552 KiB
Current children cumulated memory: 419416 KiB

[startup+3.10537 s]
/proc/loadavg: 3.32 3.77 3.97 5/267 72774
/proc/meminfo: memFree=125468920/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=541388 memory=371564 CPUtime=3.06 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 45947 0 0 0 224 82 0 0 20 0 1 0 63164967 554381312 92891 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 135347 92891 2368 1147 0 122774 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 545580 KiB
Current children cumulated memory: 374508 KiB

[startup+6.3002 s]
/proc/loadavg: 3.32 3.77 3.97 4/267 72774
/proc/meminfo: memFree=125214108/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=591824 memory=422780 CPUtime=6.25 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 56827 0 0 0 445 180 0 0 20 0 1 0 63164967 606027776 105695 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 147956 105695 2368 1147 0 135383 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 596016 KiB
Current children cumulated memory: 425724 KiB

[startup+12.7002 s]
/proc/loadavg: 3.50 3.79 3.98 5/272 72794
/proc/meminfo: memFree=124353448/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=880420 memory=681972 CPUtime=12.64 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 93714 0 0 0 924 340 0 0 20 0 1 0 63164967 901550080 170493 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 220105 170493 2400 1147 0 207532 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 884612 KiB
Current children cumulated memory: 684916 KiB

[startup+25.5002 s]
/proc/loadavg: 3.58 3.80 3.98 5/272 72794
/proc/meminfo: memFree=122264248/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=1197624 memory=980016 CPUtime=25.41 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 149834 0 0 0 2066 475 0 0 20 0 1 0 63164967 1226366976 245004 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 299406 245004 2400 1147 0 286833 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1201816 KiB
Current children cumulated memory: 982960 KiB

[startup+51.1056 s]
/proc/loadavg: 3.80 3.83 3.99 5/272 72795
/proc/meminfo: memFree=118581616/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=1906144 memory=1536156 CPUtime=50.95 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 254673 0 0 0 4517 578 0 0 20 0 1 0 63164967 1951891456 384039 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 476536 384039 2400 1147 0 463963 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1910336 KiB
Current children cumulated memory: 1539100 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 3.88 4.00 5/272 72797
/proc/meminfo: memFree=111955604/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=2488044 memory=2093900 CPUtime=102.01 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 350258 0 0 0 9343 858 0 0 20 0 1 0 63164967 2547757056 523475 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 622011 523475 2400 1147 0 609438 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2492236 KiB
Current children cumulated memory: 2096844 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.90 4.00 5/274 72801
/proc/meminfo: memFree=104471676/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=3143420 memory=2706288 CPUtime=161.84 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 471211 0 0 0 15125 1059 0 0 20 0 1 0 63164967 3218862080 676572 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 785855 676572 2400 1147 0 773282 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 3147612 KiB
Current children cumulated memory: 2709232 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.95 4.01 5/274 72805
/proc/meminfo: memFree=98362908/131250000 swapFree=33010684/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=3692896 memory=3044080 CPUtime=221.67 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 520971 0 0 0 20899 1268 0 0 20 0 1 0 63164967 3781525504 761020 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 923224 761020 2400 1147 0 910651 0
Current children cumulated CPU time: 221.67 s

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

Current children cumulated memory: 14463532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.26 4.17 5/272 72980
/proc/meminfo: memFree=1110568/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16976600 memory=14460588 CPUtime=3332.86 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3412474 0 0 0 326515 6771 0 0 20 0 1 0 63164967 17384038400 3615147 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244150 3615147 2400 1147 0 4231577 0
Current children cumulated CPU time: 3332.86 s
Current children cumulated vsize: 16980792 KiB
Current children cumulated memory: 14463532 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/274 72988
/proc/meminfo: memFree=1110744/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16976600 memory=14460588 CPUtime=3392.68 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3458408 0 0 0 332443 6825 0 0 20 0 1 0 63164967 17384038400 3615147 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244150 3615147 2400 1147 0 4231577 0
Current children cumulated CPU time: 3392.68 s
Current children cumulated vsize: 16980792 KiB
Current children cumulated memory: 14463532 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/274 72990
/proc/meminfo: memFree=1077772/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16979868 memory=14460852 CPUtime=3452.5 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3786416 0 0 0 338344 6906 0 0 20 0 1 0 63164967 17387384832 3615213 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615213 2400 1147 0 4232394 0
Current children cumulated CPU time: 3452.5 s
Current children cumulated vsize: 16984060 KiB
Current children cumulated memory: 14463796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.33 4.25 4.18 5/274 72992
/proc/meminfo: memFree=1132184/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16979868 memory=14460852 CPUtime=3512.34 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3824703 0 0 0 344253 6981 0 0 20 0 1 0 63164967 17387384832 3615213 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615213 2400 1147 0 4232394 0
Current children cumulated CPU time: 3512.34 s
Current children cumulated vsize: 16984060 KiB
Current children cumulated memory: 14463796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.36 4.27 4.19 6/271 73004
/proc/meminfo: memFree=3763680/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16979868 memory=14460852 CPUtime=3572.16 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3859640 0 0 0 350163 7053 0 0 20 0 1 0 63164967 17387384832 3615213 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615213 2400 1147 0 4232394 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 16984060 KiB
Current children cumulated memory: 14463796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.22 4.24 4.18 5/275 73135
/proc/meminfo: memFree=45017352/131250000 swapFree=33008100/33010684
[pid=72770] ppid=72767 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/72770/stat : 72770 (run-opt-log.sh) S 72767 72770 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63164967 4292608 736 18446744073709551615 94646313484288 94646314378821 140726948762400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94646314617872 94646314665616 94646333198336 140726948768033 140726948768228 140726948768228 140726948773830 0
/proc/72770/statm: 1048 736 672 219 0 110 0
[pid=72772] ppid=72770 vsize=16979868 memory=14460852 CPUtime=3600.08 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72770 72770 72291 0 -1 4194304 3872240 0 0 0 352918 7090 0 0 20 0 1 0 63164967 17387384832 3615213 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615213 2400 1147 0 4232394 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 16984060 KiB
Current children cumulated memory: 14463796 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002167 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.22 4.24 4.18 5/274 73135
/proc/meminfo: memFree=44923824/131250000 swapFree=33008100/33010684
[pid=72772] ppid=72767 vsize=16979868 memory=14461364 CPUtime=3600.25 cores=5,7
/proc/72772/stat : 72772 (roundingsat) D 72767 72770 72291 0 -1 4194304 3872248 0 1 0 352918 7107 0 0 20 0 1 0 63164967 17387384832 3615341 18446744073709551615 4227072 8923433 140723838521776 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 9
/proc/72772/statm: 4244967 3615341 2528 1147 0 4232394 0
??? kill 72772 sig 9
??? end of watcher thread

[startup+3613.37 s]
# the end of solver process 72772 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.22 4.24 4.18 4/274 73135
/proc/meminfo: memFree=44942020/131250000 swapFree=33008100/33010684
[pid=72772] ppid=72767 vsize=16979868 memory=14461364 CPUtime=3600.21 cores=5,7
/proc/72772/stat : 72772 (roundingsat) D 72767 72770 72291 0 -1 4194304 3872248 0 1 0 352918 7103 0 0 20 0 1 0 63164967 17387384832 3615341 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615341 2528 1147 0 4232394 0
Current cumulated CPU time of completed processes: 0.002167 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 16979868 KiB
Current children cumulated memory: 14461364 KiB

[startup+3612 s]*
/proc/loadavg: 4.22 4.24 4.18 4/274 73135
/proc/meminfo: memFree=44945752/131250000 swapFree=33008100/33010684
[pid=72772] ppid=72767 vsize=16979868 memory=14461364 CPUtime=3600.23 cores=5,7
/proc/72772/stat : 72772 (roundingsat) D 72767 72770 72291 0 -1 4194304 3872248 0 1 0 352918 7105 0 0 20 0 1 0 63164967 17387384832 3615341 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615341 2528 1147 0 4232394 0
Current cumulated CPU time of completed processes: 0.002167 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 16979868 KiB
Current children cumulated memory: 14461364 KiB

[startup+3612.2 s]
/proc/loadavg: 4.22 4.24 4.18 4/274 73135
/proc/meminfo: memFree=44945752/131250000 swapFree=33008100/33010684
[pid=72772] ppid=72767 vsize=16979868 memory=14461364 CPUtime=3600.24 cores=5,7
/proc/72772/stat : 72772 (roundingsat) D 72767 72770 72291 0 -1 4194304 3872248 0 1 0 352918 7106 0 0 20 0 1 0 63164967 17387384832 3615341 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615341 2528 1147 0 4232394 0
Current cumulated CPU time of completed processes: 0.002167 s
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 16979868 KiB
Current children cumulated memory: 14461364 KiB

[startup+3612.3 s]
/proc/loadavg: 4.22 4.24 4.18 4/274 73135
/proc/meminfo: memFree=44945752/131250000 swapFree=33008100/33010684
[pid=72772] ppid=72767 vsize=16979868 memory=14461364 CPUtime=3600.25 cores=5,7
/proc/72772/stat : 72772 (roundingsat) R 72767 72770 72291 0 -1 4194304 3872248 0 1 0 352918 7107 0 0 20 0 1 0 63164967 17387384832 3615341 18446744073709551615 4227072 8923433 140723838521776 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39231488 140723838527826 140723838528040 140723838528040 140723838533610 0
/proc/72772/statm: 4244967 3615341 2528 1147 0 4232394 0
Current cumulated CPU time of completed processes: 0.002167 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 16979868 KiB
Current children cumulated memory: 14461364 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.37
CPU time (s): 3600.88
CPU user time (s): 3529.19
CPU system time (s): 71.6931
CPU usage (%): 99.6545
Max. virtual memory (cumulated for all children) (KiB): 17087400
Max. memory (cumulated for all children) (KiB): 14566924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3529.19
system time used= 71.6931
maximum resident set size= 14563980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3872456
page faults= 1
swaps= 0
block input operations= 3952
block output operations= 136503384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42624
involuntary context switches= 4837


# summary of solver processes directly reported to runsolver:
#   pid: 72770,72772
#   total CPU time (s): 3600.88
#   total CPU user time (s): 3529.19
#   total CPU system time (s): 71.6931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12507 second user time and 17.2226 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-02 18:47:27
IDJOB=4504711
IDBENCH=155672
IDSOLVER=3351
FILE ID=nodeC013/4504711-1751474847
RUNJOBID= nodeC013-1751474816-72304
SLURM_JOB_ID= 9598506
Free space on /tmp= 432628 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_mh_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504711-1751474847/watcher-4504711-1751474847 -o /tmp/evaluation-result-4504711-1751474847/solver-4504711-1751474847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72304 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504711-1751474847.opb PROOFDIR/proof-4504711-1751474847

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

MD5SUM BENCH= 981ef51cec9b68890fa336e7b4cc767b
RANDOM SEED=636872220

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126193828 kB
MemAvailable:   128143504 kB
Buffers:            3280 kB
Cached:          2747700 kB
SwapCached:            0 kB
Active:          1888428 kB
Inactive:        2502632 kB
Active(anon):    1653512 kB
Inactive(anon):        0 kB
Active(file):     234916 kB
Inactive(file):  2502632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            796580 kB
Writeback:             0 kB
AnonPages:       1643672 kB
Mapped:           109296 kB
Shmem:             13284 kB
KReclaimable:     102336 kB
Slab:             214908 kB
SReclaimable:     102336 kB
SUnreclaim:       112572 kB
KernelStack:        4272 kB
PageTables:         6440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2320796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432632 MiB
End job on nodeC013 at 2025-07-02 19:47:41