Trace number 4541957

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-log 63f22ad? (TO) 3600.08 3610.3

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
MD5SUM873561b121a1050aedee7e68f97b01fd
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 benchmark2.02679
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1848
Total number of constraints2354
Number of constraints which are clauses1728
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints626
Minimum length of a constraint2
Maximum length of a constraint624
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 140737488355328
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 562949953421311
Number of bits of the biggest sum of numbers49
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.03	c #variables 1848 #constraints 2979
0.00/0.03	c rational objective 7.10543e-15
5.36/5.41	c #Conflicts:       1000 | #Constraints:       3979
5.36/5.41	c #Conflicts:       2000 | #Constraints:       4979
5.36/5.41	c INPROCESSING
5.36/5.41	c GARBAGE COLLECT
5.36/5.41	c rational objective 4.01309
12.14/12.27	c #Conflicts:       3000 | #Constraints:       4984
12.14/12.27	c #Conflicts:       4000 | #Constraints:       5985
12.14/12.27	c INPROCESSING
12.14/12.27	c GARBAGE COLLECT
12.14/12.27	c #Conflicts:       5000 | #Constraints:       5387
12.14/12.27	c #Conflicts:       6000 | #Constraints:       6387
12.14/12.27	c INPROCESSING
12.14/12.27	c GARBAGE COLLECT
12.14/12.27	c rational objective 4.16602
16.82/16.97	c #Conflicts:       7000 | #Constraints:       5388
16.82/16.97	c #Conflicts:       8000 | #Constraints:       6390
16.82/16.97	c #Conflicts:       9000 | #Constraints:       7392
16.82/16.97	c INPROCESSING
16.82/16.97	c GARBAGE COLLECT
16.82/16.97	c rational objective 4.37905
306.78/307.74	c #Conflicts:      10000 | #Constraints:       6095
306.78/307.74	c #Conflicts:      11000 | #Constraints:       7095
306.78/307.74	c #Conflicts:      12000 | #Constraints:       8095
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      13000 | #Constraints:       6541
306.78/307.74	c #Conflicts:      14000 | #Constraints:       7541
306.78/307.74	c #Conflicts:      15000 | #Constraints:       8541
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      16000 | #Constraints:       6764
306.78/307.74	c #Conflicts:      17000 | #Constraints:       7764
306.78/307.74	c #Conflicts:      18000 | #Constraints:       8766
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      19000 | #Constraints:       6775
306.78/307.74	c #Conflicts:      20000 | #Constraints:       7776
306.78/307.74	c #Conflicts:      21000 | #Constraints:       8776
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      22000 | #Constraints:       6577
306.78/307.74	c #Conflicts:      23000 | #Constraints:       7578
306.78/307.74	c #Conflicts:      24000 | #Constraints:       8578
306.78/307.74	c #Conflicts:      25000 | #Constraints:       9579
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      26000 | #Constraints:       7185
306.78/307.74	c #Conflicts:      27000 | #Constraints:       8185
306.78/307.74	c #Conflicts:      28000 | #Constraints:       9185
306.78/307.74	c #Conflicts:      29000 | #Constraints:      10185
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      30000 | #Constraints:       7585
306.78/307.74	c #Conflicts:      31000 | #Constraints:       8585
306.78/307.74	c #Conflicts:      32000 | #Constraints:       9585
306.78/307.74	c #Conflicts:      33000 | #Constraints:      10585
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      34000 | #Constraints:       7788
306.78/307.74	c #Conflicts:      35000 | #Constraints:       8788
306.78/307.74	c #Conflicts:      36000 | #Constraints:       9788
306.78/307.74	c #Conflicts:      37000 | #Constraints:      10788
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      38000 | #Constraints:       7789
306.78/307.74	c #Conflicts:      39000 | #Constraints:       8789
306.78/307.74	c #Conflicts:      40000 | #Constraints:       9789
306.78/307.74	c #Conflicts:      41000 | #Constraints:      10789
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      42000 | #Constraints:       7591
306.78/307.74	c #Conflicts:      43000 | #Constraints:       8591
306.78/307.74	c #Conflicts:      44000 | #Constraints:       9591
306.78/307.74	c #Conflicts:      45000 | #Constraints:      10592
306.78/307.74	c #Conflicts:      46000 | #Constraints:      11592
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      47000 | #Constraints:       8190
306.78/307.74	c #Conflicts:      48000 | #Constraints:       9190
306.78/307.74	c #Conflicts:      49000 | #Constraints:      10190
306.78/307.74	c #Conflicts:      50000 | #Constraints:      11190
306.78/307.74	c #Conflicts:      51000 | #Constraints:      12190
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      52000 | #Constraints:       8594
306.78/307.74	c #Conflicts:      53000 | #Constraints:       9594
306.78/307.74	c #Conflicts:      54000 | #Constraints:      10594
306.78/307.74	c #Conflicts:      55000 | #Constraints:      11594
306.78/307.74	c #Conflicts:      56000 | #Constraints:      12594
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      57000 | #Constraints:       8791
306.78/307.74	c #Conflicts:      58000 | #Constraints:       9791
306.78/307.74	c #Conflicts:      59000 | #Constraints:      10791
306.78/307.74	c #Conflicts:      60000 | #Constraints:      11791
306.78/307.74	c #Conflicts:      61000 | #Constraints:      12791
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      62000 | #Constraints:       8790
306.78/307.74	c #Conflicts:      63000 | #Constraints:       9790
306.78/307.74	c #Conflicts:      64000 | #Constraints:      10790
306.78/307.74	c #Conflicts:      65000 | #Constraints:      11790
306.78/307.74	c #Conflicts:      66000 | #Constraints:      12791
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      67000 | #Constraints:       8592
306.78/307.74	c #Conflicts:      68000 | #Constraints:       9592
306.78/307.74	c #Conflicts:      69000 | #Constraints:      10592
306.78/307.74	c #Conflicts:      70000 | #Constraints:      11592
306.78/307.74	c #Conflicts:      71000 | #Constraints:      12592
306.78/307.74	c #Conflicts:      72000 | #Constraints:      13592
306.78/307.74	c INPROCESSING
306.78/307.74	c GARBAGE COLLECT
306.78/307.74	c #Conflicts:      73000 | #Constraints:       9190
306.78/307.74	c #Conflicts:      74000 | #Constraints:      10190
306.78/307.74	c #Conflicts:      75000 | #Constraints:      11190
306.78/307.74	c #Conflicts:      76000 | #Constraints:      12190
306.78/307.74	c #Conflicts:      77000 | #Constraints:      13190
306.78/307.74	c #Conflicts:      78000 | #Constraints:      14190
306.78/307.74	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:      79000 | #Constraints:       9590
933.96/936.64	c #Conflicts:      80000 | #Constraints:      10590
933.96/936.64	c #Conflicts:      81000 | #Constraints:      11590
933.96/936.64	c #Conflicts:      82000 | #Constraints:      12590
933.96/936.64	c #Conflicts:      83000 | #Constraints:      13590
933.96/936.64	c #Conflicts:      84000 | #Constraints:      14590
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:      85000 | #Constraints:       9791
933.96/936.64	c #Conflicts:      86000 | #Constraints:      10791
933.96/936.64	c #Conflicts:      87000 | #Constraints:      11791
933.96/936.64	c #Conflicts:      88000 | #Constraints:      12791
933.96/936.64	c #Conflicts:      89000 | #Constraints:      13791
933.96/936.64	c #Conflicts:      90000 | #Constraints:      14791
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:      91000 | #Constraints:       9790
933.96/936.64	c #Conflicts:      92000 | #Constraints:      10790
933.96/936.64	c #Conflicts:      93000 | #Constraints:      11790
933.96/936.64	c #Conflicts:      94000 | #Constraints:      12790
933.96/936.64	c #Conflicts:      95000 | #Constraints:      13790
933.96/936.64	c #Conflicts:      96000 | #Constraints:      14790
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:      97000 | #Constraints:       9593
933.96/936.64	c #Conflicts:      98000 | #Constraints:      10593
933.96/936.64	c #Conflicts:      99000 | #Constraints:      11593
933.96/936.64	c #Conflicts:     100000 | #Constraints:      12593
933.96/936.64	c #Conflicts:     101000 | #Constraints:      13593
933.96/936.64	c #Conflicts:     102000 | #Constraints:      14593
933.96/936.64	c #Conflicts:     103000 | #Constraints:      15593
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     104000 | #Constraints:      10190
933.96/936.64	c #Conflicts:     105000 | #Constraints:      11190
933.96/936.64	c #Conflicts:     106000 | #Constraints:      12190
933.96/936.64	c #Conflicts:     107000 | #Constraints:      13190
933.96/936.64	c #Conflicts:     108000 | #Constraints:      14190
933.96/936.64	c #Conflicts:     109000 | #Constraints:      15190
933.96/936.64	c #Conflicts:     110000 | #Constraints:      16190
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     111000 | #Constraints:      10595
933.96/936.64	c #Conflicts:     112000 | #Constraints:      11595
933.96/936.64	c #Conflicts:     113000 | #Constraints:      12595
933.96/936.64	c #Conflicts:     114000 | #Constraints:      13595
933.96/936.64	c #Conflicts:     115000 | #Constraints:      14595
933.96/936.64	c #Conflicts:     116000 | #Constraints:      15595
933.96/936.64	c #Conflicts:     117000 | #Constraints:      16595
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     118000 | #Constraints:      10792
933.96/936.64	c #Conflicts:     119000 | #Constraints:      11792
933.96/936.64	c #Conflicts:     120000 | #Constraints:      12792
933.96/936.64	c #Conflicts:     121000 | #Constraints:      13792
933.96/936.64	c #Conflicts:     122000 | #Constraints:      14792
933.96/936.64	c #Conflicts:     123000 | #Constraints:      15792
933.96/936.64	c #Conflicts:     124000 | #Constraints:      16792
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     125000 | #Constraints:      10793
933.96/936.64	c #Conflicts:     126000 | #Constraints:      11793
933.96/936.64	c #Conflicts:     127000 | #Constraints:      12793
933.96/936.64	c #Conflicts:     128000 | #Constraints:      13793
933.96/936.64	c #Conflicts:     129000 | #Constraints:      14793
933.96/936.64	c #Conflicts:     130000 | #Constraints:      15793
933.96/936.64	c #Conflicts:     131000 | #Constraints:      16793
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     132000 | #Constraints:      10591
933.96/936.64	c #Conflicts:     133000 | #Constraints:      11591
933.96/936.64	c #Conflicts:     134000 | #Constraints:      12591
933.96/936.64	c #Conflicts:     135000 | #Constraints:      13591
933.96/936.64	c #Conflicts:     136000 | #Constraints:      14591
933.96/936.64	c #Conflicts:     137000 | #Constraints:      15591
933.96/936.64	c #Conflicts:     138000 | #Constraints:      16591
933.96/936.64	c #Conflicts:     139000 | #Constraints:      17591
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     140000 | #Constraints:      11191
933.96/936.64	c #Conflicts:     141000 | #Constraints:      12191
933.96/936.64	c #Conflicts:     142000 | #Constraints:      13191
933.96/936.64	c #Conflicts:     143000 | #Constraints:      14191
933.96/936.64	c #Conflicts:     144000 | #Constraints:      15191
933.96/936.64	c #Conflicts:     145000 | #Constraints:      16191
933.96/936.64	c #Conflicts:     146000 | #Constraints:      17191
933.96/936.64	c #Conflicts:     147000 | #Constraints:      18191
933.96/936.64	c INPROCESSING
933.96/936.64	c GARBAGE COLLECT
933.96/936.64	c #Conflicts:     148000 | #Constraints:      11596
933.96/936.64	c #Conflicts:     149000 | #Constraints:      12596
933.96/936.64	c #Conflicts:     150000 | #Constraints:      13596
933.96/936.64	c #Conflicts:     151000 | #Constraints:      14596
1064.51/1067.54	c #Conflicts:     152000 | #Constraints:      15596
1064.51/1067.54	c #Conflicts:     153000 | #Constraints:      16596
1064.51/1067.54	c #Conflicts:     154000 | #Constraints:      17596
1064.51/1067.54	c #Conflicts:     155000 | #Constraints:      18596
1064.51/1067.54	c INPROCESSING
1064.51/1067.54	c GARBAGE COLLECT
1064.51/1067.54	c #Conflicts:     156000 | #Constraints:      11798
1064.51/1067.54	c #Conflicts:     157000 | #Constraints:      12798
1064.51/1067.54	c #Conflicts:     158000 | #Constraints:      13799
1064.51/1067.54	c #Conflicts:     159000 | #Constraints:      14799
1064.51/1067.54	c #Conflicts:     160000 | #Constraints:      15799
1064.51/1067.54	c #Conflicts:     161000 | #Constraints:      16799
1064.51/1067.54	c #Conflicts:     162000 | #Constraints:      17799
1064.51/1067.54	c #Conflicts:     163000 | #Constraints:      18799
1064.51/1067.54	c INPROCESSING
1064.51/1067.54	c GARBAGE COLLECT
1064.51/1067.54	WSVECS04 Frhs2[4]: 6 -1429.07 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[20]: 6 -402.389 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[21]: 6 -402.394 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[24]: 6 -402.689 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[42]: 6 -218.636 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[44]: 6 -218.636 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[45]: 6 -218.636 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[46]: 6 -218.636 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[47]: 6 -401.894 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[48]: 6 -803.787 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[49]: 6 -1 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[51]: 6 0 148.174 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[64]: 6 -0.111251 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[67]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[127]: 6 -0.977002 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[129]: 6 -0.907799 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[131]: 6 -2.131 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[132]: 6 -1.26202 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[133]: 6 0 0.476129 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[139]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[157]: 6 0 1.95226 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[158]: 6 0 4.90445 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[159]: 6 0 10.8089 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[160]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[161]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[162]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[179]: 6 0 0.476132 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[180]: 6 0 1.95229 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[181]: 6 0 4.9045 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[182]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[183]: 6 0 22.1178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[184]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[185]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[186]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[203]: 6 0 1.95227 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[204]: 6 0 4.90451 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[205]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[206]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[207]: 6 0 46.2355 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[208]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[209]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[210]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[226]: 6 0 1.95224 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[227]: 6 0 4.90452 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[228]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[229]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[230]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[231]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[232]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[233]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[234]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[248]: 6 0 0.476158 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[249]: 6 0 1.95231 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[250]: 6 0 4.90454 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[251]: 6 0 10.8089 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[252]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[253]: 6 0 46.2355 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[254]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[255]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[256]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[257]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[258]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[271]: 6 0 0.476194 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[272]: 6 0 1.9523 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[273]: 6 0 4.90448 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[274]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[275]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[276]: 6 0 46.2355 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[277]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[278]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[279]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[280]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[281]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[282]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[295]: 6 0 1.9523 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[296]: 6 0 4.90449 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[297]: 6 0 10.8089 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[298]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[299]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[300]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[301]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[302]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[303]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[304]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[305]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[306]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[317]: 6 0 0.476155 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[318]: 6 0 1.95231 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[319]: 6 0 4.90449 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[320]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[321]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[322]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[323]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[324]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[325]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[326]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[327]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[328]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[329]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[330]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[337]: 6 -0.815502 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[338]: 6 -11.131 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[340]: 6 0 0.476209 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[342]: 6 0 4.90448 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[344]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[346]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[349]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[363]: 6 0 0.47612 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[364]: 6 0 1.95228 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[365]: 6 0 4.9045 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[366]: 6 0 10.8089 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[367]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[368]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[369]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[370]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[371]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[372]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[373]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[374]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[375]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[376]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[377]: 6 0 24183.6 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[378]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[386]: 6 0 0.476204 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[388]: 6 0 4.90447 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[389]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[390]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[391]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[392]: 6 0 93.471 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[393]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[394]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[395]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[396]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[397]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[398]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[399]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[400]: 6 0 24183.6 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[401]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[402]: 6 0 96737.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[410]: 6 0 1.95231 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[411]: 6 0 4.90453 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[412]: 6 0 10.8089 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[413]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[414]: 6 0 46.2355 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[416]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[417]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[418]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[419]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[420]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[422]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[424]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[426]: 6 0 193476 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[434]: 6 0 4.90449 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[435]: 6 0 10.809 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[436]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[437]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[439]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[440]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[441]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[442]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[443]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[444]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[446]: 6 0 24183.6 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[447]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[448]: 6 0 96737.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[450]: 6 0 386952 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[459]: 6 0 22.6178 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[460]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[462]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[463]: 6 0 376.884 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[464]: 6 0 754.768 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[465]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[466]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[467]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[468]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[470]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[471]: 6 0 96737.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[474]: 6 0 773905 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[483]: 6 0 46.2356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[485]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[486]: 6 0 376.304 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[487]: 6 0 754.607 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[488]: 6 0 1510.21 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[489]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[490]: 6 0 6044.86 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[491]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[492]: 6 0 24183.4 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[493]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[494]: 6 0 96737.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[498]: 6 0 1.54781e+06 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[504]: 6 0 9.90602e+07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[507]: 6 0 93.4711 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[508]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[510]: 6 0 753.607 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[512]: 6 0 3021.43 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[514]: 6 0 12090.7 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[517]: 6 0 96737.2 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[531]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[532]: 6 0 374.304 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[534]: 6 0 1508.21 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[536]: 6 0 6043.86 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[538]: 6 0 24182.4 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[541]: 6 0 193475 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[554]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[556]: 6 0 751.607 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[558]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[559]: 6 0 6042.86 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[560]: 6 0 12088.7 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[561]: 6 0 24181.4 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[562]: 6 0 48365.9 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[563]: 6 0 96735.7 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[564]: 6 0 193474 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[566]: 6 0 773904 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[570]: 6 0 1.23825e+07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[577]: 6 0 187.942 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[578]: 6 0 372.304 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[579]: 6 0 750.607 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[580]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[581]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[582]: 6 0 6045.14 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[583]: 6 0 12087.7 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[584]: 6 0 24183.6 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[585]: 6 0 48364.9 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[586]: 6 0 96737.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[588]: 6 0 386951 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[590]: 6 0 1.54781e+06 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[592]: 6 0 6.19125e+06 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[593]: 6 0 1.23825e+07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[594]: 6 0 2.4765e+07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[603]: 6 0 1510.54 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[604]: 6 0 3022.07 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[606]: 6 0 12091.3 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[608]: 6 0 48368.1 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[610]: 6 0 193476 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[613]: 6 0 1.54781e+06 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[630]: 6 0 1.00005 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[632]: 6 0 1111.4 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[642]: 6 0 217.636 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[648]: 6 0 32.5839 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[650]: 6 0 35.5839 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[651]: 6 0 32.5838 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[652]: 6 0 32.5839 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[653]: 6 0 33.0838 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[654]: 6 0 32.9092 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[655]: 6 0 32.4093 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[656]: 6 0 33.0838 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[657]: 6 0 33.0839 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[659]: 6 0 33.0836 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[672]: 6 0 439.773 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[694]: 6 0 1245.06 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[706]: 6 -1.00008 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[707]: 6 -1.00002 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[727]: 6 0 1.00006 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[730]: 6 -1.50005 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1087]: 6 0 1.00004 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1089]: 6 0 3.64265 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1109]: 6 0 2.00002 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1110]: 6 0 5.32133 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1111]: 6 0 5.64263 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1114]: 6 0 4.14092 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1116]: 6 0 3.56356 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1131]: 6 0 3.00005 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1132]: 6 0 7.32136 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1136]: 6 0 6.1409 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1138]: 6 0 5.56352 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1140]: 6 0 3.25393 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1154]: 6 0 9.32132 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1165]: 6 0 2.00007 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1176]: 6 -881.545 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1253]: 6 -402.394 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1286]: 6 -1.00004 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1310]: 6 -1.00005 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1331]: 6 -1.0001 0 shouldn't be
1064.51/1067.54	WSVECS04 Frhs2[1848]: 6 -6.33984e+09 0 shouldn't be
1911.33/1916.77	c #Conflicts:     164000 | #Constraints:      11798
1911.33/1916.77	c #Conflicts:     165000 | #Constraints:      12798
1911.33/1916.77	c #Conflicts:     166000 | #Constraints:      13798
1911.33/1916.77	c #Conflicts:     167000 | #Constraints:      14798
1911.33/1916.77	c #Conflicts:     168000 | #Constraints:      15798
1911.33/1916.77	c #Conflicts:     169000 | #Constraints:      16798
1911.33/1916.77	c #Conflicts:     170000 | #Constraints:      17798
1911.33/1916.77	c #Conflicts:     171000 | #Constraints:      18798
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     172000 | #Constraints:      11600
1911.33/1916.77	c #Conflicts:     173000 | #Constraints:      12600
1911.33/1916.77	c #Conflicts:     174000 | #Constraints:      13600
1911.33/1916.77	c #Conflicts:     175000 | #Constraints:      14600
1911.33/1916.77	c #Conflicts:     176000 | #Constraints:      15600
1911.33/1916.77	c #Conflicts:     177000 | #Constraints:      16600
1911.33/1916.77	c #Conflicts:     178000 | #Constraints:      17600
1911.33/1916.77	c #Conflicts:     179000 | #Constraints:      18600
1911.33/1916.77	c #Conflicts:     180000 | #Constraints:      19600
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     181000 | #Constraints:      12199
1911.33/1916.77	c #Conflicts:     182000 | #Constraints:      13199
1911.33/1916.77	c #Conflicts:     183000 | #Constraints:      14199
1911.33/1916.77	c #Conflicts:     184000 | #Constraints:      15199
1911.33/1916.77	c #Conflicts:     185000 | #Constraints:      16199
1911.33/1916.77	c #Conflicts:     186000 | #Constraints:      17199
1911.33/1916.77	c #Conflicts:     187000 | #Constraints:      18199
1911.33/1916.77	c #Conflicts:     188000 | #Constraints:      19199
1911.33/1916.77	c #Conflicts:     189000 | #Constraints:      20199
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     190000 | #Constraints:      12600
1911.33/1916.77	c #Conflicts:     191000 | #Constraints:      13600
1911.33/1916.77	c #Conflicts:     192000 | #Constraints:      14600
1911.33/1916.77	c #Conflicts:     193000 | #Constraints:      15600
1911.33/1916.77	c #Conflicts:     194000 | #Constraints:      16600
1911.33/1916.77	c #Conflicts:     195000 | #Constraints:      17600
1911.33/1916.77	c #Conflicts:     196000 | #Constraints:      18600
1911.33/1916.77	c #Conflicts:     197000 | #Constraints:      19600
1911.33/1916.77	c #Conflicts:     198000 | #Constraints:      20600
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     199000 | #Constraints:      12801
1911.33/1916.77	c #Conflicts:     200000 | #Constraints:      13801
1911.33/1916.77	c #Conflicts:     201000 | #Constraints:      14801
1911.33/1916.77	c #Conflicts:     202000 | #Constraints:      15801
1911.33/1916.77	c #Conflicts:     203000 | #Constraints:      16801
1911.33/1916.77	c #Conflicts:     204000 | #Constraints:      17801
1911.33/1916.77	c #Conflicts:     205000 | #Constraints:      18801
1911.33/1916.77	c #Conflicts:     206000 | #Constraints:      19801
1911.33/1916.77	c #Conflicts:     207000 | #Constraints:      20801
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     208000 | #Constraints:      12804
1911.33/1916.77	c #Conflicts:     209000 | #Constraints:      13804
1911.33/1916.77	c #Conflicts:     210000 | #Constraints:      14804
1911.33/1916.77	c #Conflicts:     211000 | #Constraints:      15804
1911.33/1916.77	c #Conflicts:     212000 | #Constraints:      16804
1911.33/1916.77	c #Conflicts:     213000 | #Constraints:      17804
1911.33/1916.77	c #Conflicts:     214000 | #Constraints:      18804
1911.33/1916.77	c #Conflicts:     215000 | #Constraints:      19804
1911.33/1916.77	c #Conflicts:     216000 | #Constraints:      20804
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     217000 | #Constraints:      12605
1911.33/1916.77	c #Conflicts:     218000 | #Constraints:      13605
1911.33/1916.77	c #Conflicts:     219000 | #Constraints:      14605
1911.33/1916.77	c #Conflicts:     220000 | #Constraints:      15605
1911.33/1916.77	c #Conflicts:     221000 | #Constraints:      16605
1911.33/1916.77	c #Conflicts:     222000 | #Constraints:      17605
1911.33/1916.77	c #Conflicts:     223000 | #Constraints:      18605
1911.33/1916.77	c #Conflicts:     224000 | #Constraints:      19605
1911.33/1916.77	c #Conflicts:     225000 | #Constraints:      20605
1911.33/1916.77	c #Conflicts:     226000 | #Constraints:      21605
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     227000 | #Constraints:      13201
1911.33/1916.77	c #Conflicts:     228000 | #Constraints:      14201
1911.33/1916.77	c #Conflicts:     229000 | #Constraints:      15201
1911.33/1916.77	c #Conflicts:     230000 | #Constraints:      16201
1911.33/1916.77	c #Conflicts:     231000 | #Constraints:      17201
1911.33/1916.77	c #Conflicts:     232000 | #Constraints:      18201
1911.33/1916.77	c #Conflicts:     233000 | #Constraints:      19201
1911.33/1916.77	c #Conflicts:     234000 | #Constraints:      20201
1911.33/1916.77	c #Conflicts:     235000 | #Constraints:      21201
1911.33/1916.77	c #Conflicts:     236000 | #Constraints:      22201
1911.33/1916.77	c INPROCESSING
1911.33/1916.77	c GARBAGE COLLECT
1911.33/1916.77	c #Conflicts:     237000 | #Constraints:      13601
2808.75/2816.77	c #Conflicts:     238000 | #Constraints:      14601
2808.75/2816.77	c #Conflicts:     239000 | #Constraints:      15601
2808.75/2816.77	c #Conflicts:     240000 | #Constraints:      16601
2808.75/2816.77	c #Conflicts:     241000 | #Constraints:      17601
2808.75/2816.77	c #Conflicts:     242000 | #Constraints:      18601
2808.75/2816.77	c #Conflicts:     243000 | #Constraints:      19601
2808.75/2816.77	c #Conflicts:     244000 | #Constraints:      20602
2808.75/2816.77	c #Conflicts:     245000 | #Constraints:      21602
2808.75/2816.77	c #Conflicts:     246000 | #Constraints:      22602
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     247000 | #Constraints:      13800
2808.75/2816.77	c #Conflicts:     248000 | #Constraints:      14800
2808.75/2816.77	c #Conflicts:     249000 | #Constraints:      15800
2808.75/2816.77	c #Conflicts:     250000 | #Constraints:      16800
2808.75/2816.77	c #Conflicts:     251000 | #Constraints:      17800
2808.75/2816.77	c #Conflicts:     252000 | #Constraints:      18800
2808.75/2816.77	c #Conflicts:     253000 | #Constraints:      19800
2808.75/2816.77	c #Conflicts:     254000 | #Constraints:      20801
2808.75/2816.77	c #Conflicts:     255000 | #Constraints:      21801
2808.75/2816.77	c #Conflicts:     256000 | #Constraints:      22801
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     257000 | #Constraints:      13800
2808.75/2816.77	c #Conflicts:     258000 | #Constraints:      14800
2808.75/2816.77	c #Conflicts:     259000 | #Constraints:      15800
2808.75/2816.77	c #Conflicts:     260000 | #Constraints:      16800
2808.75/2816.77	c #Conflicts:     261000 | #Constraints:      17800
2808.75/2816.77	c #Conflicts:     262000 | #Constraints:      18800
2808.75/2816.77	c #Conflicts:     263000 | #Constraints:      19800
2808.75/2816.77	c #Conflicts:     264000 | #Constraints:      20800
2808.75/2816.77	c #Conflicts:     265000 | #Constraints:      21800
2808.75/2816.77	c #Conflicts:     266000 | #Constraints:      22800
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     267000 | #Constraints:      13601
2808.75/2816.77	c #Conflicts:     268000 | #Constraints:      14601
2808.75/2816.77	c #Conflicts:     269000 | #Constraints:      15601
2808.75/2816.77	c #Conflicts:     270000 | #Constraints:      16601
2808.75/2816.77	c #Conflicts:     271000 | #Constraints:      17601
2808.75/2816.77	c #Conflicts:     272000 | #Constraints:      18601
2808.75/2816.77	c #Conflicts:     273000 | #Constraints:      19601
2808.75/2816.77	c #Conflicts:     274000 | #Constraints:      20601
2808.75/2816.77	c #Conflicts:     275000 | #Constraints:      21601
2808.75/2816.77	c #Conflicts:     276000 | #Constraints:      22601
2808.75/2816.77	c #Conflicts:     277000 | #Constraints:      23601
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     278000 | #Constraints:      14197
2808.75/2816.77	c #Conflicts:     279000 | #Constraints:      15197
2808.75/2816.77	c #Conflicts:     280000 | #Constraints:      16197
2808.75/2816.77	c #Conflicts:     281000 | #Constraints:      17197
2808.75/2816.77	c #Conflicts:     282000 | #Constraints:      18197
2808.75/2816.77	c #Conflicts:     283000 | #Constraints:      19197
2808.75/2816.77	c #Conflicts:     284000 | #Constraints:      20197
2808.75/2816.77	c #Conflicts:     285000 | #Constraints:      21197
2808.75/2816.77	c #Conflicts:     286000 | #Constraints:      22197
2808.75/2816.77	c #Conflicts:     287000 | #Constraints:      23197
2808.75/2816.77	c #Conflicts:     288000 | #Constraints:      24197
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     289000 | #Constraints:      14601
2808.75/2816.77	c #Conflicts:     290000 | #Constraints:      15601
2808.75/2816.77	c #Conflicts:     291000 | #Constraints:      16601
2808.75/2816.77	c #Conflicts:     292000 | #Constraints:      17601
2808.75/2816.77	c #Conflicts:     293000 | #Constraints:      18601
2808.75/2816.77	c #Conflicts:     294000 | #Constraints:      19601
2808.75/2816.77	c #Conflicts:     295000 | #Constraints:      20601
2808.75/2816.77	c #Conflicts:     296000 | #Constraints:      21601
2808.75/2816.77	c #Conflicts:     297000 | #Constraints:      22601
2808.75/2816.77	c #Conflicts:     298000 | #Constraints:      23601
2808.75/2816.77	c #Conflicts:     299000 | #Constraints:      24601
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     300000 | #Constraints:      14805
2808.75/2816.77	c #Conflicts:     301000 | #Constraints:      15805
2808.75/2816.77	c #Conflicts:     302000 | #Constraints:      16805
2808.75/2816.77	c #Conflicts:     303000 | #Constraints:      17805
2808.75/2816.77	c #Conflicts:     304000 | #Constraints:      18805
2808.75/2816.77	c #Conflicts:     305000 | #Constraints:      19805
2808.75/2816.77	c #Conflicts:     306000 | #Constraints:      20805
2808.75/2816.77	c #Conflicts:     307000 | #Constraints:      21805
2808.75/2816.77	c #Conflicts:     308000 | #Constraints:      22805
2808.75/2816.77	c #Conflicts:     309000 | #Constraints:      23805
2808.75/2816.77	c #Conflicts:     310000 | #Constraints:      24805
2808.75/2816.77	c INPROCESSING
2808.75/2816.77	c GARBAGE COLLECT
2808.75/2816.77	c #Conflicts:     311000 | #Constraints:      14806
2808.75/2816.77	c #Conflicts:     312000 | #Constraints:      15806
3600.07/3610.30	c #Conflicts:     313000 | #Constraints:      16806
3600.07/3610.30	c #Conflicts:     314000 | #Constraints:      17806
3600.07/3610.30	c #Conflicts:     315000 | #Constraints:      18806
3600.07/3610.30	c #Conflicts:     316000 | #Constraints:      19806
3600.07/3610.30	c #Conflicts:     317000 | #Constraints:      20806
3600.07/3610.30	c #Conflicts:     318000 | #Constraints:      21806
3600.07/3610.30	c #Conflicts:     319000 | #Constraints:      22806
3600.07/3610.30	c #Conflicts:     320000 | #Constraints:      23806
3600.07/3610.30	c #Conflicts:     321000 | #Constraints:      24806
3600.07/3610.30	c INPROCESSING
3600.07/3610.30	c GARBAGE COLLECT
3600.07/3610.30	c #Conflicts:     322000 | #Constraints:      14604
3600.07/3610.30	c #Conflicts:     323000 | #Constraints:      15604
3600.07/3610.30	c #Conflicts:     324000 | #Constraints:      16604
3600.07/3610.30	c #Conflicts:     325000 | #Constraints:      17604
3600.07/3610.30	c #Conflicts:     326000 | #Constraints:      18604
3600.07/3610.30	c #Conflicts:     327000 | #Constraints:      19604
3600.07/3610.30	c #Conflicts:     328000 | #Constraints:      20604
3600.07/3610.30	c #Conflicts:     329000 | #Constraints:      21604
3600.07/3610.30	c #Conflicts:     330000 | #Constraints:      22604
3600.07/3610.30	c #Conflicts:     331000 | #Constraints:      23604
3600.07/3610.30	c #Conflicts:     332000 | #Constraints:      24604
3600.07/3610.30	c #Conflicts:     333000 | #Constraints:      25604
3600.07/3610.30	c INPROCESSING
3600.07/3610.30	c GARBAGE COLLECT
3600.07/3610.30	c #Conflicts:     334000 | #Constraints:      15201
3600.07/3610.30	c #Conflicts:     335000 | #Constraints:      16201
3600.07/3610.30	c #Conflicts:     336000 | #Constraints:      17201
3600.07/3610.30	c #Conflicts:     337000 | #Constraints:      18201
3600.07/3610.30	c #Conflicts:     338000 | #Constraints:      19201
3600.07/3610.30	c #Conflicts:     339000 | #Constraints:      20201
3600.07/3610.30	c #Conflicts:     340000 | #Constraints:      21201
3600.07/3610.30	c #Conflicts:     341000 | #Constraints:      22201
3600.07/3610.30	c #Conflicts:     342000 | #Constraints:      23201
3600.07/3610.30	c #Conflicts:     343000 | #Constraints:      24201
3600.07/3610.30	c #Conflicts:     344000 | #Constraints:      25201
3600.07/3610.30	c #Conflicts:     345000 | #Constraints:      26201
3600.07/3610.30	c INPROCESSING
3600.07/3610.30	c GARBAGE COLLECT
3600.07/3610.30	c #Conflicts:     346000 | #Constraints:      15597
3600.07/3610.30	c #Conflicts:     347000 | #Constraints:      16597
3600.07/3610.30	c #Conflicts:     348000 | #Constraints:      17597
3600.07/3610.30	c #Conflicts:     349000 | #Constraints:      18597
3600.07/3610.30	c #Conflicts:     350000 | #Constraints:      19597
3600.07/3610.30	c #Conflicts:     351000 | #Constraints:      20597
3600.07/3610.30	c #Conflicts:     352000 | #Constraints:      21597
3600.07/3610.30	c #Conflicts:     353000 | #Constraints:      22597
3600.07/3610.30	c #Conflicts:     354000 | #Constraints:      23597
3600.07/3610.30	c #Conflicts:     355000 | #Constraints:      24597
3600.07/3610.30	c #Conflicts:     356000 | #Constraints:      25597
3600.07/3610.30	c #Conflicts:     357000 | #Constraints:      26597
3600.07/3610.30	c INPROCESSING
3600.07/3610.30	c GARBAGE COLLECT
3600.07/3610.30	c #Conflicts:     358000 | #Constraints:      15794
3600.07/3610.30	c #Conflicts:     359000 | #Constraints:      16794
3600.07/3610.30	c #Conflicts:     360000 | #Constraints:      17794
3600.07/3610.30	c #Conflicts:     361000 | #Constraints:      18794
3600.07/3610.30	c #Conflicts:     362000 | #Constraints:      19794
3600.07/3610.30	c #Conflicts:     363000 | #Constraints:      20794
3600.07/3610.30	c #Conflicts:     364000 | #Constraints:      21794
3600.07/3610.30	c #Conflicts:     365000 | #Constraints:      22794
3600.07/3610.30	c #Conflicts:     366000 | #Constraints:      23794
3600.07/3610.30	c #Conflicts:     367000 | #Constraints:      24794
3600.07/3610.30	c #Conflicts:     368000 | #Constraints:      25794
3600.07/3610.30	c #Conflicts:     369000 | #Constraints:      26794
3600.07/3610.30	c INPROCESSING
3600.07/3610.30	c GARBAGE COLLECT
3600.07/3610.30	c #Conflicts:     370000 | #Constraints:      15797
3600.07/3610.30	c cpu time 3584.84 s
3600.07/3610.30	c deterministic time 487985334883 4.88e+11
3600.07/3610.30	c optimization time 14.2476 s
3600.07/3610.30	c total solve time 3570.58 s
3600.07/3610.30	c core-guided solve time 0 s
3600.07/3610.30	c propagation time 2495.04 s
3600.07/3610.30	c conflict analysis time 1036.31 s
3600.07/3610.30	c propagations 152188448
3600.07/3610.30	c resolve steps 122862667
3600.07/3610.30	c decisions 455254
3600.07/3610.30	c conflicts 370673
3600.07/3610.30	c restarts 891
3600.07/3610.30	c inprocessing phases 52
3600.07/3610.30	c garbage collections 52 ,( 100.00 )
3600.07/3610.30	c input clauses 1872 ,( 62.84 )
3600.07/3610.30	c input cardinalities 0 ,( 0.00 )
3600.07/3610.30	c input general constraints 1107 ,( 37.16 )
3600.07/3610.30	c input average constraint length 3.74
3600.07/3610.30	c input average constraint degree 283459179786.07
3600.07/3610.30	c learned clauses 29201 ,( 7.88 )
3600.07/3610.30	c learned cardinalities 2 ,( 0.00 )
3600.07/3610.30	c learned general constraints 341501 ,( 92.12 )
3600.07/3610.30	c learned average constraint length 557.18
3600.07/3610.30	c learned average constraint degree 796854811.80
3600.07/3610.30	c watched  CF 32, 64, 128, Arb: 1999 , 0 , 0 , 0
3600.07/3610.30	c counting CF 32, 64, 128, Arb: 340606 , 3 , 0 , 0
3600.07/3610.30	c watched   constraints 1999 ,( 0.58 ) 
3600.07/3610.30	c counting  constraints 340609 ,( 99.42 ) 
3600.07/3610.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 43340598 , 3006 , 62048936294 ,( 8254900 , 62040681394 )
3600.07/3610.30	c gcd simplifications 2319
3600.07/3610.30	c detected cardinalities 1
3600.07/3610.30	c weakened non-implied lits 25302458
3600.07/3610.30	c weakened non-implying lits 862368
3600.07/3610.30	c original variables 1848
3600.07/3610.30	c clausal propagations 20245085
3600.07/3610.30	c cardinality propagations 1
3600.07/3610.30	c watched propagations 64234
3600.07/3610.30	c counting propagations 131514580
3600.07/3610.30	c watch lookups 63563431999
3600.07/3610.30	c watch backjump lookups 0
3600.07/3610.30	c watch checks 225208713
3600.07/3610.30	c propagation checks 422176877155
3600.07/3610.30	c constraint additions 1714096568
3600.07/3610.30	c trail pops 153013329
3600.07/3610.30	c formula constraints 2979
3600.07/3610.30	c learned constraints 370672
3600.07/3610.30	c bound constraints 0
3600.07/3610.30	c core-guided constraints 0
3600.07/3610.30	c encountered formula constraints 122038170
3600.07/3610.30	c encountered learned constraints 1188910
3600.07/3610.30	c encountered bound constraints 0
3600.07/3610.30	c encountered core-guided constraints 0
3600.07/3610.30	c LP total time 5.12592 s
3600.07/3610.30	c LP solve time 3.96 s
3600.07/3610.30	c LP constraints added 2983
3600.07/3610.30	c LP constraints removed 0
3600.07/3610.30	c LP pivots internal 37301
3600.07/3610.30	c LP pivots root 26115
3600.07/3610.30	c LP calls 122
3600.07/3610.30	c LP optimalities 26
3600.07/3610.30	c LP no pivot count 1
3600.07/3610.30	c LP infeasibilities 32
3600.07/3610.30	c LP valid Farkas constraints 28
3600.07/3610.30	c LP learned Farkas constraints 0
3600.07/3610.30	c LP basis resets 62
3600.07/3610.30	c LP cycling count 7
3600.07/3610.30	c LP singular count 7
3600.07/3610.30	c LP no primal count 0
3600.07/3610.30	c LP no farkas count 0
3600.07/3610.30	c LP other issue count 48
3600.07/3610.30	c LP Gomory cuts 4
3600.07/3610.30	c LP learned cuts 0
3600.07/3610.30	c LP deleted cuts 0
3600.07/3610.30	c LP encountered Gomory constraints 1
3600.07/3610.30	c LP encountered Farkas constraints 6259
3600.07/3610.30	c LP encountered learned Farkas constraints 0
3600.07/3610.30	c CG auxiliary variables introduced 0
3600.07/3610.30	c CG solutions found 0
3600.07/3610.30	c CG cores constructed 0
3600.07/3610.30	c CG core cardinality constraints returned 0
3600.07/3610.30	c CG unit cores 0
3600.07/3610.30	c CG single cores 0
3600.07/3610.30	c CG blocks removed during cardinality reduction 0
3600.07/3610.30	c CG first core best 0
3600.07/3610.30	c CG decision core best 0
3600.07/3610.30	c CG core reduction tie 0
3600.07/3610.30	c CG core degree average 0.00
3600.07/3610.30	c CG core slack average 0.00
3600.07/3610.30	c CG core upper bound improvements 0
3600.07/3610.30	c STR number of successful calls 0
3600.07/3610.30	c STR number of unsuccessful calls 0
3600.07/3610.30	c STR number of inconclusive calls 0
3600.07/3610.30	c STR number of successful attempts 0
3600.07/3610.30	c STR number of unsuccessful attempts 0
3600.07/3610.30	c STR number of inconclusive attempts 0
3600.07/3610.30	c STR average degree increase per successful call inf
3600.07/3610.30	c STR average degree increase per successful attempt inf
3600.07/3610.30	c STR total number of conflicts for successful attempts 0
3600.07/3610.30	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.30	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.30	c STR average number of conflicts per successful attempt inf
3600.07/3610.30	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.30	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.30	c AVG.sumWPerc 98.78 
3600.07/3610.30	c bigint constraints 3 
3600.07/3610.30	s UNKNOWN
3600.07/3610.30	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: 63708 MiB (62112 MiB free)
  memory of node 1: 64465 MiB (63594 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541957-1753202597/watcher-4541957-1753202597 -o /tmp/evaluation-result-4541957-1753202597/solver-4541957-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541957-1753202597.opb /tmp/proof-4541957-1753202597 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=150041, runsolver pid=150038

[startup+0.100058 s]*
/proc/loadavg: 4.31 4.17 4.07 3/256 150056
/proc/meminfo: memFree=128722092/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=62112 memory=16484 CPUtime=0.09 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 2599 0 0 0 8 1 0 0 20 0 1 0 235938306 63602688 4121 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 15528 4121 2304 1147 0 2955 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 66304 KiB
Current children cumulated memory: 19172 KiB

[startup+0.205554 s]*
/proc/loadavg: 4.31 4.17 4.07 4/256 150063
/proc/meminfo: memFree=128714296/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=63176 memory=17892 CPUtime=0.19 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 2933 0 0 0 18 1 0 0 20 0 1 0 235938306 64692224 4473 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 15794 4473 2304 1147 0 3221 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67368 KiB
Current children cumulated memory: 20580 KiB

[startup+0.305073 s]*
/proc/loadavg: 4.31 4.17 4.07 4/262 150071
/proc/meminfo: memFree=128704032/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=63572 memory=18276 CPUtime=0.29 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 3045 0 0 0 28 1 0 0 20 0 1 0 235938306 65097728 4569 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 15893 4569 2304 1147 0 3320 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67764 KiB
Current children cumulated memory: 20964 KiB

[startup+0.700148 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128679304/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=65724 memory=21220 CPUtime=0.67 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 3770 0 0 0 66 1 0 0 20 0 1 0 235938306 67301376 5305 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 16431 5305 2304 1147 0 3858 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69916 KiB
Current children cumulated memory: 23908 KiB

[startup+1.50016 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128653804/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=70340 memory=28276 CPUtime=1.47 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 5019 0 0 0 145 2 0 0 20 0 1 0 235938306 72028160 7069 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 17585 7069 2304 1147 0 5012 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 74532 KiB
Current children cumulated memory: 30964 KiB

[startup+3.10532 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128561356/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=80684 memory=36852 CPUtime=3.07 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 7160 0 0 0 304 3 0 0 20 0 1 0 235938306 82620416 9213 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 20171 9213 2304 1147 0 7598 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84876 KiB
Current children cumulated memory: 39540 KiB

[startup+6.3002 s]
/proc/loadavg: 4.29 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128461612/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=97656 memory=50300 CPUtime=6.26 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 10035 0 0 0 620 6 0 0 20 0 1 0 235938306 99999744 12575 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 24414 12575 2304 1147 0 11841 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 101848 KiB
Current children cumulated memory: 52988 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128324932/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=129024 memory=82032 CPUtime=12.63 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 16333 0 0 0 1251 12 0 0 20 0 1 0 235938306 132120576 20508 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 32256 20508 2400 1147 0 19683 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 133216 KiB
Current children cumulated memory: 84720 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.08 5/267 150084
/proc/meminfo: memFree=128097760/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=152748 memory=95728 CPUtime=25.39 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 19736 0 0 0 2516 23 0 0 20 0 1 0 235938306 156413952 23932 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 38187 23932 2432 1147 0 25614 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 156940 KiB
Current children cumulated memory: 98416 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.16 4.08 5/267 150085
/proc/meminfo: memFree=127741344/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=179656 memory=123116 CPUtime=50.91 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 25044 0 0 0 5050 41 0 0 20 0 1 0 235938306 183967744 30779 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 44914 30779 2432 1147 0 32341 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 183848 KiB
Current children cumulated memory: 125804 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/268 150088
/proc/meminfo: memFree=126937192/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=205148 memory=143596 CPUtime=101.94 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 29625 0 0 0 10125 69 0 0 20 0 1 0 235938306 210071552 35899 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 51287 35899 2432 1147 0 38714 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 209340 KiB
Current children cumulated memory: 146284 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/268 150090
/proc/meminfo: memFree=126032828/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=231232 memory=177272 CPUtime=161.77 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 32448 0 0 0 16078 99 0 0 20 0 1 0 235938306 236781568 44318 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 57808 44318 2432 1147 0 45235 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 235424 KiB
Current children cumulated memory: 179960 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.21 4.10 5/268 150092
/proc/meminfo: memFree=125173784/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=235620 memory=182744 CPUtime=221.61 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 33326 0 0 0 22039 122 0 0 20 0 1 0 235938306 241274880 45686 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 58905 45686 2432 1147 0 46332 0

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

/proc/loadavg: 4.41 4.27 4.21 5/269 150249
/proc/meminfo: memFree=98467016/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=520304 memory=421636 CPUtime=3093.5 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 68081 0 0 0 307998 1352 0 0 20 0 1 0 235938306 532791296 105409 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 130076 105409 2432 1147 0 117503 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 524496 KiB
Current children cumulated memory: 424324 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/268 150251
/proc/meminfo: memFree=98063920/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=520304 memory=421636 CPUtime=3153.33 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 68081 0 0 0 313960 1373 0 0 20 0 1 0 235938306 532791296 105409 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 130076 105409 2432 1147 0 117503 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 524496 KiB
Current children cumulated memory: 424324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/268 150253
/proc/meminfo: memFree=97593544/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=520304 memory=429956 CPUtime=3213.15 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 68082 0 0 0 319922 1393 0 0 20 0 1 0 235938306 532791296 107489 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 130076 107489 2432 1147 0 117503 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 524496 KiB
Current children cumulated memory: 432644 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/267 150255
/proc/meminfo: memFree=97137876/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=524656 memory=438148 CPUtime=3272.98 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 68701 0 0 0 325883 1415 0 0 20 0 1 0 235938306 537247744 109537 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 131164 109537 2432 1147 0 118591 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 528848 KiB
Current children cumulated memory: 440836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/266 150257
/proc/meminfo: memFree=96662004/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=524656 memory=438148 CPUtime=3332.81 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 68701 0 0 0 331846 1435 0 0 20 0 1 0 235938306 537247744 109537 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 131164 109537 2432 1147 0 118591 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 528848 KiB
Current children cumulated memory: 440836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/266 150259
/proc/meminfo: memFree=96315540/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=533276 memory=443012 CPUtime=3392.65 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 69984 0 0 0 337809 1456 0 0 20 0 1 0 235938306 546074624 110753 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 133319 110753 2432 1147 0 120746 0
Current children cumulated CPU time: 3392.65 s
Current children cumulated vsize: 537468 KiB
Current children cumulated memory: 445700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/267 150262
/proc/meminfo: memFree=95863232/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=538736 memory=448720 CPUtime=3452.48 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 70879 0 0 0 343771 1477 0 0 20 0 1 0 235938306 551665664 112180 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 134684 112180 2432 1147 0 122111 0
Current children cumulated CPU time: 3452.48 s
Current children cumulated vsize: 542928 KiB
Current children cumulated memory: 451408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/267 150264
/proc/meminfo: memFree=95472256/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=538736 memory=448720 CPUtime=3512.31 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 70879 0 0 0 349736 1495 0 0 20 0 1 0 235938306 551665664 112180 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 134684 112180 2432 1147 0 122111 0
Current children cumulated CPU time: 3512.31 s
Current children cumulated vsize: 542928 KiB
Current children cumulated memory: 451408 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/267 150266
/proc/meminfo: memFree=95054420/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=539164 memory=448848 CPUtime=3572.14 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 70933 0 0 0 355700 1514 0 0 20 0 1 0 235938306 552103936 112212 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 134791 112212 2432 1147 0 122218 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 543356 KiB
Current children cumulated memory: 451536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/268 150275
/proc/meminfo: memFree=94867448/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=539760 memory=449360 CPUtime=3600.07 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 71061 0 0 0 358484 1523 0 0 20 0 1 0 235938306 552714240 112340 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 134940 112340 2432 1147 0 122367 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 543952 KiB
Current children cumulated memory: 452048 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3584.84 s, system=15.2398 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/268 150275
/proc/meminfo: memFree=94867448/131250000 swapFree=33010672/33010684
[pid=150041] ppid=150038 vsize=4192 memory=2688 CPUtime=0 cores=0,2
/proc/150041/stat : 150041 (run-dec-log.sh) S 150038 150041 149629 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 235938305 4292608 672 18446744073709551615 93868573782016 93868574676549 140730520096672 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868574915600 93868574963344 93868580556800 140730520099141 140730520099298 140730520099298 140730520104902 0
/proc/150041/statm: 1048 672 640 219 0 110 0
[pid=150043] ppid=150041 vsize=539760 memory=449360 CPUtime=3600.07 cores=0,2
/proc/150043/stat : 150043 (roundingsat) R 150041 150041 149629 0 -1 4194304 71061 0 0 0 358484 1523 0 0 20 0 1 0 235938306 552714240 112340 18446744073709551615 4227072 8923433 140735753804256 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34660352 140735753812363 140735753812518 140735753812518 140735753818090 0
/proc/150043/statm: 134940 112340 2432 1147 0 122367 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 543952 KiB
Current children cumulated memory: 452048 KiB

Child status: 2

Real time (s): 3610.3
CPU time (s): 3600.08
CPU user time (s): 3584.84
CPU system time (s): 15.2398
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 543952
Max. memory (cumulated for all children) (KiB): 452048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.84
system time used= 15.2398
maximum resident set size= 449616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15154648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 8138


# summary of solver processes directly reported to runsolver:
#   pid: 150041
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3584.84
#   total CPU system time (s): 15.2398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.15515 second user time and 17.8828 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-22 18:43:17
IDJOB=4541957
IDBENCH=163695
IDSOLVER=3352
FILE ID=nodeC026/4541957-1753202597
RUNJOBID= nodeC026-1753198973-149646
SLURM_JOB_ID= 9687759
Free space on /tmp= 433020 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-24diag_spec_greater.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541957-1753202597/watcher-4541957-1753202597 -o /tmp/evaluation-result-4541957-1753202597/solver-4541957-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149646 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541957-1753202597.opb /tmp/proof-4541957-1753202597

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

MD5SUM BENCH= 873561b121a1050aedee7e68f97b01fd
RANDOM SEED=1063239506

nodeC026 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.771
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.59
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		: 1864.947
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.59
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.865
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.59
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		: 1199.819
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.59
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		: 3600.119
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.59
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		: 1199.690
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.59
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.772
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.59
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		: 1199.006
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128725920 kB
MemAvailable:   129538304 kB
Buffers:            2128 kB
Cached:          1438464 kB
SwapCached:            4 kB
Active:          1213428 kB
Inactive:         296328 kB
Active(anon):      90088 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):   290984 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7512 kB
Writeback:             0 kB
AnonPages:         71920 kB
Mapped:           109252 kB
Shmem:             26268 kB
KReclaimable:     458860 kB
Slab:             563488 kB
SReclaimable:     458860 kB
SUnreclaim:       104628 kB
KernelStack:        4128 kB
PageTables:         2856 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     341248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 401988 MiB
End job on nodeC026 at 2025-07-22 19:43:27