Trace number 4541605

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 NameAnswerCPU timeWall clock time
roundingsat 63f22ad? (TO) 3600.1 3609.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
MD5SUM21d0ffe78b9aba15f7c4d4a17a4e20d2
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.454795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2170
Total number of constraints5893
Number of constraints which are clauses5859
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint1023
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2305843009213693952
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 9223372036854775807
Number of bits of the biggest sum of numbers63
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.04	c #variables 2170 #constraints 3973
0.00/0.05	c rational objective 30
2.06/2.12	c #Conflicts:       1000 | #Constraints:       4972
2.06/2.12	c #Conflicts:       2000 | #Constraints:       5972
2.06/2.12	c INPROCESSING
2.06/2.12	c GARBAGE COLLECT
2.06/2.12	c rational objective 30
5.45/5.56	c #Conflicts:       3000 | #Constraints:       5395
5.45/5.56	c #Conflicts:       4000 | #Constraints:       6395
5.45/5.56	c INPROCESSING
5.45/5.56	c GARBAGE COLLECT
5.45/5.56	c rational objective 30
9.94/10.02	c #Conflicts:       5000 | #Constraints:       5797
9.94/10.02	c #Conflicts:       6000 | #Constraints:       6797
9.94/10.02	c INPROCESSING
9.94/10.02	c GARBAGE COLLECT
9.94/10.02	c rational objective 30
15.43/15.54	c #Conflicts:       7000 | #Constraints:       5798
15.43/15.54	c #Conflicts:       8000 | #Constraints:       6798
15.43/15.54	c #Conflicts:       9000 | #Constraints:       7798
15.43/15.54	c INPROCESSING
15.43/15.54	c GARBAGE COLLECT
15.43/15.54	c rational objective 30
22.11/22.21	c #Conflicts:      10000 | #Constraints:       6499
22.11/22.21	c #Conflicts:      11000 | #Constraints:       7499
22.11/22.21	c #Conflicts:      12000 | #Constraints:       8499
22.11/22.21	c INPROCESSING
22.11/22.21	c GARBAGE COLLECT
22.11/22.21	c rational objective 30
29.69/29.83	c #Conflicts:      13000 | #Constraints:       6950
29.69/29.83	c #Conflicts:      14000 | #Constraints:       7950
29.69/29.83	c #Conflicts:      15000 | #Constraints:       8950
29.69/29.83	c INPROCESSING
29.69/29.83	c GARBAGE COLLECT
29.69/29.83	c rational objective 30
38.37/38.58	c #Conflicts:      16000 | #Constraints:       7177
38.37/38.58	c #Conflicts:      17000 | #Constraints:       8177
38.37/38.58	c #Conflicts:      18000 | #Constraints:       9177
38.37/38.58	c INPROCESSING
38.37/38.58	c GARBAGE COLLECT
38.37/38.58	c rational objective 30
48.25/48.49	c #Conflicts:      19000 | #Constraints:       7185
48.25/48.49	c #Conflicts:      20000 | #Constraints:       8185
48.25/48.49	c #Conflicts:      21000 | #Constraints:       9185
48.25/48.49	c INPROCESSING
48.25/48.49	c GARBAGE COLLECT
48.25/48.49	c rational objective 30
59.23/59.46	c #Conflicts:      22000 | #Constraints:       6997
59.23/59.46	c #Conflicts:      23000 | #Constraints:       7997
59.23/59.46	c #Conflicts:      24000 | #Constraints:       8997
59.23/59.46	c #Conflicts:      25000 | #Constraints:       9997
59.23/59.46	c INPROCESSING
59.23/59.46	c GARBAGE COLLECT
59.23/59.46	c rational objective 30
71.89/72.17	c #Conflicts:      26000 | #Constraints:       7601
71.89/72.17	c #Conflicts:      27000 | #Constraints:       8601
71.89/72.17	c #Conflicts:      28000 | #Constraints:       9601
71.89/72.17	c #Conflicts:      29000 | #Constraints:      10601
71.89/72.17	c INPROCESSING
71.89/72.17	c GARBAGE COLLECT
71.89/72.17	c rational objective 30
86.65/86.93	c #Conflicts:      30000 | #Constraints:       8004
86.65/86.93	c #Conflicts:      31000 | #Constraints:       9004
86.65/86.93	c #Conflicts:      32000 | #Constraints:      10004
86.65/86.93	c #Conflicts:      33000 | #Constraints:      11004
86.65/86.93	c INPROCESSING
86.65/86.93	c GARBAGE COLLECT
86.65/86.93	c rational objective 30
101.52/101.81	c #Conflicts:      34000 | #Constraints:       8205
101.52/101.81	c #Conflicts:      35000 | #Constraints:       9205
101.52/101.81	c #Conflicts:      36000 | #Constraints:      10205
101.52/101.81	c #Conflicts:      37000 | #Constraints:      11205
101.52/101.81	c INPROCESSING
101.52/101.81	c GARBAGE COLLECT
101.52/101.81	c rational objective 30
117.79/118.12	c #Conflicts:      38000 | #Constraints:       8202
117.79/118.12	c #Conflicts:      39000 | #Constraints:       9202
117.79/118.12	c #Conflicts:      40000 | #Constraints:      10202
117.79/118.12	c #Conflicts:      41000 | #Constraints:      11202
117.79/118.12	c INPROCESSING
117.79/118.12	c GARBAGE COLLECT
117.79/118.12	c rational objective 30
136.83/137.28	c #Conflicts:      42000 | #Constraints:       8003
136.83/137.28	c #Conflicts:      43000 | #Constraints:       9003
136.83/137.28	c #Conflicts:      44000 | #Constraints:      10003
136.83/137.28	c #Conflicts:      45000 | #Constraints:      11003
136.83/137.28	c #Conflicts:      46000 | #Constraints:      12003
136.83/137.28	c INPROCESSING
136.83/137.28	c GARBAGE COLLECT
136.83/137.28	c rational objective 30
156.99/157.46	c #Conflicts:      47000 | #Constraints:       8603
156.99/157.46	c #Conflicts:      48000 | #Constraints:       9603
156.99/157.46	c #Conflicts:      49000 | #Constraints:      10603
156.99/157.46	c #Conflicts:      50000 | #Constraints:      11603
156.99/157.46	c #Conflicts:      51000 | #Constraints:      12603
156.99/157.46	c INPROCESSING
156.99/157.46	c GARBAGE COLLECT
156.99/157.46	c rational objective 30
178.54/179.00	c #Conflicts:      52000 | #Constraints:       9003
178.54/179.00	c #Conflicts:      53000 | #Constraints:      10003
178.54/179.00	c #Conflicts:      54000 | #Constraints:      11003
178.54/179.00	c #Conflicts:      55000 | #Constraints:      12003
178.54/179.00	c #Conflicts:      56000 | #Constraints:      13003
178.54/179.00	c INPROCESSING
178.54/179.00	c GARBAGE COLLECT
178.54/179.00	c rational objective 30
203.77/204.35	c #Conflicts:      57000 | #Constraints:       9206
203.77/204.35	c #Conflicts:      58000 | #Constraints:      10206
203.77/204.35	c #Conflicts:      59000 | #Constraints:      11206
203.77/204.35	c #Conflicts:      60000 | #Constraints:      12206
203.77/204.35	c #Conflicts:      61000 | #Constraints:      13206
203.77/204.35	c INPROCESSING
203.77/204.35	c GARBAGE COLLECT
203.77/204.35	c rational objective 30
229.71/230.37	c #Conflicts:      62000 | #Constraints:       9205
229.71/230.37	c #Conflicts:      63000 | #Constraints:      10205
229.71/230.37	c #Conflicts:      64000 | #Constraints:      11205
229.71/230.37	c #Conflicts:      65000 | #Constraints:      12205
229.71/230.37	c #Conflicts:      66000 | #Constraints:      13205
229.71/230.37	c INPROCESSING
229.71/230.37	c GARBAGE COLLECT
229.71/230.37	c rational objective 30
257.14/257.83	c #Conflicts:      67000 | #Constraints:       9001
257.14/257.83	c #Conflicts:      68000 | #Constraints:      10001
257.14/257.83	c #Conflicts:      69000 | #Constraints:      11001
257.14/257.83	c #Conflicts:      70000 | #Constraints:      12001
257.14/257.83	c #Conflicts:      71000 | #Constraints:      13001
257.14/257.83	c #Conflicts:      72000 | #Constraints:      14001
257.14/257.83	c INPROCESSING
257.14/257.83	c GARBAGE COLLECT
257.14/257.83	c rational objective 30
286.97/287.77	c #Conflicts:      73000 | #Constraints:       9603
286.97/287.77	c #Conflicts:      74000 | #Constraints:      10603
286.97/287.77	c #Conflicts:      75000 | #Constraints:      11603
286.97/287.77	c #Conflicts:      76000 | #Constraints:      12603
286.97/287.77	c #Conflicts:      77000 | #Constraints:      13603
286.97/287.77	c #Conflicts:      78000 | #Constraints:      14603
286.97/287.77	c INPROCESSING
286.97/287.77	c GARBAGE COLLECT
286.97/287.77	c rational objective 30
322.77/323.60	c #Conflicts:      79000 | #Constraints:      10003
322.77/323.60	c #Conflicts:      80000 | #Constraints:      11003
322.77/323.60	c #Conflicts:      81000 | #Constraints:      12003
322.77/323.60	c #Conflicts:      82000 | #Constraints:      13003
322.77/323.60	c #Conflicts:      83000 | #Constraints:      14003
322.77/323.60	c #Conflicts:      84000 | #Constraints:      15003
322.77/323.60	c INPROCESSING
322.77/323.60	c GARBAGE COLLECT
322.77/323.60	c rational objective 30
358.08/359.09	c #Conflicts:      85000 | #Constraints:      10204
358.08/359.09	c #Conflicts:      86000 | #Constraints:      11204
358.08/359.09	c #Conflicts:      87000 | #Constraints:      12204
358.08/359.09	c #Conflicts:      88000 | #Constraints:      13204
358.08/359.09	c #Conflicts:      89000 | #Constraints:      14204
358.08/359.09	c #Conflicts:      90000 | #Constraints:      15204
358.08/359.09	c INPROCESSING
358.08/359.09	c GARBAGE COLLECT
358.08/359.09	c rational objective 30
390.80/391.82	c #Conflicts:      91000 | #Constraints:      10204
390.80/391.82	c #Conflicts:      92000 | #Constraints:      11204
390.80/391.82	c #Conflicts:      93000 | #Constraints:      12204
390.80/391.82	c #Conflicts:      94000 | #Constraints:      13204
390.80/391.82	c #Conflicts:      95000 | #Constraints:      14204
390.80/391.82	c #Conflicts:      96000 | #Constraints:      15204
390.80/391.82	c INPROCESSING
390.80/391.82	c GARBAGE COLLECT
390.80/391.82	c rational objective 30
425.72/426.89	c #Conflicts:      97000 | #Constraints:      10006
425.72/426.89	c #Conflicts:      98000 | #Constraints:      11006
425.72/426.89	c #Conflicts:      99000 | #Constraints:      12006
425.72/426.89	c #Conflicts:     100000 | #Constraints:      13006
425.72/426.89	c #Conflicts:     101000 | #Constraints:      14006
425.72/426.89	c #Conflicts:     102000 | #Constraints:      15006
425.72/426.89	c #Conflicts:     103000 | #Constraints:      16006
425.72/426.89	c INPROCESSING
425.72/426.89	c GARBAGE COLLECT
425.72/426.89	c rational objective 30
464.43/465.68	c #Conflicts:     104000 | #Constraints:      10609
464.43/465.68	c #Conflicts:     105000 | #Constraints:      11609
464.43/465.68	c #Conflicts:     106000 | #Constraints:      12609
464.43/465.68	c #Conflicts:     107000 | #Constraints:      13609
464.43/465.68	c #Conflicts:     108000 | #Constraints:      14609
464.43/465.68	c #Conflicts:     109000 | #Constraints:      15609
464.43/465.68	c #Conflicts:     110000 | #Constraints:      16609
464.43/465.68	c INPROCESSING
464.43/465.68	c GARBAGE COLLECT
464.43/465.68	c rational objective 30
508.12/509.48	c #Conflicts:     111000 | #Constraints:      11004
508.12/509.48	c #Conflicts:     112000 | #Constraints:      12004
508.12/509.48	c #Conflicts:     113000 | #Constraints:      13004
508.12/509.48	c #Conflicts:     114000 | #Constraints:      14004
508.12/509.48	c #Conflicts:     115000 | #Constraints:      15004
508.12/509.48	c #Conflicts:     116000 | #Constraints:      16004
508.12/509.48	c #Conflicts:     117000 | #Constraints:      17004
508.12/509.48	c INPROCESSING
508.12/509.48	c GARBAGE COLLECT
508.12/509.48	c rational objective 30
550.73/552.19	c #Conflicts:     118000 | #Constraints:      11206
550.73/552.19	c #Conflicts:     119000 | #Constraints:      12206
550.73/552.19	c #Conflicts:     120000 | #Constraints:      13206
550.73/552.19	c #Conflicts:     121000 | #Constraints:      14206
550.73/552.19	c #Conflicts:     122000 | #Constraints:      15206
550.73/552.19	c #Conflicts:     123000 | #Constraints:      16206
550.73/552.19	c #Conflicts:     124000 | #Constraints:      17206
550.73/552.19	c INPROCESSING
550.73/552.19	c GARBAGE COLLECT
550.73/552.19	c rational objective 30
597.11/598.60	c #Conflicts:     125000 | #Constraints:      11202
597.11/598.60	c #Conflicts:     126000 | #Constraints:      12202
597.11/598.60	c #Conflicts:     127000 | #Constraints:      13202
597.11/598.60	c #Conflicts:     128000 | #Constraints:      14202
597.11/598.60	c #Conflicts:     129000 | #Constraints:      15202
597.11/598.60	c #Conflicts:     130000 | #Constraints:      16202
597.11/598.60	c #Conflicts:     131000 | #Constraints:      17202
597.11/598.60	c INPROCESSING
597.11/598.60	c GARBAGE COLLECT
597.11/598.60	c rational objective 30
655.57/657.22	c #Conflicts:     132000 | #Constraints:      11006
655.57/657.22	c #Conflicts:     133000 | #Constraints:      12006
655.57/657.22	c #Conflicts:     134000 | #Constraints:      13006
655.57/657.22	c #Conflicts:     135000 | #Constraints:      14006
655.57/657.22	c #Conflicts:     136000 | #Constraints:      15006
655.57/657.22	c #Conflicts:     137000 | #Constraints:      16006
655.57/657.22	c #Conflicts:     138000 | #Constraints:      17006
655.57/657.22	c #Conflicts:     139000 | #Constraints:      18006
655.57/657.22	c INPROCESSING
655.57/657.22	c GARBAGE COLLECT
655.57/657.22	c rational objective 30
707.93/709.74	c #Conflicts:     140000 | #Constraints:      11605
707.93/709.74	c #Conflicts:     141000 | #Constraints:      12605
707.93/709.74	c #Conflicts:     142000 | #Constraints:      13605
707.93/709.74	c #Conflicts:     143000 | #Constraints:      14605
707.93/709.74	c #Conflicts:     144000 | #Constraints:      15605
707.93/709.74	c #Conflicts:     145000 | #Constraints:      16605
707.93/709.74	c #Conflicts:     146000 | #Constraints:      17605
707.93/709.74	c #Conflicts:     147000 | #Constraints:      18605
707.93/709.74	c INPROCESSING
707.93/709.74	c GARBAGE COLLECT
707.93/709.74	c rational objective 30
765.57/767.59	c #Conflicts:     148000 | #Constraints:      12008
765.57/767.59	c #Conflicts:     149000 | #Constraints:      13008
765.57/767.59	c #Conflicts:     150000 | #Constraints:      14008
765.57/767.59	c #Conflicts:     151000 | #Constraints:      15008
765.57/767.59	c #Conflicts:     152000 | #Constraints:      16008
765.57/767.59	c #Conflicts:     153000 | #Constraints:      17008
765.57/767.59	c #Conflicts:     154000 | #Constraints:      18008
765.57/767.59	c #Conflicts:     155000 | #Constraints:      19008
765.57/767.59	c INPROCESSING
765.57/767.59	c GARBAGE COLLECT
765.57/767.59	c rational objective 30
824.70/826.84	c #Conflicts:     156000 | #Constraints:      12206
824.70/826.84	c #Conflicts:     157000 | #Constraints:      13206
824.70/826.84	c #Conflicts:     158000 | #Constraints:      14206
824.70/826.84	c #Conflicts:     159000 | #Constraints:      15206
824.70/826.84	c #Conflicts:     160000 | #Constraints:      16206
824.70/826.84	c #Conflicts:     161000 | #Constraints:      17206
824.70/826.84	c #Conflicts:     162000 | #Constraints:      18206
824.70/826.84	c #Conflicts:     163000 | #Constraints:      19206
824.70/826.84	c INPROCESSING
824.70/826.84	c GARBAGE COLLECT
824.70/826.84	c rational objective 30
888.12/890.42	c #Conflicts:     164000 | #Constraints:      12205
888.12/890.42	c #Conflicts:     165000 | #Constraints:      13205
888.12/890.42	c #Conflicts:     166000 | #Constraints:      14205
888.12/890.42	c #Conflicts:     167000 | #Constraints:      15205
888.12/890.42	c #Conflicts:     168000 | #Constraints:      16205
888.12/890.42	c #Conflicts:     169000 | #Constraints:      17205
888.12/890.42	c #Conflicts:     170000 | #Constraints:      18205
888.12/890.42	c #Conflicts:     171000 | #Constraints:      19205
888.12/890.42	c INPROCESSING
888.12/890.42	c GARBAGE COLLECT
888.12/890.42	c rational objective 30
956.02/958.56	c #Conflicts:     172000 | #Constraints:      12007
956.02/958.56	c #Conflicts:     173000 | #Constraints:      13007
956.02/958.56	c #Conflicts:     174000 | #Constraints:      14007
956.02/958.56	c #Conflicts:     175000 | #Constraints:      15007
956.02/958.56	c #Conflicts:     176000 | #Constraints:      16007
956.02/958.56	c #Conflicts:     177000 | #Constraints:      17007
956.02/958.56	c #Conflicts:     178000 | #Constraints:      18007
956.02/958.56	c #Conflicts:     179000 | #Constraints:      19007
956.02/958.56	c #Conflicts:     180000 | #Constraints:      20007
956.02/958.56	c INPROCESSING
956.02/958.56	c GARBAGE COLLECT
956.02/958.56	c rational objective 30
1031.90/1034.67	c #Conflicts:     181000 | #Constraints:      12609
1031.90/1034.67	c #Conflicts:     182000 | #Constraints:      13609
1031.90/1034.67	c #Conflicts:     183000 | #Constraints:      14609
1031.90/1034.67	c #Conflicts:     184000 | #Constraints:      15609
1031.90/1034.67	c #Conflicts:     185000 | #Constraints:      16609
1031.90/1034.67	c #Conflicts:     186000 | #Constraints:      17609
1031.90/1034.67	c #Conflicts:     187000 | #Constraints:      18609
1031.90/1034.67	c #Conflicts:     188000 | #Constraints:      19609
1031.90/1034.67	c #Conflicts:     189000 | #Constraints:      20609
1031.90/1034.67	c INPROCESSING
1031.90/1034.67	c GARBAGE COLLECT
1031.90/1034.67	c rational objective 30
1110.00/1112.99	c #Conflicts:     190000 | #Constraints:      13008
1110.00/1112.99	c #Conflicts:     191000 | #Constraints:      14008
1110.00/1112.99	c #Conflicts:     192000 | #Constraints:      15008
1110.00/1112.99	c #Conflicts:     193000 | #Constraints:      16008
1110.00/1112.99	c #Conflicts:     194000 | #Constraints:      17008
1110.00/1112.99	c #Conflicts:     195000 | #Constraints:      18008
1110.00/1112.99	c #Conflicts:     196000 | #Constraints:      19008
1110.00/1112.99	c #Conflicts:     197000 | #Constraints:      20008
1110.00/1112.99	c #Conflicts:     198000 | #Constraints:      21008
1110.00/1112.99	c INPROCESSING
1110.00/1112.99	c GARBAGE COLLECT
1110.00/1112.99	c rational objective 30
1183.11/1186.26	c #Conflicts:     199000 | #Constraints:      13205
1183.11/1186.26	c #Conflicts:     200000 | #Constraints:      14205
1183.11/1186.26	c #Conflicts:     201000 | #Constraints:      15205
1183.11/1186.26	c #Conflicts:     202000 | #Constraints:      16205
1183.11/1186.26	c #Conflicts:     203000 | #Constraints:      17205
1183.11/1186.26	c #Conflicts:     204000 | #Constraints:      18205
1183.11/1186.26	c #Conflicts:     205000 | #Constraints:      19205
1183.11/1186.26	c #Conflicts:     206000 | #Constraints:      20205
1183.11/1186.26	c #Conflicts:     207000 | #Constraints:      21205
1183.11/1186.26	c INPROCESSING
1183.11/1186.26	c GARBAGE COLLECT
1183.11/1186.26	c rational objective 30
1259.23/1262.50	c #Conflicts:     208000 | #Constraints:      13207
1259.23/1262.50	c #Conflicts:     209000 | #Constraints:      14207
1259.23/1262.50	c #Conflicts:     210000 | #Constraints:      15207
1259.23/1262.50	c #Conflicts:     211000 | #Constraints:      16207
1259.23/1262.50	c #Conflicts:     212000 | #Constraints:      17207
1259.23/1262.50	c #Conflicts:     213000 | #Constraints:      18207
1259.23/1262.50	c #Conflicts:     214000 | #Constraints:      19207
1259.23/1262.50	c #Conflicts:     215000 | #Constraints:      20207
1259.23/1262.50	c #Conflicts:     216000 | #Constraints:      21207
1259.23/1262.50	c INPROCESSING
1259.23/1262.50	c GARBAGE COLLECT
1259.23/1262.50	c rational objective 30
1339.33/1342.86	c #Conflicts:     217000 | #Constraints:      13012
1339.33/1342.86	c #Conflicts:     218000 | #Constraints:      14012
1339.33/1342.86	c #Conflicts:     219000 | #Constraints:      15012
1339.33/1342.86	c #Conflicts:     220000 | #Constraints:      16012
1339.33/1342.86	c #Conflicts:     221000 | #Constraints:      17012
1339.33/1342.86	c #Conflicts:     222000 | #Constraints:      18012
1339.33/1342.86	c #Conflicts:     223000 | #Constraints:      19012
1339.33/1342.86	c #Conflicts:     224000 | #Constraints:      20012
1339.33/1342.86	c #Conflicts:     225000 | #Constraints:      21012
1339.33/1342.86	c #Conflicts:     226000 | #Constraints:      22012
1339.33/1342.86	c INPROCESSING
1339.33/1342.86	c GARBAGE COLLECT
1339.33/1342.86	c rational objective 30
1426.91/1430.62	c #Conflicts:     227000 | #Constraints:      13609
1426.91/1430.62	c #Conflicts:     228000 | #Constraints:      14609
1426.91/1430.62	c #Conflicts:     229000 | #Constraints:      15609
1426.91/1430.62	c #Conflicts:     230000 | #Constraints:      16609
1426.91/1430.62	c #Conflicts:     231000 | #Constraints:      17609
1426.91/1430.62	c #Conflicts:     232000 | #Constraints:      18609
1426.91/1430.62	c #Conflicts:     233000 | #Constraints:      19609
1426.91/1430.62	c #Conflicts:     234000 | #Constraints:      20609
1426.91/1430.62	c #Conflicts:     235000 | #Constraints:      21609
1426.91/1430.62	c #Conflicts:     236000 | #Constraints:      22609
1426.91/1430.62	c INPROCESSING
1426.91/1430.62	c GARBAGE COLLECT
1426.91/1430.62	c rational objective 30
1523.29/1527.21	c #Conflicts:     237000 | #Constraints:      14007
1523.29/1527.21	c #Conflicts:     238000 | #Constraints:      15007
1523.29/1527.21	c #Conflicts:     239000 | #Constraints:      16007
1523.29/1527.21	c #Conflicts:     240000 | #Constraints:      17007
1523.29/1527.21	c #Conflicts:     241000 | #Constraints:      18007
1523.29/1527.21	c #Conflicts:     242000 | #Constraints:      19007
1523.29/1527.21	c #Conflicts:     243000 | #Constraints:      20007
1523.29/1527.21	c #Conflicts:     244000 | #Constraints:      21007
1523.29/1527.21	c #Conflicts:     245000 | #Constraints:      22007
1523.29/1527.21	c #Conflicts:     246000 | #Constraints:      23007
1523.29/1527.21	c INPROCESSING
1523.29/1527.21	c GARBAGE COLLECT
1523.29/1527.21	c rational objective 30
1615.86/1620.08	c #Conflicts:     247000 | #Constraints:      14212
1615.86/1620.08	c #Conflicts:     248000 | #Constraints:      15212
1615.86/1620.08	c #Conflicts:     249000 | #Constraints:      16212
1615.86/1620.08	c #Conflicts:     250000 | #Constraints:      17212
1615.86/1620.08	c #Conflicts:     251000 | #Constraints:      18212
1615.86/1620.08	c #Conflicts:     252000 | #Constraints:      19212
1615.86/1620.08	c #Conflicts:     253000 | #Constraints:      20212
1615.86/1620.08	c #Conflicts:     254000 | #Constraints:      21212
1615.86/1620.08	c #Conflicts:     255000 | #Constraints:      22212
1615.86/1620.08	c #Conflicts:     256000 | #Constraints:      23212
1615.86/1620.08	c INPROCESSING
1615.86/1620.08	c GARBAGE COLLECT
1615.86/1620.08	c rational objective 30
1718.19/1722.60	c #Conflicts:     257000 | #Constraints:      14206
1718.19/1722.60	c #Conflicts:     258000 | #Constraints:      15206
1718.19/1722.60	c #Conflicts:     259000 | #Constraints:      16206
1718.19/1722.60	c #Conflicts:     260000 | #Constraints:      17206
1718.19/1722.60	c #Conflicts:     261000 | #Constraints:      18206
1718.19/1722.60	c #Conflicts:     262000 | #Constraints:      19206
1718.19/1722.60	c #Conflicts:     263000 | #Constraints:      20206
1718.19/1722.60	c #Conflicts:     264000 | #Constraints:      21206
1718.19/1722.60	c #Conflicts:     265000 | #Constraints:      22206
1718.19/1722.60	c #Conflicts:     266000 | #Constraints:      23206
1718.19/1722.60	c INPROCESSING
1718.19/1722.60	c GARBAGE COLLECT
1718.19/1722.60	c rational objective 30
1815.35/1820.08	c #Conflicts:     267000 | #Constraints:      14007
1815.35/1820.08	c #Conflicts:     268000 | #Constraints:      15007
1815.35/1820.08	c #Conflicts:     269000 | #Constraints:      16007
1815.35/1820.08	c #Conflicts:     270000 | #Constraints:      17007
1815.35/1820.08	c #Conflicts:     271000 | #Constraints:      18007
1815.35/1820.08	c #Conflicts:     272000 | #Constraints:      19007
1815.35/1820.08	c #Conflicts:     273000 | #Constraints:      20007
1815.35/1820.08	c #Conflicts:     274000 | #Constraints:      21007
1815.35/1820.08	c #Conflicts:     275000 | #Constraints:      22007
1815.35/1820.08	c #Conflicts:     276000 | #Constraints:      23007
1815.35/1820.08	c #Conflicts:     277000 | #Constraints:      24007
1815.35/1820.08	c INPROCESSING
1815.35/1820.08	c GARBAGE COLLECT
1815.35/1820.08	c rational objective 30
1926.27/1931.20	c #Conflicts:     278000 | #Constraints:      14608
1926.27/1931.20	c #Conflicts:     279000 | #Constraints:      15608
1926.27/1931.20	c #Conflicts:     280000 | #Constraints:      16608
1926.27/1931.20	c #Conflicts:     281000 | #Constraints:      17608
1926.27/1931.20	c #Conflicts:     282000 | #Constraints:      18608
1926.27/1931.20	c #Conflicts:     283000 | #Constraints:      19608
1926.27/1931.20	c #Conflicts:     284000 | #Constraints:      20608
1926.27/1931.20	c #Conflicts:     285000 | #Constraints:      21608
1926.27/1931.20	c #Conflicts:     286000 | #Constraints:      22608
1926.27/1931.20	c #Conflicts:     287000 | #Constraints:      23608
1926.27/1931.20	c #Conflicts:     288000 | #Constraints:      24608
1926.27/1931.20	c INPROCESSING
1926.27/1931.20	c GARBAGE COLLECT
1926.27/1931.20	c rational objective 31.0004
2034.61/2039.82	c #Conflicts:     289000 | #Constraints:      15009
2034.61/2039.82	c #Conflicts:     290000 | #Constraints:      16009
2034.61/2039.82	c #Conflicts:     291000 | #Constraints:      17009
2034.61/2039.82	c #Conflicts:     292000 | #Constraints:      18009
2034.61/2039.82	c #Conflicts:     293000 | #Constraints:      19009
2034.61/2039.82	c #Conflicts:     294000 | #Constraints:      20009
2034.61/2039.82	c #Conflicts:     295000 | #Constraints:      21009
2034.61/2039.82	c #Conflicts:     296000 | #Constraints:      22009
2034.61/2039.82	c #Conflicts:     297000 | #Constraints:      23009
2034.61/2039.82	c #Conflicts:     298000 | #Constraints:      24009
2034.61/2039.82	c #Conflicts:     299000 | #Constraints:      25009
2034.61/2039.82	c INPROCESSING
2034.61/2039.82	c GARBAGE COLLECT
2034.61/2039.82	c rational objective 33.8279
2665.16/2672.05	c #Conflicts:     300000 | #Constraints:      15207
2665.16/2672.05	c #Conflicts:     301000 | #Constraints:      16207
2665.16/2672.05	c #Conflicts:     302000 | #Constraints:      17207
2665.16/2672.05	c #Conflicts:     303000 | #Constraints:      18207
2665.16/2672.05	c #Conflicts:     304000 | #Constraints:      19207
2665.16/2672.05	c #Conflicts:     305000 | #Constraints:      20207
2665.16/2672.05	c #Conflicts:     306000 | #Constraints:      21207
2665.16/2672.05	c #Conflicts:     307000 | #Constraints:      22207
2665.16/2672.05	c #Conflicts:     308000 | #Constraints:      23207
2665.16/2672.05	c #Conflicts:     309000 | #Constraints:      24207
2665.16/2672.05	c #Conflicts:     310000 | #Constraints:      25207
2665.16/2672.05	c INPROCESSING
2665.16/2672.05	c GARBAGE COLLECT
2665.16/2672.05	c #Conflicts:     311000 | #Constraints:      15208
2665.16/2672.05	c #Conflicts:     312000 | #Constraints:      16208
2665.16/2672.05	c #Conflicts:     313000 | #Constraints:      17208
2665.16/2672.05	c #Conflicts:     314000 | #Constraints:      18208
2665.16/2672.05	c #Conflicts:     315000 | #Constraints:      19208
2665.16/2672.05	c #Conflicts:     316000 | #Constraints:      20208
2665.16/2672.05	c #Conflicts:     317000 | #Constraints:      21208
2665.16/2672.05	c #Conflicts:     318000 | #Constraints:      22208
2665.16/2672.05	c #Conflicts:     319000 | #Constraints:      23208
2665.16/2672.05	c #Conflicts:     320000 | #Constraints:      24208
2665.16/2672.05	c #Conflicts:     321000 | #Constraints:      25208
2665.16/2672.05	c INPROCESSING
2665.16/2672.05	c GARBAGE COLLECT
2665.16/2672.05	c #Conflicts:     322000 | #Constraints:      15008
2665.16/2672.05	c #Conflicts:     323000 | #Constraints:      16008
2665.16/2672.05	c #Conflicts:     324000 | #Constraints:      17008
2665.16/2672.05	c #Conflicts:     325000 | #Constraints:      18008
2665.16/2672.05	c #Conflicts:     326000 | #Constraints:      19008
2665.16/2672.05	c #Conflicts:     327000 | #Constraints:      20008
2665.16/2672.05	c #Conflicts:     328000 | #Constraints:      21008
2665.16/2672.05	c #Conflicts:     329000 | #Constraints:      22008
2665.16/2672.05	c #Conflicts:     330000 | #Constraints:      23008
2665.16/2672.05	c #Conflicts:     331000 | #Constraints:      24008
2665.16/2672.05	c #Conflicts:     332000 | #Constraints:      25008
2665.16/2672.05	c #Conflicts:     333000 | #Constraints:      26008
2665.16/2672.05	c INPROCESSING
2665.16/2672.05	c GARBAGE COLLECT
2665.16/2672.05	c #Conflicts:     334000 | #Constraints:      15610
2665.16/2672.05	c #Conflicts:     335000 | #Constraints:      16610
2665.16/2672.05	c #Conflicts:     336000 | #Constraints:      17611
2665.16/2672.05	c #Conflicts:     337000 | #Constraints:      18611
2665.16/2672.05	c #Conflicts:     338000 | #Constraints:      19611
2665.16/2672.05	c #Conflicts:     339000 | #Constraints:      20611
2665.16/2672.05	c #Conflicts:     340000 | #Constraints:      21611
2665.16/2672.05	c #Conflicts:     341000 | #Constraints:      22611
2665.16/2672.05	c #Conflicts:     342000 | #Constraints:      23611
2665.16/2672.05	c #Conflicts:     343000 | #Constraints:      24611
2665.16/2672.05	c #Conflicts:     344000 | #Constraints:      25611
2665.16/2672.05	c #Conflicts:     345000 | #Constraints:      26611
2665.16/2672.05	c INPROCESSING
2665.16/2672.05	c GARBAGE COLLECT
2665.16/2672.05	c #Conflicts:     346000 | #Constraints:      16012
2665.16/2672.05	c #Conflicts:     347000 | #Constraints:      17012
2665.16/2672.05	c #Conflicts:     348000 | #Constraints:      18012
2665.16/2672.05	c #Conflicts:     349000 | #Constraints:      19012
2665.16/2672.05	c #Conflicts:     350000 | #Constraints:      20012
2665.16/2672.05	c #Conflicts:     351000 | #Constraints:      21012
2665.16/2672.05	c #Conflicts:     352000 | #Constraints:      22012
2665.16/2672.05	c #Conflicts:     353000 | #Constraints:      23012
2665.16/2672.05	c #Conflicts:     354000 | #Constraints:      24012
2665.16/2672.05	c #Conflicts:     355000 | #Constraints:      25012
2665.16/2672.05	c #Conflicts:     356000 | #Constraints:      26012
2665.16/2672.05	c #Conflicts:     357000 | #Constraints:      27012
2665.16/2672.05	c INPROCESSING
2665.16/2672.05	c GARBAGE COLLECT
2665.16/2672.05	c rational objective 34.5205
2950.75/2958.47	c #Conflicts:     358000 | #Constraints:      16212
2950.75/2958.47	c #Conflicts:     359000 | #Constraints:      17212
2950.75/2958.47	c #Conflicts:     360000 | #Constraints:      18212
2950.75/2958.47	c #Conflicts:     361000 | #Constraints:      19212
2950.75/2958.47	c #Conflicts:     362000 | #Constraints:      20212
2950.75/2958.47	c #Conflicts:     363000 | #Constraints:      21212
2950.75/2958.47	c #Conflicts:     364000 | #Constraints:      22212
2950.75/2958.47	c #Conflicts:     365000 | #Constraints:      23212
2950.75/2958.47	c #Conflicts:     366000 | #Constraints:      24212
2950.75/2958.47	c #Conflicts:     367000 | #Constraints:      25212
2950.75/2958.47	c #Conflicts:     368000 | #Constraints:      26212
2950.75/2958.47	c #Conflicts:     369000 | #Constraints:      27212
2950.75/2958.47	c INPROCESSING
2950.75/2958.47	c GARBAGE COLLECT
2950.75/2958.47	c #Conflicts:     370000 | #Constraints:      16214
2950.75/2958.47	c #Conflicts:     371000 | #Constraints:      17214
2950.75/2958.47	c #Conflicts:     372000 | #Constraints:      18214
2950.75/2958.47	c #Conflicts:     373000 | #Constraints:      19214
2950.75/2958.47	c #Conflicts:     374000 | #Constraints:      20214
2950.75/2958.47	c #Conflicts:     375000 | #Constraints:      21214
2950.75/2958.47	c #Conflicts:     376000 | #Constraints:      22214
2950.75/2958.47	c #Conflicts:     377000 | #Constraints:      23214
2950.75/2958.47	c #Conflicts:     378000 | #Constraints:      24214
2950.75/2958.47	c #Conflicts:     379000 | #Constraints:      25214
2950.75/2958.47	c #Conflicts:     380000 | #Constraints:      26214
2950.75/2958.47	c #Conflicts:     381000 | #Constraints:      27214
2950.75/2958.47	c INPROCESSING
2950.75/2958.47	c GARBAGE COLLECT
2950.75/2958.47	c rational objective 35.0722
3600.09/3609.60	c #Conflicts:     382000 | #Constraints:      16013
3600.09/3609.60	c #Conflicts:     383000 | #Constraints:      17013
3600.09/3609.60	c #Conflicts:     384000 | #Constraints:      18013
3600.09/3609.60	c #Conflicts:     385000 | #Constraints:      19013
3600.09/3609.60	c #Conflicts:     386000 | #Constraints:      20013
3600.09/3609.60	c #Conflicts:     387000 | #Constraints:      21013
3600.09/3609.60	c #Conflicts:     388000 | #Constraints:      22013
3600.09/3609.60	c #Conflicts:     389000 | #Constraints:      23013
3600.09/3609.60	c #Conflicts:     390000 | #Constraints:      24013
3600.09/3609.60	c #Conflicts:     391000 | #Constraints:      25013
3600.09/3609.60	c #Conflicts:     392000 | #Constraints:      26013
3600.09/3609.60	c #Conflicts:     393000 | #Constraints:      27013
3600.09/3609.60	c #Conflicts:     394000 | #Constraints:      28013
3600.09/3609.60	c INPROCESSING
3600.09/3609.60	c GARBAGE COLLECT
3600.09/3609.60	c #Conflicts:     395000 | #Constraints:      16612
3600.09/3609.60	c #Conflicts:     396000 | #Constraints:      17612
3600.09/3609.60	c #Conflicts:     397000 | #Constraints:      18612
3600.09/3609.60	c #Conflicts:     398000 | #Constraints:      19612
3600.09/3609.60	c #Conflicts:     399000 | #Constraints:      20612
3600.09/3609.60	c #Conflicts:     400000 | #Constraints:      21612
3600.09/3609.60	c #Conflicts:     401000 | #Constraints:      22612
3600.09/3609.60	c #Conflicts:     402000 | #Constraints:      23612
3600.09/3609.60	c #Conflicts:     403000 | #Constraints:      24612
3600.09/3609.60	c #Conflicts:     404000 | #Constraints:      25612
3600.09/3609.60	c #Conflicts:     405000 | #Constraints:      26612
3600.09/3609.60	c #Conflicts:     406000 | #Constraints:      27612
3600.09/3609.60	c #Conflicts:     407000 | #Constraints:      28612
3600.09/3609.60	c INPROCESSING
3600.09/3609.60	c GARBAGE COLLECT
3600.09/3609.60	c #Conflicts:     408000 | #Constraints:      17011
3600.09/3609.60	c #Conflicts:     409000 | #Constraints:      18012
3600.09/3609.60	c #Conflicts:     410000 | #Constraints:      19012
3600.09/3609.60	c #Conflicts:     411000 | #Constraints:      20012
3600.09/3609.60	c #Conflicts:     412000 | #Constraints:      21012
3600.09/3609.60	c #Conflicts:     413000 | #Constraints:      22012
3600.09/3609.60	c #Conflicts:     414000 | #Constraints:      23012
3600.09/3609.60	c #Conflicts:     415000 | #Constraints:      24012
3600.09/3609.60	c #Conflicts:     416000 | #Constraints:      25012
3600.09/3609.60	c #Conflicts:     417000 | #Constraints:      26012
3600.09/3609.60	c #Conflicts:     418000 | #Constraints:      27012
3600.09/3609.60	c #Conflicts:     419000 | #Constraints:      28012
3600.09/3609.60	c #Conflicts:     420000 | #Constraints:      29012
3600.09/3609.60	c INPROCESSING
3600.09/3609.60	c GARBAGE COLLECT
3600.09/3609.60	c #Conflicts:     421000 | #Constraints:      17214
3600.09/3609.60	c #Conflicts:     422000 | #Constraints:      18214
3600.09/3609.60	c #Conflicts:     423000 | #Constraints:      19214
3600.09/3609.60	c #Conflicts:     424000 | #Constraints:      20214
3600.09/3609.60	c #Conflicts:     425000 | #Constraints:      21214
3600.09/3609.60	c #Conflicts:     426000 | #Constraints:      22214
3600.09/3609.60	c #Conflicts:     427000 | #Constraints:      23214
3600.09/3609.60	c #Conflicts:     428000 | #Constraints:      24214
3600.09/3609.60	c #Conflicts:     429000 | #Constraints:      25214
3600.09/3609.60	c #Conflicts:     430000 | #Constraints:      26214
3600.09/3609.60	c #Conflicts:     431000 | #Constraints:      27214
3600.09/3609.60	c #Conflicts:     432000 | #Constraints:      28214
3600.09/3609.60	c #Conflicts:     433000 | #Constraints:      29214
3600.09/3609.60	c INPROCESSING
3600.09/3609.60	c GARBAGE COLLECT
3600.09/3609.60	c #Conflicts:     434000 | #Constraints:      17218
3600.09/3609.60	c #Conflicts:     435000 | #Constraints:      18218
3600.09/3609.60	c cpu time 3597.27 s
3600.09/3609.60	c deterministic time 995643210534 9.96e+11
3600.09/3609.60	c optimization time 18.1538 s
3600.09/3609.60	c total solve time 3579.1 s
3600.09/3609.60	c core-guided solve time 0 s
3600.09/3609.60	c propagation time 3104.79 s
3600.09/3609.60	c conflict analysis time 432.421 s
3600.09/3609.60	c propagations 71297094
3600.09/3609.60	c resolve steps 19130412
3600.09/3609.60	c decisions 523306
3600.09/3609.60	c conflicts 435031
3600.09/3609.60	c restarts 1020
3600.09/3609.60	c inprocessing phases 57
3600.09/3609.60	c garbage collections 57 ,( 100.00 )
3600.09/3609.60	c input clauses 3968 ,( 99.87 )
3600.09/3609.60	c input cardinalities 0 ,( 0.00 )
3600.09/3609.60	c input general constraints 5 ,( 0.13 )
3600.09/3609.60	c input average constraint length 3.06
3600.09/3609.60	c input average constraint degree 5803783056518250.00
3600.09/3609.60	c learned clauses 1123 ,( 0.26 )
3600.09/3609.60	c learned cardinalities 0 ,( 0.00 )
3600.09/3609.60	c learned general constraints 433915 ,( 99.74 )
3600.09/3609.60	c learned average constraint length 548.67
3600.09/3609.60	c learned average constraint degree 1148724166.85
3600.09/3609.60	c watched  CF 32, 64, 128, Arb: 238 , 0 , 0 , 0
3600.09/3609.60	c counting CF 32, 64, 128, Arb: 433677 , 0 , 5 , 0
3600.09/3609.60	c watched   constraints 238 ,( 0.05 ) 
3600.09/3609.60	c counting  constraints 433682 ,( 99.95 ) 
3600.09/3609.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 54307341 , 0 , 61372612791 ,( 174562 , 61372438229 )
3600.09/3609.60	c gcd simplifications 58
3600.09/3609.60	c detected cardinalities 0
3600.09/3609.60	c weakened non-implied lits 13979125
3600.09/3609.60	c weakened non-implying lits 27824
3600.09/3609.60	c original variables 2170
3600.09/3609.60	c clausal propagations 51598147
3600.09/3609.60	c cardinality propagations 0
3600.09/3609.60	c watched propagations 85
3600.09/3609.60	c counting propagations 19329680
3600.09/3609.60	c watch lookups 61494906760
3600.09/3609.60	c watch backjump lookups 0
3600.09/3609.60	c watch checks 6236373
3600.09/3609.60	c propagation checks 931870043662
3600.09/3609.60	c constraint additions 2127887361
3600.09/3609.60	c trail pops 72254096
3600.09/3609.60	c formula constraints 3973
3600.09/3609.60	c learned constraints 435030
3600.09/3609.60	c bound constraints 0
3600.09/3609.60	c core-guided constraints 0
3600.09/3609.60	c encountered formula constraints 19061156
3600.09/3609.60	c encountered learned constraints 500095
3600.09/3609.60	c encountered bound constraints 0
3600.09/3609.60	c encountered core-guided constraints 0
3600.09/3609.60	c LP total time 20.8283 s
3600.09/3609.60	c LP solve time 6.25 s
3600.09/3609.60	c LP constraints added 3980
3600.09/3609.60	c LP constraints removed 1
3600.09/3609.60	c LP pivots internal 43840
3600.09/3609.60	c LP pivots root 18041
3600.09/3609.60	c LP calls 1685
3600.09/3609.60	c LP optimalities 1643
3600.09/3609.60	c LP no pivot count 605
3600.09/3609.60	c LP infeasibilities 9
3600.09/3609.60	c LP valid Farkas constraints 2
3600.09/3609.60	c LP learned Farkas constraints 0
3600.09/3609.60	c LP basis resets 38
3600.09/3609.60	c LP cycling count 13
3600.09/3609.60	c LP singular count 10
3600.09/3609.60	c LP no primal count 0
3600.09/3609.60	c LP no farkas count 7
3600.09/3609.60	c LP other issue count 8
3600.09/3609.60	c LP Gomory cuts 6
3600.09/3609.60	c LP learned cuts 1
3600.09/3609.60	c LP deleted cuts 1
3600.09/3609.60	c LP encountered Gomory constraints 0
3600.09/3609.60	c LP encountered Farkas constraints 4192
3600.09/3609.60	c LP encountered learned Farkas constraints 0
3600.09/3609.60	c CG auxiliary variables introduced 0
3600.09/3609.60	c CG solutions found 0
3600.09/3609.60	c CG cores constructed 0
3600.09/3609.60	c CG core cardinality constraints returned 0
3600.09/3609.60	c CG unit cores 0
3600.09/3609.60	c CG single cores 0
3600.09/3609.60	c CG blocks removed during cardinality reduction 0
3600.09/3609.60	c CG first core best 0
3600.09/3609.60	c CG decision core best 0
3600.09/3609.60	c CG core reduction tie 0
3600.09/3609.60	c CG core degree average 0.00
3600.09/3609.60	c CG core slack average 0.00
3600.09/3609.60	c CG core upper bound improvements 0
3600.09/3609.60	c STR number of successful calls 0
3600.09/3609.60	c STR number of unsuccessful calls 0
3600.09/3609.60	c STR number of inconclusive calls 0
3600.09/3609.60	c STR number of successful attempts 0
3600.09/3609.60	c STR number of unsuccessful attempts 0
3600.09/3609.60	c STR number of inconclusive attempts 0
3600.09/3609.60	c STR average degree increase per successful call inf
3600.09/3609.60	c STR average degree increase per successful attempt inf
3600.09/3609.60	c STR total number of conflicts for successful attempts 0
3600.09/3609.60	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3609.60	c STR total number of conflicts for inconclusive attempts 0
3600.09/3609.60	c STR average number of conflicts per successful attempt inf
3600.09/3609.60	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3609.60	c STR average number of conflicts per inconclusive attempt inf
3600.09/3609.60	c AVG.sumWPerc 99.71 
3600.09/3609.60	c bigint constraints 5 
3600.09/3609.60	s UNKNOWN
3600.09/3609.60	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 (62451 MiB free)
  memory of node 1: 64507 MiB (63702 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541605-1753198973/watcher-4541605-1753198973 -o /tmp/evaluation-result-4541605-1753198973/solver-4541605-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167337 --watchdog 3760 run-dec.sh HOME/instance-4541605-1753198973.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=167391, runsolver pid=167387

[startup+0.100061 s]*
/proc/loadavg: 0.11 0.09 0.09 5/269 167399
/proc/meminfo: memFree=129155376/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=61720 memory=18520 CPUtime=0.07 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 2478 0 0 0 7 0 0 0 20 0 1 0 235575314 63201280 4630 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 15430 4630 2368 1147 0 2857 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65912 KiB
Current children cumulated memory: 21464 KiB

[startup+0.205481 s]*
/proc/loadavg: 0.11 0.09 0.09 5/269 167399
/proc/meminfo: memFree=129148320/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=63724 memory=20440 CPUtime=0.17 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 2954 0 0 0 17 0 0 0 20 0 1 0 235575314 65253376 5110 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 15931 5110 2368 1147 0 3358 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67916 KiB
Current children cumulated memory: 23384 KiB

[startup+0.304772 s]*
/proc/loadavg: 0.11 0.09 0.09 5/269 167399
/proc/meminfo: memFree=129145800/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=65648 memory=22360 CPUtime=0.28 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 3438 0 0 0 27 1 0 0 20 0 1 0 235575314 67223552 5590 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 16412 5590 2368 1147 0 3839 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 69840 KiB
Current children cumulated memory: 25304 KiB

[startup+0.700176 s]
/proc/loadavg: 0.11 0.09 0.09 5/269 167399
/proc/meminfo: memFree=129132632/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=72188 memory=30664 CPUtime=0.66 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 4995 0 0 0 65 1 0 0 20 0 1 0 235575314 73920512 7666 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 18047 7666 2368 1147 0 5474 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 76380 KiB
Current children cumulated memory: 33608 KiB

[startup+1.50019 s]
/proc/loadavg: 0.11 0.09 0.09 5/269 167400
/proc/meminfo: memFree=129121552/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=84344 memory=41800 CPUtime=1.46 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 7791 0 0 0 144 2 0 0 20 0 1 0 235575314 86368256 10450 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 21086 10450 2368 1147 0 8513 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 88536 KiB
Current children cumulated memory: 44744 KiB

[startup+3.10539 s]
/proc/loadavg: 0.11 0.09 0.09 5/269 167400
/proc/meminfo: memFree=129094832/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=98632 memory=52900 CPUtime=3.06 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 10050 0 0 0 303 3 0 0 20 0 1 0 235575314 100999168 13225 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 24658 13225 2368 1147 0 12085 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 102824 KiB
Current children cumulated memory: 55844 KiB

[startup+6.30018 s]
/proc/loadavg: 0.42 0.15 0.11 5/269 167400
/proc/meminfo: memFree=129055948/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=118116 memory=70288 CPUtime=6.25 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 13383 0 0 0 621 4 0 0 20 0 1 0 235575314 120950784 17572 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 29529 17572 2368 1147 0 16956 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 122308 KiB
Current children cumulated memory: 73232 KiB

[startup+12.7002 s]
/proc/loadavg: 0.71 0.22 0.13 5/269 167400
/proc/meminfo: memFree=129026904/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=131428 memory=82992 CPUtime=12.63 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 16052 0 0 0 1256 7 0 0 20 0 1 0 235575314 134582272 20748 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 32857 20748 2368 1147 0 20284 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 135620 KiB
Current children cumulated memory: 85936 KiB

[startup+25.5002 s]
/proc/loadavg: 1.66 0.45 0.21 5/269 167400
/proc/meminfo: memFree=128946072/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=160368 memory=107120 CPUtime=25.4 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 20530 0 0 0 2529 11 0 0 20 0 1 0 235575314 164216832 26780 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 40092 26780 2368 1147 0 27519 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 164560 KiB
Current children cumulated memory: 110064 KiB

[startup+51.1055 s]
/proc/loadavg: 2.64 0.79 0.33 5/269 167400
/proc/meminfo: memFree=128877544/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=180952 memory=125408 CPUtime=50.94 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 24519 0 0 0 5077 17 0 0 20 0 1 0 235575314 185294848 31352 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 45238 31352 2464 1147 0 32665 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 185144 KiB
Current children cumulated memory: 128352 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 5/270 167403
/proc/meminfo: memFree=128755052/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=221716 memory=151876 CPUtime=102.01 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 29602 0 0 0 10176 25 0 0 20 0 1 0 235575314 227037184 37969 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 55429 37969 2464 1147 0 42856 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 225908 KiB
Current children cumulated memory: 154820 KiB

[startup+162.3 s]
/proc/loadavg: 3.86 1.81 0.75 5/270 167405
/proc/meminfo: memFree=128692308/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=226548 memory=165552 CPUtime=161.87 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 31472 0 0 0 16154 33 0 0 20 0 1 0 235575314 231985152 41388 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 56637 41388 2464 1147 0 44064 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 230740 KiB
Current children cumulated memory: 168496 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 2.29 0.99 5/270 167407
/proc/meminfo: memFree=128628012/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=247844 memory=186816 CPUtime=221.73 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 35783 0 0 0 22130 43 0 0 20 0 1 0 235575314 253792256 46704 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 61961 46704 2464 1147 0 49388 0

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

/proc/167393/statm: 154028 131945 2496 1147 0 141455 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 620304 KiB
Current children cumulated memory: 530724 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/268 167560
/proc/meminfo: memFree=127140756/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=617716 memory=529060 CPUtime=3094.24 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 81688 0 0 0 309170 254 0 0 20 0 1 0 235575314 632541184 132265 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 154429 132265 2496 1147 0 141856 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 621908 KiB
Current children cumulated memory: 532004 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/269 167563
/proc/meminfo: memFree=127132292/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=618740 memory=532068 CPUtime=3154.06 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 81947 0 0 0 315148 258 0 0 20 0 1 0 235575314 633589760 133017 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 154685 133017 2496 1147 0 142112 0
Current children cumulated CPU time: 3154.06 s
Current children cumulated vsize: 622932 KiB
Current children cumulated memory: 535012 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/269 167565
/proc/meminfo: memFree=127132188/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=618740 memory=532068 CPUtime=3213.89 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 81947 0 0 0 321128 261 0 0 20 0 1 0 235575314 633589760 133017 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 154685 133017 2496 1147 0 142112 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 622932 KiB
Current children cumulated memory: 535012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/270 167569
/proc/meminfo: memFree=127089384/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=631312 memory=543924 CPUtime=3273.72 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 83888 0 0 0 327108 264 0 0 20 0 1 0 235575314 646463488 135981 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 157828 135981 2496 1147 0 145255 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 635504 KiB
Current children cumulated memory: 546868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/269 167571
/proc/meminfo: memFree=127073472/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=631312 memory=543924 CPUtime=3333.55 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 83888 0 0 0 333087 268 0 0 20 0 1 0 235575314 646463488 135981 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 157828 135981 2496 1147 0 145255 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 635504 KiB
Current children cumulated memory: 546868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/269 167574
/proc/meminfo: memFree=127078860/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=631312 memory=543924 CPUtime=3393.38 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 83889 0 0 0 339068 270 0 0 20 0 1 0 235575314 646463488 135981 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 157828 135981 2496 1147 0 145255 0
Current children cumulated CPU time: 3393.38 s
Current children cumulated vsize: 635504 KiB
Current children cumulated memory: 546868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/269 167576
/proc/meminfo: memFree=127047036/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=719844 memory=550324 CPUtime=3453.21 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 85486 0 0 0 345047 274 0 0 20 0 1 0 235575314 737120256 137581 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 179961 137581 2496 1147 0 167388 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 724036 KiB
Current children cumulated memory: 553268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/270 167579
/proc/meminfo: memFree=127006280/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=719844 memory=550324 CPUtime=3513.04 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 85540 0 0 0 351026 278 0 0 20 0 1 0 235575314 737120256 137581 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 179961 137581 2496 1147 0 167388 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 724036 KiB
Current children cumulated memory: 553268 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.03 5/268 167581
/proc/meminfo: memFree=126929088/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=720124 memory=564660 CPUtime=3572.87 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 85620 0 0 0 357006 281 0 0 20 0 1 0 235575314 737406976 141165 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 180031 141165 2496 1147 0 167458 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 724316 KiB
Current children cumulated memory: 567604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.08 4.10 4.03 5/269 167589
/proc/meminfo: memFree=126904184/131249996 swapFree=33010672/33010684
[pid=167391] ppid=167387 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/167391/stat : 167391 (run-dec.sh) S 167387 167391 167318 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235575312 4292608 736 18446744073709551615 94288317014016 94288317908549 140730490326320 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94288318147600 94288318195344 94288327274496 140730490329451 140730490329574 140730490329574 140730490335178 0
/proc/167391/statm: 1048 736 672 219 0 110 0
[pid=167393] ppid=167391 vsize=721560 memory=589512 CPUtime=3600.09 cores=1,3
/proc/167393/stat : 167393 (roundingsat) R 167391 167391 167318 0 -1 4194304 85992 0 0 0 359727 282 0 0 20 0 1 0 235575314 738877440 147378 18446744073709551615 4227072 8923433 140722031282720 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 11751424 140722031286709 140722031286822 140722031286822 140722031292394 0
/proc/167393/statm: 180390 147378 2496 1147 0 167817 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 725752 KiB
Current children cumulated memory: 592456 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3597.27 s, system=2.83187 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): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3597.27
CPU system time (s): 2.83187
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 725752
Max. memory (cumulated for all children) (KiB): 592456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 2.83187
maximum resident set size= 589640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 233
involuntary context switches= 2768


