Trace number 4517997

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.07 3610.66

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
MD5SUMcd82cadc3025252f43f8d787a9347bc3
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-141992
Best CPU time to get the best result obtained on this benchmark0.123928
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 10984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 6085234
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 48992
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 6085234
Number of bits of the biggest sum of numbers23
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
0.00/0.01	c #variables 1000 #constraints 1
0.00/0.01	c objective is ce32 
0.00/0.01	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.01	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.01	c GLOBAL bounds - >= -6085234 @ 0.00172
0.00/0.01	c GLOBAL bounds - >= -6085234 @ 0.002162
0.00/0.01	c GLOBAL bounds - >= -6085234 @ 0.003127
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.003615
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.00472
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.006022
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007338
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.007979
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.009189
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.009816
0.00/0.02	c GLOBAL bounds - >= -6085234 @ 0.009816
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.011049
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.012367
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.013692
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.014138
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.014775
0.00/0.03	c GLOBAL bounds - >= -6085234 @ 0.014775
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.017172
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.018502
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.019107
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.021689
0.00/0.04	c GLOBAL bounds - >= -6085234 @ 0.023898
0.00/0.05	c GLOBAL bounds - >= -6085234 @ 0.025802
0.00/0.05	c GLOBAL bounds - >= -6085234 @ 0.027743
0.00/0.05	c GLOBAL bounds - >= -6085234 @ 0.031803
0.00/0.06	c GLOBAL bounds - >= -6085234 @ 0.039378
0.00/0.06	c GLOBAL bounds - >= -6085234 @ 0.04276
0.00/0.08	c GLOBAL bounds - >= -6085234 @ 0.060495
0.00/0.08	c GLOBAL bounds - >= -6085234 @ 0.061775
0.00/0.09	c GLOBAL bounds - >= -6085234 @ 0.062292
0.00/0.09	c GLOBAL bounds - >= -6085234 @ 0.067869
0.00/0.10	c GLOBAL bounds - >= -6085234 @ 0.071719
0.08/0.13	c GLOBAL bounds - >= -6085234 @ 0.103853
0.08/0.13	c GLOBAL bounds - >= -6085234 @ 0.106496
0.19/0.28	c GLOBAL bounds - >= -6085234 @ 0.254003
0.19/0.30	c GLOBAL bounds - >= -6085234 @ 0.273137
0.29/0.33	c GLOBAL bounds - >= -6085234 @ 0.297352
0.29/0.33	c GLOBAL bounds - >= -6085234 @ 0.298117
0.29/0.34	c GLOBAL bounds - >= -6085234 @ 0.309539
0.29/0.35	c GLOBAL bounds - >= -6085234 @ 0.315168
0.39/0.48	c GLOBAL bounds - >= -6085234 @ 0.438605
0.48/0.57	c GLOBAL bounds - >= -6085234 @ 0.526486
3.08/3.12	c #Conflicts:       1000 | #Constraints:       1081
3.08/3.12	c GLOBAL bounds - >= -6085234 @ 3.02615
3.08/3.12	c GLOBAL bounds - >= -6085234 @ 3.02984
3.08/3.13	c GLOBAL bounds - >= -6085234 @ 3.03617
3.08/3.13	c GLOBAL bounds - >= -6085234 @ 3.0447
3.17/3.25	c GLOBAL bounds - >= -6085234 @ 3.16075
3.47/3.52	c #Conflicts:       2000 | #Constraints:       2091
3.47/3.52	c INPROCESSING
3.47/3.52	c GARBAGE COLLECT
3.47/3.52	c GLOBAL bounds - >= -6085234 @ 3.42444
3.47/3.52	c GLOBAL bounds - >= -6085234 @ 3.4271
3.47/3.53	c GLOBAL bounds - >= -6085234 @ 3.42971
3.47/3.53	c GLOBAL bounds - >= -6085234 @ 3.43241
3.47/3.53	c GLOBAL bounds - >= -6085234 @ 3.43324
3.47/3.53	c GLOBAL bounds - >= -6085234 @ 3.4352
3.47/3.54	c GLOBAL bounds - >= -6085234 @ 3.43727
3.47/3.54	c GLOBAL bounds - >= -6085234 @ 3.43851
3.47/3.54	c GLOBAL bounds - >= -6085234 @ 3.44183
3.47/3.55	c GLOBAL bounds - >= -6085234 @ 3.44429
3.47/3.55	c GLOBAL bounds - >= -6085234 @ 3.44789
3.47/3.56	c GLOBAL bounds - >= -6085234 @ 3.45165
3.47/3.56	c GLOBAL bounds - >= -6085234 @ 3.45553
3.47/3.59	c GLOBAL bounds - >= -6085234 @ 3.48566
3.57/3.69	c GLOBAL bounds - >= -6085234 @ 3.58417
3.66/3.70	c GLOBAL bounds - >= -6085234 @ 3.58754
3.66/3.70	c GLOBAL bounds - >= -6085234 @ 3.59491
3.66/3.71	c GLOBAL bounds - >= -6085234 @ 3.60198
6.46/6.52	c #Conflicts:       3000 | #Constraints:       2132
6.46/6.52	c GLOBAL bounds - >= -6085234 @ 6.36641
6.46/6.53	c GLOBAL bounds - >= -6085234 @ 6.37225
6.46/6.54	c GLOBAL bounds - >= -6085234 @ 6.37915
6.46/6.54	c GLOBAL bounds - >= -6085234 @ 6.38527
6.46/6.55	c GLOBAL bounds - >= -6085234 @ 6.39251
6.46/6.56	c GLOBAL bounds - >= -6085234 @ 6.39905
6.46/6.57	c GLOBAL bounds - >= -6085234 @ 6.40711
6.46/6.57	c GLOBAL bounds - >= -6085234 @ 6.41521
6.46/6.58	c GLOBAL bounds - >= -6085234 @ 6.42246
6.46/6.59	c GLOBAL bounds - >= -6085234 @ 6.43075
6.56/6.68	c GLOBAL bounds - >= -6085234 @ 6.5221
6.66/6.79	c GLOBAL bounds - >= -6085234 @ 6.62617
6.97/7.03	c GLOBAL bounds - >= -6085234 @ 6.85505
7.36/7.49	c GLOBAL bounds - >= -6085234 @ 7.31095
7.96/8.10	c GLOBAL bounds - >= -6085234 @ 7.90662
11.05/11.15	c #Conflicts:       4000 | #Constraints:       3162
11.05/11.15	c INPROCESSING
11.05/11.15	c GARBAGE COLLECT
11.05/11.15	c GLOBAL bounds - >= -6085234 @ 10.9146
23.61/23.78	c #Conflicts:       5000 | #Constraints:       2571
23.61/23.78	c #Conflicts:       6000 | #Constraints:       3571
23.61/23.78	c INPROCESSING
23.61/23.78	c GARBAGE COLLECT
23.61/23.78	c #Conflicts:       7000 | #Constraints:       2575
23.61/23.78	c #Conflicts:       8000 | #Constraints:       3575
23.61/23.78	c GLOBAL bounds - >= -6085234 @ 23.4236
23.61/23.79	c GLOBAL bounds - >= -6085234 @ 23.432
23.71/23.80	c GLOBAL bounds - >= -6085234 @ 23.4415
23.71/23.81	c GLOBAL bounds - >= -6085234 @ 23.4499
23.81/23.96	c GLOBAL bounds - >= -6085234 @ 23.5942
24.02/24.18	c GLOBAL bounds - >= -6085234 @ 23.8109
54.52/54.75	c #Conflicts:       9000 | #Constraints:       4587
54.52/54.75	c INPROCESSING
54.52/54.75	c GARBAGE COLLECT
54.52/54.75	c #Conflicts:      10000 | #Constraints:       3291
54.52/54.75	c #Conflicts:      11000 | #Constraints:       4291
54.52/54.75	c #Conflicts:      12000 | #Constraints:       5291
54.52/54.75	c INPROCESSING
54.52/54.75	c GARBAGE COLLECT
54.52/54.75	c #Conflicts:      13000 | #Constraints:       3738
54.52/54.75	c #Conflicts:      14000 | #Constraints:       4738
54.52/54.75	c #Conflicts:      15000 | #Constraints:       5738
54.52/54.75	c INPROCESSING
54.52/54.75	c GARBAGE COLLECT
54.52/54.75	c GLOBAL bounds - >= -6085234 @ 54.0846
54.62/54.81	c GLOBAL bounds - >= -6085234 @ 54.1519
55.02/55.26	c GLOBAL bounds - >= -6085234 @ 54.5906
56.52/56.71	c #Conflicts:      16000 | #Constraints:       3965
56.52/56.71	c GLOBAL bounds - >= -6085234 @ 56.0265
70.97/71.20	c #Conflicts:      17000 | #Constraints:       4967
70.97/71.20	c #Conflicts:      18000 | #Constraints:       5967
70.97/71.20	c INPROCESSING
70.97/71.20	c GARBAGE COLLECT
70.97/71.20	c #Conflicts:      19000 | #Constraints:       3988
70.97/71.20	c GLOBAL bounds - >= -6085234 @ 70.3902
83.85/84.16	c #Conflicts:      20000 | #Constraints:       4990
83.85/84.16	c #Conflicts:      21000 | #Constraints:       5990
83.85/84.16	c GLOBAL bounds - >= -6085234 @ 83.2491
100.99/101.32	c INPROCESSING
100.99/101.32	c GARBAGE COLLECT
100.99/101.32	c #Conflicts:      22000 | #Constraints:       3799
100.99/101.32	c #Conflicts:      23000 | #Constraints:       4799
100.99/101.32	c #Conflicts:      24000 | #Constraints:       5799
100.99/101.32	c GLOBAL bounds - >= -6085234 @ 100.262
108.16/108.54	c #Conflicts:      25000 | #Constraints:       6801
108.16/108.54	c GLOBAL bounds - >= -6085234 @ 107.425
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      26000 | #Constraints:       4398
279.59/280.42	c #Conflicts:      27000 | #Constraints:       5398
279.59/280.42	c #Conflicts:      28000 | #Constraints:       6398
279.59/280.42	c #Conflicts:      29000 | #Constraints:       7398
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      30000 | #Constraints:       4803
279.59/280.42	c #Conflicts:      31000 | #Constraints:       5803
279.59/280.42	c #Conflicts:      32000 | #Constraints:       6803
279.59/280.42	c #Conflicts:      33000 | #Constraints:       7803
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      34000 | #Constraints:       5006
279.59/280.42	c #Conflicts:      35000 | #Constraints:       6006
279.59/280.42	c #Conflicts:      36000 | #Constraints:       7006
279.59/280.42	c #Conflicts:      37000 | #Constraints:       8006
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      38000 | #Constraints:       5008
279.59/280.42	c #Conflicts:      39000 | #Constraints:       6008
279.59/280.42	c #Conflicts:      40000 | #Constraints:       7008
279.59/280.42	c #Conflicts:      41000 | #Constraints:       8008
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      42000 | #Constraints:       4802
279.59/280.42	c #Conflicts:      43000 | #Constraints:       5802
279.59/280.42	c #Conflicts:      44000 | #Constraints:       6802
279.59/280.42	c #Conflicts:      45000 | #Constraints:       7802
279.59/280.42	c #Conflicts:      46000 | #Constraints:       8802
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      47000 | #Constraints:       5405
279.59/280.42	c #Conflicts:      48000 | #Constraints:       6405
279.59/280.42	c #Conflicts:      49000 | #Constraints:       7405
279.59/280.42	c #Conflicts:      50000 | #Constraints:       8405
279.59/280.42	c #Conflicts:      51000 | #Constraints:       9405
279.59/280.42	c INPROCESSING
279.59/280.42	c GARBAGE COLLECT
279.59/280.42	c #Conflicts:      52000 | #Constraints:       5806
279.59/280.42	c GLOBAL bounds - >= -6085234 @ 277.889
279.59/280.44	c GLOBAL bounds - >= -6085234 @ 277.905
279.59/280.46	c GLOBAL bounds - >= -6085234 @ 277.922
279.69/280.50	c GLOBAL bounds - >= -6085234 @ 277.961
280.39/281.28	c GLOBAL bounds - >= -6085234 @ 278.733
285.57/286.42	c #Conflicts:      53000 | #Constraints:       6816
285.57/286.42	c GLOBAL bounds - >= -6085234 @ 283.833
323.66/324.68	c #Conflicts:      54000 | #Constraints:       7818
323.66/324.68	c #Conflicts:      55000 | #Constraints:       8818
323.66/324.68	c #Conflicts:      56000 | #Constraints:       9818
323.66/324.68	c INPROCESSING
323.66/324.68	c GARBAGE COLLECT
323.66/324.68	c #Conflicts:      57000 | #Constraints:       6022
323.66/324.68	c #Conflicts:      58000 | #Constraints:       7022
323.66/324.68	c GLOBAL bounds - >= -6085234 @ 321.817
378.61/379.74	c #Conflicts:      59000 | #Constraints:       8024
378.61/379.74	c #Conflicts:      60000 | #Constraints:       9024
378.61/379.74	c #Conflicts:      61000 | #Constraints:      10024
378.61/379.74	c INPROCESSING
378.61/379.74	c GARBAGE COLLECT
378.61/379.74	c #Conflicts:      62000 | #Constraints:       6022
378.61/379.74	c #Conflicts:      63000 | #Constraints:       7022
378.61/379.74	c #Conflicts:      64000 | #Constraints:       8022
378.61/379.74	c #Conflicts:      65000 | #Constraints:       9022
378.61/379.74	c #Conflicts:      66000 | #Constraints:      10022
378.61/379.74	c GLOBAL bounds - >= -6085234 @ 376.512
378.61/379.79	c GLOBAL bounds - >= -6085234 @ 376.567
435.65/436.92	c INPROCESSING
435.65/436.92	c GARBAGE COLLECT
435.65/436.92	c #Conflicts:      67000 | #Constraints:       5816
435.65/436.92	c #Conflicts:      68000 | #Constraints:       6816
435.65/436.92	c #Conflicts:      69000 | #Constraints:       7816
435.65/436.92	c #Conflicts:      70000 | #Constraints:       8816
435.65/436.92	c #Conflicts:      71000 | #Constraints:       9816
435.65/436.92	c #Conflicts:      72000 | #Constraints:      10816
435.65/436.92	c INPROCESSING
435.65/436.92	c GARBAGE COLLECT
435.65/436.92	c #Conflicts:      73000 | #Constraints:       6429
435.65/436.92	c GLOBAL bounds - >= -6085234 @ 433.293
435.65/436.94	c GLOBAL bounds - >= -6085234 @ 433.314
435.86/437.17	c GLOBAL bounds - >= -6085234 @ 433.546
436.05/437.31	c GLOBAL bounds - >= -6085234 @ 433.674
436.15/437.41	c GLOBAL bounds - >= -6085234 @ 433.774
436.25/437.57	c GLOBAL bounds - >= -6085234 @ 433.933
436.54/437.82	c GLOBAL bounds - >= -6085234 @ 434.176
436.54/437.88	c GLOBAL bounds - >= -6085234 @ 434.246
442.64/443.98	c #Conflicts:      74000 | #Constraints:       7445
442.64/443.98	c GLOBAL bounds - >= -6085234 @ 440.289
442.84/444.11	c GLOBAL bounds - >= -6085234 @ 440.417
645.77/647.63	c #Conflicts:      75000 | #Constraints:       8449
645.77/647.63	c #Conflicts:      76000 | #Constraints:       9449
645.77/647.63	c #Conflicts:      77000 | #Constraints:      10449
645.77/647.63	c #Conflicts:      78000 | #Constraints:      11449
645.77/647.63	c INPROCESSING
645.77/647.63	c GARBAGE COLLECT
645.77/647.63	c #Conflicts:      79000 | #Constraints:       6845
645.77/647.63	c #Conflicts:      80000 | #Constraints:       7845
645.77/647.63	c #Conflicts:      81000 | #Constraints:       8845
645.77/647.63	c #Conflicts:      82000 | #Constraints:       9845
645.77/647.63	c #Conflicts:      83000 | #Constraints:      10845
645.77/647.63	c #Conflicts:      84000 | #Constraints:      11845
645.77/647.63	c INPROCESSING
645.77/647.63	c GARBAGE COLLECT
645.77/647.63	c #Conflicts:      85000 | #Constraints:       7046
645.77/647.63	c #Conflicts:      86000 | #Constraints:       8046
645.77/647.63	c #Conflicts:      87000 | #Constraints:       9046
645.77/647.63	c #Conflicts:      88000 | #Constraints:      10046
645.77/647.63	c #Conflicts:      89000 | #Constraints:      11046
645.77/647.63	c #Conflicts:      90000 | #Constraints:      12046
645.77/647.63	c INPROCESSING
645.77/647.63	c GARBAGE COLLECT
645.77/647.63	c #Conflicts:      91000 | #Constraints:       7050
645.77/647.63	c #Conflicts:      92000 | #Constraints:       8050
645.77/647.63	c #Conflicts:      93000 | #Constraints:       9050
645.77/647.63	c #Conflicts:      94000 | #Constraints:      10050
645.77/647.63	c #Conflicts:      95000 | #Constraints:      11050
645.77/647.63	c #Conflicts:      96000 | #Constraints:      12050
645.77/647.63	c GLOBAL bounds - >= -6085234 @ 642.695
744.19/746.37	c INPROCESSING
744.19/746.37	c GARBAGE COLLECT
744.19/746.37	c #Conflicts:      97000 | #Constraints:       6851
744.19/746.37	c #Conflicts:      98000 | #Constraints:       7851
744.19/746.37	c #Conflicts:      99000 | #Constraints:       8851
744.19/746.37	c #Conflicts:     100000 | #Constraints:       9851
744.19/746.37	c #Conflicts:     101000 | #Constraints:      10851
744.19/746.37	c #Conflicts:     102000 | #Constraints:      11851
744.19/746.37	c #Conflicts:     103000 | #Constraints:      12851
744.19/746.37	c INPROCESSING
744.19/746.37	c GARBAGE COLLECT
744.19/746.37	c #Conflicts:     104000 | #Constraints:       7448
744.19/746.37	c #Conflicts:     105000 | #Constraints:       8448
744.19/746.37	c #Conflicts:     106000 | #Constraints:       9448
744.19/746.37	c #Conflicts:     107000 | #Constraints:      10448
744.19/746.37	c GLOBAL bounds - >= -6085234 @ 740.825
1553.17/1557.61	c #Conflicts:     108000 | #Constraints:      11450
1553.17/1557.61	c #Conflicts:     109000 | #Constraints:      12450
1553.17/1557.61	c #Conflicts:     110000 | #Constraints:      13450
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     111000 | #Constraints:       7845
1553.17/1557.61	c #Conflicts:     112000 | #Constraints:       8845
1553.17/1557.61	c #Conflicts:     113000 | #Constraints:       9845
1553.17/1557.61	c #Conflicts:     114000 | #Constraints:      10845
1553.17/1557.61	c #Conflicts:     115000 | #Constraints:      11845
1553.17/1557.61	c #Conflicts:     116000 | #Constraints:      12845
1553.17/1557.61	c #Conflicts:     117000 | #Constraints:      13845
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     118000 | #Constraints:       8049
1553.17/1557.61	c #Conflicts:     119000 | #Constraints:       9049
1553.17/1557.61	c #Conflicts:     120000 | #Constraints:      10049
1553.17/1557.61	c #Conflicts:     121000 | #Constraints:      11049
1553.17/1557.61	c #Conflicts:     122000 | #Constraints:      12049
1553.17/1557.61	c #Conflicts:     123000 | #Constraints:      13049
1553.17/1557.61	c #Conflicts:     124000 | #Constraints:      14049
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     125000 | #Constraints:       8050
1553.17/1557.61	c #Conflicts:     126000 | #Constraints:       9050
1553.17/1557.61	c #Conflicts:     127000 | #Constraints:      10050
1553.17/1557.61	c #Conflicts:     128000 | #Constraints:      11050
1553.17/1557.61	c #Conflicts:     129000 | #Constraints:      12050
1553.17/1557.61	c #Conflicts:     130000 | #Constraints:      13050
1553.17/1557.61	c #Conflicts:     131000 | #Constraints:      14050
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     132000 | #Constraints:       7848
1553.17/1557.61	c #Conflicts:     133000 | #Constraints:       8848
1553.17/1557.61	c #Conflicts:     134000 | #Constraints:       9848
1553.17/1557.61	c #Conflicts:     135000 | #Constraints:      10848
1553.17/1557.61	c #Conflicts:     136000 | #Constraints:      11848
1553.17/1557.61	c #Conflicts:     137000 | #Constraints:      12848
1553.17/1557.61	c #Conflicts:     138000 | #Constraints:      13848
1553.17/1557.61	c #Conflicts:     139000 | #Constraints:      14848
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     140000 | #Constraints:       8446
1553.17/1557.61	c #Conflicts:     141000 | #Constraints:       9446
1553.17/1557.61	c #Conflicts:     142000 | #Constraints:      10446
1553.17/1557.61	c #Conflicts:     143000 | #Constraints:      11446
1553.17/1557.61	c #Conflicts:     144000 | #Constraints:      12446
1553.17/1557.61	c #Conflicts:     145000 | #Constraints:      13446
1553.17/1557.61	c #Conflicts:     146000 | #Constraints:      14446
1553.17/1557.61	c #Conflicts:     147000 | #Constraints:      15446
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     148000 | #Constraints:       8846
1553.17/1557.61	c #Conflicts:     149000 | #Constraints:       9846
1553.17/1557.61	c #Conflicts:     150000 | #Constraints:      10846
1553.17/1557.61	c #Conflicts:     151000 | #Constraints:      11846
1553.17/1557.61	c #Conflicts:     152000 | #Constraints:      12846
1553.17/1557.61	c #Conflicts:     153000 | #Constraints:      13846
1553.17/1557.61	c #Conflicts:     154000 | #Constraints:      14846
1553.17/1557.61	c #Conflicts:     155000 | #Constraints:      15846
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     156000 | #Constraints:       9052
1553.17/1557.61	c #Conflicts:     157000 | #Constraints:      10052
1553.17/1557.61	c #Conflicts:     158000 | #Constraints:      11052
1553.17/1557.61	c #Conflicts:     159000 | #Constraints:      12052
1553.17/1557.61	c #Conflicts:     160000 | #Constraints:      13052
1553.17/1557.61	c #Conflicts:     161000 | #Constraints:      14052
1553.17/1557.61	c #Conflicts:     162000 | #Constraints:      15052
1553.17/1557.61	c #Conflicts:     163000 | #Constraints:      16052
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     164000 | #Constraints:       9043
1553.17/1557.61	c #Conflicts:     165000 | #Constraints:      10043
1553.17/1557.61	c #Conflicts:     166000 | #Constraints:      11043
1553.17/1557.61	c #Conflicts:     167000 | #Constraints:      12043
1553.17/1557.61	c #Conflicts:     168000 | #Constraints:      13043
1553.17/1557.61	c #Conflicts:     169000 | #Constraints:      14043
1553.17/1557.61	c #Conflicts:     170000 | #Constraints:      15043
1553.17/1557.61	c #Conflicts:     171000 | #Constraints:      16043
1553.17/1557.61	c INPROCESSING
1553.17/1557.61	c GARBAGE COLLECT
1553.17/1557.61	c #Conflicts:     172000 | #Constraints:       8848
1553.17/1557.61	c #Conflicts:     173000 | #Constraints:       9848
1553.17/1557.61	c #Conflicts:     174000 | #Constraints:      10848
1553.17/1557.61	c #Conflicts:     175000 | #Constraints:      11848
1553.17/1557.61	c #Conflicts:     176000 | #Constraints:      12848
1553.17/1557.61	c #Conflicts:     177000 | #Constraints:      13848
1553.17/1557.61	c #Conflicts:     178000 | #Constraints:      14848
1553.17/1557.61	c #Conflicts:     179000 | #Constraints:      15848
1553.17/1557.61	c #Conflicts:     180000 | #Constraints:      16848
1553.17/1557.61	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     181000 | #Constraints:       9442
2519.60/2526.81	c #Conflicts:     182000 | #Constraints:      10442
2519.60/2526.81	c #Conflicts:     183000 | #Constraints:      11442
2519.60/2526.81	c #Conflicts:     184000 | #Constraints:      12442
2519.60/2526.81	c #Conflicts:     185000 | #Constraints:      13442
2519.60/2526.81	c #Conflicts:     186000 | #Constraints:      14442
2519.60/2526.81	c #Conflicts:     187000 | #Constraints:      15442
2519.60/2526.81	c #Conflicts:     188000 | #Constraints:      16442
2519.60/2526.81	c #Conflicts:     189000 | #Constraints:      17442
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     190000 | #Constraints:       9848
2519.60/2526.81	c #Conflicts:     191000 | #Constraints:      10848
2519.60/2526.81	c #Conflicts:     192000 | #Constraints:      11848
2519.60/2526.81	c #Conflicts:     193000 | #Constraints:      12848
2519.60/2526.81	c #Conflicts:     194000 | #Constraints:      13848
2519.60/2526.81	c #Conflicts:     195000 | #Constraints:      14848
2519.60/2526.81	c #Conflicts:     196000 | #Constraints:      15848
2519.60/2526.81	c #Conflicts:     197000 | #Constraints:      16848
2519.60/2526.81	c #Conflicts:     198000 | #Constraints:      17848
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     199000 | #Constraints:      10045
2519.60/2526.81	c #Conflicts:     200000 | #Constraints:      11045
2519.60/2526.81	c #Conflicts:     201000 | #Constraints:      12045
2519.60/2526.81	c #Conflicts:     202000 | #Constraints:      13045
2519.60/2526.81	c #Conflicts:     203000 | #Constraints:      14045
2519.60/2526.81	c #Conflicts:     204000 | #Constraints:      15045
2519.60/2526.81	c #Conflicts:     205000 | #Constraints:      16045
2519.60/2526.81	c #Conflicts:     206000 | #Constraints:      17045
2519.60/2526.81	c #Conflicts:     207000 | #Constraints:      18045
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     208000 | #Constraints:      10049
2519.60/2526.81	c #Conflicts:     209000 | #Constraints:      11049
2519.60/2526.81	c #Conflicts:     210000 | #Constraints:      12049
2519.60/2526.81	c #Conflicts:     211000 | #Constraints:      13049
2519.60/2526.81	c #Conflicts:     212000 | #Constraints:      14049
2519.60/2526.81	c #Conflicts:     213000 | #Constraints:      15049
2519.60/2526.81	c #Conflicts:     214000 | #Constraints:      16049
2519.60/2526.81	c #Conflicts:     215000 | #Constraints:      17049
2519.60/2526.81	c #Conflicts:     216000 | #Constraints:      18049
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     217000 | #Constraints:       9849
2519.60/2526.81	c #Conflicts:     218000 | #Constraints:      10849
2519.60/2526.81	c #Conflicts:     219000 | #Constraints:      11849
2519.60/2526.81	c #Conflicts:     220000 | #Constraints:      12849
2519.60/2526.81	c #Conflicts:     221000 | #Constraints:      13849
2519.60/2526.81	c #Conflicts:     222000 | #Constraints:      14849
2519.60/2526.81	c #Conflicts:     223000 | #Constraints:      15849
2519.60/2526.81	c #Conflicts:     224000 | #Constraints:      16849
2519.60/2526.81	c #Conflicts:     225000 | #Constraints:      17849
2519.60/2526.81	c #Conflicts:     226000 | #Constraints:      18849
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     227000 | #Constraints:      10448
2519.60/2526.81	c #Conflicts:     228000 | #Constraints:      11448
2519.60/2526.81	c #Conflicts:     229000 | #Constraints:      12448
2519.60/2526.81	c #Conflicts:     230000 | #Constraints:      13448
2519.60/2526.81	c #Conflicts:     231000 | #Constraints:      14448
2519.60/2526.81	c #Conflicts:     232000 | #Constraints:      15448
2519.60/2526.81	c #Conflicts:     233000 | #Constraints:      16448
2519.60/2526.81	c #Conflicts:     234000 | #Constraints:      17448
2519.60/2526.81	c #Conflicts:     235000 | #Constraints:      18448
2519.60/2526.81	c #Conflicts:     236000 | #Constraints:      19448
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     237000 | #Constraints:      10845
2519.60/2526.81	c #Conflicts:     238000 | #Constraints:      11845
2519.60/2526.81	c #Conflicts:     239000 | #Constraints:      12845
2519.60/2526.81	c #Conflicts:     240000 | #Constraints:      13845
2519.60/2526.81	c #Conflicts:     241000 | #Constraints:      14845
2519.60/2526.81	c #Conflicts:     242000 | #Constraints:      15845
2519.60/2526.81	c #Conflicts:     243000 | #Constraints:      16845
2519.60/2526.81	c #Conflicts:     244000 | #Constraints:      17845
2519.60/2526.81	c #Conflicts:     245000 | #Constraints:      18845
2519.60/2526.81	c #Conflicts:     246000 | #Constraints:      19845
2519.60/2526.81	c INPROCESSING
2519.60/2526.81	c GARBAGE COLLECT
2519.60/2526.81	c #Conflicts:     247000 | #Constraints:      11053
2519.60/2526.81	c #Conflicts:     248000 | #Constraints:      12053
2519.60/2526.81	c #Conflicts:     249000 | #Constraints:      13053
2519.60/2526.81	c #Conflicts:     250000 | #Constraints:      14053
2519.60/2526.81	c #Conflicts:     251000 | #Constraints:      15053
2519.60/2526.81	c #Conflicts:     252000 | #Constraints:      16053
2519.60/2526.81	c #Conflicts:     253000 | #Constraints:      17053
2519.60/2526.81	c #Conflicts:     254000 | #Constraints:      18053
3600.02/3610.61	c #Conflicts:     255000 | #Constraints:      19053
3600.02/3610.61	c #Conflicts:     256000 | #Constraints:      20053
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     257000 | #Constraints:      11049
3600.02/3610.61	c #Conflicts:     258000 | #Constraints:      12049
3600.02/3610.61	c #Conflicts:     259000 | #Constraints:      13049
3600.02/3610.61	c #Conflicts:     260000 | #Constraints:      14049
3600.02/3610.61	c #Conflicts:     261000 | #Constraints:      15049
3600.02/3610.61	c #Conflicts:     262000 | #Constraints:      16049
3600.02/3610.61	c #Conflicts:     263000 | #Constraints:      17049
3600.02/3610.61	c #Conflicts:     264000 | #Constraints:      18049
3600.02/3610.61	c #Conflicts:     265000 | #Constraints:      19049
3600.02/3610.61	c #Conflicts:     266000 | #Constraints:      20049
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     267000 | #Constraints:      10841
3600.02/3610.61	c #Conflicts:     268000 | #Constraints:      11841
3600.02/3610.61	c #Conflicts:     269000 | #Constraints:      12841
3600.02/3610.61	c #Conflicts:     270000 | #Constraints:      13841
3600.02/3610.61	c #Conflicts:     271000 | #Constraints:      14841
3600.02/3610.61	c #Conflicts:     272000 | #Constraints:      15841
3600.02/3610.61	c #Conflicts:     273000 | #Constraints:      16841
3600.02/3610.61	c #Conflicts:     274000 | #Constraints:      17841
3600.02/3610.61	c #Conflicts:     275000 | #Constraints:      18841
3600.02/3610.61	c #Conflicts:     276000 | #Constraints:      19841
3600.02/3610.61	c #Conflicts:     277000 | #Constraints:      20841
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     278000 | #Constraints:      11440
3600.02/3610.61	c #Conflicts:     279000 | #Constraints:      12440
3600.02/3610.61	c #Conflicts:     280000 | #Constraints:      13440
3600.02/3610.61	c #Conflicts:     281000 | #Constraints:      14440
3600.02/3610.61	c #Conflicts:     282000 | #Constraints:      15440
3600.02/3610.61	c #Conflicts:     283000 | #Constraints:      16440
3600.02/3610.61	c #Conflicts:     284000 | #Constraints:      17440
3600.02/3610.61	c #Conflicts:     285000 | #Constraints:      18440
3600.02/3610.61	c #Conflicts:     286000 | #Constraints:      19440
3600.02/3610.61	c #Conflicts:     287000 | #Constraints:      20440
3600.02/3610.61	c #Conflicts:     288000 | #Constraints:      21440
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     289000 | #Constraints:      11843
3600.02/3610.61	c #Conflicts:     290000 | #Constraints:      12843
3600.02/3610.61	c #Conflicts:     291000 | #Constraints:      13843
3600.02/3610.61	c #Conflicts:     292000 | #Constraints:      14843
3600.02/3610.61	c #Conflicts:     293000 | #Constraints:      15843
3600.02/3610.61	c #Conflicts:     294000 | #Constraints:      16843
3600.02/3610.61	c #Conflicts:     295000 | #Constraints:      17843
3600.02/3610.61	c #Conflicts:     296000 | #Constraints:      18843
3600.02/3610.61	c #Conflicts:     297000 | #Constraints:      19843
3600.02/3610.61	c #Conflicts:     298000 | #Constraints:      20843
3600.02/3610.61	c #Conflicts:     299000 | #Constraints:      21843
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     300000 | #Constraints:      12040
3600.02/3610.61	c #Conflicts:     301000 | #Constraints:      13040
3600.02/3610.61	c #Conflicts:     302000 | #Constraints:      14040
3600.02/3610.61	c #Conflicts:     303000 | #Constraints:      15040
3600.02/3610.61	c #Conflicts:     304000 | #Constraints:      16040
3600.02/3610.61	c #Conflicts:     305000 | #Constraints:      17040
3600.02/3610.61	c #Conflicts:     306000 | #Constraints:      18040
3600.02/3610.61	c #Conflicts:     307000 | #Constraints:      19040
3600.02/3610.61	c #Conflicts:     308000 | #Constraints:      20040
3600.02/3610.61	c #Conflicts:     309000 | #Constraints:      21040
3600.02/3610.61	c #Conflicts:     310000 | #Constraints:      22040
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     311000 | #Constraints:      12047
3600.02/3610.61	c #Conflicts:     312000 | #Constraints:      13047
3600.02/3610.61	c #Conflicts:     313000 | #Constraints:      14047
3600.02/3610.61	c #Conflicts:     314000 | #Constraints:      15047
3600.02/3610.61	c #Conflicts:     315000 | #Constraints:      16047
3600.02/3610.61	c #Conflicts:     316000 | #Constraints:      17047
3600.02/3610.61	c #Conflicts:     317000 | #Constraints:      18047
3600.02/3610.61	c #Conflicts:     318000 | #Constraints:      19047
3600.02/3610.61	c #Conflicts:     319000 | #Constraints:      20047
3600.02/3610.61	c #Conflicts:     320000 | #Constraints:      21047
3600.02/3610.61	c #Conflicts:     321000 | #Constraints:      22047
3600.02/3610.61	c INPROCESSING
3600.02/3610.61	c GARBAGE COLLECT
3600.02/3610.61	c #Conflicts:     322000 | #Constraints:      11849
3600.02/3610.61	c #Conflicts:     323000 | #Constraints:      12849
3600.02/3610.61	c #Conflicts:     324000 | #Constraints:      13849
3600.02/3610.61	c #Conflicts:     325000 | #Constraints:      14849
3600.02/3610.61	c #Conflicts:     326000 | #Constraints:      15849
3600.02/3610.61	c #Conflicts:     327000 | #Constraints:      16849
3600.02/3610.61	c #Conflicts:     328000 | #Constraints:      17849
3600.02/3610.61	c cpu time 3589.06 s
3600.02/3610.61	c deterministic time 1 1.00e+00
3600.02/3610.61	c optimization time 3589.05 s
3600.02/3610.61	c total solve time 0 s
3600.02/3610.61	c core-guided solve time 0 s
3600.02/3610.61	c propagation time 2e-06 s
3600.02/3610.61	c conflict analysis time 0 s
3600.02/3610.61	c propagations 0
3600.02/3610.61	c resolve steps 0
3600.02/3610.61	c decisions 0
3600.02/3610.61	c conflicts 0
3600.02/3610.61	c restarts 0
3600.02/3610.61	c inprocessing phases 0
3600.02/3610.61	c garbage collections 0 ,( -nan )
3600.02/3610.61	c input clauses 0 ,( 0.00 )
3600.02/3610.61	c input cardinalities 0 ,( 0.00 )
3600.02/3610.61	c input general constraints 1 ,( 100.00 )
3600.02/3610.61	c input average constraint length 1000.00
3600.02/3610.61	c input average constraint degree 5036242.00
3600.02/3610.61	c learned clauses 0 ,( 0.00 )
3600.02/3610.61	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.61	c learned general constraints 0 ,( 0.00 )
3600.02/3610.61	c learned average constraint length 0.00
3600.02/3610.61	c learned average constraint degree 0.00
3600.02/3610.61	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.61	c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.02/3610.61	c watched   constraints 0 ,( 0.00 ) 
3600.02/3610.61	c counting  constraints 1 ,( 100.00 ) 
3600.02/3610.61	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.61	c gcd simplifications 0
3600.02/3610.61	c detected cardinalities 0
3600.02/3610.61	c weakened non-implied lits 0
3600.02/3610.61	c weakened non-implying lits 0
3600.02/3610.61	c original variables 1000
3600.02/3610.61	c clausal propagations 0
3600.02/3610.61	c cardinality propagations 0
3600.02/3610.61	c watched propagations 0
3600.02/3610.61	c counting propagations 0
3600.02/3610.61	c watch lookups 0
3600.02/3610.61	c watch backjump lookups 0
3600.02/3610.61	c watch checks 0
3600.02/3610.61	c propagation checks 0
3600.02/3610.61	c constraint additions 0
3600.02/3610.61	c trail pops 0
3600.02/3610.61	c formula constraints 1
3600.02/3610.61	c learned constraints 0
3600.02/3610.61	c bound constraints 0
3600.02/3610.61	c core-guided constraints 0
3600.02/3610.61	c encountered formula constraints 0
3600.02/3610.61	c encountered learned constraints 0
3600.02/3610.61	c encountered bound constraints 0
3600.02/3610.61	c encountered core-guided constraints 0
3600.02/3610.61	c LP total time 0 s
3600.02/3610.61	c LP solve time 0 s
3600.02/3610.61	c LP constraints added 0
3600.02/3610.61	c LP constraints removed 0
3600.02/3610.61	c LP pivots internal 0
3600.02/3610.61	c LP pivots root 0
3600.02/3610.61	c LP calls 0
3600.02/3610.61	c LP optimalities 0
3600.02/3610.61	c LP no pivot count 0
3600.02/3610.61	c LP infeasibilities 0
3600.02/3610.61	c LP valid Farkas constraints 0
3600.02/3610.61	c LP learned Farkas constraints 0
3600.02/3610.61	c LP basis resets 0
3600.02/3610.61	c LP cycling count 0
3600.02/3610.61	c LP singular count 0
3600.02/3610.61	c LP no primal count 0
3600.02/3610.61	c LP no farkas count 0
3600.02/3610.61	c LP other issue count 0
3600.02/3610.61	c LP Gomory cuts 0
3600.02/3610.61	c LP learned cuts 0
3600.02/3610.61	c LP deleted cuts 0
3600.02/3610.61	c LP encountered Gomory constraints 0
3600.02/3610.61	c LP encountered Farkas constraints 0
3600.02/3610.61	c LP encountered learned Farkas constraints 0
3600.02/3610.61	c CG auxiliary variables introduced 0
3600.02/3610.61	c CG solutions found 0
3600.02/3610.61	c CG cores constructed 0
3600.02/3610.61	c CG core cardinality constraints returned 0
3600.02/3610.61	c CG unit cores 0
3600.02/3610.61	c CG single cores 0
3600.02/3610.61	c CG blocks removed during cardinality reduction 0
3600.02/3610.61	c CG first core best 0
3600.02/3610.61	c CG decision core best 0
3600.02/3610.61	c CG core reduction tie 0
3600.02/3610.61	c CG core degree average 0.00
3600.02/3610.61	c CG core slack average 0.00
3600.02/3610.61	c CG core upper bound improvements 0
3600.02/3610.61	c STR number of successful calls 0
3600.02/3610.61	c STR number of unsuccessful calls 0
3600.02/3610.61	c STR number of inconclusive calls 0
3600.02/3610.61	c STR number of successful attempts 0
3600.02/3610.61	c STR number of unsuccessful attempts 0
3600.02/3610.61	c STR number of inconclusive attempts 0
3600.02/3610.61	c STR average degree increase per successful call inf
3600.02/3610.61	c STR average degree increase per successful attempt inf
3600.02/3610.61	c STR total number of conflicts for successful attempts 0
3600.02/3610.61	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.61	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.61	c STR average number of conflicts per successful attempt inf
3600.02/3610.61	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.61	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.61	c AVG.sumWPerc 99.70 
3600.02/3610.61	c bigint constraints 0 
3600.02/3610.61	s UNKNOWN
3600.02/3610.61	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 (56463 MiB free)
  memory of node 1: 64507 MiB (63036 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=77554, runsolver pid=77551

[startup+0.100059 s]*
/proc/loadavg: 4.11 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122367980/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=62752 memory=15632 CPUtime=0.08 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 1233 0 0 0 7 1 0 0 20 0 1 0 69744356 64258048 3908 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 15688 3908 2400 1147 0 3115 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66944 KiB
Current children cumulated memory: 18704 KiB

[startup+0.205711 s]*
/proc/loadavg: 4.11 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122367980/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=67404 memory=20368 CPUtime=0.19 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 2397 0 0 0 18 1 0 0 20 0 1 0 69744356 69021696 5092 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 16851 5092 2400 1147 0 4278 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71596 KiB
Current children cumulated memory: 23440 KiB

[startup+0.305594 s]*
/proc/loadavg: 4.11 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122367984/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=67804 memory=21008 CPUtime=0.29 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 2568 0 0 0 27 2 0 0 20 0 1 0 69744356 69431296 5252 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 16951 5252 2400 1147 0 4378 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 71996 KiB
Current children cumulated memory: 24080 KiB

[startup+0.700196 s]
/proc/loadavg: 4.11 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122368244/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=77264 memory=30224 CPUtime=0.68 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 4883 0 0 0 65 3 0 0 20 0 1 0 69744356 79118336 7556 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 19316 7556 2400 1147 0 6743 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81456 KiB
Current children cumulated memory: 33296 KiB

[startup+1.50021 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122367992/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=94924 memory=47040 CPUtime=1.47 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 8571 0 0 0 143 4 0 0 20 0 1 0 69744356 97202176 11760 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 23731 11760 2400 1147 0 11158 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 99116 KiB
Current children cumulated memory: 50112 KiB

[startup+3.10563 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 77556
/proc/meminfo: memFree=122341572/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=126004 memory=71220 CPUtime=3.08 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 13577 0 0 0 301 7 0 0 20 0 1 0 69744356 129028096 17805 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 31501 17805 2400 1147 0 18928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130196 KiB
Current children cumulated memory: 74292 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.11 4.10 5/271 77556
/proc/meminfo: memFree=122329656/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=128684 memory=76724 CPUtime=6.26 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 14960 0 0 0 614 12 0 0 20 0 1 0 69744356 131772416 19181 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 32171 19181 2400 1147 0 19598 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132876 KiB
Current children cumulated memory: 79796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.10 5/271 77556
/proc/meminfo: memFree=122241540/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=144732 memory=94024 CPUtime=12.65 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 17762 0 0 0 1245 20 0 0 20 0 1 0 69744356 148205568 23506 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 36183 23506 2400 1147 0 23610 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 148924 KiB
Current children cumulated memory: 97096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.10 5/271 77556
/proc/meminfo: memFree=121980768/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=209136 memory=130376 CPUtime=25.41 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 25818 0 0 0 2512 29 0 0 20 0 1 0 69744356 214155264 32594 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 52284 32594 2400 1147 0 39711 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 213328 KiB
Current children cumulated memory: 133448 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.11 4.10 5/272 77558
/proc/meminfo: memFree=121678644/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=217088 memory=152064 CPUtime=50.93 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 29200 0 0 0 5047 46 0 0 20 0 1 0 69744356 222298112 38016 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 54272 38016 2400 1147 0 41699 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 221280 KiB
Current children cumulated memory: 155136 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 77559
/proc/meminfo: memFree=121022976/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=222576 memory=171012 CPUtime=101.99 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 32423 0 0 0 10123 76 0 0 20 0 1 0 69744356 227917824 42753 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 55644 42753 2400 1147 0 43071 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 226768 KiB
Current children cumulated memory: 174084 KiB

[startup+162.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/272 77561
/proc/meminfo: memFree=120232624/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=346072 memory=234472 CPUtime=161.82 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 46245 0 0 0 16069 113 0 0 20 0 1 0 69744356 354377728 58618 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 86518 58618 2400 1147 0 73945 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 350264 KiB
Current children cumulated memory: 237544 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/272 77563
/proc/meminfo: memFree=119507700/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=353040 memory=248336 CPUtime=221.65 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 49000 0 0 0 22019 146 0 0 20 0 1 0 69744356 361512960 62084 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0

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

/proc/77556/statm: 176195 146747 2400 1147 0 163622 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 708972 KiB
Current children cumulated memory: 590060 KiB

[startup+3102.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/273 77809
/proc/meminfo: memFree=89218004/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=704780 memory=586988 CPUtime=3093.47 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 123857 0 0 0 308357 990 0 0 20 0 1 0 69744356 721694720 146747 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176195 146747 2400 1147 0 163622 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 708972 KiB
Current children cumulated memory: 590060 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.18 4.12 4/267 77837
/proc/meminfo: memFree=94582748/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=704780 memory=586988 CPUtime=3153.25 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 123861 0 0 0 314323 1002 0 0 20 0 1 0 69744356 721694720 146747 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176195 146747 2400 1147 0 163622 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 708972 KiB
Current children cumulated memory: 590060 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/273 77858
/proc/meminfo: memFree=108648260/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=592176 CPUtime=3213.05 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124330 0 0 0 320286 1019 0 0 20 0 1 0 69744356 722546688 148044 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 148044 2400 1147 0 163830 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 595248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.12 4/267 77887
/proc/meminfo: memFree=108113260/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=592176 CPUtime=3272.85 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124330 0 0 0 326252 1033 0 0 20 0 1 0 69744356 722546688 148044 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 148044 2400 1147 0 163830 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 595248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/273 77911
/proc/meminfo: memFree=107046376/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=595080 CPUtime=3332.65 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124552 0 0 0 332222 1043 0 0 20 0 1 0 69744356 722546688 148770 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 148770 2400 1147 0 163830 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 598152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/274 77926
/proc/meminfo: memFree=105776984/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=595080 CPUtime=3392.45 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124552 0 0 0 338190 1055 0 0 20 0 1 0 69744356 722546688 148770 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 148770 2400 1147 0 163830 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 598152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/275 77929
/proc/meminfo: memFree=104617380/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=595080 CPUtime=3452.24 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124552 0 0 0 344159 1065 0 0 20 0 1 0 69744356 722546688 148770 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 148770 2400 1147 0 163830 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 598152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/275 77931
/proc/meminfo: memFree=103639196/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=600620 CPUtime=3512.03 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124921 0 0 0 350125 1078 0 0 20 0 1 0 69744356 722546688 150155 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 150155 2400 1147 0 163830 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 603692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/275 77933
/proc/meminfo: memFree=102527820/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=600620 CPUtime=3571.83 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124921 0 0 0 356091 1092 0 0 20 0 1 0 69744356 722546688 150155 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 150155 2400 1147 0 163830 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 603692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.13 4.13 4.10 5/276 77940
/proc/meminfo: memFree=101889292/131249996 swapFree=33003468/33010684
[pid=77554] ppid=77551 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/77554/stat : 77554 (run-opt-log.sh) S 77551 77554 76774 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 69744355 4292608 768 18446744073709551615 94545198989312 94545199883845 140737389642880 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94545200122896 94545200170640 94545216442368 140737389648161 140737389648356 140737389648356 140737389653958 0
/proc/77554/statm: 1048 768 704 219 0 110 0
[pid=77556] ppid=77554 vsize=705612 memory=600620 CPUtime=3600.02 cores=5,7
/proc/77556/stat : 77556 (roundingsat) R 77554 77554 76774 0 -1 4194304 124921 0 0 0 358904 1098 0 0 20 0 1 0 69744356 722546688 150155 18446744073709551615 4227072 8923433 140725164303616 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27009024 140725164308818 140725164309032 140725164309032 140725164314602 0
/proc/77556/statm: 176403 150155 2400 1147 0 163830 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 709804 KiB
Current children cumulated memory: 603692 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.6 s]
# the end of solver process 77554 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.002121 s
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3589.06 s, system=11.0075 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

Child status: 2

Real time (s): 3610.66
CPU time (s): 3600.07
CPU user time (s): 3589.06
CPU system time (s): 11.0075
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 709804
Max. memory (cumulated for all children) (KiB): 603692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.06
system time used= 11.0075
maximum resident set size= 600876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15990880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 21915


# summary of solver processes directly reported to runsolver:
#   pid: 77554,77556
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3589.06
#   total CPU system time (s): 11.0075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32017 second user time and 17.4794 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-07-03 13:04:27
IDJOB=4517997
IDBENCH=176273
IDSOLVER=3351
FILE ID=nodeC021/4517997-1751540667
RUNJOBID= nodeC021-1751536445-76787
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_200_10000_5_-93992.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517997-1751540667/watcher-4517997-1751540667 -o /tmp/evaluation-result-4517997-1751540667/solver-4517997-1751540667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76787 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517997-1751540667.opb PROOFDIR/proof-4517997-1751540667

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

MD5SUM BENCH= cd82cadc3025252f43f8d787a9347bc3
RANDOM SEED=1882768937

nodeC021 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.703
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.56
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.784
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.018
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.56
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.681
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.56
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.776
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.56
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		: 3600.771
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.56
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		: 3603.366
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.56
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		: 3600.138
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122367596 kB
MemAvailable:   126105980 kB
Buffers:            1056 kB
Cached:          4472656 kB
SwapCached:           32 kB
Active:          3997436 kB
Inactive:        4010252 kB
Active(anon):    3506552 kB
Inactive(anon):    40944 kB
Active(file):     490884 kB
Inactive(file):  3969308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003468 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            159276 kB
Writeback:            88 kB
AnonPages:       3536712 kB
Mapped:           113580 kB
Shmem:             13452 kB
KReclaimable:     234460 kB
Slab:             331476 kB
SReclaimable:     234460 kB
SUnreclaim:        97016 kB
KernelStack:        4368 kB
PageTables:        11272 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4604248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 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= 430932 MiB
End job on nodeC021 at 2025-07-03 14:04:38