Trace number 4532377

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+pbsuma-opt-log 0f876b3? (TO) 3602.1 3611.71

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532377-1752683038.opb'
0.25/0.36	c 	read 17.23MB  (333.01ms)
0.25/0.36	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.25/0.36	c output proof to '/tmp/proof-4532377-1752683038'
0.25/0.36	c 
0.25/0.36	c make graph and approximate orbits
0.54/0.68	c	 [group: #orbits ~= 0] (324.39ms)
0.54/0.68	c 
0.54/0.68	c detect special group actions
0.54/0.68	c 	probe for Johnson action (limit=64)
0.54/0.69	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.54/0.69	c 	probe for row symmetry (limit=64, splits=16.78M)
0.63/0.70	c 	 (18.38ms)
0.63/0.70	c 
0.63/0.70	c detect symmetries on remainder
0.63/0.70	c 	[graph: #vertices 706680 #edges 2766358]
0.63/0.71	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.63/0.75	c 	 [group: #symmetries 1.00*10^0 #generators 0] (49.31ms)
0.63/0.75	c 
0.63/0.75	c finalize break order and special generators
0.63/0.75	c 
0.63/0.75	c generation finished
0.63/0.75	c 	[sbp: #constraints 0 #add_vars 0]
0.63/0.75	c 
0.63/0.75	c write result to 'HOME/instance-4532377-1752683038.opb.pre'
0.63/0.79	c 	wrote 17.23MB (35.44ms)
0.63/0.79	c ------------------------------------------------------------------
0.63/0.79	c                 333.01ms 43.65% parse
0.63/0.79	c                 324.39ms 42.52% approx_orbits
0.63/0.79	c                  49.31ms  6.46% detect_generic
0.63/0.79	c                  35.44ms  4.65% output
0.63/0.79	c                  18.38ms  2.41% detect_special
0.63/0.79	c                   1.96ms  0.26% other
0.63/0.79	c                   0.37ms  0.05% finalize_order
0.63/0.79	c         ───────────────────────────────────────────────
0.63/0.79	c                 762.87ms   100% total
0.63/0.79	c ------------------------------------------------------------------
0.83/0.91	c RoundingSat 2
0.83/0.91	c branch pb25
0.83/0.91	c commit 0f876b3
4.28/4.43	c #variables 10000 #constraints 656900
4.28/4.43	c objective is ce32 
4.28/4.43	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.28/4.43	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.28/4.43	c bounds - >= 0 @ 2.81266
6.25/6.40	c rational objective 160.199
10.53/10.75	c bounds 6900 >= 0 @ 8.95926
10.53/10.77	c bounds 6811 >= 0 @ 8.97859
10.53/10.77	c bounds 6793 >= 0 @ 8.98341
10.53/10.78	c bounds 6743 >= 0 @ 8.98872
10.53/10.79	c bounds 6620 >= 0 @ 8.99408
10.63/10.80	c bounds 6265 >= 0 @ 8.99961
10.63/10.81	c bounds 6215 >= 0 @ 9.00503
10.63/10.82	c bounds 5907 >= 0 @ 9.01031
10.63/10.83	c bounds 5892 >= 0 @ 9.01857
10.63/10.84	c bounds 5695 >= 0 @ 9.0239
10.63/10.85	c bounds 5617 >= 0 @ 9.03305
10.63/10.86	c bounds 5477 >= 0 @ 9.03832
10.63/10.86	c bounds 5389 >= 0 @ 9.04152
10.63/10.87	c bounds 5381 >= 0 @ 9.04919
10.63/10.88	c bounds 5248 >= 0 @ 9.05453
10.63/10.89	c bounds 4920 >= 0 @ 9.06113
10.73/10.92	c bounds 4914 >= 0 @ 9.0918
10.73/10.93	c bounds 4898 >= 0 @ 9.09746
10.73/10.94	c bounds 4817 >= 0 @ 9.10387
10.73/10.94	c bounds 4751 >= 0 @ 9.10945
10.73/10.95	c bounds 4702 >= 0 @ 9.11501
10.73/10.96	c bounds 4684 >= 0 @ 9.12259
10.73/10.97	c bounds 4677 >= 0 @ 9.1293
10.73/10.98	c bounds 4637 >= 0 @ 9.13613
10.73/10.99	c bounds 4616 >= 0 @ 9.14558
10.73/11.00	c bounds 4542 >= 0 @ 9.15249
10.84/11.01	c bounds 4463 >= 0 @ 9.16063
10.84/11.02	c bounds 4371 >= 0 @ 9.16662
10.84/11.03	c bounds 4275 >= 0 @ 9.17318
10.84/11.03	c bounds 4224 >= 0 @ 9.17778
10.84/11.04	c bounds 3975 >= 0 @ 9.18351
10.84/11.05	c bounds 3913 >= 0 @ 9.19115
10.84/11.06	c bounds 3833 >= 0 @ 9.19884
10.84/11.07	c bounds 3792 >= 0 @ 9.20636
10.84/11.08	c bounds 3789 >= 0 @ 9.21313
10.94/11.18	c bounds 3782 >= 0 @ 9.30758
10.94/11.19	c bounds 3780 >= 0 @ 9.31586
11.03/11.20	c bounds 3779 >= 0 @ 9.31878
11.13/11.31	c bounds 3757 >= 0 @ 9.42169
11.13/11.32	c bounds 3755 >= 0 @ 9.42773
11.13/11.35	c bounds 3737 >= 0 @ 9.45975
11.13/11.36	c bounds 3706 >= 0 @ 9.46634
11.13/11.37	c bounds 3626 >= 0 @ 9.47189
11.13/11.38	c bounds 3604 >= 0 @ 9.47839
11.23/11.49	c bounds 3467 >= 0 @ 9.58313
11.34/11.50	c bounds 3398 >= 0 @ 9.59148
11.34/11.51	c bounds 3351 >= 0 @ 9.60039
11.34/11.54	c bounds 3336 >= 0 @ 9.63142
11.34/11.56	c bounds 3322 >= 0 @ 9.65082
11.34/11.57	c bounds 3199 >= 0 @ 9.65842
11.34/11.58	c bounds 3144 >= 0 @ 9.66283
11.43/11.60	c bounds 3131 >= 0 @ 9.67526
11.43/11.61	c bounds 3106 >= 0 @ 9.68967
11.43/11.63	c bounds 3080 >= 0 @ 9.70049
11.43/11.64	c bounds 2889 >= 0 @ 9.7062
11.53/11.79	c bounds 2878 >= 0 @ 9.85022
11.63/11.80	c bounds 2727 >= 0 @ 9.85642
11.63/11.81	c bounds 2726 >= 0 @ 9.87165
11.63/11.82	c bounds 2663 >= 0 @ 9.87743
11.73/11.99	c bounds 2661 >= 0 @ 10.0426
11.83/12.00	c bounds 2660 >= 0 @ 10.0497
11.83/12.10	c bounds 2659 >= 0 @ 10.138
11.94/12.11	c bounds 2634 >= 0 @ 10.1452
12.13/12.35	c bounds 2633 >= 0 @ 10.3784
12.13/12.36	c bounds 2620 >= 0 @ 10.385
12.13/12.37	c bounds 2574 >= 0 @ 10.3912
12.13/12.38	c bounds 2509 >= 0 @ 10.3975
12.13/12.39	c bounds 2462 >= 0 @ 10.4028
12.23/12.40	c bounds 2461 >= 0 @ 10.409
12.23/12.42	c bounds 2362 >= 0 @ 10.4184
12.23/12.43	c bounds 2317 >= 0 @ 10.4258
12.23/12.44	c bounds 2105 >= 0 @ 10.4334
12.23/12.45	c bounds 2072 >= 0 @ 10.4398
12.23/12.47	c bounds 2055 >= 0 @ 10.4595
12.23/12.48	c bounds 1948 >= 0 @ 10.4678
12.72/12.90	c bounds 1943 >= 0 @ 10.8736
12.72/12.93	c bounds 1935 >= 0 @ 10.9033
12.72/12.94	c bounds 1906 >= 0 @ 10.9097
12.72/12.96	c bounds 1851 >= 0 @ 10.9176
12.72/12.97	c bounds 1845 >= 0 @ 10.9256
12.83/13.08	c bounds 1784 >= 0 @ 11.0329
12.83/13.10	c bounds 1768 >= 0 @ 11.0462
12.92/13.11	c bounds 1673 >= 0 @ 11.0529
12.92/13.12	c bounds 1616 >= 0 @ 11.0601
12.92/13.14	c bounds 1615 >= 0 @ 11.0742
12.92/13.16	c bounds 1562 >= 0 @ 11.082
12.92/13.17	c bounds 1353 >= 0 @ 11.0883
12.92/13.18	c bounds 1319 >= 0 @ 11.0953
13.02/13.20	c bounds 1213 >= 0 @ 11.1027
13.02/13.21	c bounds 1082 >= 0 @ 11.1133
13.02/13.22	c bounds 1046 >= 0 @ 11.1197
13.02/13.24	c bounds 1001 >= 0 @ 11.1247
13.02/13.25	c bounds 994 >= 0 @ 11.1296
13.22/13.42	c bounds 966 >= 0 @ 11.2898
13.22/13.43	c bounds 964 >= 0 @ 11.2961
13.22/13.43	c bounds 952 >= 0 @ 11.3006
13.41/13.61	c bounds 946 >= 0 @ 11.4651
13.41/13.62	c bounds 940 >= 0 @ 11.4726
13.41/13.63	c bounds 891 >= 0 @ 11.4768
13.62/13.87	c #Conflicts:       1000 | #Constraints:     658005
13.62/13.87	c bounds 873 >= 0 @ 11.708
13.62/13.88	c bounds 860 >= 0 @ 11.7166
13.62/13.89	c bounds 859 >= 0 @ 11.725
13.71/13.90	c bounds 855 >= 0 @ 11.7304
13.92/14.15	c bounds 852 >= 0 @ 11.9747
14.02/14.21	c bounds 823 >= 0 @ 12.0264
14.31/14.59	c bounds 752 >= 0 @ 12.3808
14.41/14.60	c bounds 750 >= 0 @ 12.3868
14.92/15.16	c bounds 742 >= 0 @ 12.9253
19.80/20.06	c #Conflicts:       2000 | #Constraints:     659015
19.80/20.06	c INPROCESSING
19.80/20.06	c GARBAGE COLLECT
19.80/20.06	c #Conflicts:       3000 | #Constraints:     658914
19.80/20.06	c bounds 663 >= 0 @ 17.7317
19.80/20.08	c bounds 659 >= 0 @ 17.7457
19.80/20.10	c bounds 656 >= 0 @ 17.7618
19.90/20.11	c bounds 652 >= 0 @ 17.7687
19.90/20.13	c bounds 645 >= 0 @ 17.7862
19.90/20.14	c bounds 639 >= 0 @ 17.7965
19.90/20.16	c bounds 633 >= 0 @ 17.8109
20.09/20.36	c bounds 632 >= 0 @ 18.0011
20.09/20.37	c bounds 626 >= 0 @ 18.0112
20.59/20.86	c bounds 618 >= 0 @ 18.4832
20.69/20.98	c bounds 589 >= 0 @ 18.6013
20.99/21.21	c bounds 588 >= 0 @ 18.8101
23.19/23.44	c #Conflicts:       4000 | #Constraints:     659926
23.19/23.44	c INPROCESSING
23.19/23.44	c GARBAGE COLLECT
23.19/23.44	c bounds 584 >= 0 @ 21.0065
32.46/32.70	c #Conflicts:       5000 | #Constraints:     659316
32.46/32.70	c #Conflicts:       6000 | #Constraints:     660316
32.46/32.70	c INPROCESSING
32.46/32.70	c GARBAGE COLLECT
32.46/32.70	c bounds 581 >= 0 @ 30.134
33.05/33.37	c bounds 579 >= 0 @ 30.7945
96.05/96.55	c #Conflicts:       7000 | #Constraints:     659333
96.05/96.55	c #Conflicts:       8000 | #Constraints:     660353
96.05/96.55	c #Conflicts:       9000 | #Constraints:     661371
96.05/96.55	c INPROCESSING
96.05/96.55	c GARBAGE COLLECT
96.05/96.55	c #Conflicts:      10000 | #Constraints:     660050
96.05/96.55	c #Conflicts:      11000 | #Constraints:     661050
96.05/96.55	c #Conflicts:      12000 | #Constraints:     662050
96.05/96.55	c INPROCESSING
96.05/96.55	c GARBAGE COLLECT
96.05/96.55	c #Conflicts:      13000 | #Constraints:     660487
96.05/96.55	c #Conflicts:      14000 | #Constraints:     661487
96.05/96.55	c #Conflicts:      15000 | #Constraints:     662487
96.05/96.55	c INPROCESSING
96.05/96.55	c GARBAGE COLLECT
96.05/96.55	c #Conflicts:      16000 | #Constraints:     660715
96.05/96.55	c #Conflicts:      17000 | #Constraints:     661715
96.05/96.55	c #Conflicts:      18000 | #Constraints:     662715
96.05/96.55	c INPROCESSING
96.05/96.55	c GARBAGE COLLECT
96.05/96.55	c rational objective 161.125
116.80/117.31	c #Conflicts:      19000 | #Constraints:     660734
116.80/117.31	c #Conflicts:      20000 | #Constraints:     661734
116.80/117.31	c #Conflicts:      21000 | #Constraints:     662734
116.80/117.31	c INPROCESSING
116.80/117.31	c GARBAGE COLLECT
116.80/117.31	c rational objective 161.171
134.75/135.37	c #Conflicts:      22000 | #Constraints:     660540
134.75/135.37	c #Conflicts:      23000 | #Constraints:     661540
134.75/135.37	c #Conflicts:      24000 | #Constraints:     662540
134.75/135.37	c #Conflicts:      25000 | #Constraints:     663540
134.75/135.37	c INPROCESSING
134.75/135.37	c GARBAGE COLLECT
134.75/135.37	c rational objective 162.016
157.09/157.74	c #Conflicts:      26000 | #Constraints:     661147
157.09/157.74	c #Conflicts:      27000 | #Constraints:     662147
157.09/157.74	c #Conflicts:      28000 | #Constraints:     663147
157.09/157.74	c #Conflicts:      29000 | #Constraints:     664147
157.09/157.74	c INPROCESSING
157.09/157.74	c GARBAGE COLLECT
157.09/157.74	c rational objective 163.25
189.00/189.76	c #Conflicts:      30000 | #Constraints:     661547
189.00/189.76	c #Conflicts:      31000 | #Constraints:     662547
189.00/189.76	c #Conflicts:      32000 | #Constraints:     663547
189.00/189.76	c #Conflicts:      33000 | #Constraints:     664547
189.00/189.76	c INPROCESSING
189.00/189.76	c GARBAGE COLLECT
189.00/189.76	c #Conflicts:      34000 | #Constraints:     661747
189.00/189.76	c #Conflicts:      35000 | #Constraints:     662747
189.00/189.76	c #Conflicts:      36000 | #Constraints:     663747
189.00/189.76	c #Conflicts:      37000 | #Constraints:     664747
189.00/189.76	c INPROCESSING
189.00/189.76	c GARBAGE COLLECT
189.00/189.76	c rational objective 163.644
215.24/216.03	c #Conflicts:      38000 | #Constraints:     661751
215.24/216.03	c #Conflicts:      39000 | #Constraints:     662751
215.24/216.03	c #Conflicts:      40000 | #Constraints:     663751
215.24/216.03	c #Conflicts:      41000 | #Constraints:     664751
215.24/216.03	c INPROCESSING
215.24/216.03	c GARBAGE COLLECT
215.24/216.03	c rational objective 163.704
239.07/239.93	c #Conflicts:      42000 | #Constraints:     661562
239.07/239.93	c #Conflicts:      43000 | #Constraints:     662562
239.07/239.93	c #Conflicts:      44000 | #Constraints:     663562
239.07/239.93	c #Conflicts:      45000 | #Constraints:     664562
239.07/239.93	c #Conflicts:      46000 | #Constraints:     665562
239.07/239.93	c INPROCESSING
239.07/239.93	c GARBAGE COLLECT
239.07/239.93	c rational objective 163.738
260.52/261.47	c #Conflicts:      47000 | #Constraints:     662150
260.52/261.47	c #Conflicts:      48000 | #Constraints:     663150
260.52/261.47	c #Conflicts:      49000 | #Constraints:     664150
260.52/261.47	c #Conflicts:      50000 | #Constraints:     665150
260.52/261.47	c #Conflicts:      51000 | #Constraints:     666150
260.52/261.47	c INPROCESSING
260.52/261.47	c GARBAGE COLLECT
260.52/261.47	c rational objective 163.741
267.29/268.26	c bounds 573 >= 0 @ 262.954
267.29/268.28	c bounds 573 >= 6 @ 262.966
284.17/285.18	c #Conflicts:      52000 | #Constraints:     662565
284.17/285.18	c #Conflicts:      53000 | #Constraints:     663569
284.17/285.18	c #Conflicts:      54000 | #Constraints:     664577
284.17/285.18	c #Conflicts:      55000 | #Constraints:     665584
284.17/285.18	c #Conflicts:      56000 | #Constraints:     666594
284.17/285.18	c INPROCESSING
284.17/285.18	c GARBAGE COLLECT
284.17/285.18	c bounds 572 >= 6 @ 279.613
310.30/311.37	c #Conflicts:      57000 | #Constraints:     662775
310.30/311.37	c #Conflicts:      58000 | #Constraints:     663778
310.30/311.37	c #Conflicts:      59000 | #Constraints:     664779
310.30/311.37	c #Conflicts:      60000 | #Constraints:     665779
310.30/311.37	c #Conflicts:      61000 | #Constraints:     666782
310.30/311.37	c INPROCESSING
310.30/311.37	c GARBAGE COLLECT
310.30/311.37	c rational objective 163.744
316.78/317.81	c bounds 570 >= 6 @ 311.979
316.78/317.84	c bounds 564 >= 6 @ 311.997
316.88/317.91	c bounds 561 >= 6 @ 312.069
320.08/321.17	c bounds 560 >= 6 @ 315.269
320.08/321.19	c bounds 560 >= 10 @ 315.281
320.17/321.21	c bounds 560 >= 14 @ 315.297
320.17/321.24	c bounds 560 >= 18 @ 315.319
323.37/324.46	c bounds 560 >= 22 @ 318.51
326.76/327.85	c #Conflicts:      62000 | #Constraints:     662806
326.76/327.85	c #Conflicts:      63000 | #Constraints:     663806
326.76/327.85	c bounds 560 >= 26 @ 321.863
339.72/340.81	c #Conflicts:      64000 | #Constraints:     664821
339.72/340.81	c bounds 559 >= 26 @ 334.556
352.89/354.04	c #Conflicts:      65000 | #Constraints:     665839
352.89/354.04	c #Conflicts:      66000 | #Constraints:     666839
352.89/354.04	c INPROCESSING
352.89/354.04	c GARBAGE COLLECT
352.89/354.04	c rational objective 163.821
387.39/388.60	c #Conflicts:      67000 | #Constraints:     662611
387.39/388.60	c #Conflicts:      68000 | #Constraints:     663611
387.39/388.60	c #Conflicts:      69000 | #Constraints:     664611
387.39/388.60	c #Conflicts:      70000 | #Constraints:     665611
387.39/388.60	c #Conflicts:      71000 | #Constraints:     666611
387.39/388.60	c #Conflicts:      72000 | #Constraints:     667611
387.39/388.60	c INPROCESSING
387.39/388.60	c GARBAGE COLLECT
387.39/388.60	c rational objective 163.831
391.28/392.52	c bounds 555 >= 26 @ 385.71
404.64/405.92	c #Conflicts:      73000 | #Constraints:     663214
404.64/405.92	c bounds 552 >= 26 @ 398.856
404.64/405.94	c bounds 552 >= 29 @ 398.878
404.75/406.07	c bounds 552 >= 32 @ 399
406.04/407.38	c bounds 552 >= 35 @ 400.284
421.90/423.30	c #Conflicts:      74000 | #Constraints:     664246
421.90/423.30	c #Conflicts:      75000 | #Constraints:     665246
421.90/423.30	c #Conflicts:      76000 | #Constraints:     666246
421.90/423.30	c #Conflicts:      77000 | #Constraints:     667246
421.90/423.30	c #Conflicts:      78000 | #Constraints:     668246
421.90/423.30	c INPROCESSING
421.90/423.30	c GARBAGE COLLECT
421.90/423.30	c rational objective 163.895
432.78/434.12	c bounds 550 >= 35 @ 426.727
433.47/434.86	c bounds 550 >= 37 @ 427.449
461.20/462.60	c #Conflicts:      79000 | #Constraints:     663623
461.20/462.60	c #Conflicts:      80000 | #Constraints:     664623
461.20/462.60	c #Conflicts:      81000 | #Constraints:     665625
461.20/462.60	c #Conflicts:      82000 | #Constraints:     666644
461.20/462.60	c #Conflicts:      83000 | #Constraints:     667653
461.20/462.60	c #Conflicts:      84000 | #Constraints:     668670
461.20/462.60	c INPROCESSING
461.20/462.60	c GARBAGE COLLECT
461.20/462.60	c rational objective 163.895
531.82/533.48	c #Conflicts:      85000 | #Constraints:     663841
531.82/533.48	c #Conflicts:      86000 | #Constraints:     664862
531.82/533.48	c #Conflicts:      87000 | #Constraints:     665875
531.82/533.48	c #Conflicts:      88000 | #Constraints:     666894
531.82/533.48	c #Conflicts:      89000 | #Constraints:     667914
531.82/533.48	c #Conflicts:      90000 | #Constraints:     668931
531.82/533.48	c INPROCESSING
531.82/533.48	c GARBAGE COLLECT
531.82/533.48	c #Conflicts:      91000 | #Constraints:     663864
531.82/533.48	c #Conflicts:      92000 | #Constraints:     664885
531.82/533.48	c #Conflicts:      93000 | #Constraints:     665913
531.82/533.48	c #Conflicts:      94000 | #Constraints:     666937
531.82/533.48	c #Conflicts:      95000 | #Constraints:     667941
531.82/533.48	c #Conflicts:      96000 | #Constraints:     668966
531.82/533.48	c INPROCESSING
531.82/533.48	c GARBAGE COLLECT
531.82/533.48	c rational objective 163.929
566.14/567.88	c #Conflicts:      97000 | #Constraints:     663693
566.14/567.88	c #Conflicts:      98000 | #Constraints:     664696
566.14/567.88	c #Conflicts:      99000 | #Constraints:     665721
566.14/567.88	c #Conflicts:     100000 | #Constraints:     666764
566.14/567.88	c #Conflicts:     101000 | #Constraints:     667772
566.14/567.88	c #Conflicts:     102000 | #Constraints:     668796
566.14/567.88	c #Conflicts:     103000 | #Constraints:     669808
566.14/567.88	c INPROCESSING
566.14/567.88	c GARBAGE COLLECT
566.14/567.88	c bounds 549 >= 37 @ 559.637
572.43/574.13	c #Conflicts:     104000 | #Constraints:     664330
572.43/574.13	c bounds 544 >= 37 @ 565.768
572.43/574.14	c bounds 544 >= 38 @ 565.782
572.43/574.17	c bounds 544 >= 39 @ 565.797
572.43/574.18	c bounds 544 >= 40 @ 565.81
572.52/574.20	c bounds 544 >= 41 @ 565.823
572.52/574.22	c bounds 544 >= 42 @ 565.836
572.52/574.24	c bounds 544 >= 43 @ 565.848
572.52/574.26	c bounds 544 >= 44 @ 565.858
572.52/574.28	c bounds 544 >= 45 @ 565.872
572.63/574.30	c bounds 544 >= 46 @ 565.883
572.63/574.32	c bounds 544 >= 47 @ 565.896
572.63/574.34	c bounds 544 >= 48 @ 565.91
572.63/574.36	c bounds 544 >= 49 @ 565.921
572.63/574.38	c bounds 544 >= 50 @ 565.937
572.72/574.40	c bounds 544 >= 51 @ 565.946
572.72/574.42	c bounds 544 >= 52 @ 565.958
572.72/574.43	c bounds 544 >= 53 @ 565.974
572.72/574.45	c bounds 544 >= 54 @ 565.985
572.72/574.47	c bounds 544 >= 55 @ 565.998
572.72/574.49	c bounds 544 >= 56 @ 566.014
572.82/574.51	c bounds 544 >= 57 @ 566.026
572.82/574.53	c bounds 544 >= 58 @ 566.04
572.82/574.55	c bounds 544 >= 59 @ 566.056
572.82/574.57	c bounds 544 >= 60 @ 566.069
572.82/574.59	c bounds 544 >= 61 @ 566.082
572.92/574.61	c bounds 544 >= 62 @ 566.094
572.92/574.63	c bounds 544 >= 63 @ 566.109
572.92/574.65	c bounds 544 >= 64 @ 566.119
572.92/574.67	c bounds 544 >= 65 @ 566.132
572.92/574.69	c bounds 544 >= 66 @ 566.144
573.02/574.71	c bounds 544 >= 67 @ 566.158
581.70/583.47	c bounds 544 >= 68 @ 574.868
581.80/583.53	c bounds 544 >= 69 @ 574.916
581.80/583.58	c bounds 544 >= 70 @ 574.955
581.90/583.63	c bounds 544 >= 71 @ 574.997
581.90/583.69	c bounds 544 >= 72 @ 575.056
581.99/583.79	c bounds 544 >= 73 @ 575.144
582.31/584.02	c bounds 544 >= 74 @ 575.356
582.59/584.38	c bounds 544 >= 75 @ 575.691
583.09/584.84	c bounds 544 >= 76 @ 576.14
583.60/585.30	c bounds 544 >= 77 @ 576.577
584.09/585.89	c #Conflicts:     105000 | #Constraints:     665650
584.09/585.89	c bounds 544 >= 78 @ 577.149
584.89/586.69	c bounds 544 >= 79 @ 577.917
586.40/588.17	c #Conflicts:     106000 | #Constraints:     666692
586.40/588.17	c bounds 544 >= 80 @ 579.338
588.18/589.98	c bounds 544 >= 81 @ 581.084
590.28/592.03	c #Conflicts:     107000 | #Constraints:     667758
590.28/592.03	c bounds 544 >= 82 @ 583.065
593.87/595.65	c #Conflicts:     108000 | #Constraints:     668785
593.87/595.65	c bounds 544 >= 83 @ 586.592
595.96/597.72	c bounds 543 >= 83 @ 588.613
761.16/763.37	c #Conflicts:     109000 | #Constraints:     669831
761.16/763.37	c #Conflicts:     110000 | #Constraints:     670831
761.16/763.37	c INPROCESSING
761.16/763.37	c GARBAGE COLLECT
761.16/763.37	c bounds 541 >= 83 @ 753.719
761.16/763.39	c bounds 537 >= 83 @ 753.738
761.26/763.42	c bounds 535 >= 83 @ 753.761
761.26/763.44	c bounds 532 >= 83 @ 753.78
763.85/766.07	c bounds 531 >= 83 @ 756.36
764.74/766.93	c bounds 531 >= 84 @ 757.187
771.83/774.08	c #Conflicts:     111000 | #Constraints:     665069
771.83/774.08	c bounds 531 >= 85 @ 764.241
776.02/778.27	c #Conflicts:     112000 | #Constraints:     666099
776.02/778.27	c #Conflicts:     113000 | #Constraints:     667099
776.02/778.27	c bounds 531 >= 86 @ 768.295
788.18/790.43	c #Conflicts:     114000 | #Constraints:     668138
788.18/790.43	c #Conflicts:     115000 | #Constraints:     669138
788.18/790.43	c bounds 531 >= 87 @ 780.188
788.39/790.62	c bounds 530 >= 87 @ 780.374
788.89/791.19	c bounds 526 >= 87 @ 780.936
790.78/793.00	c bounds 525 >= 87 @ 782.719
791.38/793.62	c #Conflicts:     116000 | #Constraints:     670178
791.38/793.62	c bounds 524 >= 87 @ 783.313
798.66/800.98	c #Conflicts:     117000 | #Constraints:     671180
798.66/800.98	c INPROCESSING
798.66/800.98	c GARBAGE COLLECT
798.66/800.98	c rational objective 164.087
814.73/817.05	c #Conflicts:     118000 | #Constraints:     665251
814.73/817.05	c bounds 523 >= 87 @ 806.445
836.06/838.42	c #Conflicts:     119000 | #Constraints:     666263
836.06/838.42	c #Conflicts:     120000 | #Constraints:     667263
836.06/838.42	c #Conflicts:     121000 | #Constraints:     668263
836.06/838.42	c #Conflicts:     122000 | #Constraints:     669263
836.06/838.42	c #Conflicts:     123000 | #Constraints:     670263
836.06/838.42	c bounds 523 >= 88 @ 827.428
844.44/846.80	c #Conflicts:     124000 | #Constraints:     671311
844.44/846.80	c INPROCESSING
844.44/846.80	c GARBAGE COLLECT
844.44/846.80	c rational objective 164.109
869.28/871.76	c #Conflicts:     125000 | #Constraints:     665231
869.28/871.76	c #Conflicts:     126000 | #Constraints:     666231
869.28/871.76	c #Conflicts:     127000 | #Constraints:     667231
869.28/871.76	c bounds 523 >= 89 @ 860.266
870.97/873.45	c bounds 519 >= 89 @ 861.915
870.97/873.47	c bounds 517 >= 89 @ 861.928
875.67/878.17	c #Conflicts:     128000 | #Constraints:     668269
875.67/878.17	c bounds 515 >= 89 @ 866.561
901.69/904.29	c #Conflicts:     129000 | #Constraints:     669270
901.69/904.29	c #Conflicts:     130000 | #Constraints:     670271
901.69/904.29	c #Conflicts:     131000 | #Constraints:     671271
901.69/904.29	c INPROCESSING
901.69/904.29	c GARBAGE COLLECT
901.69/904.29	c rational objective 164.115
917.56/920.15	c #Conflicts:     132000 | #Constraints:     665019
917.56/920.15	c #Conflicts:     133000 | #Constraints:     666019
917.56/920.15	c bounds 515 >= 90 @ 907.854
948.47/951.11	c #Conflicts:     134000 | #Constraints:     667071
948.47/951.11	c #Conflicts:     135000 | #Constraints:     668071
948.47/951.11	c #Conflicts:     136000 | #Constraints:     669071
948.47/951.11	c #Conflicts:     137000 | #Constraints:     670071
948.47/951.11	c bounds 515 >= 91 @ 938.39
1069.07/1072.06	c #Conflicts:     138000 | #Constraints:     671107
1069.07/1072.06	c #Conflicts:     139000 | #Constraints:     672107
1069.07/1072.06	c INPROCESSING
1069.07/1072.06	c GARBAGE COLLECT
1069.07/1072.06	c #Conflicts:     140000 | #Constraints:     665681
1069.07/1072.06	c #Conflicts:     141000 | #Constraints:     666681
1069.07/1072.06	c #Conflicts:     142000 | #Constraints:     667681
1069.07/1072.06	c #Conflicts:     143000 | #Constraints:     668682
1069.07/1072.06	c #Conflicts:     144000 | #Constraints:     669682
1069.07/1072.06	c #Conflicts:     145000 | #Constraints:     670682
1069.07/1072.06	c #Conflicts:     146000 | #Constraints:     671682
1069.07/1072.06	c #Conflicts:     147000 | #Constraints:     672683
1069.07/1072.06	c INPROCESSING
1069.07/1072.06	c GARBAGE COLLECT
1069.07/1072.06	c bounds 515 >= 92 @ 1058.23
1118.63/1121.78	c #Conflicts:     148000 | #Constraints:     666100
1118.63/1121.78	c #Conflicts:     149000 | #Constraints:     667100
1118.63/1121.78	c #Conflicts:     150000 | #Constraints:     668100
1118.63/1121.78	c #Conflicts:     151000 | #Constraints:     669100
1118.63/1121.78	c #Conflicts:     152000 | #Constraints:     670100
1118.63/1121.78	c #Conflicts:     153000 | #Constraints:     671100
1118.63/1121.78	c bounds 515 >= 93 @ 1107.1
1236.43/1239.89	c #Conflicts:     154000 | #Constraints:     672163
1236.43/1239.89	c #Conflicts:     155000 | #Constraints:     673163
1236.43/1239.89	c INPROCESSING
1236.43/1239.89	c GARBAGE COLLECT
1236.43/1239.89	c rational objective 164.116
1242.32/1245.75	c bounds 514 >= 93 @ 1230.54
1242.32/1245.77	c bounds 513 >= 93 @ 1230.55
1242.42/1245.80	c bounds 510 >= 93 @ 1230.59
1249.89/1253.36	c #Conflicts:     156000 | #Constraints:     666325
1249.89/1253.36	c bounds 503 >= 93 @ 1238.04
1302.26/1305.87	c #Conflicts:     157000 | #Constraints:     667328
1302.26/1305.87	c #Conflicts:     158000 | #Constraints:     668328
1302.26/1305.87	c #Conflicts:     159000 | #Constraints:     669328
1302.26/1305.87	c #Conflicts:     160000 | #Constraints:     670328
1302.26/1305.87	c #Conflicts:     161000 | #Constraints:     671328
1302.26/1305.87	c #Conflicts:     162000 | #Constraints:     672328
1302.26/1305.87	c bounds 503 >= 94 @ 1289.61
1302.26/1305.89	c bounds 502 >= 94 @ 1289.63
1498.56/1502.64	c #Conflicts:     163000 | #Constraints:     673386
1498.56/1502.64	c INPROCESSING
1498.56/1502.64	c GARBAGE COLLECT
1498.56/1502.64	c rational objective 164.116
1572.77/1577.09	c #Conflicts:     164000 | #Constraints:     666347
1572.77/1577.09	c #Conflicts:     165000 | #Constraints:     667347
1572.77/1577.09	c #Conflicts:     166000 | #Constraints:     668348
1572.77/1577.09	c #Conflicts:     167000 | #Constraints:     669348
1572.77/1577.09	c #Conflicts:     168000 | #Constraints:     670348
1572.77/1577.09	c #Conflicts:     169000 | #Constraints:     671348
1572.77/1577.09	c #Conflicts:     170000 | #Constraints:     672348
1572.77/1577.09	c bounds 502 >= 95 @ 1559.19
1576.77/1581.07	c #Conflicts:     171000 | #Constraints:     673405
1576.77/1581.07	c bounds 501 >= 95 @ 1563.09
1786.80/1791.62	c INPROCESSING
1786.80/1791.62	c GARBAGE COLLECT
1786.80/1791.62	c #Conflicts:     172000 | #Constraints:     666150
1786.80/1791.62	c #Conflicts:     173000 | #Constraints:     667150
1786.80/1791.62	c #Conflicts:     174000 | #Constraints:     668150
1786.80/1791.62	c #Conflicts:     175000 | #Constraints:     669150
1786.80/1791.62	c #Conflicts:     176000 | #Constraints:     670150
1786.80/1791.62	c #Conflicts:     177000 | #Constraints:     671150
1786.80/1791.62	c #Conflicts:     178000 | #Constraints:     672150
1786.80/1791.62	c #Conflicts:     179000 | #Constraints:     673150
1786.80/1791.62	c bounds 501 >= 96 @ 1771.93
1786.80/1791.64	c bounds 500 >= 96 @ 1771.94
1791.89/1796.70	c #Conflicts:     180000 | #Constraints:     674193
1791.89/1796.70	c INPROCESSING
1791.89/1796.70	c GARBAGE COLLECT
1791.89/1796.70	c rational objective 164.116
1798.58/1803.49	c bounds 499 >= 96 @ 1783.68
1798.97/1803.82	c bounds 490 >= 96 @ 1784
1799.08/1803.93	c bounds 487 >= 96 @ 1784.11
1799.18/1804.03	c bounds 486 >= 96 @ 1784.21
1890.85/1896.00	c #Conflicts:     181000 | #Constraints:     666902
1890.85/1896.00	c #Conflicts:     182000 | #Constraints:     667987
1890.85/1896.00	c #Conflicts:     183000 | #Constraints:     669046
1890.85/1896.00	c #Conflicts:     184000 | #Constraints:     670152
1890.85/1896.00	c #Conflicts:     185000 | #Constraints:     671197
1890.85/1896.00	c #Conflicts:     186000 | #Constraints:     672296
1890.85/1896.00	c bounds 485 >= 96 @ 1875.07
1911.09/1916.21	c #Conflicts:     187000 | #Constraints:     673333
1911.09/1916.21	c #Conflicts:     188000 | #Constraints:     674333
1911.09/1916.21	c #Conflicts:     189000 | #Constraints:     675333
1911.09/1916.21	c INPROCESSING
1911.09/1916.21	c GARBAGE COLLECT
1911.09/1916.21	c rational objective 164.116
2025.90/2031.34	c #Conflicts:     190000 | #Constraints:     667432
2025.90/2031.34	c #Conflicts:     191000 | #Constraints:     668432
2025.90/2031.34	c #Conflicts:     192000 | #Constraints:     669432
2025.90/2031.34	c #Conflicts:     193000 | #Constraints:     670432
2025.90/2031.34	c #Conflicts:     194000 | #Constraints:     671432
2025.90/2031.34	c #Conflicts:     195000 | #Constraints:     672432
2025.90/2031.34	c #Conflicts:     196000 | #Constraints:     673432
2025.90/2031.34	c #Conflicts:     197000 | #Constraints:     674433
2025.90/2031.34	c #Conflicts:     198000 | #Constraints:     675434
2025.90/2031.34	c INPROCESSING
2025.90/2031.34	c GARBAGE COLLECT
2025.90/2031.34	c rational objective 164.116
2034.47/2039.97	c bounds 485 >= 97 @ 2017.44
2313.44/2319.67	c #Conflicts:     199000 | #Constraints:     667533
2313.44/2319.67	c #Conflicts:     200000 | #Constraints:     668534
2313.44/2319.67	c #Conflicts:     201000 | #Constraints:     669534
2313.44/2319.67	c #Conflicts:     202000 | #Constraints:     670534
2313.44/2319.67	c #Conflicts:     203000 | #Constraints:     671535
2313.44/2319.67	c #Conflicts:     204000 | #Constraints:     672535
2313.44/2319.67	c #Conflicts:     205000 | #Constraints:     673536
2313.44/2319.67	c #Conflicts:     206000 | #Constraints:     674536
2313.44/2319.67	c #Conflicts:     207000 | #Constraints:     675536
2313.44/2319.67	c INPROCESSING
2313.44/2319.67	c GARBAGE COLLECT
2313.44/2319.67	c #Conflicts:     208000 | #Constraints:     667445
2313.44/2319.67	c #Conflicts:     209000 | #Constraints:     668445
2313.44/2319.67	c #Conflicts:     210000 | #Constraints:     669445
2313.44/2319.67	c #Conflicts:     211000 | #Constraints:     670445
2313.44/2319.67	c bounds 485 >= 98 @ 2295.17
2437.81/2444.35	c #Conflicts:     212000 | #Constraints:     671499
2437.81/2444.35	c #Conflicts:     213000 | #Constraints:     672499
2437.81/2444.35	c #Conflicts:     214000 | #Constraints:     673499
2437.81/2444.35	c #Conflicts:     215000 | #Constraints:     674499
2437.81/2444.35	c #Conflicts:     216000 | #Constraints:     675499
2437.81/2444.35	c INPROCESSING
2437.81/2444.35	c GARBAGE COLLECT
2437.81/2444.35	c #Conflicts:     217000 | #Constraints:     667249
2437.81/2444.35	c #Conflicts:     218000 | #Constraints:     668249
2437.81/2444.35	c #Conflicts:     219000 | #Constraints:     669249
2437.81/2444.35	c #Conflicts:     220000 | #Constraints:     670249
2437.81/2444.35	c #Conflicts:     221000 | #Constraints:     671250
2437.81/2444.35	c #Conflicts:     222000 | #Constraints:     672250
2437.81/2444.35	c #Conflicts:     223000 | #Constraints:     673250
2437.81/2444.35	c #Conflicts:     224000 | #Constraints:     674250
2437.81/2444.35	c #Conflicts:     225000 | #Constraints:     675251
2437.81/2444.35	c #Conflicts:     226000 | #Constraints:     676251
2437.81/2444.35	c INPROCESSING
2437.81/2444.35	c GARBAGE COLLECT
2437.81/2444.35	c rational objective 164.116
2445.20/2451.72	c bounds 485 >= 99 @ 2425.33
3530.68/3540.19	c #Conflicts:     227000 | #Constraints:     667895
3530.68/3540.19	c #Conflicts:     228000 | #Constraints:     668896
3530.68/3540.19	c #Conflicts:     229000 | #Constraints:     669896
3530.68/3540.19	c #Conflicts:     230000 | #Constraints:     670896
3530.68/3540.19	c #Conflicts:     231000 | #Constraints:     671896
3530.68/3540.19	c #Conflicts:     232000 | #Constraints:     672896
3530.68/3540.19	c #Conflicts:     233000 | #Constraints:     673897
3530.68/3540.19	c #Conflicts:     234000 | #Constraints:     674897
3530.68/3540.19	c #Conflicts:     235000 | #Constraints:     675897
3530.68/3540.19	c #Conflicts:     236000 | #Constraints:     676897
3530.68/3540.19	c INPROCESSING
3530.68/3540.19	c GARBAGE COLLECT
3530.68/3540.19	c #Conflicts:     237000 | #Constraints:     668265
3530.68/3540.19	c #Conflicts:     238000 | #Constraints:     669265
3530.68/3540.19	c #Conflicts:     239000 | #Constraints:     670265
3530.68/3540.19	c #Conflicts:     240000 | #Constraints:     671265
3530.68/3540.19	c #Conflicts:     241000 | #Constraints:     672265
3530.68/3540.19	c #Conflicts:     242000 | #Constraints:     673266
3530.68/3540.19	c #Conflicts:     243000 | #Constraints:     674266
3530.68/3540.19	c #Conflicts:     244000 | #Constraints:     675266
3530.68/3540.19	c #Conflicts:     245000 | #Constraints:     676266
3530.68/3540.19	c #Conflicts:     246000 | #Constraints:     677266
3530.97/3540.47	c INPROCESSING
3530.97/3540.47	c GARBAGE COLLECT
3530.97/3540.47	c #Conflicts:     247000 | #Constraints:     668453
3530.97/3540.47	c #Conflicts:     248000 | #Constraints:     669453
3530.97/3540.47	c #Conflicts:     249000 | #Constraints:     670453
3530.97/3540.47	c #Conflicts:     250000 | #Constraints:     671453
3530.97/3540.47	c #Conflicts:     251000 | #Constraints:     672453
3530.97/3540.47	c #Conflicts:     252000 | #Constraints:     673454
3530.97/3540.47	c #Conflicts:     253000 | #Constraints:     674454
3530.97/3540.47	c #Conflicts:     254000 | #Constraints:     675454
3530.97/3540.47	c #Conflicts:     255000 | #Constraints:     676454
3530.97/3540.47	c #Conflicts:     256000 | #Constraints:     677454
3530.97/3540.47	c INPROCESSING
3530.97/3540.47	c GARBAGE COLLECT
3530.97/3540.47	c #Conflicts:     257000 | #Constraints:     668438
3530.97/3540.47	c #Conflicts:     258000 | #Constraints:     669438
3530.97/3540.47	c #Conflicts:     259000 | #Constraints:     670438
3530.97/3540.47	c #Conflicts:     260000 | #Constraints:     671438
3530.97/3540.47	c #Conflicts:     261000 | #Constraints:     672438
3530.97/3540.47	c #Conflicts:     262000 | #Constraints:     673438
3530.97/3540.47	c #Conflicts:     263000 | #Constraints:     674438
3530.97/3540.47	c #Conflicts:     264000 | #Constraints:     675438
3530.97/3540.47	c #Conflicts:     265000 | #Constraints:     676438
3530.97/3540.47	c #Conflicts:     266000 | #Constraints:     677438
3530.97/3540.47	c INPROCESSING
3530.97/3540.47	c GARBAGE COLLECT
3530.97/3540.47	c rational objective 164.116
3536.56/3546.03	c bounds 484 >= 99 @ 3510.91
3551.52/3561.07	c #Conflicts:     267000 | #Constraints:     668227
3551.52/3561.07	c #Conflicts:     268000 | #Constraints:     669227
3551.52/3561.07	c #Conflicts:     269000 | #Constraints:     670227
3551.52/3561.07	c bounds 483 >= 99 @ 3525.75

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: 63708 MiB (50762 MiB free)
  memory of node 1: 64465 MiB (51337 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532377-1752683038/watcher-4532377-1752683038 -o /tmp/evaluation-result-4532377-1752683038/solver-4532377-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137168 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532377-1752683038.opb /tmp/proof-4532377-1752683038 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=137213, runsolver pid=137207

[startup+0.100064 s]*
/proc/loadavg: 0.05 0.08 0.09 5/270 137231
/proc/meminfo: memFree=104328900/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137223] ppid=137213 vsize=162480 memory=145124 CPUtime=0.07 cores=4,6
/proc/137223/stat : 137223 (pbsuma) R 137213 137213 137152 0 -1 4194304 3603 0 0 0 4 3 0 0 20 0 1 0 183978378 166379520 36281 18446744073709551615 4210688 4653049 140731930113824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 28852224 140731930118407 140731930118704 140731930118704 140731930124271 0
/proc/137223/statm: 40620 36281 960 108 0 38028 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166672 KiB
Current children cumulated memory: 148068 KiB

[startup+0.205843 s]*
/proc/loadavg: 0.05 0.08 0.09 6/270 137232
/proc/meminfo: memFree=104262640/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137223] ppid=137213 vsize=179600 memory=165256 CPUtime=0.16 cores=4,6
/proc/137223/stat : 137223 (pbsuma) R 137213 137213 137152 0 -1 4194304 8301 0 0 0 13 3 0 0 20 0 1 0 183978378 183910400 41314 18446744073709551615 4210688 4653049 140731930113824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 28852224 140731930118407 140731930118704 140731930118704 140731930124271 0
/proc/137223/statm: 44900 41314 960 108 0 42308 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 183792 KiB
Current children cumulated memory: 168200 KiB

[startup+0.305734 s]*
/proc/loadavg: 0.05 0.08 0.09 5/270 137232
/proc/meminfo: memFree=104205936/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137223] ppid=137213 vsize=193200 memory=178684 CPUtime=0.25 cores=4,6
/proc/137223/stat : 137223 (pbsuma) R 137213 137213 137152 0 -1 4194304 11133 0 0 0 21 4 0 0 20 0 1 0 183978378 197836800 44671 18446744073709551615 4210688 4653049 140731930113824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 28852224 140731930118407 140731930118704 140731930118704 140731930124271 0
/proc/137223/statm: 48300 44671 960 108 0 45708 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 197392 KiB
Current children cumulated memory: 181628 KiB

[startup+0.700211 s]
/proc/loadavg: 0.05 0.08 0.09 5/270 137232
/proc/meminfo: memFree=104052192/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137223] ppid=137213 vsize=319208 memory=268828 CPUtime=0.63 cores=4,6
/proc/137223/stat : 137223 (pbsuma) R 137213 137213 137152 0 -1 4194304 23189 0 0 0 55 8 0 0 20 0 1 0 183978378 326868992 67207 18446744073709551615 4210688 4653049 140731930113824 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 28852224 140731930118407 140731930118704 140731930118704 140731930124271 0
/proc/137223/statm: 79802 67207 1056 108 0 77210 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 323400 KiB
Current children cumulated memory: 271772 KiB

[startup+1.50021 s]
/proc/loadavg: 0.05 0.08 0.09 5/270 137234
/proc/meminfo: memFree=104144060/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=78192 memory=34292 CPUtime=0.58 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 6447 0 0 0 46 12 0 0 20 0 1 0 183978467 80068608 8573 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 19548 8573 1952 1147 0 6974 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 82384 KiB
Current children cumulated memory: 37236 KiB

[startup+3.10554 s]
/proc/loadavg: 0.05 0.08 0.09 5/270 137235
/proc/meminfo: memFree=103952356/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=150064 memory=97976 CPUtime=2.17 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 20269 0 0 0 171 46 0 0 20 0 1 0 183978467 153665536 24494 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 37516 24494 1952 1147 0 24942 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 154256 KiB
Current children cumulated memory: 100920 KiB

[startup+6.30021 s]
/proc/loadavg: 0.37 0.15 0.11 5/270 137235
/proc/meminfo: memFree=103163924/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=914864 memory=664376 CPUtime=5.33 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 54766 0 0 0 458 75 0 0 20 0 1 0 183978467 936820736 166094 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 228716 166094 2336 1147 0 216142 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 919056 KiB
Current children cumulated memory: 667320 KiB

[startup+12.7002 s]
/proc/loadavg: 0.74 0.23 0.13 5/264 137277
/proc/meminfo: memFree=103139640/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1099980 memory=786332 CPUtime=11.7 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 63752 0 0 0 1068 102 0 0 20 0 1 0 183978467 1126379520 196583 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 274995 196583 2400 1147 0 262421 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 1104172 KiB
Current children cumulated memory: 789276 KiB

[startup+25.5002 s]
/proc/loadavg: 1.62 0.45 0.21 5/269 137335
/proc/meminfo: memFree=102059160/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1174672 memory=853768 CPUtime=24.45 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 68914 0 0 0 2300 145 0 0 20 0 1 0 183978467 1202864128 213442 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 293668 213442 2400 1147 0 281094 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 1178864 KiB
Current children cumulated memory: 856712 KiB

[startup+51.1057 s]
/proc/loadavg: 2.49 0.75 0.31 5/272 137438
/proc/meminfo: memFree=100375732/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1468684 memory=1149072 CPUtime=49.97 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 112622 0 0 0 4806 191 0 0 20 0 1 0 183978467 1503932416 287268 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 367171 287268 2400 1147 0 354597 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 1472876 KiB
Current children cumulated memory: 1152016 KiB

[startup+102.3 s]
/proc/loadavg: 3.79 1.38 0.55 5/273 137441
/proc/meminfo: memFree=95593452/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1755152 memory=1376124 CPUtime=101 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 149611 0 0 0 9858 242 0 0 20 0 1 0 183978467 1797275648 344031 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 438788 344031 2400 1147 0 426214 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 1759344 KiB
Current children cumulated memory: 1379068 KiB

[startup+162.3 s]
/proc/loadavg: 4.64 2.05 0.84 5/273 137444
/proc/meminfo: memFree=90708352/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1720284 memory=1342724 CPUtime=160.85 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 150122 0 0 0 15796 289 0 0 20 0 1 0 183978467 1761570816 335681 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 430071 335681 2400 1147 0 417497 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1724476 KiB
Current children cumulated memory: 1345668 KiB

[startup+222.3 s]
/proc/loadavg: 4.65 2.53 1.08 5/275 137450
/proc/meminfo: memFree=86093564/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=1776200 memory=1395852 CPUtime=220.68 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 156747 0 0 0 21747 321 0 0 20 0 1 0 183978467 1818828800 348963 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 444050 348963 2400 1147 0 431476 0

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

/proc/meminfo: memFree=1254064/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2479884 memory=2133196 CPUtime=3272.78 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 419050 0 0 0 324939 2339 0 0 20 0 1 0 183978467 2539401216 533299 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 619971 533299 2528 1147 0 607397 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 2484076 KiB
Current children cumulated memory: 2136140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.63 4.77 4.71 5/276 137702
/proc/meminfo: memFree=53801428/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2479884 memory=2133196 CPUtime=3332.62 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 419062 0 0 0 330921 2341 0 0 20 0 1 0 183978467 2539401216 533299 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 619971 533299 2528 1147 0 607397 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 2484076 KiB
Current children cumulated memory: 2136140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.72 4.75 4.71 5/272 137740
/proc/meminfo: memFree=60662648/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2479884 memory=2133196 CPUtime=3392.46 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 419067 0 0 0 336902 2344 0 0 20 0 1 0 183978467 2539401216 533299 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 619971 533299 2528 1147 0 607397 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 2484076 KiB
Current children cumulated memory: 2136140 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.66 4.68 5/277 137762
/proc/meminfo: memFree=107228344/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2479884 memory=2133196 CPUtime=3452.28 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 419949 0 0 0 342852 2376 0 0 20 0 1 0 183978467 2539401216 533299 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 619971 533299 2528 1147 0 607397 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 2484076 KiB
Current children cumulated memory: 2136140 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.60 4.66 5/277 137764
/proc/meminfo: memFree=104723684/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2460824 memory=2116300 CPUtime=3512.1 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 424985 0 0 0 348737 2473 0 0 20 0 1 0 183978467 2519883776 529075 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 615206 529075 2528 1147 0 602632 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 2465016 KiB
Current children cumulated memory: 2119244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.60 4.65 5/276 137766
/proc/meminfo: memFree=102532428/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2459988 memory=2122956 CPUtime=3571.92 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 430185 0 0 0 354656 2536 0 0 20 0 1 0 183978467 2519027712 530739 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 530739 2528 1147 0 602423 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 2464180 KiB
Current children cumulated memory: 2125900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.40 4.57 4.64 5/272 137767
/proc/meminfo: memFree=101430732/131249992 swapFree=33009392/33010684
[pid=137213] ppid=137207 vsize=4192 memory=2944 CPUtime=0.83 cores=4,6
/proc/137213/stat : 137213 (run-opt-break-l) S 137207 137213 137152 0 -1 4194304 237 28072 0 0 0 0 73 10 20 0 1 0 183978377 4292608 736 18446744073709551615 93845788528640 93845789423173 140729049046640 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93845789662224 93845789709968 93845823270912 140729049053497 140729049053660 140729049053660 140729049059264 0
/proc/137213/statm: 1048 736 672 219 0 110 0
[pid=137234] ppid=137213 vsize=2459988 memory=2115404 CPUtime=3599.24 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137213 137213 137152 0 -1 4194304 440151 0 0 0 357352 2572 0 0 20 0 1 0 183978467 2519027712 528851 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 528851 2528 1147 0 602423 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2464180 KiB
Current children cumulated memory: 2118348 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3576.25 s, system=25.844 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+3610.4 s]
/proc/loadavg: 4.45 4.57 4.64 5/271 137767
/proc/meminfo: memFree=101410276/131249992 swapFree=33009392/33010684
[pid=137234] ppid=137207 vsize=2459988 memory=2115404 CPUtime=3599.94 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137207 137213 137152 0 -1 4194304 440151 0 0 0 357422 2572 0 0 20 0 1 0 183978467 2519027712 528851 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 528851 2528 1147 0 602423 0
Current cumulated CPU time of completed processes: 0.845426 s
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 2459988 KiB
Current children cumulated memory: 2115404 KiB