# summary of solver processes directly reported to runsolver:
#   pid: 167391,167393
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.27
#   total CPU system time (s): 2.83187

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36943 second user time and 16.612 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-22 17:42:54
IDJOB=4541605
IDBENCH=163199
IDSOLVER=3349
FILE ID=nodeC024/4541605-1753198973
RUNJOBID= nodeC024-1753198973-167337
SLURM_JOB_ID= 9687757
Free space on /tmp= 433024 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541605-1753198973/watcher-4541605-1753198973 -o /tmp/evaluation-result-4541605-1753198973/solver-4541605-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753198973-167337 --watchdog 3760  run-dec.sh HOME/instance-4541605-1753198973.opb

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338

nodeC024 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		: 3592.304
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.36
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.894
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.36
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.663
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.36
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		: 3609.915
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.36
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.489
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.36
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		: 3672.441
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.36
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		: 3599.159
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.36
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.069
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129181812 kB
MemAvailable:   129709864 kB
Buffers:            2128 kB
Cached:          1290816 kB
SwapCached:            8 kB
Active:          1198144 kB
Inactive:         163604 kB
Active(anon):      93464 kB
Inactive(anon):     1588 kB
Active(file):    1104680 kB
Inactive(file):   162016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22508 kB
Writeback:             0 kB
AnonPages:         71980 kB
Mapped:           108760 kB
Shmem:             26248 kB
KReclaimable:     200788 kB
Slab:             296312 kB
SReclaimable:     200788 kB
SUnreclaim:        95524 kB
KernelStack:        4144 kB
PageTables:         2956 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     374360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3904 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433012 MiB
End job on nodeC024 at 2025-07-22 18:43:04