[startup+3611.2 s]
/proc/loadavg: 4.45 4.57 4.64 5/271 137767
/proc/meminfo: memFree=101394304/131249992 swapFree=33009392/33010684
[pid=137234] ppid=137207 vsize=2459988 memory=2115404 CPUtime=3600.73 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137207 137213 137152 0 -1 4194304 440151 0 0 0 357501 2572 0 0 20 0 1 0 183978467 2519027712 528851 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 528851 2528 1147 0 602423 0
Current cumulated CPU time of completed processes: 0.845426 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 2459988 KiB
Current children cumulated memory: 2115404 KiB

[startup+3611.6 s]
/proc/loadavg: 4.45 4.57 4.64 5/271 137767
/proc/meminfo: memFree=101394304/131249992 swapFree=33009392/33010684
[pid=137234] ppid=137207 vsize=2459988 memory=2115404 CPUtime=3601.13 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137207 137213 137152 0 -1 4194304 440151 0 0 0 357541 2572 0 0 20 0 1 0 183978467 2519027712 528851 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 528851 2528 1147 0 602423 0
Current cumulated CPU time of completed processes: 0.845426 s
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 2459988 KiB
Current children cumulated memory: 2115404 KiB

[startup+3611.7 s]
/proc/loadavg: 4.45 4.57 4.64 5/271 137767
/proc/meminfo: memFree=101394304/131249992 swapFree=33009392/33010684
[pid=137234] ppid=137207 vsize=2459988 memory=2115404 CPUtime=3601.23 cores=4,6
/proc/137234/stat : 137234 (roundingsat) R 137207 137213 137152 0 -1 4194304 440151 0 0 0 357551 2572 0 0 20 0 1 0 183978467 2519027712 528851 18446744073709551615 4227072 8923577 140734812428464 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 32862208 140734812432696 140734812432934 140734812432934 140734812438506 0
/proc/137234/statm: 614997 528851 2528 1147 0 602423 0
Current cumulated CPU time of completed processes: 0.845426 s
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 2459988 KiB
Current children cumulated memory: 2115404 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.71
CPU time (s): 3602.1
CPU user time (s): 3576.25
CPU system time (s): 25.844
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 2579596
Max. memory (cumulated for all children) (KiB): 2243976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.25
system time used= 25.844
maximum resident set size= 2241088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468460
page faults= 0
swaps= 0
block input operations= 0
block output operations= 53744704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 325
involuntary context switches= 4035


# summary of solver processes directly reported to runsolver:
#   pid: 137213,137234
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3576.25
#   total CPU system time (s): 25.844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44332 second user time and 17.1672 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-16 18:23:58
IDJOB=4532377
IDBENCH=147565
IDSOLVER=3393
FILE ID=nodeC035/4532377-1752683038
RUNJOBID= nodeC035-1752683038-137168
SLURM_JOB_ID= 9686930
Free space on /tmp= 432764 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532377-1752683038/watcher-4532377-1752683038 -o /tmp/evaluation-result-4532377-1752683038/solver-4532377-1752683038 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752683038-137168 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532377-1752683038.opb /tmp/proof-4532377-1752683038

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=210464024

nodeC035 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.331
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.51
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		: 3600.089
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.747
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.51
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		: 3599.950
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.51
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.747
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.51
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		: 3599.537
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.51
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		: 3489.408
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.51
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.986
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        104550420 kB
MemAvailable:   129662588 kB
Buffers:             664 kB
Cached:         25866348 kB
SwapCached:          332 kB
Active:           668984 kB
Inactive:       25263808 kB
Active(anon):      72716 kB
Inactive(anon):    18956 kB
Active(file):     596268 kB
Inactive(file): 25244852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54176 kB
Writeback:             0 kB
AnonPages:         68608 kB
Mapped:           108436 kB
Shmem:             25892 kB
KReclaimable:     220572 kB
Slab:             316052 kB
SReclaimable:     220572 kB
SUnreclaim:        95480 kB
KernelStack:        4080 kB
PageTables:         2908 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     348644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 364200 MiB
End job on nodeC035 at 2025-07-16 19:24:10